Optimal. Leaf size=42 \[ -\frac {1}{15} \left (1-x^2-2 x^3-x^4\right )^{3/2} \left (2+3 x^2+6 x^3+3 x^4\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.16, antiderivative size = 59, normalized size of antiderivative = 1.40, number of steps
used = 6, number of rules used = 6, integrand size = 28, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.214, Rules used = {1607, 1694, 12,
1261, 706, 643} \begin {gather*} -\frac {1}{5} x^2 \left (-x^4-2 x^3-x^2+1\right )^{3/2} (x+1)^2-\frac {2}{15} \left (-x^4-2 x^3-x^2+1\right )^{3/2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 643
Rule 706
Rule 1261
Rule 1607
Rule 1694
Rubi steps
\begin {align*} \int (1+2 x) \left (x+x^2\right )^3 \sqrt {1-\left (x+x^2\right )^2} \, dx &=\int x^3 (1+x)^3 (1+2 x) \sqrt {1-\left (x+x^2\right )^2} \, dx\\ &=\text {Subst}\left (\int \frac {1}{128} x \left (-1+4 x^2\right )^3 \sqrt {15+8 x^2-16 x^4} \, dx,x,\frac {1}{2}+x\right )\\ &=\frac {1}{128} \text {Subst}\left (\int x \left (-1+4 x^2\right )^3 \sqrt {15+8 x^2-16 x^4} \, dx,x,\frac {1}{2}+x\right )\\ &=\frac {1}{256} \text {Subst}\left (\int (-1+4 x)^3 \sqrt {15+8 x-16 x^2} \, dx,x,\left (\frac {1}{2}+x\right )^2\right )\\ &=-\frac {1}{5} x^2 (1+x)^2 \left (1-x^2-2 x^3-x^4\right )^{3/2}+\frac {1}{40} \text {Subst}\left (\int (-1+4 x) \sqrt {15+8 x-16 x^2} \, dx,x,\left (\frac {1}{2}+x\right )^2\right )\\ &=-\frac {2}{15} \left (1-x^2-2 x^3-x^4\right )^{3/2}-\frac {1}{5} x^2 (1+x)^2 \left (1-x^2-2 x^3-x^4\right )^{3/2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.03, size = 30, normalized size = 0.71 \begin {gather*} \frac {1}{15} \left (-2-3 \left (x+x^2\right )^2\right ) \left (1-\left (x+x^2\right )^2\right )^{3/2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(190\) vs.
\(2(38)=76\).
time = 0.52, size = 191, normalized size = 4.55
method | result | size |
gosper | \(\frac {\left (x^{2}+x +1\right ) \left (x^{2}+x -1\right ) \left (3 x^{4}+6 x^{3}+3 x^{2}+2\right ) \sqrt {-x^{4}-2 x^{3}-x^{2}+1}}{15}\) | \(51\) |
trager | \(\left (\frac {1}{5} x^{8}+\frac {4}{5} x^{7}+\frac {6}{5} x^{6}+\frac {4}{5} x^{5}+\frac {2}{15} x^{4}-\frac {2}{15} x^{3}-\frac {1}{15} x^{2}-\frac {2}{15}\right ) \sqrt {-x^{4}-2 x^{3}-x^{2}+1}\) | \(58\) |
risch | \(-\frac {\left (3 x^{8}+12 x^{7}+18 x^{6}+12 x^{5}+2 x^{4}-2 x^{3}-x^{2}-2\right ) \left (x^{4}+2 x^{3}+x^{2}-1\right )}{15 \sqrt {-x^{4}-2 x^{3}-x^{2}+1}}\) | \(72\) |
default | \(-\frac {x^{2} \sqrt {-x^{4}-2 x^{3}-x^{2}+1}}{15}-\frac {2 \sqrt {-x^{4}-2 x^{3}-x^{2}+1}}{15}+\frac {x^{8} \sqrt {-x^{4}-2 x^{3}-x^{2}+1}}{5}+\frac {4 x^{7} \sqrt {-x^{4}-2 x^{3}-x^{2}+1}}{5}+\frac {6 x^{6} \sqrt {-x^{4}-2 x^{3}-x^{2}+1}}{5}+\frac {4 x^{5} \sqrt {-x^{4}-2 x^{3}-x^{2}+1}}{5}+\frac {2 x^{4} \sqrt {-x^{4}-2 x^{3}-x^{2}+1}}{15}-\frac {2 x^{3} \sqrt {-x^{4}-2 x^{3}-x^{2}+1}}{15}\) | \(191\) |
elliptic | \(-\frac {x^{2} \sqrt {-x^{4}-2 x^{3}-x^{2}+1}}{15}-\frac {2 \sqrt {-x^{4}-2 x^{3}-x^{2}+1}}{15}+\frac {x^{8} \sqrt {-x^{4}-2 x^{3}-x^{2}+1}}{5}+\frac {4 x^{7} \sqrt {-x^{4}-2 x^{3}-x^{2}+1}}{5}+\frac {6 x^{6} \sqrt {-x^{4}-2 x^{3}-x^{2}+1}}{5}+\frac {4 x^{5} \sqrt {-x^{4}-2 x^{3}-x^{2}+1}}{5}+\frac {2 x^{4} \sqrt {-x^{4}-2 x^{3}-x^{2}+1}}{15}-\frac {2 x^{3} \sqrt {-x^{4}-2 x^{3}-x^{2}+1}}{15}\) | \(191\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.31, size = 59, normalized size = 1.40 \begin {gather*} \frac {1}{15} \, {\left (3 \, x^{8} + 12 \, x^{7} + 18 \, x^{6} + 12 \, x^{5} + 2 \, x^{4} - 2 \, x^{3} - x^{2} - 2\right )} \sqrt {x^{2} + x + 1} \sqrt {-x^{2} - x + 1} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.34, size = 58, normalized size = 1.38 \begin {gather*} \frac {1}{15} \, {\left (3 \, x^{8} + 12 \, x^{7} + 18 \, x^{6} + 12 \, x^{5} + 2 \, x^{4} - 2 \, x^{3} - x^{2} - 2\right )} \sqrt {-x^{4} - 2 \, x^{3} - x^{2} + 1} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 182 vs.
\(2 (36) = 72\).
time = 1.00, size = 182, normalized size = 4.33 \begin {gather*} \frac {x^{8} \sqrt {- x^{4} - 2 x^{3} - x^{2} + 1}}{5} + \frac {4 x^{7} \sqrt {- x^{4} - 2 x^{3} - x^{2} + 1}}{5} + \frac {6 x^{6} \sqrt {- x^{4} - 2 x^{3} - x^{2} + 1}}{5} + \frac {4 x^{5} \sqrt {- x^{4} - 2 x^{3} - x^{2} + 1}}{5} + \frac {2 x^{4} \sqrt {- x^{4} - 2 x^{3} - x^{2} + 1}}{15} - \frac {2 x^{3} \sqrt {- x^{4} - 2 x^{3} - x^{2} + 1}}{15} - \frac {x^{2} \sqrt {- x^{4} - 2 x^{3} - x^{2} + 1}}{15} - \frac {2 \sqrt {- x^{4} - 2 x^{3} - x^{2} + 1}}{15} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 2.62, size = 58, normalized size = 1.38 \begin {gather*} \frac {1}{5} \, {\left (x^{4} + 2 \, x^{3} + x^{2} - 1\right )}^{2} \sqrt {-x^{4} - 2 \, x^{3} - x^{2} + 1} - \frac {1}{3} \, {\left (-x^{4} - 2 \, x^{3} - x^{2} + 1\right )}^{\frac {3}{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 3.42, size = 51, normalized size = 1.21 \begin {gather*} \sqrt {1-{\left (x^2+x\right )}^2}\,\left (\frac {x^8}{5}+\frac {4\,x^7}{5}+\frac {6\,x^6}{5}+\frac {4\,x^5}{5}+\frac {2\,x^4}{15}-\frac {2\,x^3}{15}-\frac {x^2}{15}-\frac {2}{15}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________