∫[1/(e^x+e^-x)]dx
＝∫[e^x/(e^2x+1)]
＝∫[1/(e^2x+1)]d(e^x)
＝arctan(e^x)+C.