integrate dx/(e^x+e^(-x)) from x=-infinity to infinity