sympy>=1.6
