Решить неопределенный интеграл

Решите задачу:

$\int \frac{dx}{tgx\cdot cos2x}=\int \frac{dx}{\frac{sinx}{cosx}\cdot (cos^2x-sin^2x)}=\int \frac{cosx\, dx}{sinx\cdot cos^2x-sin^3x}=\Big [\frac{:cos^3x}{:cos^3x}\Big ]=\\\\=\int \frac{\frac{dx}{cos^2x}}{tgx-tg^3x}=\int \frac{d(tgx)}{-tgx\cdot (tg^2x-1)}=\Big [\; t=tgx\; ,\; dt=\frac{dx}{cos^2x}\; \Big ]=\\\\=-\int \frac{dt}{t\cdot (t-1)(t+1)}=I\\\\\\\frac{1}{t(t-1)(t+1)}=\frac{A}{t}+\frac{B}{t-1}+\frac{C}{t+1}\\\\1=A(t-1)(t+1)+Bt(t+1)+Ct(t-1)\\\\t=0:\; A=\frac{1}{-1}=-1\\\\t=1:\; \; B=\frac{1}{1\cdot 2}=\frac{1}{2}$

$t=-1:\; \; C=\frac{1}{-1\cdot (-2)}=\frac{1}{2}\\\\\\I=-\int \frac{-1}{t}\, dt-\int \frac{1}{2(t-1)}\, dt-\int \frac{1}{2(t+1)}\, dt=\\\\=ln\, |t|-\frac{1}{2}ln|t-1|-\frac{1}{2}ln|t+1|+C=\\\\=ln\, |tgx|-\frac{1}{2}\cdot ln\Big |tgx-1)(tgx+1)\Big |+C=ln\, |tgx|-\frac{1}{2}\cdot ln\Big |tg^2x-1\Big |+C$