x=tant
dx=(sect)^2dt
∫1/[√(1+x^2)]dx
=∫1/[√(1+tant^2)](sect)^2dt
=∫1/[√(sect^2)](sect)^2dt
=∫sectdt
=ln|√(1+x^2)+x|+C