integral of dx/((e^x)+1)^(1/2)