-2dt/1-t^2= ln|(t-1)/(t+1)|

т.е int от -1/cos(x) = ln| ( tg(x/2 )- 1 ) / (tg (x/2) +1) |