3.1.66 \(\int F^{e (c+d x)} (a+b G^{h (f+g x)})^n \, dx\) [66]

Optimal. Leaf size=106 \[ \frac {F^{e (c+d x)} \left (a+b G^{h (f+g x)}\right )^n \left (1+\frac {b G^{h (f+g x)}}{a}\right )^{-n} \, _2F_1\left (-n,\frac {d e \log (F)}{g h \log (G)};1+\frac {d e \log (F)}{g h \log (G)};-\frac {b G^{h (f+g x)}}{a}\right )}{d e \log (F)} \]

[Out]

F^(e*(d*x+c))*(a+b*G^(h*(g*x+f)))^n*hypergeom([-n, d*e*ln(F)/g/h/ln(G)],[1+d*e*ln(F)/g/h/ln(G)],-b*G^(h*(g*x+f
))/a)/d/e/((1+b*G^(h*(g*x+f))/a)^n)/ln(F)

________________________________________________________________________________________

Rubi [A]
time = 0.06, antiderivative size = 106, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, integrand size = 25, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.080, Rules used = {2284, 2283} \begin {gather*} \frac {F^{e (c+d x)} \left (a+b G^{h (f+g x)}\right )^n \left (\frac {b G^{h (f+g x)}}{a}+1\right )^{-n} \, _2F_1\left (-n,\frac {d e \log (F)}{g h \log (G)};\frac {d e \log (F)}{g h \log (G)}+1;-\frac {b G^{h (f+g x)}}{a}\right )}{d e \log (F)} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[F^(e*(c + d*x))*(a + b*G^(h*(f + g*x)))^n,x]

[Out]

(F^(e*(c + d*x))*(a + b*G^(h*(f + g*x)))^n*Hypergeometric2F1[-n, (d*e*Log[F])/(g*h*Log[G]), 1 + (d*e*Log[F])/(
g*h*Log[G]), -((b*G^(h*(f + g*x)))/a)])/(d*e*(1 + (b*G^(h*(f + g*x)))/a)^n*Log[F])

Rule 2283

Int[((a_) + (b_.)*(F_)^((e_.)*((c_.) + (d_.)*(x_))))^(p_)*(G_)^((h_.)*((f_.) + (g_.)*(x_))), x_Symbol] :> Simp
[a^p*(G^(h*(f + g*x))/(g*h*Log[G]))*Hypergeometric2F1[-p, g*h*(Log[G]/(d*e*Log[F])), g*h*(Log[G]/(d*e*Log[F]))
+ 1, Simplify[(-b/a)*F^(e*(c + d*x))]], x] /; FreeQ[{F, G, a, b, c, d, e, f, g, h, p}, x] && (ILtQ[p, 0] || G
tQ[a, 0])

Rule 2284

Int[((a_) + (b_.)*(F_)^((e_.)*((c_.) + (d_.)*(x_))))^(p_)*(G_)^((h_.)*((f_.) + (g_.)*(x_))), x_Symbol] :> Dist
[(a + b*F^(e*(c + d*x)))^p/(1 + (b/a)*F^(e*(c + d*x)))^p, Int[G^(h*(f + g*x))*(1 + (b/a)*F^(e*(c + d*x)))^p, x
], x] /; FreeQ[{F, G, a, b, c, d, e, f, g, h, p}, x] &&  !(ILtQ[p, 0] || GtQ[a, 0])

Rubi steps

\begin {align*} \int F^{e (c+d x)} \left (a+b G^{h (f+g x)}\right )^n \, dx &=\left (\left (a+b G^{h (f+g x)}\right )^n \left (1+\frac {b G^{h (f+g x)}}{a}\right )^{-n}\right ) \int F^{e (c+d x)} \left (1+\frac {b G^{h (f+g x)}}{a}\right )^n \, dx\\ &=\frac {F^{e (c+d x)} \left (a+b G^{h (f+g x)}\right )^n \left (1+\frac {b G^{h (f+g x)}}{a}\right )^{-n} \, _2F_1\left (-n,\frac {d e \log (F)}{g h \log (G)};1+\frac {d e \log (F)}{g h \log (G)};-\frac {b G^{h (f+g x)}}{a}\right )}{d e \log (F)}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.08, size = 92, normalized size = 0.87 \begin {gather*} \frac {F^{e (c+d x)} \left (a+b G^{h (f+g x)}\right )^{1+n} \, _2F_1\left (1,1+n+\frac {d e \log (F)}{g h \log (G)};1+\frac {d e \log (F)}{g h \log (G)};-\frac {b G^{h (f+g x)}}{a}\right )}{a d e \log (F)} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[F^(e*(c + d*x))*(a + b*G^(h*(f + g*x)))^n,x]

[Out]

(F^(e*(c + d*x))*(a + b*G^(h*(f + g*x)))^(1 + n)*Hypergeometric2F1[1, 1 + n + (d*e*Log[F])/(g*h*Log[G]), 1 + (
d*e*Log[F])/(g*h*Log[G]), -((b*G^(h*(f + g*x)))/a)])/(a*d*e*Log[F])

________________________________________________________________________________________

Maple [F]
time = 0.03, size = 0, normalized size = 0.00 \[\int F^{e \left (d x +c \right )} \left (a +b \,G^{h \left (g x +f \right )}\right )^{n}\, dx\]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(F^(e*(d*x+c))*(a+b*G^(h*(g*x+f)))^n,x)

[Out]

int(F^(e*(d*x+c))*(a+b*G^(h*(g*x+f)))^n,x)

________________________________________________________________________________________

Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(F^(e*(d*x+c))*(a+b*G^(h*(g*x+f)))^n,x, algorithm="maxima")

[Out]

integrate((G^((g*x + f)*h)*b + a)^n*F^((d*x + c)*e), x)

________________________________________________________________________________________

Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(F^(e*(d*x+c))*(a+b*G^(h*(g*x+f)))^n,x, algorithm="fricas")

[Out]

integral((G^(g*h*x + f*h)*b + a)^n*F^((d*x + c)*e), x)

________________________________________________________________________________________

Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int F^{e \left (c + d x\right )} \left (G^{f h} G^{g h x} b + a\right )^{n}\, dx \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(F**(e*(d*x+c))*(a+b*G**(h*(g*x+f)))**n,x)

[Out]

Integral(F**(e*(c + d*x))*(G**(f*h)*G**(g*h*x)*b + a)**n, x)

________________________________________________________________________________________

Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(F^(e*(d*x+c))*(a+b*G^(h*(g*x+f)))^n,x, algorithm="giac")

[Out]

integrate((G^((g*x + f)*h)*b + a)^n*F^((d*x + c)*e), x)

________________________________________________________________________________________

Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int F^{e\,\left (c+d\,x\right )}\,{\left (a+G^{h\,\left (f+g\,x\right )}\,b\right )}^n \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(F^(e*(c + d*x))*(a + G^(h*(f + g*x))*b)^n,x)

[Out]

int(F^(e*(c + d*x))*(a + G^(h*(f + g*x))*b)^n, x)

________________________________________________________________________________________