(cosh^2(x))'