$\int x \tan x \,dx=\frac{1}{2} i \text{Li}_2\left(-e^{2 i x}\right)+\frac{i x^2}{2}-x \log\left(1+e^{2 i x}\right)+C $
Where $\text{Li}_2$ is the dilogarithm function
Anixx
- 10.1k
- 4
- 39
- 63