hyperbolic length is a a map, taking two points in the upper half plane of complex plane to the real number
A function of pairs of points within a unit circle, where the interior of this circle is a conformal or projective representation of a hyperbolic space