fixing sympy