Optimal. Leaf size=120 \[ a^3 x-\frac {3}{5} \left (a^2-128 a+512\right ) x^5+\left (3 a^2-96 a+128\right ) x^4+12 a^2 x^2-\frac {1}{3} (256-a) x^9+3 (64-a) x^8-\frac {32}{7} (70-3 a) x^7+8 (48-5 a) x^6+8 (8-a) a x^3-\frac {x^{13}}{13}+x^{12}-\frac {72 x^{11}}{11}+28 x^{10} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.06, antiderivative size = 120, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 1, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.045, Rules used = {2061} \[ -\frac {3}{5} \left (a^2-128 a+512\right ) x^5+\left (3 a^2-96 a+128\right ) x^4+12 a^2 x^2+a^3 x-\frac {1}{3} (256-a) x^9+3 (64-a) x^8-\frac {32}{7} (70-3 a) x^7+8 (48-5 a) x^6+8 (8-a) a x^3-\frac {x^{13}}{13}+x^{12}-\frac {72 x^{11}}{11}+28 x^{10} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2061
Rubi steps
\begin {align*} \int \left (a+8 x-8 x^2+4 x^3-x^4\right )^3 \, dx &=\int \left (a^3+24 a^2 x+24 (8-a) a x^2+4 \left (128-96 a+3 a^2\right ) x^3-3 \left (512-128 a+a^2\right ) x^4+48 (48-5 a) x^5-32 (70-3 a) x^6+24 (64-a) x^7-3 (256-a) x^8+280 x^9-72 x^{10}+12 x^{11}-x^{12}\right ) \, dx\\ &=a^3 x+12 a^2 x^2+8 (8-a) a x^3+\left (128-96 a+3 a^2\right ) x^4-\frac {3}{5} \left (512-128 a+a^2\right ) x^5+8 (48-5 a) x^6-\frac {32}{7} (70-3 a) x^7+3 (64-a) x^8-\frac {1}{3} (256-a) x^9+28 x^{10}-\frac {72 x^{11}}{11}+x^{12}-\frac {x^{13}}{13}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.02, size = 114, normalized size = 0.95 \[ a^3 x-\frac {3}{5} \left (a^2-128 a+512\right ) x^5+\left (3 a^2-96 a+128\right ) x^4+12 a^2 x^2+\frac {1}{3} (a-256) x^9-3 (a-64) x^8+\frac {32}{7} (3 a-70) x^7-8 (5 a-48) x^6-8 (a-8) a x^3-\frac {x^{13}}{13}+x^{12}-\frac {72 x^{11}}{11}+28 x^{10} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.36, size = 128, normalized size = 1.07 \[ -\frac {1}{13} x^{13} + x^{12} - \frac {72}{11} x^{11} + 28 x^{10} + \frac {1}{3} x^{9} a - \frac {256}{3} x^{9} - 3 x^{8} a + 192 x^{8} + \frac {96}{7} x^{7} a - 320 x^{7} - 40 x^{6} a - \frac {3}{5} x^{5} a^{2} + 384 x^{6} + \frac {384}{5} x^{5} a + 3 x^{4} a^{2} - \frac {1536}{5} x^{5} - 96 x^{4} a - 8 x^{3} a^{2} + 128 x^{4} + 64 x^{3} a + 12 x^{2} a^{2} + x a^{3} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.30, size = 128, normalized size = 1.07 \[ -\frac {1}{13} \, x^{13} + x^{12} - \frac {72}{11} \, x^{11} + \frac {1}{3} \, a x^{9} + 28 \, x^{10} - 3 \, a x^{8} - \frac {256}{3} \, x^{9} + \frac {96}{7} \, a x^{7} + 192 \, x^{8} - \frac {3}{5} \, a^{2} x^{5} - 40 \, a x^{6} - 320 \, x^{7} + 3 \, a^{2} x^{4} + \frac {384}{5} \, a x^{5} + 384 \, x^{6} - 8 \, a^{2} x^{3} - 96 \, a x^{4} - \frac {1536}{5} \, x^{5} + a^{3} x + 12 \, a^{2} x^{2} + 64 \, a x^{3} + 128 \, x^{4} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.00, size = 138, normalized size = 1.15 \[ -\frac {x^{13}}{13}+x^{12}-\frac {72 x^{11}}{11}+28 x^{10}+\frac {\left (3 a -768\right ) x^{9}}{9}+\frac {\left (-24 a +1536\right ) x^{8}}{8}+\frac {\left (96 a -2240\right ) x^{7}}{7}+\frac {\left (-240 a +2304\right ) x^{6}}{6}+\frac {\left (-a^{2}+\left (-2 a +128\right ) a +256 a -1536\right ) x^{5}}{5}+a^{3} x +12 a^{2} x^{2}+\frac {\left (4 a^{2}+\left (8 a -128\right ) a -256 a +512\right ) x^{4}}{4}+\frac {\left (-8 a^{2}+\left (-16 a +64\right ) a +128 a \right ) x^{3}}{3} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.67, size = 119, normalized size = 0.99 \[ -\frac {1}{13} \, x^{13} + x^{12} - \frac {72}{11} \, x^{11} + 28 \, x^{10} - \frac {256}{3} \, x^{9} + 192 \, x^{8} - 320 \, x^{7} + 384 \, x^{6} - \frac {1536}{5} \, x^{5} + a^{3} x + 128 \, x^{4} - \frac {1}{5} \, {\left (3 \, x^{5} - 15 \, x^{4} + 40 \, x^{3} - 60 \, x^{2}\right )} a^{2} + \frac {1}{105} \, {\left (35 \, x^{9} - 315 \, x^{8} + 1440 \, x^{7} - 4200 \, x^{6} + 8064 \, x^{5} - 10080 \, x^{4} + 6720 \, x^{3}\right )} a \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.10, size = 108, normalized size = 0.90 \[ x^9\,\left (\frac {a}{3}-\frac {256}{3}\right )-x^8\,\left (3\,a-192\right )-x^6\,\left (40\,a-384\right )+x^7\,\left (\frac {96\,a}{7}-320\right )+x^4\,\left (3\,a^2-96\,a+128\right )-x^5\,\left (\frac {3\,a^2}{5}-\frac {384\,a}{5}+\frac {1536}{5}\right )+a^3\,x+28\,x^{10}-\frac {72\,x^{11}}{11}+x^{12}-\frac {x^{13}}{13}+12\,a^2\,x^2-8\,a\,x^3\,\left (a-8\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.09, size = 114, normalized size = 0.95 \[ a^{3} x + 12 a^{2} x^{2} - \frac {x^{13}}{13} + x^{12} - \frac {72 x^{11}}{11} + 28 x^{10} + x^{9} \left (\frac {a}{3} - \frac {256}{3}\right ) + x^{8} \left (192 - 3 a\right ) + x^{7} \left (\frac {96 a}{7} - 320\right ) + x^{6} \left (384 - 40 a\right ) + x^{5} \left (- \frac {3 a^{2}}{5} + \frac {384 a}{5} - \frac {1536}{5}\right ) + x^{4} \left (3 a^{2} - 96 a + 128\right ) + x^{3} \left (- 8 a^{2} + 64 a\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________