Optimal. Leaf size=183 \[ -\frac {20 \cos ^3(c+d x)}{3003 a^3 d (a \sin (c+d x)+a)^5}-\frac {8 \cos ^3(c+d x)}{9009 a^2 d \left (a^2 \sin (c+d x)+a^2\right )^3}-\frac {8 \cos ^3(c+d x)}{3003 d \left (a^2 \sin (c+d x)+a^2\right )^4}-\frac {20 \cos ^3(c+d x)}{1287 a^2 d (a \sin (c+d x)+a)^6}-\frac {5 \cos ^3(c+d x)}{143 a d (a \sin (c+d x)+a)^7}-\frac {\cos ^3(c+d x)}{13 d (a \sin (c+d x)+a)^8} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.27, antiderivative size = 183, normalized size of antiderivative = 1.00, number of steps used = 6, number of rules used = 2, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.095, Rules used = {2672, 2671} \[ -\frac {8 \cos ^3(c+d x)}{9009 a^2 d \left (a^2 \sin (c+d x)+a^2\right )^3}-\frac {8 \cos ^3(c+d x)}{3003 d \left (a^2 \sin (c+d x)+a^2\right )^4}-\frac {20 \cos ^3(c+d x)}{3003 a^3 d (a \sin (c+d x)+a)^5}-\frac {20 \cos ^3(c+d x)}{1287 a^2 d (a \sin (c+d x)+a)^6}-\frac {5 \cos ^3(c+d x)}{143 a d (a \sin (c+d x)+a)^7}-\frac {\cos ^3(c+d x)}{13 d (a \sin (c+d x)+a)^8} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2671
Rule 2672
Rubi steps
\begin {align*} \int \frac {\cos ^2(c+d x)}{(a+a \sin (c+d x))^8} \, dx &=-\frac {\cos ^3(c+d x)}{13 d (a+a \sin (c+d x))^8}+\frac {5 \int \frac {\cos ^2(c+d x)}{(a+a \sin (c+d x))^7} \, dx}{13 a}\\ &=-\frac {\cos ^3(c+d x)}{13 d (a+a \sin (c+d x))^8}-\frac {5 \cos ^3(c+d x)}{143 a d (a+a \sin (c+d x))^7}+\frac {20 \int \frac {\cos ^2(c+d x)}{(a+a \sin (c+d x))^6} \, dx}{143 a^2}\\ &=-\frac {\cos ^3(c+d x)}{13 d (a+a \sin (c+d x))^8}-\frac {5 \cos ^3(c+d x)}{143 a d (a+a \sin (c+d x))^7}-\frac {20 \cos ^3(c+d x)}{1287 a^2 d (a+a \sin (c+d x))^6}+\frac {20 \int \frac {\cos ^2(c+d x)}{(a+a \sin (c+d x))^5} \, dx}{429 a^3}\\ &=-\frac {\cos ^3(c+d x)}{13 d (a+a \sin (c+d x))^8}-\frac {5 \cos ^3(c+d x)}{143 a d (a+a \sin (c+d x))^7}-\frac {20 \cos ^3(c+d x)}{1287 a^2 d (a+a \sin (c+d x))^6}-\frac {20 \cos ^3(c+d x)}{3003 a^3 d (a+a \sin (c+d x))^5}+\frac {40 \int \frac {\cos ^2(c+d x)}{(a+a \sin (c+d x))^4} \, dx}{3003 a^4}\\ &=-\frac {\cos ^3(c+d x)}{13 d (a+a \sin (c+d x))^8}-\frac {5 \cos ^3(c+d x)}{143 a d (a+a \sin (c+d x))^7}-\frac {20 \cos ^3(c+d x)}{1287 a^2 d (a+a \sin (c+d x))^6}-\frac {20 \cos ^3(c+d x)}{3003 a^3 d (a+a \sin (c+d x))^5}-\frac {8 \cos ^3(c+d x)}{3003 d \left (a^2+a^2 \sin (c+d x)\right )^4}+\frac {8 \int \frac {\cos ^2(c+d x)}{(a+a \sin (c+d x))^3} \, dx}{3003 a^5}\\ &=-\frac {\cos ^3(c+d x)}{13 d (a+a \sin (c+d x))^8}-\frac {5 \cos ^3(c+d x)}{143 a d (a+a \sin (c+d x))^7}-\frac {20 \cos ^3(c+d x)}{1287 a^2 d (a+a \sin (c+d x))^6}-\frac {20 \cos ^3(c+d x)}{3003 a^3 d (a+a \sin (c+d x))^5}-\frac {8 \cos ^3(c+d x)}{9009 a^5 d (a+a \sin (c+d x))^3}-\frac {8 \cos ^3(c+d x)}{3003 d \left (a^2+a^2 \sin (c+d x)\right )^4}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.13, size = 78, normalized size = 0.43 \[ -\frac {\left (8 \sin ^5(c+d x)+64 \sin ^4(c+d x)+236 \sin ^3(c+d x)+544 \sin ^2(c+d x)+911 \sin (c+d x)+1240\right ) \cos ^3(c+d x)}{9009 a^8 d (\sin (c+d x)+1)^8} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.73, size = 339, normalized size = 1.85 \[ \frac {8 \, \cos \left (d x + c\right )^{7} - 48 \, \cos \left (d x + c\right )^{6} - 196 \, \cos \left (d x + c\right )^{5} + 280 \, \cos \left (d x + c\right )^{4} + 735 \, \cos \left (d x + c\right )^{3} - 378 \, \cos \left (d x + c\right )^{2} - {\left (8 \, \cos \left (d x + c\right )^{6} + 56 \, \cos \left (d x + c\right )^{5} - 140 \, \cos \left (d x + c\right )^{4} - 420 \, \cos \left (d x + c\right )^{3} + 315 \, \cos \left (d x + c\right )^{2} + 693 \, \cos \left (d x + c\right ) + 1386\right )} \sin \left (d x + c\right ) + 693 \, \cos \left (d x + c\right ) + 1386}{9009 \, {\left (a^{8} d \cos \left (d x + c\right )^{7} + 7 \, a^{8} d \cos \left (d x + c\right )^{6} - 18 \, a^{8} d \cos \left (d x + c\right )^{5} - 56 \, a^{8} d \cos \left (d x + c\right )^{4} + 48 \, a^{8} d \cos \left (d x + c\right )^{3} + 112 \, a^{8} d \cos \left (d x + c\right )^{2} - 32 \, a^{8} d \cos \left (d x + c\right ) - 64 \, a^{8} d + {\left (a^{8} d \cos \left (d x + c\right )^{6} - 6 \, a^{8} d \cos \left (d x + c\right )^{5} - 24 \, a^{8} d \cos \left (d x + c\right )^{4} + 32 \, a^{8} d \cos \left (d x + c\right )^{3} + 80 \, a^{8} d \cos \left (d x + c\right )^{2} - 32 \, a^{8} d \cos \left (d x + c\right ) - 64 \, a^{8} d\right )} \sin \left (d x + c\right )\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.78, size = 177, normalized size = 0.97 \[ -\frac {2 \, {\left (9009 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{12} + 45045 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{11} + 183183 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{10} + 435435 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{9} + 810810 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{8} + 1051050 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{7} + 1076790 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{6} + 785070 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{5} + 451165 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{4} + 171457 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{3} + 51675 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )^{2} + 7111 \, \tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right ) + 1240\right )}}{9009 \, a^{8} d {\left (\tan \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right ) + 1\right )}^{13}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.30, size = 205, normalized size = 1.12 \[ \frac {-\frac {480}{\left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{5}}+\frac {864}{\left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{10}}+\frac {1472}{\left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{8}}+\frac {128}{\left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{12}}-\frac {4544}{11 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{11}}-\frac {11680}{9 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{9}}-\frac {9056}{7 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{7}}+\frac {2672}{3 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{6}}+\frac {14}{\left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{2}}-\frac {2}{\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1}+\frac {200}{\left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{4}}-\frac {188}{3 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{3}}-\frac {256}{13 \left (\tan \left (\frac {d x}{2}+\frac {c}{2}\right )+1\right )^{13}}}{d \,a^{8}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.52, size = 547, normalized size = 2.99 \[ -\frac {2 \, {\left (\frac {7111 \, \sin \left (d x + c\right )}{\cos \left (d x + c\right ) + 1} + \frac {51675 \, \sin \left (d x + c\right )^{2}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{2}} + \frac {171457 \, \sin \left (d x + c\right )^{3}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{3}} + \frac {451165 \, \sin \left (d x + c\right )^{4}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{4}} + \frac {785070 \, \sin \left (d x + c\right )^{5}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{5}} + \frac {1076790 \, \sin \left (d x + c\right )^{6}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{6}} + \frac {1051050 \, \sin \left (d x + c\right )^{7}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{7}} + \frac {810810 \, \sin \left (d x + c\right )^{8}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{8}} + \frac {435435 \, \sin \left (d x + c\right )^{9}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{9}} + \frac {183183 \, \sin \left (d x + c\right )^{10}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{10}} + \frac {45045 \, \sin \left (d x + c\right )^{11}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{11}} + \frac {9009 \, \sin \left (d x + c\right )^{12}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{12}} + 1240\right )}}{9009 \, {\left (a^{8} + \frac {13 \, a^{8} \sin \left (d x + c\right )}{\cos \left (d x + c\right ) + 1} + \frac {78 \, a^{8} \sin \left (d x + c\right )^{2}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{2}} + \frac {286 \, a^{8} \sin \left (d x + c\right )^{3}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{3}} + \frac {715 \, a^{8} \sin \left (d x + c\right )^{4}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{4}} + \frac {1287 \, a^{8} \sin \left (d x + c\right )^{5}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{5}} + \frac {1716 \, a^{8} \sin \left (d x + c\right )^{6}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{6}} + \frac {1716 \, a^{8} \sin \left (d x + c\right )^{7}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{7}} + \frac {1287 \, a^{8} \sin \left (d x + c\right )^{8}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{8}} + \frac {715 \, a^{8} \sin \left (d x + c\right )^{9}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{9}} + \frac {286 \, a^{8} \sin \left (d x + c\right )^{10}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{10}} + \frac {78 \, a^{8} \sin \left (d x + c\right )^{11}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{11}} + \frac {13 \, a^{8} \sin \left (d x + c\right )^{12}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{12}} + \frac {a^{8} \sin \left (d x + c\right )^{13}}{{\left (\cos \left (d x + c\right ) + 1\right )}^{13}}\right )} d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 8.12, size = 162, normalized size = 0.89 \[ \frac {\sqrt {2}\,\cos \left (\frac {c}{2}+\frac {d\,x}{2}\right )\,\left (\frac {14983\,\cos \left (c+d\,x\right )}{2}-\frac {63921\,\sin \left (c+d\,x\right )}{2}+17605\,\cos \left (2\,c+2\,d\,x\right )-\frac {15365\,\cos \left (3\,c+3\,d\,x\right )}{4}-\frac {6943\,\cos \left (4\,c+4\,d\,x\right )}{4}+\frac {937\,\cos \left (5\,c+5\,d\,x\right )}{4}+\frac {77\,\cos \left (6\,c+6\,d\,x\right )}{4}+\frac {28743\,\sin \left (2\,c+2\,d\,x\right )}{4}+\frac {27027\,\sin \left (3\,c+3\,d\,x\right )}{4}-\frac {5005\,\sin \left (4\,c+4\,d\,x\right )}{4}-\frac {1079\,\sin \left (5\,c+5\,d\,x\right )}{4}+\frac {39\,\sin \left (6\,c+6\,d\,x\right )}{2}-21013\right )}{576576\,a^8\,d\,{\cos \left (\frac {c}{2}-\frac {\pi }{4}+\frac {d\,x}{2}\right )}^{13}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________