∞0logxcosh2 x dx