\(\int \frac {4 e^2+e (-16-16 x)+28 x+16 x^2+(4 e^2-8 e x) \log (x)}{18 x+e^2 x+14 x^2+4 x^3+e (-8 x-4 x^2)+(2 e^2 x+e (-8 x-4 x^2)) \log (x)+e^2 x \log ^2(x)} \, dx\) [2425]

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

Optimal result

Integrand size = 97, antiderivative size = 24 \[ \int \frac {4 e^2+e (-16-16 x)+28 x+16 x^2+\left (4 e^2-8 e x\right ) \log (x)}{18 x+e^2 x+14 x^2+4 x^3+e \left (-8 x-4 x^2\right )+\left (2 e^2 x+e \left (-8 x-4 x^2\right )\right ) \log (x)+e^2 x \log ^2(x)} \, dx=\log \left (\left (-2+2 x-(4+2 x-e (1+\log (x)))^2\right )^2\right ) \] Output:

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

Mathematica [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(49\) vs. \(2(24)=48\).

Time = 0.41 (sec) , antiderivative size = 49, normalized size of antiderivative = 2.04 \[ \int \frac {4 e^2+e (-16-16 x)+28 x+16 x^2+\left (4 e^2-8 e x\right ) \log (x)}{18 x+e^2 x+14 x^2+4 x^3+e \left (-8 x-4 x^2\right )+\left (2 e^2 x+e \left (-8 x-4 x^2\right )\right ) \log (x)+e^2 x \log ^2(x)} \, dx=2 \log \left (18-8 e+e^2+14 x-4 e x+4 x^2-8 e \log (x)+2 e^2 \log (x)-4 e x \log (x)+e^2 \log ^2(x)\right ) \] Input:

Integrate[(4*E^2 + E*(-16 - 16*x) + 28*x + 16*x^2 + (4*E^2 - 8*E*x)*Log[x] 
)/(18*x + E^2*x + 14*x^2 + 4*x^3 + E*(-8*x - 4*x^2) + (2*E^2*x + E*(-8*x - 
 4*x^2))*Log[x] + E^2*x*Log[x]^2),x]
 

Output:

2*Log[18 - 8*E + E^2 + 14*x - 4*E*x + 4*x^2 - 8*E*Log[x] + 2*E^2*Log[x] - 
4*E*x*Log[x] + E^2*Log[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 {16 x^2+28 x+e (-16 x-16)+\left (4 e^2-8 e x\right ) \log (x)+4 e^2}{4 x^3+14 x^2+e \left (-4 x^2-8 x\right )+\left (e \left (-4 x^2-8 x\right )+2 e^2 x\right ) \log (x)+e^2 x+18 x+e^2 x \log ^2(x)} \, dx\)

\(\Big \downarrow \) 6

\(\displaystyle \int \frac {16 x^2+28 x+e (-16 x-16)+\left (4 e^2-8 e x\right ) \log (x)+4 e^2}{4 x^3+14 x^2+e \left (-4 x^2-8 x\right )+\left (e \left (-4 x^2-8 x\right )+2 e^2 x\right ) \log (x)+\left (18+e^2\right ) x+e^2 x \log ^2(x)}dx\)

\(\Big \downarrow \) 7292

\(\displaystyle \int \frac {4 \left (4 x^2+7 \left (1-\frac {4 e}{7}\right ) x-2 e x \log (x)+e^2 \log (x)-4 \left (1-\frac {e}{4}\right ) e\right )}{4 x^3+14 x^2+e \left (-4 x^2-8 x\right )+\left (e \left (-4 x^2-8 x\right )+2 e^2 x\right ) \log (x)+\left (18+e^2\right ) x+e^2 x \log ^2(x)}dx\)

\(\Big \downarrow \) 27

\(\displaystyle 4 \int -\frac {-4 x^2+2 e \log (x) x-(7-4 e) x-e^2 \log (x)+(4-e) e}{4 x^3+14 x^2+e^2 \log ^2(x) x+\left (18+e^2\right ) x-4 e \left (x^2+2 x\right )+2 \left (e^2 x-2 e \left (x^2+2 x\right )\right ) \log (x)}dx\)

\(\Big \downarrow \) 25

\(\displaystyle -4 \int \frac {-4 x^2+2 e \log (x) x-(7-4 e) x-e^2 \log (x)+(4-e) e}{4 x^3+14 x^2+e^2 \log ^2(x) x+\left (18+e^2\right ) x-4 e \left (x^2+2 x\right )+2 \left (e^2 x-2 e \left (x^2+2 x\right )\right ) \log (x)}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle -4 \int \left (\frac {4 x}{-4 x^2+4 e \log (x) x-14 \left (1-\frac {2 e}{7}\right ) x-e^2 \log ^2(x)+8 \left (1-\frac {e}{4}\right ) e \log (x)-18 \left (1+\frac {1}{18} (-8+e) e\right )}+\frac {2 e \log (x)}{4 x^2-4 e \log (x) x+14 \left (1-\frac {2 e}{7}\right ) x+e^2 \log ^2(x)-8 \left (1-\frac {e}{4}\right ) e \log (x)+18 \left (1+\frac {1}{18} (-8+e) e\right )}+\frac {-7+4 e}{4 x^2-4 e \log (x) x+14 \left (1-\frac {2 e}{7}\right ) x+e^2 \log ^2(x)-8 \left (1-\frac {e}{4}\right ) e \log (x)+18 \left (1+\frac {1}{18} (-8+e) e\right )}+\frac {e^2 \log (x)}{\left (-4 x^2+4 e \log (x) x-14 \left (1-\frac {2 e}{7}\right ) x-e^2 \log ^2(x)+8 \left (1-\frac {e}{4}\right ) e \log (x)-18 \left (1+\frac {1}{18} (-8+e) e\right )\right ) x}+\frac {(4-e) e}{\left (4 x^2-4 e \log (x) x+14 \left (1-\frac {2 e}{7}\right ) x+e^2 \log ^2(x)-8 \left (1-\frac {e}{4}\right ) e \log (x)+18 \left (1+\frac {1}{18} (-8+e) e\right )\right ) x}\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle -4 \left (4 \int \frac {x}{-4 x^2+4 e \log (x) x-14 \left (1-\frac {2 e}{7}\right ) x-e^2 \log ^2(x)+8 \left (1-\frac {e}{4}\right ) e \log (x)-18 \left (1+\frac {1}{18} (-8+e) e\right )}dx+e^2 \int \frac {\log (x)}{x \left (-4 x^2+4 e \log (x) x-14 \left (1-\frac {2 e}{7}\right ) x-e^2 \log ^2(x)+8 \left (1-\frac {e}{4}\right ) e \log (x)-18 \left (1+\frac {1}{18} (-8+e) e\right )\right )}dx-(7-4 e) \int \frac {1}{4 x^2-4 e \log (x) x+14 \left (1-\frac {2 e}{7}\right ) x+e^2 \log ^2(x)-8 \left (1-\frac {e}{4}\right ) e \log (x)+18 \left (1+\frac {1}{18} (-8+e) e\right )}dx+(4-e) e \int \frac {1}{x \left (4 x^2-4 e \log (x) x+14 \left (1-\frac {2 e}{7}\right ) x+e^2 \log ^2(x)-8 \left (1-\frac {e}{4}\right ) e \log (x)+18 \left (1+\frac {1}{18} (-8+e) e\right )\right )}dx+2 e \int \frac {\log (x)}{4 x^2-4 e \log (x) x+14 \left (1-\frac {2 e}{7}\right ) x+e^2 \log ^2(x)-8 \left (1-\frac {e}{4}\right ) e \log (x)+18 \left (1+\frac {1}{18} (-8+e) e\right )}dx\right )\)

Input:

Int[(4*E^2 + E*(-16 - 16*x) + 28*x + 16*x^2 + (4*E^2 - 8*E*x)*Log[x])/(18* 
x + E^2*x + 14*x^2 + 4*x^3 + E*(-8*x - 4*x^2) + (2*E^2*x + E*(-8*x - 4*x^2 
))*Log[x] + E^2*x*Log[x]^2),x]
 

Output:

$Aborted
 
Maple [A] (verified)

Time = 0.35 (sec) , antiderivative size = 46, normalized size of antiderivative = 1.92

method result size
risch \(2 \ln \left (\ln \left (x \right )^{2}+2 \,{\mathrm e}^{-1} \left ({\mathrm e}-2 x -4\right ) \ln \left (x \right )+\left ({\mathrm e}^{2}-4 x \,{\mathrm e}+4 x^{2}-8 \,{\mathrm e}+14 x +18\right ) {\mathrm e}^{-2}\right )\) \(46\)
default \(2 \ln \left ({\mathrm e}^{2} \ln \left (x \right )^{2}+2 \,{\mathrm e}^{2} \ln \left (x \right )-4 x \,{\mathrm e} \ln \left (x \right )-8 \,{\mathrm e} \ln \left (x \right )+{\mathrm e}^{2}-4 x \,{\mathrm e}+4 x^{2}-8 \,{\mathrm e}+14 x +18\right )\) \(57\)
norman \(2 \ln \left ({\mathrm e}^{2} \ln \left (x \right )^{2}+2 \,{\mathrm e}^{2} \ln \left (x \right )-4 x \,{\mathrm e} \ln \left (x \right )-8 \,{\mathrm e} \ln \left (x \right )+{\mathrm e}^{2}-4 x \,{\mathrm e}+4 x^{2}-8 \,{\mathrm e}+14 x +18\right )\) \(57\)
parallelrisch \(2 \ln \left (\frac {{\mathrm e}^{2} \ln \left (x \right )^{2}}{4}+\frac {{\mathrm e}^{2} \ln \left (x \right )}{2}-x \,{\mathrm e} \ln \left (x \right )-2 \,{\mathrm e} \ln \left (x \right )+\frac {{\mathrm e}^{2}}{4}-x \,{\mathrm e}+x^{2}-2 \,{\mathrm e}+\frac {7 x}{2}+\frac {9}{2}\right )\) \(58\)

Input:

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

Output:

2*ln(ln(x)^2+2*exp(-1)*(exp(1)-2*x-4)*ln(x)+(exp(2)-4*x*exp(1)+4*x^2-8*exp 
(1)+14*x+18)*exp(-2))
 

Fricas [B] (verification not implemented)

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

Time = 0.09 (sec) , antiderivative size = 45, normalized size of antiderivative = 1.88 \[ \int \frac {4 e^2+e (-16-16 x)+28 x+16 x^2+\left (4 e^2-8 e x\right ) \log (x)}{18 x+e^2 x+14 x^2+4 x^3+e \left (-8 x-4 x^2\right )+\left (2 e^2 x+e \left (-8 x-4 x^2\right )\right ) \log (x)+e^2 x \log ^2(x)} \, dx=2 \, \log \left (e^{2} \log \left (x\right )^{2} + 4 \, x^{2} - 4 \, {\left (x + 2\right )} e - 2 \, {\left (2 \, {\left (x + 2\right )} e - e^{2}\right )} \log \left (x\right ) + 14 \, x + e^{2} + 18\right ) \] Input:

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

Output:

2*log(e^2*log(x)^2 + 4*x^2 - 4*(x + 2)*e - 2*(2*(x + 2)*e - e^2)*log(x) + 
14*x + e^2 + 18)
 

Sympy [B] (verification not implemented)

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

Time = 0.17 (sec) , antiderivative size = 53, normalized size of antiderivative = 2.21 \[ \int \frac {4 e^2+e (-16-16 x)+28 x+16 x^2+\left (4 e^2-8 e x\right ) \log (x)}{18 x+e^2 x+14 x^2+4 x^3+e \left (-8 x-4 x^2\right )+\left (2 e^2 x+e \left (-8 x-4 x^2\right )\right ) \log (x)+e^2 x \log ^2(x)} \, dx=2 \log {\left (\frac {\left (- 4 x - 8 + 2 e\right ) \log {\left (x \right )}}{e} + \frac {4 x^{2} - 4 e x + 14 x - 8 e + e^{2} + 18}{e^{2}} + \log {\left (x \right )}^{2} \right )} \] Input:

integrate(((4*exp(1)**2-8*exp(1)*x)*ln(x)+4*exp(1)**2+(-16*x-16)*exp(1)+16 
*x**2+28*x)/(x*exp(1)**2*ln(x)**2+(2*x*exp(1)**2+(-4*x**2-8*x)*exp(1))*ln( 
x)+x*exp(1)**2+(-4*x**2-8*x)*exp(1)+4*x**3+14*x**2+18*x),x)
 

Output:

2*log((-4*x - 8 + 2*E)*exp(-1)*log(x) + (4*x**2 - 4*E*x + 14*x - 8*E + exp 
(2) + 18)*exp(-2) + log(x)**2)
 

Maxima [B] (verification not implemented)

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

Time = 0.08 (sec) , antiderivative size = 53, normalized size of antiderivative = 2.21 \[ \int \frac {4 e^2+e (-16-16 x)+28 x+16 x^2+\left (4 e^2-8 e x\right ) \log (x)}{18 x+e^2 x+14 x^2+4 x^3+e \left (-8 x-4 x^2\right )+\left (2 e^2 x+e \left (-8 x-4 x^2\right )\right ) \log (x)+e^2 x \log ^2(x)} \, dx=2 \, \log \left ({\left (e^{2} \log \left (x\right )^{2} + 4 \, x^{2} - 2 \, x {\left (2 \, e - 7\right )} - 2 \, {\left (2 \, x e - e^{2} + 4 \, e\right )} \log \left (x\right ) + e^{2} - 8 \, e + 18\right )} e^{\left (-2\right )}\right ) \] Input:

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

Output:

2*log((e^2*log(x)^2 + 4*x^2 - 2*x*(2*e - 7) - 2*(2*x*e - e^2 + 4*e)*log(x) 
 + e^2 - 8*e + 18)*e^(-2))
 

Giac [B] (verification not implemented)

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

Time = 0.14 (sec) , antiderivative size = 50, normalized size of antiderivative = 2.08 \[ \int \frac {4 e^2+e (-16-16 x)+28 x+16 x^2+\left (4 e^2-8 e x\right ) \log (x)}{18 x+e^2 x+14 x^2+4 x^3+e \left (-8 x-4 x^2\right )+\left (2 e^2 x+e \left (-8 x-4 x^2\right )\right ) \log (x)+e^2 x \log ^2(x)} \, dx=2 \, \log \left (-4 \, x e \log \left (x\right ) + e^{2} \log \left (x\right )^{2} + 4 \, x^{2} - 4 \, x e + 2 \, e^{2} \log \left (x\right ) - 8 \, e \log \left (x\right ) + 14 \, x + e^{2} - 8 \, e + 18\right ) \] Input:

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

Output:

2*log(-4*x*e*log(x) + e^2*log(x)^2 + 4*x^2 - 4*x*e + 2*e^2*log(x) - 8*e*lo 
g(x) + 14*x + e^2 - 8*e + 18)
 

Mupad [B] (verification not implemented)

Time = 4.78 (sec) , antiderivative size = 50, normalized size of antiderivative = 2.08 \[ \int \frac {4 e^2+e (-16-16 x)+28 x+16 x^2+\left (4 e^2-8 e x\right ) \log (x)}{18 x+e^2 x+14 x^2+4 x^3+e \left (-8 x-4 x^2\right )+\left (2 e^2 x+e \left (-8 x-4 x^2\right )\right ) \log (x)+e^2 x \log ^2(x)} \, dx=2\,\ln \left (14\,x-8\,\mathrm {e}+{\mathrm {e}}^2+{\mathrm {e}}^2\,{\ln \left (x\right )}^2-4\,x\,\mathrm {e}-8\,\mathrm {e}\,\ln \left (x\right )+2\,{\mathrm {e}}^2\,\ln \left (x\right )+4\,x^2-4\,x\,\mathrm {e}\,\ln \left (x\right )+18\right ) \] Input:

int((28*x + 4*exp(2) + log(x)*(4*exp(2) - 8*x*exp(1)) + 16*x^2 - exp(1)*(1 
6*x + 16))/(18*x - log(x)*(exp(1)*(8*x + 4*x^2) - 2*x*exp(2)) - exp(1)*(8* 
x + 4*x^2) + x*exp(2) + 14*x^2 + 4*x^3 + x*exp(2)*log(x)^2),x)
 

Output:

2*log(14*x - 8*exp(1) + exp(2) + exp(2)*log(x)^2 - 4*x*exp(1) - 8*exp(1)*l 
og(x) + 2*exp(2)*log(x) + 4*x^2 - 4*x*exp(1)*log(x) + 18)
 

Reduce [F]

\[ \int \frac {4 e^2+e (-16-16 x)+28 x+16 x^2+\left (4 e^2-8 e x\right ) \log (x)}{18 x+e^2 x+14 x^2+4 x^3+e \left (-8 x-4 x^2\right )+\left (2 e^2 x+e \left (-8 x-4 x^2\right )\right ) \log (x)+e^2 x \log ^2(x)} \, dx=4 \left (\int \frac {\mathrm {log}\left (x \right )}{\mathrm {log}\left (x \right )^{2} e^{2} x +2 \,\mathrm {log}\left (x \right ) e^{2} x -4 \,\mathrm {log}\left (x \right ) e \,x^{2}-8 \,\mathrm {log}\left (x \right ) e x +e^{2} x -4 e \,x^{2}-8 e x +4 x^{3}+14 x^{2}+18 x}d x \right ) e^{2}-8 \left (\int \frac {\mathrm {log}\left (x \right )}{\mathrm {log}\left (x \right )^{2} e^{2}+2 \,\mathrm {log}\left (x \right ) e^{2}-4 \,\mathrm {log}\left (x \right ) e x -8 \,\mathrm {log}\left (x \right ) e +e^{2}-4 e x -8 e +4 x^{2}+14 x +18}d x \right ) e +16 \left (\int \frac {x}{\mathrm {log}\left (x \right )^{2} e^{2}+2 \,\mathrm {log}\left (x \right ) e^{2}-4 \,\mathrm {log}\left (x \right ) e x -8 \,\mathrm {log}\left (x \right ) e +e^{2}-4 e x -8 e +4 x^{2}+14 x +18}d x \right )+4 \left (\int \frac {1}{\mathrm {log}\left (x \right )^{2} e^{2} x +2 \,\mathrm {log}\left (x \right ) e^{2} x -4 \,\mathrm {log}\left (x \right ) e \,x^{2}-8 \,\mathrm {log}\left (x \right ) e x +e^{2} x -4 e \,x^{2}-8 e x +4 x^{3}+14 x^{2}+18 x}d x \right ) e^{2}-16 \left (\int \frac {1}{\mathrm {log}\left (x \right )^{2} e^{2} x +2 \,\mathrm {log}\left (x \right ) e^{2} x -4 \,\mathrm {log}\left (x \right ) e \,x^{2}-8 \,\mathrm {log}\left (x \right ) e x +e^{2} x -4 e \,x^{2}-8 e x +4 x^{3}+14 x^{2}+18 x}d x \right ) e -16 \left (\int \frac {1}{\mathrm {log}\left (x \right )^{2} e^{2}+2 \,\mathrm {log}\left (x \right ) e^{2}-4 \,\mathrm {log}\left (x \right ) e x -8 \,\mathrm {log}\left (x \right ) e +e^{2}-4 e x -8 e +4 x^{2}+14 x +18}d x \right ) e +28 \left (\int \frac {1}{\mathrm {log}\left (x \right )^{2} e^{2}+2 \,\mathrm {log}\left (x \right ) e^{2}-4 \,\mathrm {log}\left (x \right ) e x -8 \,\mathrm {log}\left (x \right ) e +e^{2}-4 e x -8 e +4 x^{2}+14 x +18}d x \right ) \] Input:

int(((4*exp(1)^2-8*exp(1)*x)*log(x)+4*exp(1)^2+(-16*x-16)*exp(1)+16*x^2+28 
*x)/(x*exp(1)^2*log(x)^2+(2*x*exp(1)^2+(-4*x^2-8*x)*exp(1))*log(x)+x*exp(1 
)^2+(-4*x^2-8*x)*exp(1)+4*x^3+14*x^2+18*x),x)
 

Output:

4*(int(log(x)/(log(x)**2*e**2*x + 2*log(x)*e**2*x - 4*log(x)*e*x**2 - 8*lo 
g(x)*e*x + e**2*x - 4*e*x**2 - 8*e*x + 4*x**3 + 14*x**2 + 18*x),x)*e**2 - 
2*int(log(x)/(log(x)**2*e**2 + 2*log(x)*e**2 - 4*log(x)*e*x - 8*log(x)*e + 
 e**2 - 4*e*x - 8*e + 4*x**2 + 14*x + 18),x)*e + 4*int(x/(log(x)**2*e**2 + 
 2*log(x)*e**2 - 4*log(x)*e*x - 8*log(x)*e + e**2 - 4*e*x - 8*e + 4*x**2 + 
 14*x + 18),x) + int(1/(log(x)**2*e**2*x + 2*log(x)*e**2*x - 4*log(x)*e*x* 
*2 - 8*log(x)*e*x + e**2*x - 4*e*x**2 - 8*e*x + 4*x**3 + 14*x**2 + 18*x),x 
)*e**2 - 4*int(1/(log(x)**2*e**2*x + 2*log(x)*e**2*x - 4*log(x)*e*x**2 - 8 
*log(x)*e*x + e**2*x - 4*e*x**2 - 8*e*x + 4*x**3 + 14*x**2 + 18*x),x)*e - 
4*int(1/(log(x)**2*e**2 + 2*log(x)*e**2 - 4*log(x)*e*x - 8*log(x)*e + e**2 
 - 4*e*x - 8*e + 4*x**2 + 14*x + 18),x)*e + 7*int(1/(log(x)**2*e**2 + 2*lo 
g(x)*e**2 - 4*log(x)*e*x - 8*log(x)*e + e**2 - 4*e*x - 8*e + 4*x**2 + 14*x 
 + 18),x))