Upgraded sympy to current