Primitive of Function of Natural Logarithm

Theorem

 * $\displaystyle \int F \left({\ln x}\right) \rd x = \int F \left({u}\right) e^u \rd u$

where $u = \ln x$.