integrate dx/(sqrt(e^x + 1)