Area of a hyperbolic disc (source code)

= Area of a hyperbolic disc

In curvature minus one, a hyperbolic disc of radius $R$ has area
$$
A(R)=4\pi\sinh^2(R/2)=2\pi(\cosh R-1).
$$
In the Poincare disc this follows by integrating $4r(1-r^2)^{-2}\,dr\,d\theta$ up to Euclidean radius $\tanh(R/2)$.