∫1/(e^t + e^(-t))dt