0logxcosh2 x dx