Very Hard Integral with trigonometric, logarithim and hyperbolic

158 Views Asked by At

I've just found a pretty difficult integral. $\int { \tan { x\sqrt { \frac { 72\cos ^{ 4 }{ x } -40\cos { 2x } -32 }{ \sin ^{ 2 }{ x } -\cos { 2x } +2\tan ^{ 2 }{ x } +3\cos ^{ 2 }{ x } } } \cosh { \left( \ln { \sqrt { \cos ^{ 4 }{ x } -4\cos { x } +3 } +\tanh ^{ -1 }{ \left( 3\cos { x } \right) -\tanh ^{ -1 }{ \left(\cos{x}\right)}}}\right)}}}dx$ I think that the best substitution in this case could be u=cosx but I'm not able to simplify the integral.