Optimal. Leaf size=34 \[ x^2 \left (-x+\frac {x \left (\frac {x^2}{\log (x)}+\log \left (x^2+\log \left (x^2\right )\right )\right )}{\log (x)}\right )^2 \]
[Out]
________________________________________________________________________________________
Rubi [F]
time = 5.51, 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 {-4 x^9+8 x^9 \log (x)+\left (4 x^5+8 x^7\right ) \log ^2(x)-12 x^7 \log ^3(x)+\left (-4 x^3-4 x^5\right ) \log ^4(x)+4 x^5 \log ^5(x)+\left (-4 x^7+8 x^7 \log (x)+4 x^5 \log ^2(x)-12 x^5 \log ^3(x)+4 x^3 \log ^5(x)\right ) \log \left (x^2\right )+\left (-6 x^7 \log (x)+12 x^7 \log ^2(x)+\left (4 x^3+6 x^5\right ) \log ^3(x)-8 x^5 \log ^4(x)+\left (-6 x^5 \log (x)+12 x^5 \log ^2(x)+2 x^3 \log ^3(x)-8 x^3 \log ^4(x)\right ) \log \left (x^2\right )\right ) \log \left (x^2+\log \left (x^2\right )\right )+\left (-2 x^5 \log ^2(x)+4 x^5 \log ^3(x)+\left (-2 x^3 \log ^2(x)+4 x^3 \log ^3(x)\right ) \log \left (x^2\right )\right ) \log ^2\left (x^2+\log \left (x^2\right )\right )}{x^2 \log ^5(x)+\log ^5(x) \log \left (x^2\right )} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
Rubi steps
\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {2 x^3 \left (x^2-\log ^2(x)+\log (x) \log \left (x^2+\log \left (x^2\right )\right )\right ) \left (-2 x^2 \left (x^2+\log \left (x^2\right )\right )-2 \log ^3(x) \left (x^2+\log \left (x^2\right )\right )+\log (x) \left (x^2+\log \left (x^2\right )\right ) \left (4 x^2-\log \left (x^2+\log \left (x^2\right )\right )\right )+2 \log ^2(x) \left (1+x^2+\left (x^2+\log \left (x^2\right )\right ) \log \left (x^2+\log \left (x^2\right )\right )\right )\right )}{\log ^5(x) \left (x^2+\log \left (x^2\right )\right )} \, dx\\ &=2 \int \frac {x^3 \left (x^2-\log ^2(x)+\log (x) \log \left (x^2+\log \left (x^2\right )\right )\right ) \left (-2 x^2 \left (x^2+\log \left (x^2\right )\right )-2 \log ^3(x) \left (x^2+\log \left (x^2\right )\right )+\log (x) \left (x^2+\log \left (x^2\right )\right ) \left (4 x^2-\log \left (x^2+\log \left (x^2\right )\right )\right )+2 \log ^2(x) \left (1+x^2+\left (x^2+\log \left (x^2\right )\right ) \log \left (x^2+\log \left (x^2\right )\right )\right )\right )}{\log ^5(x) \left (x^2+\log \left (x^2\right )\right )} \, dx\\ &=2 \int \left (\frac {2 x^3 \left (x^2-\log ^2(x)\right ) \left (-x^4+2 x^4 \log (x)+\log ^2(x)+x^2 \log ^2(x)-x^2 \log ^3(x)-x^2 \log \left (x^2\right )+2 x^2 \log (x) \log \left (x^2\right )-\log ^3(x) \log \left (x^2\right )\right )}{\log ^5(x) \left (x^2+\log \left (x^2\right )\right )}+\frac {x^3 \left (-3 x^4+6 x^4 \log (x)+2 \log ^2(x)+3 x^2 \log ^2(x)-4 x^2 \log ^3(x)-3 x^2 \log \left (x^2\right )+6 x^2 \log (x) \log \left (x^2\right )+\log ^2(x) \log \left (x^2\right )-4 \log ^3(x) \log \left (x^2\right )\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )}+\frac {x^3 (-1+2 \log (x)) \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^3(x)}\right ) \, dx\\ &=2 \int \frac {x^3 \left (-3 x^4+6 x^4 \log (x)+2 \log ^2(x)+3 x^2 \log ^2(x)-4 x^2 \log ^3(x)-3 x^2 \log \left (x^2\right )+6 x^2 \log (x) \log \left (x^2\right )+\log ^2(x) \log \left (x^2\right )-4 \log ^3(x) \log \left (x^2\right )\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+2 \int \frac {x^3 (-1+2 \log (x)) \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^3(x)} \, dx+4 \int \frac {x^3 \left (x^2-\log ^2(x)\right ) \left (-x^4+2 x^4 \log (x)+\log ^2(x)+x^2 \log ^2(x)-x^2 \log ^3(x)-x^2 \log \left (x^2\right )+2 x^2 \log (x) \log \left (x^2\right )-\log ^3(x) \log \left (x^2\right )\right )}{\log ^5(x) \left (x^2+\log \left (x^2\right )\right )} \, dx\\ &=2 \int \left (-\frac {3 x^7 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )}+\frac {6 x^7 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )}+\frac {2 x^3 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )}+\frac {3 x^5 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )}-\frac {4 x^5 \log \left (x^2+\log \left (x^2\right )\right )}{\log (x) \left (x^2+\log \left (x^2\right )\right )}-\frac {3 x^5 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )}+\frac {6 x^5 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )}+\frac {x^3 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )}-\frac {4 x^3 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log (x) \left (x^2+\log \left (x^2\right )\right )}\right ) \, dx+2 \int \left (-\frac {x^3 \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^3(x)}+\frac {2 x^3 \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^2(x)}\right ) \, dx+4 \int \left (\frac {x^3 (x-\log (x)) (x+\log (x)) \left (-x^2+2 x^2 \log (x)-\log ^3(x)\right )}{\log ^5(x)}+\frac {x^3 \left (1+x^2\right ) (x-\log (x)) (x+\log (x))}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )}\right ) \, dx\\ &=2 \int \frac {x^3 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-2 \int \frac {x^3 \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^3(x)} \, dx+4 \int \frac {x^3 (x-\log (x)) (x+\log (x)) \left (-x^2+2 x^2 \log (x)-\log ^3(x)\right )}{\log ^5(x)} \, dx+4 \int \frac {x^3 \left (1+x^2\right ) (x-\log (x)) (x+\log (x))}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^3 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^3 \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^2(x)} \, dx-6 \int \frac {x^7 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+6 \int \frac {x^5 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-6 \int \frac {x^5 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-8 \int \frac {x^5 \log \left (x^2+\log \left (x^2\right )\right )}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx-8 \int \frac {x^3 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx+12 \int \frac {x^7 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+12 \int \frac {x^5 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx\\ &=2 \int \frac {x^3 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-2 \int \frac {x^3 \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^3(x)} \, dx+4 \int \left (x^3-\frac {x^7}{\log ^5(x)}+\frac {2 x^7}{\log ^4(x)}+\frac {x^5}{\log ^3(x)}-\frac {3 x^5}{\log ^2(x)}\right ) \, dx+4 \int \left (\frac {x^3 (x-\log (x)) (x+\log (x))}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )}+\frac {x^5 (x-\log (x)) (x+\log (x))}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )}\right ) \, dx+4 \int \frac {x^3 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^3 \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^2(x)} \, dx-6 \int \frac {x^7 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+6 \int \frac {x^5 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-6 \int \frac {x^5 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-8 \int \frac {x^5 \log \left (x^2+\log \left (x^2\right )\right )}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx-8 \int \frac {x^3 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx+12 \int \frac {x^7 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+12 \int \frac {x^5 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx\\ &=x^4+2 \int \frac {x^3 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-2 \int \frac {x^3 \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^3(x)} \, dx-4 \int \frac {x^7}{\log ^5(x)} \, dx+4 \int \frac {x^5}{\log ^3(x)} \, dx+4 \int \frac {x^3 (x-\log (x)) (x+\log (x))}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^5 (x-\log (x)) (x+\log (x))}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^3 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^3 \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^2(x)} \, dx-6 \int \frac {x^7 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+6 \int \frac {x^5 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-6 \int \frac {x^5 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+8 \int \frac {x^7}{\log ^4(x)} \, dx-8 \int \frac {x^5 \log \left (x^2+\log \left (x^2\right )\right )}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx-8 \int \frac {x^3 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx-12 \int \frac {x^5}{\log ^2(x)} \, dx+12 \int \frac {x^7 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+12 \int \frac {x^5 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx\\ &=x^4+\frac {x^8}{\log ^4(x)}-\frac {8 x^8}{3 \log ^3(x)}-\frac {2 x^6}{\log ^2(x)}+\frac {12 x^6}{\log (x)}+2 \int \frac {x^3 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-2 \int \frac {x^3 \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^3(x)} \, dx+4 \int \left (\frac {x^5}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )}-\frac {x^3}{\log (x) \left (x^2+\log \left (x^2\right )\right )}\right ) \, dx+4 \int \left (\frac {x^7}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )}-\frac {x^5}{\log (x) \left (x^2+\log \left (x^2\right )\right )}\right ) \, dx+4 \int \frac {x^3 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^3 \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^2(x)} \, dx-6 \int \frac {x^7 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+6 \int \frac {x^5 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-6 \int \frac {x^5 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-8 \int \frac {x^7}{\log ^4(x)} \, dx-8 \int \frac {x^5 \log \left (x^2+\log \left (x^2\right )\right )}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx-8 \int \frac {x^3 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx+12 \int \frac {x^5}{\log ^2(x)} \, dx+12 \int \frac {x^7 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+12 \int \frac {x^5 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+\frac {64}{3} \int \frac {x^7}{\log ^3(x)} \, dx-72 \int \frac {x^5}{\log (x)} \, dx\\ &=x^4+\frac {x^8}{\log ^4(x)}-\frac {2 x^6}{\log ^2(x)}-\frac {32 x^8}{3 \log ^2(x)}+2 \int \frac {x^3 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-2 \int \frac {x^3 \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^3(x)} \, dx+4 \int \frac {x^5}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^7}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-4 \int \frac {x^3}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx-4 \int \frac {x^5}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^3 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^3 \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^2(x)} \, dx-6 \int \frac {x^7 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+6 \int \frac {x^5 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-6 \int \frac {x^5 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-8 \int \frac {x^5 \log \left (x^2+\log \left (x^2\right )\right )}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx-8 \int \frac {x^3 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx+12 \int \frac {x^7 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+12 \int \frac {x^5 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-\frac {64}{3} \int \frac {x^7}{\log ^3(x)} \, dx+72 \int \frac {x^5}{\log (x)} \, dx-72 \text {Subst}\left (\int \frac {e^{6 x}}{x} \, dx,x,\log (x)\right )+\frac {256}{3} \int \frac {x^7}{\log ^2(x)} \, dx\\ &=x^4-72 \text {Ei}(6 \log (x))+\frac {x^8}{\log ^4(x)}-\frac {2 x^6}{\log ^2(x)}-\frac {256 x^8}{3 \log (x)}+2 \int \frac {x^3 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-2 \int \frac {x^3 \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^3(x)} \, dx+4 \int \frac {x^5}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^7}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-4 \int \frac {x^3}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx-4 \int \frac {x^5}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^3 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^3 \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^2(x)} \, dx-6 \int \frac {x^7 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+6 \int \frac {x^5 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-6 \int \frac {x^5 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-8 \int \frac {x^5 \log \left (x^2+\log \left (x^2\right )\right )}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx-8 \int \frac {x^3 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx+12 \int \frac {x^7 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+12 \int \frac {x^5 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+72 \text {Subst}\left (\int \frac {e^{6 x}}{x} \, dx,x,\log (x)\right )-\frac {256}{3} \int \frac {x^7}{\log ^2(x)} \, dx+\frac {2048}{3} \int \frac {x^7}{\log (x)} \, dx\\ &=x^4+\frac {x^8}{\log ^4(x)}-\frac {2 x^6}{\log ^2(x)}+2 \int \frac {x^3 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-2 \int \frac {x^3 \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^3(x)} \, dx+4 \int \frac {x^5}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^7}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-4 \int \frac {x^3}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx-4 \int \frac {x^5}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^3 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^3 \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^2(x)} \, dx-6 \int \frac {x^7 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+6 \int \frac {x^5 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-6 \int \frac {x^5 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-8 \int \frac {x^5 \log \left (x^2+\log \left (x^2\right )\right )}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx-8 \int \frac {x^3 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx+12 \int \frac {x^7 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+12 \int \frac {x^5 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-\frac {2048}{3} \int \frac {x^7}{\log (x)} \, dx+\frac {2048}{3} \text {Subst}\left (\int \frac {e^{8 x}}{x} \, dx,x,\log (x)\right )\\ &=x^4+\frac {2048}{3} \text {Ei}(8 \log (x))+\frac {x^8}{\log ^4(x)}-\frac {2 x^6}{\log ^2(x)}+2 \int \frac {x^3 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-2 \int \frac {x^3 \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^3(x)} \, dx+4 \int \frac {x^5}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^7}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-4 \int \frac {x^3}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx-4 \int \frac {x^5}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^3 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^3 \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^2(x)} \, dx-6 \int \frac {x^7 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+6 \int \frac {x^5 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-6 \int \frac {x^5 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-8 \int \frac {x^5 \log \left (x^2+\log \left (x^2\right )\right )}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx-8 \int \frac {x^3 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx+12 \int \frac {x^7 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+12 \int \frac {x^5 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-\frac {2048}{3} \text {Subst}\left (\int \frac {e^{8 x}}{x} \, dx,x,\log (x)\right )\\ &=x^4+\frac {x^8}{\log ^4(x)}-\frac {2 x^6}{\log ^2(x)}+2 \int \frac {x^3 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-2 \int \frac {x^3 \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^3(x)} \, dx+4 \int \frac {x^5}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^7}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-4 \int \frac {x^3}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx-4 \int \frac {x^5}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^3 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+4 \int \frac {x^3 \log ^2\left (x^2+\log \left (x^2\right )\right )}{\log ^2(x)} \, dx-6 \int \frac {x^7 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+6 \int \frac {x^5 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^2(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-6 \int \frac {x^5 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^4(x) \left (x^2+\log \left (x^2\right )\right )} \, dx-8 \int \frac {x^5 \log \left (x^2+\log \left (x^2\right )\right )}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx-8 \int \frac {x^3 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log (x) \left (x^2+\log \left (x^2\right )\right )} \, dx+12 \int \frac {x^7 \log \left (x^2+\log \left (x^2\right )\right )}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx+12 \int \frac {x^5 \log \left (x^2\right ) \log \left (x^2+\log \left (x^2\right )\right )}{\log ^3(x) \left (x^2+\log \left (x^2\right )\right )} \, dx\\ \end {aligned} \end {gather*}
________________________________________________________________________________________
Mathematica [A]
time = 0.09, size = 32, normalized size = 0.94 \begin {gather*} \frac {x^4 \left (x^2-\log ^2(x)+\log (x) \log \left (x^2+\log \left (x^2\right )\right )\right )^2}{\log ^4(x)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 17.81, size = 130, normalized size = 3.82
method | result | size |
risch | \(\frac {x^{4} \ln \left (2 \ln \left (x \right )-\frac {i \pi \,\mathrm {csgn}\left (i x^{2}\right ) \left (-\mathrm {csgn}\left (i x^{2}\right )+\mathrm {csgn}\left (i x \right )\right )^{2}}{2}+x^{2}\right )^{2}}{\ln \left (x \right )^{2}}+\frac {2 x^{4} \left (x^{2}-\ln \left (x \right )^{2}\right ) \ln \left (2 \ln \left (x \right )-\frac {i \pi \,\mathrm {csgn}\left (i x^{2}\right ) \left (-\mathrm {csgn}\left (i x^{2}\right )+\mathrm {csgn}\left (i x \right )\right )^{2}}{2}+x^{2}\right )}{\ln \left (x \right )^{3}}+\frac {x^{4} \left (x^{4}-2 x^{2} \ln \left (x \right )^{2}+\ln \left (x \right )^{4}\right )}{\ln \left (x \right )^{4}}\) | \(130\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 72 vs.
\(2 (33) = 66\).
time = 0.34, size = 72, normalized size = 2.12 \begin {gather*} \frac {x^{8} - 2 \, x^{6} \log \left (x\right )^{2} + x^{4} \log \left (x^{2} + 2 \, \log \left (x\right )\right )^{2} \log \left (x\right )^{2} + x^{4} \log \left (x\right )^{4} + 2 \, {\left (x^{6} \log \left (x\right ) - x^{4} \log \left (x\right )^{3}\right )} \log \left (x^{2} + 2 \, \log \left (x\right )\right )}{\log \left (x\right )^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 72 vs.
\(2 (33) = 66\).
time = 0.35, size = 72, normalized size = 2.12 \begin {gather*} \frac {x^{8} - 2 \, x^{6} \log \left (x\right )^{2} + x^{4} \log \left (x^{2} + 2 \, \log \left (x\right )\right )^{2} \log \left (x\right )^{2} + x^{4} \log \left (x\right )^{4} + 2 \, {\left (x^{6} \log \left (x\right ) - x^{4} \log \left (x\right )^{3}\right )} \log \left (x^{2} + 2 \, \log \left (x\right )\right )}{\log \left (x\right )^{4}} \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. 71 vs.
\(2 (27) = 54\).
time = 0.32, size = 71, normalized size = 2.09 \begin {gather*} x^{4} + \frac {x^{4} \log {\left (x^{2} + 2 \log {\left (x \right )} \right )}^{2}}{\log {\left (x \right )}^{2}} + \frac {\left (2 x^{6} - 2 x^{4} \log {\left (x \right )}^{2}\right ) \log {\left (x^{2} + 2 \log {\left (x \right )} \right )}}{\log {\left (x \right )}^{3}} + \frac {x^{8} - 2 x^{6} \log {\left (x \right )}^{2}}{\log {\left (x \right )}^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 4.53, size = 76, normalized size = 2.24 \begin {gather*} \frac {x^8}{{\ln \left (x\right )}^4}-\frac {2\,x^6}{{\ln \left (x\right )}^2}+x^4-\frac {2\,x^4\,\ln \left (\ln \left (x^2\right )+x^2\right )}{\ln \left (x\right )}+\frac {2\,x^6\,\ln \left (\ln \left (x^2\right )+x^2\right )}{{\ln \left (x\right )}^3}+\frac {x^4\,{\ln \left (\ln \left (x^2\right )+x^2\right )}^2}{{\ln \left (x\right )}^2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________