The standard natural real logarithm function is the D4364: Real function \begin{equation} \log : (0, \infty) \to \mathbb{R}, \quad \log(x) = \int^x_1 \frac{1}{t} \, d t \end{equation}