\(\int \frac {-32 \log (3)+32 \log (3) \log (\frac {x}{3})+(-8+16 x) \log (3) \log ^2(\frac {x}{3})-8 \log (3) \log ^2(\frac {x}{3}) \log (x)}{(-4 x \log (\frac {x}{3})-x^2 \log ^2(\frac {x}{3})+x \log ^2(\frac {x}{3}) \log (x)) \log ^2(\frac {16 x^2+8 x^3 \log (\frac {x}{3})+x^4 \log ^2(\frac {x}{3})+(-8 x^2 \log (\frac {x}{3})-2 x^3 \log ^2(\frac {x}{3})) \log (x)+x^2 \log ^2(\frac {x}{3}) \log ^2(x)}{\log ^2(\frac {x}{3})})} \, dx\) [9331]

Optimal result

Integrand size = 168, antiderivative size = 29 \[ \int \frac {-32 \log (3)+32 \log (3) \log \left (\frac {x}{3}\right )+(-8+16 x) \log (3) \log ^2\left (\frac {x}{3}\right )-8 \log (3) \log ^2\left (\frac {x}{3}\right ) \log (x)}{\left (-4 x \log \left (\frac {x}{3}\right )-x^2 \log ^2\left (\frac {x}{3}\right )+x \log ^2\left (\frac {x}{3}\right ) \log (x)\right ) \log ^2\left (\frac {16 x^2+8 x^3 \log \left (\frac {x}{3}\right )+x^4 \log ^2\left (\frac {x}{3}\right )+\left (-8 x^2 \log \left (\frac {x}{3}\right )-2 x^3 \log ^2\left (\frac {x}{3}\right )\right ) \log (x)+x^2 \log ^2\left (\frac {x}{3}\right ) \log ^2(x)}{\log ^2\left (\frac {x}{3}\right )}\right )} \, dx=\frac {4 \log (3)}{\log \left (x^2 \left (x+\frac {4}{\log \left (\frac {x}{3}\right )}-\log (x)\right )^2\right )} \]

[Out]

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

Rubi [F]

\[ \int \frac {-32 \log (3)+32 \log (3) \log \left (\frac {x}{3}\right )+(-8+16 x) \log (3) \log ^2\left (\frac {x}{3}\right )-8 \log (3) \log ^2\left (\frac {x}{3}\right ) \log (x)}{\left (-4 x \log \left (\frac {x}{3}\right )-x^2 \log ^2\left (\frac {x}{3}\right )+x \log ^2\left (\frac {x}{3}\right ) \log (x)\right ) \log ^2\left (\frac {16 x^2+8 x^3 \log \left (\frac {x}{3}\right )+x^4 \log ^2\left (\frac {x}{3}\right )+\left (-8 x^2 \log \left (\frac {x}{3}\right )-2 x^3 \log ^2\left (\frac {x}{3}\right )\right ) \log (x)+x^2 \log ^2\left (\frac {x}{3}\right ) \log ^2(x)}{\log ^2\left (\frac {x}{3}\right )}\right )} \, dx=\int \frac {-32 \log (3)+32 \log (3) \log \left (\frac {x}{3}\right )+(-8+16 x) \log (3) \log ^2\left (\frac {x}{3}\right )-8 \log (3) \log ^2\left (\frac {x}{3}\right ) \log (x)}{\left (-4 x \log \left (\frac {x}{3}\right )-x^2 \log ^2\left (\frac {x}{3}\right )+x \log ^2\left (\frac {x}{3}\right ) \log (x)\right ) \log ^2\left (\frac {16 x^2+8 x^3 \log \left (\frac {x}{3}\right )+x^4 \log ^2\left (\frac {x}{3}\right )+\left (-8 x^2 \log \left (\frac {x}{3}\right )-2 x^3 \log ^2\left (\frac {x}{3}\right )\right ) \log (x)+x^2 \log ^2\left (\frac {x}{3}\right ) \log ^2(x)}{\log ^2\left (\frac {x}{3}\right )}\right )} \, dx \]

[In]

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

[Out]

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

Rubi steps \begin{align*} \text {integral}& = \int \frac {8 \log (3) \left (4 (1+\log (3))-4 \log (x)+\log ^2\left (\frac {x}{3}\right ) (1-2 x+\log (x))\right )}{x \log \left (\frac {x}{3}\right ) \left (4+\log \left (\frac {x}{3}\right ) (x-\log (x))\right ) \log ^2\left (\frac {x^2 \left (4+\log \left (\frac {x}{3}\right ) (x-\log (x))\right )^2}{\log ^2\left (\frac {x}{3}\right )}\right )} \, dx \\ & = (8 \log (3)) \int \frac {4 (1+\log (3))-4 \log (x)+\log ^2\left (\frac {x}{3}\right ) (1-2 x+\log (x))}{x \log \left (\frac {x}{3}\right ) \left (4+\log \left (\frac {x}{3}\right ) (x-\log (x))\right ) \log ^2\left (\frac {x^2 \left (4+\log \left (\frac {x}{3}\right ) (x-\log (x))\right )^2}{\log ^2\left (\frac {x}{3}\right )}\right )} \, dx \\ & = (8 \log (3)) \int \left (\frac {4 (1+\log (3))}{x \log \left (\frac {x}{3}\right ) \left (4+x \log \left (\frac {x}{3}\right )-\log \left (\frac {x}{3}\right ) \log (x)\right ) \log ^2\left (\frac {x^2 \left (4+\log \left (\frac {x}{3}\right ) (x-\log (x))\right )^2}{\log ^2\left (\frac {x}{3}\right )}\right )}-\frac {2 \log \left (\frac {x}{3}\right )}{\left (4+x \log \left (\frac {x}{3}\right )-\log \left (\frac {x}{3}\right ) \log (x)\right ) \log ^2\left (\frac {x^2 \left (4+\log \left (\frac {x}{3}\right ) (x-\log (x))\right )^2}{\log ^2\left (\frac {x}{3}\right )}\right )}+\frac {\log \left (\frac {x}{3}\right )}{x \left (4+x \log \left (\frac {x}{3}\right )-\log \left (\frac {x}{3}\right ) \log (x)\right ) \log ^2\left (\frac {x^2 \left (4+\log \left (\frac {x}{3}\right ) (x-\log (x))\right )^2}{\log ^2\left (\frac {x}{3}\right )}\right )}-\frac {4 \log (x)}{x \log \left (\frac {x}{3}\right ) \left (4+x \log \left (\frac {x}{3}\right )-\log \left (\frac {x}{3}\right ) \log (x)\right ) \log ^2\left (\frac {x^2 \left (4+\log \left (\frac {x}{3}\right ) (x-\log (x))\right )^2}{\log ^2\left (\frac {x}{3}\right )}\right )}+\frac {\log \left (\frac {x}{3}\right ) \log (x)}{x \left (4+x \log \left (\frac {x}{3}\right )-\log \left (\frac {x}{3}\right ) \log (x)\right ) \log ^2\left (\frac {x^2 \left (4+\log \left (\frac {x}{3}\right ) (x-\log (x))\right )^2}{\log ^2\left (\frac {x}{3}\right )}\right )}\right ) \, dx \\ & = (8 \log (3)) \int \frac {\log \left (\frac {x}{3}\right )}{x \left (4+x \log \left (\frac {x}{3}\right )-\log \left (\frac {x}{3}\right ) \log (x)\right ) \log ^2\left (\frac {x^2 \left (4+\log \left (\frac {x}{3}\right ) (x-\log (x))\right )^2}{\log ^2\left (\frac {x}{3}\right )}\right )} \, dx+(8 \log (3)) \int \frac {\log \left (\frac {x}{3}\right ) \log (x)}{x \left (4+x \log \left (\frac {x}{3}\right )-\log \left (\frac {x}{3}\right ) \log (x)\right ) \log ^2\left (\frac {x^2 \left (4+\log \left (\frac {x}{3}\right ) (x-\log (x))\right )^2}{\log ^2\left (\frac {x}{3}\right )}\right )} \, dx-(16 \log (3)) \int \frac {\log \left (\frac {x}{3}\right )}{\left (4+x \log \left (\frac {x}{3}\right )-\log \left (\frac {x}{3}\right ) \log (x)\right ) \log ^2\left (\frac {x^2 \left (4+\log \left (\frac {x}{3}\right ) (x-\log (x))\right )^2}{\log ^2\left (\frac {x}{3}\right )}\right )} \, dx-(32 \log (3)) \int \frac {\log (x)}{x \log \left (\frac {x}{3}\right ) \left (4+x \log \left (\frac {x}{3}\right )-\log \left (\frac {x}{3}\right ) \log (x)\right ) \log ^2\left (\frac {x^2 \left (4+\log \left (\frac {x}{3}\right ) (x-\log (x))\right )^2}{\log ^2\left (\frac {x}{3}\right )}\right )} \, dx+(32 \log (3) (1+\log (3))) \int \frac {1}{x \log \left (\frac {x}{3}\right ) \left (4+x \log \left (\frac {x}{3}\right )-\log \left (\frac {x}{3}\right ) \log (x)\right ) \log ^2\left (\frac {x^2 \left (4+\log \left (\frac {x}{3}\right ) (x-\log (x))\right )^2}{\log ^2\left (\frac {x}{3}\right )}\right )} \, dx \\ \end{align*}

Mathematica [F]

\[ \int \frac {-32 \log (3)+32 \log (3) \log \left (\frac {x}{3}\right )+(-8+16 x) \log (3) \log ^2\left (\frac {x}{3}\right )-8 \log (3) \log ^2\left (\frac {x}{3}\right ) \log (x)}{\left (-4 x \log \left (\frac {x}{3}\right )-x^2 \log ^2\left (\frac {x}{3}\right )+x \log ^2\left (\frac {x}{3}\right ) \log (x)\right ) \log ^2\left (\frac {16 x^2+8 x^3 \log \left (\frac {x}{3}\right )+x^4 \log ^2\left (\frac {x}{3}\right )+\left (-8 x^2 \log \left (\frac {x}{3}\right )-2 x^3 \log ^2\left (\frac {x}{3}\right )\right ) \log (x)+x^2 \log ^2\left (\frac {x}{3}\right ) \log ^2(x)}{\log ^2\left (\frac {x}{3}\right )}\right )} \, dx=\int \frac {-32 \log (3)+32 \log (3) \log \left (\frac {x}{3}\right )+(-8+16 x) \log (3) \log ^2\left (\frac {x}{3}\right )-8 \log (3) \log ^2\left (\frac {x}{3}\right ) \log (x)}{\left (-4 x \log \left (\frac {x}{3}\right )-x^2 \log ^2\left (\frac {x}{3}\right )+x \log ^2\left (\frac {x}{3}\right ) \log (x)\right ) \log ^2\left (\frac {16 x^2+8 x^3 \log \left (\frac {x}{3}\right )+x^4 \log ^2\left (\frac {x}{3}\right )+\left (-8 x^2 \log \left (\frac {x}{3}\right )-2 x^3 \log ^2\left (\frac {x}{3}\right )\right ) \log (x)+x^2 \log ^2\left (\frac {x}{3}\right ) \log ^2(x)}{\log ^2\left (\frac {x}{3}\right )}\right )} \, dx \]

[In]

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

[Out]

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

Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(66\) vs. \(2(27)=54\).

Time = 54.44 (sec) , antiderivative size = 67, normalized size of antiderivative = 2.31

method	result	size
parallelrisch	\(\frac {4 \ln \left (3\right )}{\ln \left (\frac {x^{2} \left (\ln \left (x \right )^{2} \ln \left (\frac {x}{3}\right )^{2}-2 x \ln \left (\frac {x}{3}\right )^{2} \ln \left (x \right )+x^{2} \ln \left (\frac {x}{3}\right )^{2}-8 \ln \left (\frac {x}{3}\right ) \ln \left (x \right )+8 x \ln \left (\frac {x}{3}\right )+16\right )}{\ln \left (\frac {x}{3}\right )^{2}}\right )}\)	\(67\)
default	\(\frac {4 \ln \left (3\right )}{\ln \left (\frac {x^{2} \left (\ln \left (x \right )^{4}-2 \ln \left (x \right )^{3} \ln \left (3\right )+\ln \left (3\right )^{2} \ln \left (x \right )^{2}-2 x \ln \left (x \right )^{3}+4 x \ln \left (3\right ) \ln \left (x \right )^{2}-2 x \ln \left (x \right ) \ln \left (3\right )^{2}+x^{2} \ln \left (x \right )^{2}-2 x^{2} \ln \left (3\right ) \ln \left (x \right )+x^{2} \ln \left (3\right )^{2}-8 \ln \left (x \right )^{2}+8 \ln \left (3\right ) \ln \left (x \right )+8 x \ln \left (x \right )-8 x \ln \left (3\right )+16\right )}{\left (\ln \left (x \right )-\ln \left (3\right )\right )^{2}}\right )}\)	\(116\)
risch	\(\text {Expression too large to display}\)	\(1002\)

[In]

int((-8*ln(3)*ln(1/3*x)^2*ln(x)+(16*x-8)*ln(3)*ln(1/3*x)^2+32*ln(3)*ln(1/3*x)-32*ln(3))/(x*ln(1/3*x)^2*ln(x)-x
^2*ln(1/3*x)^2-4*x*ln(1/3*x))/ln((x^2*ln(1/3*x)^2*ln(x)^2+(-2*x^3*ln(1/3*x)^2-8*x^2*ln(1/3*x))*ln(x)+x^4*ln(1/
3*x)^2+8*x^3*ln(1/3*x)+16*x^2)/ln(1/3*x)^2)^2,x,method=_RETURNVERBOSE)

[Out]

4*ln(3)/ln(x^2*(ln(x)^2*ln(1/3*x)^2-2*x*ln(1/3*x)^2*ln(x)+x^2*ln(1/3*x)^2-8*ln(1/3*x)*ln(x)+8*x*ln(1/3*x)+16)/
ln(1/3*x)^2)

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 97 vs. \(2 (27) = 54\).

Time = 0.26 (sec) , antiderivative size = 97, normalized size of antiderivative = 3.34 \[ \int \frac {-32 \log (3)+32 \log (3) \log \left (\frac {x}{3}\right )+(-8+16 x) \log (3) \log ^2\left (\frac {x}{3}\right )-8 \log (3) \log ^2\left (\frac {x}{3}\right ) \log (x)}{\left (-4 x \log \left (\frac {x}{3}\right )-x^2 \log ^2\left (\frac {x}{3}\right )+x \log ^2\left (\frac {x}{3}\right ) \log (x)\right ) \log ^2\left (\frac {16 x^2+8 x^3 \log \left (\frac {x}{3}\right )+x^4 \log ^2\left (\frac {x}{3}\right )+\left (-8 x^2 \log \left (\frac {x}{3}\right )-2 x^3 \log ^2\left (\frac {x}{3}\right )\right ) \log (x)+x^2 \log ^2\left (\frac {x}{3}\right ) \log ^2(x)}{\log ^2\left (\frac {x}{3}\right )}\right )} \, dx=\frac {4 \, \log \left (3\right )}{\log \left (\frac {x^{2} \log \left (\frac {1}{3} \, x\right )^{4} - 2 \, {\left (x^{3} - x^{2} \log \left (3\right )\right )} \log \left (\frac {1}{3} \, x\right )^{3} + {\left (x^{4} - 2 \, x^{3} \log \left (3\right ) + x^{2} \log \left (3\right )^{2} - 8 \, x^{2}\right )} \log \left (\frac {1}{3} \, x\right )^{2} + 16 \, x^{2} + 8 \, {\left (x^{3} - x^{2} \log \left (3\right )\right )} \log \left (\frac {1}{3} \, x\right )}{\log \left (\frac {1}{3} \, x\right )^{2}}\right )} \]

[In]

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

[Out]

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

Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 90 vs. \(2 (22) = 44\).

Time = 0.53 (sec) , antiderivative size = 90, normalized size of antiderivative = 3.10 \[ \int \frac {-32 \log (3)+32 \log (3) \log \left (\frac {x}{3}\right )+(-8+16 x) \log (3) \log ^2\left (\frac {x}{3}\right )-8 \log (3) \log ^2\left (\frac {x}{3}\right ) \log (x)}{\left (-4 x \log \left (\frac {x}{3}\right )-x^2 \log ^2\left (\frac {x}{3}\right )+x \log ^2\left (\frac {x}{3}\right ) \log (x)\right ) \log ^2\left (\frac {16 x^2+8 x^3 \log \left (\frac {x}{3}\right )+x^4 \log ^2\left (\frac {x}{3}\right )+\left (-8 x^2 \log \left (\frac {x}{3}\right )-2 x^3 \log ^2\left (\frac {x}{3}\right )\right ) \log (x)+x^2 \log ^2\left (\frac {x}{3}\right ) \log ^2(x)}{\log ^2\left (\frac {x}{3}\right )}\right )} \, dx=\frac {4 \log {\left (3 \right )}}{\log {\left (\frac {x^{4} \left (\log {\left (x \right )} - \log {\left (3 \right )}\right )^{2} + 8 x^{3} \left (\log {\left (x \right )} - \log {\left (3 \right )}\right ) + x^{2} \left (\log {\left (x \right )} - \log {\left (3 \right )}\right )^{2} \log {\left (x \right )}^{2} + 16 x^{2} + \left (- 2 x^{3} \left (\log {\left (x \right )} - \log {\left (3 \right )}\right )^{2} - 8 x^{2} \left (\log {\left (x \right )} - \log {\left (3 \right )}\right )\right ) \log {\left (x \right )}}{\left (\log {\left (x \right )} - \log {\left (3 \right )}\right )^{2}} \right )}} \]

[In]

integrate((-8*ln(3)*ln(1/3*x)**2*ln(x)+(16*x-8)*ln(3)*ln(1/3*x)**2+32*ln(3)*ln(1/3*x)-32*ln(3))/(x*ln(1/3*x)**
2*ln(x)-x**2*ln(1/3*x)**2-4*x*ln(1/3*x))/ln((x**2*ln(1/3*x)**2*ln(x)**2+(-2*x**3*ln(1/3*x)**2-8*x**2*ln(1/3*x)
)*ln(x)+x**4*ln(1/3*x)**2+8*x**3*ln(1/3*x)+16*x**2)/ln(1/3*x)**2)**2,x)

[Out]

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

Maxima [A] (verification not implemented)

none

Time = 0.38 (sec) , antiderivative size = 38, normalized size of antiderivative = 1.31 \[ \int \frac {-32 \log (3)+32 \log (3) \log \left (\frac {x}{3}\right )+(-8+16 x) \log (3) \log ^2\left (\frac {x}{3}\right )-8 \log (3) \log ^2\left (\frac {x}{3}\right ) \log (x)}{\left (-4 x \log \left (\frac {x}{3}\right )-x^2 \log ^2\left (\frac {x}{3}\right )+x \log ^2\left (\frac {x}{3}\right ) \log (x)\right ) \log ^2\left (\frac {16 x^2+8 x^3 \log \left (\frac {x}{3}\right )+x^4 \log ^2\left (\frac {x}{3}\right )+\left (-8 x^2 \log \left (\frac {x}{3}\right )-2 x^3 \log ^2\left (\frac {x}{3}\right )\right ) \log (x)+x^2 \log ^2\left (\frac {x}{3}\right ) \log ^2(x)}{\log ^2\left (\frac {x}{3}\right )}\right )} \, dx=\frac {2 \, \log \left (3\right )}{\log \left (x \log \left (3\right ) - {\left (x + \log \left (3\right )\right )} \log \left (x\right ) + \log \left (x\right )^{2} - 4\right ) + \log \left (x\right ) - \log \left (-\log \left (3\right ) + \log \left (x\right )\right )} \]

[In]

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

[Out]

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

Giac [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 125 vs. \(2 (27) = 54\).

Time = 5.08 (sec) , antiderivative size = 125, normalized size of antiderivative = 4.31 \[ \int \frac {-32 \log (3)+32 \log (3) \log \left (\frac {x}{3}\right )+(-8+16 x) \log (3) \log ^2\left (\frac {x}{3}\right )-8 \log (3) \log ^2\left (\frac {x}{3}\right ) \log (x)}{\left (-4 x \log \left (\frac {x}{3}\right )-x^2 \log ^2\left (\frac {x}{3}\right )+x \log ^2\left (\frac {x}{3}\right ) \log (x)\right ) \log ^2\left (\frac {16 x^2+8 x^3 \log \left (\frac {x}{3}\right )+x^4 \log ^2\left (\frac {x}{3}\right )+\left (-8 x^2 \log \left (\frac {x}{3}\right )-2 x^3 \log ^2\left (\frac {x}{3}\right )\right ) \log (x)+x^2 \log ^2\left (\frac {x}{3}\right ) \log ^2(x)}{\log ^2\left (\frac {x}{3}\right )}\right )} \, dx=\frac {4 \, \log \left (3\right )}{\log \left (x^{2} \log \left (3\right )^{2} - 2 \, x^{2} \log \left (3\right ) \log \left (x\right ) - 2 \, x \log \left (3\right )^{2} \log \left (x\right ) + x^{2} \log \left (x\right )^{2} + 4 \, x \log \left (3\right ) \log \left (x\right )^{2} + \log \left (3\right )^{2} \log \left (x\right )^{2} - 2 \, x \log \left (x\right )^{3} - 2 \, \log \left (3\right ) \log \left (x\right )^{3} + \log \left (x\right )^{4} - 8 \, x \log \left (3\right ) + 8 \, x \log \left (x\right ) + 8 \, \log \left (3\right ) \log \left (x\right ) - 8 \, \log \left (x\right )^{2} + 16\right ) - \log \left (\log \left (3\right )^{2} - 2 \, \log \left (3\right ) \log \left (x\right ) + \log \left (x\right )^{2}\right ) + 2 \, \log \left (x\right )} \]

[In]

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

[Out]

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

Mupad [B] (verification not implemented)

Time = 13.30 (sec) , antiderivative size = 78, normalized size of antiderivative = 2.69 \[ \int \frac {-32 \log (3)+32 \log (3) \log \left (\frac {x}{3}\right )+(-8+16 x) \log (3) \log ^2\left (\frac {x}{3}\right )-8 \log (3) \log ^2\left (\frac {x}{3}\right ) \log (x)}{\left (-4 x \log \left (\frac {x}{3}\right )-x^2 \log ^2\left (\frac {x}{3}\right )+x \log ^2\left (\frac {x}{3}\right ) \log (x)\right ) \log ^2\left (\frac {16 x^2+8 x^3 \log \left (\frac {x}{3}\right )+x^4 \log ^2\left (\frac {x}{3}\right )+\left (-8 x^2 \log \left (\frac {x}{3}\right )-2 x^3 \log ^2\left (\frac {x}{3}\right )\right ) \log (x)+x^2 \log ^2\left (\frac {x}{3}\right ) \log ^2(x)}{\log ^2\left (\frac {x}{3}\right )}\right )} \, dx=\frac {4\,\ln \left (3\right )}{\ln \left (\frac {8\,x^3\,\ln \left (\frac {x}{3}\right )+16\,x^2+x^4\,{\ln \left (\frac {x}{3}\right )}^2-\ln \left (x\right )\,\left (2\,x^3\,{\ln \left (\frac {x}{3}\right )}^2+8\,x^2\,\ln \left (\frac {x}{3}\right )\right )+x^2\,{\ln \left (\frac {x}{3}\right )}^2\,{\ln \left (x\right )}^2}{{\ln \left (\frac {x}{3}\right )}^2}\right )} \]

[In]

int((32*log(3) - 32*log(x/3)*log(3) + 8*log(x/3)^2*log(3)*log(x) - log(x/3)^2*log(3)*(16*x - 8))/(log((8*x^3*l
og(x/3) + 16*x^2 + x^4*log(x/3)^2 - log(x)*(8*x^2*log(x/3) + 2*x^3*log(x/3)^2) + x^2*log(x/3)^2*log(x)^2)/log(
x/3)^2)^2*(4*x*log(x/3) + x^2*log(x/3)^2 - x*log(x/3)^2*log(x))),x)

[Out]

(4*log(3))/log((8*x^3*log(x/3) + 16*x^2 + x^4*log(x/3)^2 - log(x)*(8*x^2*log(x/3) + 2*x^3*log(x/3)^2) + x^2*lo
g(x/3)^2*log(x)^2)/log(x/3)^2)