int _0^(arcsinh 1) (4 ln(cosh t )-8 ln(sinh t)-2 ln 2) dt