3.66.91 \(\int \frac {(16 x-16 x^2+(96 x-48 x^2+(-32 x+16 x^2) \log (x)) \log (-3+\log (x))) \log ^3(-\frac {x^2 \log (3)}{(-2+2 x) \log (-3+\log (x))})+(24 x-24 x^2+(-8 x+8 x^2) \log (x)) \log (-3+\log (x)) \log ^4(-\frac {x^2 \log (3)}{(-2+2 x) \log (-3+\log (x))})}{(3-3 x+(-1+x) \log (x)) \log (-3+\log (x))} \, dx\)

Optimal. Leaf size=31 \[ 4 x^2 \log ^4\left (\frac {x^2 \log (3)}{2 (1-x) \log (-3+\log (x))}\right ) \]

________________________________________________________________________________________

Rubi [F]  time = 8.93, 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 {\left (16 x-16 x^2+\left (96 x-48 x^2+\left (-32 x+16 x^2\right ) \log (x)\right ) \log (-3+\log (x))\right ) \log ^3\left (-\frac {x^2 \log (3)}{(-2+2 x) \log (-3+\log (x))}\right )+\left (24 x-24 x^2+\left (-8 x+8 x^2\right ) \log (x)\right ) \log (-3+\log (x)) \log ^4\left (-\frac {x^2 \log (3)}{(-2+2 x) \log (-3+\log (x))}\right )}{(3-3 x+(-1+x) \log (x)) \log (-3+\log (x))} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Int[((16*x - 16*x^2 + (96*x - 48*x^2 + (-32*x + 16*x^2)*Log[x])*Log[-3 + Log[x]])*Log[-((x^2*Log[3])/((-2 + 2*
x)*Log[-3 + Log[x]]))]^3 + (24*x - 24*x^2 + (-8*x + 8*x^2)*Log[x])*Log[-3 + Log[x]]*Log[-((x^2*Log[3])/((-2 +
2*x)*Log[-3 + Log[x]]))]^4)/((3 - 3*x + (-1 + x)*Log[x])*Log[-3 + Log[x]]),x]

[Out]

48*Defer[Int][Log[-1/2*(x^2*Log[3])/((-1 + x)*Log[-3 + Log[x]])]^3/(-3 + Log[x]), x] + 48*Defer[Int][Log[-1/2*
(x^2*Log[3])/((-1 + x)*Log[-3 + Log[x]])]^3/((-1 + x)*(-3 + Log[x])), x] - 48*Defer[Int][(x*Log[-1/2*(x^2*Log[
3])/((-1 + x)*Log[-3 + Log[x]])]^3)/(-3 + Log[x]), x] - 16*Defer[Int][(Log[x]*Log[-1/2*(x^2*Log[3])/((-1 + x)*
Log[-3 + Log[x]])]^3)/(-3 + Log[x]), x] - 16*Defer[Int][(Log[x]*Log[-1/2*(x^2*Log[3])/((-1 + x)*Log[-3 + Log[x
]])]^3)/((-1 + x)*(-3 + Log[x])), x] + 16*Defer[Int][(x*Log[x]*Log[-1/2*(x^2*Log[3])/((-1 + x)*Log[-3 + Log[x]
])]^3)/(-3 + Log[x]), x] - 16*Defer[Int][(x*Log[-1/2*(x^2*Log[3])/((-1 + x)*Log[-3 + Log[x]])]^3)/((-3 + Log[x
])*Log[-3 + Log[x]]), x] + 8*Defer[Int][x*Log[-1/2*(x^2*Log[3])/((-1 + x)*Log[-3 + Log[x]])]^4, x]

Rubi steps

\begin {gather*} \begin {aligned} \text {integral} &=\int \frac {\left (16 x-16 x^2+\left (96 x-48 x^2+\left (-32 x+16 x^2\right ) \log (x)\right ) \log (-3+\log (x))\right ) \log ^3\left (-\frac {x^2 \log (3)}{(-2+2 x) \log (-3+\log (x))}\right )+\left (24 x-24 x^2+\left (-8 x+8 x^2\right ) \log (x)\right ) \log (-3+\log (x)) \log ^4\left (-\frac {x^2 \log (3)}{(-2+2 x) \log (-3+\log (x))}\right )}{(1-x) (3-\log (x)) \log (-3+\log (x))} \, dx\\ &=\int \frac {8 x \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right ) \left (2-2 x+2 (-2+x) (-3+\log (x)) \log (-3+\log (x))+(-1+x) (-3+\log (x)) \log (-3+\log (x)) \log \left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )\right )}{(1-x) (3-\log (x)) \log (-3+\log (x))} \, dx\\ &=8 \int \frac {x \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right ) \left (2-2 x+2 (-2+x) (-3+\log (x)) \log (-3+\log (x))+(-1+x) (-3+\log (x)) \log (-3+\log (x)) \log \left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )\right )}{(1-x) (3-\log (x)) \log (-3+\log (x))} \, dx\\ &=8 \int \left (\frac {2 x (1-x+6 \log (-3+\log (x))-3 x \log (-3+\log (x))-2 \log (x) \log (-3+\log (x))+x \log (x) \log (-3+\log (x))) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x)) \log (-3+\log (x))}+x \log ^4\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )\right ) \, dx\\ &=8 \int x \log ^4\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right ) \, dx+16 \int \frac {x (1-x+6 \log (-3+\log (x))-3 x \log (-3+\log (x))-2 \log (x) \log (-3+\log (x))+x \log (x) \log (-3+\log (x))) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x)) \log (-3+\log (x))} \, dx\\ &=8 \int x \log ^4\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right ) \, dx+16 \int \frac {x (1-x+(-2+x) (-3+\log (x)) \log (-3+\log (x))) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(1-x) (3-\log (x)) \log (-3+\log (x))} \, dx\\ &=8 \int x \log ^4\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right ) \, dx+16 \int \left (\frac {(1-x+6 \log (-3+\log (x))-3 x \log (-3+\log (x))-2 \log (x) \log (-3+\log (x))+x \log (x) \log (-3+\log (x))) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-3+\log (x)) \log (-3+\log (x))}+\frac {(1-x+6 \log (-3+\log (x))-3 x \log (-3+\log (x))-2 \log (x) \log (-3+\log (x))+x \log (x) \log (-3+\log (x))) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x)) \log (-3+\log (x))}\right ) \, dx\\ &=8 \int x \log ^4\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right ) \, dx+16 \int \frac {(1-x+6 \log (-3+\log (x))-3 x \log (-3+\log (x))-2 \log (x) \log (-3+\log (x))+x \log (x) \log (-3+\log (x))) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-3+\log (x)) \log (-3+\log (x))} \, dx+16 \int \frac {(1-x+6 \log (-3+\log (x))-3 x \log (-3+\log (x))-2 \log (x) \log (-3+\log (x))+x \log (x) \log (-3+\log (x))) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x)) \log (-3+\log (x))} \, dx\\ &=8 \int x \log ^4\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right ) \, dx+16 \int \frac {(-1+x-(-2+x) (-3+\log (x)) \log (-3+\log (x))) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(3-\log (x)) \log (-3+\log (x))} \, dx+16 \int \frac {(1-x+(-2+x) (-3+\log (x)) \log (-3+\log (x))) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(1-x) (3-\log (x)) \log (-3+\log (x))} \, dx\\ &=8 \int x \log ^4\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right ) \, dx+16 \int \left (\frac {6 \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{-3+\log (x)}-\frac {3 x \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{-3+\log (x)}-\frac {2 \log (x) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{-3+\log (x)}+\frac {x \log (x) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{-3+\log (x)}+\frac {\log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-3+\log (x)) \log (-3+\log (x))}-\frac {x \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-3+\log (x)) \log (-3+\log (x))}\right ) \, dx+16 \int \left (\frac {6 \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x))}-\frac {3 x \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x))}-\frac {2 \log (x) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x))}+\frac {x \log (x) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x))}+\frac {\log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x)) \log (-3+\log (x))}-\frac {x \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x)) \log (-3+\log (x))}\right ) \, dx\\ &=8 \int x \log ^4\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right ) \, dx+16 \int \frac {x \log (x) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{-3+\log (x)} \, dx+16 \int \frac {x \log (x) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x))} \, dx+16 \int \frac {\log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-3+\log (x)) \log (-3+\log (x))} \, dx+16 \int \frac {\log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x)) \log (-3+\log (x))} \, dx-16 \int \frac {x \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-3+\log (x)) \log (-3+\log (x))} \, dx-16 \int \frac {x \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x)) \log (-3+\log (x))} \, dx-32 \int \frac {\log (x) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{-3+\log (x)} \, dx-32 \int \frac {\log (x) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x))} \, dx-48 \int \frac {x \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{-3+\log (x)} \, dx-48 \int \frac {x \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x))} \, dx+96 \int \frac {\log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{-3+\log (x)} \, dx+96 \int \frac {\log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x))} \, dx\\ &=8 \int x \log ^4\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right ) \, dx+16 \int \frac {x \log (x) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{-3+\log (x)} \, dx+16 \int \frac {\log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-3+\log (x)) \log (-3+\log (x))} \, dx+16 \int \frac {\log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x)) \log (-3+\log (x))} \, dx-16 \int \frac {x \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-3+\log (x)) \log (-3+\log (x))} \, dx+16 \int \left (\frac {\log (x) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{-3+\log (x)}+\frac {\log (x) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x))}\right ) \, dx-16 \int \left (\frac {\log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-3+\log (x)) \log (-3+\log (x))}+\frac {\log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x)) \log (-3+\log (x))}\right ) \, dx-32 \int \frac {\log (x) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{-3+\log (x)} \, dx-32 \int \frac {\log (x) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x))} \, dx-48 \int \frac {x \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{-3+\log (x)} \, dx-48 \int \left (\frac {\log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{-3+\log (x)}+\frac {\log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x))}\right ) \, dx+96 \int \frac {\log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{-3+\log (x)} \, dx+96 \int \frac {\log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x))} \, dx\\ &=8 \int x \log ^4\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right ) \, dx+16 \int \frac {\log (x) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{-3+\log (x)} \, dx+16 \int \frac {\log (x) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x))} \, dx+16 \int \frac {x \log (x) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{-3+\log (x)} \, dx-16 \int \frac {x \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-3+\log (x)) \log (-3+\log (x))} \, dx-32 \int \frac {\log (x) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{-3+\log (x)} \, dx-32 \int \frac {\log (x) \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x))} \, dx-48 \int \frac {\log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{-3+\log (x)} \, dx-48 \int \frac {\log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x))} \, dx-48 \int \frac {x \log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{-3+\log (x)} \, dx+96 \int \frac {\log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{-3+\log (x)} \, dx+96 \int \frac {\log ^3\left (-\frac {x^2 \log (3)}{2 (-1+x) \log (-3+\log (x))}\right )}{(-1+x) (-3+\log (x))} \, dx\\ \end {aligned} \end {gather*}

________________________________________________________________________________________

Mathematica [F]  time = 0.31, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (16 x-16 x^2+\left (96 x-48 x^2+\left (-32 x+16 x^2\right ) \log (x)\right ) \log (-3+\log (x))\right ) \log ^3\left (-\frac {x^2 \log (3)}{(-2+2 x) \log (-3+\log (x))}\right )+\left (24 x-24 x^2+\left (-8 x+8 x^2\right ) \log (x)\right ) \log (-3+\log (x)) \log ^4\left (-\frac {x^2 \log (3)}{(-2+2 x) \log (-3+\log (x))}\right )}{(3-3 x+(-1+x) \log (x)) \log (-3+\log (x))} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

Integrate[((16*x - 16*x^2 + (96*x - 48*x^2 + (-32*x + 16*x^2)*Log[x])*Log[-3 + Log[x]])*Log[-((x^2*Log[3])/((-
2 + 2*x)*Log[-3 + Log[x]]))]^3 + (24*x - 24*x^2 + (-8*x + 8*x^2)*Log[x])*Log[-3 + Log[x]]*Log[-((x^2*Log[3])/(
(-2 + 2*x)*Log[-3 + Log[x]]))]^4)/((3 - 3*x + (-1 + x)*Log[x])*Log[-3 + Log[x]]),x]

[Out]

Integrate[((16*x - 16*x^2 + (96*x - 48*x^2 + (-32*x + 16*x^2)*Log[x])*Log[-3 + Log[x]])*Log[-((x^2*Log[3])/((-
2 + 2*x)*Log[-3 + Log[x]]))]^3 + (24*x - 24*x^2 + (-8*x + 8*x^2)*Log[x])*Log[-3 + Log[x]]*Log[-((x^2*Log[3])/(
(-2 + 2*x)*Log[-3 + Log[x]]))]^4)/((3 - 3*x + (-1 + x)*Log[x])*Log[-3 + Log[x]]), x]

________________________________________________________________________________________

fricas [A]  time = 0.58, size = 27, normalized size = 0.87 \begin {gather*} 4 \, x^{2} \log \left (-\frac {x^{2} \log \relax (3)}{2 \, {\left (x - 1\right )} \log \left (\log \relax (x) - 3\right )}\right )^{4} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((8*x^2-8*x)*log(x)-24*x^2+24*x)*log(log(x)-3)*log(-x^2*log(3)/(2*x-2)/log(log(x)-3))^4+(((16*x^2-3
2*x)*log(x)-48*x^2+96*x)*log(log(x)-3)-16*x^2+16*x)*log(-x^2*log(3)/(2*x-2)/log(log(x)-3))^3)/((x-1)*log(x)-3*
x+3)/log(log(x)-3),x, algorithm="fricas")

[Out]

4*x^2*log(-1/2*x^2*log(3)/((x - 1)*log(log(x) - 3)))^4

________________________________________________________________________________________

giac [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((8*x^2-8*x)*log(x)-24*x^2+24*x)*log(log(x)-3)*log(-x^2*log(3)/(2*x-2)/log(log(x)-3))^4+(((16*x^2-3
2*x)*log(x)-48*x^2+96*x)*log(log(x)-3)-16*x^2+16*x)*log(-x^2*log(3)/(2*x-2)/log(log(x)-3))^3)/((x-1)*log(x)-3*
x+3)/log(log(x)-3),x, algorithm="giac")

[Out]

Timed out

________________________________________________________________________________________

maple [C]  time = 42.25, size = 278332, normalized size = 8978.45

method	result	size
risch	\(\text {Expression too large to display}\)	\(278332\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((((8*x^2-8*x)*ln(x)-24*x^2+24*x)*ln(ln(x)-3)*ln(-x^2*ln(3)/(2*x-2)/ln(ln(x)-3))^4+(((16*x^2-32*x)*ln(x)-48
*x^2+96*x)*ln(ln(x)-3)-16*x^2+16*x)*ln(-x^2*ln(3)/(2*x-2)/ln(ln(x)-3))^3)/((x-1)*ln(x)-3*x+3)/ln(ln(x)-3),x,me
thod=_RETURNVERBOSE)

[Out]

result too large to display

________________________________________________________________________________________

maxima [B]  time = 0.69, size = 668, normalized size = 21.55 result too large to display

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((8*x^2-8*x)*log(x)-24*x^2+24*x)*log(log(x)-3)*log(-x^2*log(3)/(2*x-2)/log(log(x)-3))^4+(((16*x^2-3
2*x)*log(x)-48*x^2+96*x)*log(log(x)-3)-16*x^2+16*x)*log(-x^2*log(3)/(2*x-2)/log(log(x)-3))^3)/((x-1)*log(x)-3*
x+3)/log(log(x)-3),x, algorithm="maxima")

[Out]

-128*x^2*(log(2) - log(log(3)))*log(x)^3 + 64*x^2*log(x)^4 + 4*x^2*log(-x + 1)^4 + 4*x^2*log(log(log(x) - 3))^
4 + 96*(log(2)^2 - 2*log(2)*log(log(3)) + log(log(3))^2)*x^2*log(x)^2 - 32*(log(2)^3 - 3*log(2)^2*log(log(3))
+ 3*log(2)*log(log(3))^2 - log(log(3))^3)*x^2*log(x) + 16*(x^2*(log(2) - log(log(3))) - 2*x^2*log(x))*log(-x +
1)^3 + 16*(x^2*(log(2) - log(log(3))) - 2*x^2*log(x) + x^2*log(-x + 1))*log(log(log(x) - 3))^3 + 4*(log(2)^4
- 4*log(2)^3*log(log(3)) + 6*log(2)^2*log(log(3))^2 - 4*log(2)*log(log(3))^3 + log(log(3))^4)*x^2 - 24*(4*x^2*
(log(2) - log(log(3)))*log(x) - 4*x^2*log(x)^2 - (log(2)^2 - 2*log(2)*log(log(3)) + log(log(3))^2)*x^2)*log(-x
+ 1)^2 - 24*(4*x^2*(log(2) - log(log(3)))*log(x) - 4*x^2*log(x)^2 - x^2*log(-x + 1)^2 - (log(2)^2 - 2*log(2)*
log(log(3)) + log(log(3))^2)*x^2 - 2*(x^2*(log(2) - log(log(3))) - 2*x^2*log(x))*log(-x + 1))*log(log(log(x) -
3))^2 + 16*(12*x^2*(log(2) - log(log(3)))*log(x)^2 - 8*x^2*log(x)^3 - 6*(log(2)^2 - 2*log(2)*log(log(3)) + lo
g(log(3))^2)*x^2*log(x) + (log(2)^3 - 3*log(2)^2*log(log(3)) + 3*log(2)*log(log(3))^2 - log(log(3))^3)*x^2)*lo
g(-x + 1) + 16*(12*x^2*(log(2) - log(log(3)))*log(x)^2 - 8*x^2*log(x)^3 + x^2*log(-x + 1)^3 - 6*(log(2)^2 - 2*
log(2)*log(log(3)) + log(log(3))^2)*x^2*log(x) + (log(2)^3 - 3*log(2)^2*log(log(3)) + 3*log(2)*log(log(3))^2 -
log(log(3))^3)*x^2 + 3*(x^2*(log(2) - log(log(3))) - 2*x^2*log(x))*log(-x + 1)^2 - 3*(4*x^2*(log(2) - log(log
(3)))*log(x) - 4*x^2*log(x)^2 - (log(2)^2 - 2*log(2)*log(log(3)) + log(log(3))^2)*x^2)*log(-x + 1))*log(log(lo
g(x) - 3))

________________________________________________________________________________________

mupad [B]  time = 5.05, size = 27, normalized size = 0.87 \begin {gather*} 4\,x^2\,{\ln \left (-\frac {x^2\,\ln \relax (3)}{2\,\ln \left (\ln \relax (x)-3\right )\,\left (x-1\right )}\right )}^4 \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(-(log(-(x^2*log(3))/(log(log(x) - 3)*(2*x - 2)))^3*(log(log(x) - 3)*(log(x)*(32*x - 16*x^2) - 96*x + 48*x^
2) - 16*x + 16*x^2) + log(log(x) - 3)*log(-(x^2*log(3))/(log(log(x) - 3)*(2*x - 2)))^4*(log(x)*(8*x - 8*x^2) -
24*x + 24*x^2))/(log(log(x) - 3)*(log(x)*(x - 1) - 3*x + 3)),x)

[Out]

4*x^2*log(-(x^2*log(3))/(2*log(log(x) - 3)*(x - 1)))^4

________________________________________________________________________________________

sympy [A]  time = 2.50, size = 27, normalized size = 0.87 \begin {gather*} 4 x^{2} \log {\left (- \frac {x^{2} \log {\relax (3 )}}{\left (2 x - 2\right ) \log {\left (\log {\relax (x )} - 3 \right )}} \right )}^{4} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((((8*x**2-8*x)*ln(x)-24*x**2+24*x)*ln(ln(x)-3)*ln(-x**2*ln(3)/(2*x-2)/ln(ln(x)-3))**4+(((16*x**2-32*
x)*ln(x)-48*x**2+96*x)*ln(ln(x)-3)-16*x**2+16*x)*ln(-x**2*ln(3)/(2*x-2)/ln(ln(x)-3))**3)/((x-1)*ln(x)-3*x+3)/l
n(ln(x)-3),x)

[Out]

4*x**2*log(-x**2*log(3)/((2*x - 2)*log(log(x) - 3)))**4

________________________________________________________________________________________