integral e^(-2a i pi x)/cosh(x) dx between -infinity and +infinity