cosh identity code example

Example 1: hyperbolic trig identities

cosh^2(x)-sinh^2(x)=1
sinh^2(x)=cosh^2(x)-1
cosh^2(x)=1+sinh^2(x)

Example 2: sinh(x)

sinh(x):=(e^x-e^{-x})/2