# Derivative of arccosh

## Theorem

The following formula holds: $$\dfrac{\mathrm{d}}{\mathrm{d}z} \mathrm{arccosh}(z) = \dfrac{1}{\sqrt{z-1}\sqrt{z+1}},$$ where $\mathrm{arccosh}$ denotes arccosh.