Primitive of Function of Natural Logarithm

Theorem

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

where $u = \ln x$.