sympy symbolic integration