is this correct?
from sympy.core.operations doesn't work for me, from sympy.core.evaluate - does.