Function diff 

pub fn diff(
    expr: ExprId,
    var: ExprId,
    pool: &ExprPool,
) -> Result<DerivedExpr<ExprId>, DiffError>

Symbolically differentiate expr with respect to var.

The returned log records every rule applied, including post-differentiation simplification steps appended at the end.