Optimal. Leaf size=22 \[ -2+4 e^{\frac {1}{18} \left (-e^3-e^5\right )} x \]
________________________________________________________________________________________
Rubi [A] time = 0.01, antiderivative size = 17, normalized size of antiderivative = 0.77, number of steps used = 1, number of rules used = 1, integrand size = 19, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.053, Rules used = {8} \begin {gather*} 4 e^{-\frac {1}{18} e^3 \left (1+e^2\right )} x \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 8
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=4 e^{-\frac {1}{18} e^3 \left (1+e^2\right )} x\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.00, size = 20, normalized size = 0.91 \begin {gather*} 4 e^{\frac {1}{18} \left (-e^3-e^5\right )} x \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.52, size = 13, normalized size = 0.59 \begin {gather*} 4 \, x e^{\left (-\frac {1}{18} \, e^{5} - \frac {1}{18} \, e^{3}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.26, size = 13, normalized size = 0.59 \begin {gather*} 4 \, x e^{\left (-\frac {1}{18} \, e^{5} - \frac {1}{18} \, e^{3}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.04, size = 14, normalized size = 0.64
method | result | size |
norman | \(4 \,{\mathrm e}^{-\frac {{\mathrm e}^{5}}{18}} {\mathrm e}^{-\frac {{\mathrm e}^{3}}{18}} x\) | \(14\) |
risch | \(4 x \,{\mathrm e}^{-\frac {{\mathrm e}^{5}}{18}-\frac {{\mathrm e}^{3}}{18}}\) | \(14\) |
default | \(4 x \,{\mathrm e}^{-\frac {{\mathrm e}^{5}}{18}-\frac {{\mathrm e}^{3}}{18}}\) | \(16\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.60, size = 13, normalized size = 0.59 \begin {gather*} 4 \, x e^{\left (-\frac {1}{18} \, e^{5} - \frac {1}{18} \, e^{3}\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.00, size = 13, normalized size = 0.59 \begin {gather*} 4\,x\,{\mathrm {e}}^{-\frac {{\mathrm {e}}^3}{18}-\frac {{\mathrm {e}}^5}{18}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.05, size = 14, normalized size = 0.64 \begin {gather*} \frac {4 x}{e^{\frac {e^{3}}{18} + \frac {e^{5}}{18}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________