For some reason, `from sympy.core.add import Add` in evalf.py leads to all kinds of import errors all over the place. So I just have to import it inside the function scope. That I suppose can be a good thing since we are importing `Add` only when `new_terms` contains exception.
Also, I have made similar changes to the `evalf_mul` function. I'm committing the changes.