I really only need sympy.core