Optimal. Leaf size=33 \[ -\frac {3}{40} \cos (5 x)-\frac {3}{56} \cos (7 x)+\frac {1}{136} \cos (17 x)+\frac {1}{152} \cos (19 x) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.03, antiderivative size = 33, normalized size of antiderivative = 1.00, number of steps used = 6, number of rules used = 2, integrand size = 9, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.222, Rules used = {4354, 2638} \[ -\frac {3}{40} \cos (5 x)-\frac {3}{56} \cos (7 x)+\frac {1}{136} \cos (17 x)+\frac {1}{152} \cos (19 x) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2638
Rule 4354
Rubi steps
\begin {align*} \int \cos (x) \sin ^3(6 x) \, dx &=\int \left (\frac {3}{8} \sin (5 x)+\frac {3}{8} \sin (7 x)-\frac {1}{8} \sin (17 x)-\frac {1}{8} \sin (19 x)\right ) \, dx\\ &=-\left (\frac {1}{8} \int \sin (17 x) \, dx\right )-\frac {1}{8} \int \sin (19 x) \, dx+\frac {3}{8} \int \sin (5 x) \, dx+\frac {3}{8} \int \sin (7 x) \, dx\\ &=-\frac {3}{40} \cos (5 x)-\frac {3}{56} \cos (7 x)+\frac {1}{136} \cos (17 x)+\frac {1}{152} \cos (19 x)\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.01, size = 33, normalized size = 1.00 \[ -\frac {3}{40} \cos (5 x)-\frac {3}{56} \cos (7 x)+\frac {1}{136} \cos (17 x)+\frac {1}{152} \cos (19 x) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.61, size = 49, normalized size = 1.48 \[ \frac {32768}{19} \, \cos \relax (x)^{19} - \frac {131072}{17} \, \cos \relax (x)^{17} + 14336 \, \cos \relax (x)^{15} - 14336 \, \cos \relax (x)^{13} + 8320 \, \cos \relax (x)^{11} - 2816 \, \cos \relax (x)^{9} + \frac {3672}{7} \, \cos \relax (x)^{7} - \frac {216}{5} \, \cos \relax (x)^{5} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.14, size = 49, normalized size = 1.48 \[ \frac {32768}{19} \, \cos \relax (x)^{19} - \frac {131072}{17} \, \cos \relax (x)^{17} + 14336 \, \cos \relax (x)^{15} - 14336 \, \cos \relax (x)^{13} + 8320 \, \cos \relax (x)^{11} - 2816 \, \cos \relax (x)^{9} + \frac {3672}{7} \, \cos \relax (x)^{7} - \frac {216}{5} \, \cos \relax (x)^{5} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.14, size = 26, normalized size = 0.79 \[ -\frac {3 \cos \left (5 x \right )}{40}-\frac {3 \cos \left (7 x \right )}{56}+\frac {\cos \left (17 x \right )}{136}+\frac {\cos \left (19 x \right )}{152} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.56, size = 25, normalized size = 0.76 \[ \frac {1}{152} \, \cos \left (19 \, x\right ) + \frac {1}{136} \, \cos \left (17 \, x\right ) - \frac {3}{56} \, \cos \left (7 \, x\right ) - \frac {3}{40} \, \cos \left (5 \, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 2.70, size = 150, normalized size = 4.55 \[ -\frac {32\,\left (305235\,{\mathrm {tan}\left (\frac {x}{2}\right )}^{34}-9665775\,{\mathrm {tan}\left (\frac {x}{2}\right )}^{32}+153838440\,{\mathrm {tan}\left (\frac {x}{2}\right )}^{30}-1348695544\,{\mathrm {tan}\left (\frac {x}{2}\right )}^{28}+7083812484\,{\mathrm {tan}\left (\frac {x}{2}\right )}^{26}-23578828164\,{\mathrm {tan}\left (\frac {x}{2}\right )}^{24}+51613490424\,{\mathrm {tan}\left (\frac {x}{2}\right )}^{22}-75928491144\,{\mathrm {tan}\left (\frac {x}{2}\right )}^{20}+75935973762\,{\mathrm {tan}\left (\frac {x}{2}\right )}^{18}-51607368282\,{\mathrm {tan}\left (\frac {x}{2}\right )}^{16}+23582909592\,{\mathrm {tan}\left (\frac {x}{2}\right )}^{14}-7081614792\,{\mathrm {tan}\left (\frac {x}{2}\right )}^{12}+1349637412\,{\mathrm {tan}\left (\frac {x}{2}\right )}^{10}-153524484\,{\mathrm {tan}\left (\frac {x}{2}\right )}^8+9744264\,{\mathrm {tan}\left (\frac {x}{2}\right )}^6-291384\,{\mathrm {tan}\left (\frac {x}{2}\right )}^4+1539\,{\mathrm {tan}\left (\frac {x}{2}\right )}^2+81\right )}{11305\,{\left ({\mathrm {tan}\left (\frac {x}{2}\right )}^2+1\right )}^{19}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 5.19, size = 65, normalized size = 1.97 \[ - \frac {251 \sin {\relax (x )} \sin ^{3}{\left (6 x \right )}}{11305} - \frac {216 \sin {\relax (x )} \sin {\left (6 x \right )} \cos ^{2}{\left (6 x \right )}}{11305} - \frac {1926 \sin ^{2}{\left (6 x \right )} \cos {\relax (x )} \cos {\left (6 x \right )}}{11305} - \frac {1296 \cos {\relax (x )} \cos ^{3}{\left (6 x \right )}}{11305} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________