Derivative of inverse error function

Theorem

The following formula holds: $$\dfrac{\mathrm{d}}{\mathrm{d}x} \mathrm{erf}^{-1}(x)=\dfrac{\sqrt{\pi}}{2}\exp \left({[\mathrm{erf}^{-1}(x)]^2} \right),$$ where $\mathrm{erf}^{-1}$ denotes the inverse error function, $\pi$ denotes pi, and $\exp$ denotes the exponential.