integrate cos(x)/cosh(x) from x=0 to infinity