> 
> **Possible Duplicates:**  
> 
> [Evaluating $\\int P(\\sin x, \\cos x) \\text{d}x$](https://math.stackexchange.com/questions/29980/evaluating-int-p-sin-x-cos-x-textdx)  
> 
> [Ways to evaluate $\int \sec \theta \, \mathrm d \theta$](https://math.stackexchange.com/questions/6695/)
> 
> 
> 

Using Mathematica to get the antiderivative for sec(x), I get $$-\log(\cos\frac{x}{2}-\sin\frac{x}{2})+\log(\cos\frac{x}{2}+\sin\frac{x}{2}).$$

This doesn't look familiar, so, I'm thinking there's probably some identity or other way to transform this...

Any insight would be appreciated.