令x=tant
則dx=sec^2 tdt
式子化為：∫1/[(tant+1)sect]* sec^2 t dt=∫dt/(sint+cost)=√2∫dt/sin(t+π/4)
由∫du/sinu=sinudu/(sinu)^2=-∫d(cosu)/(1-cos^2 u)=-0.5∫d(cosu)*[1/(1-cosu)+1/(1+cosu)]=-0.5[-ln(1-cosu)+ln(1+cosu)]=-0.5ln[(1+cosu)/(1-cosu)]=-0.5ln(1+cosu)^2/(sinu)^2=ln|sinu|/(1+cosu)
因此原式=√2ln|sin(t+π/4)|/(1+cos(t+π/4)+C,代入t即得.