\(\int \frac {200 x^2+80 x^3+(-50 x^3-20 x^4) \log (x)+(-400 x-160 x^2+(100 x^2+40 x^3) \log (x)) \log (x^2)+(200+80 x+(-50 x-20 x^2) \log (x)) \log ^2(x^2)+(\frac {4-x \log (x)}{x})^{\frac {x}{-2 x+2 \log (x^2)}} (-100 x-85 x^2-5 x^3+10 x^3 \log (x)+(100+125 x+5 x^2-20 x^2 \log (x)) \log (x^2)+(-40+10 x \log (x)) \log ^2(x^2)+(200+40 x+(-50 x-10 x^2) \log (x)+(-100-20 x+(25 x+5 x^2) \log (x)) \log (x^2)) \log (\frac {4-x \log (x)}{x}))}{-8 x^2+2 x^3 \log (x)+(16 x-4 x^2 \log (x)) \log (x^2)+(-8+2 x \log (x)) \log ^2(x^2)} \, dx\) [909]

Optimal result
Mathematica [A] (verified)
Rubi [F]
Maple [C] (warning: unable to verify)
Fricas [A] (verification not implemented)
Sympy [F(-2)]
Maxima [F]
Giac [F]
Mupad [B] (verification not implemented)
Reduce [B] (verification not implemented)

Optimal result

Integrand size = 259, antiderivative size = 35 \[ \int \frac {200 x^2+80 x^3+\left (-50 x^3-20 x^4\right ) \log (x)+\left (-400 x-160 x^2+\left (100 x^2+40 x^3\right ) \log (x)\right ) \log \left (x^2\right )+\left (200+80 x+\left (-50 x-20 x^2\right ) \log (x)\right ) \log ^2\left (x^2\right )+\left (\frac {4-x \log (x)}{x}\right )^{\frac {x}{-2 x+2 \log \left (x^2\right )}} \left (-100 x-85 x^2-5 x^3+10 x^3 \log (x)+\left (100+125 x+5 x^2-20 x^2 \log (x)\right ) \log \left (x^2\right )+(-40+10 x \log (x)) \log ^2\left (x^2\right )+\left (200+40 x+\left (-50 x-10 x^2\right ) \log (x)+\left (-100-20 x+\left (25 x+5 x^2\right ) \log (x)\right ) \log \left (x^2\right )\right ) \log \left (\frac {4-x \log (x)}{x}\right )\right )}{-8 x^2+2 x^3 \log (x)+\left (16 x-4 x^2 \log (x)\right ) \log \left (x^2\right )+(-8+2 x \log (x)) \log ^2\left (x^2\right )} \, dx=5 (5+x) \left (-x+\left (\frac {4}{x}-\log (x)\right )^{\frac {x}{2 \left (-x+\log \left (x^2\right )\right )}}\right ) \] Output:

(exp(1/2*x*ln(4/x-ln(x))/(ln(x^2)-x))-x)*(25+5*x)
 

Mathematica [A] (verified)

Time = 0.21 (sec) , antiderivative size = 44, normalized size of antiderivative = 1.26 \[ \int \frac {200 x^2+80 x^3+\left (-50 x^3-20 x^4\right ) \log (x)+\left (-400 x-160 x^2+\left (100 x^2+40 x^3\right ) \log (x)\right ) \log \left (x^2\right )+\left (200+80 x+\left (-50 x-20 x^2\right ) \log (x)\right ) \log ^2\left (x^2\right )+\left (\frac {4-x \log (x)}{x}\right )^{\frac {x}{-2 x+2 \log \left (x^2\right )}} \left (-100 x-85 x^2-5 x^3+10 x^3 \log (x)+\left (100+125 x+5 x^2-20 x^2 \log (x)\right ) \log \left (x^2\right )+(-40+10 x \log (x)) \log ^2\left (x^2\right )+\left (200+40 x+\left (-50 x-10 x^2\right ) \log (x)+\left (-100-20 x+\left (25 x+5 x^2\right ) \log (x)\right ) \log \left (x^2\right )\right ) \log \left (\frac {4-x \log (x)}{x}\right )\right )}{-8 x^2+2 x^3 \log (x)+\left (16 x-4 x^2 \log (x)\right ) \log \left (x^2\right )+(-8+2 x \log (x)) \log ^2\left (x^2\right )} \, dx=\frac {5}{2} \left (-10 x-2 x^2+2 (5+x) \left (\frac {4}{x}-\log (x)\right )^{-\frac {x}{2 \left (x-\log \left (x^2\right )\right )}}\right ) \] Input:

Integrate[(200*x^2 + 80*x^3 + (-50*x^3 - 20*x^4)*Log[x] + (-400*x - 160*x^ 
2 + (100*x^2 + 40*x^3)*Log[x])*Log[x^2] + (200 + 80*x + (-50*x - 20*x^2)*L 
og[x])*Log[x^2]^2 + ((4 - x*Log[x])/x)^(x/(-2*x + 2*Log[x^2]))*(-100*x - 8 
5*x^2 - 5*x^3 + 10*x^3*Log[x] + (100 + 125*x + 5*x^2 - 20*x^2*Log[x])*Log[ 
x^2] + (-40 + 10*x*Log[x])*Log[x^2]^2 + (200 + 40*x + (-50*x - 10*x^2)*Log 
[x] + (-100 - 20*x + (25*x + 5*x^2)*Log[x])*Log[x^2])*Log[(4 - x*Log[x])/x 
]))/(-8*x^2 + 2*x^3*Log[x] + (16*x - 4*x^2*Log[x])*Log[x^2] + (-8 + 2*x*Lo 
g[x])*Log[x^2]^2),x]
 

Output:

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

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 {80 x^3+200 x^2+\left (\left (-20 x^2-50 x\right ) \log (x)+80 x+200\right ) \log ^2\left (x^2\right )+\left (-20 x^4-50 x^3\right ) \log (x)+\left (-5 x^3+10 x^3 \log (x)-85 x^2+(10 x \log (x)-40) \log ^2\left (x^2\right )+\left (5 x^2-20 x^2 \log (x)+125 x+100\right ) \log \left (x^2\right )+\left (\left (-10 x^2-50 x\right ) \log (x)+\left (\left (5 x^2+25 x\right ) \log (x)-20 x-100\right ) \log \left (x^2\right )+40 x+200\right ) \log \left (\frac {4-x \log (x)}{x}\right )-100 x\right ) \left (\frac {4-x \log (x)}{x}\right )^{\frac {x}{2 \log \left (x^2\right )-2 x}}+\left (-160 x^2+\left (40 x^3+100 x^2\right ) \log (x)-400 x\right ) \log \left (x^2\right )}{2 x^3 \log (x)-8 x^2+(2 x \log (x)-8) \log ^2\left (x^2\right )+\left (16 x-4 x^2 \log (x)\right ) \log \left (x^2\right )} \, dx\)

\(\Big \downarrow \) 7292

\(\displaystyle \int \frac {-80 x^3-200 x^2-\left (\left (-20 x^2-50 x\right ) \log (x)+80 x+200\right ) \log ^2\left (x^2\right )-\left (-20 x^4-50 x^3\right ) \log (x)-\left (\left (-5 x^3+10 x^3 \log (x)-85 x^2+(10 x \log (x)-40) \log ^2\left (x^2\right )+\left (5 x^2-20 x^2 \log (x)+125 x+100\right ) \log \left (x^2\right )+\left (\left (-10 x^2-50 x\right ) \log (x)+\left (\left (5 x^2+25 x\right ) \log (x)-20 x-100\right ) \log \left (x^2\right )+40 x+200\right ) \log \left (\frac {4-x \log (x)}{x}\right )-100 x\right ) \left (\frac {4-x \log (x)}{x}\right )^{\frac {x}{2 \log \left (x^2\right )-2 x}}\right )-\left (-160 x^2+\left (40 x^3+100 x^2\right ) \log (x)-400 x\right ) \log \left (x^2\right )}{2 (4-x \log (x)) \left (x-\log \left (x^2\right )\right )^2}dx\)

\(\Big \downarrow \) 27

\(\displaystyle \frac {1}{2} \int -\frac {5 \left (-\left (\left (-2 \log (x) x^3+x^3+17 x^2+20 x+2 (4-x \log (x)) \log ^2\left (x^2\right )-\left (-4 \log (x) x^2+x^2+25 x+20\right ) \log \left (x^2\right )-\left (8 x-2 \left (x^2+5 x\right ) \log (x)-\left (4 x-\left (x^2+5 x\right ) \log (x)+20\right ) \log \left (x^2\right )+40\right ) \log \left (\frac {4-x \log (x)}{x}\right )\right ) \left (\frac {4-x \log (x)}{x}\right )^{-\frac {x}{2 \left (x-\log \left (x^2\right )\right )}}\right )+16 x^3+40 x^2+2 \left (8 x-\left (2 x^2+5 x\right ) \log (x)+20\right ) \log ^2\left (x^2\right )-2 \left (2 x^4+5 x^3\right ) \log (x)-4 \left (8 x^2+20 x-\left (2 x^3+5 x^2\right ) \log (x)\right ) \log \left (x^2\right )\right )}{(4-x \log (x)) \left (x-\log \left (x^2\right )\right )^2}dx\)

\(\Big \downarrow \) 27

\(\displaystyle -\frac {5}{2} \int \frac {-\left (\left (-2 \log (x) x^3+x^3+17 x^2+20 x+2 (4-x \log (x)) \log ^2\left (x^2\right )-\left (-4 \log (x) x^2+x^2+25 x+20\right ) \log \left (x^2\right )-\left (8 x-2 \left (x^2+5 x\right ) \log (x)-\left (4 x-\left (x^2+5 x\right ) \log (x)+20\right ) \log \left (x^2\right )+40\right ) \log \left (\frac {4-x \log (x)}{x}\right )\right ) \left (\frac {4-x \log (x)}{x}\right )^{-\frac {x}{2 \left (x-\log \left (x^2\right )\right )}}\right )+16 x^3+40 x^2+2 \left (8 x-\left (2 x^2+5 x\right ) \log (x)+20\right ) \log ^2\left (x^2\right )-2 \left (2 x^4+5 x^3\right ) \log (x)-4 \left (8 x^2+20 x-\left (2 x^3+5 x^2\right ) \log (x)\right ) \log \left (x^2\right )}{(4-x \log (x)) \left (x-\log \left (x^2\right )\right )^2}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle -\frac {5}{2} \int \left (\frac {\left (2 \log (x) x^3-x^3-4 \log (x) \log \left (x^2\right ) x^2+\log \left (x^2\right ) x^2-2 \log (x) \log \left (\frac {4}{x}-\log (x)\right ) x^2+\log (x) \log \left (x^2\right ) \log \left (\frac {4}{x}-\log (x)\right ) x^2-17 x^2+2 \log (x) \log ^2\left (x^2\right ) x+25 \log \left (x^2\right ) x-10 \log (x) \log \left (\frac {4}{x}-\log (x)\right ) x+5 \log (x) \log \left (x^2\right ) \log \left (\frac {4}{x}-\log (x)\right ) x-4 \log \left (x^2\right ) \log \left (\frac {4}{x}-\log (x)\right ) x+8 \log \left (\frac {4}{x}-\log (x)\right ) x-20 x-8 \log ^2\left (x^2\right )+20 \log \left (x^2\right )-20 \log \left (x^2\right ) \log \left (\frac {4}{x}-\log (x)\right )+40 \log \left (\frac {4}{x}-\log (x)\right )\right ) \left (\frac {4}{x}-\log (x)\right )^{-\frac {x}{2 \left (x-\log \left (x^2\right )\right )}}}{(4-x \log (x)) \left (x-\log \left (x^2\right )\right )^2}+\frac {2 (2 x+5) \log ^2\left (x^2\right )}{\left (x-\log \left (x^2\right )\right )^2}-\frac {4 x (2 x+5) \log \left (x^2\right )}{\left (x-\log \left (x^2\right )\right )^2}-\frac {16 x^3}{(x \log (x)-4) \left (x-\log \left (x^2\right )\right )^2}-\frac {40 x^2}{(x \log (x)-4) \left (x-\log \left (x^2\right )\right )^2}+\frac {2 x^3 (2 x+5) \log (x)}{(x \log (x)-4) \left (x-\log \left (x^2\right )\right )^2}\right )dx\)

\(\Big \downarrow \) 7299

\(\displaystyle -\frac {5}{2} \int \left (\frac {\left (2 \log (x) x^3-x^3-4 \log (x) \log \left (x^2\right ) x^2+\log \left (x^2\right ) x^2-2 \log (x) \log \left (\frac {4}{x}-\log (x)\right ) x^2+\log (x) \log \left (x^2\right ) \log \left (\frac {4}{x}-\log (x)\right ) x^2-17 x^2+2 \log (x) \log ^2\left (x^2\right ) x+25 \log \left (x^2\right ) x-10 \log (x) \log \left (\frac {4}{x}-\log (x)\right ) x+5 \log (x) \log \left (x^2\right ) \log \left (\frac {4}{x}-\log (x)\right ) x-4 \log \left (x^2\right ) \log \left (\frac {4}{x}-\log (x)\right ) x+8 \log \left (\frac {4}{x}-\log (x)\right ) x-20 x-8 \log ^2\left (x^2\right )+20 \log \left (x^2\right )-20 \log \left (x^2\right ) \log \left (\frac {4}{x}-\log (x)\right )+40 \log \left (\frac {4}{x}-\log (x)\right )\right ) \left (\frac {4}{x}-\log (x)\right )^{-\frac {x}{2 \left (x-\log \left (x^2\right )\right )}}}{(4-x \log (x)) \left (x-\log \left (x^2\right )\right )^2}+\frac {2 (2 x+5) \log ^2\left (x^2\right )}{\left (x-\log \left (x^2\right )\right )^2}-\frac {4 x (2 x+5) \log \left (x^2\right )}{\left (x-\log \left (x^2\right )\right )^2}-\frac {16 x^3}{(x \log (x)-4) \left (x-\log \left (x^2\right )\right )^2}-\frac {40 x^2}{(x \log (x)-4) \left (x-\log \left (x^2\right )\right )^2}+\frac {2 x^3 (2 x+5) \log (x)}{(x \log (x)-4) \left (x-\log \left (x^2\right )\right )^2}\right )dx\)

Input:

Int[(200*x^2 + 80*x^3 + (-50*x^3 - 20*x^4)*Log[x] + (-400*x - 160*x^2 + (1 
00*x^2 + 40*x^3)*Log[x])*Log[x^2] + (200 + 80*x + (-50*x - 20*x^2)*Log[x]) 
*Log[x^2]^2 + ((4 - x*Log[x])/x)^(x/(-2*x + 2*Log[x^2]))*(-100*x - 85*x^2 
- 5*x^3 + 10*x^3*Log[x] + (100 + 125*x + 5*x^2 - 20*x^2*Log[x])*Log[x^2] + 
 (-40 + 10*x*Log[x])*Log[x^2]^2 + (200 + 40*x + (-50*x - 10*x^2)*Log[x] + 
(-100 - 20*x + (25*x + 5*x^2)*Log[x])*Log[x^2])*Log[(4 - x*Log[x])/x]))/(- 
8*x^2 + 2*x^3*Log[x] + (16*x - 4*x^2*Log[x])*Log[x^2] + (-8 + 2*x*Log[x])* 
Log[x^2]^2),x]
 

Output:

$Aborted
 
Maple [C] (warning: unable to verify)

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

Time = 64.38 (sec) , antiderivative size = 224, normalized size of antiderivative = 6.40

\[-5 x^{2}-25 x +\left (25+5 x \right ) {\mathrm e}^{-\frac {x \left (-i \pi \operatorname {csgn}\left (\frac {i \left (x \ln \left (x \right )-4\right )}{x}\right )^{3}-i \pi \operatorname {csgn}\left (\frac {i \left (x \ln \left (x \right )-4\right )}{x}\right )^{2} \operatorname {csgn}\left (\frac {i}{x}\right )-i \pi \operatorname {csgn}\left (\frac {i \left (x \ln \left (x \right )-4\right )}{x}\right )^{2} \operatorname {csgn}\left (i \left (x \ln \left (x \right )-4\right )\right )+i \pi \,\operatorname {csgn}\left (\frac {i \left (x \ln \left (x \right )-4\right )}{x}\right ) \operatorname {csgn}\left (\frac {i}{x}\right ) \operatorname {csgn}\left (i \left (x \ln \left (x \right )-4\right )\right )+2 i \pi \operatorname {csgn}\left (\frac {i \left (x \ln \left (x \right )-4\right )}{x}\right )^{2}-2 i \pi +2 \ln \left (x \right )-2 \ln \left (x \ln \left (x \right )-4\right )\right )}{2 \left (-i \pi \operatorname {csgn}\left (i x^{2}\right )^{3}+2 i \operatorname {csgn}\left (i x^{2}\right )^{2} \operatorname {csgn}\left (i x \right ) \pi -i \pi \,\operatorname {csgn}\left (i x^{2}\right ) \operatorname {csgn}\left (i x \right )^{2}+4 \ln \left (x \right )-2 x \right )}}\]

Input:

int((((((5*x^2+25*x)*ln(x)-20*x-100)*ln(x^2)+(-10*x^2-50*x)*ln(x)+40*x+200 
)*ln((-x*ln(x)+4)/x)+(10*x*ln(x)-40)*ln(x^2)^2+(-20*x^2*ln(x)+5*x^2+125*x+ 
100)*ln(x^2)+10*x^3*ln(x)-5*x^3-85*x^2-100*x)*exp(x*ln((-x*ln(x)+4)/x)/(2* 
ln(x^2)-2*x))+((-20*x^2-50*x)*ln(x)+80*x+200)*ln(x^2)^2+((40*x^3+100*x^2)* 
ln(x)-160*x^2-400*x)*ln(x^2)+(-20*x^4-50*x^3)*ln(x)+80*x^3+200*x^2)/((2*x* 
ln(x)-8)*ln(x^2)^2+(-4*x^2*ln(x)+16*x)*ln(x^2)+2*x^3*ln(x)-8*x^2),x)
 

Output:

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

Fricas [A] (verification not implemented)

Time = 0.11 (sec) , antiderivative size = 63, normalized size of antiderivative = 1.80 \[ \int \frac {200 x^2+80 x^3+\left (-50 x^3-20 x^4\right ) \log (x)+\left (-400 x-160 x^2+\left (100 x^2+40 x^3\right ) \log (x)\right ) \log \left (x^2\right )+\left (200+80 x+\left (-50 x-20 x^2\right ) \log (x)\right ) \log ^2\left (x^2\right )+\left (\frac {4-x \log (x)}{x}\right )^{\frac {x}{-2 x+2 \log \left (x^2\right )}} \left (-100 x-85 x^2-5 x^3+10 x^3 \log (x)+\left (100+125 x+5 x^2-20 x^2 \log (x)\right ) \log \left (x^2\right )+(-40+10 x \log (x)) \log ^2\left (x^2\right )+\left (200+40 x+\left (-50 x-10 x^2\right ) \log (x)+\left (-100-20 x+\left (25 x+5 x^2\right ) \log (x)\right ) \log \left (x^2\right )\right ) \log \left (\frac {4-x \log (x)}{x}\right )\right )}{-8 x^2+2 x^3 \log (x)+\left (16 x-4 x^2 \log (x)\right ) \log \left (x^2\right )+(-8+2 x \log (x)) \log ^2\left (x^2\right )} \, dx=-\frac {5 \, {\left ({\left (x^{2} + 5 \, x\right )} \left (-\frac {x \log \left (x\right ) - 4}{x}\right )^{\frac {x}{2 \, {\left (x - 2 \, \log \left (x\right )\right )}}} - x - 5\right )}}{\left (-\frac {x \log \left (x\right ) - 4}{x}\right )^{\frac {x}{2 \, {\left (x - 2 \, \log \left (x\right )\right )}}}} \] Input:

integrate((((((5*x^2+25*x)*log(x)-20*x-100)*log(x^2)+(-10*x^2-50*x)*log(x) 
+40*x+200)*log((-x*log(x)+4)/x)+(10*x*log(x)-40)*log(x^2)^2+(-20*x^2*log(x 
)+5*x^2+125*x+100)*log(x^2)+10*x^3*log(x)-5*x^3-85*x^2-100*x)*exp(x*log((- 
x*log(x)+4)/x)/(2*log(x^2)-2*x))+((-20*x^2-50*x)*log(x)+80*x+200)*log(x^2) 
^2+((40*x^3+100*x^2)*log(x)-160*x^2-400*x)*log(x^2)+(-20*x^4-50*x^3)*log(x 
)+80*x^3+200*x^2)/((2*x*log(x)-8)*log(x^2)^2+(-4*x^2*log(x)+16*x)*log(x^2) 
+2*x^3*log(x)-8*x^2),x, algorithm="fricas")
 

Output:

-5*((x^2 + 5*x)*(-(x*log(x) - 4)/x)^(1/2*x/(x - 2*log(x))) - x - 5)/(-(x*l 
og(x) - 4)/x)^(1/2*x/(x - 2*log(x)))
 

Sympy [F(-2)]

Exception generated. \[ \int \frac {200 x^2+80 x^3+\left (-50 x^3-20 x^4\right ) \log (x)+\left (-400 x-160 x^2+\left (100 x^2+40 x^3\right ) \log (x)\right ) \log \left (x^2\right )+\left (200+80 x+\left (-50 x-20 x^2\right ) \log (x)\right ) \log ^2\left (x^2\right )+\left (\frac {4-x \log (x)}{x}\right )^{\frac {x}{-2 x+2 \log \left (x^2\right )}} \left (-100 x-85 x^2-5 x^3+10 x^3 \log (x)+\left (100+125 x+5 x^2-20 x^2 \log (x)\right ) \log \left (x^2\right )+(-40+10 x \log (x)) \log ^2\left (x^2\right )+\left (200+40 x+\left (-50 x-10 x^2\right ) \log (x)+\left (-100-20 x+\left (25 x+5 x^2\right ) \log (x)\right ) \log \left (x^2\right )\right ) \log \left (\frac {4-x \log (x)}{x}\right )\right )}{-8 x^2+2 x^3 \log (x)+\left (16 x-4 x^2 \log (x)\right ) \log \left (x^2\right )+(-8+2 x \log (x)) \log ^2\left (x^2\right )} \, dx=\text {Exception raised: TypeError} \] Input:

integrate((((((5*x**2+25*x)*ln(x)-20*x-100)*ln(x**2)+(-10*x**2-50*x)*ln(x) 
+40*x+200)*ln((-x*ln(x)+4)/x)+(10*x*ln(x)-40)*ln(x**2)**2+(-20*x**2*ln(x)+ 
5*x**2+125*x+100)*ln(x**2)+10*x**3*ln(x)-5*x**3-85*x**2-100*x)*exp(x*ln((- 
x*ln(x)+4)/x)/(2*ln(x**2)-2*x))+((-20*x**2-50*x)*ln(x)+80*x+200)*ln(x**2)* 
*2+((40*x**3+100*x**2)*ln(x)-160*x**2-400*x)*ln(x**2)+(-20*x**4-50*x**3)*l 
n(x)+80*x**3+200*x**2)/((2*x*ln(x)-8)*ln(x**2)**2+(-4*x**2*ln(x)+16*x)*ln( 
x**2)+2*x**3*ln(x)-8*x**2),x)
 

Output:

Exception raised: TypeError >> '>' not supported between instances of 'Pol 
y' and 'int'
 

Maxima [F]

\[ \int \frac {200 x^2+80 x^3+\left (-50 x^3-20 x^4\right ) \log (x)+\left (-400 x-160 x^2+\left (100 x^2+40 x^3\right ) \log (x)\right ) \log \left (x^2\right )+\left (200+80 x+\left (-50 x-20 x^2\right ) \log (x)\right ) \log ^2\left (x^2\right )+\left (\frac {4-x \log (x)}{x}\right )^{\frac {x}{-2 x+2 \log \left (x^2\right )}} \left (-100 x-85 x^2-5 x^3+10 x^3 \log (x)+\left (100+125 x+5 x^2-20 x^2 \log (x)\right ) \log \left (x^2\right )+(-40+10 x \log (x)) \log ^2\left (x^2\right )+\left (200+40 x+\left (-50 x-10 x^2\right ) \log (x)+\left (-100-20 x+\left (25 x+5 x^2\right ) \log (x)\right ) \log \left (x^2\right )\right ) \log \left (\frac {4-x \log (x)}{x}\right )\right )}{-8 x^2+2 x^3 \log (x)+\left (16 x-4 x^2 \log (x)\right ) \log \left (x^2\right )+(-8+2 x \log (x)) \log ^2\left (x^2\right )} \, dx=\int { \frac {5 \, {\left (16 \, x^{3} - 2 \, {\left ({\left (2 \, x^{2} + 5 \, x\right )} \log \left (x\right ) - 8 \, x - 20\right )} \log \left (x^{2}\right )^{2} + 40 \, x^{2} - 4 \, {\left (8 \, x^{2} - {\left (2 \, x^{3} + 5 \, x^{2}\right )} \log \left (x\right ) + 20 \, x\right )} \log \left (x^{2}\right ) - 2 \, {\left (2 \, x^{4} + 5 \, x^{3}\right )} \log \left (x\right ) + \frac {2 \, x^{3} \log \left (x\right ) - x^{3} + 2 \, {\left (x \log \left (x\right ) - 4\right )} \log \left (x^{2}\right )^{2} - 17 \, x^{2} - {\left (4 \, x^{2} \log \left (x\right ) - x^{2} - 25 \, x - 20\right )} \log \left (x^{2}\right ) + {\left ({\left ({\left (x^{2} + 5 \, x\right )} \log \left (x\right ) - 4 \, x - 20\right )} \log \left (x^{2}\right ) - 2 \, {\left (x^{2} + 5 \, x\right )} \log \left (x\right ) + 8 \, x + 40\right )} \log \left (-\frac {x \log \left (x\right ) - 4}{x}\right ) - 20 \, x}{\left (-\frac {x \log \left (x\right ) - 4}{x}\right )^{\frac {x}{2 \, {\left (x - \log \left (x^{2}\right )\right )}}}}\right )}}{2 \, {\left (x^{3} \log \left (x\right ) + {\left (x \log \left (x\right ) - 4\right )} \log \left (x^{2}\right )^{2} - 4 \, x^{2} - 2 \, {\left (x^{2} \log \left (x\right ) - 4 \, x\right )} \log \left (x^{2}\right )\right )}} \,d x } \] Input:

integrate((((((5*x^2+25*x)*log(x)-20*x-100)*log(x^2)+(-10*x^2-50*x)*log(x) 
+40*x+200)*log((-x*log(x)+4)/x)+(10*x*log(x)-40)*log(x^2)^2+(-20*x^2*log(x 
)+5*x^2+125*x+100)*log(x^2)+10*x^3*log(x)-5*x^3-85*x^2-100*x)*exp(x*log((- 
x*log(x)+4)/x)/(2*log(x^2)-2*x))+((-20*x^2-50*x)*log(x)+80*x+200)*log(x^2) 
^2+((40*x^3+100*x^2)*log(x)-160*x^2-400*x)*log(x^2)+(-20*x^4-50*x^3)*log(x 
)+80*x^3+200*x^2)/((2*x*log(x)-8)*log(x^2)^2+(-4*x^2*log(x)+16*x)*log(x^2) 
+2*x^3*log(x)-8*x^2),x, algorithm="maxima")
 

Output:

-25*x - 10*integrate(x, x) + 5/2*integrate((x^(7/2)*(2*log(x) - 1) - (2*lo 
g(x)^3 + 6*log(x)^2 - 2*log(x) + 17)*x^(5/2) - 2*(log(x)^3 - 9*log(x)^2 - 
21*log(x) + 10)*x^(3/2) + 8*sqrt(x)*log(x)^2 + 2*((log(x)^2 - log(x))*x^(5 
/2) + (5*log(x)^2 - 9*log(x) + 4)*x^(3/2) - 20*sqrt(x)*(log(x) - 1))*log(- 
x*log(x) + 4))*e^(-log(-x*log(x) + 4)*log(x)/(x - 2*log(x)) + log(x)^2/(x 
- 2*log(x)))/((x^3*log(x) - 4*(log(x)^2 + 1)*x^2 + 4*(log(x)^3 + 4*log(x)) 
*x - 16*log(x)^2)*sqrt(-x*log(x) + 4)), x)
 

Giac [F]

\[ \int \frac {200 x^2+80 x^3+\left (-50 x^3-20 x^4\right ) \log (x)+\left (-400 x-160 x^2+\left (100 x^2+40 x^3\right ) \log (x)\right ) \log \left (x^2\right )+\left (200+80 x+\left (-50 x-20 x^2\right ) \log (x)\right ) \log ^2\left (x^2\right )+\left (\frac {4-x \log (x)}{x}\right )^{\frac {x}{-2 x+2 \log \left (x^2\right )}} \left (-100 x-85 x^2-5 x^3+10 x^3 \log (x)+\left (100+125 x+5 x^2-20 x^2 \log (x)\right ) \log \left (x^2\right )+(-40+10 x \log (x)) \log ^2\left (x^2\right )+\left (200+40 x+\left (-50 x-10 x^2\right ) \log (x)+\left (-100-20 x+\left (25 x+5 x^2\right ) \log (x)\right ) \log \left (x^2\right )\right ) \log \left (\frac {4-x \log (x)}{x}\right )\right )}{-8 x^2+2 x^3 \log (x)+\left (16 x-4 x^2 \log (x)\right ) \log \left (x^2\right )+(-8+2 x \log (x)) \log ^2\left (x^2\right )} \, dx=\int { \frac {5 \, {\left (16 \, x^{3} - 2 \, {\left ({\left (2 \, x^{2} + 5 \, x\right )} \log \left (x\right ) - 8 \, x - 20\right )} \log \left (x^{2}\right )^{2} + 40 \, x^{2} - 4 \, {\left (8 \, x^{2} - {\left (2 \, x^{3} + 5 \, x^{2}\right )} \log \left (x\right ) + 20 \, x\right )} \log \left (x^{2}\right ) - 2 \, {\left (2 \, x^{4} + 5 \, x^{3}\right )} \log \left (x\right ) + \frac {2 \, x^{3} \log \left (x\right ) - x^{3} + 2 \, {\left (x \log \left (x\right ) - 4\right )} \log \left (x^{2}\right )^{2} - 17 \, x^{2} - {\left (4 \, x^{2} \log \left (x\right ) - x^{2} - 25 \, x - 20\right )} \log \left (x^{2}\right ) + {\left ({\left ({\left (x^{2} + 5 \, x\right )} \log \left (x\right ) - 4 \, x - 20\right )} \log \left (x^{2}\right ) - 2 \, {\left (x^{2} + 5 \, x\right )} \log \left (x\right ) + 8 \, x + 40\right )} \log \left (-\frac {x \log \left (x\right ) - 4}{x}\right ) - 20 \, x}{\left (-\frac {x \log \left (x\right ) - 4}{x}\right )^{\frac {x}{2 \, {\left (x - \log \left (x^{2}\right )\right )}}}}\right )}}{2 \, {\left (x^{3} \log \left (x\right ) + {\left (x \log \left (x\right ) - 4\right )} \log \left (x^{2}\right )^{2} - 4 \, x^{2} - 2 \, {\left (x^{2} \log \left (x\right ) - 4 \, x\right )} \log \left (x^{2}\right )\right )}} \,d x } \] Input:

integrate((((((5*x^2+25*x)*log(x)-20*x-100)*log(x^2)+(-10*x^2-50*x)*log(x) 
+40*x+200)*log((-x*log(x)+4)/x)+(10*x*log(x)-40)*log(x^2)^2+(-20*x^2*log(x 
)+5*x^2+125*x+100)*log(x^2)+10*x^3*log(x)-5*x^3-85*x^2-100*x)*exp(x*log((- 
x*log(x)+4)/x)/(2*log(x^2)-2*x))+((-20*x^2-50*x)*log(x)+80*x+200)*log(x^2) 
^2+((40*x^3+100*x^2)*log(x)-160*x^2-400*x)*log(x^2)+(-20*x^4-50*x^3)*log(x 
)+80*x^3+200*x^2)/((2*x*log(x)-8)*log(x^2)^2+(-4*x^2*log(x)+16*x)*log(x^2) 
+2*x^3*log(x)-8*x^2),x, algorithm="giac")
 

Output:

integrate(5/2*(16*x^3 - 2*((2*x^2 + 5*x)*log(x) - 8*x - 20)*log(x^2)^2 + 4 
0*x^2 - 4*(8*x^2 - (2*x^3 + 5*x^2)*log(x) + 20*x)*log(x^2) - 2*(2*x^4 + 5* 
x^3)*log(x) + (2*x^3*log(x) - x^3 + 2*(x*log(x) - 4)*log(x^2)^2 - 17*x^2 - 
 (4*x^2*log(x) - x^2 - 25*x - 20)*log(x^2) + (((x^2 + 5*x)*log(x) - 4*x - 
20)*log(x^2) - 2*(x^2 + 5*x)*log(x) + 8*x + 40)*log(-(x*log(x) - 4)/x) - 2 
0*x)/(-(x*log(x) - 4)/x)^(1/2*x/(x - log(x^2))))/(x^3*log(x) + (x*log(x) - 
 4)*log(x^2)^2 - 4*x^2 - 2*(x^2*log(x) - 4*x)*log(x^2)), x)
 

Mupad [B] (verification not implemented)

Time = 3.33 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.06 \[ \int \frac {200 x^2+80 x^3+\left (-50 x^3-20 x^4\right ) \log (x)+\left (-400 x-160 x^2+\left (100 x^2+40 x^3\right ) \log (x)\right ) \log \left (x^2\right )+\left (200+80 x+\left (-50 x-20 x^2\right ) \log (x)\right ) \log ^2\left (x^2\right )+\left (\frac {4-x \log (x)}{x}\right )^{\frac {x}{-2 x+2 \log \left (x^2\right )}} \left (-100 x-85 x^2-5 x^3+10 x^3 \log (x)+\left (100+125 x+5 x^2-20 x^2 \log (x)\right ) \log \left (x^2\right )+(-40+10 x \log (x)) \log ^2\left (x^2\right )+\left (200+40 x+\left (-50 x-10 x^2\right ) \log (x)+\left (-100-20 x+\left (25 x+5 x^2\right ) \log (x)\right ) \log \left (x^2\right )\right ) \log \left (\frac {4-x \log (x)}{x}\right )\right )}{-8 x^2+2 x^3 \log (x)+\left (16 x-4 x^2 \log (x)\right ) \log \left (x^2\right )+(-8+2 x \log (x)) \log ^2\left (x^2\right )} \, dx=-5\,\left (x+5\right )\,\left (x-\frac {1}{{\left (-\frac {x\,\ln \left (x\right )-4}{x}\right )}^{\frac {x}{2\,x-2\,\ln \left (x^2\right )}}}\right ) \] Input:

int((exp(-(x*log(-(x*log(x) - 4)/x))/(2*x - 2*log(x^2)))*(10*x^3*log(x) - 
100*x + log(x^2)^2*(10*x*log(x) - 40) + log(x^2)*(125*x - 20*x^2*log(x) + 
5*x^2 + 100) + log(-(x*log(x) - 4)/x)*(40*x - log(x^2)*(20*x - log(x)*(25* 
x + 5*x^2) + 100) - log(x)*(50*x + 10*x^2) + 200) - 85*x^2 - 5*x^3) - log( 
x^2)*(400*x - log(x)*(100*x^2 + 40*x^3) + 160*x^2) - log(x)*(50*x^3 + 20*x 
^4) + 200*x^2 + 80*x^3 + log(x^2)^2*(80*x - log(x)*(50*x + 20*x^2) + 200)) 
/(2*x^3*log(x) + log(x^2)^2*(2*x*log(x) - 8) - 8*x^2 + log(x^2)*(16*x - 4* 
x^2*log(x))),x)
 

Output:

-5*(x + 5)*(x - 1/(-(x*log(x) - 4)/x)^(x/(2*x - 2*log(x^2))))
 

Reduce [B] (verification not implemented)

Time = 0.23 (sec) , antiderivative size = 70, normalized size of antiderivative = 2.00 \[ \int \frac {200 x^2+80 x^3+\left (-50 x^3-20 x^4\right ) \log (x)+\left (-400 x-160 x^2+\left (100 x^2+40 x^3\right ) \log (x)\right ) \log \left (x^2\right )+\left (200+80 x+\left (-50 x-20 x^2\right ) \log (x)\right ) \log ^2\left (x^2\right )+\left (\frac {4-x \log (x)}{x}\right )^{\frac {x}{-2 x+2 \log \left (x^2\right )}} \left (-100 x-85 x^2-5 x^3+10 x^3 \log (x)+\left (100+125 x+5 x^2-20 x^2 \log (x)\right ) \log \left (x^2\right )+(-40+10 x \log (x)) \log ^2\left (x^2\right )+\left (200+40 x+\left (-50 x-10 x^2\right ) \log (x)+\left (-100-20 x+\left (25 x+5 x^2\right ) \log (x)\right ) \log \left (x^2\right )\right ) \log \left (\frac {4-x \log (x)}{x}\right )\right )}{-8 x^2+2 x^3 \log (x)+\left (16 x-4 x^2 \log (x)\right ) \log \left (x^2\right )+(-8+2 x \log (x)) \log ^2\left (x^2\right )} \, dx=5 e^{\frac {\mathrm {log}\left (\frac {-\mathrm {log}\left (x \right ) x +4}{x}\right ) x}{2 \,\mathrm {log}\left (x^{2}\right )-2 x}} x +25 e^{\frac {\mathrm {log}\left (\frac {-\mathrm {log}\left (x \right ) x +4}{x}\right ) x}{2 \,\mathrm {log}\left (x^{2}\right )-2 x}}-5 x^{2}-25 x \] Input:

int((((((5*x^2+25*x)*log(x)-20*x-100)*log(x^2)+(-10*x^2-50*x)*log(x)+40*x+ 
200)*log((-x*log(x)+4)/x)+(10*x*log(x)-40)*log(x^2)^2+(-20*x^2*log(x)+5*x^ 
2+125*x+100)*log(x^2)+10*x^3*log(x)-5*x^3-85*x^2-100*x)*exp(x*log((-x*log( 
x)+4)/x)/(2*log(x^2)-2*x))+((-20*x^2-50*x)*log(x)+80*x+200)*log(x^2)^2+((4 
0*x^3+100*x^2)*log(x)-160*x^2-400*x)*log(x^2)+(-20*x^4-50*x^3)*log(x)+80*x 
^3+200*x^2)/((2*x*log(x)-8)*log(x^2)^2+(-4*x^2*log(x)+16*x)*log(x^2)+2*x^3 
*log(x)-8*x^2),x)
 

Output:

5*(e**((log(( - log(x)*x + 4)/x)*x)/(2*log(x**2) - 2*x))*x + 5*e**((log(( 
- log(x)*x + 4)/x)*x)/(2*log(x**2) - 2*x)) - x**2 - 5*x)