Optimal. Leaf size=15 \[ x-9 x^3+\frac {256 x^8}{e^{32}} \]
________________________________________________________________________________________
Rubi [A] time = 0.01, antiderivative size = 15, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 1, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.048, Rules used = {12} \begin {gather*} \frac {256 x^8}{e^{32}}-9 x^3+x \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\frac {\int \left (2048 x^7+e^{32} \left (1-27 x^2\right )\right ) \, dx}{e^{32}}\\ &=\frac {256 x^8}{e^{32}}+\int \left (1-27 x^2\right ) \, dx\\ &=x-9 x^3+\frac {256 x^8}{e^{32}}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.00, size = 15, normalized size = 1.00 \begin {gather*} x-9 x^3+\frac {256 x^8}{e^{32}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.71, size = 22, normalized size = 1.47 \begin {gather*} {\left (256 \, x^{8} - {\left (9 \, x^{3} - x\right )} e^{32}\right )} e^{\left (-32\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.16, size = 22, normalized size = 1.47 \begin {gather*} {\left (256 \, x^{8} - {\left (9 \, x^{3} - x\right )} e^{32}\right )} e^{\left (-32\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.03, size = 15, normalized size = 1.00
method | result | size |
risch | \(256 x^{8} {\mathrm e}^{-32}+x -9 x^{3}\) | \(15\) |
default | \({\mathrm e}^{-32} \left ({\mathrm e}^{32} \left (-9 x^{3}+x \right )+256 x^{8}\right )\) | \(24\) |
gosper | \(-x \left (9 \,{\mathrm e}^{32} x^{2}-{\mathrm e}^{32}-256 x^{7}\right ) {\mathrm e}^{-32}\) | \(29\) |
norman | \(\left ({\mathrm e}^{28} x +256 \,{\mathrm e}^{-4} x^{8}-9 \,{\mathrm e}^{28} x^{3}\right ) {\mathrm e}^{-28}\) | \(31\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.35, size = 22, normalized size = 1.47 \begin {gather*} {\left (256 \, x^{8} - {\left (9 \, x^{3} - x\right )} e^{32}\right )} e^{\left (-32\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.04, size = 14, normalized size = 0.93 \begin {gather*} 256\,{\mathrm {e}}^{-32}\,x^8-9\,x^3+x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.06, size = 14, normalized size = 0.93 \begin {gather*} \frac {256 x^{8}}{e^{32}} - 9 x^{3} + x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________