\(\int (e x)^m (c+d x)^{3/2} (a+b x^2)^2 \, dx\) [137]

Optimal result

Integrand size = 24, antiderivative size = 386 \[ \int (e x)^m (c+d x)^{3/2} \left (a+b x^2\right )^2 \, dx=-\frac {8 b c (2+m) \left (2 b c^2 \left (12+7 m+m^2\right )+a d^2 \left (143+48 m+4 m^2\right )\right ) (e x)^{1+m} (c+d x)^{5/2}}{d^4 e (7+2 m) (9+2 m) (11+2 m) (13+2 m)}+\frac {4 b \left (2 b c^2 \left (12+7 m+m^2\right )+a d^2 \left (143+48 m+4 m^2\right )\right ) (e x)^{2+m} (c+d x)^{5/2}}{d^3 e^2 (9+2 m) (11+2 m) (13+2 m)}-\frac {4 b^2 c (4+m) (e x)^{3+m} (c+d x)^{5/2}}{d^2 e^3 (11+2 m) (13+2 m)}+\frac {2 b^2 (e x)^{4+m} (c+d x)^{5/2}}{d e^4 (13+2 m)}+\frac {2 \left (a^2 d^4 (9+2 m) \left (143+48 m+4 m^2\right )+\frac {4 b c^2 (1+m) (2+m) \left (2 b c^2 \left (12+7 m+m^2\right )+a d^2 \left (143+48 m+4 m^2\right )\right )}{\frac {7}{2}+m}\right ) \left (-\frac {d x}{c}\right )^{-m} (e x)^m (c+d x)^{5/2} \operatorname {Hypergeometric2F1}\left (\frac {5}{2},-m,\frac {7}{2},1+\frac {d x}{c}\right )}{5 d^5 (9+2 m) (11+2 m) (13+2 m)} \] Output:

-8*b*c*(2+m)*(2*b*c^2*(m^2+7*m+12)+a*d^2*(4*m^2+48*m+143))*(e*x)^(1+m)*(d* 
x+c)^(5/2)/d^4/e/(7+2*m)/(9+2*m)/(11+2*m)/(13+2*m)+4*b*(2*b*c^2*(m^2+7*m+1 
2)+a*d^2*(4*m^2+48*m+143))*(e*x)^(2+m)*(d*x+c)^(5/2)/d^3/e^2/(9+2*m)/(11+2 
*m)/(13+2*m)-4*b^2*c*(4+m)*(e*x)^(3+m)*(d*x+c)^(5/2)/d^2/e^3/(11+2*m)/(13+ 
2*m)+2*b^2*(e*x)^(4+m)*(d*x+c)^(5/2)/d/e^4/(13+2*m)+2/5*(a^2*d^4*(9+2*m)*( 
4*m^2+48*m+143)+4*b*c^2*(1+m)*(2+m)*(2*b*c^2*(m^2+7*m+12)+a*d^2*(4*m^2+48* 
m+143))/(7/2+m))*(e*x)^m*(d*x+c)^(5/2)*hypergeom([5/2, -m],[7/2],1+d*x/c)/ 
d^5/(9+2*m)/(11+2*m)/(13+2*m)/((-d*x/c)^m)
 

Mathematica [A] (verified)

Time = 0.60 (sec) , antiderivative size = 205, normalized size of antiderivative = 0.53 \[ \int (e x)^m (c+d x)^{3/2} \left (a+b x^2\right )^2 \, dx=\frac {2 \left (-\frac {d x}{c}\right )^{-m} (e x)^m (c+d x)^{5/2} \left (9009 \left (b c^2+a d^2\right )^2 \operatorname {Hypergeometric2F1}\left (\frac {5}{2},-m,\frac {7}{2},1+\frac {d x}{c}\right )-25740 b c \left (b c^2+a d^2\right ) (c+d x) \operatorname {Hypergeometric2F1}\left (\frac {7}{2},-m,\frac {9}{2},1+\frac {d x}{c}\right )+10010 b \left (3 b c^2+a d^2\right ) (c+d x)^2 \operatorname {Hypergeometric2F1}\left (\frac {9}{2},-m,\frac {11}{2},1+\frac {d x}{c}\right )-16380 b^2 c (c+d x)^3 \operatorname {Hypergeometric2F1}\left (\frac {11}{2},-m,\frac {13}{2},1+\frac {d x}{c}\right )+3465 b^2 (c+d x)^4 \operatorname {Hypergeometric2F1}\left (\frac {13}{2},-m,\frac {15}{2},1+\frac {d x}{c}\right )\right )}{45045 d^5} \] Input:

Integrate[(e*x)^m*(c + d*x)^(3/2)*(a + b*x^2)^2,x]
 

Output:

(2*(e*x)^m*(c + d*x)^(5/2)*(9009*(b*c^2 + a*d^2)^2*Hypergeometric2F1[5/2, 
-m, 7/2, 1 + (d*x)/c] - 25740*b*c*(b*c^2 + a*d^2)*(c + d*x)*Hypergeometric 
2F1[7/2, -m, 9/2, 1 + (d*x)/c] + 10010*b*(3*b*c^2 + a*d^2)*(c + d*x)^2*Hyp 
ergeometric2F1[9/2, -m, 11/2, 1 + (d*x)/c] - 16380*b^2*c*(c + d*x)^3*Hyper 
geometric2F1[11/2, -m, 13/2, 1 + (d*x)/c] + 3465*b^2*(c + d*x)^4*Hypergeom 
etric2F1[13/2, -m, 15/2, 1 + (d*x)/c]))/(45045*d^5*(-((d*x)/c))^m)
 

Rubi [A] (verified)

Time = 0.70 (sec) , antiderivative size = 363, normalized size of antiderivative = 0.94, number of steps used = 9, number of rules used = 9, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.375, Rules used = {521, 27, 2125, 27, 521, 27, 90, 77, 75}

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

\(\Big \downarrow \) 521

\(\displaystyle \frac {2 \int \frac {1}{2} (e x)^m (c+d x)^{3/2} \left (-2 b^2 c (m+4) x^3 e^4+2 a b d (2 m+13) x^2 e^4+a^2 d (2 m+13) e^4\right )dx}{d e^4 (2 m+13)}+\frac {2 b^2 (c+d x)^{5/2} (e x)^{m+4}}{d e^4 (2 m+13)}\)

\(\Big \downarrow \) 27

\(\displaystyle \frac {\int (e x)^m (c+d x)^{3/2} \left (-2 b^2 c (m+4) x^3 e^4+2 a b d (2 m+13) x^2 e^4+a^2 d (2 m+13) e^4\right )dx}{d e^4 (2 m+13)}+\frac {2 b^2 (c+d x)^{5/2} (e x)^{m+4}}{d e^4 (2 m+13)}\)

\(\Big \downarrow \) 2125

\(\displaystyle \frac {\frac {2 \int \frac {1}{2} e^7 (e x)^m (c+d x)^{3/2} \left (a^2 \left (4 m^2+48 m+143\right ) d^2+2 b \left (2 b \left (m^2+7 m+12\right ) c^2+a d^2 \left (4 m^2+48 m+143\right )\right ) x^2\right )dx}{d e^3 (2 m+11)}-\frac {4 b^2 c e (m+4) (c+d x)^{5/2} (e x)^{m+3}}{d (2 m+11)}}{d e^4 (2 m+13)}+\frac {2 b^2 (c+d x)^{5/2} (e x)^{m+4}}{d e^4 (2 m+13)}\)

\(\Big \downarrow \) 27

\(\displaystyle \frac {\frac {e^4 \int (e x)^m (c+d x)^{3/2} \left (a^2 \left (4 m^2+48 m+143\right ) d^2+2 b \left (2 b \left (m^2+7 m+12\right ) c^2+a d^2 \left (4 m^2+48 m+143\right )\right ) x^2\right )dx}{d (2 m+11)}-\frac {4 b^2 c e (m+4) (c+d x)^{5/2} (e x)^{m+3}}{d (2 m+11)}}{d e^4 (2 m+13)}+\frac {2 b^2 (c+d x)^{5/2} (e x)^{m+4}}{d e^4 (2 m+13)}\)

\(\Big \downarrow \) 521

\(\displaystyle \frac {\frac {e^4 \left (\frac {2 \int \frac {1}{2} e^2 (e x)^m (c+d x)^{3/2} \left (a^2 d^3 \left (8 m^3+132 m^2+718 m+1287\right )-4 b c (m+2) \left (2 b \left (m^2+7 m+12\right ) c^2+a d^2 \left (4 m^2+48 m+143\right )\right ) x\right )dx}{d e^2 (2 m+9)}+\frac {4 b (c+d x)^{5/2} (e x)^{m+2} \left (a d^2 \left (4 m^2+48 m+143\right )+2 b c^2 \left (m^2+7 m+12\right )\right )}{d e^2 (2 m+9)}\right )}{d (2 m+11)}-\frac {4 b^2 c e (m+4) (c+d x)^{5/2} (e x)^{m+3}}{d (2 m+11)}}{d e^4 (2 m+13)}+\frac {2 b^2 (c+d x)^{5/2} (e x)^{m+4}}{d e^4 (2 m+13)}\)

\(\Big \downarrow \) 27

\(\displaystyle \frac {\frac {e^4 \left (\frac {\int (e x)^m (c+d x)^{3/2} \left (a^2 d^3 \left (8 m^3+132 m^2+718 m+1287\right )-4 b c (m+2) \left (2 b \left (m^2+7 m+12\right ) c^2+a d^2 \left (4 m^2+48 m+143\right )\right ) x\right )dx}{d (2 m+9)}+\frac {4 b (c+d x)^{5/2} (e x)^{m+2} \left (a d^2 \left (4 m^2+48 m+143\right )+2 b c^2 \left (m^2+7 m+12\right )\right )}{d e^2 (2 m+9)}\right )}{d (2 m+11)}-\frac {4 b^2 c e (m+4) (c+d x)^{5/2} (e x)^{m+3}}{d (2 m+11)}}{d e^4 (2 m+13)}+\frac {2 b^2 (c+d x)^{5/2} (e x)^{m+4}}{d e^4 (2 m+13)}\)

\(\Big \downarrow \) 90

\(\displaystyle \frac {\frac {e^4 \left (\frac {\frac {\left (a^2 d^4 \left (8 m^3+132 m^2+718 m+1287\right )+\frac {4 b c^2 (m+1) (m+2) \left (a d^2 \left (4 m^2+48 m+143\right )+2 b c^2 \left (m^2+7 m+12\right )\right )}{m+\frac {7}{2}}\right ) \int (e x)^m (c+d x)^{3/2}dx}{d}-\frac {8 b c (m+2) (c+d x)^{5/2} (e x)^{m+1} \left (a d^2 \left (4 m^2+48 m+143\right )+2 b c^2 \left (m^2+7 m+12\right )\right )}{d e (2 m+7)}}{d (2 m+9)}+\frac {4 b (c+d x)^{5/2} (e x)^{m+2} \left (a d^2 \left (4 m^2+48 m+143\right )+2 b c^2 \left (m^2+7 m+12\right )\right )}{d e^2 (2 m+9)}\right )}{d (2 m+11)}-\frac {4 b^2 c e (m+4) (c+d x)^{5/2} (e x)^{m+3}}{d (2 m+11)}}{d e^4 (2 m+13)}+\frac {2 b^2 (c+d x)^{5/2} (e x)^{m+4}}{d e^4 (2 m+13)}\)

\(\Big \downarrow \) 77

\(\displaystyle \frac {\frac {e^4 \left (\frac {\frac {(e x)^m \left (-\frac {d x}{c}\right )^{-m} \left (a^2 d^4 \left (8 m^3+132 m^2+718 m+1287\right )+\frac {4 b c^2 (m+1) (m+2) \left (a d^2 \left (4 m^2+48 m+143\right )+2 b c^2 \left (m^2+7 m+12\right )\right )}{m+\frac {7}{2}}\right ) \int \left (-\frac {d x}{c}\right )^m (c+d x)^{3/2}dx}{d}-\frac {8 b c (m+2) (c+d x)^{5/2} (e x)^{m+1} \left (a d^2 \left (4 m^2+48 m+143\right )+2 b c^2 \left (m^2+7 m+12\right )\right )}{d e (2 m+7)}}{d (2 m+9)}+\frac {4 b (c+d x)^{5/2} (e x)^{m+2} \left (a d^2 \left (4 m^2+48 m+143\right )+2 b c^2 \left (m^2+7 m+12\right )\right )}{d e^2 (2 m+9)}\right )}{d (2 m+11)}-\frac {4 b^2 c e (m+4) (c+d x)^{5/2} (e x)^{m+3}}{d (2 m+11)}}{d e^4 (2 m+13)}+\frac {2 b^2 (c+d x)^{5/2} (e x)^{m+4}}{d e^4 (2 m+13)}\)

\(\Big \downarrow \) 75

\(\displaystyle \frac {\frac {e^4 \left (\frac {\frac {2 (c+d x)^{5/2} (e x)^m \left (-\frac {d x}{c}\right )^{-m} \left (a^2 d^4 \left (8 m^3+132 m^2+718 m+1287\right )+\frac {4 b c^2 (m+1) (m+2) \left (a d^2 \left (4 m^2+48 m+143\right )+2 b c^2 \left (m^2+7 m+12\right )\right )}{m+\frac {7}{2}}\right ) \operatorname {Hypergeometric2F1}\left (\frac {5}{2},-m,\frac {7}{2},\frac {d x}{c}+1\right )}{5 d^2}-\frac {8 b c (m+2) (c+d x)^{5/2} (e x)^{m+1} \left (a d^2 \left (4 m^2+48 m+143\right )+2 b c^2 \left (m^2+7 m+12\right )\right )}{d e (2 m+7)}}{d (2 m+9)}+\frac {4 b (c+d x)^{5/2} (e x)^{m+2} \left (a d^2 \left (4 m^2+48 m+143\right )+2 b c^2 \left (m^2+7 m+12\right )\right )}{d e^2 (2 m+9)}\right )}{d (2 m+11)}-\frac {4 b^2 c e (m+4) (c+d x)^{5/2} (e x)^{m+3}}{d (2 m+11)}}{d e^4 (2 m+13)}+\frac {2 b^2 (c+d x)^{5/2} (e x)^{m+4}}{d e^4 (2 m+13)}\)

Input:

Int[(e*x)^m*(c + d*x)^(3/2)*(a + b*x^2)^2,x]
 

Output:

(2*b^2*(e*x)^(4 + m)*(c + d*x)^(5/2))/(d*e^4*(13 + 2*m)) + ((-4*b^2*c*e*(4 
 + m)*(e*x)^(3 + m)*(c + d*x)^(5/2))/(d*(11 + 2*m)) + (e^4*((4*b*(2*b*c^2* 
(12 + 7*m + m^2) + a*d^2*(143 + 48*m + 4*m^2))*(e*x)^(2 + m)*(c + d*x)^(5/ 
2))/(d*e^2*(9 + 2*m)) + ((-8*b*c*(2 + m)*(2*b*c^2*(12 + 7*m + m^2) + a*d^2 
*(143 + 48*m + 4*m^2))*(e*x)^(1 + m)*(c + d*x)^(5/2))/(d*e*(7 + 2*m)) + (2 
*(a^2*d^4*(1287 + 718*m + 132*m^2 + 8*m^3) + (4*b*c^2*(1 + m)*(2 + m)*(2*b 
*c^2*(12 + 7*m + m^2) + a*d^2*(143 + 48*m + 4*m^2)))/(7/2 + m))*(e*x)^m*(c 
 + d*x)^(5/2)*Hypergeometric2F1[5/2, -m, 7/2, 1 + (d*x)/c])/(5*d^2*(-((d*x 
)/c))^m))/(d*(9 + 2*m))))/(d*(11 + 2*m)))/(d*e^4*(13 + 2*m))
 

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 75

Int[((b_.)*(x_))^(m_)*((c_) + (d_.)*(x_))^(n_), x_Symbol] :> Simp[((c + d*x 
)^(n + 1)/(d*(n + 1)*(-d/(b*c))^m))*Hypergeometric2F1[-m, n + 1, n + 2, 1 + 
 d*(x/c)], x] /; FreeQ[{b, c, d, m, n}, x] &&  !IntegerQ[n] && (IntegerQ[m] 
 || GtQ[-d/(b*c), 0])
 

rule 77

Int[((b_.)*(x_))^(m_)*((c_) + (d_.)*(x_))^(n_), x_Symbol] :> Simp[((-b)*(c/ 
d))^IntPart[m]*((b*x)^FracPart[m]/((-d)*(x/c))^FracPart[m])   Int[((-d)*(x/ 
c))^m*(c + d*x)^n, x], x] /; FreeQ[{b, c, d, m, n}, x] &&  !IntegerQ[m] && 
 !IntegerQ[n] &&  !GtQ[c, 0] &&  !GtQ[-d/(b*c), 0]
 

rule 90

Int[((a_.) + (b_.)*(x_))*((c_.) + (d_.)*(x_))^(n_.)*((e_.) + (f_.)*(x_))^(p 
_.), x_] :> Simp[b*(c + d*x)^(n + 1)*((e + f*x)^(p + 1)/(d*f*(n + p + 2))), 
 x] + Simp[(a*d*f*(n + p + 2) - b*(d*e*(n + 1) + c*f*(p + 1)))/(d*f*(n + p 
+ 2))   Int[(c + d*x)^n*(e + f*x)^p, x], x] /; FreeQ[{a, b, c, d, e, f, n, 
p}, x] && NeQ[n + p + 2, 0]
 

rule 521

Int[((e_.)*(x_))^(m_)*((c_) + (d_.)*(x_))^(n_)*((a_) + (b_.)*(x_)^2)^(p_.), 
 x_Symbol] :> Simp[b^p*(e*x)^(m + 2*p)*((c + d*x)^(n + 1)/(d*e^(2*p)*(m + n 
 + 2*p + 1))), x] + Simp[1/(d*e^(2*p)*(m + n + 2*p + 1))   Int[(e*x)^m*(c + 
 d*x)^n*ExpandToSum[d*(m + n + 2*p + 1)*(e^(2*p)*(a + b*x^2)^p - b^p*(e*x)^ 
(2*p)) - b^p*(e*c)*(m + 2*p)*(e*x)^(2*p - 1), x], x], x] /; FreeQ[{a, b, c, 
 d, e}, x] && IGtQ[p, 0] && NeQ[m + n + 2*p + 1, 0] &&  !IntegerQ[m] &&  !I 
ntegerQ[n]
 

rule 2125

Int[(Px_)*((a_.) + (b_.)*(x_))^(m_.)*((c_.) + (d_.)*(x_))^(n_.), x_Symbol] 
:> With[{q = Expon[Px, x], k = Coeff[Px, x, Expon[Px, x]]}, Simp[k*(a + b*x 
)^(m + q)*((c + d*x)^(n + 1)/(d*b^q*(m + n + q + 1))), x] + Simp[1/(d*b^q*( 
m + n + q + 1))   Int[(a + b*x)^m*(c + d*x)^n*ExpandToSum[d*b^q*(m + n + q 
+ 1)*Px - d*k*(m + n + q + 1)*(a + b*x)^q - k*(b*c - a*d)*(m + q)*(a + b*x) 
^(q - 1), x], x], x] /; NeQ[m + n + q + 1, 0]] /; FreeQ[{a, b, c, d, m, n}, 
 x] && PolyQ[Px, x]
 

Maple [F]

\[\int \left (e x \right )^{m} \left (d x +c \right )^{\frac {3}{2}} \left (b \,x^{2}+a \right )^{2}d x\]

Input:

int((e*x)^m*(d*x+c)^(3/2)*(b*x^2+a)^2,x)
 

Output:

int((e*x)^m*(d*x+c)^(3/2)*(b*x^2+a)^2,x)
 

Fricas [F]

\[ \int (e x)^m (c+d x)^{3/2} \left (a+b x^2\right )^2 \, dx=\int { {\left (b x^{2} + a\right )}^{2} {\left (d x + c\right )}^{\frac {3}{2}} \left (e x\right )^{m} \,d x } \] Input:

integrate((e*x)^m*(d*x+c)^(3/2)*(b*x^2+a)^2,x, algorithm="fricas")
 

Output:

integral((b^2*d*x^5 + b^2*c*x^4 + 2*a*b*d*x^3 + 2*a*b*c*x^2 + a^2*d*x + a^ 
2*c)*sqrt(d*x + c)*(e*x)^m, x)
 

Sympy [C] (verification not implemented)

Result contains complex when optimal does not.

Time = 8.37 (sec) , antiderivative size = 282, normalized size of antiderivative = 0.73 \[ \int (e x)^m (c+d x)^{3/2} \left (a+b x^2\right )^2 \, dx=\frac {a^{2} c^{\frac {3}{2}} e^{m} x^{m + 1} \Gamma \left (m + 1\right ) {{}_{2}F_{1}\left (\begin {matrix} - \frac {1}{2}, m + 1 \\ m + 2 \end {matrix}\middle | {\frac {d x e^{i \pi }}{c}} \right )}}{\Gamma \left (m + 2\right )} + \frac {a^{2} \sqrt {c} d e^{m} x^{m + 2} \Gamma \left (m + 2\right ) {{}_{2}F_{1}\left (\begin {matrix} - \frac {1}{2}, m + 2 \\ m + 3 \end {matrix}\middle | {\frac {d x e^{i \pi }}{c}} \right )}}{\Gamma \left (m + 3\right )} + \frac {2 a b c^{\frac {3}{2}} e^{m} x^{m + 3} \Gamma \left (m + 3\right ) {{}_{2}F_{1}\left (\begin {matrix} - \frac {1}{2}, m + 3 \\ m + 4 \end {matrix}\middle | {\frac {d x e^{i \pi }}{c}} \right )}}{\Gamma \left (m + 4\right )} + \frac {2 a b \sqrt {c} d e^{m} x^{m + 4} \Gamma \left (m + 4\right ) {{}_{2}F_{1}\left (\begin {matrix} - \frac {1}{2}, m + 4 \\ m + 5 \end {matrix}\middle | {\frac {d x e^{i \pi }}{c}} \right )}}{\Gamma \left (m + 5\right )} + \frac {b^{2} c^{\frac {3}{2}} e^{m} x^{m + 5} \Gamma \left (m + 5\right ) {{}_{2}F_{1}\left (\begin {matrix} - \frac {1}{2}, m + 5 \\ m + 6 \end {matrix}\middle | {\frac {d x e^{i \pi }}{c}} \right )}}{\Gamma \left (m + 6\right )} + \frac {b^{2} \sqrt {c} d e^{m} x^{m + 6} \Gamma \left (m + 6\right ) {{}_{2}F_{1}\left (\begin {matrix} - \frac {1}{2}, m + 6 \\ m + 7 \end {matrix}\middle | {\frac {d x e^{i \pi }}{c}} \right )}}{\Gamma \left (m + 7\right )} \] Input:

integrate((e*x)**m*(d*x+c)**(3/2)*(b*x**2+a)**2,x)
 

Output:

a**2*c**(3/2)*e**m*x**(m + 1)*gamma(m + 1)*hyper((-1/2, m + 1), (m + 2,), 
d*x*exp_polar(I*pi)/c)/gamma(m + 2) + a**2*sqrt(c)*d*e**m*x**(m + 2)*gamma 
(m + 2)*hyper((-1/2, m + 2), (m + 3,), d*x*exp_polar(I*pi)/c)/gamma(m + 3) 
 + 2*a*b*c**(3/2)*e**m*x**(m + 3)*gamma(m + 3)*hyper((-1/2, m + 3), (m + 4 
,), d*x*exp_polar(I*pi)/c)/gamma(m + 4) + 2*a*b*sqrt(c)*d*e**m*x**(m + 4)* 
gamma(m + 4)*hyper((-1/2, m + 4), (m + 5,), d*x*exp_polar(I*pi)/c)/gamma(m 
 + 5) + b**2*c**(3/2)*e**m*x**(m + 5)*gamma(m + 5)*hyper((-1/2, m + 5), (m 
 + 6,), d*x*exp_polar(I*pi)/c)/gamma(m + 6) + b**2*sqrt(c)*d*e**m*x**(m + 
6)*gamma(m + 6)*hyper((-1/2, m + 6), (m + 7,), d*x*exp_polar(I*pi)/c)/gamm 
a(m + 7)
 

Maxima [F]

\[ \int (e x)^m (c+d x)^{3/2} \left (a+b x^2\right )^2 \, dx=\int { {\left (b x^{2} + a\right )}^{2} {\left (d x + c\right )}^{\frac {3}{2}} \left (e x\right )^{m} \,d x } \] Input:

integrate((e*x)^m*(d*x+c)^(3/2)*(b*x^2+a)^2,x, algorithm="maxima")
 

Output:

integrate((b*x^2 + a)^2*(d*x + c)^(3/2)*(e*x)^m, x)
 

Giac [F]

\[ \int (e x)^m (c+d x)^{3/2} \left (a+b x^2\right )^2 \, dx=\int { {\left (b x^{2} + a\right )}^{2} {\left (d x + c\right )}^{\frac {3}{2}} \left (e x\right )^{m} \,d x } \] Input:

integrate((e*x)^m*(d*x+c)^(3/2)*(b*x^2+a)^2,x, algorithm="giac")
 

Output:

integrate((b*x^2 + a)^2*(d*x + c)^(3/2)*(e*x)^m, x)
 

Mupad [F(-1)]

Timed out. \[ \int (e x)^m (c+d x)^{3/2} \left (a+b x^2\right )^2 \, dx=\int {\left (e\,x\right )}^m\,{\left (b\,x^2+a\right )}^2\,{\left (c+d\,x\right )}^{3/2} \,d x \] Input:

int((e*x)^m*(a + b*x^2)^2*(c + d*x)^(3/2),x)
 

Output:

int((e*x)^m*(a + b*x^2)^2*(c + d*x)^(3/2), x)
 

Reduce [F]

\[ \int (e x)^m (c+d x)^{3/2} \left (a+b x^2\right )^2 \, dx=\text {too large to display} \] Input:

int((e*x)^m*(d*x+c)^(3/2)*(b*x^2+a)^2,x)
 

Output:

(2*e**m*(48*x**m*sqrt(c + d*x)*a**2*c**2*d**4*m**4 + 960*x**m*sqrt(c + d*x 
)*a**2*c**2*d**4*m**3 + 7080*x**m*sqrt(c + d*x)*a**2*c**2*d**4*m**2 + 2280 
0*x**m*sqrt(c + d*x)*a**2*c**2*d**4*m + 27027*x**m*sqrt(c + d*x)*a**2*c**2 
*d**4 + 64*x**m*sqrt(c + d*x)*a**2*c*d**5*m**6*x + 1504*x**m*sqrt(c + d*x) 
*a**2*c*d**5*m**5*x + 14016*x**m*sqrt(c + d*x)*a**2*c*d**5*m**4*x + 65360* 
x**m*sqrt(c + d*x)*a**2*c*d**5*m**3*x + 156596*x**m*sqrt(c + d*x)*a**2*c*d 
**5*m**2*x + 171726*x**m*sqrt(c + d*x)*a**2*c*d**5*m*x + 54054*x**m*sqrt(c 
 + d*x)*a**2*c*d**5*x + 64*x**m*sqrt(c + d*x)*a**2*d**6*m**6*x**2 + 1408*x 
**m*sqrt(c + d*x)*a**2*d**6*m**5*x**2 + 12048*x**m*sqrt(c + d*x)*a**2*d**6 
*m**4*x**2 + 50240*x**m*sqrt(c + d*x)*a**2*d**6*m**3*x**2 + 103916*x**m*sq 
rt(c + d*x)*a**2*d**6*m**2*x**2 + 94872*x**m*sqrt(c + d*x)*a**2*d**6*m*x** 
2 + 27027*x**m*sqrt(c + d*x)*a**2*d**6*x**2 + 96*x**m*sqrt(c + d*x)*a*b*c* 
*4*d**2*m**4 + 1440*x**m*sqrt(c + d*x)*a*b*c**4*d**2*m**3 + 7080*x**m*sqrt 
(c + d*x)*a*b*c**4*d**2*m**2 + 12600*x**m*sqrt(c + d*x)*a*b*c**4*d**2*m + 
6864*x**m*sqrt(c + d*x)*a*b*c**4*d**2 - 96*x**m*sqrt(c + d*x)*a*b*c**3*d** 
3*m**4*x - 1392*x**m*sqrt(c + d*x)*a*b*c**3*d**3*m**3*x - 6408*x**m*sqrt(c 
 + d*x)*a*b*c**3*d**3*m**2*x - 9732*x**m*sqrt(c + d*x)*a*b*c**3*d**3*m*x - 
 3432*x**m*sqrt(c + d*x)*a*b*c**3*d**3*x + 96*x**m*sqrt(c + d*x)*a*b*c**2* 
d**4*m**4*x**2 + 1344*x**m*sqrt(c + d*x)*a*b*c**2*d**4*m**3*x**2 + 5808*x* 
*m*sqrt(c + d*x)*a*b*c**2*d**4*m**2*x**2 + 7728*x**m*sqrt(c + d*x)*a*b*...