\(\int \frac {(-2 x+x^2+(2-2 x) \log (x)) \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))+((2 x-x^2) \log (x)+(-2 x+x^2) \log (x) \log (3 x)+((2 x^2-x^3) \log (x)+(-2 x^2+x^3) \log (x) \log (3 x)) \log (\log (x))) \log (\frac {-1-x \log (\log (x))}{-2 x+x^2}) \log (\log (\frac {-1-x \log (\log (x))}{-2 x+x^2}))+((2-x) \log (x)+(2 x-x^2) \log (x) \log (\log (x))) \log (\frac {-1-x \log (\log (x))}{-2 x+x^2}) \log (\log (\frac {-1-x \log (\log (x))}{-2 x+x^2})) \log (\log (\log (\frac {-1-x \log (\log (x))}{-2 x+x^2})))}{((-2 x+x^2) \log (x) \log ^2(3 x)+(-2 x^2+x^3) \log (x) \log ^2(3 x) \log (\log (x))) \log (\frac {-1-x \log (\log (x))}{-2 x+x^2}) \log (\log (\frac {-1-x \log (\log (x))}{-2 x+x^2}))} \, dx\) [922]

Optimal result

Integrand size = 306, antiderivative size = 27 \[ \int \frac {\left (-2 x+x^2+(2-2 x) \log (x)\right ) \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))+\left (\left (2 x-x^2\right ) \log (x)+\left (-2 x+x^2\right ) \log (x) \log (3 x)+\left (\left (2 x^2-x^3\right ) \log (x)+\left (-2 x^2+x^3\right ) \log (x) \log (3 x)\right ) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )+\left ((2-x) \log (x)+\left (2 x-x^2\right ) \log (x) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right ) \log \left (\log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )\right )}{\left (\left (-2 x+x^2\right ) \log (x) \log ^2(3 x)+\left (-2 x^2+x^3\right ) \log (x) \log ^2(3 x) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )} \, dx=\frac {x+\log \left (\log \left (\log \left (\frac {\frac {1}{x}+\log (\log (x))}{2-x}\right )\right )\right )}{\log (3 x)} \] Output:

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

Mathematica [A] (verified)

Time = 0.31 (sec) , antiderivative size = 36, normalized size of antiderivative = 1.33 \[ \int \frac {\left (-2 x+x^2+(2-2 x) \log (x)\right ) \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))+\left (\left (2 x-x^2\right ) \log (x)+\left (-2 x+x^2\right ) \log (x) \log (3 x)+\left (\left (2 x^2-x^3\right ) \log (x)+\left (-2 x^2+x^3\right ) \log (x) \log (3 x)\right ) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )+\left ((2-x) \log (x)+\left (2 x-x^2\right ) \log (x) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right ) \log \left (\log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )\right )}{\left (\left (-2 x+x^2\right ) \log (x) \log ^2(3 x)+\left (-2 x^2+x^3\right ) \log (x) \log ^2(3 x) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )} \, dx=\frac {x}{\log (3 x)}+\frac {\log \left (\log \left (\log \left (-\frac {1+x \log (\log (x))}{(-2+x) x}\right )\right )\right )}{\log (3 x)} \] Input:

Integrate[((-2*x + x^2 + (2 - 2*x)*Log[x])*Log[3*x] - x^2*Log[x]*Log[3*x]* 
Log[Log[x]] + ((2*x - x^2)*Log[x] + (-2*x + x^2)*Log[x]*Log[3*x] + ((2*x^2 
 - x^3)*Log[x] + (-2*x^2 + x^3)*Log[x]*Log[3*x])*Log[Log[x]])*Log[(-1 - x* 
Log[Log[x]])/(-2*x + x^2)]*Log[Log[(-1 - x*Log[Log[x]])/(-2*x + x^2)]] + ( 
(2 - x)*Log[x] + (2*x - x^2)*Log[x]*Log[Log[x]])*Log[(-1 - x*Log[Log[x]])/ 
(-2*x + x^2)]*Log[Log[(-1 - x*Log[Log[x]])/(-2*x + x^2)]]*Log[Log[Log[(-1 
- x*Log[Log[x]])/(-2*x + x^2)]]])/(((-2*x + x^2)*Log[x]*Log[3*x]^2 + (-2*x 
^2 + x^3)*Log[x]*Log[3*x]^2*Log[Log[x]])*Log[(-1 - x*Log[Log[x]])/(-2*x + 
x^2)]*Log[Log[(-1 - x*Log[Log[x]])/(-2*x + x^2)]]),x]
 

Output:

x/Log[3*x] + Log[Log[Log[-((1 + x*Log[Log[x]])/((-2 + x)*x))]]]/Log[3*x]
 

Rubi [F]

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {x^2 (-\log (x)) \log (3 x) \log (\log (x))+\left (x^2-2 x+(2-2 x) \log (x)\right ) \log (3 x)+\left (\left (2 x-x^2\right ) \log (\log (x)) \log (x)+(2-x) \log (x)\right ) \log \left (\frac {-x \log (\log (x))-1}{x^2-2 x}\right ) \log \left (\log \left (\frac {-x \log (\log (x))-1}{x^2-2 x}\right )\right ) \log \left (\log \left (\log \left (\frac {-x \log (\log (x))-1}{x^2-2 x}\right )\right )\right )+\left (\left (2 x-x^2\right ) \log (x)+\left (x^2-2 x\right ) \log (3 x) \log (x)+\left (\left (2 x^2-x^3\right ) \log (x)+\left (x^3-2 x^2\right ) \log (3 x) \log (x)\right ) \log (\log (x))\right ) \log \left (\frac {-x \log (\log (x))-1}{x^2-2 x}\right ) \log \left (\log \left (\frac {-x \log (\log (x))-1}{x^2-2 x}\right )\right )}{\left (\left (x^2-2 x\right ) \log (x) \log ^2(3 x)+\left (x^3-2 x^2\right ) \log (x) \log (\log (x)) \log ^2(3 x)\right ) \log \left (\frac {-x \log (\log (x))-1}{x^2-2 x}\right ) \log \left (\log \left (\frac {-x \log (\log (x))-1}{x^2-2 x}\right )\right )} \, dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\frac {((x-2) x-2 (x-1) \log (x)) \log (3 x)}{(x-2) x \log (x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-\frac {x \log (\log (x)) \log (3 x)}{(x-2) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}+\log (3 x)-\frac {\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x}-1}{\log ^2(3 x)}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {x^3 (-\log (x)) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^3 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))-x^2 \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 x^2 \log (x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x^2 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x)-2 x \log (3 x)+2 x \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 \log (x) \log (3 x)}{(x-2) x \log (x) \log ^2(3 x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-\frac {\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\frac {\log (3 x) \left (\log (x) \left (x^2 \log (\log (x)) \left ((x-2) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-1\right )-2 x+(x-2) x \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2\right )+(x-2) x\right )}{(x-2) \log (x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-x-\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {x^3 (-\log (x)) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^3 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))-x^2 \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 x^2 \log (x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x^2 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x)-2 x \log (3 x)+2 x \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 \log (x) \log (3 x)}{(x-2) x \log (x) \log ^2(3 x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-\frac {\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\frac {\log (3 x) \left (\log (x) \left (x^2 \log (\log (x)) \left ((x-2) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-1\right )-2 x+(x-2) x \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2\right )+(x-2) x\right )}{(x-2) \log (x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-x-\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {x^3 (-\log (x)) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^3 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))-x^2 \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 x^2 \log (x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x^2 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x)-2 x \log (3 x)+2 x \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 \log (x) \log (3 x)}{(x-2) x \log (x) \log ^2(3 x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-\frac {\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\frac {\log (3 x) \left (\log (x) \left (x^2 \log (\log (x)) \left ((x-2) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-1\right )-2 x+(x-2) x \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2\right )+(x-2) x\right )}{(x-2) \log (x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-x-\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {x^3 (-\log (x)) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^3 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))-x^2 \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 x^2 \log (x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x^2 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x)-2 x \log (3 x)+2 x \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 \log (x) \log (3 x)}{(x-2) x \log (x) \log ^2(3 x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-\frac {\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\frac {\log (3 x) \left (\log (x) \left (x^2 \log (\log (x)) \left ((x-2) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-1\right )-2 x+(x-2) x \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2\right )+(x-2) x\right )}{(x-2) \log (x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-x-\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {x^3 (-\log (x)) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^3 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))-x^2 \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 x^2 \log (x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x^2 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x)-2 x \log (3 x)+2 x \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 \log (x) \log (3 x)}{(x-2) x \log (x) \log ^2(3 x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-\frac {\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\frac {\log (3 x) \left (\log (x) \left (x^2 \log (\log (x)) \left ((x-2) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-1\right )-2 x+(x-2) x \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2\right )+(x-2) x\right )}{(x-2) \log (x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-x-\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {x^3 (-\log (x)) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^3 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))-x^2 \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 x^2 \log (x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x^2 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x)-2 x \log (3 x)+2 x \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 \log (x) \log (3 x)}{(x-2) x \log (x) \log ^2(3 x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-\frac {\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\frac {\log (3 x) \left (\log (x) \left (x^2 \log (\log (x)) \left ((x-2) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-1\right )-2 x+(x-2) x \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2\right )+(x-2) x\right )}{(x-2) \log (x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-x-\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {x^3 (-\log (x)) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^3 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))-x^2 \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 x^2 \log (x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x^2 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x)-2 x \log (3 x)+2 x \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 \log (x) \log (3 x)}{(x-2) x \log (x) \log ^2(3 x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-\frac {\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\frac {\log (3 x) \left (\log (x) \left (x^2 \log (\log (x)) \left ((x-2) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-1\right )-2 x+(x-2) x \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2\right )+(x-2) x\right )}{(x-2) \log (x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-x-\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {x^3 (-\log (x)) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^3 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))-x^2 \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 x^2 \log (x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x^2 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x)-2 x \log (3 x)+2 x \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 \log (x) \log (3 x)}{(x-2) x \log (x) \log ^2(3 x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-\frac {\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\frac {\log (3 x) \left (\log (x) \left (x^2 \log (\log (x)) \left ((x-2) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-1\right )-2 x+(x-2) x \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2\right )+(x-2) x\right )}{(x-2) \log (x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-x-\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {x^3 (-\log (x)) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^3 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))-x^2 \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 x^2 \log (x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x^2 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x)-2 x \log (3 x)+2 x \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 \log (x) \log (3 x)}{(x-2) x \log (x) \log ^2(3 x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-\frac {\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\frac {\log (3 x) \left (\log (x) \left (x^2 \log (\log (x)) \left ((x-2) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-1\right )-2 x+(x-2) x \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2\right )+(x-2) x\right )}{(x-2) \log (x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-x-\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {x^3 (-\log (x)) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^3 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))-x^2 \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 x^2 \log (x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x^2 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x)-2 x \log (3 x)+2 x \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 \log (x) \log (3 x)}{(x-2) x \log (x) \log ^2(3 x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-\frac {\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\frac {\log (3 x) \left (\log (x) \left (x^2 \log (\log (x)) \left ((x-2) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-1\right )-2 x+(x-2) x \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2\right )+(x-2) x\right )}{(x-2) \log (x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-x-\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {x^3 (-\log (x)) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^3 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))-x^2 \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 x^2 \log (x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x^2 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x)-2 x \log (3 x)+2 x \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 \log (x) \log (3 x)}{(x-2) x \log (x) \log ^2(3 x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-\frac {\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\frac {\log (3 x) \left (\log (x) \left (x^2 \log (\log (x)) \left ((x-2) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-1\right )-2 x+(x-2) x \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2\right )+(x-2) x\right )}{(x-2) \log (x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-x-\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {x^3 (-\log (x)) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^3 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))-x^2 \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 x^2 \log (x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x^2 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x)-2 x \log (3 x)+2 x \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 \log (x) \log (3 x)}{(x-2) x \log (x) \log ^2(3 x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-\frac {\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\frac {\log (3 x) \left (\log (x) \left (x^2 \log (\log (x)) \left ((x-2) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-1\right )-2 x+(x-2) x \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2\right )+(x-2) x\right )}{(x-2) \log (x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-x-\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {x^3 (-\log (x)) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^3 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))-x^2 \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 x^2 \log (x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x^2 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x)-2 x \log (3 x)+2 x \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 \log (x) \log (3 x)}{(x-2) x \log (x) \log ^2(3 x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-\frac {\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\frac {\log (3 x) \left (\log (x) \left (x^2 \log (\log (x)) \left ((x-2) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-1\right )-2 x+(x-2) x \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2\right )+(x-2) x\right )}{(x-2) \log (x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-x-\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {x^3 (-\log (x)) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^3 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))-x^2 \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 x^2 \log (x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x^2 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x)-2 x \log (3 x)+2 x \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 \log (x) \log (3 x)}{(x-2) x \log (x) \log ^2(3 x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-\frac {\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {\frac {\log (3 x) \left (\log (x) \left (x^2 \log (\log (x)) \left ((x-2) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-1\right )-2 x+(x-2) x \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2\right )+(x-2) x\right )}{(x-2) \log (x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-x-\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {x^3 (-\log (x)) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^3 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))-x^2 \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+x^2 \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 x^2 \log (x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x^2 \log (x) \log (3 x) \log (\log (x)) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x)-2 x \log (3 x)+2 x \log (x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )-2 x \log (x) \log (3 x) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )+2 \log (x) \log (3 x)}{(x-2) x \log (x) \log ^2(3 x) (x \log (\log (x))+1) \log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right ) \log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )}-\frac {\log \left (\log \left (\log \left (-\frac {x \log (\log (x))+1}{(x-2) x}\right )\right )\right )}{x \log ^2(3 x)}\right )dx\)

Input:

Int[((-2*x + x^2 + (2 - 2*x)*Log[x])*Log[3*x] - x^2*Log[x]*Log[3*x]*Log[Lo 
g[x]] + ((2*x - x^2)*Log[x] + (-2*x + x^2)*Log[x]*Log[3*x] + ((2*x^2 - x^3 
)*Log[x] + (-2*x^2 + x^3)*Log[x]*Log[3*x])*Log[Log[x]])*Log[(-1 - x*Log[Lo 
g[x]])/(-2*x + x^2)]*Log[Log[(-1 - x*Log[Log[x]])/(-2*x + x^2)]] + ((2 - x 
)*Log[x] + (2*x - x^2)*Log[x]*Log[Log[x]])*Log[(-1 - x*Log[Log[x]])/(-2*x 
+ x^2)]*Log[Log[(-1 - x*Log[Log[x]])/(-2*x + x^2)]]*Log[Log[Log[(-1 - x*Lo 
g[Log[x]])/(-2*x + x^2)]]])/(((-2*x + x^2)*Log[x]*Log[3*x]^2 + (-2*x^2 + x 
^3)*Log[x]*Log[3*x]^2*Log[Log[x]])*Log[(-1 - x*Log[Log[x]])/(-2*x + x^2)]* 
Log[Log[(-1 - x*Log[Log[x]])/(-2*x + x^2)]]),x]
 

Output:

$Aborted
 

Maple [C] (warning: unable to verify)

Result contains higher order function than in optimal. Order 9 vs. order 3.

Time = 2.10 (sec) , antiderivative size = 268, normalized size of antiderivative = 9.93

\[\frac {2 \ln \left (\ln \left (i \pi -\ln \left (x \right )-\ln \left (-2+x \right )+\ln \left (x \ln \left (\ln \left (x \right )\right )+1\right )-\frac {i \pi \,\operatorname {csgn}\left (\frac {i \left (x \ln \left (\ln \left (x \right )\right )+1\right )}{-2+x}\right ) \left (-\operatorname {csgn}\left (\frac {i \left (x \ln \left (\ln \left (x \right )\right )+1\right )}{-2+x}\right )+\operatorname {csgn}\left (\frac {i}{-2+x}\right )\right ) \left (-\operatorname {csgn}\left (\frac {i \left (x \ln \left (\ln \left (x \right )\right )+1\right )}{-2+x}\right )+\operatorname {csgn}\left (i \left (x \ln \left (\ln \left (x \right )\right )+1\right )\right )\right )}{2}-\frac {i \pi \,\operatorname {csgn}\left (\frac {i \left (x \ln \left (\ln \left (x \right )\right )+1\right )}{x \left (-2+x \right )}\right ) \left (-\operatorname {csgn}\left (\frac {i \left (x \ln \left (\ln \left (x \right )\right )+1\right )}{x \left (-2+x \right )}\right )+\operatorname {csgn}\left (\frac {i}{x}\right )\right ) \left (-\operatorname {csgn}\left (\frac {i \left (x \ln \left (\ln \left (x \right )\right )+1\right )}{x \left (-2+x \right )}\right )+\operatorname {csgn}\left (\frac {i \left (x \ln \left (\ln \left (x \right )\right )+1\right )}{-2+x}\right )\right )}{2}+i \pi \operatorname {csgn}\left (\frac {i \left (x \ln \left (\ln \left (x \right )\right )+1\right )}{x \left (-2+x \right )}\right )^{2} \left (\operatorname {csgn}\left (\frac {i \left (x \ln \left (\ln \left (x \right )\right )+1\right )}{x \left (-2+x \right )}\right )-1\right )\right )\right )}{2 \ln \left (3\right )+2 \ln \left (x \right )}+\frac {2 x}{2 \ln \left (3\right )+2 \ln \left (x \right )}\]

Input:

int((((-x^2+2*x)*ln(x)*ln(ln(x))+(2-x)*ln(x))*ln((-x*ln(ln(x))-1)/(x^2-2*x 
))*ln(ln((-x*ln(ln(x))-1)/(x^2-2*x)))*ln(ln(ln((-x*ln(ln(x))-1)/(x^2-2*x)) 
))+(((x^3-2*x^2)*ln(x)*ln(3*x)+(-x^3+2*x^2)*ln(x))*ln(ln(x))+(x^2-2*x)*ln( 
x)*ln(3*x)+(-x^2+2*x)*ln(x))*ln((-x*ln(ln(x))-1)/(x^2-2*x))*ln(ln((-x*ln(l 
n(x))-1)/(x^2-2*x)))-x^2*ln(x)*ln(3*x)*ln(ln(x))+((2-2*x)*ln(x)+x^2-2*x)*l 
n(3*x))/((x^3-2*x^2)*ln(x)*ln(3*x)^2*ln(ln(x))+(x^2-2*x)*ln(x)*ln(3*x)^2)/ 
ln((-x*ln(ln(x))-1)/(x^2-2*x))/ln(ln((-x*ln(ln(x))-1)/(x^2-2*x))),x)
 

Output:

2/(2*ln(3)+2*ln(x))*ln(ln(I*Pi-ln(x)-ln(-2+x)+ln(x*ln(ln(x))+1)-1/2*I*Pi*c 
sgn(I/(-2+x)*(x*ln(ln(x))+1))*(-csgn(I/(-2+x)*(x*ln(ln(x))+1))+csgn(I/(-2+ 
x)))*(-csgn(I/(-2+x)*(x*ln(ln(x))+1))+csgn(I*(x*ln(ln(x))+1)))-1/2*I*Pi*cs 
gn(I/x/(-2+x)*(x*ln(ln(x))+1))*(-csgn(I/x/(-2+x)*(x*ln(ln(x))+1))+csgn(I/x 
))*(-csgn(I/x/(-2+x)*(x*ln(ln(x))+1))+csgn(I/(-2+x)*(x*ln(ln(x))+1)))+I*Pi 
*csgn(I/x/(-2+x)*(x*ln(ln(x))+1))^2*(csgn(I/x/(-2+x)*(x*ln(ln(x))+1))-1))) 
+2*x/(2*ln(3)+2*ln(x))
 

Fricas [A] (verification not implemented)

Time = 0.10 (sec) , antiderivative size = 31, normalized size of antiderivative = 1.15 \[ \int \frac {\left (-2 x+x^2+(2-2 x) \log (x)\right ) \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))+\left (\left (2 x-x^2\right ) \log (x)+\left (-2 x+x^2\right ) \log (x) \log (3 x)+\left (\left (2 x^2-x^3\right ) \log (x)+\left (-2 x^2+x^3\right ) \log (x) \log (3 x)\right ) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )+\left ((2-x) \log (x)+\left (2 x-x^2\right ) \log (x) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right ) \log \left (\log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )\right )}{\left (\left (-2 x+x^2\right ) \log (x) \log ^2(3 x)+\left (-2 x^2+x^3\right ) \log (x) \log ^2(3 x) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )} \, dx=\frac {x + \log \left (\log \left (\log \left (-\frac {x \log \left (\log \left (x\right )\right ) + 1}{x^{2} - 2 \, x}\right )\right )\right )}{\log \left (3\right ) + \log \left (x\right )} \] Input:

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

Output:

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

Sympy [F(-1)]

Timed out. \[ \int \frac {\left (-2 x+x^2+(2-2 x) \log (x)\right ) \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))+\left (\left (2 x-x^2\right ) \log (x)+\left (-2 x+x^2\right ) \log (x) \log (3 x)+\left (\left (2 x^2-x^3\right ) \log (x)+\left (-2 x^2+x^3\right ) \log (x) \log (3 x)\right ) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )+\left ((2-x) \log (x)+\left (2 x-x^2\right ) \log (x) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right ) \log \left (\log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )\right )}{\left (\left (-2 x+x^2\right ) \log (x) \log ^2(3 x)+\left (-2 x^2+x^3\right ) \log (x) \log ^2(3 x) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )} \, dx=\text {Timed out} \] Input:

integrate((((-x**2+2*x)*ln(x)*ln(ln(x))+(2-x)*ln(x))*ln((-x*ln(ln(x))-1)/( 
x**2-2*x))*ln(ln((-x*ln(ln(x))-1)/(x**2-2*x)))*ln(ln(ln((-x*ln(ln(x))-1)/( 
x**2-2*x))))+(((x**3-2*x**2)*ln(x)*ln(3*x)+(-x**3+2*x**2)*ln(x))*ln(ln(x)) 
+(x**2-2*x)*ln(x)*ln(3*x)+(-x**2+2*x)*ln(x))*ln((-x*ln(ln(x))-1)/(x**2-2*x 
))*ln(ln((-x*ln(ln(x))-1)/(x**2-2*x)))-x**2*ln(x)*ln(3*x)*ln(ln(x))+((2-2* 
x)*ln(x)+x**2-2*x)*ln(3*x))/((x**3-2*x**2)*ln(x)*ln(3*x)**2*ln(ln(x))+(x** 
2-2*x)*ln(x)*ln(3*x)**2)/ln((-x*ln(ln(x))-1)/(x**2-2*x))/ln(ln((-x*ln(ln(x 
))-1)/(x**2-2*x))),x)
 

Output:

Timed out
 

Maxima [A] (verification not implemented)

Time = 0.32 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.22 \[ \int \frac {\left (-2 x+x^2+(2-2 x) \log (x)\right ) \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))+\left (\left (2 x-x^2\right ) \log (x)+\left (-2 x+x^2\right ) \log (x) \log (3 x)+\left (\left (2 x^2-x^3\right ) \log (x)+\left (-2 x^2+x^3\right ) \log (x) \log (3 x)\right ) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )+\left ((2-x) \log (x)+\left (2 x-x^2\right ) \log (x) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right ) \log \left (\log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )\right )}{\left (\left (-2 x+x^2\right ) \log (x) \log ^2(3 x)+\left (-2 x^2+x^3\right ) \log (x) \log ^2(3 x) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )} \, dx=\frac {x + \log \left (\log \left (\log \left (x \log \left (\log \left (x\right )\right ) + 1\right ) - \log \left (x\right ) - \log \left (-x + 2\right )\right )\right )}{\log \left (3\right ) + \log \left (x\right )} \] Input:

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

Output:

(x + log(log(log(x*log(log(x)) + 1) - log(x) - log(-x + 2))))/(log(3) + lo 
g(x))
 

Giac [A] (verification not implemented)

Time = 1.63 (sec) , antiderivative size = 40, normalized size of antiderivative = 1.48 \[ \int \frac {\left (-2 x+x^2+(2-2 x) \log (x)\right ) \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))+\left (\left (2 x-x^2\right ) \log (x)+\left (-2 x+x^2\right ) \log (x) \log (3 x)+\left (\left (2 x^2-x^3\right ) \log (x)+\left (-2 x^2+x^3\right ) \log (x) \log (3 x)\right ) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )+\left ((2-x) \log (x)+\left (2 x-x^2\right ) \log (x) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right ) \log \left (\log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )\right )}{\left (\left (-2 x+x^2\right ) \log (x) \log ^2(3 x)+\left (-2 x^2+x^3\right ) \log (x) \log ^2(3 x) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )} \, dx=\frac {x}{\log \left (3\right ) + \log \left (x\right )} + \frac {\log \left (\log \left (\log \left (-x \log \left (\log \left (x\right )\right ) - 1\right ) - \log \left (x - 2\right ) - \log \left (x\right )\right )\right )}{\log \left (3\right ) + \log \left (x\right )} \] Input:

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

Output:

x/(log(3) + log(x)) + log(log(log(-x*log(log(x)) - 1) - log(x - 2) - log(x 
)))/(log(3) + log(x))
 

Mupad [B] (verification not implemented)

Time = 14.51 (sec) , antiderivative size = 31, normalized size of antiderivative = 1.15 \[ \int \frac {\left (-2 x+x^2+(2-2 x) \log (x)\right ) \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))+\left (\left (2 x-x^2\right ) \log (x)+\left (-2 x+x^2\right ) \log (x) \log (3 x)+\left (\left (2 x^2-x^3\right ) \log (x)+\left (-2 x^2+x^3\right ) \log (x) \log (3 x)\right ) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )+\left ((2-x) \log (x)+\left (2 x-x^2\right ) \log (x) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right ) \log \left (\log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )\right )}{\left (\left (-2 x+x^2\right ) \log (x) \log ^2(3 x)+\left (-2 x^2+x^3\right ) \log (x) \log ^2(3 x) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )} \, dx=\frac {x+\ln \left (\ln \left (\ln \left (\frac {x\,\ln \left (\ln \left (x\right )\right )+1}{2\,x-x^2}\right )\right )\right )}{\ln \left (3\,x\right )} \] Input:

int((log(3*x)*(2*x + log(x)*(2*x - 2) - x^2) - log((x*log(log(x)) + 1)/(2* 
x - x^2))*log(log((x*log(log(x)) + 1)/(2*x - x^2)))*(log(log(x))*(log(x)*( 
2*x^2 - x^3) - log(3*x)*log(x)*(2*x^2 - x^3)) + log(x)*(2*x - x^2) - log(3 
*x)*log(x)*(2*x - x^2)) + log((x*log(log(x)) + 1)/(2*x - x^2))*log(log((x* 
log(log(x)) + 1)/(2*x - x^2)))*log(log(log((x*log(log(x)) + 1)/(2*x - x^2) 
)))*(log(x)*(x - 2) - log(log(x))*log(x)*(2*x - x^2)) + x^2*log(3*x)*log(l 
og(x))*log(x))/(log((x*log(log(x)) + 1)/(2*x - x^2))*log(log((x*log(log(x) 
) + 1)/(2*x - x^2)))*(log(3*x)^2*log(x)*(2*x - x^2) + log(3*x)^2*log(log(x 
))*log(x)*(2*x^2 - x^3))),x)
                                                                                    
                                                                                    
 

Output:

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

Reduce [F]

\[ \int \frac {\left (-2 x+x^2+(2-2 x) \log (x)\right ) \log (3 x)-x^2 \log (x) \log (3 x) \log (\log (x))+\left (\left (2 x-x^2\right ) \log (x)+\left (-2 x+x^2\right ) \log (x) \log (3 x)+\left (\left (2 x^2-x^3\right ) \log (x)+\left (-2 x^2+x^3\right ) \log (x) \log (3 x)\right ) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )+\left ((2-x) \log (x)+\left (2 x-x^2\right ) \log (x) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right ) \log \left (\log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )\right )}{\left (\left (-2 x+x^2\right ) \log (x) \log ^2(3 x)+\left (-2 x^2+x^3\right ) \log (x) \log ^2(3 x) \log (\log (x))\right ) \log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right ) \log \left (\log \left (\frac {-1-x \log (\log (x))}{-2 x+x^2}\right )\right )} \, dx=\int \frac {\left (\left (-x^{2}+2 x \right ) \mathrm {log}\left (x \right ) \mathrm {log}\left (\mathrm {log}\left (x \right )\right )+\left (-x +2\right ) \mathrm {log}\left (x \right )\right ) \mathrm {log}\left (\frac {-\mathrm {log}\left (\mathrm {log}\left (x \right )\right ) x -1}{x^{2}-2 x}\right ) \mathrm {log}\left (\mathrm {log}\left (\frac {-\mathrm {log}\left (\mathrm {log}\left (x \right )\right ) x -1}{x^{2}-2 x}\right )\right ) \mathrm {log}\left (\mathrm {log}\left (\mathrm {log}\left (\frac {-\mathrm {log}\left (\mathrm {log}\left (x \right )\right ) x -1}{x^{2}-2 x}\right )\right )\right )+\left (\left (\left (x^{3}-2 x^{2}\right ) \mathrm {log}\left (x \right ) \mathrm {log}\left (3 x \right )+\left (-x^{3}+2 x^{2}\right ) \mathrm {log}\left (x \right )\right ) \mathrm {log}\left (\mathrm {log}\left (x \right )\right )+\left (x^{2}-2 x \right ) \mathrm {log}\left (x \right ) \mathrm {log}\left (3 x \right )+\left (-x^{2}+2 x \right ) \mathrm {log}\left (x \right )\right ) \mathrm {log}\left (\frac {-\mathrm {log}\left (\mathrm {log}\left (x \right )\right ) x -1}{x^{2}-2 x}\right ) \mathrm {log}\left (\mathrm {log}\left (\frac {-\mathrm {log}\left (\mathrm {log}\left (x \right )\right ) x -1}{x^{2}-2 x}\right )\right )-x^{2} \mathrm {log}\left (x \right ) \mathrm {log}\left (3 x \right ) \mathrm {log}\left (\mathrm {log}\left (x \right )\right )+\left (\left (2-2 x \right ) \mathrm {log}\left (x \right )+x^{2}-2 x \right ) \mathrm {log}\left (3 x \right )}{\left (\left (x^{3}-2 x^{2}\right ) \mathrm {log}\left (x \right ) \mathrm {log}\left (3 x \right )^{2} \mathrm {log}\left (\mathrm {log}\left (x \right )\right )+\left (x^{2}-2 x \right ) \mathrm {log}\left (x \right ) \mathrm {log}\left (3 x \right )^{2}\right ) \mathrm {log}\left (\frac {-\mathrm {log}\left (\mathrm {log}\left (x \right )\right ) x -1}{x^{2}-2 x}\right ) \mathrm {log}\left (\mathrm {log}\left (\frac {-\mathrm {log}\left (\mathrm {log}\left (x \right )\right ) x -1}{x^{2}-2 x}\right )\right )}d x \] Input:

int((((-x^2+2*x)*log(x)*log(log(x))+(2-x)*log(x))*log((-x*log(log(x))-1)/( 
x^2-2*x))*log(log((-x*log(log(x))-1)/(x^2-2*x)))*log(log(log((-x*log(log(x 
))-1)/(x^2-2*x))))+(((x^3-2*x^2)*log(x)*log(3*x)+(-x^3+2*x^2)*log(x))*log( 
log(x))+(x^2-2*x)*log(x)*log(3*x)+(-x^2+2*x)*log(x))*log((-x*log(log(x))-1 
)/(x^2-2*x))*log(log((-x*log(log(x))-1)/(x^2-2*x)))-x^2*log(x)*log(3*x)*lo 
g(log(x))+((2-2*x)*log(x)+x^2-2*x)*log(3*x))/((x^3-2*x^2)*log(x)*log(3*x)^ 
2*log(log(x))+(x^2-2*x)*log(x)*log(3*x)^2)/log((-x*log(log(x))-1)/(x^2-2*x 
))/log(log((-x*log(log(x))-1)/(x^2-2*x))),x)
 

Output:

int((((-x^2+2*x)*log(x)*log(log(x))+(2-x)*log(x))*log((-x*log(log(x))-1)/( 
x^2-2*x))*log(log((-x*log(log(x))-1)/(x^2-2*x)))*log(log(log((-x*log(log(x 
))-1)/(x^2-2*x))))+(((x^3-2*x^2)*log(x)*log(3*x)+(-x^3+2*x^2)*log(x))*log( 
log(x))+(x^2-2*x)*log(x)*log(3*x)+(-x^2+2*x)*log(x))*log((-x*log(log(x))-1 
)/(x^2-2*x))*log(log((-x*log(log(x))-1)/(x^2-2*x)))-x^2*log(x)*log(3*x)*lo 
g(log(x))+((2-2*x)*log(x)+x^2-2*x)*log(3*x))/((x^3-2*x^2)*log(x)*log(3*x)^ 
2*log(log(x))+(x^2-2*x)*log(x)*log(3*x)^2)/log((-x*log(log(x))-1)/(x^2-2*x 
))/log(log((-x*log(log(x))-1)/(x^2-2*x))),x)