\int \sec x dx = \ln | \sec x + \tan x | + C = 2 \tanh^{-1} \left (\tan \frac{x}{2} \right) + C