really almost done with sympy