\(\int \frac {(d+e x)^m (2+x+3 x^2-5 x^3+4 x^4)}{(3+2 x+5 x^2)^2} \, dx\) [207]

Optimal result
Mathematica [A] (verified)
Rubi [A] (verified)
Maple [F]
Fricas [F]
Sympy [F(-1)]
Maxima [F]
Giac [F]
Mupad [F(-1)]
Reduce [F]

Optimal result

Integrand size = 38, antiderivative size = 376 \[ \int \frac {(d+e x)^m \left (2+x+3 x^2-5 x^3+4 x^4\right )}{\left (3+2 x+5 x^2\right )^2} \, dx=\frac {4 (d+e x)^{1+m}}{25 e (1+m)}-\frac {(1367 d-293 e+(423 d-1367 e) x) (d+e x)^{1+m}}{700 \left (5 d^2-2 d e+3 e^2\right ) \left (3+2 x+5 x^2\right )}+\frac {\left (80360 d^2-32144 d e+48216 e^2-i \sqrt {14} \left (6565 d^2-2 d e (1313-3206 m)+e^2 (3939-98 m)\right )-5922 d e m+19138 e^2 m\right ) (d+e x)^{1+m} \operatorname {Hypergeometric2F1}\left (1,1+m,2+m,\frac {5 (d+e x)}{5 d-e-i \sqrt {14} e}\right )}{19600 \left (5 d-\left (1+i \sqrt {14}\right ) e\right ) \left (5 d^2-2 d e+3 e^2\right ) (1+m)}+\frac {\left (80360 d^2-32144 d e+48216 e^2+i \sqrt {14} \left (6565 d^2-2 d e (1313-3206 m)+e^2 (3939-98 m)\right )-5922 d e m+19138 e^2 m\right ) (d+e x)^{1+m} \operatorname {Hypergeometric2F1}\left (1,1+m,2+m,\frac {5 (d+e x)}{5 d-e+i \sqrt {14} e}\right )}{19600 \left (5 d+i \left (i+\sqrt {14}\right ) e\right ) \left (5 d^2-2 d e+3 e^2\right ) (1+m)} \] Output:

4/25*(e*x+d)^(1+m)/e/(1+m)-1/700*(1367*d-293*e+(423*d-1367*e)*x)*(e*x+d)^( 
1+m)/(5*d^2-2*d*e+3*e^2)/(5*x^2+2*x+3)+1/19600*(80360*d^2-32144*d*e+48216* 
e^2-I*14^(1/2)*(6565*d^2-2*d*e*(1313-3206*m)+e^2*(3939-98*m))-5922*d*e*m+1 
9138*e^2*m)*(e*x+d)^(1+m)*hypergeom([1, 1+m],[2+m],5*(e*x+d)/(5*d-e-I*14^( 
1/2)*e))/(5*d-(I*14^(1/2)+1)*e)/(5*d^2-2*d*e+3*e^2)/(1+m)+1/19600*(80360*d 
^2-32144*d*e+48216*e^2+I*14^(1/2)*(6565*d^2-2*d*e*(1313-3206*m)+e^2*(3939- 
98*m))-5922*d*e*m+19138*e^2*m)*(e*x+d)^(1+m)*hypergeom([1, 1+m],[2+m],5*(e 
*x+d)/(5*d-e+I*14^(1/2)*e))/(5*d+I*(I+14^(1/2))*e)/(5*d^2-2*d*e+3*e^2)/(1+ 
m)
 

Mathematica [A] (verified)

Time = 2.15 (sec) , antiderivative size = 441, normalized size of antiderivative = 1.17 \[ \int \frac {(d+e x)^m \left (2+x+3 x^2-5 x^3+4 x^4\right )}{\left (3+2 x+5 x^2\right )^2} \, dx=\frac {(d+e x)^{1+m} \left (\frac {3136}{e+e m}-\frac {28 (d (1367+423 x)-e (293+1367 x))}{\left (5 d^2-2 d e+3 e^2\right ) \left (3+2 x+5 x^2\right )}+\frac {56 \left (287 i+31 \sqrt {14}\right ) \operatorname {Hypergeometric2F1}\left (1,1+m,2+m,\frac {5 (d+e x)}{5 d+\left (-1-i \sqrt {14}\right ) e}\right )}{\left (5 i d+\left (-i+\sqrt {14}\right ) e\right ) (1+m)}+\frac {56 \left (-287 i+31 \sqrt {14}\right ) \operatorname {Hypergeometric2F1}\left (1,1+m,2+m,\frac {5 (d+e x)}{5 d+i \left (i+\sqrt {14}\right ) e}\right )}{\left (-5 i d+\left (i+\sqrt {14}\right ) e\right ) (1+m)}-\frac {\sqrt {14} \left (\frac {\left (2115 d^2+d e \left (-846+\left (-6412+423 i \sqrt {14}\right ) m\right )+e^2 \left (1269+\left (98-1367 i \sqrt {14}\right ) m\right )\right ) \operatorname {Hypergeometric2F1}\left (1,1+m,2+m,\frac {5 (d+e x)}{5 d+\left (-1-i \sqrt {14}\right ) e}\right )}{5 i d+\left (-i+\sqrt {14}\right ) e}-\frac {\left (2115 d^2-d e \left (846+\left (6412+423 i \sqrt {14}\right ) m\right )+e^2 \left (1269+\left (98+1367 i \sqrt {14}\right ) m\right )\right ) \operatorname {Hypergeometric2F1}\left (1,1+m,2+m,\frac {5 (d+e x)}{5 d+i \left (i+\sqrt {14}\right ) e}\right )}{5 i d-\left (i+\sqrt {14}\right ) e}\right )}{\left (5 d^2-2 d e+3 e^2\right ) (1+m)}\right )}{19600} \] Input:

Integrate[((d + e*x)^m*(2 + x + 3*x^2 - 5*x^3 + 4*x^4))/(3 + 2*x + 5*x^2)^ 
2,x]
 

Output:

((d + e*x)^(1 + m)*(3136/(e + e*m) - (28*(d*(1367 + 423*x) - e*(293 + 1367 
*x)))/((5*d^2 - 2*d*e + 3*e^2)*(3 + 2*x + 5*x^2)) + (56*(287*I + 31*Sqrt[1 
4])*Hypergeometric2F1[1, 1 + m, 2 + m, (5*(d + e*x))/(5*d + (-1 - I*Sqrt[1 
4])*e)])/(((5*I)*d + (-I + Sqrt[14])*e)*(1 + m)) + (56*(-287*I + 31*Sqrt[1 
4])*Hypergeometric2F1[1, 1 + m, 2 + m, (5*(d + e*x))/(5*d + I*(I + Sqrt[14 
])*e)])/(((-5*I)*d + (I + Sqrt[14])*e)*(1 + m)) - (Sqrt[14]*(((2115*d^2 + 
d*e*(-846 + (-6412 + (423*I)*Sqrt[14])*m) + e^2*(1269 + (98 - (1367*I)*Sqr 
t[14])*m))*Hypergeometric2F1[1, 1 + m, 2 + m, (5*(d + e*x))/(5*d + (-1 - I 
*Sqrt[14])*e)])/((5*I)*d + (-I + Sqrt[14])*e) - ((2115*d^2 - d*e*(846 + (6 
412 + (423*I)*Sqrt[14])*m) + e^2*(1269 + (98 + (1367*I)*Sqrt[14])*m))*Hype 
rgeometric2F1[1, 1 + m, 2 + m, (5*(d + e*x))/(5*d + I*(I + Sqrt[14])*e)])/ 
((5*I)*d - (I + Sqrt[14])*e)))/((5*d^2 - 2*d*e + 3*e^2)*(1 + m))))/19600
 

Rubi [A] (verified)

Time = 1.49 (sec) , antiderivative size = 378, normalized size of antiderivative = 1.01, number of steps used = 4, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.105, Rules used = {2179, 27, 2159, 2009}

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^4-5 x^3+3 x^2+x+2\right ) (d+e x)^m}{\left (5 x^2+2 x+3\right )^2} \, dx\)

\(\Big \downarrow \) 2179

\(\displaystyle \frac {\int \frac {2 (d+e x)^m \left (1845 d^2-e (738-1367 m) d+560 \left (5 d^2-2 e d+3 e^2\right ) x^2+e^2 (1107-293 m)-\left (4620 d^2-3 e (141 m+616) d+e^2 (1367 m+2772)\right ) x\right )}{25 \left (5 x^2+2 x+3\right )}dx}{56 \left (5 d^2-2 d e+3 e^2\right )}-\frac {(x (423 d-1367 e)+1367 d-293 e) (d+e x)^{m+1}}{700 \left (5 x^2+2 x+3\right ) \left (5 d^2-2 d e+3 e^2\right )}\)

\(\Big \downarrow \) 27

\(\displaystyle \frac {\int \frac {(d+e x)^m \left (1845 d^2-e (738-1367 m) d+560 \left (5 d^2-2 e d+3 e^2\right ) x^2+e^2 (1107-293 m)-\left (4620 d^2-3 e (141 m+616) d+e^2 (1367 m+2772)\right ) x\right )}{5 x^2+2 x+3}dx}{700 \left (5 d^2-2 d e+3 e^2\right )}-\frac {(x (423 d-1367 e)+1367 d-293 e) (d+e x)^{m+1}}{700 \left (5 x^2+2 x+3\right ) \left (5 d^2-2 d e+3 e^2\right )}\)

\(\Big \downarrow \) 2159

\(\displaystyle -\frac {(x (423 d-1367 e)+1367 d-293 e) (d+e x)^{m+1}}{700 \left (5 x^2+2 x+3\right ) \left (5 d^2-2 d e+3 e^2\right )}+\frac {\int \left (112 \left (5 d^2-2 e d+3 e^2\right ) (d+e x)^m+\frac {\left (-5740 d^2+2296 e d+423 e m d-3444 e^2-1367 e^2 m-\frac {i \left (6565 d^2-2626 e d+6412 e m d+3939 e^2-98 e^2 m\right )}{\sqrt {14}}\right ) (d+e x)^m}{10 x-2 i \sqrt {14}+2}+\frac {\left (-5740 d^2+2296 e d+423 e m d-3444 e^2-1367 e^2 m+\frac {i \left (6565 d^2-2626 e d+6412 e m d+3939 e^2-98 e^2 m\right )}{\sqrt {14}}\right ) (d+e x)^m}{10 x+2 i \sqrt {14}+2}\right )dx}{700 \left (5 d^2-2 d e+3 e^2\right )}\)

\(\Big \downarrow \) 2009

\(\displaystyle -\frac {(x (423 d-1367 e)+1367 d-293 e) (d+e x)^{m+1}}{700 \left (5 x^2+2 x+3\right ) \left (5 d^2-2 d e+3 e^2\right )}+\frac {\frac {\left (i \sqrt {14} \left (6565 d^2-2 d e (1313-3206 m)+e^2 (3939-98 m)\right )+80360 d^2-5922 d e m-32144 d e+19138 e^2 m+48216 e^2\right ) (d+e x)^{m+1} \operatorname {Hypergeometric2F1}\left (1,m+1,m+2,\frac {5 (d+e x)}{5 d+i \sqrt {14} e-e}\right )}{28 (m+1) \left (5 d+i \left (\sqrt {14}+i\right ) e\right )}+\frac {\left (-i \sqrt {14} \left (6565 d^2-2 d e (1313-3206 m)+e^2 (3939-98 m)\right )+80360 d^2-5922 d e m-32144 d e+19138 e^2 m+48216 e^2\right ) (d+e x)^{m+1} \operatorname {Hypergeometric2F1}\left (1,m+1,m+2,\frac {5 (d+e x)}{5 d-\left (1+i \sqrt {14}\right ) e}\right )}{28 (m+1) \left (5 d-\left (1+i \sqrt {14}\right ) e\right )}+\frac {112 \left (5 d^2-2 d e+3 e^2\right ) (d+e x)^{m+1}}{e (m+1)}}{700 \left (5 d^2-2 d e+3 e^2\right )}\)

Input:

Int[((d + e*x)^m*(2 + x + 3*x^2 - 5*x^3 + 4*x^4))/(3 + 2*x + 5*x^2)^2,x]
 

Output:

-1/700*((1367*d - 293*e + (423*d - 1367*e)*x)*(d + e*x)^(1 + m))/((5*d^2 - 
 2*d*e + 3*e^2)*(3 + 2*x + 5*x^2)) + ((112*(5*d^2 - 2*d*e + 3*e^2)*(d + e* 
x)^(1 + m))/(e*(1 + m)) + ((80360*d^2 - 32144*d*e + 48216*e^2 + I*Sqrt[14] 
*(6565*d^2 - 2*d*e*(1313 - 3206*m) + e^2*(3939 - 98*m)) - 5922*d*e*m + 191 
38*e^2*m)*(d + e*x)^(1 + m)*Hypergeometric2F1[1, 1 + m, 2 + m, (5*(d + e*x 
))/(5*d - e + I*Sqrt[14]*e)])/(28*(5*d + I*(I + Sqrt[14])*e)*(1 + m)) + (( 
80360*d^2 - 32144*d*e + 48216*e^2 - I*Sqrt[14]*(6565*d^2 - 2*d*e*(1313 - 3 
206*m) + e^2*(3939 - 98*m)) - 5922*d*e*m + 19138*e^2*m)*(d + e*x)^(1 + m)* 
Hypergeometric2F1[1, 1 + m, 2 + m, (5*(d + e*x))/(5*d - (1 + I*Sqrt[14])*e 
)])/(28*(5*d - (1 + I*Sqrt[14])*e)*(1 + m)))/(700*(5*d^2 - 2*d*e + 3*e^2))
 

Defintions of rubi rules used

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 2159
Int[(Pq_)*((d_.) + (e_.)*(x_))^(m_.)*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p 
_.), x_Symbol] :> Int[ExpandIntegrand[(d + e*x)^m*Pq*(a + b*x + c*x^2)^p, x 
], x] /; FreeQ[{a, b, c, d, e, m}, x] && PolyQ[Pq, x] && IGtQ[p, -2]
 

rule 2179
Int[(Pq_)*((d_.) + (e_.)*(x_))^(m_.)*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p 
_), x_Symbol] :> With[{Qx = PolynomialQuotient[Pq, a + b*x + c*x^2, x], R = 
 Coeff[PolynomialRemainder[Pq, a + b*x + c*x^2, x], x, 0], S = Coeff[Polyno 
mialRemainder[Pq, a + b*x + c*x^2, x], x, 1]}, Simp[(d + e*x)^(m + 1)*(a + 
b*x + c*x^2)^(p + 1)*((R*(b*c*d - b^2*e + 2*a*c*e) - a*S*(2*c*d - b*e) + c* 
(R*(2*c*d - b*e) - S*(b*d - 2*a*e))*x)/((p + 1)*(b^2 - 4*a*c)*(c*d^2 - b*d* 
e + a*e^2))), x] + Simp[1/((p + 1)*(b^2 - 4*a*c)*(c*d^2 - b*d*e + a*e^2)) 
 Int[(d + e*x)^m*(a + b*x + c*x^2)^(p + 1)*ExpandToSum[(p + 1)*(b^2 - 4*a*c 
)*(c*d^2 - b*d*e + a*e^2)*Qx + R*(b*c*d*e*(2*p - m + 2) + b^2*e^2*(p + m + 
2) - 2*c^2*d^2*(2*p + 3) - 2*a*c*e^2*(m + 2*p + 3)) - S*(a*e*(b*e - 2*c*d*m 
 + b*e*m) - b*d*(3*c*d - b*e + 2*c*d*p - b*e*p)) + c*e*(S*(b*d - 2*a*e) - R 
*(2*c*d - b*e))*(m + 2*p + 4)*x, x], x], x]] /; FreeQ[{a, b, c, d, e, m}, x 
] && PolyQ[Pq, x] && NeQ[b^2 - 4*a*c, 0] && NeQ[c*d^2 - b*d*e + a*e^2, 0] & 
& LtQ[p, -1] &&  !(IGtQ[m, 0] && RationalQ[a, b, c, d, e] && (IntegerQ[p] | 
| ILtQ[p + 1/2, 0]))
 
Maple [F]

\[\int \frac {\left (e x +d \right )^{m} \left (4 x^{4}-5 x^{3}+3 x^{2}+x +2\right )}{\left (5 x^{2}+2 x +3\right )^{2}}d x\]

Input:

int((e*x+d)^m*(4*x^4-5*x^3+3*x^2+x+2)/(5*x^2+2*x+3)^2,x)
 

Output:

int((e*x+d)^m*(4*x^4-5*x^3+3*x^2+x+2)/(5*x^2+2*x+3)^2,x)
 

Fricas [F]

\[ \int \frac {(d+e x)^m \left (2+x+3 x^2-5 x^3+4 x^4\right )}{\left (3+2 x+5 x^2\right )^2} \, dx=\int { \frac {{\left (4 \, x^{4} - 5 \, x^{3} + 3 \, x^{2} + x + 2\right )} {\left (e x + d\right )}^{m}}{{\left (5 \, x^{2} + 2 \, x + 3\right )}^{2}} \,d x } \] Input:

integrate((e*x+d)^m*(4*x^4-5*x^3+3*x^2+x+2)/(5*x^2+2*x+3)^2,x, algorithm=" 
fricas")
 

Output:

integral((4*x^4 - 5*x^3 + 3*x^2 + x + 2)*(e*x + d)^m/(25*x^4 + 20*x^3 + 34 
*x^2 + 12*x + 9), x)
 

Sympy [F(-1)]

Timed out. \[ \int \frac {(d+e x)^m \left (2+x+3 x^2-5 x^3+4 x^4\right )}{\left (3+2 x+5 x^2\right )^2} \, dx=\text {Timed out} \] Input:

integrate((e*x+d)**m*(4*x**4-5*x**3+3*x**2+x+2)/(5*x**2+2*x+3)**2,x)
 

Output:

Timed out
 

Maxima [F]

\[ \int \frac {(d+e x)^m \left (2+x+3 x^2-5 x^3+4 x^4\right )}{\left (3+2 x+5 x^2\right )^2} \, dx=\int { \frac {{\left (4 \, x^{4} - 5 \, x^{3} + 3 \, x^{2} + x + 2\right )} {\left (e x + d\right )}^{m}}{{\left (5 \, x^{2} + 2 \, x + 3\right )}^{2}} \,d x } \] Input:

integrate((e*x+d)^m*(4*x^4-5*x^3+3*x^2+x+2)/(5*x^2+2*x+3)^2,x, algorithm=" 
maxima")
 

Output:

integrate((4*x^4 - 5*x^3 + 3*x^2 + x + 2)*(e*x + d)^m/(5*x^2 + 2*x + 3)^2, 
 x)
 

Giac [F]

\[ \int \frac {(d+e x)^m \left (2+x+3 x^2-5 x^3+4 x^4\right )}{\left (3+2 x+5 x^2\right )^2} \, dx=\int { \frac {{\left (4 \, x^{4} - 5 \, x^{3} + 3 \, x^{2} + x + 2\right )} {\left (e x + d\right )}^{m}}{{\left (5 \, x^{2} + 2 \, x + 3\right )}^{2}} \,d x } \] Input:

integrate((e*x+d)^m*(4*x^4-5*x^3+3*x^2+x+2)/(5*x^2+2*x+3)^2,x, algorithm=" 
giac")
 

Output:

integrate((4*x^4 - 5*x^3 + 3*x^2 + x + 2)*(e*x + d)^m/(5*x^2 + 2*x + 3)^2, 
 x)
 

Mupad [F(-1)]

Timed out. \[ \int \frac {(d+e x)^m \left (2+x+3 x^2-5 x^3+4 x^4\right )}{\left (3+2 x+5 x^2\right )^2} \, dx=\int \frac {{\left (d+e\,x\right )}^m\,\left (4\,x^4-5\,x^3+3\,x^2+x+2\right )}{{\left (5\,x^2+2\,x+3\right )}^2} \,d x \] Input:

int(((d + e*x)^m*(x + 3*x^2 - 5*x^3 + 4*x^4 + 2))/(2*x + 5*x^2 + 3)^2,x)
 

Output:

int(((d + e*x)^m*(x + 3*x^2 - 5*x^3 + 4*x^4 + 2))/(2*x + 5*x^2 + 3)^2, x)
 

Reduce [F]

\[ \int \frac {(d+e x)^m \left (2+x+3 x^2-5 x^3+4 x^4\right )}{\left (3+2 x+5 x^2\right )^2} \, dx=\text {too large to display} \] Input:

int((e*x+d)^m*(4*x^4-5*x^3+3*x^2+x+2)/(5*x^2+2*x+3)^2,x)
 

Output:

(1000*(d + e*x)**m*d**2*m**2*x**2 - 1650*(d + e*x)**m*d**2*m**2*x + 600*(d 
 + e*x)**m*d**2*m**2 - 1000*(d + e*x)**m*d**2*m*x**2 - 2450*(d + e*x)**m*d 
**2*m*x - 600*(d + e*x)**m*d**2*m - 200*(d + e*x)**m*d*e*m**3*x**2 + 330*( 
d + e*x)**m*d*e*m**3*x - 620*(d + e*x)**m*d*e*m**3 + 1000*(d + e*x)**m*d*e 
*m**2*x**3 - 1250*(d + e*x)**m*d*e*m**2*x**2 + 970*(d + e*x)**m*d*e*m**2*x 
 - 2220*(d + e*x)**m*d*e*m**2 - 1000*(d + e*x)**m*d*e*m*x**3 - 600*(d + e* 
x)**m*d*e*m*x**2 - 60*(d + e*x)**m*d*e*m*x - 850*(d + e*x)**m*d*e*m + 2050 
*(d + e*x)**m*d*e*x**2 + 820*(d + e*x)**m*d*e*x + 1230*(d + e*x)**m*d*e - 
200*(d + e*x)**m*e**2*m**3*x**3 + 330*(d + e*x)**m*e**2*m**3*x**2 - 162*(d 
 + e*x)**m*e**2*m**3*x - 7*(d + e*x)**m*e**2*m**3 + 400*(d + e*x)**m*e**2* 
m**2*x**3 - 250*(d + e*x)**m*e**2*m**2*x**2 + 76*(d + e*x)**m*e**2*m**2*x 
+ 372*(d + e*x)**m*e**2*m**2 - 200*(d + e*x)**m*e**2*m*x**3 - 490*(d + e*x 
)**m*e**2*m*x**2 - 78*(d + e*x)**m*e**2*m*x + 625*(d + e*x)**m*e**2*m + 41 
0*(d + e*x)**m*e**2*x**2 + 164*(d + e*x)**m*e**2*x + 246*(d + e*x)**m*e**2 
 + 153750*int((d + e*x)**m/(125*d**2*m*x**4 + 100*d**2*m*x**3 + 170*d**2*m 
*x**2 + 60*d**2*m*x + 45*d**2*m - 125*d**2*x**4 - 100*d**2*x**3 - 170*d**2 
*x**2 - 60*d**2*x - 45*d**2 - 25*d*e*m**2*x**4 - 20*d*e*m**2*x**3 - 34*d*e 
*m**2*x**2 - 12*d*e*m**2*x - 9*d*e*m**2 + 125*d*e*m*x**5 + 150*d*e*m*x**4 
+ 210*d*e*m*x**3 + 128*d*e*m*x**2 + 69*d*e*m*x + 18*d*e*m - 125*d*e*x**5 - 
 125*d*e*x**4 - 190*d*e*x**3 - 94*d*e*x**2 - 57*d*e*x - 9*d*e - 25*e**2...