integral_{0}^{pi/2} cos(u)/(1+exp(u)) du