sympy(2)