finished Sympy exercises