import sympy