3.67 \(\int \frac {F^{e (c+d x)} H^{t (r+s x)}}{a+b F^{e (c+d x)}} \, dx\)

Optimal. Leaf size=75 \[ \frac {H^{t (r+s x)} \, _2F_1\left (1,-\frac {s t \log (H)}{d e \log (F)};1-\frac {s t \log (H)}{d e \log (F)};-\frac {a F^{-e (c+d x)}}{b}\right )}{b s t \log (H)} \]

[Out]

H^(t*(s*x+r))*hypergeom([1, -s*t*ln(H)/d/e/ln(F)],[1-s*t*ln(H)/d/e/ln(F)],-a/b/(F^(e*(d*x+c))))/b/s/t/ln(H)

________________________________________________________________________________________

Rubi [A]  time = 0.13, antiderivative size = 75, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, integrand size = 34, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.059, Rules used = {2256, 2251} \[ \frac {H^{t (r+s x)} \, _2F_1\left (1,-\frac {s t \log (H)}{d e \log (F)};1-\frac {s t \log (H)}{d e \log (F)};-\frac {a F^{-e (c+d x)}}{b}\right )}{b s t \log (H)} \]

Antiderivative was successfully verified.

[In]

Int[(F^(e*(c + d*x))*H^(t*(r + s*x)))/(a + b*F^(e*(c + d*x))),x]

[Out]

(H^(t*(r + s*x))*Hypergeometric2F1[1, -((s*t*Log[H])/(d*e*Log[F])), 1 - (s*t*Log[H])/(d*e*Log[F]), -(a/(b*F^(e
*(c + d*x))))])/(b*s*t*Log[H])

Rule 2251

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

Rule 2256

Int[((a_) + (b_.)*(F_)^((e_.)*((c_.) + (d_.)*(x_))))^(p_.)*(G_)^((h_.)*((f_.) + (g_.)*(x_)))*(H_)^((t_.)*((r_.
) + (s_.)*(x_))), x_Symbol] :> Dist[G^((f - (c*g)/d)*h), Int[H^(t*(r + s*x))*(b + a/F^(e*(c + d*x)))^p, x], x]
/; FreeQ[{F, G, H, a, b, c, d, e, f, g, h, r, s, t}, x] && EqQ[d*e*p*Log[F] + g*h*Log[G], 0] && IntegerQ[p]

Rubi steps

\begin {align*} \int \frac {F^{e (c+d x)} H^{t (r+s x)}}{a+b F^{e (c+d x)}} \, dx &=\int \frac {H^{t (r+s x)}}{b+a F^{-e (c+d x)}} \, dx\\ &=\frac {H^{t (r+s x)} \, _2F_1\left (1,-\frac {s t \log (H)}{d e \log (F)};1-\frac {s t \log (H)}{d e \log (F)};-\frac {a F^{-e (c+d x)}}{b}\right )}{b s t \log (H)}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.17, size = 75, normalized size = 1.00 \[ -\frac {H^{t (r+s x)} \left (\, _2F_1\left (1,\frac {s t \log (H)}{d e \log (F)};\frac {s t \log (H)}{d e \log (F)}+1;-\frac {b F^{e (c+d x)}}{a}\right )-1\right )}{b s t \log (H)} \]

Antiderivative was successfully verified.

[In]

Integrate[(F^(e*(c + d*x))*H^(t*(r + s*x)))/(a + b*F^(e*(c + d*x))),x]

[Out]

-((H^(t*(r + s*x))*(-1 + Hypergeometric2F1[1, (s*t*Log[H])/(d*e*Log[F]), 1 + (s*t*Log[H])/(d*e*Log[F]), -((b*F
^(e*(c + d*x)))/a)]))/(b*s*t*Log[H]))

________________________________________________________________________________________

fricas [F]  time = 0.40, size = 0, normalized size = 0.00 \[ {\rm integral}\left (\frac {F^{d e x + c e} H^{s t x + r t}}{F^{d e x + c e} b + a}, x\right ) \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(F^(e*(d*x+c))*H^(t*(s*x+r))/(a+b*F^(e*(d*x+c))),x, algorithm="fricas")

[Out]

integral(F^(d*e*x + c*e)*H^(s*t*x + r*t)/(F^(d*e*x + c*e)*b + a), x)

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {F^{{\left (d x + c\right )} e} H^{{\left (s x + r\right )} t}}{F^{{\left (d x + c\right )} e} b + a}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(F^(e*(d*x+c))*H^(t*(s*x+r))/(a+b*F^(e*(d*x+c))),x, algorithm="giac")

[Out]

integrate(F^((d*x + c)*e)*H^((s*x + r)*t)/(F^((d*x + c)*e)*b + a), x)

________________________________________________________________________________________

maple [F]  time = 0.05, size = 0, normalized size = 0.00 \[ \int \frac {F^{\left (d x +c \right ) e} H^{\left (s x +r \right ) t}}{b \,F^{\left (d x +c \right ) e}+a}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(F^((d*x+c)*e)*H^(t*(s*x+r))/(a+b*F^((d*x+c)*e)),x)

[Out]

int(F^((d*x+c)*e)*H^(t*(s*x+r))/(a+b*F^((d*x+c)*e)),x)

________________________________________________________________________________________

maxima [F]  time = 0.00, size = 0, normalized size = 0.00 \[ -H^{r t} a^{2} d e \int \frac {H^{s t x}}{a^{2} b d e \log \relax (F) - a^{2} b s t \log \relax (H) + {\left (F^{2 \, c e} b^{3} d e \log \relax (F) - F^{2 \, c e} b^{3} s t \log \relax (H)\right )} F^{2 \, d e x} + 2 \, {\left (F^{c e} a b^{2} d e \log \relax (F) - F^{c e} a b^{2} s t \log \relax (H)\right )} F^{d e x}}\,{d x} \log \relax (F) + \frac {{\left (H^{r t} a d e \log \relax (F) + {\left (F^{c e} H^{r t} b d e \log \relax (F) - F^{c e} H^{r t} b s t \log \relax (H)\right )} F^{d e x}\right )} H^{s t x}}{a b d e s t \log \relax (F) \log \relax (H) - a b s^{2} t^{2} \log \relax (H)^{2} + {\left (F^{c e} b^{2} d e s t \log \relax (F) \log \relax (H) - F^{c e} b^{2} s^{2} t^{2} \log \relax (H)^{2}\right )} F^{d e x}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(F^(e*(d*x+c))*H^(t*(s*x+r))/(a+b*F^(e*(d*x+c))),x, algorithm="maxima")

[Out]

-H^(r*t)*a^2*d*e*integrate(H^(s*t*x)/(a^2*b*d*e*log(F) - a^2*b*s*t*log(H) + (F^(2*c*e)*b^3*d*e*log(F) - F^(2*c
*e)*b^3*s*t*log(H))*F^(2*d*e*x) + 2*(F^(c*e)*a*b^2*d*e*log(F) - F^(c*e)*a*b^2*s*t*log(H))*F^(d*e*x)), x)*log(F
) + (H^(r*t)*a*d*e*log(F) + (F^(c*e)*H^(r*t)*b*d*e*log(F) - F^(c*e)*H^(r*t)*b*s*t*log(H))*F^(d*e*x))*H^(s*t*x)
/(a*b*d*e*s*t*log(F)*log(H) - a*b*s^2*t^2*log(H)^2 + (F^(c*e)*b^2*d*e*s*t*log(F)*log(H) - F^(c*e)*b^2*s^2*t^2*
log(H)^2)*F^(d*e*x))

________________________________________________________________________________________

mupad [F]  time = 0.00, size = -1, normalized size = -0.01 \[ \int \frac {F^{e\,\left (c+d\,x\right )}\,H^{t\,\left (r+s\,x\right )}}{a+F^{e\,\left (c+d\,x\right )}\,b} \,d x \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((F^(e*(c + d*x))*H^(t*(r + s*x)))/(a + F^(e*(c + d*x))*b),x)

[Out]

int((F^(e*(c + d*x))*H^(t*(r + s*x)))/(a + F^(e*(c + d*x))*b), x)

________________________________________________________________________________________

sympy [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {F^{e \left (c + d x\right )} H^{t \left (r + s x\right )}}{F^{c e} F^{d e x} b + a}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(F**(e*(d*x+c))*H**(t*(s*x+r))/(a+b*F**(e*(d*x+c))),x)

[Out]

Integral(F**(e*(c + d*x))*H**(t*(r + s*x))/(F**(c*e)*F**(d*e*x)*b + a), x)

________________________________________________________________________________________