e^x/(e^x+1)dx如何凑微分?