Optimal. Leaf size=24 \[ \frac {2 e^{5+\frac {x}{\frac {4+x}{\log (x)}+\log (x)}}}{x^4} \]
________________________________________________________________________________________
Rubi [F] time = 2.65, 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^{\frac {20+5 x+x \log (x)+5 \log ^2(x)}{4+x+\log ^2(x)}} \left (-128-56 x-6 x^2+8 x \log (x)+(-64-18 x) \log ^2(x)+2 x \log ^3(x)-8 \log ^4(x)\right )}{16 x^5+8 x^6+x^7+\left (8 x^5+2 x^6\right ) \log ^2(x)+x^5 \log ^4(x)} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {2 e^5 x^{-5+\frac {x}{4+x+\log ^2(x)}} \left (-64-28 x-3 x^2+4 x \log (x)-(32+9 x) \log ^2(x)+x \log ^3(x)-4 \log ^4(x)\right )}{\left (4+x+\log ^2(x)\right )^2} \, dx\\ &=\left (2 e^5\right ) \int \frac {x^{-5+\frac {x}{4+x+\log ^2(x)}} \left (-64-28 x-3 x^2+4 x \log (x)-(32+9 x) \log ^2(x)+x \log ^3(x)-4 \log ^4(x)\right )}{\left (4+x+\log ^2(x)\right )^2} \, dx\\ &=\left (2 e^5\right ) \int \left (-4 x^{-5+\frac {x}{4+x+\log ^2(x)}}-\frac {x^{-4+\frac {x}{4+x+\log ^2(x)}} (-8-2 x+x \log (x))}{\left (4+x+\log ^2(x)\right )^2}+\frac {x^{-4+\frac {x}{4+x+\log ^2(x)}} (-1+\log (x))}{4+x+\log ^2(x)}\right ) \, dx\\ &=-\left (\left (2 e^5\right ) \int \frac {x^{-4+\frac {x}{4+x+\log ^2(x)}} (-8-2 x+x \log (x))}{\left (4+x+\log ^2(x)\right )^2} \, dx\right )+\left (2 e^5\right ) \int \frac {x^{-4+\frac {x}{4+x+\log ^2(x)}} (-1+\log (x))}{4+x+\log ^2(x)} \, dx-\left (8 e^5\right ) \int x^{-5+\frac {x}{4+x+\log ^2(x)}} \, dx\\ &=-\left (\left (2 e^5\right ) \int \left (-\frac {8 x^{-4+\frac {x}{4+x+\log ^2(x)}}}{\left (4+x+\log ^2(x)\right )^2}-\frac {2 x^{-3+\frac {x}{4+x+\log ^2(x)}}}{\left (4+x+\log ^2(x)\right )^2}+\frac {x^{-3+\frac {x}{4+x+\log ^2(x)}} \log (x)}{\left (4+x+\log ^2(x)\right )^2}\right ) \, dx\right )+\left (2 e^5\right ) \int \left (\frac {x^{-4+\frac {x}{4+x+\log ^2(x)}}}{-4-x-\log ^2(x)}+\frac {x^{-4+\frac {x}{4+x+\log ^2(x)}} \log (x)}{4+x+\log ^2(x)}\right ) \, dx-\left (8 e^5\right ) \int x^{-5+\frac {x}{4+x+\log ^2(x)}} \, dx\\ &=\left (2 e^5\right ) \int \frac {x^{-4+\frac {x}{4+x+\log ^2(x)}}}{-4-x-\log ^2(x)} \, dx-\left (2 e^5\right ) \int \frac {x^{-3+\frac {x}{4+x+\log ^2(x)}} \log (x)}{\left (4+x+\log ^2(x)\right )^2} \, dx+\left (2 e^5\right ) \int \frac {x^{-4+\frac {x}{4+x+\log ^2(x)}} \log (x)}{4+x+\log ^2(x)} \, dx+\left (4 e^5\right ) \int \frac {x^{-3+\frac {x}{4+x+\log ^2(x)}}}{\left (4+x+\log ^2(x)\right )^2} \, dx-\left (8 e^5\right ) \int x^{-5+\frac {x}{4+x+\log ^2(x)}} \, dx+\left (16 e^5\right ) \int \frac {x^{-4+\frac {x}{4+x+\log ^2(x)}}}{\left (4+x+\log ^2(x)\right )^2} \, dx\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A] time = 0.46, size = 20, normalized size = 0.83 \begin {gather*} 2 e^5 x^{-4+\frac {x}{4+x+\log ^2(x)}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.86, size = 31, normalized size = 1.29 \begin {gather*} \frac {2 \, e^{\left (\frac {x \log \relax (x) + 5 \, \log \relax (x)^{2} + 5 \, x + 20}{\log \relax (x)^{2} + x + 4}\right )}}{x^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 0.61, size = 20, normalized size = 0.83 \begin {gather*} \frac {2 \, x^{\frac {x}{\log \relax (x)^{2} + x + 4}} e^{5}}{x^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.03, size = 21, normalized size = 0.88
method | result | size |
risch | \(\frac {2 x^{\frac {x}{\ln \relax (x )^{2}+4+x}} {\mathrm e}^{5}}{x^{4}}\) | \(21\) |
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*} 2 \, \int \frac {{\left (x \log \relax (x)^{3} - 4 \, \log \relax (x)^{4} - {\left (9 \, x + 32\right )} \log \relax (x)^{2} - 3 \, x^{2} + 4 \, x \log \relax (x) - 28 \, x - 64\right )} e^{\left (\frac {x \log \relax (x) + 5 \, \log \relax (x)^{2} + 5 \, x + 20}{\log \relax (x)^{2} + x + 4}\right )}}{x^{5} \log \relax (x)^{4} + x^{7} + 8 \, x^{6} + 16 \, x^{5} + 2 \, {\left (x^{6} + 4 \, x^{5}\right )} \log \relax (x)^{2}}\,{d x} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 4.81, size = 59, normalized size = 2.46 \begin {gather*} \frac {2\,x^{\frac {x}{{\ln \relax (x)}^2+x+4}}\,{\mathrm {e}}^{\frac {20}{{\ln \relax (x)}^2+x+4}}\,{\mathrm {e}}^{\frac {5\,{\ln \relax (x)}^2}{{\ln \relax (x)}^2+x+4}}\,{\mathrm {e}}^{\frac {5\,x}{{\ln \relax (x)}^2+x+4}}}{x^4} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 0.51, size = 31, normalized size = 1.29 \begin {gather*} \frac {2 e^{\frac {x \log {\relax (x )} + 5 x + 5 \log {\relax (x )}^{2} + 20}{x + \log {\relax (x )}^{2} + 4}}}{x^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________