integral from x=-infinity to infinity of log(1-log(1/2+i*x))/cosh(pi*x)^2 * pi/2