integrate cos(1*x)/cosh(2*x) x from 0 to pi