sympy>=1.3
