>>133
dx/(2+cosx)
=2dt/(3+t^2)
=(2/√3)arctan(t/√3)
=(2/√3)arctan((1/√3)tan(x/2))