\(\int \frac {-2 x^2-2 x^3+x^{2/x} (4+4 x+(-4-4 x) \log (x))+x^{\frac {1}{x}} (-16-16 x+(16+16 x) \log (x))+(13 x^2-x^3-8 x^{2+\frac {1}{x}}+x^{2+\frac {2}{x}}) \log (169-26 x+x^2+(90-2 x) x^{2/x}-16 x^{3/x}+x^{4/x}+x^{\frac {1}{x}} (-208+16 x))}{13 x^2-x^3-8 x^{2+\frac {1}{x}}+x^{2+\frac {2}{x}}} \, dx\) [2208]

Optimal result
Mathematica [B] (verified)
Rubi [F]
Maple [B] (verified)
Fricas [B] (verification not implemented)
Sympy [B] (verification not implemented)
Maxima [A] (verification not implemented)
Giac [F]
Mupad [B] (verification not implemented)
Reduce [B] (verification not implemented)

Optimal result

Integrand size = 162, antiderivative size = 23 \[ \int \frac {-2 x^2-2 x^3+x^{2/x} (4+4 x+(-4-4 x) \log (x))+x^{\frac {1}{x}} (-16-16 x+(16+16 x) \log (x))+\left (13 x^2-x^3-8 x^{2+\frac {1}{x}}+x^{2+\frac {2}{x}}\right ) \log \left (169-26 x+x^2+(90-2 x) x^{2/x}-16 x^{3/x}+x^{4/x}+x^{\frac {1}{x}} (-208+16 x)\right )}{13 x^2-x^3-8 x^{2+\frac {1}{x}}+x^{2+\frac {2}{x}}} \, dx=(1+x) \log \left (\left (3+x-\left (4-x^{\frac {1}{x}}\right )^2\right )^2\right ) \] Output:

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

Mathematica [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(47\) vs. \(2(23)=46\).

Time = 0.28 (sec) , antiderivative size = 47, normalized size of antiderivative = 2.04 \[ \int \frac {-2 x^2-2 x^3+x^{2/x} (4+4 x+(-4-4 x) \log (x))+x^{\frac {1}{x}} (-16-16 x+(16+16 x) \log (x))+\left (13 x^2-x^3-8 x^{2+\frac {1}{x}}+x^{2+\frac {2}{x}}\right ) \log \left (169-26 x+x^2+(90-2 x) x^{2/x}-16 x^{3/x}+x^{4/x}+x^{\frac {1}{x}} (-208+16 x)\right )}{13 x^2-x^3-8 x^{2+\frac {1}{x}}+x^{2+\frac {2}{x}}} \, dx=2 \log \left (-13+x+8 x^{\frac {1}{x}}-x^{2/x}\right )+x \log \left (\left (13-x-8 x^{\frac {1}{x}}+x^{2/x}\right )^2\right ) \] Input:

Integrate[(-2*x^2 - 2*x^3 + x^(2/x)*(4 + 4*x + (-4 - 4*x)*Log[x]) + x^x^(- 
1)*(-16 - 16*x + (16 + 16*x)*Log[x]) + (13*x^2 - x^3 - 8*x^(2 + x^(-1)) + 
x^(2 + 2/x))*Log[169 - 26*x + x^2 + (90 - 2*x)*x^(2/x) - 16*x^(3/x) + x^(4 
/x) + x^x^(-1)*(-208 + 16*x)])/(13*x^2 - x^3 - 8*x^(2 + x^(-1)) + x^(2 + 2 
/x)),x]
 

Output:

2*Log[-13 + x + 8*x^x^(-1) - x^(2/x)] + x*Log[(13 - x - 8*x^x^(-1) + x^(2/ 
x))^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 {x^{2/x} (4 x+(-4 x-4) \log (x)+4)+x^{\frac {1}{x}} (-16 x+(16 x+16) \log (x)-16)-2 x^3-2 x^2+\left (-8 x^{\frac {1}{x}+2}+x^{\frac {2}{x}+2}-x^3+13 x^2\right ) \log \left ((90-2 x) x^{2/x}-16 x^{3/x}+x^{4/x}+(16 x-208) x^{\frac {1}{x}}+x^2-26 x+169\right )}{-8 x^{\frac {1}{x}+2}+x^{\frac {2}{x}+2}-x^3+13 x^2} \, dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {x^2 \log \left (\left (x^{2/x}-8 x^{\frac {1}{x}}-x+13\right )^2\right )+4 x-4 x \log (x)-4 \log (x)+4}{x^2}-\frac {2 (x+1) \left (-8 x^{\frac {1}{x}}+8 x^{\frac {1}{x}} \log (x)+x^2-2 x+2 x \log (x)-26 \log (x)+26\right )}{x^2 \left (x^{2/x}-8 x^{\frac {1}{x}}-x+13\right )}\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle -2 \int \frac {1}{x^{2/x}-8 x^{\frac {1}{x}}-x+13}dx+4 \int \frac {1}{x \left (x^{2/x}-8 x^{\frac {1}{x}}-x+13\right )}dx+16 \int \frac {x^{\frac {1}{x}-2}}{x^{2/x}-8 x^{\frac {1}{x}}-x+13}dx+4 \int \frac {\int \frac {1}{x \left (x^{2/x}-8 x^{\frac {1}{x}}-x+13\right )}dx}{x}dx+16 \int \frac {\int \frac {x^{\frac {1}{x}-2}}{x^{2/x}-8 x^{\frac {1}{x}}-x+13}dx}{x}dx-4 \log (x) \int \frac {1}{x \left (x^{2/x}-8 x^{\frac {1}{x}}-x+13\right )}dx-16 \log (x) \int \frac {x^{\frac {1}{x}-2}}{x^{2/x}-8 x^{\frac {1}{x}}-x+13}dx-52 \int \frac {1}{x^2 \left (x^{2/x}-8 x^{\frac {1}{x}}-x+13\right )}dx-52 \int \frac {\int \frac {1}{x^2 \left (x^{2/x}-8 x^{\frac {1}{x}}-x+13\right )}dx}{x}dx+52 \log (x) \int \frac {1}{x^2 \left (x^{2/x}-8 x^{\frac {1}{x}}-x+13\right )}dx+x \log \left (\left (x^{2/x}-8 x^{\frac {1}{x}}-x+13\right )^2\right )+\frac {4}{x}+2 \log ^2(x)+2 (1-\log (x))^2+4 \log (x) (1-\log (x))-\frac {4 (1-\log (x))}{x}\)

Input:

Int[(-2*x^2 - 2*x^3 + x^(2/x)*(4 + 4*x + (-4 - 4*x)*Log[x]) + x^x^(-1)*(-1 
6 - 16*x + (16 + 16*x)*Log[x]) + (13*x^2 - x^3 - 8*x^(2 + x^(-1)) + x^(2 + 
 2/x))*Log[169 - 26*x + x^2 + (90 - 2*x)*x^(2/x) - 16*x^(3/x) + x^(4/x) + 
x^x^(-1)*(-208 + 16*x)])/(13*x^2 - x^3 - 8*x^(2 + x^(-1)) + x^(2 + 2/x)),x 
]
 

Output:

$Aborted
 
Maple [B] (verified)

Leaf count of result is larger than twice the leaf count of optimal. \(145\) vs. \(2(25)=50\).

Time = 2.56 (sec) , antiderivative size = 146, normalized size of antiderivative = 6.35

method result size
parallelrisch \(\ln \left ({\mathrm e}^{\frac {4 \ln \left (x \right )}{x}}-16 \,{\mathrm e}^{\frac {3 \ln \left (x \right )}{x}}+\left (-2 x +90\right ) {\mathrm e}^{\frac {2 \ln \left (x \right )}{x}}+\left (16 x -208\right ) {\mathrm e}^{\frac {\ln \left (x \right )}{x}}+x^{2}-26 x +169\right ) x -88 \ln \left (8 \,{\mathrm e}^{\frac {\ln \left (x \right )}{x}}-{\mathrm e}^{\frac {2 \ln \left (x \right )}{x}}+x -13\right )+45 \ln \left ({\mathrm e}^{\frac {4 \ln \left (x \right )}{x}}-16 \,{\mathrm e}^{\frac {3 \ln \left (x \right )}{x}}+\left (-2 x +90\right ) {\mathrm e}^{\frac {2 \ln \left (x \right )}{x}}+\left (16 x -208\right ) {\mathrm e}^{\frac {\ln \left (x \right )}{x}}+x^{2}-26 x +169\right )\) \(146\)
risch \(2 x \ln \left (8 x^{\frac {1}{x}}-x^{\frac {2}{x}}+x -13\right )-\frac {i \pi x {\operatorname {csgn}\left (i \left (8 x^{\frac {1}{x}}-x^{\frac {2}{x}}+x -13\right )\right )}^{2} \operatorname {csgn}\left (i \left (8 x^{\frac {1}{x}}-x^{\frac {2}{x}}+x -13\right )^{2}\right )}{2}+i \pi x \,\operatorname {csgn}\left (i \left (8 x^{\frac {1}{x}}-x^{\frac {2}{x}}+x -13\right )\right ) {\operatorname {csgn}\left (i \left (8 x^{\frac {1}{x}}-x^{\frac {2}{x}}+x -13\right )^{2}\right )}^{2}-\frac {i \pi x {\operatorname {csgn}\left (i \left (8 x^{\frac {1}{x}}-x^{\frac {2}{x}}+x -13\right )^{2}\right )}^{3}}{2}+2 \ln \left (x^{\frac {2}{x}}-8 x^{\frac {1}{x}}-x +13\right )\) \(189\)

Input:

int(((x^2*exp(ln(x)/x)^2-8*x^2*exp(ln(x)/x)-x^3+13*x^2)*ln(exp(ln(x)/x)^4- 
16*exp(ln(x)/x)^3+(-2*x+90)*exp(ln(x)/x)^2+(16*x-208)*exp(ln(x)/x)+x^2-26* 
x+169)+((-4-4*x)*ln(x)+4*x+4)*exp(ln(x)/x)^2+((16*x+16)*ln(x)-16*x-16)*exp 
(ln(x)/x)-2*x^3-2*x^2)/(x^2*exp(ln(x)/x)^2-8*x^2*exp(ln(x)/x)-x^3+13*x^2), 
x,method=_RETURNVERBOSE)
 

Output:

ln(exp(ln(x)/x)^4-16*exp(ln(x)/x)^3+(-2*x+90)*exp(ln(x)/x)^2+(16*x-208)*ex 
p(ln(x)/x)+x^2-26*x+169)*x-88*ln(-exp(ln(x)/x)^2+8*exp(ln(x)/x)+x-13)+45*l 
n(exp(ln(x)/x)^4-16*exp(ln(x)/x)^3+(-2*x+90)*exp(ln(x)/x)^2+(16*x-208)*exp 
(ln(x)/x)+x^2-26*x+169)
 

Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 51 vs. \(2 (21) = 42\).

Time = 0.11 (sec) , antiderivative size = 51, normalized size of antiderivative = 2.22 \[ \int \frac {-2 x^2-2 x^3+x^{2/x} (4+4 x+(-4-4 x) \log (x))+x^{\frac {1}{x}} (-16-16 x+(16+16 x) \log (x))+\left (13 x^2-x^3-8 x^{2+\frac {1}{x}}+x^{2+\frac {2}{x}}\right ) \log \left (169-26 x+x^2+(90-2 x) x^{2/x}-16 x^{3/x}+x^{4/x}+x^{\frac {1}{x}} (-208+16 x)\right )}{13 x^2-x^3-8 x^{2+\frac {1}{x}}+x^{2+\frac {2}{x}}} \, dx={\left (x + 1\right )} \log \left (-2 \, {\left (x - 45\right )} x^{\frac {2}{x}} + 16 \, {\left (x - 13\right )} x^{\left (\frac {1}{x}\right )} + x^{2} + x^{\frac {4}{x}} - 16 \, x^{\frac {3}{x}} - 26 \, x + 169\right ) \] Input:

integrate(((x^2*exp(log(x)/x)^2-8*x^2*exp(log(x)/x)-x^3+13*x^2)*log(exp(lo 
g(x)/x)^4-16*exp(log(x)/x)^3+(-2*x+90)*exp(log(x)/x)^2+(16*x-208)*exp(log( 
x)/x)+x^2-26*x+169)+((-4-4*x)*log(x)+4*x+4)*exp(log(x)/x)^2+((16*x+16)*log 
(x)-16*x-16)*exp(log(x)/x)-2*x^3-2*x^2)/(x^2*exp(log(x)/x)^2-8*x^2*exp(log 
(x)/x)-x^3+13*x^2),x, algorithm="fricas")
 

Output:

(x + 1)*log(-2*(x - 45)*x^(2/x) + 16*(x - 13)*x^(1/x) + x^2 + x^(4/x) - 16 
*x^(3/x) - 26*x + 169)
 

Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 78 vs. \(2 (19) = 38\).

Time = 1.93 (sec) , antiderivative size = 78, normalized size of antiderivative = 3.39 \[ \int \frac {-2 x^2-2 x^3+x^{2/x} (4+4 x+(-4-4 x) \log (x))+x^{\frac {1}{x}} (-16-16 x+(16+16 x) \log (x))+\left (13 x^2-x^3-8 x^{2+\frac {1}{x}}+x^{2+\frac {2}{x}}\right ) \log \left (169-26 x+x^2+(90-2 x) x^{2/x}-16 x^{3/x}+x^{4/x}+x^{\frac {1}{x}} (-208+16 x)\right )}{13 x^2-x^3-8 x^{2+\frac {1}{x}}+x^{2+\frac {2}{x}}} \, dx=x \log {\left (x^{2} - 26 x + \left (90 - 2 x\right ) e^{\frac {2 \log {\left (x \right )}}{x}} + \left (16 x - 208\right ) e^{\frac {\log {\left (x \right )}}{x}} + e^{\frac {4 \log {\left (x \right )}}{x}} - 16 e^{\frac {3 \log {\left (x \right )}}{x}} + 169 \right )} + 2 \log {\left (- x + e^{\frac {2 \log {\left (x \right )}}{x}} - 8 e^{\frac {\log {\left (x \right )}}{x}} + 13 \right )} \] Input:

integrate(((x**2*exp(ln(x)/x)**2-8*x**2*exp(ln(x)/x)-x**3+13*x**2)*ln(exp( 
ln(x)/x)**4-16*exp(ln(x)/x)**3+(-2*x+90)*exp(ln(x)/x)**2+(16*x-208)*exp(ln 
(x)/x)+x**2-26*x+169)+((-4-4*x)*ln(x)+4*x+4)*exp(ln(x)/x)**2+((16*x+16)*ln 
(x)-16*x-16)*exp(ln(x)/x)-2*x**3-2*x**2)/(x**2*exp(ln(x)/x)**2-8*x**2*exp( 
ln(x)/x)-x**3+13*x**2),x)
 

Output:

x*log(x**2 - 26*x + (90 - 2*x)*exp(2*log(x)/x) + (16*x - 208)*exp(log(x)/x 
) + exp(4*log(x)/x) - 16*exp(3*log(x)/x) + 169) + 2*log(-x + exp(2*log(x)/ 
x) - 8*exp(log(x)/x) + 13)
 

Maxima [A] (verification not implemented)

Time = 0.07 (sec) , antiderivative size = 25, normalized size of antiderivative = 1.09 \[ \int \frac {-2 x^2-2 x^3+x^{2/x} (4+4 x+(-4-4 x) \log (x))+x^{\frac {1}{x}} (-16-16 x+(16+16 x) \log (x))+\left (13 x^2-x^3-8 x^{2+\frac {1}{x}}+x^{2+\frac {2}{x}}\right ) \log \left (169-26 x+x^2+(90-2 x) x^{2/x}-16 x^{3/x}+x^{4/x}+x^{\frac {1}{x}} (-208+16 x)\right )}{13 x^2-x^3-8 x^{2+\frac {1}{x}}+x^{2+\frac {2}{x}}} \, dx=2 \, {\left (x + 1\right )} \log \left (x^{\frac {2}{x}} - x - 8 \, x^{\left (\frac {1}{x}\right )} + 13\right ) \] Input:

integrate(((x^2*exp(log(x)/x)^2-8*x^2*exp(log(x)/x)-x^3+13*x^2)*log(exp(lo 
g(x)/x)^4-16*exp(log(x)/x)^3+(-2*x+90)*exp(log(x)/x)^2+(16*x-208)*exp(log( 
x)/x)+x^2-26*x+169)+((-4-4*x)*log(x)+4*x+4)*exp(log(x)/x)^2+((16*x+16)*log 
(x)-16*x-16)*exp(log(x)/x)-2*x^3-2*x^2)/(x^2*exp(log(x)/x)^2-8*x^2*exp(log 
(x)/x)-x^3+13*x^2),x, algorithm="maxima")
 

Output:

2*(x + 1)*log(x^(2/x) - x - 8*x^(1/x) + 13)
 

Giac [F]

\[ \int \frac {-2 x^2-2 x^3+x^{2/x} (4+4 x+(-4-4 x) \log (x))+x^{\frac {1}{x}} (-16-16 x+(16+16 x) \log (x))+\left (13 x^2-x^3-8 x^{2+\frac {1}{x}}+x^{2+\frac {2}{x}}\right ) \log \left (169-26 x+x^2+(90-2 x) x^{2/x}-16 x^{3/x}+x^{4/x}+x^{\frac {1}{x}} (-208+16 x)\right )}{13 x^2-x^3-8 x^{2+\frac {1}{x}}+x^{2+\frac {2}{x}}} \, dx=\int { -\frac {2 \, x^{3} + 4 \, {\left ({\left (x + 1\right )} \log \left (x\right ) - x - 1\right )} x^{\frac {2}{x}} - 16 \, {\left ({\left (x + 1\right )} \log \left (x\right ) - x - 1\right )} x^{\left (\frac {1}{x}\right )} + 2 \, x^{2} - {\left (x^{2} x^{\frac {2}{x}} - 8 \, x^{2} x^{\left (\frac {1}{x}\right )} - x^{3} + 13 \, x^{2}\right )} \log \left (-2 \, {\left (x - 45\right )} x^{\frac {2}{x}} + 16 \, {\left (x - 13\right )} x^{\left (\frac {1}{x}\right )} + x^{2} + x^{\frac {4}{x}} - 16 \, x^{\frac {3}{x}} - 26 \, x + 169\right )}{x^{2} x^{\frac {2}{x}} - 8 \, x^{2} x^{\left (\frac {1}{x}\right )} - x^{3} + 13 \, x^{2}} \,d x } \] Input:

integrate(((x^2*exp(log(x)/x)^2-8*x^2*exp(log(x)/x)-x^3+13*x^2)*log(exp(lo 
g(x)/x)^4-16*exp(log(x)/x)^3+(-2*x+90)*exp(log(x)/x)^2+(16*x-208)*exp(log( 
x)/x)+x^2-26*x+169)+((-4-4*x)*log(x)+4*x+4)*exp(log(x)/x)^2+((16*x+16)*log 
(x)-16*x-16)*exp(log(x)/x)-2*x^3-2*x^2)/(x^2*exp(log(x)/x)^2-8*x^2*exp(log 
(x)/x)-x^3+13*x^2),x, algorithm="giac")
 

Output:

undef
 

Mupad [B] (verification not implemented)

Time = 3.36 (sec) , antiderivative size = 84, normalized size of antiderivative = 3.65 \[ \int \frac {-2 x^2-2 x^3+x^{2/x} (4+4 x+(-4-4 x) \log (x))+x^{\frac {1}{x}} (-16-16 x+(16+16 x) \log (x))+\left (13 x^2-x^3-8 x^{2+\frac {1}{x}}+x^{2+\frac {2}{x}}\right ) \log \left (169-26 x+x^2+(90-2 x) x^{2/x}-16 x^{3/x}+x^{4/x}+x^{\frac {1}{x}} (-208+16 x)\right )}{13 x^2-x^3-8 x^{2+\frac {1}{x}}+x^{2+\frac {2}{x}}} \, dx=2\,\ln \left (x-x^{2/x}+8\,x^{1/x}-13\right )+x\,\ln \left (90\,x^{2/x}-26\,x-16\,x^{3/x}+x^{4/x}+16\,x\,x^{1/x}-208\,x^{1/x}+x^2-2\,x\,x^{2/x}+169\right ) \] Input:

int((log(exp((4*log(x))/x) - 16*exp((3*log(x))/x) - 26*x - exp((2*log(x))/ 
x)*(2*x - 90) + exp(log(x)/x)*(16*x - 208) + x^2 + 169)*(8*x^2*exp(log(x)/ 
x) - x^2*exp((2*log(x))/x) - 13*x^2 + x^3) - exp((2*log(x))/x)*(4*x - log( 
x)*(4*x + 4) + 4) + exp(log(x)/x)*(16*x - log(x)*(16*x + 16) + 16) + 2*x^2 
 + 2*x^3)/(8*x^2*exp(log(x)/x) - x^2*exp((2*log(x))/x) - 13*x^2 + x^3),x)
 

Output:

2*log(x - x^(2/x) + 8*x^(1/x) - 13) + x*log(90*x^(2/x) - 26*x - 16*x^(3/x) 
 + x^(4/x) + 16*x*x^(1/x) - 208*x^(1/x) + x^2 - 2*x*x^(2/x) + 169)
 

Reduce [B] (verification not implemented)

Time = 0.34 (sec) , antiderivative size = 103, normalized size of antiderivative = 4.48 \[ \int \frac {-2 x^2-2 x^3+x^{2/x} (4+4 x+(-4-4 x) \log (x))+x^{\frac {1}{x}} (-16-16 x+(16+16 x) \log (x))+\left (13 x^2-x^3-8 x^{2+\frac {1}{x}}+x^{2+\frac {2}{x}}\right ) \log \left (169-26 x+x^2+(90-2 x) x^{2/x}-16 x^{3/x}+x^{4/x}+x^{\frac {1}{x}} (-208+16 x)\right )}{13 x^2-x^3-8 x^{2+\frac {1}{x}}+x^{2+\frac {2}{x}}} \, dx=\mathrm {log}\left (e^{\frac {4 \,\mathrm {log}\left (x \right )}{x}}-16 e^{\frac {3 \,\mathrm {log}\left (x \right )}{x}}-2 e^{\frac {2 \,\mathrm {log}\left (x \right )}{x}} x +90 e^{\frac {2 \,\mathrm {log}\left (x \right )}{x}}+16 e^{\frac {\mathrm {log}\left (x \right )}{x}} x -208 e^{\frac {\mathrm {log}\left (x \right )}{x}}+x^{2}-26 x +169\right ) x +2 \,\mathrm {log}\left (e^{\frac {2 \,\mathrm {log}\left (x \right )}{x}}-8 e^{\frac {\mathrm {log}\left (x \right )}{x}}-x +13\right ) \] Input:

int(((x^2*exp(log(x)/x)^2-8*x^2*exp(log(x)/x)-x^3+13*x^2)*log(exp(log(x)/x 
)^4-16*exp(log(x)/x)^3+(-2*x+90)*exp(log(x)/x)^2+(16*x-208)*exp(log(x)/x)+ 
x^2-26*x+169)+((-4-4*x)*log(x)+4*x+4)*exp(log(x)/x)^2+((16*x+16)*log(x)-16 
*x-16)*exp(log(x)/x)-2*x^3-2*x^2)/(x^2*exp(log(x)/x)^2-8*x^2*exp(log(x)/x) 
-x^3+13*x^2),x)
 

Output:

log(e**((4*log(x))/x) - 16*e**((3*log(x))/x) - 2*e**((2*log(x))/x)*x + 90* 
e**((2*log(x))/x) + 16*e**(log(x)/x)*x - 208*e**(log(x)/x) + x**2 - 26*x + 
 169)*x + 2*log(e**((2*log(x))/x) - 8*e**(log(x)/x) - x + 13)