I'll try `ExpBase`. Following what Aaron was suggesting, we want simplify to recurse, exactly to avoid having to write recursion code inside `_eval_simplify`. It turns out that I had to exclude Add, Mul, Pow and exp from this strategy for tests to pass without having to define complex `_eval_simplify` for these classes, though eventually we might want to do that.