sympy_extras
