Derivative of Inverse Hyperbolic Secant

Theorem
Let $S$ denote the open real interval:
 * $S := \openint 0 1$

Let $x \in S$.



Let $\arsech x$ denote the real inverse hyperbolic secant of $x$.

Then:
 * $\map {\dfrac \d {\d x} } {\arsech x} = \dfrac {-1} {x \sqrt{1 - x^2} }$

Proof
$\arsech x$ is defined only on the half-open real interval $\hointl 0 1$.

Thus on $\hointl 0 1$:

When $x = 1$, however, $\sqrt{1 - x^2} = 0$ and so $\dfrac {-1} {x \sqrt {1 - x^2} }$ is undefined.

Hence $\arsech x$ can be defined only on $\openint 0 1$.