3.68.36 \(\int \frac {-4 x^9+8 x^9 \log (x)+(4 x^5+8 x^7) \log ^2(x)-12 x^7 \log ^3(x)+(-4 x^3-4 x^5) \log ^4(x)+4 x^5 \log ^5(x)+(-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)) \log (x^2)+(-6 x^7 \log (x)+12 x^7 \log ^2(x)+(4 x^3+6 x^5) \log ^3(x)-8 x^5 \log ^4(x)+(-6 x^5 \log (x)+12 x^5 \log ^2(x)+2 x^3 \log ^3(x)-8 x^3 \log ^4(x)) \log (x^2)) \log (x^2+\log (x^2))+(-2 x^5 \log ^2(x)+4 x^5 \log ^3(x)+(-2 x^3 \log ^2(x)+4 x^3 \log ^3(x)) \log (x^2)) \log ^2(x^2+\log (x^2))}{x^2 \log ^5(x)+\log ^5(x) \log (x^2)} \, dx\)

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 \]

________________________________________________________________________________________

Rubi [F]  time = 8.34, 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]

Int[(-4*x^9 + 8*x^9*Log[x] + (4*x^5 + 8*x^7)*Log[x]^2 - 12*x^7*Log[x]^3 + (-4*x^3 - 4*x^5)*Log[x]^4 + 4*x^5*Lo
g[x]^5 + (-4*x^7 + 8*x^7*Log[x] + 4*x^5*Log[x]^2 - 12*x^5*Log[x]^3 + 4*x^3*Log[x]^5)*Log[x^2] + (-6*x^7*Log[x]
 + 12*x^7*Log[x]^2 + (4*x^3 + 6*x^5)*Log[x]^3 - 8*x^5*Log[x]^4 + (-6*x^5*Log[x] + 12*x^5*Log[x]^2 + 2*x^3*Log[
x]^3 - 8*x^3*Log[x]^4)*Log[x^2])*Log[x^2 + Log[x^2]] + (-2*x^5*Log[x]^2 + 4*x^5*Log[x]^3 + (-2*x^3*Log[x]^2 +
4*x^3*Log[x]^3)*Log[x^2])*Log[x^2 + Log[x^2]]^2)/(x^2*Log[x]^5 + Log[x]^5*Log[x^2]),x]

[Out]

x^4 + x^8/Log[x]^4 - (2*x^6)/Log[x]^2 + 4*Defer[Int][x^5/(Log[x]^3*(x^2 + Log[x^2])), x] + 4*Defer[Int][x^7/(L
og[x]^3*(x^2 + Log[x^2])), x] - 4*Defer[Int][x^3/(Log[x]*(x^2 + Log[x^2])), x] - 4*Defer[Int][x^5/(Log[x]*(x^2
 + Log[x^2])), x] - 6*Defer[Int][(x^7*Log[x^2 + Log[x^2]])/(Log[x]^4*(x^2 + Log[x^2])), x] + 12*Defer[Int][(x^
7*Log[x^2 + Log[x^2]])/(Log[x]^3*(x^2 + Log[x^2])), x] + 4*Defer[Int][(x^3*Log[x^2 + Log[x^2]])/(Log[x]^2*(x^2
 + Log[x^2])), x] + 6*Defer[Int][(x^5*Log[x^2 + Log[x^2]])/(Log[x]^2*(x^2 + Log[x^2])), x] - 8*Defer[Int][(x^5
*Log[x^2 + Log[x^2]])/(Log[x]*(x^2 + Log[x^2])), x] - 6*Defer[Int][(x^5*Log[x^2]*Log[x^2 + Log[x^2]])/(Log[x]^
4*(x^2 + Log[x^2])), x] + 12*Defer[Int][(x^5*Log[x^2]*Log[x^2 + Log[x^2]])/(Log[x]^3*(x^2 + Log[x^2])), x] + 2
*Defer[Int][(x^3*Log[x^2]*Log[x^2 + Log[x^2]])/(Log[x]^2*(x^2 + Log[x^2])), x] - 8*Defer[Int][(x^3*Log[x^2]*Lo
g[x^2 + Log[x^2]])/(Log[x]*(x^2 + Log[x^2])), x] - 2*Defer[Int][(x^3*Log[x^2 + Log[x^2]]^2)/Log[x]^3, x] + 4*D
efer[Int][(x^3*Log[x^2 + Log[x^2]]^2)/Log[x]^2, x]

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 \operatorname {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 \operatorname {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} \operatorname {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} \operatorname {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.14, 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]

Integrate[(-4*x^9 + 8*x^9*Log[x] + (4*x^5 + 8*x^7)*Log[x]^2 - 12*x^7*Log[x]^3 + (-4*x^3 - 4*x^5)*Log[x]^4 + 4*
x^5*Log[x]^5 + (-4*x^7 + 8*x^7*Log[x] + 4*x^5*Log[x]^2 - 12*x^5*Log[x]^3 + 4*x^3*Log[x]^5)*Log[x^2] + (-6*x^7*
Log[x] + 12*x^7*Log[x]^2 + (4*x^3 + 6*x^5)*Log[x]^3 - 8*x^5*Log[x]^4 + (-6*x^5*Log[x] + 12*x^5*Log[x]^2 + 2*x^
3*Log[x]^3 - 8*x^3*Log[x]^4)*Log[x^2])*Log[x^2 + Log[x^2]] + (-2*x^5*Log[x]^2 + 4*x^5*Log[x]^3 + (-2*x^3*Log[x
]^2 + 4*x^3*Log[x]^3)*Log[x^2])*Log[x^2 + Log[x^2]]^2)/(x^2*Log[x]^5 + Log[x]^5*Log[x^2]),x]

[Out]

(x^4*(x^2 - Log[x]^2 + Log[x]*Log[x^2 + Log[x^2]])^2)/Log[x]^4

________________________________________________________________________________________

fricas [B]  time = 0.54, size = 72, normalized size = 2.12 \begin {gather*} \frac {x^{8} - 2 \, x^{6} \log \relax (x)^{2} + x^{4} \log \left (x^{2} + 2 \, \log \relax (x)\right )^{2} \log \relax (x)^{2} + x^{4} \log \relax (x)^{4} + 2 \, {\left (x^{6} \log \relax (x) - x^{4} \log \relax (x)^{3}\right )} \log \left (x^{2} + 2 \, \log \relax (x)\right )}{\log \relax (x)^{4}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((4*x^3*log(x)^3-2*x^3*log(x)^2)*log(x^2)+4*x^5*log(x)^3-2*x^5*log(x)^2)*log(log(x^2)+x^2)^2+((-8*x
^3*log(x)^4+2*x^3*log(x)^3+12*x^5*log(x)^2-6*x^5*log(x))*log(x^2)-8*x^5*log(x)^4+(6*x^5+4*x^3)*log(x)^3+12*x^7
*log(x)^2-6*x^7*log(x))*log(log(x^2)+x^2)+(4*x^3*log(x)^5-12*x^5*log(x)^3+4*x^5*log(x)^2+8*x^7*log(x)-4*x^7)*l
og(x^2)+4*x^5*log(x)^5+(-4*x^5-4*x^3)*log(x)^4-12*x^7*log(x)^3+(8*x^7+4*x^5)*log(x)^2+8*x^9*log(x)-4*x^9)/(log
(x)^5*log(x^2)+x^2*log(x)^5),x, algorithm="fricas")

[Out]

(x^8 - 2*x^6*log(x)^2 + x^4*log(x^2 + 2*log(x))^2*log(x)^2 + x^4*log(x)^4 + 2*(x^6*log(x) - x^4*log(x)^3)*log(
x^2 + 2*log(x)))/log(x)^4

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {2 \, {\left (4 \, x^{9} \log \relax (x) - 6 \, x^{7} \log \relax (x)^{3} + 2 \, x^{5} \log \relax (x)^{5} - 2 \, x^{9} - 2 \, {\left (x^{5} + x^{3}\right )} \log \relax (x)^{4} + {\left (2 \, x^{5} \log \relax (x)^{3} - x^{5} \log \relax (x)^{2} + {\left (2 \, x^{3} \log \relax (x)^{3} - x^{3} \log \relax (x)^{2}\right )} \log \left (x^{2}\right )\right )} \log \left (x^{2} + \log \left (x^{2}\right )\right )^{2} + 2 \, {\left (2 \, x^{7} + x^{5}\right )} \log \relax (x)^{2} + {\left (6 \, x^{7} \log \relax (x)^{2} - 4 \, x^{5} \log \relax (x)^{4} - 3 \, x^{7} \log \relax (x) + {\left (3 \, x^{5} + 2 \, x^{3}\right )} \log \relax (x)^{3} + {\left (6 \, x^{5} \log \relax (x)^{2} - 4 \, x^{3} \log \relax (x)^{4} - 3 \, x^{5} \log \relax (x) + x^{3} \log \relax (x)^{3}\right )} \log \left (x^{2}\right )\right )} \log \left (x^{2} + \log \left (x^{2}\right )\right ) + 2 \, {\left (2 \, x^{7} \log \relax (x) - 3 \, x^{5} \log \relax (x)^{3} + x^{3} \log \relax (x)^{5} - x^{7} + x^{5} \log \relax (x)^{2}\right )} \log \left (x^{2}\right )\right )}}{x^{2} \log \relax (x)^{5} + \log \left (x^{2}\right ) \log \relax (x)^{5}}\,{d x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((4*x^3*log(x)^3-2*x^3*log(x)^2)*log(x^2)+4*x^5*log(x)^3-2*x^5*log(x)^2)*log(log(x^2)+x^2)^2+((-8*x
^3*log(x)^4+2*x^3*log(x)^3+12*x^5*log(x)^2-6*x^5*log(x))*log(x^2)-8*x^5*log(x)^4+(6*x^5+4*x^3)*log(x)^3+12*x^7
*log(x)^2-6*x^7*log(x))*log(log(x^2)+x^2)+(4*x^3*log(x)^5-12*x^5*log(x)^3+4*x^5*log(x)^2+8*x^7*log(x)-4*x^7)*l
og(x^2)+4*x^5*log(x)^5+(-4*x^5-4*x^3)*log(x)^4-12*x^7*log(x)^3+(8*x^7+4*x^5)*log(x)^2+8*x^9*log(x)-4*x^9)/(log
(x)^5*log(x^2)+x^2*log(x)^5),x, algorithm="giac")

[Out]

integrate(2*(4*x^9*log(x) - 6*x^7*log(x)^3 + 2*x^5*log(x)^5 - 2*x^9 - 2*(x^5 + x^3)*log(x)^4 + (2*x^5*log(x)^3
 - x^5*log(x)^2 + (2*x^3*log(x)^3 - x^3*log(x)^2)*log(x^2))*log(x^2 + log(x^2))^2 + 2*(2*x^7 + x^5)*log(x)^2 +
 (6*x^7*log(x)^2 - 4*x^5*log(x)^4 - 3*x^7*log(x) + (3*x^5 + 2*x^3)*log(x)^3 + (6*x^5*log(x)^2 - 4*x^3*log(x)^4
 - 3*x^5*log(x) + x^3*log(x)^3)*log(x^2))*log(x^2 + log(x^2)) + 2*(2*x^7*log(x) - 3*x^5*log(x)^3 + x^3*log(x)^
5 - x^7 + x^5*log(x)^2)*log(x^2))/(x^2*log(x)^5 + log(x^2)*log(x)^5), x)

________________________________________________________________________________________

maple [C]  time = 0.13, size = 130, normalized size = 3.82




method result size



risch \(\frac {x^{4} \ln \left (2 \ln \relax (x )-\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 \relax (x )^{2}}+\frac {2 x^{4} \left (x^{2}-\ln \relax (x )^{2}\right ) \ln \left (2 \ln \relax (x )-\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 \relax (x )^{3}}+\frac {x^{4} \left (x^{4}-2 x^{2} \ln \relax (x )^{2}+\ln \relax (x )^{4}\right )}{\ln \relax (x )^{4}}\) \(130\)



Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((4*x^3*ln(x)^3-2*x^3*ln(x)^2)*ln(x^2)+4*x^5*ln(x)^3-2*x^5*ln(x)^2)*ln(ln(x^2)+x^2)^2+((-8*x^3*ln(x)^4+2*
x^3*ln(x)^3+12*x^5*ln(x)^2-6*x^5*ln(x))*ln(x^2)-8*x^5*ln(x)^4+(6*x^5+4*x^3)*ln(x)^3+12*x^7*ln(x)^2-6*x^7*ln(x)
)*ln(ln(x^2)+x^2)+(4*x^3*ln(x)^5-12*x^5*ln(x)^3+4*x^5*ln(x)^2+8*x^7*ln(x)-4*x^7)*ln(x^2)+4*x^5*ln(x)^5+(-4*x^5
-4*x^3)*ln(x)^4-12*x^7*ln(x)^3+(8*x^7+4*x^5)*ln(x)^2+8*x^9*ln(x)-4*x^9)/(ln(x)^5*ln(x^2)+x^2*ln(x)^5),x,method
=_RETURNVERBOSE)

[Out]

x^4/ln(x)^2*ln(2*ln(x)-1/2*I*Pi*csgn(I*x^2)*(-csgn(I*x^2)+csgn(I*x))^2+x^2)^2+2*x^4*(x^2-ln(x)^2)/ln(x)^3*ln(2
*ln(x)-1/2*I*Pi*csgn(I*x^2)*(-csgn(I*x^2)+csgn(I*x))^2+x^2)+x^4*(x^4-2*x^2*ln(x)^2+ln(x)^4)/ln(x)^4

________________________________________________________________________________________

maxima [B]  time = 0.43, size = 72, normalized size = 2.12 \begin {gather*} \frac {x^{8} - 2 \, x^{6} \log \relax (x)^{2} + x^{4} \log \left (x^{2} + 2 \, \log \relax (x)\right )^{2} \log \relax (x)^{2} + x^{4} \log \relax (x)^{4} + 2 \, {\left (x^{6} \log \relax (x) - x^{4} \log \relax (x)^{3}\right )} \log \left (x^{2} + 2 \, \log \relax (x)\right )}{\log \relax (x)^{4}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((4*x^3*log(x)^3-2*x^3*log(x)^2)*log(x^2)+4*x^5*log(x)^3-2*x^5*log(x)^2)*log(log(x^2)+x^2)^2+((-8*x
^3*log(x)^4+2*x^3*log(x)^3+12*x^5*log(x)^2-6*x^5*log(x))*log(x^2)-8*x^5*log(x)^4+(6*x^5+4*x^3)*log(x)^3+12*x^7
*log(x)^2-6*x^7*log(x))*log(log(x^2)+x^2)+(4*x^3*log(x)^5-12*x^5*log(x)^3+4*x^5*log(x)^2+8*x^7*log(x)-4*x^7)*l
og(x^2)+4*x^5*log(x)^5+(-4*x^5-4*x^3)*log(x)^4-12*x^7*log(x)^3+(8*x^7+4*x^5)*log(x)^2+8*x^9*log(x)-4*x^9)/(log
(x)^5*log(x^2)+x^2*log(x)^5),x, algorithm="maxima")

[Out]

(x^8 - 2*x^6*log(x)^2 + x^4*log(x^2 + 2*log(x))^2*log(x)^2 + x^4*log(x)^4 + 2*(x^6*log(x) - x^4*log(x)^3)*log(
x^2 + 2*log(x)))/log(x)^4

________________________________________________________________________________________

mupad [B]  time = 4.53, size = 76, normalized size = 2.24 \begin {gather*} \frac {x^8}{{\ln \relax (x)}^4}-\frac {2\,x^6}{{\ln \relax (x)}^2}+x^4-\frac {2\,x^4\,\ln \left (\ln \left (x^2\right )+x^2\right )}{\ln \relax (x)}+\frac {2\,x^6\,\ln \left (\ln \left (x^2\right )+x^2\right )}{{\ln \relax (x)}^3}+\frac {x^4\,{\ln \left (\ln \left (x^2\right )+x^2\right )}^2}{{\ln \relax (x)}^2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(log(x)^4*(4*x^3 + 4*x^5) - 8*x^9*log(x) - log(x)^2*(4*x^5 + 8*x^7) - 4*x^5*log(x)^5 + 12*x^7*log(x)^3 +
log(log(x^2) + x^2)*(6*x^7*log(x) - log(x)^3*(4*x^3 + 6*x^5) + 8*x^5*log(x)^4 - 12*x^7*log(x)^2 + log(x^2)*(6*
x^5*log(x) - 2*x^3*log(x)^3 + 8*x^3*log(x)^4 - 12*x^5*log(x)^2)) - log(x^2)*(8*x^7*log(x) + 4*x^5*log(x)^2 + 4
*x^3*log(x)^5 - 12*x^5*log(x)^3 - 4*x^7) + 4*x^9 + log(log(x^2) + x^2)^2*(2*x^5*log(x)^2 - 4*x^5*log(x)^3 + lo
g(x^2)*(2*x^3*log(x)^2 - 4*x^3*log(x)^3)))/(x^2*log(x)^5 + log(x^2)*log(x)^5),x)

[Out]

x^8/log(x)^4 - (2*x^6)/log(x)^2 + x^4 - (2*x^4*log(log(x^2) + x^2))/log(x) + (2*x^6*log(log(x^2) + x^2))/log(x
)^3 + (x^4*log(log(x^2) + x^2)^2)/log(x)^2

________________________________________________________________________________________

sympy [B]  time = 0.69, size = 71, normalized size = 2.09 \begin {gather*} x^{4} + \frac {x^{4} \log {\left (x^{2} + 2 \log {\relax (x )} \right )}^{2}}{\log {\relax (x )}^{2}} + \frac {\left (2 x^{6} - 2 x^{4} \log {\relax (x )}^{2}\right ) \log {\left (x^{2} + 2 \log {\relax (x )} \right )}}{\log {\relax (x )}^{3}} + \frac {x^{8} - 2 x^{6} \log {\relax (x )}^{2}}{\log {\relax (x )}^{4}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((4*x**3*ln(x)**3-2*x**3*ln(x)**2)*ln(x**2)+4*x**5*ln(x)**3-2*x**5*ln(x)**2)*ln(ln(x**2)+x**2)**2+(
(-8*x**3*ln(x)**4+2*x**3*ln(x)**3+12*x**5*ln(x)**2-6*x**5*ln(x))*ln(x**2)-8*x**5*ln(x)**4+(6*x**5+4*x**3)*ln(x
)**3+12*x**7*ln(x)**2-6*x**7*ln(x))*ln(ln(x**2)+x**2)+(4*x**3*ln(x)**5-12*x**5*ln(x)**3+4*x**5*ln(x)**2+8*x**7
*ln(x)-4*x**7)*ln(x**2)+4*x**5*ln(x)**5+(-4*x**5-4*x**3)*ln(x)**4-12*x**7*ln(x)**3+(8*x**7+4*x**5)*ln(x)**2+8*
x**9*ln(x)-4*x**9)/(ln(x)**5*ln(x**2)+x**2*ln(x)**5),x)

[Out]

x**4 + x**4*log(x**2 + 2*log(x))**2/log(x)**2 + (2*x**6 - 2*x**4*log(x)**2)*log(x**2 + 2*log(x))/log(x)**3 + (
x**8 - 2*x**6*log(x)**2)/log(x)**4

________________________________________________________________________________________