3.6.55 \(\int \frac {-e^3 x+(64+32 x+4 x^2) \log (\frac {1}{4} e^{\frac {576+144 x+e^3 x}{64+16 x}})}{(160+80 x+10 x^2) \log ^2(\frac {1}{4} e^{\frac {576+144 x+e^3 x}{64+16 x}})} \, dx\) [555]

3.6.55.1 Optimal result
3.6.55.2 Mathematica [B] (verified)
3.6.55.3 Rubi [F]
3.6.55.4 Maple [A] (verified)
3.6.55.5 Fricas [B] (verification not implemented)
3.6.55.6 Sympy [B] (verification not implemented)
3.6.55.7 Maxima [B] (verification not implemented)
3.6.55.8 Giac [B] (verification not implemented)
3.6.55.9 Mupad [B] (verification not implemented)

3.6.55.1 Optimal result

Integrand size = 83, antiderivative size = 29 \[ \int \frac {-e^3 x+\left (64+32 x+4 x^2\right ) \log \left (\frac {1}{4} e^{\frac {576+144 x+e^3 x}{64+16 x}}\right )}{\left (160+80 x+10 x^2\right ) \log ^2\left (\frac {1}{4} e^{\frac {576+144 x+e^3 x}{64+16 x}}\right )} \, dx=\frac {2 x}{5 \log \left (\frac {1}{4} e^{9+\frac {e^3 x}{16 (4+x)}}\right )} \]

output
2/5/ln(1/4*exp(9+exp(3)*x/(16*x+64)))*x
 
3.6.55.2 Mathematica [B] (verified)

Leaf count is larger than twice the leaf count of optimal. \(127\) vs. \(2(29)=58\).

Time = 0.30 (sec) , antiderivative size = 127, normalized size of antiderivative = 4.38 \[ \int \frac {-e^3 x+\left (64+32 x+4 x^2\right ) \log \left (\frac {1}{4} e^{\frac {576+144 x+e^3 x}{64+16 x}}\right )}{\left (160+80 x+10 x^2\right ) \log ^2\left (\frac {1}{4} e^{\frac {576+144 x+e^3 x}{64+16 x}}\right )} \, dx=\frac {2 \left (e^6 x+4 e^3 \left (-16+x^2\right ) \log \left (\frac {1}{4} e^{9+\frac {e^3 x}{64+16 x}}\right )+16 x (4+x)^2 \log ^2\left (\frac {1}{4} e^{9+\frac {e^3 x}{64+16 x}}\right )\right )}{5 \log \left (\frac {1}{4} e^{9+\frac {e^3 x}{64+16 x}}\right ) \left (e^3+4 (4+x) \log \left (\frac {1}{4} e^{9+\frac {e^3 x}{64+16 x}}\right )\right )^2} \]

input
Integrate[(-(E^3*x) + (64 + 32*x + 4*x^2)*Log[E^((576 + 144*x + E^3*x)/(64 
 + 16*x))/4])/((160 + 80*x + 10*x^2)*Log[E^((576 + 144*x + E^3*x)/(64 + 16 
*x))/4]^2),x]
 
output
(2*(E^6*x + 4*E^3*(-16 + x^2)*Log[E^(9 + (E^3*x)/(64 + 16*x))/4] + 16*x*(4 
 + x)^2*Log[E^(9 + (E^3*x)/(64 + 16*x))/4]^2))/(5*Log[E^(9 + (E^3*x)/(64 + 
 16*x))/4]*(E^3 + 4*(4 + x)*Log[E^(9 + (E^3*x)/(64 + 16*x))/4])^2)
 
3.6.55.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 {\left (4 x^2+32 x+64\right ) \log \left (\frac {1}{4} e^{\frac {e^3 x+144 x+576}{16 x+64}}\right )-e^3 x}{\left (10 x^2+80 x+160\right ) \log ^2\left (\frac {1}{4} e^{\frac {e^3 x+144 x+576}{16 x+64}}\right )} \, dx\)

\(\Big \downarrow \) 2007

\(\displaystyle \int \frac {\left (4 x^2+32 x+64\right ) \log \left (\frac {1}{4} e^{\frac {e^3 x+144 x+576}{16 x+64}}\right )-e^3 x}{\left (\sqrt {10} x+4 \sqrt {10}\right )^2 \log ^2\left (\frac {1}{4} e^{\frac {e^3 x+144 x+576}{16 x+64}}\right )}dx\)

\(\Big \downarrow \) 7292

\(\displaystyle \int \frac {\left (4 x^2+32 x+64\right ) \log \left (\frac {1}{4} e^{\frac {e^3 x+144 x+576}{16 x+64}}\right )-e^3 x}{\left (\sqrt {10} x+4 \sqrt {10}\right )^2 \log ^2\left (\frac {1}{4} e^{\frac {\left (144+e^3\right ) x+576}{16 x+64}}\right )}dx\)

\(\Big \downarrow \) 7293

\(\displaystyle \int \left (\frac {2 x^2}{5 (x+4)^2 \log \left (\frac {1}{4} e^{\frac {\left (144+e^3\right ) x+576}{16 (x+4)}}\right )}-\frac {e^3 x}{10 (x+4)^2 \log ^2\left (\frac {1}{4} e^{\frac {\left (144+e^3\right ) x+576}{16 (x+4)}}\right )}+\frac {16 x}{5 (x+4)^2 \log \left (\frac {1}{4} e^{\frac {\left (144+e^3\right ) x+576}{16 (x+4)}}\right )}+\frac {32}{5 (x+4)^2 \log \left (\frac {1}{4} e^{\frac {\left (144+e^3\right ) x+576}{16 (x+4)}}\right )}\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle -\frac {1}{10} e^3 \int \frac {1}{(x+4) \log ^2\left (\frac {1}{4} e^{\frac {\left (144+e^3\right ) x+576}{16 (x+4)}}\right )}dx+\frac {2}{5} \int \frac {1}{\log \left (\frac {1}{4} e^{\frac {\left (144+e^3\right ) x+576}{16 (x+4)}}\right )}dx-\frac {8}{5 \log \left (\frac {1}{4} e^{\frac {\left (144+e^3\right ) x+576}{16 (x+4)}}\right )}\)

input
Int[(-(E^3*x) + (64 + 32*x + 4*x^2)*Log[E^((576 + 144*x + E^3*x)/(64 + 16* 
x))/4])/((160 + 80*x + 10*x^2)*Log[E^((576 + 144*x + E^3*x)/(64 + 16*x))/4 
]^2),x]
 
output
$Aborted
 

3.6.55.3.1 Defintions of rubi rules used

rule 2007
Int[(u_.)*(Px_)^(p_), x_Symbol] :> With[{a = Rt[Coeff[Px, x, 0], Expon[Px, 
x]], b = Rt[Coeff[Px, x, Expon[Px, x]], Expon[Px, x]]}, Int[u*(a + b*x)^(Ex 
pon[Px, x]*p), x] /; EqQ[Px, (a + b*x)^Expon[Px, x]]] /; IntegerQ[p] && Pol 
yQ[Px, x] && GtQ[Expon[Px, x], 1] && NeQ[Coeff[Px, x, 0], 0]
 

rule 2009
Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 

rule 7292
Int[u_, x_Symbol] :> With[{v = NormalizeIntegrand[u, x]}, Int[v, x] /; v =! 
= u]
 

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

Time = 0.91 (sec) , antiderivative size = 31, normalized size of antiderivative = 1.07

method result size
risch \(-\frac {4 x}{5 \left (4 \ln \left (2\right )-2 \ln \left ({\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}\right )\right )}\) \(31\)
norman \(\frac {\frac {8}{5} x +\frac {2}{5} x^{2}}{\left (4+x \right ) \ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )}\) \(39\)
parallelrisch \(\frac {64 x^{3}+512 x^{2}+1024 x}{160 \ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right ) \left (4+x \right )^{2}}\) \(44\)
default \(\frac {32 x}{5 \left ({\mathrm e}^{3}+16 \ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )-\frac {16 \left (x \,{\mathrm e}^{3}+144 x +576\right )}{16 x +64}+144\right )}+\frac {128 \,{\mathrm e}^{3} \ln \left (x \,{\mathrm e}^{3}+16 \left (\ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )-\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}\right ) x +144 x +64 \ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )-\frac {64 \left (x \,{\mathrm e}^{3}+144 x +576\right )}{16 x +64}+576\right )}{5 \left ({\mathrm e}^{3}+16 \ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )-\frac {16 \left (x \,{\mathrm e}^{3}+144 x +576\right )}{16 x +64}+144\right )^{2}}-\frac {{\mathrm e}^{3} \left (-\frac {256 \left (-64 \ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )+\frac {64 x \,{\mathrm e}^{3}+9216 x +36864}{16 x +64}-576\right )}{\left ({\mathrm e}^{3}+16 \ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )-\frac {16 \left (x \,{\mathrm e}^{3}+144 x +576\right )}{16 x +64}+144\right )^{2} \left (x \,{\mathrm e}^{3}+16 \left (\ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )-\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}\right ) x +144 x +64 \ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )-\frac {64 \left (x \,{\mathrm e}^{3}+144 x +576\right )}{16 x +64}+576\right )}+\frac {256 \ln \left (x \,{\mathrm e}^{3}+16 \left (\ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )-\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}\right ) x +144 x +64 \ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )-\frac {64 \left (x \,{\mathrm e}^{3}+144 x +576\right )}{16 x +64}+576\right )}{\left ({\mathrm e}^{3}+16 \ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )-\frac {16 \left (x \,{\mathrm e}^{3}+144 x +576\right )}{16 x +64}+144\right )^{2}}\right )}{10}\) \(532\)
parts \(\frac {32 x}{5 \left ({\mathrm e}^{3}+16 \ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )-\frac {16 \left (x \,{\mathrm e}^{3}+144 x +576\right )}{16 x +64}+144\right )}+\frac {128 \,{\mathrm e}^{3} \ln \left (x \,{\mathrm e}^{3}+16 \left (\ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )-\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}\right ) x +144 x +64 \ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )-\frac {64 \left (x \,{\mathrm e}^{3}+144 x +576\right )}{16 x +64}+576\right )}{5 \left ({\mathrm e}^{3}+16 \ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )-\frac {16 \left (x \,{\mathrm e}^{3}+144 x +576\right )}{16 x +64}+144\right )^{2}}-\frac {{\mathrm e}^{3} \left (-\frac {256 \left (-64 \ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )+\frac {64 x \,{\mathrm e}^{3}+9216 x +36864}{16 x +64}-576\right )}{\left ({\mathrm e}^{3}+16 \ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )-\frac {16 \left (x \,{\mathrm e}^{3}+144 x +576\right )}{16 x +64}+144\right )^{2} \left (x \,{\mathrm e}^{3}+16 \left (\ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )-\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}\right ) x +144 x +64 \ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )-\frac {64 \left (x \,{\mathrm e}^{3}+144 x +576\right )}{16 x +64}+576\right )}+\frac {256 \ln \left (x \,{\mathrm e}^{3}+16 \left (\ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )-\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}\right ) x +144 x +64 \ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )-\frac {64 \left (x \,{\mathrm e}^{3}+144 x +576\right )}{16 x +64}+576\right )}{\left ({\mathrm e}^{3}+16 \ln \left (\frac {{\mathrm e}^{\frac {x \,{\mathrm e}^{3}+144 x +576}{16 x +64}}}{4}\right )-\frac {16 \left (x \,{\mathrm e}^{3}+144 x +576\right )}{16 x +64}+144\right )^{2}}\right )}{10}\) \(532\)

input
int(((4*x^2+32*x+64)*ln(1/4*exp((x*exp(3)+144*x+576)/(16*x+64)))-x*exp(3)) 
/(10*x^2+80*x+160)/ln(1/4*exp((x*exp(3)+144*x+576)/(16*x+64)))^2,x,method= 
_RETURNVERBOSE)
 
output
-4/5*x/(4*ln(2)-2*ln(exp(1/16*(x*exp(3)+144*x+576)/(4+x))))
 
3.6.55.5 Fricas [B] (verification not implemented)

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

Time = 0.24 (sec) , antiderivative size = 150, normalized size of antiderivative = 5.17 \[ \int \frac {-e^3 x+\left (64+32 x+4 x^2\right ) \log \left (\frac {1}{4} e^{\frac {576+144 x+e^3 x}{64+16 x}}\right )}{\left (160+80 x+10 x^2\right ) \log ^2\left (\frac {1}{4} e^{\frac {576+144 x+e^3 x}{64+16 x}}\right )} \, dx=-\frac {32 \, {\left (x^{2} e^{6} + 1024 \, {\left (x^{2} + 4 \, x\right )} \log \left (2\right )^{2} + 20736 \, x^{2} + 288 \, {\left (x^{2} + 2 \, x - 8\right )} e^{3} - 64 \, {\left (144 \, x^{2} + {\left (x^{2} + 2 \, x - 8\right )} e^{3} + 576 \, x\right )} \log \left (2\right ) + 82944 \, x\right )}}{5 \, {\left (32768 \, {\left (x + 4\right )} \log \left (2\right )^{3} - 1024 \, {\left ({\left (3 \, x + 8\right )} e^{3} + 432 \, x + 1728\right )} \log \left (2\right )^{2} - x e^{9} - 144 \, {\left (3 \, x + 4\right )} e^{6} - 20736 \, {\left (3 \, x + 8\right )} e^{3} + 32 \, {\left ({\left (3 \, x + 4\right )} e^{6} + 288 \, {\left (3 \, x + 8\right )} e^{3} + 62208 \, x + 248832\right )} \log \left (2\right ) - 2985984 \, x - 11943936\right )}} \]

input
integrate(((4*x^2+32*x+64)*log(1/4*exp((x*exp(3)+144*x+576)/(16*x+64)))-x* 
exp(3))/(10*x^2+80*x+160)/log(1/4*exp((x*exp(3)+144*x+576)/(16*x+64)))^2,x 
, algorithm=\
 
output
-32/5*(x^2*e^6 + 1024*(x^2 + 4*x)*log(2)^2 + 20736*x^2 + 288*(x^2 + 2*x - 
8)*e^3 - 64*(144*x^2 + (x^2 + 2*x - 8)*e^3 + 576*x)*log(2) + 82944*x)/(327 
68*(x + 4)*log(2)^3 - 1024*((3*x + 8)*e^3 + 432*x + 1728)*log(2)^2 - x*e^9 
 - 144*(3*x + 4)*e^6 - 20736*(3*x + 8)*e^3 + 32*((3*x + 4)*e^6 + 288*(3*x 
+ 8)*e^3 + 62208*x + 248832)*log(2) - 2985984*x - 11943936)
 
3.6.55.6 Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 150 vs. \(2 (20) = 40\).

Time = 0.63 (sec) , antiderivative size = 150, normalized size of antiderivative = 5.17 \[ \int \frac {-e^3 x+\left (64+32 x+4 x^2\right ) \log \left (\frac {1}{4} e^{\frac {576+144 x+e^3 x}{64+16 x}}\right )}{\left (160+80 x+10 x^2\right ) \log ^2\left (\frac {1}{4} e^{\frac {576+144 x+e^3 x}{64+16 x}}\right )} \, dx=\frac {32 x}{- 160 \log {\left (2 \right )} + 5 e^{3} + 720} + \frac {- 73728 e^{3} + 16384 e^{3} \log {\left (2 \right )}}{x \left (- 9953280 \log {\left (2 \right )} - 138240 e^{3} \log {\left (2 \right )} - 480 e^{6} \log {\left (2 \right )} - 163840 \log {\left (2 \right )}^{3} + 5 e^{9} + 15360 e^{3} \log {\left (2 \right )}^{2} + 2160 e^{6} + 2211840 \log {\left (2 \right )}^{2} + 311040 e^{3} + 14929920\right ) - 39813120 \log {\left (2 \right )} - 368640 e^{3} \log {\left (2 \right )} - 655360 \log {\left (2 \right )}^{3} - 640 e^{6} \log {\left (2 \right )} + 40960 e^{3} \log {\left (2 \right )}^{2} + 2880 e^{6} + 8847360 \log {\left (2 \right )}^{2} + 829440 e^{3} + 59719680} \]

input
integrate(((4*x**2+32*x+64)*ln(1/4*exp((x*exp(3)+144*x+576)/(16*x+64)))-x* 
exp(3))/(10*x**2+80*x+160)/ln(1/4*exp((x*exp(3)+144*x+576)/(16*x+64)))**2, 
x)
 
output
32*x/(-160*log(2) + 5*exp(3) + 720) + (-73728*exp(3) + 16384*exp(3)*log(2) 
)/(x*(-9953280*log(2) - 138240*exp(3)*log(2) - 480*exp(6)*log(2) - 163840* 
log(2)**3 + 5*exp(9) + 15360*exp(3)*log(2)**2 + 2160*exp(6) + 2211840*log( 
2)**2 + 311040*exp(3) + 14929920) - 39813120*log(2) - 368640*exp(3)*log(2) 
 - 655360*log(2)**3 - 640*exp(6)*log(2) + 40960*exp(3)*log(2)**2 + 2880*ex 
p(6) + 8847360*log(2)**2 + 829440*exp(3) + 59719680)
 
3.6.55.7 Maxima [B] (verification not implemented)

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

Time = 0.36 (sec) , antiderivative size = 1184, normalized size of antiderivative = 40.83 \[ \int \frac {-e^3 x+\left (64+32 x+4 x^2\right ) \log \left (\frac {1}{4} e^{\frac {576+144 x+e^3 x}{64+16 x}}\right )}{\left (160+80 x+10 x^2\right ) \log ^2\left (\frac {1}{4} e^{\frac {576+144 x+e^3 x}{64+16 x}}\right )} \, dx=\text {Too large to display} \]

input
integrate(((4*x^2+32*x+64)*log(1/4*exp((x*exp(3)+144*x+576)/(16*x+64)))-x* 
exp(3))/(10*x^2+80*x+160)/log(1/4*exp((x*exp(3)+144*x+576)/(16*x+64)))^2,x 
, algorithm=\
 
output
-128/5*(64*(2*log(2) - 9)/(131072*log(2)^3 + (32768*log(2)^3 + 48*(2*log(2 
) - 9)*e^6 - 768*(4*log(2)^2 - 36*log(2) + 81)*e^3 - 442368*log(2)^2 - e^9 
 + 1990656*log(2) - 2985984)*x + 64*(2*log(2) - 9)*e^6 - 2048*(4*log(2)^2 
- 36*log(2) + 81)*e^3 - 1769472*log(2)^2 + 7962624*log(2) - 11943936) - lo 
g(x*(e^3 - 32*log(2) + 144) - 128*log(2) + 576)/(32*(2*log(2) - 9)*e^3 - 1 
024*log(2)^2 - e^6 + 9216*log(2) - 20736))*e^3 + 128/5*e^(-3)*log(-x*(e^3 
- 32*log(2) + 144) + 128*log(2) - 576) - 512/5*(128*(2*log(2) - 9)*log(x*( 
e^3 - 32*log(2) + 144) - 128*log(2) + 576)/(32768*log(2)^3 + 48*(2*log(2) 
- 9)*e^6 - 768*(4*log(2)^2 - 36*log(2) + 81)*e^3 - 442368*log(2)^2 - e^9 + 
 1990656*log(2) - 2985984) + ((32*(2*log(2) - 9)*e^3 - 1024*log(2)^2 - e^6 
 + 9216*log(2) - 20736)*x^2 + 64*((2*log(2) - 9)*e^3 - 64*log(2)^2 + 576*l 
og(2) - 1296)*x + 16384*log(2)^2 - 147456*log(2) + 331776)/(4194304*log(2) 
^4 - 75497472*log(2)^3 + (1048576*log(2)^4 - 18874368*log(2)^3 - 64*(2*log 
(2) - 9)*e^9 + 1536*(4*log(2)^2 - 36*log(2) + 81)*e^6 - 16384*(8*log(2)^3 
- 108*log(2)^2 + 486*log(2) - 729)*e^3 + 127401984*log(2)^2 + e^12 - 38220 
5952*log(2) + 429981696)*x - 64*(2*log(2) - 9)*e^9 + 3072*(4*log(2)^2 - 36 
*log(2) + 81)*e^6 - 49152*(8*log(2)^3 - 108*log(2)^2 + 486*log(2) - 729)*e 
^3 + 509607936*log(2)^2 - 1528823808*log(2) + 1719926784))*log(1/4*e^(1/16 
*x*e^3/(x + 4) + 9*x/(x + 4) + 36/(x + 4))) + 4096/5*(64*(2*log(2) - 9)/(1 
31072*log(2)^3 + (32768*log(2)^3 + 48*(2*log(2) - 9)*e^6 - 768*(4*log(2...
 
3.6.55.8 Giac [B] (verification not implemented)

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

Time = 0.27 (sec) , antiderivative size = 87, normalized size of antiderivative = 3.00 \[ \int \frac {-e^3 x+\left (64+32 x+4 x^2\right ) \log \left (\frac {1}{4} e^{\frac {576+144 x+e^3 x}{64+16 x}}\right )}{\left (160+80 x+10 x^2\right ) \log ^2\left (\frac {1}{4} e^{\frac {576+144 x+e^3 x}{64+16 x}}\right )} \, dx=-\frac {32 \, {\left (x e^{3} - 32 \, x \log \left (2\right ) + 144 \, x\right )}}{5 \, {\left (64 \, e^{3} \log \left (2\right ) - 1024 \, \log \left (2\right )^{2} - e^{6} - 288 \, e^{3} + 9216 \, \log \left (2\right ) - 20736\right )}} + \frac {8192 \, {\left (2 \, e^{3} \log \left (2\right ) - 9 \, e^{3}\right )}}{5 \, {\left (x e^{3} - 32 \, x \log \left (2\right ) + 144 \, x - 128 \, \log \left (2\right ) + 576\right )} {\left (e^{3} - 32 \, \log \left (2\right ) + 144\right )}^{2}} \]

input
integrate(((4*x^2+32*x+64)*log(1/4*exp((x*exp(3)+144*x+576)/(16*x+64)))-x* 
exp(3))/(10*x^2+80*x+160)/log(1/4*exp((x*exp(3)+144*x+576)/(16*x+64)))^2,x 
, algorithm=\
 
output
-32/5*(x*e^3 - 32*x*log(2) + 144*x)/(64*e^3*log(2) - 1024*log(2)^2 - e^6 - 
 288*e^3 + 9216*log(2) - 20736) + 8192/5*(2*e^3*log(2) - 9*e^3)/((x*e^3 - 
32*x*log(2) + 144*x - 128*log(2) + 576)*(e^3 - 32*log(2) + 144)^2)
 
3.6.55.9 Mupad [B] (verification not implemented)

Time = 12.62 (sec) , antiderivative size = 113, normalized size of antiderivative = 3.90 \[ \int \frac {-e^3 x+\left (64+32 x+4 x^2\right ) \log \left (\frac {1}{4} e^{\frac {576+144 x+e^3 x}{64+16 x}}\right )}{\left (160+80 x+10 x^2\right ) \log ^2\left (\frac {1}{4} e^{\frac {576+144 x+e^3 x}{64+16 x}}\right )} \, dx=\frac {32\,\left (82944\,x-2304\,{\mathrm {e}}^3+1024\,x^2\,{\ln \left (2\right )}^2+512\,{\mathrm {e}}^3\,\ln \left (2\right )+576\,x\,{\mathrm {e}}^3-36864\,x\,\ln \left (2\right )+288\,x^2\,{\mathrm {e}}^3+x^2\,{\mathrm {e}}^6+4096\,x\,{\ln \left (2\right )}^2-9216\,x^2\,\ln \left (2\right )+20736\,x^2-64\,x^2\,{\mathrm {e}}^3\,\ln \left (2\right )-128\,x\,{\mathrm {e}}^3\,\ln \left (2\right )\right )}{5\,{\left ({\mathrm {e}}^3-32\,\ln \left (2\right )+144\right )}^2\,\left (144\,x-128\,\ln \left (2\right )+x\,{\mathrm {e}}^3-32\,x\,\ln \left (2\right )+576\right )} \]

input
int(-(x*exp(3) - log(exp((144*x + x*exp(3) + 576)/(16*x + 64))/4)*(32*x + 
4*x^2 + 64))/(log(exp((144*x + x*exp(3) + 576)/(16*x + 64))/4)^2*(80*x + 1 
0*x^2 + 160)),x)
 
output
(32*(82944*x - 2304*exp(3) + 1024*x^2*log(2)^2 + 512*exp(3)*log(2) + 576*x 
*exp(3) - 36864*x*log(2) + 288*x^2*exp(3) + x^2*exp(6) + 4096*x*log(2)^2 - 
 9216*x^2*log(2) + 20736*x^2 - 64*x^2*exp(3)*log(2) - 128*x*exp(3)*log(2)) 
)/(5*(exp(3) - 32*log(2) + 144)^2*(144*x - 128*log(2) + x*exp(3) - 32*x*lo 
g(2) + 576))