$ \int \sec x \, \D x
= \log \left| \frac{1 + \tan \frac{x}{2}}{1 - \tan \frac{x}{2}} \right|
= \frac{1}{2} \log \frac{1 + \sin x}{1 - \sin x}$