∫1/(1+e^x)dx
=∫1/[e^x(1+e^x)]d(e^x)
=∫[1/e^x-1/(1+e^x)]d(e^x)
=x-ln(1+e^x)+C