Optimal. Leaf size=210 \[ \frac {a^4 x^3}{3}+8 a^3 x^4+\frac {2}{11} \left (3 a^2-1536 a+20480\right ) x^{11}-\frac {24}{5} \left (a^2-128 a+896\right ) x^{10}-4 \left (15 a^2-288 a+512\right ) x^8+\frac {8}{3} a \left (a^2-48 a+128\right ) x^6+\frac {32}{5} (12-a) a^2 x^5+\frac {4}{7} \left (-a^3+192 a^2-1536 a+1024\right ) x^7+\frac {4}{15} (640-a) x^{15}-\frac {8}{7} (464-3 a) x^{14}+\frac {32}{13} (524-9 a) x^{13}-\frac {8}{3} (928-35 a) x^{12}+\frac {64}{9} (128-3 a) (4-a) x^9+\frac {x^{19}}{19}-\frac {8 x^{18}}{9}+\frac {128 x^{17}}{17}-42 x^{16} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.16, antiderivative size = 210, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 1, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.038, Rules used = {6742} \[ \frac {2}{11} \left (3 a^2-1536 a+20480\right ) x^{11}-\frac {24}{5} \left (a^2-128 a+896\right ) x^{10}-4 \left (15 a^2-288 a+512\right ) x^8+\frac {4}{7} \left (-a^3+192 a^2-1536 a+1024\right ) x^7+\frac {8}{3} a \left (a^2-48 a+128\right ) x^6+\frac {32}{5} (12-a) a^2 x^5+8 a^3 x^4+\frac {a^4 x^3}{3}+\frac {4}{15} (640-a) x^{15}-\frac {8}{7} (464-3 a) x^{14}+\frac {32}{13} (524-9 a) x^{13}-\frac {8}{3} (928-35 a) x^{12}+\frac {64}{9} (128-3 a) (4-a) x^9+\frac {x^{19}}{19}-\frac {8 x^{18}}{9}+\frac {128 x^{17}}{17}-42 x^{16} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 6742
Rubi steps
\begin {align*} \int x^2 \left (a+8 x-8 x^2+4 x^3-x^4\right )^4 \, dx &=\int \left (a^4 x^2+32 a^3 x^3-32 (-12+a) a^2 x^4+16 a \left (128-48 a+a^2\right ) x^5-4 \left (-1024+1536 a-192 a^2+a^3\right ) x^6-32 \left (512-288 a+15 a^2\right ) x^7+64 (128-3 a) (4-a) x^8-48 \left (896-128 a+a^2\right ) x^9+2 \left (20480-1536 a+3 a^2\right ) x^{10}+32 (-928+35 a) x^{11}-32 (-524+9 a) x^{12}+16 (-464+3 a) x^{13}-4 (-640+a) x^{14}-672 x^{15}+128 x^{16}-16 x^{17}+x^{18}\right ) \, dx\\ &=\frac {a^4 x^3}{3}+8 a^3 x^4+\frac {32}{5} (12-a) a^2 x^5+\frac {8}{3} a \left (128-48 a+a^2\right ) x^6+\frac {4}{7} \left (1024-1536 a+192 a^2-a^3\right ) x^7-4 \left (512-288 a+15 a^2\right ) x^8+\frac {64}{9} (128-3 a) (4-a) x^9-\frac {24}{5} \left (896-128 a+a^2\right ) x^{10}+\frac {2}{11} \left (20480-1536 a+3 a^2\right ) x^{11}-\frac {8}{3} (928-35 a) x^{12}+\frac {32}{13} (524-9 a) x^{13}-\frac {8}{7} (464-3 a) x^{14}+\frac {4}{15} (640-a) x^{15}-42 x^{16}+\frac {128 x^{17}}{17}-\frac {8 x^{18}}{9}+\frac {x^{19}}{19}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.04, size = 204, normalized size = 0.97 \[ \frac {a^4 x^3}{3}+8 a^3 x^4+\frac {2}{11} \left (3 a^2-1536 a+20480\right ) x^{11}-\frac {24}{5} \left (a^2-128 a+896\right ) x^{10}+\frac {64}{9} \left (3 a^2-140 a+512\right ) x^9-4 \left (15 a^2-288 a+512\right ) x^8+\frac {8}{3} a \left (a^2-48 a+128\right ) x^6-\frac {32}{5} (a-12) a^2 x^5-\frac {4}{7} \left (a^3-192 a^2+1536 a-1024\right ) x^7-\frac {4}{15} (a-640) x^{15}+\frac {8}{7} (3 a-464) x^{14}-\frac {32}{13} (9 a-524) x^{13}+\frac {8}{3} (35 a-928) x^{12}+\frac {x^{19}}{19}-\frac {8 x^{18}}{9}+\frac {128 x^{17}}{17}-42 x^{16} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.36, size = 222, normalized size = 1.06 \[ \frac {1}{19} x^{19} - \frac {8}{9} x^{18} + \frac {128}{17} x^{17} - 42 x^{16} - \frac {4}{15} x^{15} a + \frac {512}{3} x^{15} + \frac {24}{7} x^{14} a - \frac {3712}{7} x^{14} - \frac {288}{13} x^{13} a + \frac {16768}{13} x^{13} + \frac {280}{3} x^{12} a + \frac {6}{11} x^{11} a^{2} - \frac {7424}{3} x^{12} - \frac {3072}{11} x^{11} a - \frac {24}{5} x^{10} a^{2} + \frac {40960}{11} x^{11} + \frac {3072}{5} x^{10} a + \frac {64}{3} x^{9} a^{2} - \frac {21504}{5} x^{10} - \frac {8960}{9} x^{9} a - 60 x^{8} a^{2} - \frac {4}{7} x^{7} a^{3} + \frac {32768}{9} x^{9} + 1152 x^{8} a + \frac {768}{7} x^{7} a^{2} + \frac {8}{3} x^{6} a^{3} - 2048 x^{8} - \frac {6144}{7} x^{7} a - 128 x^{6} a^{2} - \frac {32}{5} x^{5} a^{3} + \frac {4096}{7} x^{7} + \frac {1024}{3} x^{6} a + \frac {384}{5} x^{5} a^{2} + 8 x^{4} a^{3} + \frac {1}{3} x^{3} a^{4} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.24, size = 222, normalized size = 1.06 \[ \frac {1}{19} \, x^{19} - \frac {8}{9} \, x^{18} + \frac {128}{17} \, x^{17} - \frac {4}{15} \, a x^{15} - 42 \, x^{16} + \frac {24}{7} \, a x^{14} + \frac {512}{3} \, x^{15} - \frac {288}{13} \, a x^{13} - \frac {3712}{7} \, x^{14} + \frac {6}{11} \, a^{2} x^{11} + \frac {280}{3} \, a x^{12} + \frac {16768}{13} \, x^{13} - \frac {24}{5} \, a^{2} x^{10} - \frac {3072}{11} \, a x^{11} - \frac {7424}{3} \, x^{12} + \frac {64}{3} \, a^{2} x^{9} + \frac {3072}{5} \, a x^{10} + \frac {40960}{11} \, x^{11} - \frac {4}{7} \, a^{3} x^{7} - 60 \, a^{2} x^{8} - \frac {8960}{9} \, a x^{9} - \frac {21504}{5} \, x^{10} + \frac {8}{3} \, a^{3} x^{6} + \frac {768}{7} \, a^{2} x^{7} + 1152 \, a x^{8} + \frac {32768}{9} \, x^{9} - \frac {32}{5} \, a^{3} x^{5} - 128 \, a^{2} x^{6} - \frac {6144}{7} \, a x^{7} - 2048 \, x^{8} + \frac {1}{3} \, a^{4} x^{3} + 8 \, a^{3} x^{4} + \frac {384}{5} \, a^{2} x^{5} + \frac {1024}{3} \, a x^{6} + \frac {4096}{7} \, x^{7} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.00, size = 267, normalized size = 1.27 \[ \frac {x^{19}}{19}-\frac {8 x^{18}}{9}+\frac {128 x^{17}}{17}-42 x^{16}+\frac {\left (-4 a +2560\right ) x^{15}}{15}+\frac {\left (48 a -7424\right ) x^{14}}{14}+\frac {\left (-288 a +16768\right ) x^{13}}{13}+\frac {\left (1120 a -29696\right ) x^{12}}{12}+\frac {\left (2 a^{2}-2560 a +24576+\left (-2 a +128\right )^{2}\right ) x^{11}}{11}+\frac {\left (-16 a^{2}+3584 a -10240+2 \left (8 a -128\right ) \left (-2 a +128\right )\right ) x^{10}}{10}+\frac {\left (64 a^{2}-2560 a +2 \left (-16 a +64\right ) \left (-2 a +128\right )+\left (8 a -128\right )^{2}\right ) x^{9}}{9}+\frac {\left (-160 a^{2}+32 \left (-2 a +128\right ) a +2 \left (-16 a +64\right ) \left (8 a -128\right )\right ) x^{8}}{8}+\frac {a^{4} x^{3}}{3}+8 a^{3} x^{4}+\frac {\left (2 \left (-2 a +128\right ) a^{2}+32 \left (8 a -128\right ) a +\left (-16 a +64\right )^{2}\right ) x^{7}}{7}+\frac {\left (2 \left (8 a -128\right ) a^{2}+32 \left (-16 a +64\right ) a \right ) x^{6}}{6}+\frac {\left (2 \left (-16 a +64\right ) a^{2}+256 a^{2}\right ) x^{5}}{5} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.64, size = 182, normalized size = 0.87 \[ \frac {1}{19} \, x^{19} - \frac {8}{9} \, x^{18} + \frac {128}{17} \, x^{17} - \frac {4}{15} \, {\left (a - 640\right )} x^{15} - 42 \, x^{16} + \frac {8}{7} \, {\left (3 \, a - 464\right )} x^{14} - \frac {32}{13} \, {\left (9 \, a - 524\right )} x^{13} + \frac {8}{3} \, {\left (35 \, a - 928\right )} x^{12} + \frac {2}{11} \, {\left (3 \, a^{2} - 1536 \, a + 20480\right )} x^{11} - \frac {24}{5} \, {\left (a^{2} - 128 \, a + 896\right )} x^{10} + \frac {64}{9} \, {\left (3 \, a^{2} - 140 \, a + 512\right )} x^{9} - 4 \, {\left (15 \, a^{2} - 288 \, a + 512\right )} x^{8} - \frac {4}{7} \, {\left (a^{3} - 192 \, a^{2} + 1536 \, a - 1024\right )} x^{7} + \frac {1}{3} \, a^{4} x^{3} + 8 \, a^{3} x^{4} + \frac {8}{3} \, {\left (a^{3} - 48 \, a^{2} + 128 \, a\right )} x^{6} - \frac {32}{5} \, {\left (a^{3} - 12 \, a^{2}\right )} x^{5} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 2.29, size = 178, normalized size = 0.85 \[ x^{14}\,\left (\frac {24\,a}{7}-\frac {3712}{7}\right )-x^{15}\,\left (\frac {4\,a}{15}-\frac {512}{3}\right )+x^{12}\,\left (\frac {280\,a}{3}-\frac {7424}{3}\right )-x^{13}\,\left (\frac {288\,a}{13}-\frac {16768}{13}\right )-x^8\,\left (60\,a^2-1152\,a+2048\right )-x^{10}\,\left (\frac {24\,a^2}{5}-\frac {3072\,a}{5}+\frac {21504}{5}\right )+x^9\,\left (\frac {64\,a^2}{3}-\frac {8960\,a}{9}+\frac {32768}{9}\right )+x^{11}\,\left (\frac {6\,a^2}{11}-\frac {3072\,a}{11}+\frac {40960}{11}\right )-x^7\,\left (\frac {4\,a^3}{7}-\frac {768\,a^2}{7}+\frac {6144\,a}{7}-\frac {4096}{7}\right )-42\,x^{16}+\frac {128\,x^{17}}{17}-\frac {8\,x^{18}}{9}+\frac {x^{19}}{19}+8\,a^3\,x^4+\frac {a^4\,x^3}{3}+\frac {8\,a\,x^6\,\left (a^2-48\,a+128\right )}{3}-\frac {32\,a^2\,x^5\,\left (a-12\right )}{5} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.15, size = 219, normalized size = 1.04 \[ \frac {a^{4} x^{3}}{3} + 8 a^{3} x^{4} + \frac {x^{19}}{19} - \frac {8 x^{18}}{9} + \frac {128 x^{17}}{17} - 42 x^{16} + x^{15} \left (\frac {512}{3} - \frac {4 a}{15}\right ) + x^{14} \left (\frac {24 a}{7} - \frac {3712}{7}\right ) + x^{13} \left (\frac {16768}{13} - \frac {288 a}{13}\right ) + x^{12} \left (\frac {280 a}{3} - \frac {7424}{3}\right ) + x^{11} \left (\frac {6 a^{2}}{11} - \frac {3072 a}{11} + \frac {40960}{11}\right ) + x^{10} \left (- \frac {24 a^{2}}{5} + \frac {3072 a}{5} - \frac {21504}{5}\right ) + x^{9} \left (\frac {64 a^{2}}{3} - \frac {8960 a}{9} + \frac {32768}{9}\right ) + x^{8} \left (- 60 a^{2} + 1152 a - 2048\right ) + x^{7} \left (- \frac {4 a^{3}}{7} + \frac {768 a^{2}}{7} - \frac {6144 a}{7} + \frac {4096}{7}\right ) + x^{6} \left (\frac {8 a^{3}}{3} - 128 a^{2} + \frac {1024 a}{3}\right ) + x^{5} \left (- \frac {32 a^{3}}{5} + \frac {384 a^{2}}{5}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________