sympy>=1.7
