\(\int \frac {\cos ^5(a x)}{x^3 (\cos (a x)+a x \sin (a x))^2} \, dx\) [538]

Optimal result
Mathematica [A] (verified)
Rubi [A] (verified)
Maple [C] (warning: unable to verify)
Fricas [A] (verification not implemented)
Sympy [F(-1)]
Maxima [F(-2)]
Giac [C] (verification not implemented)
Mupad [F(-1)]
Reduce [F]

Optimal result

Integrand size = 24, antiderivative size = 132 \[ \int \frac {\cos ^5(a x)}{x^3 (\cos (a x)+a x \sin (a x))^2} \, dx=\frac {\cos (a x)}{x^2}+\frac {\cos ^3(a x)}{a^2 x^4}-\frac {3 \cos ^3(a x)}{2 x^2}-\frac {1}{8} a^2 \operatorname {CosIntegral}(a x)-\frac {27}{8} a^2 \operatorname {CosIntegral}(3 a x)-\frac {a \sin (a x)}{x}-\frac {\cos ^2(a x) \sin (a x)}{a x^3}+\frac {9 a \cos ^2(a x) \sin (a x)}{2 x}-\frac {\cos ^4(a x)}{a^2 x^4 (\cos (a x)+a x \sin (a x))} \] Output:

cos(a*x)/x^2+cos(a*x)^3/a^2/x^4-3/2*cos(a*x)^3/x^2-1/8*a^2*Ci(a*x)-27/8*a^ 
2*Ci(3*a*x)-a*sin(a*x)/x-cos(a*x)^2*sin(a*x)/a/x^3+9/2*a*cos(a*x)^2*sin(a* 
x)/x-cos(a*x)^4/a^2/x^4/(cos(a*x)+a*x*sin(a*x))
 

Mathematica [A] (verified)

Time = 0.71 (sec) , antiderivative size = 136, normalized size of antiderivative = 1.03 \[ \int \frac {\cos ^5(a x)}{x^3 (\cos (a x)+a x \sin (a x))^2} \, dx=-\frac {3-a^2 x^2+4 \cos (2 a x)-8 a^2 x^2 \cos (2 a x)+\cos (4 a x)+9 a^2 x^2 \cos (4 a x)+2 a^2 x^2 \operatorname {CosIntegral}(a x) (\cos (a x)+a x \sin (a x))+54 a^2 x^2 \operatorname {CosIntegral}(3 a x) (\cos (a x)+a x \sin (a x))-12 a x \sin (2 a x)-6 a x \sin (4 a x)}{16 x^2 (\cos (a x)+a x \sin (a x))} \] Input:

Integrate[Cos[a*x]^5/(x^3*(Cos[a*x] + a*x*Sin[a*x])^2),x]
 

Output:

-1/16*(3 - a^2*x^2 + 4*Cos[2*a*x] - 8*a^2*x^2*Cos[2*a*x] + Cos[4*a*x] + 9* 
a^2*x^2*Cos[4*a*x] + 2*a^2*x^2*CosIntegral[a*x]*(Cos[a*x] + a*x*Sin[a*x]) 
+ 54*a^2*x^2*CosIntegral[3*a*x]*(Cos[a*x] + a*x*Sin[a*x]) - 12*a*x*Sin[2*a 
*x] - 6*a*x*Sin[4*a*x])/(x^2*(Cos[a*x] + a*x*Sin[a*x]))
 

Rubi [A] (verified)

Time = 1.05 (sec) , antiderivative size = 179, normalized size of antiderivative = 1.36, number of steps used = 15, number of rules used = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.625, Rules used = {5110, 3042, 3795, 3042, 3778, 25, 3042, 3778, 3042, 3783, 3795, 3042, 3783, 3793, 2009}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {\cos ^5(a x)}{x^3 (a x \sin (a x)+\cos (a x))^2} \, dx\)

\(\Big \downarrow \) 5110

\(\displaystyle -\frac {4 \int \frac {\cos ^3(a x)}{x^5}dx}{a^2}-\frac {\cos ^4(a x)}{a^2 x^4 (a x \sin (a x)+\cos (a x))}\)

\(\Big \downarrow \) 3042

\(\displaystyle -\frac {4 \int \frac {\sin \left (a x+\frac {\pi }{2}\right )^3}{x^5}dx}{a^2}-\frac {\cos ^4(a x)}{a^2 x^4 (a x \sin (a x)+\cos (a x))}\)

\(\Big \downarrow \) 3795

\(\displaystyle -\frac {4 \left (-\frac {3}{4} a^2 \int \frac {\cos ^3(a x)}{x^3}dx+\frac {1}{2} a^2 \int \frac {\cos (a x)}{x^3}dx-\frac {\cos ^3(a x)}{4 x^4}+\frac {a \sin (a x) \cos ^2(a x)}{4 x^3}\right )}{a^2}-\frac {\cos ^4(a x)}{a^2 x^4 (a x \sin (a x)+\cos (a x))}\)

\(\Big \downarrow \) 3042

\(\displaystyle -\frac {4 \left (\frac {1}{2} a^2 \int \frac {\sin \left (a x+\frac {\pi }{2}\right )}{x^3}dx-\frac {3}{4} a^2 \int \frac {\sin \left (a x+\frac {\pi }{2}\right )^3}{x^3}dx-\frac {\cos ^3(a x)}{4 x^4}+\frac {a \sin (a x) \cos ^2(a x)}{4 x^3}\right )}{a^2}-\frac {\cos ^4(a x)}{a^2 x^4 (a x \sin (a x)+\cos (a x))}\)

\(\Big \downarrow \) 3778

\(\displaystyle -\frac {4 \left (-\frac {3}{4} a^2 \int \frac {\sin \left (a x+\frac {\pi }{2}\right )^3}{x^3}dx+\frac {1}{2} a^2 \left (\frac {1}{2} a \int -\frac {\sin (a x)}{x^2}dx-\frac {\cos (a x)}{2 x^2}\right )-\frac {\cos ^3(a x)}{4 x^4}+\frac {a \sin (a x) \cos ^2(a x)}{4 x^3}\right )}{a^2}-\frac {\cos ^4(a x)}{a^2 x^4 (a x \sin (a x)+\cos (a x))}\)

\(\Big \downarrow \) 25

\(\displaystyle -\frac {4 \left (-\frac {3}{4} a^2 \int \frac {\sin \left (a x+\frac {\pi }{2}\right )^3}{x^3}dx+\frac {1}{2} a^2 \left (-\frac {1}{2} a \int \frac {\sin (a x)}{x^2}dx-\frac {\cos (a x)}{2 x^2}\right )-\frac {\cos ^3(a x)}{4 x^4}+\frac {a \sin (a x) \cos ^2(a x)}{4 x^3}\right )}{a^2}-\frac {\cos ^4(a x)}{a^2 x^4 (a x \sin (a x)+\cos (a x))}\)

\(\Big \downarrow \) 3042

\(\displaystyle -\frac {4 \left (-\frac {3}{4} a^2 \int \frac {\sin \left (a x+\frac {\pi }{2}\right )^3}{x^3}dx+\frac {1}{2} a^2 \left (-\frac {1}{2} a \int \frac {\sin (a x)}{x^2}dx-\frac {\cos (a x)}{2 x^2}\right )-\frac {\cos ^3(a x)}{4 x^4}+\frac {a \sin (a x) \cos ^2(a x)}{4 x^3}\right )}{a^2}-\frac {\cos ^4(a x)}{a^2 x^4 (a x \sin (a x)+\cos (a x))}\)

\(\Big \downarrow \) 3778

\(\displaystyle -\frac {4 \left (-\frac {3}{4} a^2 \int \frac {\sin \left (a x+\frac {\pi }{2}\right )^3}{x^3}dx+\frac {1}{2} a^2 \left (-\frac {1}{2} a \left (a \int \frac {\cos (a x)}{x}dx-\frac {\sin (a x)}{x}\right )-\frac {\cos (a x)}{2 x^2}\right )-\frac {\cos ^3(a x)}{4 x^4}+\frac {a \sin (a x) \cos ^2(a x)}{4 x^3}\right )}{a^2}-\frac {\cos ^4(a x)}{a^2 x^4 (a x \sin (a x)+\cos (a x))}\)

\(\Big \downarrow \) 3042

\(\displaystyle -\frac {4 \left (-\frac {3}{4} a^2 \int \frac {\sin \left (a x+\frac {\pi }{2}\right )^3}{x^3}dx+\frac {1}{2} a^2 \left (-\frac {1}{2} a \left (a \int \frac {\sin \left (a x+\frac {\pi }{2}\right )}{x}dx-\frac {\sin (a x)}{x}\right )-\frac {\cos (a x)}{2 x^2}\right )-\frac {\cos ^3(a x)}{4 x^4}+\frac {a \sin (a x) \cos ^2(a x)}{4 x^3}\right )}{a^2}-\frac {\cos ^4(a x)}{a^2 x^4 (a x \sin (a x)+\cos (a x))}\)

\(\Big \downarrow \) 3783

\(\displaystyle -\frac {4 \left (-\frac {3}{4} a^2 \int \frac {\sin \left (a x+\frac {\pi }{2}\right )^3}{x^3}dx+\frac {1}{2} a^2 \left (-\frac {1}{2} a \left (a \operatorname {CosIntegral}(a x)-\frac {\sin (a x)}{x}\right )-\frac {\cos (a x)}{2 x^2}\right )-\frac {\cos ^3(a x)}{4 x^4}+\frac {a \sin (a x) \cos ^2(a x)}{4 x^3}\right )}{a^2}-\frac {\cos ^4(a x)}{a^2 x^4 (a x \sin (a x)+\cos (a x))}\)

\(\Big \downarrow \) 3795

\(\displaystyle -\frac {4 \left (-\frac {3}{4} a^2 \left (-\frac {9}{2} a^2 \int \frac {\cos ^3(a x)}{x}dx+3 a^2 \int \frac {\cos (a x)}{x}dx-\frac {\cos ^3(a x)}{2 x^2}+\frac {3 a \sin (a x) \cos ^2(a x)}{2 x}\right )+\frac {1}{2} a^2 \left (-\frac {1}{2} a \left (a \operatorname {CosIntegral}(a x)-\frac {\sin (a x)}{x}\right )-\frac {\cos (a x)}{2 x^2}\right )-\frac {\cos ^3(a x)}{4 x^4}+\frac {a \sin (a x) \cos ^2(a x)}{4 x^3}\right )}{a^2}-\frac {\cos ^4(a x)}{a^2 x^4 (a x \sin (a x)+\cos (a x))}\)

\(\Big \downarrow \) 3042

\(\displaystyle -\frac {4 \left (-\frac {3}{4} a^2 \left (3 a^2 \int \frac {\sin \left (a x+\frac {\pi }{2}\right )}{x}dx-\frac {9}{2} a^2 \int \frac {\sin \left (a x+\frac {\pi }{2}\right )^3}{x}dx-\frac {\cos ^3(a x)}{2 x^2}+\frac {3 a \sin (a x) \cos ^2(a x)}{2 x}\right )+\frac {1}{2} a^2 \left (-\frac {1}{2} a \left (a \operatorname {CosIntegral}(a x)-\frac {\sin (a x)}{x}\right )-\frac {\cos (a x)}{2 x^2}\right )-\frac {\cos ^3(a x)}{4 x^4}+\frac {a \sin (a x) \cos ^2(a x)}{4 x^3}\right )}{a^2}-\frac {\cos ^4(a x)}{a^2 x^4 (a x \sin (a x)+\cos (a x))}\)

\(\Big \downarrow \) 3783

\(\displaystyle -\frac {4 \left (-\frac {3}{4} a^2 \left (-\frac {9}{2} a^2 \int \frac {\sin \left (a x+\frac {\pi }{2}\right )^3}{x}dx+3 a^2 \operatorname {CosIntegral}(a x)-\frac {\cos ^3(a x)}{2 x^2}+\frac {3 a \sin (a x) \cos ^2(a x)}{2 x}\right )+\frac {1}{2} a^2 \left (-\frac {1}{2} a \left (a \operatorname {CosIntegral}(a x)-\frac {\sin (a x)}{x}\right )-\frac {\cos (a x)}{2 x^2}\right )-\frac {\cos ^3(a x)}{4 x^4}+\frac {a \sin (a x) \cos ^2(a x)}{4 x^3}\right )}{a^2}-\frac {\cos ^4(a x)}{a^2 x^4 (a x \sin (a x)+\cos (a x))}\)

\(\Big \downarrow \) 3793

\(\displaystyle -\frac {4 \left (-\frac {3}{4} a^2 \left (-\frac {9}{2} a^2 \int \left (\frac {3 \cos (a x)}{4 x}+\frac {\cos (3 a x)}{4 x}\right )dx+3 a^2 \operatorname {CosIntegral}(a x)-\frac {\cos ^3(a x)}{2 x^2}+\frac {3 a \sin (a x) \cos ^2(a x)}{2 x}\right )+\frac {1}{2} a^2 \left (-\frac {1}{2} a \left (a \operatorname {CosIntegral}(a x)-\frac {\sin (a x)}{x}\right )-\frac {\cos (a x)}{2 x^2}\right )-\frac {\cos ^3(a x)}{4 x^4}+\frac {a \sin (a x) \cos ^2(a x)}{4 x^3}\right )}{a^2}-\frac {\cos ^4(a x)}{a^2 x^4 (a x \sin (a x)+\cos (a x))}\)

\(\Big \downarrow \) 2009

\(\displaystyle -\frac {4 \left (-\frac {3}{4} a^2 \left (3 a^2 \operatorname {CosIntegral}(a x)-\frac {9}{2} a^2 \left (\frac {3 \operatorname {CosIntegral}(a x)}{4}+\frac {\operatorname {CosIntegral}(3 a x)}{4}\right )-\frac {\cos ^3(a x)}{2 x^2}+\frac {3 a \sin (a x) \cos ^2(a x)}{2 x}\right )+\frac {1}{2} a^2 \left (-\frac {1}{2} a \left (a \operatorname {CosIntegral}(a x)-\frac {\sin (a x)}{x}\right )-\frac {\cos (a x)}{2 x^2}\right )-\frac {\cos ^3(a x)}{4 x^4}+\frac {a \sin (a x) \cos ^2(a x)}{4 x^3}\right )}{a^2}-\frac {\cos ^4(a x)}{a^2 x^4 (a x \sin (a x)+\cos (a x))}\)

Input:

Int[Cos[a*x]^5/(x^3*(Cos[a*x] + a*x*Sin[a*x])^2),x]
 

Output:

-(Cos[a*x]^4/(a^2*x^4*(Cos[a*x] + a*x*Sin[a*x]))) - (4*(-1/4*Cos[a*x]^3/x^ 
4 + (a*Cos[a*x]^2*Sin[a*x])/(4*x^3) - (3*a^2*(-1/2*Cos[a*x]^3/x^2 + 3*a^2* 
CosIntegral[a*x] - (9*a^2*((3*CosIntegral[a*x])/4 + CosIntegral[3*a*x]/4)) 
/2 + (3*a*Cos[a*x]^2*Sin[a*x])/(2*x)))/4 + (a^2*(-1/2*Cos[a*x]/x^2 - (a*(a 
*CosIntegral[a*x] - Sin[a*x]/x))/2))/2))/a^2
 

Defintions of rubi rules used

rule 25
Int[-(Fx_), x_Symbol] :> Simp[Identity[-1]   Int[Fx, x], x]
 

rule 2009
Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 

rule 3042
Int[u_, x_Symbol] :> Int[DeactivateTrig[u, x], x] /; FunctionOfTrigOfLinear 
Q[u, x]
 

rule 3778
Int[((c_.) + (d_.)*(x_))^(m_)*sin[(e_.) + (f_.)*(x_)], x_Symbol] :> Simp[(c 
 + d*x)^(m + 1)*(Sin[e + f*x]/(d*(m + 1))), x] - Simp[f/(d*(m + 1))   Int[( 
c + d*x)^(m + 1)*Cos[e + f*x], x], x] /; FreeQ[{c, d, e, f}, x] && LtQ[m, - 
1]
 

rule 3783
Int[sin[(e_.) + (f_.)*(x_)]/((c_.) + (d_.)*(x_)), x_Symbol] :> Simp[CosInte 
gral[e - Pi/2 + f*x]/d, x] /; FreeQ[{c, d, e, f}, x] && EqQ[d*(e - Pi/2) - 
c*f, 0]
 

rule 3793
Int[((c_.) + (d_.)*(x_))^(m_)*sin[(e_.) + (f_.)*(x_)]^(n_), x_Symbol] :> In 
t[ExpandTrigReduce[(c + d*x)^m, Sin[e + f*x]^n, x], x] /; FreeQ[{c, d, e, f 
, m}, x] && IGtQ[n, 1] && ( !RationalQ[m] || (GeQ[m, -1] && LtQ[m, 1]))
 

rule 3795
Int[((c_.) + (d_.)*(x_))^(m_)*((b_.)*sin[(e_.) + (f_.)*(x_)])^(n_), x_Symbo 
l] :> Simp[(c + d*x)^(m + 1)*((b*Sin[e + f*x])^n/(d*(m + 1))), x] + (-Simp[ 
b*f*n*(c + d*x)^(m + 2)*Cos[e + f*x]*((b*Sin[e + f*x])^(n - 1)/(d^2*(m + 1) 
*(m + 2))), x] + Simp[b^2*f^2*n*((n - 1)/(d^2*(m + 1)*(m + 2)))   Int[(c + 
d*x)^(m + 2)*(b*Sin[e + f*x])^(n - 2), x], x] - Simp[f^2*(n^2/(d^2*(m + 1)* 
(m + 2)))   Int[(c + d*x)^(m + 2)*(b*Sin[e + f*x])^n, x], x]) /; FreeQ[{b, 
c, d, e, f}, x] && GtQ[n, 1] && LtQ[m, -2]
 

rule 5110
Int[(Cos[(a_.)*(x_)]^(n_)*((b_.)*(x_))^(m_))/(Cos[(a_.)*(x_)]*(c_.) + (d_.) 
*(x_)*Sin[(a_.)*(x_)])^2, x_Symbol] :> Simp[(-b)*(b*x)^(m - 1)*(Cos[a*x]^(n 
 - 1)/(a*d*(c*Cos[a*x] + d*x*Sin[a*x]))), x] - Simp[b^2*((n - 1)/d^2)   Int 
[(b*x)^(m - 2)*Cos[a*x]^(n - 2), x], x] /; FreeQ[{a, b, c, d, m, n}, x] && 
EqQ[a*c - d, 0] && EqQ[m, 2 - n]
 
Maple [C] (warning: unable to verify)

Result contains higher order function than in optimal. Order 9 vs. order 4.

Time = 1.14 (sec) , antiderivative size = 367, normalized size of antiderivative = 2.78

method result size
risch \(-\frac {27 i \pi \,\operatorname {csgn}\left (i a x \right ) a^{2}}{16}-\frac {7 i a \,{\mathrm e}^{i a x}}{16 x}-\frac {27 a^{2} \operatorname {Ci}\left (3 a x \right )}{8}+\frac {a^{2} {\mathrm e}^{i a x}}{4 \left (i a x -1\right )^{2}}-\frac {3 a^{2} {\mathrm e}^{i a x}}{8 \left (i a x -1\right )}-\frac {3 \,{\mathrm e}^{i a x}}{16 x^{2}}-\frac {2 i {\mathrm e}^{i a x} a^{2}}{\left (a^{2} x^{2}+2 i a x -1\right ) \left (a x -i\right )^{2} \left ({\mathrm e}^{2 i a x} a x -a x +i {\mathrm e}^{2 i a x}+i\right )}+\frac {a^{2} \operatorname {expIntegral}_{1}\left (-i a x \right )}{16}+\frac {27 i \pi \,\operatorname {csgn}\left (a x \right ) \operatorname {csgn}\left (i a x \right ) a^{2}}{16}-\frac {a^{2} {\mathrm e}^{-i a x}}{16 \left (i a x +1\right )^{2}}+\frac {i a \,{\mathrm e}^{-i a x}}{16 x \left (i a x +1\right )^{2}}-\frac {3 \,{\mathrm e}^{-i a x}}{16 x^{2} \left (i a x +1\right )^{2}}+\frac {a^{2} \operatorname {expIntegral}_{1}\left (i a x \right )}{16}-\frac {i a^{3} {\mathrm e}^{-i a x} x}{16 \left (i a x +1\right )^{2}}+\frac {3 \cos \left (3 a x \right ) a^{2}}{8 \left (-a^{2} x^{2}-1\right )}+\frac {\cos \left (3 a x \right )}{8 x^{2} \left (-a^{2} x^{2}-1\right )}-\frac {9 x \sin \left (3 a x \right ) a^{3}}{8 \left (-a^{2} x^{2}-1\right )}-\frac {7 \sin \left (3 a x \right ) a}{8 x \left (-a^{2} x^{2}-1\right )}\) \(367\)

Input:

int(cos(a*x)^5/x^3/(cos(a*x)+a*x*sin(a*x))^2,x,method=_RETURNVERBOSE)
 

Output:

-27/16*I*Pi*csgn(I*a*x)*a^2-7/16*I*a/x*exp(I*a*x)-27/8*a^2*Ci(3*a*x)+1/4*a 
^2*exp(I*a*x)/(I*a*x-1)^2-3/8*a^2*exp(I*a*x)/(I*a*x-1)-3/16/x^2*exp(I*a*x) 
-2*I*exp(I*a*x)*a^2/(a^2*x^2+2*I*a*x-1)/(a*x-I)^2/(exp(2*I*a*x)*a*x-a*x+I* 
exp(2*I*a*x)+I)+1/16*a^2*Ei(1,-I*a*x)+27/16*I*Pi*csgn(a*x)*csgn(I*a*x)*a^2 
-1/16*a^2*exp(-I*a*x)/(I*a*x+1)^2+1/16*I*a*exp(-I*a*x)/x/(I*a*x+1)^2-3/16* 
exp(-I*a*x)/x^2/(I*a*x+1)^2+1/16*a^2*Ei(1,I*a*x)-1/16*I*a^3*exp(-I*a*x)*x/ 
(I*a*x+1)^2+3/8/(-a^2*x^2-1)*cos(3*a*x)*a^2+1/8/x^2/(-a^2*x^2-1)*cos(3*a*x 
)-9/8*x/(-a^2*x^2-1)*sin(3*a*x)*a^3-7/8/x/(-a^2*x^2-1)*sin(3*a*x)*a
 

Fricas [A] (verification not implemented)

Time = 0.09 (sec) , antiderivative size = 135, normalized size of antiderivative = 1.02 \[ \int \frac {\cos ^5(a x)}{x^3 (\cos (a x)+a x \sin (a x))^2} \, dx=\frac {44 \, a^{2} x^{2} \cos \left (a x\right )^{2} - 4 \, {\left (9 \, a^{2} x^{2} + 1\right )} \cos \left (a x\right )^{4} - 8 \, a^{2} x^{2} - {\left (27 \, a^{2} x^{2} \operatorname {Ci}\left (3 \, a x\right ) + a^{2} x^{2} \operatorname {Ci}\left (a x\right )\right )} \cos \left (a x\right ) - {\left (27 \, a^{3} x^{3} \operatorname {Ci}\left (3 \, a x\right ) + a^{3} x^{3} \operatorname {Ci}\left (a x\right ) - 24 \, a x \cos \left (a x\right )^{3}\right )} \sin \left (a x\right )}{8 \, {\left (a x^{3} \sin \left (a x\right ) + x^{2} \cos \left (a x\right )\right )}} \] Input:

integrate(cos(a*x)^5/x^3/(cos(a*x)+a*x*sin(a*x))^2,x, algorithm="fricas")
 

Output:

1/8*(44*a^2*x^2*cos(a*x)^2 - 4*(9*a^2*x^2 + 1)*cos(a*x)^4 - 8*a^2*x^2 - (2 
7*a^2*x^2*cos_integral(3*a*x) + a^2*x^2*cos_integral(a*x))*cos(a*x) - (27* 
a^3*x^3*cos_integral(3*a*x) + a^3*x^3*cos_integral(a*x) - 24*a*x*cos(a*x)^ 
3)*sin(a*x))/(a*x^3*sin(a*x) + x^2*cos(a*x))
 

Sympy [F(-1)]

Timed out. \[ \int \frac {\cos ^5(a x)}{x^3 (\cos (a x)+a x \sin (a x))^2} \, dx=\text {Timed out} \] Input:

integrate(cos(a*x)**5/x**3/(cos(a*x)+a*x*sin(a*x))**2,x)
 

Output:

Timed out
 

Maxima [F(-2)]

Exception generated. \[ \int \frac {\cos ^5(a x)}{x^3 (\cos (a x)+a x \sin (a x))^2} \, dx=\text {Exception raised: RuntimeError} \] Input:

integrate(cos(a*x)^5/x^3/(cos(a*x)+a*x*sin(a*x))^2,x, algorithm="maxima")
 

Output:

Exception raised: RuntimeError >> ECL says: THROW: The catch RAT-ERR is un 
defined.
 

Giac [C] (verification not implemented)

Result contains higher order function than in optimal. Order 9 vs. order 4.

Time = 0.52 (sec) , antiderivative size = 3130, normalized size of antiderivative = 23.71 \[ \int \frac {\cos ^5(a x)}{x^3 (\cos (a x)+a x \sin (a x))^2} \, dx=\text {Too large to display} \] Input:

integrate(cos(a*x)^5/x^3/(cos(a*x)+a*x*sin(a*x))^2,x, algorithm="giac")
 

Output:

-1/16*(54*a^7*x^7*real_part(cos_integral(3*a*x))*tan(3/2*a*x)^2*tan(1/2*a* 
x)^3 + 2*a^7*x^7*real_part(cos_integral(a*x))*tan(3/2*a*x)^2*tan(1/2*a*x)^ 
3 + 2*a^7*x^7*real_part(cos_integral(-a*x))*tan(3/2*a*x)^2*tan(1/2*a*x)^3 
+ 54*a^7*x^7*real_part(cos_integral(-3*a*x))*tan(3/2*a*x)^2*tan(1/2*a*x)^3 
 - 27*a^6*x^6*real_part(cos_integral(3*a*x))*tan(3/2*a*x)^2*tan(1/2*a*x)^4 
 - a^6*x^6*real_part(cos_integral(a*x))*tan(3/2*a*x)^2*tan(1/2*a*x)^4 - a^ 
6*x^6*real_part(cos_integral(-a*x))*tan(3/2*a*x)^2*tan(1/2*a*x)^4 - 27*a^6 
*x^6*real_part(cos_integral(-3*a*x))*tan(3/2*a*x)^2*tan(1/2*a*x)^4 + 54*a^ 
7*x^7*real_part(cos_integral(3*a*x))*tan(3/2*a*x)^2*tan(1/2*a*x) + 2*a^7*x 
^7*real_part(cos_integral(a*x))*tan(3/2*a*x)^2*tan(1/2*a*x) + 2*a^7*x^7*re 
al_part(cos_integral(-a*x))*tan(3/2*a*x)^2*tan(1/2*a*x) + 54*a^7*x^7*real_ 
part(cos_integral(-3*a*x))*tan(3/2*a*x)^2*tan(1/2*a*x) + 54*a^7*x^7*real_p 
art(cos_integral(3*a*x))*tan(1/2*a*x)^3 + 2*a^7*x^7*real_part(cos_integral 
(a*x))*tan(1/2*a*x)^3 + 2*a^7*x^7*real_part(cos_integral(-a*x))*tan(1/2*a* 
x)^3 + 54*a^7*x^7*real_part(cos_integral(-3*a*x))*tan(1/2*a*x)^3 - 27*a^6* 
x^6*real_part(cos_integral(3*a*x))*tan(1/2*a*x)^4 - a^6*x^6*real_part(cos_ 
integral(a*x))*tan(1/2*a*x)^4 - a^6*x^6*real_part(cos_integral(-a*x))*tan( 
1/2*a*x)^4 - 27*a^6*x^6*real_part(cos_integral(-3*a*x))*tan(1/2*a*x)^4 + 5 
4*a^7*x^7*real_part(cos_integral(3*a*x))*tan(1/2*a*x) + 2*a^7*x^7*real_par 
t(cos_integral(a*x))*tan(1/2*a*x) + 2*a^7*x^7*real_part(cos_integral(-a...
 

Mupad [F(-1)]

Timed out. \[ \int \frac {\cos ^5(a x)}{x^3 (\cos (a x)+a x \sin (a x))^2} \, dx=\int \frac {{\cos \left (a\,x\right )}^5}{x^3\,{\left (\cos \left (a\,x\right )+a\,x\,\sin \left (a\,x\right )\right )}^2} \,d x \] Input:

int(cos(a*x)^5/(x^3*(cos(a*x) + a*x*sin(a*x))^2),x)
 

Output:

int(cos(a*x)^5/(x^3*(cos(a*x) + a*x*sin(a*x))^2), x)
 

Reduce [F]

\[ \int \frac {\cos ^5(a x)}{x^3 (\cos (a x)+a x \sin (a x))^2} \, dx=\int \frac {\cos \left (a x \right )^{5}}{\cos \left (a x \right )^{2} x^{3}+2 \cos \left (a x \right ) \sin \left (a x \right ) a \,x^{4}+\sin \left (a x \right )^{2} a^{2} x^{5}}d x \] Input:

int(cos(a*x)^5/x^3/(cos(a*x)+a*x*sin(a*x))^2,x)
 

Output:

int(cos(a*x)**5/(cos(a*x)**2*x**3 + 2*cos(a*x)*sin(a*x)*a*x**4 + sin(a*x)* 
*2*a**2*x**5),x)