Optimal. Leaf size=17 \[ 1+x+x^2+\frac {x^{12} \log ^4(9)}{390625} \]
________________________________________________________________________________________
Rubi [A] time = 0.01, antiderivative size = 16, normalized size of antiderivative = 0.94, number of steps used = 2, number of rules used = 1, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.056, Rules used = {12} \begin {gather*} \frac {x^{12} \log ^4(9)}{390625}+x^2+x \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\frac {\int \left (390625+781250 x+12 x^{11} \log ^4(9)\right ) \, dx}{390625}\\ &=x+x^2+\frac {x^{12} \log ^4(9)}{390625}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.00, size = 16, normalized size = 0.94 \begin {gather*} x+x^2+\frac {x^{12} \log ^4(9)}{390625} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.57, size = 14, normalized size = 0.82 \begin {gather*} \frac {16}{390625} \, x^{12} \log \relax (3)^{4} + x^{2} + x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.15, size = 14, normalized size = 0.82 \begin {gather*} \frac {16}{390625} \, x^{12} \log \relax (3)^{4} + x^{2} + x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.03, size = 15, normalized size = 0.88
method | result | size |
default | \(\frac {16 x^{12} \ln \relax (3)^{4}}{390625}+x^{2}+x\) | \(15\) |
norman | \(\frac {16 x^{12} \ln \relax (3)^{4}}{390625}+x^{2}+x\) | \(15\) |
risch | \(\frac {16 x^{12} \ln \relax (3)^{4}}{390625}+x^{2}+x\) | \(15\) |
gosper | \(\frac {x \left (16 x^{11} \ln \relax (3)^{4}+390625 x +390625\right )}{390625}\) | \(18\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.36, size = 14, normalized size = 0.82 \begin {gather*} \frac {16}{390625} \, x^{12} \log \relax (3)^{4} + x^{2} + x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.03, size = 14, normalized size = 0.82 \begin {gather*} \frac {16\,{\ln \relax (3)}^4\,x^{12}}{390625}+x^2+x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.05, size = 15, normalized size = 0.88 \begin {gather*} \frac {16 x^{12} \log {\relax (3 )}^{4}}{390625} + x^{2} + x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________