∫ 1/[e^x + e^(- x)] dx,上下乘以e^x
= ∫ e^x/[e^(2x) + 1] dx
= ∫ 1/[1 + e^(2x)] d(e^x)
= arctan(e^x) + C