Optimal. Leaf size=85 \[ \frac {14 \cos (k x)}{9 k^3}-\frac {2 x^2 \cos (k x)}{3 k}-\frac {2 \cos ^3(k x)}{27 k^3}+\frac {4 x \sin (k x)}{3 k^2}-\frac {x^2 \cos (k x) \sin ^2(k x)}{3 k}+\frac {2 x \sin ^3(k x)}{9 k^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.04, antiderivative size = 85, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 4, integrand size = 10, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.400, Rules used = {3392, 3377,
2718, 2713} \begin {gather*} -\frac {2 \cos ^3(k x)}{27 k^3}+\frac {14 \cos (k x)}{9 k^3}+\frac {2 x \sin ^3(k x)}{9 k^2}+\frac {4 x \sin (k x)}{3 k^2}-\frac {2 x^2 \cos (k x)}{3 k}-\frac {x^2 \sin ^2(k x) \cos (k x)}{3 k} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2713
Rule 2718
Rule 3377
Rule 3392
Rubi steps
\begin {align*} \int x^2 \sin ^3(k x) \, dx &=-\frac {x^2 \cos (k x) \sin ^2(k x)}{3 k}+\frac {2 x \sin ^3(k x)}{9 k^2}+\frac {2}{3} \int x^2 \sin (k x) \, dx-\frac {2 \int \sin ^3(k x) \, dx}{9 k^2}\\ &=-\frac {2 x^2 \cos (k x)}{3 k}-\frac {x^2 \cos (k x) \sin ^2(k x)}{3 k}+\frac {2 x \sin ^3(k x)}{9 k^2}+\frac {2 \text {Subst}\left (\int \left (1-x^2\right ) \, dx,x,\cos (k x)\right )}{9 k^3}+\frac {4 \int x \cos (k x) \, dx}{3 k}\\ &=\frac {2 \cos (k x)}{9 k^3}-\frac {2 x^2 \cos (k x)}{3 k}-\frac {2 \cos ^3(k x)}{27 k^3}+\frac {4 x \sin (k x)}{3 k^2}-\frac {x^2 \cos (k x) \sin ^2(k x)}{3 k}+\frac {2 x \sin ^3(k x)}{9 k^2}-\frac {4 \int \sin (k x) \, dx}{3 k^2}\\ &=\frac {14 \cos (k x)}{9 k^3}-\frac {2 x^2 \cos (k x)}{3 k}-\frac {2 \cos ^3(k x)}{27 k^3}+\frac {4 x \sin (k x)}{3 k^2}-\frac {x^2 \cos (k x) \sin ^2(k x)}{3 k}+\frac {2 x \sin ^3(k x)}{9 k^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.05, size = 55, normalized size = 0.65 \begin {gather*} \frac {-81 \left (-2+k^2 x^2\right ) \cos (k x)+\left (-2+9 k^2 x^2\right ) \cos (3 k x)-6 k x (-27 \sin (k x)+\sin (3 k x))}{108 k^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Mathics [C] Result contains higher order function than in optimal. Order 9 vs. order 3 in
optimal.
time = 2.98, size = 63, normalized size = 0.74 \begin {gather*} \text {Piecewise}\left [\left \{\left \{\frac {6 k x \left (6+\text {Sin}\left [k x\right ]^2\right ) \text {Sin}\left [k x\right ]+9 k^2 x^2 \text {Cos}\left [k x\right ] \left (-3+\text {Cos}\left [k x\right ]^2\right )+2 \text {Cos}\left [k x\right ] \left (20+\text {Sin}\left [k x\right ]^2\right )}{27 k^3},k\text {!=}0\right \}\right \},0\right ] \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.07, size = 64, normalized size = 0.75
method | result | size |
risch | \(-\frac {3 \left (x^{2} k^{2}-2\right ) \cos \left (k x \right )}{4 k^{3}}+\frac {3 x \sin \left (k x \right )}{2 k^{2}}+\frac {\left (9 x^{2} k^{2}-2\right ) \cos \left (3 k x \right )}{108 k^{3}}-\frac {x \sin \left (3 k x \right )}{18 k^{2}}\) | \(61\) |
derivativedivides | \(\frac {-\frac {k^{2} x^{2} \left (2+\sin ^{2}\left (k x \right )\right ) \cos \left (k x \right )}{3}+\frac {4 \cos \left (k x \right )}{3}+\frac {4 k x \sin \left (k x \right )}{3}+\frac {2 k x \left (\sin ^{3}\left (k x \right )\right )}{9}+\frac {2 \left (2+\sin ^{2}\left (k x \right )\right ) \cos \left (k x \right )}{27}}{k^{3}}\) | \(64\) |
default | \(\frac {-\frac {k^{2} x^{2} \left (2+\sin ^{2}\left (k x \right )\right ) \cos \left (k x \right )}{3}+\frac {4 \cos \left (k x \right )}{3}+\frac {4 k x \sin \left (k x \right )}{3}+\frac {2 k x \left (\sin ^{3}\left (k x \right )\right )}{9}+\frac {2 \left (2+\sin ^{2}\left (k x \right )\right ) \cos \left (k x \right )}{27}}{k^{3}}\) | \(64\) |
norman | \(\frac {-\frac {2 x^{2}}{3 k}+\frac {80}{27 k^{3}}+\frac {8 x \tan \left (\frac {k x}{2}\right )}{3 k^{2}}+\frac {64 x \left (\tan ^{3}\left (\frac {k x}{2}\right )\right )}{9 k^{2}}+\frac {8 x \left (\tan ^{5}\left (\frac {k x}{2}\right )\right )}{3 k^{2}}-\frac {2 x^{2} \left (\tan ^{2}\left (\frac {k x}{2}\right )\right )}{k}+\frac {2 x^{2} \left (\tan ^{4}\left (\frac {k x}{2}\right )\right )}{k}+\frac {2 x^{2} \left (\tan ^{6}\left (\frac {k x}{2}\right )\right )}{3 k}+\frac {8 \left (\tan ^{4}\left (\frac {k x}{2}\right )\right )}{3 k^{3}}+\frac {56 \left (\tan ^{2}\left (\frac {k x}{2}\right )\right )}{9 k^{3}}}{\left (1+\tan ^{2}\left (\frac {k x}{2}\right )\right )^{3}}\) | \(133\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.26, size = 55, normalized size = 0.65 \begin {gather*} -\frac {6 \, k x \sin \left (3 \, k x\right ) - 162 \, k x \sin \left (k x\right ) - {\left (9 \, k^{2} x^{2} - 2\right )} \cos \left (3 \, k x\right ) + 81 \, {\left (k^{2} x^{2} - 2\right )} \cos \left (k x\right )}{108 \, k^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.32, size = 59, normalized size = 0.69 \begin {gather*} \frac {{\left (9 \, k^{2} x^{2} - 2\right )} \cos \left (k x\right )^{3} - 3 \, {\left (9 \, k^{2} x^{2} - 14\right )} \cos \left (k x\right ) - 6 \, {\left (k x \cos \left (k x\right )^{2} - 7 \, k x\right )} \sin \left (k x\right )}{27 \, k^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.28, size = 100, normalized size = 1.18 \begin {gather*} \begin {cases} - \frac {x^{2} \sin ^{2}{\left (k x \right )} \cos {\left (k x \right )}}{k} - \frac {2 x^{2} \cos ^{3}{\left (k x \right )}}{3 k} + \frac {14 x \sin ^{3}{\left (k x \right )}}{9 k^{2}} + \frac {4 x \sin {\left (k x \right )} \cos ^{2}{\left (k x \right )}}{3 k^{2}} + \frac {14 \sin ^{2}{\left (k x \right )} \cos {\left (k x \right )}}{9 k^{3}} + \frac {40 \cos ^{3}{\left (k x \right )}}{27 k^{3}} & \text {for}\: k \neq 0 \\0 & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.00, size = 103, normalized size = 1.21 \begin {gather*} \frac {4 \left (-3 x^{2} k^{2}+6\right ) k^{3} \cos \left (k x\right )}{\left (-4 k^{3}\right )^{2}}+\frac {4\cdot 6 x k k^{3} \sin \left (k x\right )}{\left (-4 k^{3}\right )^{2}}+\frac {108 \left (9 x^{2} k^{2}-2\right ) k^{3} \cos \left (3 k x\right )}{\left (-108 k^{3}\right )^{2}}-\frac {108\cdot 6 x k k^{3} \sin \left (3 k x\right )}{\left (-108 k^{3}\right )^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.23, size = 67, normalized size = 0.79 \begin {gather*} \frac {\frac {14\,\cos \left (k\,x\right )}{9}-\frac {2\,{\cos \left (k\,x\right )}^3}{27}+k\,\left (\frac {14\,x\,\sin \left (k\,x\right )}{9}-\frac {2\,x\,{\cos \left (k\,x\right )}^2\,\sin \left (k\,x\right )}{9}\right )+k^2\,\left (\frac {x^2\,{\cos \left (k\,x\right )}^3}{3}-x^2\,\cos \left (k\,x\right )\right )}{k^3} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________