jupyter sympy example