Done with sympy