Why does #e^(ln x) = x#?