Hyperbolic length in the Poincare disc (source code)

= Hyperbolic length in the Poincare disc
{c}

= Hyperbolic length
{synonym}

For a piecewise smooth curve $z(t)$ in the Poincare disc, its hyperbolic length is
$$
L(z)=\int\frac{2|\dot z(t)|}{1-|z(t)|^2}\,dt.
$$