where the inverse sine has its principal value when
and is
defined by continuity elsewhere. See Figure 22.16.1.
is an infinitely differentiable function of
.
For the Gudermannian function
see §4.23(viii).
With
as in (22.2.1) and
,
If
, then the following four equations
are equivalent:
For
see §19.2(ii).
satisfies the same quasi-addition formula as the function
, given by (22.16.27). Also,