>>784
= ∫{1/(1+1/cos^2x)} * 1/(cos^2x) dx
= ∫{1/(tan^2x + 2)} * d(tanx)
= (1/√2)arctan{(1/√2)tanx} + C