Optimal. Leaf size=24 \[ -5+\frac {9 \left (e^x+3 \left (3+e^{\log ^2(x)}\right )+x\right )^2}{x^2} \]
[Out]
________________________________________________________________________________________
Rubi [B] Leaf count is larger than twice the leaf count of optimal. \(80\) vs. \(2(24)=48\).
time = 0.76, antiderivative size = 80, normalized size of antiderivative = 3.33, number of steps
used = 16, number of rules used = 7, integrand size = 83, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.084, Rules used = {14, 2228, 37,
2230, 2208, 2209, 2326} \begin {gather*} \frac {9 (x+9)^2}{x^2}+\frac {162 e^x}{x^2}+\frac {9 e^{2 x}}{x^2}+\frac {54 e^{\log ^2(x)} \left (e^x \log (x)+x \log (x)+9 \log (x)\right )}{x^2 \log (x)}+\frac {81 e^{2 \log ^2(x)}}{x^2}+\frac {18 e^x}{x} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 14
Rule 37
Rule 2208
Rule 2209
Rule 2228
Rule 2230
Rule 2326
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \left (\frac {18 \left (-81-18 e^x-e^{2 x}-9 x+8 e^x x+e^{2 x} x+e^x x^2\right )}{x^3}+\frac {162 e^{2 \log ^2(x)} (-1+2 \log (x))}{x^3}+\frac {54 e^{\log ^2(x)} \left (-18-2 e^x-x+e^x x+18 \log (x)+2 e^x \log (x)+2 x \log (x)\right )}{x^3}\right ) \, dx\\ &=18 \int \frac {-81-18 e^x-e^{2 x}-9 x+8 e^x x+e^{2 x} x+e^x x^2}{x^3} \, dx+54 \int \frac {e^{\log ^2(x)} \left (-18-2 e^x-x+e^x x+18 \log (x)+2 e^x \log (x)+2 x \log (x)\right )}{x^3} \, dx+162 \int \frac {e^{2 \log ^2(x)} (-1+2 \log (x))}{x^3} \, dx\\ &=\frac {81 e^{2 \log ^2(x)}}{x^2}+\frac {54 e^{\log ^2(x)} \left (9 \log (x)+e^x \log (x)+x \log (x)\right )}{x^2 \log (x)}+18 \int \left (\frac {e^{2 x} (-1+x)}{x^3}-\frac {9 (9+x)}{x^3}+\frac {e^x \left (-18+8 x+x^2\right )}{x^3}\right ) \, dx\\ &=\frac {81 e^{2 \log ^2(x)}}{x^2}+\frac {54 e^{\log ^2(x)} \left (9 \log (x)+e^x \log (x)+x \log (x)\right )}{x^2 \log (x)}+18 \int \frac {e^{2 x} (-1+x)}{x^3} \, dx+18 \int \frac {e^x \left (-18+8 x+x^2\right )}{x^3} \, dx-162 \int \frac {9+x}{x^3} \, dx\\ &=\frac {9 e^{2 x}}{x^2}+\frac {81 e^{2 \log ^2(x)}}{x^2}+\frac {9 (9+x)^2}{x^2}+\frac {54 e^{\log ^2(x)} \left (9 \log (x)+e^x \log (x)+x \log (x)\right )}{x^2 \log (x)}+18 \int \left (-\frac {18 e^x}{x^3}+\frac {8 e^x}{x^2}+\frac {e^x}{x}\right ) \, dx\\ &=\frac {9 e^{2 x}}{x^2}+\frac {81 e^{2 \log ^2(x)}}{x^2}+\frac {9 (9+x)^2}{x^2}+\frac {54 e^{\log ^2(x)} \left (9 \log (x)+e^x \log (x)+x \log (x)\right )}{x^2 \log (x)}+18 \int \frac {e^x}{x} \, dx+144 \int \frac {e^x}{x^2} \, dx-324 \int \frac {e^x}{x^3} \, dx\\ &=\frac {162 e^x}{x^2}+\frac {9 e^{2 x}}{x^2}+\frac {81 e^{2 \log ^2(x)}}{x^2}-\frac {144 e^x}{x}+\frac {9 (9+x)^2}{x^2}+18 \text {Ei}(x)+\frac {54 e^{\log ^2(x)} \left (9 \log (x)+e^x \log (x)+x \log (x)\right )}{x^2 \log (x)}+144 \int \frac {e^x}{x} \, dx-162 \int \frac {e^x}{x^2} \, dx\\ &=\frac {162 e^x}{x^2}+\frac {9 e^{2 x}}{x^2}+\frac {81 e^{2 \log ^2(x)}}{x^2}+\frac {18 e^x}{x}+\frac {9 (9+x)^2}{x^2}+162 \text {Ei}(x)+\frac {54 e^{\log ^2(x)} \left (9 \log (x)+e^x \log (x)+x \log (x)\right )}{x^2 \log (x)}-162 \int \frac {e^x}{x} \, dx\\ &=\frac {162 e^x}{x^2}+\frac {9 e^{2 x}}{x^2}+\frac {81 e^{2 \log ^2(x)}}{x^2}+\frac {18 e^x}{x}+\frac {9 (9+x)^2}{x^2}+\frac {54 e^{\log ^2(x)} \left (9 \log (x)+e^x \log (x)+x \log (x)\right )}{x^2 \log (x)}\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.15, size = 34, normalized size = 1.42 \begin {gather*} \frac {9 \left (9+e^x+3 e^{\log ^2(x)}\right ) \left (9+e^x+3 e^{\log ^2(x)}+2 x\right )}{x^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.14, size = 52, normalized size = 2.17
method | result | size |
risch | \(\frac {18 \,{\mathrm e}^{x} x +9 \,{\mathrm e}^{2 x}+162 x +162 \,{\mathrm e}^{x}+729}{x^{2}}+\frac {81 \,{\mathrm e}^{2 \ln \left (x \right )^{2}}}{x^{2}}+\frac {54 \left (x +{\mathrm e}^{x}+9\right ) {\mathrm e}^{\ln \left (x \right )^{2}}}{x^{2}}\) | \(52\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.36, size = 42, normalized size = 1.75 \begin {gather*} \frac {9 \, {\left (6 \, {\left (x + e^{x} + 9\right )} e^{\left (\log \left (x\right )^{2}\right )} + 2 \, {\left (x + 9\right )} e^{x} + 18 \, x + 9 \, e^{\left (2 \, \log \left (x\right )^{2}\right )} + e^{\left (2 \, x\right )} + 81\right )}}{x^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 82 vs.
\(2 (24) = 48\).
time = 0.30, size = 82, normalized size = 3.42 \begin {gather*} - \frac {- 162 x - 729}{x^{2}} + \frac {9 x^{2} e^{2 x} + \left (18 x^{3} + 54 x^{2} e^{\log {\left (x \right )}^{2}} + 162 x^{2}\right ) e^{x}}{x^{4}} + \frac {81 x^{2} e^{2 \log {\left (x \right )}^{2}} + \left (54 x^{3} + 486 x^{2}\right ) e^{\log {\left (x \right )}^{2}}}{x^{4}} \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. 56 vs.
\(2 (21) = 42\).
time = 0.43, size = 56, normalized size = 2.33 \begin {gather*} \frac {9 \, {\left (6 \, x e^{\left (\log \left (x\right )^{2}\right )} + 2 \, x e^{x} + 18 \, x + 9 \, e^{\left (2 \, \log \left (x\right )^{2}\right )} + 6 \, e^{\left (\log \left (x\right )^{2} + x\right )} + 54 \, e^{\left (\log \left (x\right )^{2}\right )} + e^{\left (2 \, x\right )} + 18 \, e^{x} + 81\right )}}{x^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 6.78, size = 30, normalized size = 1.25 \begin {gather*} \frac {9\,\left (3\,{\mathrm {e}}^{{\ln \left (x\right )}^2}+{\mathrm {e}}^x+9\right )\,\left (2\,x+3\,{\mathrm {e}}^{{\ln \left (x\right )}^2}+{\mathrm {e}}^x+9\right )}{x^2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________