talk:>>572 ∫dx/cos(x)=1/2*ln((1+sin(x))/(1-sin(x)))+C.