Inverse Hyperbolic Sine Logarithmic Formulation

Theorem
For any complex number $z \in \C$:
 * $\operatorname {arsinh} z = \map \ln {z + \sqrt {z^2 + 1} }$

where $\operatorname {arsinh} z$ is the inverse hyperbolic sine.