integrate_(-ln 2)^(ln 2) ( 1/2 sqrt(2 cosh(2 x) + 6) ) dx