integral 1/ (e^x+e^-x) from minus infinity to infinity