integral exp(x)/(1+ exp(x)) dx