Integrand size = 71, antiderivative size = 25 \[ \int \frac {2 x^4+e^{\frac {2 x \log ^2(x)-2 \log ^2(x) \log (2 x)}{x^2}} \left (4 e x \log (x)+e (-2-2 x) \log ^2(x)+\left (-4 e \log (x)+4 e \log ^2(x)\right ) \log (2 x)\right )}{x^3} \, dx=e^{1+\frac {2 \log ^2(x) (x-\log (2 x))}{x^2}}+x^2 \]
[Out]
Leaf count is larger than twice the leaf count of optimal. \(72\) vs. \(2(25)=50\).
Time = 0.91 (sec) , antiderivative size = 72, normalized size of antiderivative = 2.88, number of steps used = 3, number of rules used = 2, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.028, Rules used = {14, 2326} \[ \int \frac {2 x^4+e^{\frac {2 x \log ^2(x)-2 \log ^2(x) \log (2 x)}{x^2}} \left (4 e x \log (x)+e (-2-2 x) \log ^2(x)+\left (-4 e \log (x)+4 e \log ^2(x)\right ) \log (2 x)\right )}{x^3} \, dx=x^2+\frac {2^{-\frac {2 \log ^2(x)}{x^2}} e^{\frac {2 \log ^2(x)}{x}+1} \log (x) (2 x-x \log (x)) x^{-\frac {2 \log ^2(x)}{x^2}-3}}{\frac {2 \log (x)}{x^2}-\frac {\log ^2(x)}{x^2}} \]
[In]
[Out]
Rule 14
Rule 2326
Rubi steps \begin{align*} \text {integral}& = \int \left (2 x-2^{1-\frac {2 \log ^2(x)}{x^2}} e^{1+\frac {2 \log ^2(x)}{x}} x^{-3-\frac {2 \log ^2(x)}{x^2}} \log (x) (-2 x+\log (x)+x \log (x)+2 \log (2 x)-2 \log (x) \log (2 x))\right ) \, dx \\ & = x^2-\int 2^{1-\frac {2 \log ^2(x)}{x^2}} e^{1+\frac {2 \log ^2(x)}{x}} x^{-3-\frac {2 \log ^2(x)}{x^2}} \log (x) (-2 x+\log (x)+x \log (x)+2 \log (2 x)-2 \log (x) \log (2 x)) \, dx \\ & = x^2+\frac {2^{-\frac {2 \log ^2(x)}{x^2}} e^{1+\frac {2 \log ^2(x)}{x}} x^{-3-\frac {2 \log ^2(x)}{x^2}} \log (x) (2 x-x \log (x))}{\frac {2 \log (x)}{x^2}-\frac {\log ^2(x)}{x^2}} \\ \end{align*}
Time = 2.14 (sec) , antiderivative size = 25, normalized size of antiderivative = 1.00 \[ \int \frac {2 x^4+e^{\frac {2 x \log ^2(x)-2 \log ^2(x) \log (2 x)}{x^2}} \left (4 e x \log (x)+e (-2-2 x) \log ^2(x)+\left (-4 e \log (x)+4 e \log ^2(x)\right ) \log (2 x)\right )}{x^3} \, dx=e^{1+\frac {2 \log ^2(x) (x-\log (2 x))}{x^2}}+x^2 \]
[In]
[Out]
Time = 4.12 (sec) , antiderivative size = 26, normalized size of antiderivative = 1.04
method | result | size |
parallelrisch | \({\mathrm e} \,{\mathrm e}^{-\frac {2 \ln \left (x \right )^{2} \left (\ln \left (2 x \right )-x \right )}{x^{2}}}+x^{2}\) | \(26\) |
risch | \(\left (\frac {1}{4}\right )^{\frac {\ln \left (x \right )^{2}}{x^{2}}} {\mathrm e}^{-\frac {2 \ln \left (x \right )^{3}-2 x \ln \left (x \right )^{2}-x^{2}}{x^{2}}}+x^{2}\) | \(41\) |
[In]
[Out]
none
Time = 0.24 (sec) , antiderivative size = 30, normalized size of antiderivative = 1.20 \[ \int \frac {2 x^4+e^{\frac {2 x \log ^2(x)-2 \log ^2(x) \log (2 x)}{x^2}} \left (4 e x \log (x)+e (-2-2 x) \log ^2(x)+\left (-4 e \log (x)+4 e \log ^2(x)\right ) \log (2 x)\right )}{x^3} \, dx=x^{2} + e^{\left (\frac {2 \, {\left ({\left (x - \log \left (2\right )\right )} \log \left (x\right )^{2} - \log \left (x\right )^{3}\right )}}{x^{2}} + 1\right )} \]
[In]
[Out]
Time = 0.32 (sec) , antiderivative size = 32, normalized size of antiderivative = 1.28 \[ \int \frac {2 x^4+e^{\frac {2 x \log ^2(x)-2 \log ^2(x) \log (2 x)}{x^2}} \left (4 e x \log (x)+e (-2-2 x) \log ^2(x)+\left (-4 e \log (x)+4 e \log ^2(x)\right ) \log (2 x)\right )}{x^3} \, dx=x^{2} + e e^{\frac {2 x \log {\left (x \right )}^{2} - 2 \left (\log {\left (x \right )} + \log {\left (2 \right )}\right ) \log {\left (x \right )}^{2}}{x^{2}}} \]
[In]
[Out]
none
Time = 0.42 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.44 \[ \int \frac {2 x^4+e^{\frac {2 x \log ^2(x)-2 \log ^2(x) \log (2 x)}{x^2}} \left (4 e x \log (x)+e (-2-2 x) \log ^2(x)+\left (-4 e \log (x)+4 e \log ^2(x)\right ) \log (2 x)\right )}{x^3} \, dx=x^{2} + e^{\left (\frac {2 \, \log \left (x\right )^{2}}{x} - \frac {2 \, \log \left (2\right ) \log \left (x\right )^{2}}{x^{2}} - \frac {2 \, \log \left (x\right )^{3}}{x^{2}} + 1\right )} \]
[In]
[Out]
none
Time = 0.38 (sec) , antiderivative size = 34, normalized size of antiderivative = 1.36 \[ \int \frac {2 x^4+e^{\frac {2 x \log ^2(x)-2 \log ^2(x) \log (2 x)}{x^2}} \left (4 e x \log (x)+e (-2-2 x) \log ^2(x)+\left (-4 e \log (x)+4 e \log ^2(x)\right ) \log (2 x)\right )}{x^3} \, dx=x^{2} + e^{\left (\frac {2 \, x \log \left (x\right )^{2} - 2 \, \log \left (2\right ) \log \left (x\right )^{2} - 2 \, \log \left (x\right )^{3} + x^{2}}{x^{2}}\right )} \]
[In]
[Out]
Time = 12.85 (sec) , antiderivative size = 40, normalized size of antiderivative = 1.60 \[ \int \frac {2 x^4+e^{\frac {2 x \log ^2(x)-2 \log ^2(x) \log (2 x)}{x^2}} \left (4 e x \log (x)+e (-2-2 x) \log ^2(x)+\left (-4 e \log (x)+4 e \log ^2(x)\right ) \log (2 x)\right )}{x^3} \, dx=x^2+\frac {\mathrm {e}\,{\mathrm {e}}^{\frac {2\,{\ln \left (x\right )}^2}{x}}\,{\mathrm {e}}^{-\frac {2\,{\ln \left (x\right )}^3}{x^2}}}{2^{\frac {2\,{\ln \left (x\right )}^2}{x^2}}} \]
[In]
[Out]