ln(exp(x)) does not always simplify, but why?

Printable View