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{dt}{t} \end{equation}