\(\int (e x)^{-1-2 n} (a+b (c+d x^n))^p \, dx\) [351]

Optimal result

Integrand size = 23, antiderivative size = 76 \[ \int (e x)^{-1-2 n} \left (a+b \left (c+d x^n\right )\right )^p \, dx=-\frac {b^2 d^2 x^{2 n} (e x)^{-2 n} \left (a+b c+b d x^n\right )^{1+p} \operatorname {Hypergeometric2F1}\left (3,1+p,2+p,1+\frac {b d x^n}{a+b c}\right )}{(a+b c)^3 e n (1+p)} \] Output:

-b^2*d^2*x^(2*n)*(a+b*c+b*d*x^n)^(p+1)*hypergeom([3, p+1],[2+p],1+b*d*x^n/ 
(b*c+a))/(b*c+a)^3/e/n/(p+1)/((e*x)^(2*n))
 

Mathematica [A] (verified)

Time = 0.53 (sec) , antiderivative size = 89, normalized size of antiderivative = 1.17 \[ \int (e x)^{-1-2 n} \left (a+b \left (c+d x^n\right )\right )^p \, dx=\frac {x (e x)^{-1-2 n} \left (1+\frac {(a+b c) x^{-n}}{b d}\right )^{-p} \left (a+b c+b d x^n\right )^p \operatorname {Hypergeometric2F1}\left (2-p,-p,3-p,\frac {(-a-b c) x^{-n}}{b d}\right )}{n (-2+p)} \] Input:

Integrate[(e*x)^(-1 - 2*n)*(a + b*(c + d*x^n))^p,x]
 

Output:

(x*(e*x)^(-1 - 2*n)*(a + b*c + b*d*x^n)^p*Hypergeometric2F1[2 - p, -p, 3 - 
 p, (-a - b*c)/(b*d*x^n)])/(n*(-2 + p)*(1 + (a + b*c)/(b*d*x^n))^p)
 

Rubi [A] (verified)

Time = 0.39 (sec) , antiderivative size = 76, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 4, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.174, Rules used = {2073, 800, 798, 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 (e x)^{-2 n-1} \left (a+b \left (c+d x^n\right )\right )^p \, dx\)

\(\Big \downarrow \) 2073

\(\displaystyle \int (e x)^{-2 n-1} \left (a+b c+b d x^n\right )^pdx\)

\(\Big \downarrow \) 800

\(\displaystyle \frac {x^{2 n} (e x)^{-2 n} \int x^{-2 n-1} \left (b d x^n+a+b c\right )^pdx}{e}\)

\(\Big \downarrow \) 798

\(\displaystyle \frac {x^{2 n} (e x)^{-2 n} \int x^{-3 n} \left (b d x^n+a+b c\right )^pdx^n}{e n}\)

\(\Big \downarrow \) 75

\(\displaystyle -\frac {b^2 d^2 x^{2 n} (e x)^{-2 n} \left (a+b c+b d x^n\right )^{p+1} \operatorname {Hypergeometric2F1}\left (3,p+1,p+2,\frac {b d x^n}{a+b c}+1\right )}{e n (p+1) (a+b c)^3}\)

Input:

Int[(e*x)^(-1 - 2*n)*(a + b*(c + d*x^n))^p,x]
 

Output:

-((b^2*d^2*x^(2*n)*(a + b*c + b*d*x^n)^(1 + p)*Hypergeometric2F1[3, 1 + p, 
 2 + p, 1 + (b*d*x^n)/(a + b*c)])/((a + b*c)^3*e*n*(1 + p)*(e*x)^(2*n)))
 

Defintions of rubi rules used

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 798

Int[(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> Simp[1/n   Subst 
[Int[x^(Simplify[(m + 1)/n] - 1)*(a + b*x)^p, x], x, x^n], x] /; FreeQ[{a, 
b, m, n, p}, x] && IntegerQ[Simplify[(m + 1)/n]]
 

rule 800

Int[((c_)*(x_))^(m_)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> Simp[c^Int 
Part[m]*((c*x)^FracPart[m]/x^FracPart[m])   Int[x^m*(a + b*x^n)^p, x], x] / 
; FreeQ[{a, b, c, m, n, p}, x] && IntegerQ[Simplify[(m + 1)/n]]
 

rule 2073

Int[(u_)^(p_.)*((c_.)*(x_))^(m_.), x_Symbol] :> Int[(c*x)^m*ExpandToSum[u, 
x]^p, x] /; FreeQ[{c, m, p}, x] && BinomialQ[u, x] &&  !BinomialMatchQ[u, x 
]
 

Maple [F]

\[\int \left (e x \right )^{-1-2 n} {\left (a +b \left (c +d \,x^{n}\right )\right )}^{p}d x\]

Input:

int((e*x)^(-1-2*n)*(a+b*(c+d*x^n))^p,x)
 

Output:

int((e*x)^(-1-2*n)*(a+b*(c+d*x^n))^p,x)
 

Fricas [F]

\[ \int (e x)^{-1-2 n} \left (a+b \left (c+d x^n\right )\right )^p \, dx=\int { {\left ({\left (d x^{n} + c\right )} b + a\right )}^{p} \left (e x\right )^{-2 \, n - 1} \,d x } \] Input:

integrate((e*x)^(-1-2*n)*(a+b*(c+d*x^n))^p,x, algorithm="fricas")
 

Output:

integral((b*d*x^n + b*c + a)^p*(e*x)^(-2*n - 1), x)
 

Sympy [F]

\[ \int (e x)^{-1-2 n} \left (a+b \left (c+d x^n\right )\right )^p \, dx=\int \left (e x\right )^{- 2 n - 1} \left (a + b c + b d x^{n}\right )^{p}\, dx \] Input:

integrate((e*x)**(-1-2*n)*(a+b*(c+d*x**n))**p,x)
 

Output:

Integral((e*x)**(-2*n - 1)*(a + b*c + b*d*x**n)**p, x)
 

Maxima [F]

\[ \int (e x)^{-1-2 n} \left (a+b \left (c+d x^n\right )\right )^p \, dx=\int { {\left ({\left (d x^{n} + c\right )} b + a\right )}^{p} \left (e x\right )^{-2 \, n - 1} \,d x } \] Input:

integrate((e*x)^(-1-2*n)*(a+b*(c+d*x^n))^p,x, algorithm="maxima")
 

Output:

integrate(((d*x^n + c)*b + a)^p*(e*x)^(-2*n - 1), x)
 

Giac [F]

\[ \int (e x)^{-1-2 n} \left (a+b \left (c+d x^n\right )\right )^p \, dx=\int { {\left ({\left (d x^{n} + c\right )} b + a\right )}^{p} \left (e x\right )^{-2 \, n - 1} \,d x } \] Input:

integrate((e*x)^(-1-2*n)*(a+b*(c+d*x^n))^p,x, algorithm="giac")
 

Output:

integrate(((d*x^n + c)*b + a)^p*(e*x)^(-2*n - 1), x)
 

Mupad [F(-1)]

Timed out. \[ \int (e x)^{-1-2 n} \left (a+b \left (c+d x^n\right )\right )^p \, dx=\int \frac {{\left (a+b\,\left (c+d\,x^n\right )\right )}^p}{{\left (e\,x\right )}^{2\,n+1}} \,d x \] Input:

int((a + b*(c + d*x^n))^p/(e*x)^(2*n + 1),x)
 

Output:

int((a + b*(c + d*x^n))^p/(e*x)^(2*n + 1), x)
 

Reduce [F]

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

int((e*x)^(-1-2*n)*(a+b*(c+d*x^n))^p,x)
 

Output:

( - x**n*(x**n*b*d + a + b*c)**p*b*d*p - (x**n*b*d + a + b*c)**p*a - (x**n 
*b*d + a + b*c)**p*b*c + x**(2*n)*int((x**n*b*d + a + b*c)**p/(x**n*a*b*d* 
x + x**n*b**2*c*d*x + a**2*x + 2*a*b*c*x + b**2*c**2*x),x)*a*b**2*d**2*n*p 
**2 - x**(2*n)*int((x**n*b*d + a + b*c)**p/(x**n*a*b*d*x + x**n*b**2*c*d*x 
 + a**2*x + 2*a*b*c*x + b**2*c**2*x),x)*a*b**2*d**2*n*p + x**(2*n)*int((x* 
*n*b*d + a + b*c)**p/(x**n*a*b*d*x + x**n*b**2*c*d*x + a**2*x + 2*a*b*c*x 
+ b**2*c**2*x),x)*b**3*c*d**2*n*p**2 - x**(2*n)*int((x**n*b*d + a + b*c)** 
p/(x**n*a*b*d*x + x**n*b**2*c*d*x + a**2*x + 2*a*b*c*x + b**2*c**2*x),x)*b 
**3*c*d**2*n*p)/(2*x**(2*n)*e**(2*n)*e*n*(a + b*c))