sympy
