Inverse Hyperbolic Sine Logarithmic Formulation

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

where $\arsinh z$ is the inverse hyperbolic sine.