sympy: more in integrals, unevaluated expressions, etc.