are: a class of hyperbolic function identities. [M4.6]
See hyperbolic functions in the Maths handbook.
Copyright 1997, The Open University
