Optimal. Leaf size=24 \[ 25 x^2 \left (5 (3-2 x)+2 x \left (x^4-\log (2)\right )\right ) \]
________________________________________________________________________________________
Rubi [A] time = 0.01, antiderivative size = 20, normalized size of antiderivative = 0.83, number of steps used = 2, number of rules used = 1, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.048, Rules used = {6} \begin {gather*} 50 x^7-50 x^3 (5+\log (2))+375 x^2 \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 6
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \left (750 x+350 x^6+x^2 (-750-150 \log (2))\right ) \, dx\\ &=375 x^2+50 x^7-50 x^3 (5+\log (2))\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.00, size = 23, normalized size = 0.96 \begin {gather*} 375 x^2-250 x^3+50 x^7-50 x^3 \log (2) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.64, size = 23, normalized size = 0.96 \begin {gather*} 50 \, x^{7} - 50 \, x^{3} \log \relax (2) - 250 \, x^{3} + 375 \, x^{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.34, size = 23, normalized size = 0.96 \begin {gather*} 50 \, x^{7} - 50 \, x^{3} \log \relax (2) - 250 \, x^{3} + 375 \, x^{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.03, size = 21, normalized size = 0.88
method | result | size |
gosper | \(-25 x^{2} \left (-2 x^{5}+2 x \ln \relax (2)+10 x -15\right )\) | \(21\) |
norman | \(\left (-50 \ln \relax (2)-250\right ) x^{3}+375 x^{2}+50 x^{7}\) | \(22\) |
default | \(-50 x^{3} \ln \relax (2)+50 x^{7}-250 x^{3}+375 x^{2}\) | \(24\) |
risch | \(-50 x^{3} \ln \relax (2)+50 x^{7}-250 x^{3}+375 x^{2}\) | \(24\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.47, size = 23, normalized size = 0.96 \begin {gather*} 50 \, x^{7} - 50 \, x^{3} \log \relax (2) - 250 \, x^{3} + 375 \, x^{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.04, size = 22, normalized size = 0.92 \begin {gather*} 50\,x^7+\left (-50\,\ln \relax (2)-250\right )\,x^3+375\,x^2 \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.06, size = 20, normalized size = 0.83 \begin {gather*} 50 x^{7} + x^{3} \left (-250 - 50 \log {\relax (2 )}\right ) + 375 x^{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________