use sympy