<s>[INST] Integral of $\frac1{\cos x}$ using t substitution Okay, so I'm trying to find $ \int \frac1{\cos x}\mathrm{d}x$ using the substitution $t = \tan\left(\frac{x}{2}\right)$.
I sub in the trig identity for $\sec$ as $\frac{1+t^2}{1-t^2}$ and then rearrange and substitute $\frac{\mathrm{d}t}{\mathrm{d}x} = \frac12 \left(1+ \tan^2\left(\frac{x}{2}\right)\right)$ so I am left with
$\frac2{1-t^2}$
I then used partial fractions to find
$\frac2{1-t^2} = \frac1{1+t} + \frac1{1-t}$
and therefore integrating I get
$\int \frac1{\cos x}dx = \ln(t+1) - \ln(t-1)$
But subbing in $t = \tan\left(\frac{x}{2}\right)$ doesn't seem to get me anywhere close to the solution that I want to find, which is:
$ \int \frac1{\cos x}\mathrm{d}x = \ln(\sec x + \tan x) + C$
Any help on this would be greatly appreciated. 
Thanks!
 [/INST] We know that $$\cos x=\frac{1-\tan^{2}\frac{x}{2}}{1+\tan^{2}\frac{x}{2} }=\frac{1-\tan^{2}\frac{x}{2}}{\sec^2 \frac{x}{2} }$$ Given that $$\int \frac{1}{\cos x}dx$$$$=\int \frac{1}{\frac{1-\tan^{2}\frac{x}{2}}{\sec^2 \frac{x}{2}  }}dx$$ $$=\int \frac{\sec^2 \frac{x}{2}}{1- \tan^{2}\frac{x}{2}}dx$$ Let $$\tan \frac{x}{2}=t \implies \frac{1}{2}\sec^2\frac{x}{2}dx=dt \implies \sec^2\frac{x}{2}dx=2dt $$ Now , we have $$\int \frac{\sec^2 \frac{x}{2}}{1- \tan^{2}\frac{x}{2}}dx=\int \frac{2dt}{1- t^2}$$$$=\frac{2}{2}\ln\left|\frac{1+t}{1-t}\right|$$
$$=\ln\left|\frac{1+\tan \frac{x}{2}}{1-\tan \frac{x}{2}}\right|$$
$$=\ln\left|\frac{\cos \frac{x}{2}+\sin \frac{x}{2}}{\cos \frac{x}{2}-\sin \frac{x}{2}}\right|$$
$$=\ln\left|\frac{\left(\cos \frac{x}{2}+\sin \frac{x}{2}\right)\left(\cos \frac{x}{2}+\sin \frac{x}{2}\right)}{\left(\cos \frac{x}{2}-\sin \frac{x}{2}\right)\left(\cos \frac{x}{2}+\sin \frac{x}{2}\right)}\right|$$
$$=\ln\left|\frac{\cos^2\frac{x}{2}+\sin^2\frac{x}{2}+2\sin\frac{x}{2}\cos\frac{x}{2}}{\cos^2 \frac{x}{2}-\sin^2 \frac{x}{2}}\right|$$
$$=\ln\left|\frac{1+\sin x}{\cos x}\right|$$
$$\color{blue}{=\ln\left|\sec x+\tan x\right|+C}$$
</s>