So far, I've tried out to reformulate: $$\int{\frac{1}{\cos(x)}}dx$$ to: $$\int{\frac{\sin(x)}{\cos(x)\sin(x)}}dx$$
which is basically: $$\int{\frac{\tan(x)}{\sin(x)}}dx$$ But I'm not sure if this is the right way to go, or if I try something else.
Any tips or methods would be very helpful.
This substitution is to be used as a last resort? Bioche's rules say in this case the correct substitution is $u=\sin x$, $\mathrm d\mkern1mu u=\cos x\,\mathrm d\mkern1mu x$. Indeed $$\int\frac{\mathrm d\mkern1mu x}{\cos x}=\int\frac{\cos x\,\mathrm d\mkern1mu x}{\cos^2 x}=\int\frac{\mathrm d\mkern1mu u}{1-u^2}=\frac12\ln\Bigl(\frac{1+u}{1-u}\Bigr)=\frac12\ln\Bigl(\frac{1+\sin x}{1-\sin x}\Bigr).$$
Note:
Using some trigonometry formulae, this may be rewritten as $$\ln\Bigl(\tan\Bigl(\frac x2+\frac\pi 4\Bigr)\Bigr).$$