Optimal. Leaf size=23 \[ 5+e^{-25+e^{x^3}-5 x^2 \left (-5+x^2\right )} x \]
________________________________________________________________________________________
Rubi [B] time = 0.17, antiderivative size = 62, normalized size of antiderivative = 2.70, number of steps used = 1, number of rules used = 1, integrand size = 42, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.024, Rules used = {2288} \begin {gather*} \frac {e^{-5 x^4+e^{x^3}+25 x^2-25} \left (-20 x^4+3 e^{x^3} x^3+50 x^2\right )}{-20 x^3+3 e^{x^3} x^2+50 x} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2288
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\frac {e^{-25+e^{x^3}+25 x^2-5 x^4} \left (50 x^2+3 e^{x^3} x^3-20 x^4\right )}{50 x+3 e^{x^3} x^2-20 x^3}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.15, size = 22, normalized size = 0.96 \begin {gather*} e^{e^{x^3}-5 \left (5-5 x^2+x^4\right )} x \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.93, size = 19, normalized size = 0.83 \begin {gather*} e^{\left (-5 \, x^{4} + 25 \, x^{2} + e^{\left (x^{3}\right )} + \log \relax (x) - 25\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.22, size = 19, normalized size = 0.83 \begin {gather*} e^{\left (-5 \, x^{4} + 25 \, x^{2} + e^{\left (x^{3}\right )} + \log \relax (x) - 25\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.07, size = 20, normalized size = 0.87
method | result | size |
risch | \(x \,{\mathrm e}^{-25+{\mathrm e}^{x^{3}}-5 x^{4}+25 x^{2}}\) | \(20\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.72, size = 19, normalized size = 0.83 \begin {gather*} x e^{\left (-5 \, x^{4} + 25 \, x^{2} + e^{\left (x^{3}\right )} - 25\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 1.87, size = 21, normalized size = 0.91 \begin {gather*} x\,{\mathrm {e}}^{-25}\,{\mathrm {e}}^{-5\,x^4}\,{\mathrm {e}}^{25\,x^2}\,{\mathrm {e}}^{{\mathrm {e}}^{x^3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.72, size = 19, normalized size = 0.83 \begin {gather*} x e^{- 5 x^{4} + 25 x^{2} + e^{x^{3}} - 25} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________