Optimal. Leaf size=17 \[ \frac {(1-x) x^{x+x^2}}{\log (5)} \]
[Out]
________________________________________________________________________________________
Rubi [F]
time = 0.19, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps
used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {}
\begin {gather*} \int \frac {x^{x+x^2} \left (-x^2+\left (1+x-2 x^2\right ) \log (x)\right )}{\log (5)} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\frac {\int x^{x+x^2} \left (-x^2+\left (1+x-2 x^2\right ) \log (x)\right ) \, dx}{\log (5)}\\ &=\frac {\int x^{x (1+x)} \left (-x^2+\left (1+x-2 x^2\right ) \log (x)\right ) \, dx}{\log (5)}\\ &=\frac {\int \left (-x^{2+x (1+x)}-x^{x (1+x)} \left (-1-x+2 x^2\right ) \log (x)\right ) \, dx}{\log (5)}\\ &=-\frac {\int x^{2+x (1+x)} \, dx}{\log (5)}-\frac {\int x^{x (1+x)} \left (-1-x+2 x^2\right ) \log (x) \, dx}{\log (5)}\\ &=-\frac {\int x^{2+x+x^2} \, dx}{\log (5)}+\frac {\int \frac {-\int x^{x (1+x)} \, dx-\int x^{1+x+x^2} \, dx+2 \int x^{2+x+x^2} \, dx}{x} \, dx}{\log (5)}+\frac {\log (x) \int x^{x (1+x)} \, dx}{\log (5)}+\frac {\log (x) \int x^{1+x+x^2} \, dx}{\log (5)}-\frac {(2 \log (x)) \int x^{2+x+x^2} \, dx}{\log (5)}\\ &=-\frac {\int x^{2+x+x^2} \, dx}{\log (5)}+\frac {\int \left (\frac {-\int x^{x (1+x)} \, dx-\int x^{1+x+x^2} \, dx}{x}+\frac {2 \int x^{2+x+x^2} \, dx}{x}\right ) \, dx}{\log (5)}+\frac {\log (x) \int x^{x (1+x)} \, dx}{\log (5)}+\frac {\log (x) \int x^{1+x+x^2} \, dx}{\log (5)}-\frac {(2 \log (x)) \int x^{2+x+x^2} \, dx}{\log (5)}\\ &=-\frac {\int x^{2+x+x^2} \, dx}{\log (5)}+\frac {\int \frac {-\int x^{x (1+x)} \, dx-\int x^{1+x+x^2} \, dx}{x} \, dx}{\log (5)}+\frac {2 \int \frac {\int x^{2+x+x^2} \, dx}{x} \, dx}{\log (5)}+\frac {\log (x) \int x^{x (1+x)} \, dx}{\log (5)}+\frac {\log (x) \int x^{1+x+x^2} \, dx}{\log (5)}-\frac {(2 \log (x)) \int x^{2+x+x^2} \, dx}{\log (5)}\\ &=-\frac {\int x^{2+x+x^2} \, dx}{\log (5)}+\frac {\int \left (-\frac {\int x^{x (1+x)} \, dx}{x}-\frac {\int x^{1+x+x^2} \, dx}{x}\right ) \, dx}{\log (5)}+\frac {2 \int \frac {\int x^{2+x+x^2} \, dx}{x} \, dx}{\log (5)}+\frac {\log (x) \int x^{x (1+x)} \, dx}{\log (5)}+\frac {\log (x) \int x^{1+x+x^2} \, dx}{\log (5)}-\frac {(2 \log (x)) \int x^{2+x+x^2} \, dx}{\log (5)}\\ &=-\frac {\int x^{2+x+x^2} \, dx}{\log (5)}-\frac {\int \frac {\int x^{x (1+x)} \, dx}{x} \, dx}{\log (5)}-\frac {\int \frac {\int x^{1+x+x^2} \, dx}{x} \, dx}{\log (5)}+\frac {2 \int \frac {\int x^{2+x+x^2} \, dx}{x} \, dx}{\log (5)}+\frac {\log (x) \int x^{x (1+x)} \, dx}{\log (5)}+\frac {\log (x) \int x^{1+x+x^2} \, dx}{\log (5)}-\frac {(2 \log (x)) \int x^{2+x+x^2} \, dx}{\log (5)}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.02, size = 16, normalized size = 0.94 \begin {gather*} -\frac {(-1+x) x^{x (1+x)}}{\log (5)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.26, size = 18, normalized size = 1.06
method | result | size |
risch | \(\frac {\left (1-x \right ) x^{\left (x +1\right ) x}}{\ln \left (5\right )}\) | \(18\) |
norman | \(\frac {{\mathrm e}^{\left (x^{2}+x \right ) \ln \left (x \right )}}{\ln \left (5\right )}-\frac {x \,{\mathrm e}^{\left (x^{2}+x \right ) \ln \left (x \right )}}{\ln \left (5\right )}\) | \(32\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.51, size = 21, normalized size = 1.24 \begin {gather*} -\frac {{\left (x - 1\right )} e^{\left (x^{2} \log \left (x\right ) + x \log \left (x\right )\right )}}{\log \left (5\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.39, size = 16, normalized size = 0.94 \begin {gather*} -\frac {{\left (x - 1\right )} x^{x^{2} + x}}{\log \left (5\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.12, size = 15, normalized size = 0.88 \begin {gather*} \frac {\left (1 - x\right ) e^{\left (x^{2} + x\right ) \log {\left (x \right )}}}{\log {\left (5 \right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 35 vs.
\(2 (16) = 32\).
time = 0.52, size = 35, normalized size = 2.06 \begin {gather*} -\frac {x e^{\left (x^{2} \log \left (x\right ) + x \log \left (x\right )\right )} - e^{\left (x^{2} \log \left (x\right ) + x \log \left (x\right )\right )}}{\log \left (5\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 4.16, size = 16, normalized size = 0.94 \begin {gather*} -\frac {x^{x^2+x}\,\left (x-1\right )}{\ln \left (5\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________