sqrt(cosh(2x)+1) = sqrt(2)cosh(x)