Optimal. Leaf size=23 \[ x \left (15 \left (-e^{4+x}+2 x\right )-e^{21} \log (x)\right ) \]
________________________________________________________________________________________
Rubi [A] time = 0.02, antiderivative size = 31, normalized size of antiderivative = 1.35, number of steps used = 4, number of rules used = 3, integrand size = 27, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.111, Rules used = {2176, 2194, 2295} \begin {gather*} 30 x^2+15 e^{x+4}-15 e^{x+4} (x+1)-e^{21} x \log (x) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2176
Rule 2194
Rule 2295
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=-e^{21} x+30 x^2-e^{21} \int \log (x) \, dx+\int e^{4+x} (-15-15 x) \, dx\\ &=30 x^2-15 e^{4+x} (1+x)-e^{21} x \log (x)+15 \int e^{4+x} \, dx\\ &=15 e^{4+x}+30 x^2-15 e^{4+x} (1+x)-e^{21} x \log (x)\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.01, size = 22, normalized size = 0.96 \begin {gather*} -15 e^{4+x} x+30 x^2-e^{21} x \log (x) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.71, size = 20, normalized size = 0.87 \begin {gather*} -x e^{21} \log \relax (x) + 30 \, x^{2} - 15 \, x e^{\left (x + 4\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.15, size = 30, normalized size = 1.30 \begin {gather*} 30 \, x^{2} - {\left (x \log \relax (x) - x\right )} e^{21} - x e^{21} - 15 \, x e^{\left (x + 4\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.03, size = 21, normalized size = 0.91
method | result | size |
norman | \(30 x^{2}-15 x \,{\mathrm e}^{4+x}-\ln \relax (x ) {\mathrm e}^{21} x\) | \(21\) |
risch | \(30 x^{2}-15 x \,{\mathrm e}^{4+x}-\ln \relax (x ) {\mathrm e}^{21} x\) | \(21\) |
default | \(-15 \,{\mathrm e}^{4+x} \left (4+x \right )+60 \,{\mathrm e}^{4+x}+30 x^{2}-\ln \relax (x ) {\mathrm e}^{21} x\) | \(29\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.34, size = 30, normalized size = 1.30 \begin {gather*} 30 \, x^{2} - {\left (x \log \relax (x) - x\right )} e^{21} - x e^{21} - 15 \, x e^{\left (x + 4\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 9.30, size = 18, normalized size = 0.78 \begin {gather*} -x\,\left (15\,{\mathrm {e}}^{x+4}-30\,x+{\mathrm {e}}^{21}\,\ln \relax (x)\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.28, size = 20, normalized size = 0.87 \begin {gather*} 30 x^{2} - 15 x e^{x + 4} - x e^{21} \log {\relax (x )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________