sympy1