hyperbolic identities