3.9.34 \(\int \frac {6 x^2+2 x^3+(48 x+4 x^2-4 x^3) \log (-4+x) \log (\log (-4+x))+(-2 x^2+(-40 x+2 x^2+2 x^3) \log (-4+x) \log (\log (-4+x))) \log (\frac {4}{x \log (\log (-4+x))})+(8 x-2 x^2) \log (-4+x) \log (\log (-4+x)) \log ^2(\frac {4}{x \log (\log (-4+x))})}{(-324-351 x-180 x^2-24 x^3+8 x^4+4 x^5) \log (-4+x) \log (\log (-4+x))+(432+324 x+84 x^2-16 x^3-8 x^4) \log (-4+x) \log (\log (-4+x)) \log (\frac {4}{x \log (\log (-4+x))})+(-216-90 x+4 x^2+8 x^3) \log (-4+x) \log (\log (-4+x)) \log ^2(\frac {4}{x \log (\log (-4+x))})+(48+4 x-4 x^2) \log (-4+x) \log (\log (-4+x)) \log ^3(\frac {4}{x \log (\log (-4+x))})+(-4+x) \log (-4+x) \log (\log (-4+x)) \log ^4(\frac {4}{x \log (\log (-4+x))})} \, dx\) [834]

3.9.34.1 Optimal result
3.9.34.2 Mathematica [A] (verified)
3.9.34.3 Rubi [F]
3.9.34.4 Maple [A] (verified)
3.9.34.5 Fricas [A] (verification not implemented)
3.9.34.6 Sympy [A] (verification not implemented)
3.9.34.7 Maxima [B] (verification not implemented)
3.9.34.8 Giac [F(-1)]
3.9.34.9 Mupad [F(-1)]

3.9.34.1 Optimal result

Integrand size = 298, antiderivative size = 34 \[ \int \frac {6 x^2+2 x^3+\left (48 x+4 x^2-4 x^3\right ) \log (-4+x) \log (\log (-4+x))+\left (-2 x^2+\left (-40 x+2 x^2+2 x^3\right ) \log (-4+x) \log (\log (-4+x))\right ) \log \left (\frac {4}{x \log (\log (-4+x))}\right )+\left (8 x-2 x^2\right ) \log (-4+x) \log (\log (-4+x)) \log ^2\left (\frac {4}{x \log (\log (-4+x))}\right )}{\left (-324-351 x-180 x^2-24 x^3+8 x^4+4 x^5\right ) \log (-4+x) \log (\log (-4+x))+\left (432+324 x+84 x^2-16 x^3-8 x^4\right ) \log (-4+x) \log (\log (-4+x)) \log \left (\frac {4}{x \log (\log (-4+x))}\right )+\left (-216-90 x+4 x^2+8 x^3\right ) \log (-4+x) \log (\log (-4+x)) \log ^2\left (\frac {4}{x \log (\log (-4+x))}\right )+\left (48+4 x-4 x^2\right ) \log (-4+x) \log (\log (-4+x)) \log ^3\left (\frac {4}{x \log (\log (-4+x))}\right )+(-4+x) \log (-4+x) \log (\log (-4+x)) \log ^4\left (\frac {4}{x \log (\log (-4+x))}\right )} \, dx=\frac {x^2}{-x^2-\left (3+x-\log \left (\frac {4}{x \log (\log (-4+x))}\right )\right )^2} \]

output
x^2/(-x^2-(x+3-ln(4/x/ln(ln(x-4))))^2)
 
3.9.34.2 Mathematica [A] (verified)

Time = 0.20 (sec) , antiderivative size = 50, normalized size of antiderivative = 1.47 \[ \int \frac {6 x^2+2 x^3+\left (48 x+4 x^2-4 x^3\right ) \log (-4+x) \log (\log (-4+x))+\left (-2 x^2+\left (-40 x+2 x^2+2 x^3\right ) \log (-4+x) \log (\log (-4+x))\right ) \log \left (\frac {4}{x \log (\log (-4+x))}\right )+\left (8 x-2 x^2\right ) \log (-4+x) \log (\log (-4+x)) \log ^2\left (\frac {4}{x \log (\log (-4+x))}\right )}{\left (-324-351 x-180 x^2-24 x^3+8 x^4+4 x^5\right ) \log (-4+x) \log (\log (-4+x))+\left (432+324 x+84 x^2-16 x^3-8 x^4\right ) \log (-4+x) \log (\log (-4+x)) \log \left (\frac {4}{x \log (\log (-4+x))}\right )+\left (-216-90 x+4 x^2+8 x^3\right ) \log (-4+x) \log (\log (-4+x)) \log ^2\left (\frac {4}{x \log (\log (-4+x))}\right )+\left (48+4 x-4 x^2\right ) \log (-4+x) \log (\log (-4+x)) \log ^3\left (\frac {4}{x \log (\log (-4+x))}\right )+(-4+x) \log (-4+x) \log (\log (-4+x)) \log ^4\left (\frac {4}{x \log (\log (-4+x))}\right )} \, dx=-\frac {x^2}{9+6 x+2 x^2-2 (3+x) \log \left (\frac {4}{x \log (\log (-4+x))}\right )+\log ^2\left (\frac {4}{x \log (\log (-4+x))}\right )} \]

input
Integrate[(6*x^2 + 2*x^3 + (48*x + 4*x^2 - 4*x^3)*Log[-4 + x]*Log[Log[-4 + 
 x]] + (-2*x^2 + (-40*x + 2*x^2 + 2*x^3)*Log[-4 + x]*Log[Log[-4 + x]])*Log 
[4/(x*Log[Log[-4 + x]])] + (8*x - 2*x^2)*Log[-4 + x]*Log[Log[-4 + x]]*Log[ 
4/(x*Log[Log[-4 + x]])]^2)/((-324 - 351*x - 180*x^2 - 24*x^3 + 8*x^4 + 4*x 
^5)*Log[-4 + x]*Log[Log[-4 + x]] + (432 + 324*x + 84*x^2 - 16*x^3 - 8*x^4) 
*Log[-4 + x]*Log[Log[-4 + x]]*Log[4/(x*Log[Log[-4 + x]])] + (-216 - 90*x + 
 4*x^2 + 8*x^3)*Log[-4 + x]*Log[Log[-4 + x]]*Log[4/(x*Log[Log[-4 + x]])]^2 
 + (48 + 4*x - 4*x^2)*Log[-4 + x]*Log[Log[-4 + x]]*Log[4/(x*Log[Log[-4 + x 
]])]^3 + (-4 + x)*Log[-4 + x]*Log[Log[-4 + x]]*Log[4/(x*Log[Log[-4 + x]])] 
^4),x]
 
output
-(x^2/(9 + 6*x + 2*x^2 - 2*(3 + x)*Log[4/(x*Log[Log[-4 + x]])] + Log[4/(x* 
Log[Log[-4 + x]])]^2))
 
3.9.34.3 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 {2 x^3+6 x^2+\left (8 x-2 x^2\right ) \log (x-4) \log (\log (x-4)) \log ^2\left (\frac {4}{x \log (\log (x-4))}\right )+\left (-4 x^3+4 x^2+48 x\right ) \log (x-4) \log (\log (x-4))+\left (\left (2 x^3+2 x^2-40 x\right ) \log (x-4) \log (\log (x-4))-2 x^2\right ) \log \left (\frac {4}{x \log (\log (x-4))}\right )}{\left (-4 x^2+4 x+48\right ) \log (x-4) \log (\log (x-4)) \log ^3\left (\frac {4}{x \log (\log (x-4))}\right )+\left (8 x^3+4 x^2-90 x-216\right ) \log (x-4) \log (\log (x-4)) \log ^2\left (\frac {4}{x \log (\log (x-4))}\right )+\left (-8 x^4-16 x^3+84 x^2+324 x+432\right ) \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right )+\left (4 x^5+8 x^4-24 x^3-180 x^2-351 x-324\right ) \log (x-4) \log (\log (x-4))+(x-4) \log (x-4) \log (\log (x-4)) \log ^4\left (\frac {4}{x \log (\log (x-4))}\right )} \, dx\)

\(\Big \downarrow \) 7239

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

\(\Big \downarrow \) 27

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

\(\Big \downarrow \) 25

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

\(\Big \downarrow \) 7293

\(\displaystyle -2 \int \left (\frac {x}{2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9}-\frac {x \left (2 \log (x-4) \log (\log (x-4)) x^3-4 \log (x-4) \log (\log (x-4)) x^2-\log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x^2+x^2-13 \log (x-4) \log (\log (x-4)) x+3 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x-\log \left (\frac {4}{x \log (\log (x-4))}\right ) x+3 x-12 \log (x-4) \log (\log (x-4))+4 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right )\right )}{(x-4) \log (x-4) \log (\log (x-4)) \left (2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9\right )^2}\right )dx\)

\(\Big \downarrow \) 7239

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

\(\Big \downarrow \) 7293

\(\displaystyle -2 \int \left (\frac {x}{2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9}-\frac {x \left (2 \log (x-4) \log (\log (x-4)) x^3-4 \log (x-4) \log (\log (x-4)) x^2-\log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x^2+x^2-13 \log (x-4) \log (\log (x-4)) x+3 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x-\log \left (\frac {4}{x \log (\log (x-4))}\right ) x+3 x-12 \log (x-4) \log (\log (x-4))+4 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right )\right )}{(x-4) \log (x-4) \log (\log (x-4)) \left (2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9\right )^2}\right )dx\)

\(\Big \downarrow \) 7239

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

\(\Big \downarrow \) 7293

\(\displaystyle -2 \int \left (\frac {x}{2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9}-\frac {x \left (2 \log (x-4) \log (\log (x-4)) x^3-4 \log (x-4) \log (\log (x-4)) x^2-\log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x^2+x^2-13 \log (x-4) \log (\log (x-4)) x+3 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x-\log \left (\frac {4}{x \log (\log (x-4))}\right ) x+3 x-12 \log (x-4) \log (\log (x-4))+4 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right )\right )}{(x-4) \log (x-4) \log (\log (x-4)) \left (2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9\right )^2}\right )dx\)

\(\Big \downarrow \) 7239

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

\(\Big \downarrow \) 7293

\(\displaystyle -2 \int \left (\frac {x}{2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9}-\frac {x \left (2 \log (x-4) \log (\log (x-4)) x^3-4 \log (x-4) \log (\log (x-4)) x^2-\log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x^2+x^2-13 \log (x-4) \log (\log (x-4)) x+3 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x-\log \left (\frac {4}{x \log (\log (x-4))}\right ) x+3 x-12 \log (x-4) \log (\log (x-4))+4 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right )\right )}{(x-4) \log (x-4) \log (\log (x-4)) \left (2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9\right )^2}\right )dx\)

\(\Big \downarrow \) 7239

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

\(\Big \downarrow \) 7293

\(\displaystyle -2 \int \left (\frac {x}{2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9}-\frac {x \left (2 \log (x-4) \log (\log (x-4)) x^3-4 \log (x-4) \log (\log (x-4)) x^2-\log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x^2+x^2-13 \log (x-4) \log (\log (x-4)) x+3 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x-\log \left (\frac {4}{x \log (\log (x-4))}\right ) x+3 x-12 \log (x-4) \log (\log (x-4))+4 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right )\right )}{(x-4) \log (x-4) \log (\log (x-4)) \left (2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9\right )^2}\right )dx\)

\(\Big \downarrow \) 7239

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

\(\Big \downarrow \) 7293

\(\displaystyle -2 \int \left (\frac {x}{2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9}-\frac {x \left (2 \log (x-4) \log (\log (x-4)) x^3-4 \log (x-4) \log (\log (x-4)) x^2-\log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x^2+x^2-13 \log (x-4) \log (\log (x-4)) x+3 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x-\log \left (\frac {4}{x \log (\log (x-4))}\right ) x+3 x-12 \log (x-4) \log (\log (x-4))+4 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right )\right )}{(x-4) \log (x-4) \log (\log (x-4)) \left (2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9\right )^2}\right )dx\)

\(\Big \downarrow \) 7239

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

\(\Big \downarrow \) 7293

\(\displaystyle -2 \int \left (\frac {x}{2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9}-\frac {x \left (2 \log (x-4) \log (\log (x-4)) x^3-4 \log (x-4) \log (\log (x-4)) x^2-\log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x^2+x^2-13 \log (x-4) \log (\log (x-4)) x+3 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x-\log \left (\frac {4}{x \log (\log (x-4))}\right ) x+3 x-12 \log (x-4) \log (\log (x-4))+4 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right )\right )}{(x-4) \log (x-4) \log (\log (x-4)) \left (2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9\right )^2}\right )dx\)

\(\Big \downarrow \) 7239

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

\(\Big \downarrow \) 7293

\(\displaystyle -2 \int \left (\frac {x}{2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9}-\frac {x \left (2 \log (x-4) \log (\log (x-4)) x^3-4 \log (x-4) \log (\log (x-4)) x^2-\log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x^2+x^2-13 \log (x-4) \log (\log (x-4)) x+3 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x-\log \left (\frac {4}{x \log (\log (x-4))}\right ) x+3 x-12 \log (x-4) \log (\log (x-4))+4 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right )\right )}{(x-4) \log (x-4) \log (\log (x-4)) \left (2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9\right )^2}\right )dx\)

\(\Big \downarrow \) 7239

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

\(\Big \downarrow \) 7293

\(\displaystyle -2 \int \left (\frac {x}{2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9}-\frac {x \left (2 \log (x-4) \log (\log (x-4)) x^3-4 \log (x-4) \log (\log (x-4)) x^2-\log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x^2+x^2-13 \log (x-4) \log (\log (x-4)) x+3 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x-\log \left (\frac {4}{x \log (\log (x-4))}\right ) x+3 x-12 \log (x-4) \log (\log (x-4))+4 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right )\right )}{(x-4) \log (x-4) \log (\log (x-4)) \left (2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9\right )^2}\right )dx\)

\(\Big \downarrow \) 7239

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

\(\Big \downarrow \) 7293

\(\displaystyle -2 \int \left (\frac {x}{2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9}-\frac {x \left (2 \log (x-4) \log (\log (x-4)) x^3-4 \log (x-4) \log (\log (x-4)) x^2-\log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x^2+x^2-13 \log (x-4) \log (\log (x-4)) x+3 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x-\log \left (\frac {4}{x \log (\log (x-4))}\right ) x+3 x-12 \log (x-4) \log (\log (x-4))+4 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right )\right )}{(x-4) \log (x-4) \log (\log (x-4)) \left (2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9\right )^2}\right )dx\)

\(\Big \downarrow \) 7239

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

\(\Big \downarrow \) 7293

\(\displaystyle -2 \int \left (\frac {x}{2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9}-\frac {x \left (2 \log (x-4) \log (\log (x-4)) x^3-4 \log (x-4) \log (\log (x-4)) x^2-\log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x^2+x^2-13 \log (x-4) \log (\log (x-4)) x+3 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x-\log \left (\frac {4}{x \log (\log (x-4))}\right ) x+3 x-12 \log (x-4) \log (\log (x-4))+4 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right )\right )}{(x-4) \log (x-4) \log (\log (x-4)) \left (2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9\right )^2}\right )dx\)

\(\Big \downarrow \) 7239

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

\(\Big \downarrow \) 7293

\(\displaystyle -2 \int \left (\frac {x}{2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9}-\frac {x \left (2 \log (x-4) \log (\log (x-4)) x^3-4 \log (x-4) \log (\log (x-4)) x^2-\log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x^2+x^2-13 \log (x-4) \log (\log (x-4)) x+3 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x-\log \left (\frac {4}{x \log (\log (x-4))}\right ) x+3 x-12 \log (x-4) \log (\log (x-4))+4 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right )\right )}{(x-4) \log (x-4) \log (\log (x-4)) \left (2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9\right )^2}\right )dx\)

\(\Big \downarrow \) 7239

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

\(\Big \downarrow \) 7293

\(\displaystyle -2 \int \left (\frac {x}{2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9}-\frac {x \left (2 \log (x-4) \log (\log (x-4)) x^3-4 \log (x-4) \log (\log (x-4)) x^2-\log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x^2+x^2-13 \log (x-4) \log (\log (x-4)) x+3 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x-\log \left (\frac {4}{x \log (\log (x-4))}\right ) x+3 x-12 \log (x-4) \log (\log (x-4))+4 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right )\right )}{(x-4) \log (x-4) \log (\log (x-4)) \left (2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9\right )^2}\right )dx\)

\(\Big \downarrow \) 7239

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

\(\Big \downarrow \) 7293

\(\displaystyle -2 \int \left (\frac {x}{2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9}-\frac {x \left (2 \log (x-4) \log (\log (x-4)) x^3-4 \log (x-4) \log (\log (x-4)) x^2-\log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x^2+x^2-13 \log (x-4) \log (\log (x-4)) x+3 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right ) x-\log \left (\frac {4}{x \log (\log (x-4))}\right ) x+3 x-12 \log (x-4) \log (\log (x-4))+4 \log (x-4) \log (\log (x-4)) \log \left (\frac {4}{x \log (\log (x-4))}\right )\right )}{(x-4) \log (x-4) \log (\log (x-4)) \left (2 x^2-2 \log \left (\frac {4}{x \log (\log (x-4))}\right ) x+6 x+\log ^2\left (\frac {4}{x \log (\log (x-4))}\right )-6 \log \left (\frac {4}{x \log (\log (x-4))}\right )+9\right )^2}\right )dx\)

input
Int[(6*x^2 + 2*x^3 + (48*x + 4*x^2 - 4*x^3)*Log[-4 + x]*Log[Log[-4 + x]] + 
 (-2*x^2 + (-40*x + 2*x^2 + 2*x^3)*Log[-4 + x]*Log[Log[-4 + x]])*Log[4/(x* 
Log[Log[-4 + x]])] + (8*x - 2*x^2)*Log[-4 + x]*Log[Log[-4 + x]]*Log[4/(x*L 
og[Log[-4 + x]])]^2)/((-324 - 351*x - 180*x^2 - 24*x^3 + 8*x^4 + 4*x^5)*Lo 
g[-4 + x]*Log[Log[-4 + x]] + (432 + 324*x + 84*x^2 - 16*x^3 - 8*x^4)*Log[- 
4 + x]*Log[Log[-4 + x]]*Log[4/(x*Log[Log[-4 + x]])] + (-216 - 90*x + 4*x^2 
 + 8*x^3)*Log[-4 + x]*Log[Log[-4 + x]]*Log[4/(x*Log[Log[-4 + x]])]^2 + (48 
 + 4*x - 4*x^2)*Log[-4 + x]*Log[Log[-4 + x]]*Log[4/(x*Log[Log[-4 + x]])]^3 
 + (-4 + x)*Log[-4 + x]*Log[Log[-4 + x]]*Log[4/(x*Log[Log[-4 + x]])]^4),x]
 
output
$Aborted
 

3.9.34.3.1 Defintions of rubi rules used

rule 25
Int[-(Fx_), x_Symbol] :> Simp[Identity[-1]   Int[Fx, x], x]
 

rule 27
Int[(a_)*(Fx_), x_Symbol] :> Simp[a   Int[Fx, x], x] /; FreeQ[a, x] &&  !Ma 
tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
 

rule 7239
Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; Simpl 
erIntegrandQ[v, u, x]]
 

rule 7293
Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v] 
]
 
3.9.34.4 Maple [A] (verified)

Time = 85.45 (sec) , antiderivative size = 64, normalized size of antiderivative = 1.88

method result size
parallelrisch \(-\frac {x^{2}}{2 x^{2}-2 \ln \left (\frac {4}{x \ln \left (\ln \left (x -4\right )\right )}\right ) x +\ln \left (\frac {4}{x \ln \left (\ln \left (x -4\right )\right )}\right )^{2}+6 x -6 \ln \left (\frac {4}{x \ln \left (\ln \left (x -4\right )\right )}\right )+9}\) \(64\)
risch \(\text {Expression too large to display}\) \(1024\)

input
int(((-2*x^2+8*x)*ln(x-4)*ln(ln(x-4))*ln(4/x/ln(ln(x-4)))^2+((2*x^3+2*x^2- 
40*x)*ln(x-4)*ln(ln(x-4))-2*x^2)*ln(4/x/ln(ln(x-4)))+(-4*x^3+4*x^2+48*x)*l 
n(x-4)*ln(ln(x-4))+2*x^3+6*x^2)/((x-4)*ln(x-4)*ln(ln(x-4))*ln(4/x/ln(ln(x- 
4)))^4+(-4*x^2+4*x+48)*ln(x-4)*ln(ln(x-4))*ln(4/x/ln(ln(x-4)))^3+(8*x^3+4* 
x^2-90*x-216)*ln(x-4)*ln(ln(x-4))*ln(4/x/ln(ln(x-4)))^2+(-8*x^4-16*x^3+84* 
x^2+324*x+432)*ln(x-4)*ln(ln(x-4))*ln(4/x/ln(ln(x-4)))+(4*x^5+8*x^4-24*x^3 
-180*x^2-351*x-324)*ln(x-4)*ln(ln(x-4))),x,method=_RETURNVERBOSE)
 
output
-x^2/(2*x^2-2*ln(4/x/ln(ln(x-4)))*x+ln(4/x/ln(ln(x-4)))^2+6*x-6*ln(4/x/ln( 
ln(x-4)))+9)
 
3.9.34.5 Fricas [A] (verification not implemented)

Time = 0.26 (sec) , antiderivative size = 50, normalized size of antiderivative = 1.47 \[ \int \frac {6 x^2+2 x^3+\left (48 x+4 x^2-4 x^3\right ) \log (-4+x) \log (\log (-4+x))+\left (-2 x^2+\left (-40 x+2 x^2+2 x^3\right ) \log (-4+x) \log (\log (-4+x))\right ) \log \left (\frac {4}{x \log (\log (-4+x))}\right )+\left (8 x-2 x^2\right ) \log (-4+x) \log (\log (-4+x)) \log ^2\left (\frac {4}{x \log (\log (-4+x))}\right )}{\left (-324-351 x-180 x^2-24 x^3+8 x^4+4 x^5\right ) \log (-4+x) \log (\log (-4+x))+\left (432+324 x+84 x^2-16 x^3-8 x^4\right ) \log (-4+x) \log (\log (-4+x)) \log \left (\frac {4}{x \log (\log (-4+x))}\right )+\left (-216-90 x+4 x^2+8 x^3\right ) \log (-4+x) \log (\log (-4+x)) \log ^2\left (\frac {4}{x \log (\log (-4+x))}\right )+\left (48+4 x-4 x^2\right ) \log (-4+x) \log (\log (-4+x)) \log ^3\left (\frac {4}{x \log (\log (-4+x))}\right )+(-4+x) \log (-4+x) \log (\log (-4+x)) \log ^4\left (\frac {4}{x \log (\log (-4+x))}\right )} \, dx=-\frac {x^{2}}{2 \, x^{2} - 2 \, {\left (x + 3\right )} \log \left (\frac {4}{x \log \left (\log \left (x - 4\right )\right )}\right ) + \log \left (\frac {4}{x \log \left (\log \left (x - 4\right )\right )}\right )^{2} + 6 \, x + 9} \]

input
integrate(((-2*x^2+8*x)*log(x-4)*log(log(x-4))*log(4/x/log(log(x-4)))^2+(( 
2*x^3+2*x^2-40*x)*log(x-4)*log(log(x-4))-2*x^2)*log(4/x/log(log(x-4)))+(-4 
*x^3+4*x^2+48*x)*log(x-4)*log(log(x-4))+2*x^3+6*x^2)/((x-4)*log(x-4)*log(l 
og(x-4))*log(4/x/log(log(x-4)))^4+(-4*x^2+4*x+48)*log(x-4)*log(log(x-4))*l 
og(4/x/log(log(x-4)))^3+(8*x^3+4*x^2-90*x-216)*log(x-4)*log(log(x-4))*log( 
4/x/log(log(x-4)))^2+(-8*x^4-16*x^3+84*x^2+324*x+432)*log(x-4)*log(log(x-4 
))*log(4/x/log(log(x-4)))+(4*x^5+8*x^4-24*x^3-180*x^2-351*x-324)*log(x-4)* 
log(log(x-4))),x, algorithm=\
 
output
-x^2/(2*x^2 - 2*(x + 3)*log(4/(x*log(log(x - 4)))) + log(4/(x*log(log(x - 
4))))^2 + 6*x + 9)
 
3.9.34.6 Sympy [A] (verification not implemented)

Time = 0.43 (sec) , antiderivative size = 46, normalized size of antiderivative = 1.35 \[ \int \frac {6 x^2+2 x^3+\left (48 x+4 x^2-4 x^3\right ) \log (-4+x) \log (\log (-4+x))+\left (-2 x^2+\left (-40 x+2 x^2+2 x^3\right ) \log (-4+x) \log (\log (-4+x))\right ) \log \left (\frac {4}{x \log (\log (-4+x))}\right )+\left (8 x-2 x^2\right ) \log (-4+x) \log (\log (-4+x)) \log ^2\left (\frac {4}{x \log (\log (-4+x))}\right )}{\left (-324-351 x-180 x^2-24 x^3+8 x^4+4 x^5\right ) \log (-4+x) \log (\log (-4+x))+\left (432+324 x+84 x^2-16 x^3-8 x^4\right ) \log (-4+x) \log (\log (-4+x)) \log \left (\frac {4}{x \log (\log (-4+x))}\right )+\left (-216-90 x+4 x^2+8 x^3\right ) \log (-4+x) \log (\log (-4+x)) \log ^2\left (\frac {4}{x \log (\log (-4+x))}\right )+\left (48+4 x-4 x^2\right ) \log (-4+x) \log (\log (-4+x)) \log ^3\left (\frac {4}{x \log (\log (-4+x))}\right )+(-4+x) \log (-4+x) \log (\log (-4+x)) \log ^4\left (\frac {4}{x \log (\log (-4+x))}\right )} \, dx=- \frac {x^{2}}{2 x^{2} + 6 x + \left (- 2 x - 6\right ) \log {\left (\frac {4}{x \log {\left (\log {\left (x - 4 \right )} \right )}} \right )} + \log {\left (\frac {4}{x \log {\left (\log {\left (x - 4 \right )} \right )}} \right )}^{2} + 9} \]

input
integrate(((-2*x**2+8*x)*ln(x-4)*ln(ln(x-4))*ln(4/x/ln(ln(x-4)))**2+((2*x* 
*3+2*x**2-40*x)*ln(x-4)*ln(ln(x-4))-2*x**2)*ln(4/x/ln(ln(x-4)))+(-4*x**3+4 
*x**2+48*x)*ln(x-4)*ln(ln(x-4))+2*x**3+6*x**2)/((x-4)*ln(x-4)*ln(ln(x-4))* 
ln(4/x/ln(ln(x-4)))**4+(-4*x**2+4*x+48)*ln(x-4)*ln(ln(x-4))*ln(4/x/ln(ln(x 
-4)))**3+(8*x**3+4*x**2-90*x-216)*ln(x-4)*ln(ln(x-4))*ln(4/x/ln(ln(x-4)))* 
*2+(-8*x**4-16*x**3+84*x**2+324*x+432)*ln(x-4)*ln(ln(x-4))*ln(4/x/ln(ln(x- 
4)))+(4*x**5+8*x**4-24*x**3-180*x**2-351*x-324)*ln(x-4)*ln(ln(x-4))),x)
 
output
-x**2/(2*x**2 + 6*x + (-2*x - 6)*log(4/(x*log(log(x - 4)))) + log(4/(x*log 
(log(x - 4))))**2 + 9)
 
3.9.34.7 Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 73 vs. \(2 (31) = 62\).

Time = 0.65 (sec) , antiderivative size = 73, normalized size of antiderivative = 2.15 \[ \int \frac {6 x^2+2 x^3+\left (48 x+4 x^2-4 x^3\right ) \log (-4+x) \log (\log (-4+x))+\left (-2 x^2+\left (-40 x+2 x^2+2 x^3\right ) \log (-4+x) \log (\log (-4+x))\right ) \log \left (\frac {4}{x \log (\log (-4+x))}\right )+\left (8 x-2 x^2\right ) \log (-4+x) \log (\log (-4+x)) \log ^2\left (\frac {4}{x \log (\log (-4+x))}\right )}{\left (-324-351 x-180 x^2-24 x^3+8 x^4+4 x^5\right ) \log (-4+x) \log (\log (-4+x))+\left (432+324 x+84 x^2-16 x^3-8 x^4\right ) \log (-4+x) \log (\log (-4+x)) \log \left (\frac {4}{x \log (\log (-4+x))}\right )+\left (-216-90 x+4 x^2+8 x^3\right ) \log (-4+x) \log (\log (-4+x)) \log ^2\left (\frac {4}{x \log (\log (-4+x))}\right )+\left (48+4 x-4 x^2\right ) \log (-4+x) \log (\log (-4+x)) \log ^3\left (\frac {4}{x \log (\log (-4+x))}\right )+(-4+x) \log (-4+x) \log (\log (-4+x)) \log ^4\left (\frac {4}{x \log (\log (-4+x))}\right )} \, dx=-\frac {x^{2}}{2 \, x^{2} - 2 \, x {\left (2 \, \log \left (2\right ) - 3\right )} + 4 \, \log \left (2\right )^{2} + 2 \, {\left (x - 2 \, \log \left (2\right ) + 3\right )} \log \left (x\right ) + \log \left (x\right )^{2} + 2 \, {\left (x - 2 \, \log \left (2\right ) + \log \left (x\right ) + 3\right )} \log \left (\log \left (\log \left (x - 4\right )\right )\right ) + \log \left (\log \left (\log \left (x - 4\right )\right )\right )^{2} - 12 \, \log \left (2\right ) + 9} \]

input
integrate(((-2*x^2+8*x)*log(x-4)*log(log(x-4))*log(4/x/log(log(x-4)))^2+(( 
2*x^3+2*x^2-40*x)*log(x-4)*log(log(x-4))-2*x^2)*log(4/x/log(log(x-4)))+(-4 
*x^3+4*x^2+48*x)*log(x-4)*log(log(x-4))+2*x^3+6*x^2)/((x-4)*log(x-4)*log(l 
og(x-4))*log(4/x/log(log(x-4)))^4+(-4*x^2+4*x+48)*log(x-4)*log(log(x-4))*l 
og(4/x/log(log(x-4)))^3+(8*x^3+4*x^2-90*x-216)*log(x-4)*log(log(x-4))*log( 
4/x/log(log(x-4)))^2+(-8*x^4-16*x^3+84*x^2+324*x+432)*log(x-4)*log(log(x-4 
))*log(4/x/log(log(x-4)))+(4*x^5+8*x^4-24*x^3-180*x^2-351*x-324)*log(x-4)* 
log(log(x-4))),x, algorithm=\
 
output
-x^2/(2*x^2 - 2*x*(2*log(2) - 3) + 4*log(2)^2 + 2*(x - 2*log(2) + 3)*log(x 
) + log(x)^2 + 2*(x - 2*log(2) + log(x) + 3)*log(log(log(x - 4))) + log(lo 
g(log(x - 4)))^2 - 12*log(2) + 9)
 
3.9.34.8 Giac [F(-1)]

Timed out. \[ \int \frac {6 x^2+2 x^3+\left (48 x+4 x^2-4 x^3\right ) \log (-4+x) \log (\log (-4+x))+\left (-2 x^2+\left (-40 x+2 x^2+2 x^3\right ) \log (-4+x) \log (\log (-4+x))\right ) \log \left (\frac {4}{x \log (\log (-4+x))}\right )+\left (8 x-2 x^2\right ) \log (-4+x) \log (\log (-4+x)) \log ^2\left (\frac {4}{x \log (\log (-4+x))}\right )}{\left (-324-351 x-180 x^2-24 x^3+8 x^4+4 x^5\right ) \log (-4+x) \log (\log (-4+x))+\left (432+324 x+84 x^2-16 x^3-8 x^4\right ) \log (-4+x) \log (\log (-4+x)) \log \left (\frac {4}{x \log (\log (-4+x))}\right )+\left (-216-90 x+4 x^2+8 x^3\right ) \log (-4+x) \log (\log (-4+x)) \log ^2\left (\frac {4}{x \log (\log (-4+x))}\right )+\left (48+4 x-4 x^2\right ) \log (-4+x) \log (\log (-4+x)) \log ^3\left (\frac {4}{x \log (\log (-4+x))}\right )+(-4+x) \log (-4+x) \log (\log (-4+x)) \log ^4\left (\frac {4}{x \log (\log (-4+x))}\right )} \, dx=\text {Timed out} \]

input
integrate(((-2*x^2+8*x)*log(x-4)*log(log(x-4))*log(4/x/log(log(x-4)))^2+(( 
2*x^3+2*x^2-40*x)*log(x-4)*log(log(x-4))-2*x^2)*log(4/x/log(log(x-4)))+(-4 
*x^3+4*x^2+48*x)*log(x-4)*log(log(x-4))+2*x^3+6*x^2)/((x-4)*log(x-4)*log(l 
og(x-4))*log(4/x/log(log(x-4)))^4+(-4*x^2+4*x+48)*log(x-4)*log(log(x-4))*l 
og(4/x/log(log(x-4)))^3+(8*x^3+4*x^2-90*x-216)*log(x-4)*log(log(x-4))*log( 
4/x/log(log(x-4)))^2+(-8*x^4-16*x^3+84*x^2+324*x+432)*log(x-4)*log(log(x-4 
))*log(4/x/log(log(x-4)))+(4*x^5+8*x^4-24*x^3-180*x^2-351*x-324)*log(x-4)* 
log(log(x-4))),x, algorithm=\
 
output
Timed out
 
3.9.34.9 Mupad [F(-1)]

Timed out. \[ \int \frac {6 x^2+2 x^3+\left (48 x+4 x^2-4 x^3\right ) \log (-4+x) \log (\log (-4+x))+\left (-2 x^2+\left (-40 x+2 x^2+2 x^3\right ) \log (-4+x) \log (\log (-4+x))\right ) \log \left (\frac {4}{x \log (\log (-4+x))}\right )+\left (8 x-2 x^2\right ) \log (-4+x) \log (\log (-4+x)) \log ^2\left (\frac {4}{x \log (\log (-4+x))}\right )}{\left (-324-351 x-180 x^2-24 x^3+8 x^4+4 x^5\right ) \log (-4+x) \log (\log (-4+x))+\left (432+324 x+84 x^2-16 x^3-8 x^4\right ) \log (-4+x) \log (\log (-4+x)) \log \left (\frac {4}{x \log (\log (-4+x))}\right )+\left (-216-90 x+4 x^2+8 x^3\right ) \log (-4+x) \log (\log (-4+x)) \log ^2\left (\frac {4}{x \log (\log (-4+x))}\right )+\left (48+4 x-4 x^2\right ) \log (-4+x) \log (\log (-4+x)) \log ^3\left (\frac {4}{x \log (\log (-4+x))}\right )+(-4+x) \log (-4+x) \log (\log (-4+x)) \log ^4\left (\frac {4}{x \log (\log (-4+x))}\right )} \, dx=\int \frac {6\,x^2-\ln \left (\frac {4}{x\,\ln \left (\ln \left (x-4\right )\right )}\right )\,\left (2\,x^2-\ln \left (x-4\right )\,\ln \left (\ln \left (x-4\right )\right )\,\left (2\,x^3+2\,x^2-40\,x\right )\right )+2\,x^3+\ln \left (x-4\right )\,\ln \left (\ln \left (x-4\right )\right )\,\left (-4\,x^3+4\,x^2+48\,x\right )+\ln \left (x-4\right )\,\ln \left (\ln \left (x-4\right )\right )\,{\ln \left (\frac {4}{x\,\ln \left (\ln \left (x-4\right )\right )}\right )}^2\,\left (8\,x-2\,x^2\right )}{\ln \left (x-4\right )\,\ln \left (\ln \left (x-4\right )\right )\,\left (x-4\right )\,{\ln \left (\frac {4}{x\,\ln \left (\ln \left (x-4\right )\right )}\right )}^4+\ln \left (x-4\right )\,\ln \left (\ln \left (x-4\right )\right )\,\left (-4\,x^2+4\,x+48\right )\,{\ln \left (\frac {4}{x\,\ln \left (\ln \left (x-4\right )\right )}\right )}^3-\ln \left (x-4\right )\,\ln \left (\ln \left (x-4\right )\right )\,\left (-8\,x^3-4\,x^2+90\,x+216\right )\,{\ln \left (\frac {4}{x\,\ln \left (\ln \left (x-4\right )\right )}\right )}^2+\ln \left (x-4\right )\,\ln \left (\ln \left (x-4\right )\right )\,\left (-8\,x^4-16\,x^3+84\,x^2+324\,x+432\right )\,\ln \left (\frac {4}{x\,\ln \left (\ln \left (x-4\right )\right )}\right )-\ln \left (x-4\right )\,\ln \left (\ln \left (x-4\right )\right )\,\left (-4\,x^5-8\,x^4+24\,x^3+180\,x^2+351\,x+324\right )} \,d x \]

input
int((6*x^2 - log(4/(x*log(log(x - 4))))*(2*x^2 - log(x - 4)*log(log(x - 4) 
)*(2*x^2 - 40*x + 2*x^3)) + 2*x^3 + log(x - 4)*log(log(x - 4))*(48*x + 4*x 
^2 - 4*x^3) + log(x - 4)*log(log(x - 4))*log(4/(x*log(log(x - 4))))^2*(8*x 
 - 2*x^2))/(log(x - 4)*log(log(x - 4))*log(4/(x*log(log(x - 4))))^4*(x - 4 
) - log(x - 4)*log(log(x - 4))*log(4/(x*log(log(x - 4))))^2*(90*x - 4*x^2 
- 8*x^3 + 216) - log(x - 4)*log(log(x - 4))*(351*x + 180*x^2 + 24*x^3 - 8* 
x^4 - 4*x^5 + 324) + log(x - 4)*log(log(x - 4))*log(4/(x*log(log(x - 4)))) 
^3*(4*x - 4*x^2 + 48) + log(x - 4)*log(log(x - 4))*log(4/(x*log(log(x - 4) 
)))*(324*x + 84*x^2 - 16*x^3 - 8*x^4 + 432)),x)
 
output
int((6*x^2 - log(4/(x*log(log(x - 4))))*(2*x^2 - log(x - 4)*log(log(x - 4) 
)*(2*x^2 - 40*x + 2*x^3)) + 2*x^3 + log(x - 4)*log(log(x - 4))*(48*x + 4*x 
^2 - 4*x^3) + log(x - 4)*log(log(x - 4))*log(4/(x*log(log(x - 4))))^2*(8*x 
 - 2*x^2))/(log(x - 4)*log(log(x - 4))*log(4/(x*log(log(x - 4))))^4*(x - 4 
) - log(x - 4)*log(log(x - 4))*log(4/(x*log(log(x - 4))))^2*(90*x - 4*x^2 
- 8*x^3 + 216) - log(x - 4)*log(log(x - 4))*(351*x + 180*x^2 + 24*x^3 - 8* 
x^4 - 4*x^5 + 324) + log(x - 4)*log(log(x - 4))*log(4/(x*log(log(x - 4)))) 
^3*(4*x - 4*x^2 + 48) + log(x - 4)*log(log(x - 4))*log(4/(x*log(log(x - 4) 
)))*(324*x + 84*x^2 - 16*x^3 - 8*x^4 + 432)), x)