Refactor

* Add a test for special `exp(x)` evaluation
* Change `Mul` and `Add` evaluations