# convert to cosh(x);

tocosh(sinh(x_)^2) := cosh(x)^2-1;