Hyperbolic law of cosines (source code)

= Hyperbolic law of cosines
{wiki}

= Hyperbolic cosine rule
{synonym}

For opposite side $a$, $\cosh a=(\cos\alpha+\cos\beta\cos\gamma)/(\sin\beta\sin\gamma)$.