integral sin(5*x) / x * 4/(cos(x)+cosh(x)), x = 0 .. 4*pi