Definition:Inverse Hyperbolic Secant/Real/Definition 1

Definition
Let $S$ denote the half-open real interval:
 * $S := \hointl 0 1$

The inverse hyperbolic secant $\arsech: S \to \R$ is a real function defined on $S$ as:


 * $\forall x \in S: \map \arsech x := y \in \R_{\ge 0}: x = \map \sech y$

where $\map \sech y$ denotes the hyperbolic secant function.

Also see

 * Equivalence of Definitions of Real Inverse Hyperbolic Secant