identity of cosh code example

Example: hyperbolic trig identities

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