3.7.23 \(\int \frac {e^x (-1600 x^2-64 x^5)+e^{5 e^{-x}} (e^x (3200-256 x^3)+(16000 x+640 x^4) \log (\frac {25+x^3}{x}))}{e^x (25 x^7+x^{10})+e^{5 e^{-x}+x} (300 x^5+12 x^8) \log (\frac {25+x^3}{x})+e^{10 e^{-x}+x} (1200 x^3+48 x^6) \log ^2(\frac {25+x^3}{x})+e^{15 e^{-x}+x} (1600 x+64 x^4) \log ^3(\frac {25+x^3}{x})} \, dx\) [623]

3.7.23.1 Optimal result
3.7.23.2 Mathematica [A] (verified)
3.7.23.3 Rubi [F]
3.7.23.4 Maple [F(-1)]
3.7.23.5 Fricas [B] (verification not implemented)
3.7.23.6 Sympy [A] (verification not implemented)
3.7.23.7 Maxima [B] (verification not implemented)
3.7.23.8 Giac [F(-1)]
3.7.23.9 Mupad [B] (verification not implemented)

3.7.23.1 Optimal result

Integrand size = 176, antiderivative size = 29 \[ \int \frac {e^x \left (-1600 x^2-64 x^5\right )+e^{5 e^{-x}} \left (e^x \left (3200-256 x^3\right )+\left (16000 x+640 x^4\right ) \log \left (\frac {25+x^3}{x}\right )\right )}{e^x \left (25 x^7+x^{10}\right )+e^{5 e^{-x}+x} \left (300 x^5+12 x^8\right ) \log \left (\frac {25+x^3}{x}\right )+e^{10 e^{-x}+x} \left (1200 x^3+48 x^6\right ) \log ^2\left (\frac {25+x^3}{x}\right )+e^{15 e^{-x}+x} \left (1600 x+64 x^4\right ) \log ^3\left (\frac {25+x^3}{x}\right )} \, dx=\frac {16}{\left (x^2+4 e^{5 e^{-x}} \log \left (\frac {25}{x}+x^2\right )\right )^2} \]

output
16/(4*exp(5/exp(x))*ln(x^2+25/x)+x^2)^2
 
3.7.23.2 Mathematica [A] (verified)

Time = 0.13 (sec) , antiderivative size = 29, normalized size of antiderivative = 1.00 \[ \int \frac {e^x \left (-1600 x^2-64 x^5\right )+e^{5 e^{-x}} \left (e^x \left (3200-256 x^3\right )+\left (16000 x+640 x^4\right ) \log \left (\frac {25+x^3}{x}\right )\right )}{e^x \left (25 x^7+x^{10}\right )+e^{5 e^{-x}+x} \left (300 x^5+12 x^8\right ) \log \left (\frac {25+x^3}{x}\right )+e^{10 e^{-x}+x} \left (1200 x^3+48 x^6\right ) \log ^2\left (\frac {25+x^3}{x}\right )+e^{15 e^{-x}+x} \left (1600 x+64 x^4\right ) \log ^3\left (\frac {25+x^3}{x}\right )} \, dx=\frac {16}{\left (x^2+4 e^{5 e^{-x}} \log \left (\frac {25+x^3}{x}\right )\right )^2} \]

input
Integrate[(E^x*(-1600*x^2 - 64*x^5) + E^(5/E^x)*(E^x*(3200 - 256*x^3) + (1 
6000*x + 640*x^4)*Log[(25 + x^3)/x]))/(E^x*(25*x^7 + x^10) + E^(5/E^x + x) 
*(300*x^5 + 12*x^8)*Log[(25 + x^3)/x] + E^(10/E^x + x)*(1200*x^3 + 48*x^6) 
*Log[(25 + x^3)/x]^2 + E^(15/E^x + x)*(1600*x + 64*x^4)*Log[(25 + x^3)/x]^ 
3),x]
 
output
16/(x^2 + 4*E^(5/E^x)*Log[(25 + x^3)/x])^2
 
3.7.23.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 {e^x \left (-64 x^5-1600 x^2\right )+e^{5 e^{-x}} \left (e^x \left (3200-256 x^3\right )+\left (640 x^4+16000 x\right ) \log \left (\frac {x^3+25}{x}\right )\right )}{e^x \left (x^{10}+25 x^7\right )+e^{x+10 e^{-x}} \left (48 x^6+1200 x^3\right ) \log ^2\left (\frac {x^3+25}{x}\right )+e^{x+15 e^{-x}} \left (64 x^4+1600 x\right ) \log ^3\left (\frac {x^3+25}{x}\right )+e^{x+5 e^{-x}} \left (12 x^8+300 x^5\right ) \log \left (\frac {x^3+25}{x}\right )} \, dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {e^{-x} \left (640 e^{5 e^{-x}} x \left (x^3+25\right ) \log \left (\frac {x^3+25}{x}\right )-64 e^x \left (e^{5 e^{-x}} \left (4 x^3-50\right )+\left (x^3+25\right ) x^2\right )\right )}{x \left (x^3+25\right ) \left (4 e^{5 e^{-x}} \log \left (\frac {x^3+25}{x}\right )+x^2\right )^3}dx\)

\(\Big \downarrow \) 7276

\(\displaystyle \int \left (\frac {640 e^{5 e^{-x}-x} \log \left (\frac {x^3+25}{x}\right )}{\left (4 e^{5 e^{-x}} \log \left (\frac {x^3+25}{x}\right )+x^2\right )^3}-\frac {64 \left (x^5+4 e^{5 e^{-x}} x^3+25 x^2-50 e^{5 e^{-x}}\right )}{x \left (x^3+25\right ) \left (4 e^{5 e^{-x}} \log \left (\frac {x^3+25}{x}\right )+x^2\right )^3}\right )dx\)

\(\Big \downarrow \) 7299

\(\displaystyle \int \left (\frac {640 e^{5 e^{-x}-x} \log \left (\frac {x^3+25}{x}\right )}{\left (4 e^{5 e^{-x}} \log \left (\frac {x^3+25}{x}\right )+x^2\right )^3}-\frac {64 \left (x^5+4 e^{5 e^{-x}} x^3+25 x^2-50 e^{5 e^{-x}}\right )}{x \left (x^3+25\right ) \left (4 e^{5 e^{-x}} \log \left (\frac {x^3+25}{x}\right )+x^2\right )^3}\right )dx\)

input
Int[(E^x*(-1600*x^2 - 64*x^5) + E^(5/E^x)*(E^x*(3200 - 256*x^3) + (16000*x 
 + 640*x^4)*Log[(25 + x^3)/x]))/(E^x*(25*x^7 + x^10) + E^(5/E^x + x)*(300* 
x^5 + 12*x^8)*Log[(25 + x^3)/x] + E^(10/E^x + x)*(1200*x^3 + 48*x^6)*Log[( 
25 + x^3)/x]^2 + E^(15/E^x + x)*(1600*x + 64*x^4)*Log[(25 + x^3)/x]^3),x]
 
output
$Aborted
 

3.7.23.3.1 Defintions of rubi rules used

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

rule 7276
Int[(u_)/((a_) + (b_.)*(x_)^(n_)), x_Symbol] :> With[{v = RationalFunctionE 
xpand[u/(a + b*x^n), x]}, Int[v, x] /; SumQ[v]] /; FreeQ[{a, b}, x] && IGtQ 
[n, 0]
 

rule 7299
Int[u_, x_] :> CannotIntegrate[u, x]
 
3.7.23.4 Maple [F(-1)]

Timed out.

\[\int \frac {\left (\left (640 x^{4}+16000 x \right ) \ln \left (\frac {x^{3}+25}{x}\right )+\left (-256 x^{3}+3200\right ) {\mathrm e}^{x}\right ) {\mathrm e}^{5 \,{\mathrm e}^{-x}}+\left (-64 x^{5}-1600 x^{2}\right ) {\mathrm e}^{x}}{\left (64 x^{4}+1600 x \right ) {\mathrm e}^{x} \ln \left (\frac {x^{3}+25}{x}\right )^{3} {\mathrm e}^{15 \,{\mathrm e}^{-x}}+\left (48 x^{6}+1200 x^{3}\right ) {\mathrm e}^{x} \ln \left (\frac {x^{3}+25}{x}\right )^{2} {\mathrm e}^{10 \,{\mathrm e}^{-x}}+\left (12 x^{8}+300 x^{5}\right ) {\mathrm e}^{x} \ln \left (\frac {x^{3}+25}{x}\right ) {\mathrm e}^{5 \,{\mathrm e}^{-x}}+\left (x^{10}+25 x^{7}\right ) {\mathrm e}^{x}}d x\]

input
int((((640*x^4+16000*x)*ln((x^3+25)/x)+(-256*x^3+3200)*exp(x))*exp(5/exp(x 
))+(-64*x^5-1600*x^2)*exp(x))/((64*x^4+1600*x)*exp(x)*ln((x^3+25)/x)^3*exp 
(5/exp(x))^3+(48*x^6+1200*x^3)*exp(x)*ln((x^3+25)/x)^2*exp(5/exp(x))^2+(12 
*x^8+300*x^5)*exp(x)*ln((x^3+25)/x)*exp(5/exp(x))+(x^10+25*x^7)*exp(x)),x)
 
output
int((((640*x^4+16000*x)*ln((x^3+25)/x)+(-256*x^3+3200)*exp(x))*exp(5/exp(x 
))+(-64*x^5-1600*x^2)*exp(x))/((64*x^4+1600*x)*exp(x)*ln((x^3+25)/x)^3*exp 
(5/exp(x))^3+(48*x^6+1200*x^3)*exp(x)*ln((x^3+25)/x)^2*exp(5/exp(x))^2+(12 
*x^8+300*x^5)*exp(x)*ln((x^3+25)/x)*exp(5/exp(x))+(x^10+25*x^7)*exp(x)),x)
 
3.7.23.5 Fricas [B] (verification not implemented)

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

Time = 0.38 (sec) , antiderivative size = 73, normalized size of antiderivative = 2.52 \[ \int \frac {e^x \left (-1600 x^2-64 x^5\right )+e^{5 e^{-x}} \left (e^x \left (3200-256 x^3\right )+\left (16000 x+640 x^4\right ) \log \left (\frac {25+x^3}{x}\right )\right )}{e^x \left (25 x^7+x^{10}\right )+e^{5 e^{-x}+x} \left (300 x^5+12 x^8\right ) \log \left (\frac {25+x^3}{x}\right )+e^{10 e^{-x}+x} \left (1200 x^3+48 x^6\right ) \log ^2\left (\frac {25+x^3}{x}\right )+e^{15 e^{-x}+x} \left (1600 x+64 x^4\right ) \log ^3\left (\frac {25+x^3}{x}\right )} \, dx=\frac {16 \, e^{\left (2 \, x\right )}}{x^{4} e^{\left (2 \, x\right )} + 8 \, x^{2} e^{\left ({\left (x e^{x} + 5\right )} e^{\left (-x\right )} + x\right )} \log \left (\frac {x^{3} + 25}{x}\right ) + 16 \, e^{\left (2 \, {\left (x e^{x} + 5\right )} e^{\left (-x\right )}\right )} \log \left (\frac {x^{3} + 25}{x}\right )^{2}} \]

input
integrate((((640*x^4+16000*x)*log((x^3+25)/x)+(-256*x^3+3200)*exp(x))*exp( 
5/exp(x))+(-64*x^5-1600*x^2)*exp(x))/((64*x^4+1600*x)*exp(x)*log((x^3+25)/ 
x)^3*exp(5/exp(x))^3+(48*x^6+1200*x^3)*exp(x)*log((x^3+25)/x)^2*exp(5/exp( 
x))^2+(12*x^8+300*x^5)*exp(x)*log((x^3+25)/x)*exp(5/exp(x))+(x^10+25*x^7)* 
exp(x)),x, algorithm=\
 
output
16*e^(2*x)/(x^4*e^(2*x) + 8*x^2*e^((x*e^x + 5)*e^(-x) + x)*log((x^3 + 25)/ 
x) + 16*e^(2*(x*e^x + 5)*e^(-x))*log((x^3 + 25)/x)^2)
 
3.7.23.6 Sympy [A] (verification not implemented)

Time = 0.31 (sec) , antiderivative size = 42, normalized size of antiderivative = 1.45 \[ \int \frac {e^x \left (-1600 x^2-64 x^5\right )+e^{5 e^{-x}} \left (e^x \left (3200-256 x^3\right )+\left (16000 x+640 x^4\right ) \log \left (\frac {25+x^3}{x}\right )\right )}{e^x \left (25 x^7+x^{10}\right )+e^{5 e^{-x}+x} \left (300 x^5+12 x^8\right ) \log \left (\frac {25+x^3}{x}\right )+e^{10 e^{-x}+x} \left (1200 x^3+48 x^6\right ) \log ^2\left (\frac {25+x^3}{x}\right )+e^{15 e^{-x}+x} \left (1600 x+64 x^4\right ) \log ^3\left (\frac {25+x^3}{x}\right )} \, dx=\frac {16}{x^{4} + 8 x^{2} e^{5 e^{- x}} \log {\left (\frac {x^{3} + 25}{x} \right )} + 16 e^{10 e^{- x}} \log {\left (\frac {x^{3} + 25}{x} \right )}^{2}} \]

input
integrate((((640*x**4+16000*x)*ln((x**3+25)/x)+(-256*x**3+3200)*exp(x))*ex 
p(5/exp(x))+(-64*x**5-1600*x**2)*exp(x))/((64*x**4+1600*x)*exp(x)*ln((x**3 
+25)/x)**3*exp(5/exp(x))**3+(48*x**6+1200*x**3)*exp(x)*ln((x**3+25)/x)**2* 
exp(5/exp(x))**2+(12*x**8+300*x**5)*exp(x)*ln((x**3+25)/x)*exp(5/exp(x))+( 
x**10+25*x**7)*exp(x)),x)
 
output
16/(x**4 + 8*x**2*exp(5*exp(-x))*log((x**3 + 25)/x) + 16*exp(10*exp(-x))*l 
og((x**3 + 25)/x)**2)
 
3.7.23.7 Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 67 vs. \(2 (27) = 54\).

Time = 1.37 (sec) , antiderivative size = 67, normalized size of antiderivative = 2.31 \[ \int \frac {e^x \left (-1600 x^2-64 x^5\right )+e^{5 e^{-x}} \left (e^x \left (3200-256 x^3\right )+\left (16000 x+640 x^4\right ) \log \left (\frac {25+x^3}{x}\right )\right )}{e^x \left (25 x^7+x^{10}\right )+e^{5 e^{-x}+x} \left (300 x^5+12 x^8\right ) \log \left (\frac {25+x^3}{x}\right )+e^{10 e^{-x}+x} \left (1200 x^3+48 x^6\right ) \log ^2\left (\frac {25+x^3}{x}\right )+e^{15 e^{-x}+x} \left (1600 x+64 x^4\right ) \log ^3\left (\frac {25+x^3}{x}\right )} \, dx=\frac {16}{x^{4} + 16 \, {\left (\log \left (x^{3} + 25\right )^{2} - 2 \, \log \left (x^{3} + 25\right ) \log \left (x\right ) + \log \left (x\right )^{2}\right )} e^{\left (10 \, e^{\left (-x\right )}\right )} + 8 \, {\left (x^{2} \log \left (x^{3} + 25\right ) - x^{2} \log \left (x\right )\right )} e^{\left (5 \, e^{\left (-x\right )}\right )}} \]

input
integrate((((640*x^4+16000*x)*log((x^3+25)/x)+(-256*x^3+3200)*exp(x))*exp( 
5/exp(x))+(-64*x^5-1600*x^2)*exp(x))/((64*x^4+1600*x)*exp(x)*log((x^3+25)/ 
x)^3*exp(5/exp(x))^3+(48*x^6+1200*x^3)*exp(x)*log((x^3+25)/x)^2*exp(5/exp( 
x))^2+(12*x^8+300*x^5)*exp(x)*log((x^3+25)/x)*exp(5/exp(x))+(x^10+25*x^7)* 
exp(x)),x, algorithm=\
 
output
16/(x^4 + 16*(log(x^3 + 25)^2 - 2*log(x^3 + 25)*log(x) + log(x)^2)*e^(10*e 
^(-x)) + 8*(x^2*log(x^3 + 25) - x^2*log(x))*e^(5*e^(-x)))
 
3.7.23.8 Giac [F(-1)]

Timed out. \[ \int \frac {e^x \left (-1600 x^2-64 x^5\right )+e^{5 e^{-x}} \left (e^x \left (3200-256 x^3\right )+\left (16000 x+640 x^4\right ) \log \left (\frac {25+x^3}{x}\right )\right )}{e^x \left (25 x^7+x^{10}\right )+e^{5 e^{-x}+x} \left (300 x^5+12 x^8\right ) \log \left (\frac {25+x^3}{x}\right )+e^{10 e^{-x}+x} \left (1200 x^3+48 x^6\right ) \log ^2\left (\frac {25+x^3}{x}\right )+e^{15 e^{-x}+x} \left (1600 x+64 x^4\right ) \log ^3\left (\frac {25+x^3}{x}\right )} \, dx=\text {Timed out} \]

input
integrate((((640*x^4+16000*x)*log((x^3+25)/x)+(-256*x^3+3200)*exp(x))*exp( 
5/exp(x))+(-64*x^5-1600*x^2)*exp(x))/((64*x^4+1600*x)*exp(x)*log((x^3+25)/ 
x)^3*exp(5/exp(x))^3+(48*x^6+1200*x^3)*exp(x)*log((x^3+25)/x)^2*exp(5/exp( 
x))^2+(12*x^8+300*x^5)*exp(x)*log((x^3+25)/x)*exp(5/exp(x))+(x^10+25*x^7)* 
exp(x)),x, algorithm=\
 
output
Timed out
 
3.7.23.9 Mupad [B] (verification not implemented)

Time = 11.73 (sec) , antiderivative size = 51, normalized size of antiderivative = 1.76 \[ \int \frac {e^x \left (-1600 x^2-64 x^5\right )+e^{5 e^{-x}} \left (e^x \left (3200-256 x^3\right )+\left (16000 x+640 x^4\right ) \log \left (\frac {25+x^3}{x}\right )\right )}{e^x \left (25 x^7+x^{10}\right )+e^{5 e^{-x}+x} \left (300 x^5+12 x^8\right ) \log \left (\frac {25+x^3}{x}\right )+e^{10 e^{-x}+x} \left (1200 x^3+48 x^6\right ) \log ^2\left (\frac {25+x^3}{x}\right )+e^{15 e^{-x}+x} \left (1600 x+64 x^4\right ) \log ^3\left (\frac {25+x^3}{x}\right )} \, dx=\frac {16}{16\,{\mathrm {e}}^{10\,{\mathrm {e}}^{-x}}\,{\ln \left (\frac {x^3+25}{x}\right )}^2+x^4+8\,x^2\,{\mathrm {e}}^{5\,{\mathrm {e}}^{-x}}\,\ln \left (\frac {x^3+25}{x}\right )} \]

input
int(-(exp(x)*(1600*x^2 + 64*x^5) - exp(5*exp(-x))*(log((x^3 + 25)/x)*(1600 
0*x + 640*x^4) - exp(x)*(256*x^3 - 3200)))/(exp(x)*(25*x^7 + x^10) + exp(1 
0*exp(-x))*exp(x)*log((x^3 + 25)/x)^2*(1200*x^3 + 48*x^6) + exp(5*exp(-x)) 
*exp(x)*log((x^3 + 25)/x)*(300*x^5 + 12*x^8) + exp(15*exp(-x))*exp(x)*log( 
(x^3 + 25)/x)^3*(1600*x + 64*x^4)),x)
 
output
16/(16*exp(10*exp(-x))*log((x^3 + 25)/x)^2 + x^4 + 8*x^2*exp(5*exp(-x))*lo 
g((x^3 + 25)/x))