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