3.3.2 \(\int \frac {640 x-480 x^2-1640 x^3+1190 x^4+810 x^5-490 x^6-190 x^7+60 x^8+20 x^9+e^{\frac {16}{16-8 x-7 x^2+2 x^3+x^4}} (-1280-1920 x+5360 x^2+4540 x^3-1330 x^4-390 x^5+170 x^6+50 x^7)}{-64 x^3+48 x^4+36 x^5-23 x^6-9 x^7+3 x^8+x^9} \, dx\) [202]

3.3.2.1 Optimal result
3.3.2.2 Mathematica [A] (verified)
3.3.2.3 Rubi [F]
3.3.2.4 Maple [A] (verified)
3.3.2.5 Fricas [A] (verification not implemented)
3.3.2.6 Sympy [A] (verification not implemented)
3.3.2.7 Maxima [B] (verification not implemented)
3.3.2.8 Giac [B] (verification not implemented)
3.3.2.9 Mupad [B] (verification not implemented)

3.3.2.1 Optimal result

Integrand size = 141, antiderivative size = 29 \[ \int \frac {640 x-480 x^2-1640 x^3+1190 x^4+810 x^5-490 x^6-190 x^7+60 x^8+20 x^9+e^{\frac {16}{16-8 x-7 x^2+2 x^3+x^4}} \left (-1280-1920 x+5360 x^2+4540 x^3-1330 x^4-390 x^5+170 x^6+50 x^7\right )}{-64 x^3+48 x^4+36 x^5-23 x^6-9 x^7+3 x^8+x^9} \, dx=(1+5 x) \left (4+\frac {10 \left (-e^{\frac {16}{\left (-4+x+x^2\right )^2}}+x\right )}{x^2}\right ) \]

output
(1+5*x)*(10*(x-exp(16/(x^2+x-4)^2))/x^2+4)
 
3.3.2.2 Mathematica [A] (verified)

Time = 1.13 (sec) , antiderivative size = 33, normalized size of antiderivative = 1.14 \[ \int \frac {640 x-480 x^2-1640 x^3+1190 x^4+810 x^5-490 x^6-190 x^7+60 x^8+20 x^9+e^{\frac {16}{16-8 x-7 x^2+2 x^3+x^4}} \left (-1280-1920 x+5360 x^2+4540 x^3-1330 x^4-390 x^5+170 x^6+50 x^7\right )}{-64 x^3+48 x^4+36 x^5-23 x^6-9 x^7+3 x^8+x^9} \, dx=10 \left (e^{\frac {16}{\left (-4+x+x^2\right )^2}} \left (-\frac {1}{x^2}-\frac {5}{x}\right )+\frac {1}{x}+2 x\right ) \]

input
Integrate[(640*x - 480*x^2 - 1640*x^3 + 1190*x^4 + 810*x^5 - 490*x^6 - 190 
*x^7 + 60*x^8 + 20*x^9 + E^(16/(16 - 8*x - 7*x^2 + 2*x^3 + x^4))*(-1280 - 
1920*x + 5360*x^2 + 4540*x^3 - 1330*x^4 - 390*x^5 + 170*x^6 + 50*x^7))/(-6 
4*x^3 + 48*x^4 + 36*x^5 - 23*x^6 - 9*x^7 + 3*x^8 + x^9),x]
 
output
10*(E^(16/(-4 + x + x^2)^2)*(-x^(-2) - 5/x) + x^(-1) + 2*x)
 
3.3.2.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 {20 x^9+60 x^8-190 x^7-490 x^6+810 x^5+1190 x^4-1640 x^3-480 x^2+e^{\frac {16}{x^4+2 x^3-7 x^2-8 x+16}} \left (50 x^7+170 x^6-390 x^5-1330 x^4+4540 x^3+5360 x^2-1920 x-1280\right )+640 x}{x^9+3 x^8-9 x^7-23 x^6+36 x^5+48 x^4-64 x^3} \, dx\)

\(\Big \downarrow \) 2026

\(\displaystyle \int \frac {20 x^9+60 x^8-190 x^7-490 x^6+810 x^5+1190 x^4-1640 x^3-480 x^2+e^{\frac {16}{x^4+2 x^3-7 x^2-8 x+16}} \left (50 x^7+170 x^6-390 x^5-1330 x^4+4540 x^3+5360 x^2-1920 x-1280\right )+640 x}{x^3 \left (x^6+3 x^5-9 x^4-23 x^3+36 x^2+48 x-64\right )}dx\)

\(\Big \downarrow \) 2463

\(\displaystyle \int \left (-\frac {12 \left (20 x^9+60 x^8-190 x^7-490 x^6+810 x^5+1190 x^4-1640 x^3-480 x^2+e^{\frac {16}{x^4+2 x^3-7 x^2-8 x+16}} \left (50 x^7+170 x^6-390 x^5-1330 x^4+4540 x^3+5360 x^2-1920 x-1280\right )+640 x\right )}{289 \sqrt {17} x^3 \left (2 x+\sqrt {17}+1\right )}-\frac {12 \left (20 x^9+60 x^8-190 x^7-490 x^6+810 x^5+1190 x^4-1640 x^3-480 x^2+e^{\frac {16}{x^4+2 x^3-7 x^2-8 x+16}} \left (50 x^7+170 x^6-390 x^5-1330 x^4+4540 x^3+5360 x^2-1920 x-1280\right )+640 x\right )}{289 x^3 \left (2 x+\sqrt {17}+1\right )^2}-\frac {12 \left (20 x^9+60 x^8-190 x^7-490 x^6+810 x^5+1190 x^4-1640 x^3-480 x^2+e^{\frac {16}{x^4+2 x^3-7 x^2-8 x+16}} \left (50 x^7+170 x^6-390 x^5-1330 x^4+4540 x^3+5360 x^2-1920 x-1280\right )+640 x\right )}{289 \sqrt {17} \left (-2 x+\sqrt {17}-1\right ) x^3}-\frac {12 \left (20 x^9+60 x^8-190 x^7-490 x^6+810 x^5+1190 x^4-1640 x^3-480 x^2+e^{\frac {16}{x^4+2 x^3-7 x^2-8 x+16}} \left (50 x^7+170 x^6-390 x^5-1330 x^4+4540 x^3+5360 x^2-1920 x-1280\right )+640 x\right )}{289 \left (-2 x+\sqrt {17}-1\right )^2 x^3}-\frac {8 \left (20 x^9+60 x^8-190 x^7-490 x^6+810 x^5+1190 x^4-1640 x^3-480 x^2+e^{\frac {16}{x^4+2 x^3-7 x^2-8 x+16}} \left (50 x^7+170 x^6-390 x^5-1330 x^4+4540 x^3+5360 x^2-1920 x-1280\right )+640 x\right )}{17 \sqrt {17} \left (-2 x+\sqrt {17}-1\right )^3 x^3}-\frac {8 \left (20 x^9+60 x^8-190 x^7-490 x^6+810 x^5+1190 x^4-1640 x^3-480 x^2+e^{\frac {16}{x^4+2 x^3-7 x^2-8 x+16}} \left (50 x^7+170 x^6-390 x^5-1330 x^4+4540 x^3+5360 x^2-1920 x-1280\right )+640 x\right )}{17 \sqrt {17} x^3 \left (2 x+\sqrt {17}+1\right )^3}\right )dx\)

\(\Big \downarrow \) 7239

\(\displaystyle \int \frac {10 \left (x \left (2 x^2-1\right )+\frac {e^{\frac {16}{\left (x^2+x-4\right )^2}} \left (5 x^7+17 x^6-39 x^5-133 x^4+454 x^3+536 x^2-192 x-128\right )}{\left (x^2+x-4\right )^3}\right )}{x^3}dx\)

\(\Big \downarrow \) 27

\(\displaystyle 10 \int -\frac {x \left (1-2 x^2\right )-\frac {e^{\frac {16}{\left (-x^2-x+4\right )^2}} \left (-5 x^7-17 x^6+39 x^5+133 x^4-454 x^3-536 x^2+192 x+128\right )}{\left (-x^2-x+4\right )^3}}{x^3}dx\)

\(\Big \downarrow \) 25

\(\displaystyle -10 \int \frac {x \left (1-2 x^2\right )-\frac {e^{\frac {16}{\left (-x^2-x+4\right )^2}} \left (-5 x^7-17 x^6+39 x^5+133 x^4-454 x^3-536 x^2+192 x+128\right )}{\left (-x^2-x+4\right )^3}}{x^3}dx\)

\(\Big \downarrow \) 2010

\(\displaystyle -10 \int \left (\frac {1-2 x^2}{x^2}-\frac {e^{\frac {16}{\left (x^2+x-4\right )^2}} \left (5 x^7+17 x^6-39 x^5-133 x^4+454 x^3+536 x^2-192 x-128\right )}{x^3 \left (x^2+x-4\right )^3}\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle -10 \left (\frac {232}{289} \left (17-\sqrt {17}\right ) \int \frac {e^{\frac {16}{\left (x^2+x-4\right )^2}}}{\left (-2 x+\sqrt {17}-1\right )^3}dx+\frac {3088 \int \frac {e^{\frac {16}{\left (x^2+x-4\right )^2}}}{\left (-2 x+\sqrt {17}-1\right )^3}dx}{17 \sqrt {17}}-\frac {116}{289} \left (3-\sqrt {17}\right ) \int \frac {e^{\frac {16}{\left (x^2+x-4\right )^2}}}{\left (-2 x+\sqrt {17}-1\right )^2}dx-\frac {30}{17} \left (1-\sqrt {17}\right ) \int \frac {e^{\frac {16}{\left (x^2+x-4\right )^2}}}{\left (-2 x+\sqrt {17}-1\right )^2}dx+\frac {5788}{289} \int \frac {e^{\frac {16}{\left (x^2+x-4\right )^2}}}{\left (-2 x+\sqrt {17}-1\right )^2}dx+\frac {290 \int \frac {e^{\frac {16}{\left (x^2+x-4\right )^2}}}{-2 x+\sqrt {17}-1}dx}{17 \sqrt {17}}-\frac {9}{2} \int \frac {e^{\frac {16}{\left (x^2+x-4\right )^2}}}{x^2}dx+\frac {31}{8} \int \frac {e^{\frac {16}{\left (x^2+x-4\right )^2}}}{x}dx-\frac {1}{136} \left (527+39 \sqrt {17}\right ) \int \frac {e^{\frac {16}{\left (x^2+x-4\right )^2}}}{2 x-\sqrt {17}+1}dx-\frac {232}{289} \left (17+\sqrt {17}\right ) \int \frac {e^{\frac {16}{\left (x^2+x-4\right )^2}}}{\left (2 x+\sqrt {17}+1\right )^3}dx+\frac {3088 \int \frac {e^{\frac {16}{\left (x^2+x-4\right )^2}}}{\left (2 x+\sqrt {17}+1\right )^3}dx}{17 \sqrt {17}}-\frac {116}{289} \left (3+\sqrt {17}\right ) \int \frac {e^{\frac {16}{\left (x^2+x-4\right )^2}}}{\left (2 x+\sqrt {17}+1\right )^2}dx-\frac {30}{17} \left (1+\sqrt {17}\right ) \int \frac {e^{\frac {16}{\left (x^2+x-4\right )^2}}}{\left (2 x+\sqrt {17}+1\right )^2}dx+\frac {5788}{289} \int \frac {e^{\frac {16}{\left (x^2+x-4\right )^2}}}{\left (2 x+\sqrt {17}+1\right )^2}dx-\frac {1}{136} \left (527-39 \sqrt {17}\right ) \int \frac {e^{\frac {16}{\left (x^2+x-4\right )^2}}}{2 x+\sqrt {17}+1}dx+\frac {290 \int \frac {e^{\frac {16}{\left (x^2+x-4\right )^2}}}{2 x+\sqrt {17}+1}dx}{17 \sqrt {17}}-2 \int \frac {e^{\frac {16}{\left (x^2+x-4\right )^2}}}{x^3}dx-2 x-\frac {1}{x}\right )\)

input
Int[(640*x - 480*x^2 - 1640*x^3 + 1190*x^4 + 810*x^5 - 490*x^6 - 190*x^7 + 
 60*x^8 + 20*x^9 + E^(16/(16 - 8*x - 7*x^2 + 2*x^3 + x^4))*(-1280 - 1920*x 
 + 5360*x^2 + 4540*x^3 - 1330*x^4 - 390*x^5 + 170*x^6 + 50*x^7))/(-64*x^3 
+ 48*x^4 + 36*x^5 - 23*x^6 - 9*x^7 + 3*x^8 + x^9),x]
 
output
$Aborted
 

3.3.2.3.1 Defintions of rubi rules used

rule 25
Int[-(Fx_), x_Symbol] :> Simp[Identity[-1]   Int[Fx, x], x]
 

rule 27
Int[(a_)*(Fx_), x_Symbol] :> Simp[a   Int[Fx, x], x] /; FreeQ[a, x] &&  !Ma 
tchQ[Fx, (b_)*(Gx_) /; FreeQ[b, x]]
 

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

rule 2010
Int[(u_)*((c_.)*(x_))^(m_.), x_Symbol] :> Int[ExpandIntegrand[(c*x)^m*u, x] 
, x] /; FreeQ[{c, m}, x] && SumQ[u] &&  !LinearQ[u, x] &&  !MatchQ[u, (a_) 
+ (b_.)*(v_) /; FreeQ[{a, b}, x] && InverseFunctionQ[v]]
 

rule 2026
Int[(Fx_.)*(Px_)^(p_.), x_Symbol] :> With[{r = Expon[Px, x, Min]}, Int[x^(p 
*r)*ExpandToSum[Px/x^r, x]^p*Fx, x] /; IGtQ[r, 0]] /; PolyQ[Px, x] && Integ 
erQ[p] &&  !MonomialQ[Px, x] && (ILtQ[p, 0] ||  !PolyQ[u, x])
 

rule 2463
Int[(u_.)*(Px_)^(p_), x_Symbol] :> With[{Qx = Factor[Px]}, Int[ExpandIntegr 
and[u, Qx^p, x], x] /;  !SumQ[NonfreeFactors[Qx, x]]] /; PolyQ[Px, x] && Gt 
Q[Expon[Px, x], 2] &&  !BinomialQ[Px, x] &&  !TrinomialQ[Px, x] && ILtQ[p, 
0]
 

rule 7239
Int[u_, x_Symbol] :> With[{v = SimplifyIntegrand[u, x]}, Int[v, x] /; Simpl 
erIntegrandQ[v, u, x]]
 
3.3.2.4 Maple [A] (verified)

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

method result size
risch \(20 x +\frac {10}{x}-\frac {10 \left (1+5 x \right ) {\mathrm e}^{\frac {16}{\left (x^{2}+x -4\right )^{2}}}}{x^{2}}\) \(31\)
parallelrisch \(\frac {2000 x^{3}+210 x^{2}-5000 \,{\mathrm e}^{\frac {16}{x^{4}+2 x^{3}-7 x^{2}-8 x +16}} x +1000 x -1000 \,{\mathrm e}^{\frac {16}{x^{4}+2 x^{3}-7 x^{2}-8 x +16}}}{100 x^{2}}\) \(71\)
parts \(20 x +\frac {10}{x}+\frac {-720 \,{\mathrm e}^{\frac {16}{x^{4}+2 x^{3}-7 x^{2}-8 x +16}} x +470 \,{\mathrm e}^{\frac {16}{x^{4}+2 x^{3}-7 x^{2}-8 x +16}} x^{2}+330 \,{\mathrm e}^{\frac {16}{x^{4}+2 x^{3}-7 x^{2}-8 x +16}} x^{3}-110 \,{\mathrm e}^{\frac {16}{x^{4}+2 x^{3}-7 x^{2}-8 x +16}} x^{4}-50 \,{\mathrm e}^{\frac {16}{x^{4}+2 x^{3}-7 x^{2}-8 x +16}} x^{5}-160 \,{\mathrm e}^{\frac {16}{x^{4}+2 x^{3}-7 x^{2}-8 x +16}}}{x^{2} \left (x^{2}+x -4\right )^{2}}\) \(186\)
norman \(\frac {-720 x^{2}-210 x^{5}+140 x^{4}+570 x^{3}+160 x +20 x^{7}-720 \,{\mathrm e}^{\frac {16}{x^{4}+2 x^{3}-7 x^{2}-8 x +16}} x +470 \,{\mathrm e}^{\frac {16}{x^{4}+2 x^{3}-7 x^{2}-8 x +16}} x^{2}+330 \,{\mathrm e}^{\frac {16}{x^{4}+2 x^{3}-7 x^{2}-8 x +16}} x^{3}-110 \,{\mathrm e}^{\frac {16}{x^{4}+2 x^{3}-7 x^{2}-8 x +16}} x^{4}-50 \,{\mathrm e}^{\frac {16}{x^{4}+2 x^{3}-7 x^{2}-8 x +16}} x^{5}-160 \,{\mathrm e}^{\frac {16}{x^{4}+2 x^{3}-7 x^{2}-8 x +16}}}{x^{2} \left (x^{2}+x -4\right )^{2}}\) \(205\)

input
int(((50*x^7+170*x^6-390*x^5-1330*x^4+4540*x^3+5360*x^2-1920*x-1280)*exp(1 
6/(x^4+2*x^3-7*x^2-8*x+16))+20*x^9+60*x^8-190*x^7-490*x^6+810*x^5+1190*x^4 
-1640*x^3-480*x^2+640*x)/(x^9+3*x^8-9*x^7-23*x^6+36*x^5+48*x^4-64*x^3),x,m 
ethod=_RETURNVERBOSE)
 
output
20*x+10/x-10*(1+5*x)/x^2*exp(16/(x^2+x-4)^2)
 
3.3.2.5 Fricas [A] (verification not implemented)

Time = 0.27 (sec) , antiderivative size = 42, normalized size of antiderivative = 1.45 \[ \int \frac {640 x-480 x^2-1640 x^3+1190 x^4+810 x^5-490 x^6-190 x^7+60 x^8+20 x^9+e^{\frac {16}{16-8 x-7 x^2+2 x^3+x^4}} \left (-1280-1920 x+5360 x^2+4540 x^3-1330 x^4-390 x^5+170 x^6+50 x^7\right )}{-64 x^3+48 x^4+36 x^5-23 x^6-9 x^7+3 x^8+x^9} \, dx=\frac {10 \, {\left (2 \, x^{3} - {\left (5 \, x + 1\right )} e^{\left (\frac {16}{x^{4} + 2 \, x^{3} - 7 \, x^{2} - 8 \, x + 16}\right )} + x\right )}}{x^{2}} \]

input
integrate(((50*x^7+170*x^6-390*x^5-1330*x^4+4540*x^3+5360*x^2-1920*x-1280) 
*exp(16/(x^4+2*x^3-7*x^2-8*x+16))+20*x^9+60*x^8-190*x^7-490*x^6+810*x^5+11 
90*x^4-1640*x^3-480*x^2+640*x)/(x^9+3*x^8-9*x^7-23*x^6+36*x^5+48*x^4-64*x^ 
3),x, algorithm=\
 
output
10*(2*x^3 - (5*x + 1)*e^(16/(x^4 + 2*x^3 - 7*x^2 - 8*x + 16)) + x)/x^2
 
3.3.2.6 Sympy [A] (verification not implemented)

Time = 0.11 (sec) , antiderivative size = 37, normalized size of antiderivative = 1.28 \[ \int \frac {640 x-480 x^2-1640 x^3+1190 x^4+810 x^5-490 x^6-190 x^7+60 x^8+20 x^9+e^{\frac {16}{16-8 x-7 x^2+2 x^3+x^4}} \left (-1280-1920 x+5360 x^2+4540 x^3-1330 x^4-390 x^5+170 x^6+50 x^7\right )}{-64 x^3+48 x^4+36 x^5-23 x^6-9 x^7+3 x^8+x^9} \, dx=20 x + \frac {10}{x} + \frac {\left (- 50 x - 10\right ) e^{\frac {16}{x^{4} + 2 x^{3} - 7 x^{2} - 8 x + 16}}}{x^{2}} \]

input
integrate(((50*x**7+170*x**6-390*x**5-1330*x**4+4540*x**3+5360*x**2-1920*x 
-1280)*exp(16/(x**4+2*x**3-7*x**2-8*x+16))+20*x**9+60*x**8-190*x**7-490*x* 
*6+810*x**5+1190*x**4-1640*x**3-480*x**2+640*x)/(x**9+3*x**8-9*x**7-23*x** 
6+36*x**5+48*x**4-64*x**3),x)
 
output
20*x + 10/x + (-50*x - 10)*exp(16/(x**4 + 2*x**3 - 7*x**2 - 8*x + 16))/x** 
2
 
3.3.2.7 Maxima [B] (verification not implemented)

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

Time = 0.37 (sec) , antiderivative size = 377, normalized size of antiderivative = 13.00 \[ \int \frac {640 x-480 x^2-1640 x^3+1190 x^4+810 x^5-490 x^6-190 x^7+60 x^8+20 x^9+e^{\frac {16}{16-8 x-7 x^2+2 x^3+x^4}} \left (-1280-1920 x+5360 x^2+4540 x^3-1330 x^4-390 x^5+170 x^6+50 x^7\right )}{-64 x^3+48 x^4+36 x^5-23 x^6-9 x^7+3 x^8+x^9} \, dx=20 \, x + \frac {10 \, {\left (567 \, x^{4} + 1284 \, x^{3} - 3013 \, x^{2} - 4466 \, x + 4624\right )}}{289 \, {\left (x^{5} + 2 \, x^{4} - 7 \, x^{3} - 8 \, x^{2} + 16 \, x\right )}} - \frac {10 \, {\left (4134 \, x^{3} - 1891 \, x^{2} - 17512 \, x + 17232\right )}}{289 \, {\left (x^{4} + 2 \, x^{3} - 7 \, x^{2} - 8 \, x + 16\right )}} + \frac {30 \, {\left (924 \, x^{3} - 1793 \, x^{2} - 4696 \, x + 7536\right )}}{289 \, {\left (x^{4} + 2 \, x^{3} - 7 \, x^{2} - 8 \, x + 16\right )}} + \frac {95 \, {\left (386 \, x^{3} + x^{2} - 1096 \, x + 656\right )}}{289 \, {\left (x^{4} + 2 \, x^{3} - 7 \, x^{2} - 8 \, x + 16\right )}} - \frac {30 \, {\left (29 \, x^{3} + 188 \, x^{2} + 9 \, x - 942\right )}}{289 \, {\left (x^{4} + 2 \, x^{3} - 7 \, x^{2} - 8 \, x + 16\right )}} - \frac {245 \, {\left (24 \, x^{3} - 253 \, x^{2} - 152 \, x + 496\right )}}{289 \, {\left (x^{4} + 2 \, x^{3} - 7 \, x^{2} - 8 \, x + 16\right )}} - \frac {405 \, {\left (14 \, x^{3} + 21 \, x^{2} + 104 \, x - 96\right )}}{289 \, {\left (x^{4} + 2 \, x^{3} - 7 \, x^{2} - 8 \, x + 16\right )}} - \frac {820 \, {\left (12 \, x^{3} + 18 \, x^{2} - 76 \, x - 41\right )}}{289 \, {\left (x^{4} + 2 \, x^{3} - 7 \, x^{2} - 8 \, x + 16\right )}} - \frac {35 \, {\left (6 \, x^{3} + 9 \, x^{2} - 38 \, x + 124\right )}}{17 \, {\left (x^{4} + 2 \, x^{3} - 7 \, x^{2} - 8 \, x + 16\right )}} - \frac {10 \, {\left (5 \, x + 1\right )} e^{\left (\frac {16}{x^{4} + 2 \, x^{3} - 7 \, x^{2} - 8 \, x + 16}\right )}}{x^{2}} \]

input
integrate(((50*x^7+170*x^6-390*x^5-1330*x^4+4540*x^3+5360*x^2-1920*x-1280) 
*exp(16/(x^4+2*x^3-7*x^2-8*x+16))+20*x^9+60*x^8-190*x^7-490*x^6+810*x^5+11 
90*x^4-1640*x^3-480*x^2+640*x)/(x^9+3*x^8-9*x^7-23*x^6+36*x^5+48*x^4-64*x^ 
3),x, algorithm=\
 
output
20*x + 10/289*(567*x^4 + 1284*x^3 - 3013*x^2 - 4466*x + 4624)/(x^5 + 2*x^4 
 - 7*x^3 - 8*x^2 + 16*x) - 10/289*(4134*x^3 - 1891*x^2 - 17512*x + 17232)/ 
(x^4 + 2*x^3 - 7*x^2 - 8*x + 16) + 30/289*(924*x^3 - 1793*x^2 - 4696*x + 7 
536)/(x^4 + 2*x^3 - 7*x^2 - 8*x + 16) + 95/289*(386*x^3 + x^2 - 1096*x + 6 
56)/(x^4 + 2*x^3 - 7*x^2 - 8*x + 16) - 30/289*(29*x^3 + 188*x^2 + 9*x - 94 
2)/(x^4 + 2*x^3 - 7*x^2 - 8*x + 16) - 245/289*(24*x^3 - 253*x^2 - 152*x + 
496)/(x^4 + 2*x^3 - 7*x^2 - 8*x + 16) - 405/289*(14*x^3 + 21*x^2 + 104*x - 
 96)/(x^4 + 2*x^3 - 7*x^2 - 8*x + 16) - 820/289*(12*x^3 + 18*x^2 - 76*x - 
41)/(x^4 + 2*x^3 - 7*x^2 - 8*x + 16) - 35/17*(6*x^3 + 9*x^2 - 38*x + 124)/ 
(x^4 + 2*x^3 - 7*x^2 - 8*x + 16) - 10*(5*x + 1)*e^(16/(x^4 + 2*x^3 - 7*x^2 
 - 8*x + 16))/x^2
 
3.3.2.8 Giac [B] (verification not implemented)

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

Time = 0.31 (sec) , antiderivative size = 101, normalized size of antiderivative = 3.48 \[ \int \frac {640 x-480 x^2-1640 x^3+1190 x^4+810 x^5-490 x^6-190 x^7+60 x^8+20 x^9+e^{\frac {16}{16-8 x-7 x^2+2 x^3+x^4}} \left (-1280-1920 x+5360 x^2+4540 x^3-1330 x^4-390 x^5+170 x^6+50 x^7\right )}{-64 x^3+48 x^4+36 x^5-23 x^6-9 x^7+3 x^8+x^9} \, dx=\frac {10 \, {\left (2 \, x^{3} - 5 \, x e^{\left (-\frac {x^{4} + 2 \, x^{3} - 7 \, x^{2} - 8 \, x}{x^{4} + 2 \, x^{3} - 7 \, x^{2} - 8 \, x + 16} + 1\right )} + x - e^{\left (-\frac {x^{4} + 2 \, x^{3} - 7 \, x^{2} - 8 \, x}{x^{4} + 2 \, x^{3} - 7 \, x^{2} - 8 \, x + 16} + 1\right )}\right )}}{x^{2}} \]

input
integrate(((50*x^7+170*x^6-390*x^5-1330*x^4+4540*x^3+5360*x^2-1920*x-1280) 
*exp(16/(x^4+2*x^3-7*x^2-8*x+16))+20*x^9+60*x^8-190*x^7-490*x^6+810*x^5+11 
90*x^4-1640*x^3-480*x^2+640*x)/(x^9+3*x^8-9*x^7-23*x^6+36*x^5+48*x^4-64*x^ 
3),x, algorithm=\
 
output
10*(2*x^3 - 5*x*e^(-(x^4 + 2*x^3 - 7*x^2 - 8*x)/(x^4 + 2*x^3 - 7*x^2 - 8*x 
 + 16) + 1) + x - e^(-(x^4 + 2*x^3 - 7*x^2 - 8*x)/(x^4 + 2*x^3 - 7*x^2 - 8 
*x + 16) + 1))/x^2
 
3.3.2.9 Mupad [B] (verification not implemented)

Time = 11.75 (sec) , antiderivative size = 42, normalized size of antiderivative = 1.45 \[ \int \frac {640 x-480 x^2-1640 x^3+1190 x^4+810 x^5-490 x^6-190 x^7+60 x^8+20 x^9+e^{\frac {16}{16-8 x-7 x^2+2 x^3+x^4}} \left (-1280-1920 x+5360 x^2+4540 x^3-1330 x^4-390 x^5+170 x^6+50 x^7\right )}{-64 x^3+48 x^4+36 x^5-23 x^6-9 x^7+3 x^8+x^9} \, dx=20\,x+\frac {10}{x}-\frac {{\mathrm {e}}^{\frac {16}{x^4+2\,x^3-7\,x^2-8\,x+16}}\,\left (50\,x+10\right )}{x^2} \]

input
int((640*x - exp(16/(2*x^3 - 7*x^2 - 8*x + x^4 + 16))*(1920*x - 5360*x^2 - 
 4540*x^3 + 1330*x^4 + 390*x^5 - 170*x^6 - 50*x^7 + 1280) - 480*x^2 - 1640 
*x^3 + 1190*x^4 + 810*x^5 - 490*x^6 - 190*x^7 + 60*x^8 + 20*x^9)/(48*x^4 - 
 64*x^3 + 36*x^5 - 23*x^6 - 9*x^7 + 3*x^8 + x^9),x)
 
output
20*x + 10/x - (exp(16/(2*x^3 - 7*x^2 - 8*x + x^4 + 16))*(50*x + 10))/x^2