added sympy.parsing