Optimal. Leaf size=24 \[ 5+\log \left (\frac {\frac {4 e^x}{x^3}+2 x+x^{\frac {1}{x}}}{x}\right ) \]
________________________________________________________________________________________
Rubi [F] time = 1.91, 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 {e^x (-16+4 x)+x^{\frac {1}{x}} \left (x^2-x^3-x^2 \log (x)\right )}{4 e^x x+2 x^5+x^{4+\frac {1}{x}}} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {4 e^x (-4+x)-x^{2+\frac {1}{x}} (-1+x+\log (x))}{4 e^x x+2 x^5+x^{4+\frac {1}{x}}} \, dx\\ &=\int \left (\frac {1-x-\log (x)}{x^2}+\frac {2 \left (-2 e^x-6 e^x x+2 e^x x^2-x^4+x^5+2 e^x \log (x)+x^4 \log (x)\right )}{x^2 \left (4 e^x+2 x^4+x^{3+\frac {1}{x}}\right )}\right ) \, dx\\ &=2 \int \frac {-2 e^x-6 e^x x+2 e^x x^2-x^4+x^5+2 e^x \log (x)+x^4 \log (x)}{x^2 \left (4 e^x+2 x^4+x^{3+\frac {1}{x}}\right )} \, dx+\int \frac {1-x-\log (x)}{x^2} \, dx\\ &=2 \int \left (\frac {2 e^x}{4 e^x+2 x^4+x^{3+\frac {1}{x}}}-\frac {2 e^x}{x^2 \left (4 e^x+2 x^4+x^{3+\frac {1}{x}}\right )}-\frac {6 e^x}{x \left (4 e^x+2 x^4+x^{3+\frac {1}{x}}\right )}-\frac {x^2}{4 e^x+2 x^4+x^{3+\frac {1}{x}}}+\frac {x^3}{4 e^x+2 x^4+x^{3+\frac {1}{x}}}+\frac {2 e^x \log (x)}{x^2 \left (4 e^x+2 x^4+x^{3+\frac {1}{x}}\right )}+\frac {x^2 \log (x)}{4 e^x+2 x^4+x^{3+\frac {1}{x}}}\right ) \, dx+\int \left (\frac {1-x}{x^2}-\frac {\log (x)}{x^2}\right ) \, dx\\ &=-\left (2 \int \frac {x^2}{4 e^x+2 x^4+x^{3+\frac {1}{x}}} \, dx\right )+2 \int \frac {x^3}{4 e^x+2 x^4+x^{3+\frac {1}{x}}} \, dx+2 \int \frac {x^2 \log (x)}{4 e^x+2 x^4+x^{3+\frac {1}{x}}} \, dx+4 \int \frac {e^x}{4 e^x+2 x^4+x^{3+\frac {1}{x}}} \, dx-4 \int \frac {e^x}{x^2 \left (4 e^x+2 x^4+x^{3+\frac {1}{x}}\right )} \, dx+4 \int \frac {e^x \log (x)}{x^2 \left (4 e^x+2 x^4+x^{3+\frac {1}{x}}\right )} \, dx-12 \int \frac {e^x}{x \left (4 e^x+2 x^4+x^{3+\frac {1}{x}}\right )} \, dx+\int \frac {1-x}{x^2} \, dx-\int \frac {\log (x)}{x^2} \, dx\\ &=\frac {1}{x}+\frac {\log (x)}{x}-2 \int \frac {x^2}{4 e^x+2 x^4+x^{3+\frac {1}{x}}} \, dx+2 \int \frac {x^3}{4 e^x+2 x^4+x^{3+\frac {1}{x}}} \, dx-2 \int \frac {\int \frac {x^2}{4 e^x+2 x^4+x^{3+\frac {1}{x}}} \, dx}{x} \, dx+4 \int \frac {e^x}{4 e^x+2 x^4+x^{3+\frac {1}{x}}} \, dx-4 \int \frac {e^x}{x^2 \left (4 e^x+2 x^4+x^{3+\frac {1}{x}}\right )} \, dx-4 \int \frac {\int \frac {e^x}{4 e^x x^2+2 x^6+x^{5+\frac {1}{x}}} \, dx}{x} \, dx-12 \int \frac {e^x}{x \left (4 e^x+2 x^4+x^{3+\frac {1}{x}}\right )} \, dx+(2 \log (x)) \int \frac {x^2}{4 e^x+2 x^4+x^{3+\frac {1}{x}}} \, dx+(4 \log (x)) \int \frac {e^x}{x^2 \left (4 e^x+2 x^4+x^{3+\frac {1}{x}}\right )} \, dx+\int \left (\frac {1}{x^2}-\frac {1}{x}\right ) \, dx\\ &=-\log (x)+\frac {\log (x)}{x}-2 \int \frac {x^2}{4 e^x+2 x^4+x^{3+\frac {1}{x}}} \, dx+2 \int \frac {x^3}{4 e^x+2 x^4+x^{3+\frac {1}{x}}} \, dx-2 \int \frac {\int \frac {x^2}{4 e^x+2 x^4+x^{3+\frac {1}{x}}} \, dx}{x} \, dx+4 \int \frac {e^x}{4 e^x+2 x^4+x^{3+\frac {1}{x}}} \, dx-4 \int \frac {e^x}{x^2 \left (4 e^x+2 x^4+x^{3+\frac {1}{x}}\right )} \, dx-4 \int \frac {\int \frac {e^x}{4 e^x x^2+2 x^6+x^{5+\frac {1}{x}}} \, dx}{x} \, dx-12 \int \frac {e^x}{x \left (4 e^x+2 x^4+x^{3+\frac {1}{x}}\right )} \, dx+(2 \log (x)) \int \frac {x^2}{4 e^x+2 x^4+x^{3+\frac {1}{x}}} \, dx+(4 \log (x)) \int \frac {e^x}{x^2 \left (4 e^x+2 x^4+x^{3+\frac {1}{x}}\right )} \, dx\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.42, size = 24, normalized size = 1.00 \begin {gather*} -4 \log (x)+\log \left (4 e^x+2 x^4+x^{3+\frac {1}{x}}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.77, size = 29, normalized size = 1.21 \begin {gather*} -\log \relax (x) + \log \left (\frac {x^{3} x^{\left (\frac {1}{x}\right )} + 2 \, x^{4} + 4 \, e^{x}}{x^{3}}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.29, size = 47, normalized size = 1.96 \begin {gather*} \frac {x \log \left (x^{3} x^{\left (\frac {1}{x}\right )} + 2 \, x^{4} + 4 \, e^{x}\right ) - 3 \, x \log \relax (x) - \log \relax (x)}{x} + \frac {\log \relax (x)}{x} - \log \relax (x) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.03, size = 26, normalized size = 1.08
method | result | size |
risch | \(-\ln \relax (x )+\ln \left (x^{\frac {1}{x}}+\frac {2 x^{4}+4 \,{\mathrm e}^{x}}{x^{3}}\right )\) | \(26\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.40, size = 29, normalized size = 1.21 \begin {gather*} -\log \relax (x) + \log \left (\frac {x^{3} x^{\left (\frac {1}{x}\right )} + 2 \, x^{4} + 4 \, e^{x}}{x^{3}}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 4.51, size = 29, normalized size = 1.21 \begin {gather*} \ln \left (\frac {4\,{\mathrm {e}}^x+2\,x^4+x^{1/x}\,x^3}{x^3}\right )-\ln \relax (x) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.52, size = 24, normalized size = 1.00 \begin {gather*} - \log {\relax (x )} + \log {\left (e^{\frac {\log {\relax (x )}}{x}} + \frac {2 x^{4} + 4 e^{x}}{x^{3}} \right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________