playing with sympy