integrate 1/(exp(x)+exp(-x)) dx