hyperbolic function identities

are: identities relating the hyperbolic functions, such as [M4.6]

See hyperbolic functions in the Maths handbook for a detailed listing.