Dave's Math Tables: Integral sec(x) 
(Math | Calculus | Integrals | Table Of | sec x)
 
Discussion of
(integral) sec x = ln|sec x + tan x| + C.

1. Proof