Added sympy.core