sympy>=1.12
