sympy exercise work