added sympy example