∫ 1/[e^(- x) + e^x)] dx
= ∫ e^x/[1 + e^(2x)] dx
= ∫ 1/[1 + e^(2x)] de^x
= arctan(e^x) + C