Let $\exp : \mathbb{R} \to (0, \infty)$ be the D1932: Standard natural real exponential function.

Then \begin{equation} (\exp x)' = \exp x \end{equation}