int_0^infty ((2u-pi e^-u)\ln cosh u)/(4 sinh u) du