1/2 (cosh(4 x)-cos(4 x)) = 1/2 (cosh(8)-cos(8))