Talk:Hyperbolic law of cosines