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.119372, antiderivative size = 120, normalized size of antiderivative = 1., number of steps used = 2, number of rules used = 1, integrand size = 22, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.045 \[ 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} \]
Antiderivative was successfully verified.
[In] Int[(a + 8*x - 8*x^2 + 4*x^3 - x^4)^3,x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate((-x**4+4*x**3-8*x**2+a+8*x)**3,x)
[Out]
_______________________________________________________________________________________
Mathematica [A] time = 0.0255542, 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] Integrate[(a + 8*x - 8*x^2 + 4*x^3 - x^4)^3,x]
[Out]
_______________________________________________________________________________________
Maple [A] time = 0.002, size = 138, normalized size = 1.2 \[ -{\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 \left ( -2\,a+128 \right ) +256\,a-1536-{a}^{2} \right ){x}^{5}}{5}}+{\frac{ \left ( a \left ( 8\,a-128 \right ) -256\,a+512+4\,{a}^{2} \right ){x}^{4}}{4}}+{\frac{ \left ( a \left ( -16\,a+64 \right ) +128\,a-8\,{a}^{2} \right ){x}^{3}}{3}}+12\,{a}^{2}{x}^{2}+{a}^{3}x \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int((-x^4+4*x^3-8*x^2+a+8*x)^3,x)
[Out]
_______________________________________________________________________________________
Maxima [A] time = 0.798777, size = 161, normalized size = 1.34 \[ -\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] integrate(-(x^4 - 4*x^3 + 8*x^2 - a - 8*x)^3,x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.239023, size = 1, normalized size = 0.01 \[ -\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] integrate(-(x^4 - 4*x^3 + 8*x^2 - a - 8*x)^3,x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [A] time = 0.164499, 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 (- 3 a + 192\right ) + x^{7} \left (\frac{96 a}{7} - 320\right ) + x^{6} \left (- 40 a + 384\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] integrate((-x**4+4*x**3-8*x**2+a+8*x)**3,x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [A] time = 0.258632, size = 173, normalized size = 1.44 \[ -\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] integrate(-(x^4 - 4*x^3 + 8*x^2 - a - 8*x)^3,x, algorithm="giac")
[Out]