integrate 4*sin(x)/x * cos(4*x)/(cos(x)+cosh(x)) / pi, x = 0 .. inf