sympy>=0.7.5