there is a newer sympy version