3.299 \(\int f^{a+b \sqrt {c+d x}} \, dx\)

Optimal. Leaf size=64 \[ \frac {2 \sqrt {c+d x} f^{a+b \sqrt {c+d x}}}{b d \log (f)}-\frac {2 f^{a+b \sqrt {c+d x}}}{b^2 d \log ^2(f)} \]

[Out]

-2*f^(a+b*(d*x+c)^(1/2))/b^2/d/ln(f)^2+2*f^(a+b*(d*x+c)^(1/2))*(d*x+c)^(1/2)/b/d/ln(f)

________________________________________________________________________________________

Rubi [A]  time = 0.03, antiderivative size = 64, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 3, integrand size = 15, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.200, Rules used = {2207, 2176, 2194} \[ \frac {2 \sqrt {c+d x} f^{a+b \sqrt {c+d x}}}{b d \log (f)}-\frac {2 f^{a+b \sqrt {c+d x}}}{b^2 d \log ^2(f)} \]

Antiderivative was successfully verified.

[In]

Int[f^(a + b*Sqrt[c + d*x]),x]

[Out]

(-2*f^(a + b*Sqrt[c + d*x]))/(b^2*d*Log[f]^2) + (2*f^(a + b*Sqrt[c + d*x])*Sqrt[c + d*x])/(b*d*Log[f])

Rule 2176

Int[((b_.)*(F_)^((g_.)*((e_.) + (f_.)*(x_))))^(n_.)*((c_.) + (d_.)*(x_))^(m_.), x_Symbol] :> Simp[((c + d*x)^m
*(b*F^(g*(e + f*x)))^n)/(f*g*n*Log[F]), x] - Dist[(d*m)/(f*g*n*Log[F]), Int[(c + d*x)^(m - 1)*(b*F^(g*(e + f*x
)))^n, x], x] /; FreeQ[{F, b, c, d, e, f, g, n}, x] && GtQ[m, 0] && IntegerQ[2*m] &&  !$UseGamma === True

Rule 2194

Int[((F_)^((c_.)*((a_.) + (b_.)*(x_))))^(n_.), x_Symbol] :> Simp[(F^(c*(a + b*x)))^n/(b*c*n*Log[F]), x] /; Fre
eQ[{F, a, b, c, n}, x]

Rule 2207

Int[(F_)^((a_.) + (b_.)*((c_.) + (d_.)*(x_))^(n_)), x_Symbol] :> With[{k = Denominator[n]}, Dist[k/d, Subst[In
t[x^(k - 1)*F^(a + b*x^(k*n)), x], x, (c + d*x)^(1/k)], x]] /; FreeQ[{F, a, b, c, d}, x] && IntegerQ[2/n] &&
!IntegerQ[n]

Rubi steps

\begin {align*} \int f^{a+b \sqrt {c+d x}} \, dx &=\frac {2 \operatorname {Subst}\left (\int f^{a+b x} x \, dx,x,\sqrt {c+d x}\right )}{d}\\ &=\frac {2 f^{a+b \sqrt {c+d x}} \sqrt {c+d x}}{b d \log (f)}-\frac {2 \operatorname {Subst}\left (\int f^{a+b x} \, dx,x,\sqrt {c+d x}\right )}{b d \log (f)}\\ &=-\frac {2 f^{a+b \sqrt {c+d x}}}{b^2 d \log ^2(f)}+\frac {2 f^{a+b \sqrt {c+d x}} \sqrt {c+d x}}{b d \log (f)}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.03, size = 42, normalized size = 0.66 \[ \frac {2 f^{a+b \sqrt {c+d x}} \left (b \log (f) \sqrt {c+d x}-1\right )}{b^2 d \log ^2(f)} \]

Antiderivative was successfully verified.

[In]

Integrate[f^(a + b*Sqrt[c + d*x]),x]

[Out]

(2*f^(a + b*Sqrt[c + d*x])*(-1 + b*Sqrt[c + d*x]*Log[f]))/(b^2*d*Log[f]^2)

________________________________________________________________________________________

fricas [A]  time = 0.41, size = 42, normalized size = 0.66 \[ \frac {2 \, {\left (\sqrt {d x + c} b \log \relax (f) - 1\right )} e^{\left (\sqrt {d x + c} b \log \relax (f) + a \log \relax (f)\right )}}{b^{2} d \log \relax (f)^{2}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(f^(a+b*(d*x+c)^(1/2)),x, algorithm="fricas")

[Out]

2*(sqrt(d*x + c)*b*log(f) - 1)*e^(sqrt(d*x + c)*b*log(f) + a*log(f))/(b^2*d*log(f)^2)

________________________________________________________________________________________

giac [B]  time = 0.40, size = 774, normalized size = 12.09 \[ \text {result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(f^(a+b*(d*x+c)^(1/2)),x, algorithm="giac")

[Out]

(2*(2*((pi*b^2*log(abs(f))*sgn(f) - pi*b^2*log(abs(f)))*(pi*sqrt(d*x + c)*b*sgn(f) - pi*sqrt(d*x + c)*b)/((pi^
2*b^2*sgn(f) - pi^2*b^2 + 2*b^2*log(abs(f))^2)^2 + 4*(pi*b^2*log(abs(f))*sgn(f) - pi*b^2*log(abs(f)))^2) + (pi
^2*b^2*sgn(f) - pi^2*b^2 + 2*b^2*log(abs(f))^2)*(sqrt(d*x + c)*b*log(abs(f)) - 1)/((pi^2*b^2*sgn(f) - pi^2*b^2
+ 2*b^2*log(abs(f))^2)^2 + 4*(pi*b^2*log(abs(f))*sgn(f) - pi*b^2*log(abs(f)))^2))*cos(-1/2*pi*sqrt(d*x + c)*b
*sgn(f) - 1/2*pi*a*sgn(f) + 1/2*pi*sqrt(d*x + c)*b + 1/2*pi*a) + ((pi^2*b^2*sgn(f) - pi^2*b^2 + 2*b^2*log(abs(
f))^2)*(pi*sqrt(d*x + c)*b*sgn(f) - pi*sqrt(d*x + c)*b)/((pi^2*b^2*sgn(f) - pi^2*b^2 + 2*b^2*log(abs(f))^2)^2
+ 4*(pi*b^2*log(abs(f))*sgn(f) - pi*b^2*log(abs(f)))^2) - 4*(pi*b^2*log(abs(f))*sgn(f) - pi*b^2*log(abs(f)))*(
sqrt(d*x + c)*b*log(abs(f)) - 1)/((pi^2*b^2*sgn(f) - pi^2*b^2 + 2*b^2*log(abs(f))^2)^2 + 4*(pi*b^2*log(abs(f))
*sgn(f) - pi*b^2*log(abs(f)))^2))*sin(-1/2*pi*sqrt(d*x + c)*b*sgn(f) - 1/2*pi*a*sgn(f) + 1/2*pi*sqrt(d*x + c)*
b + 1/2*pi*a))*e^(sqrt(d*x + c)*b*log(abs(f)) + a*log(abs(f))) - ((2*sqrt(d*x + c)*b*i*log(abs(f)) - pi*sqrt(d
*x + c)*b*sgn(f) + pi*sqrt(d*x + c)*b - 2*i)*e^(1/2*(pi*sqrt(d*x + c)*b*(sgn(f) - 1) + pi*a*(sgn(f) - 1))*i)/(
2*pi*b^2*i*log(abs(f))*sgn(f) - 2*pi*b^2*i*log(abs(f)) + pi^2*b^2*sgn(f) - pi^2*b^2 + 2*b^2*log(abs(f))^2) + (
2*sqrt(d*x + c)*b*i*log(abs(f)) + pi*sqrt(d*x + c)*b*sgn(f) - pi*sqrt(d*x + c)*b - 2*i)*e^(-1/2*(pi*sqrt(d*x +
c)*b*(sgn(f) - 1) + pi*a*(sgn(f) - 1))*i)/(2*pi*b^2*i*log(abs(f))*sgn(f) - 2*pi*b^2*i*log(abs(f)) - pi^2*b^2*
sgn(f) + pi^2*b^2 - 2*b^2*log(abs(f))^2))*e^(sqrt(d*x + c)*b*log(abs(f)) + a*log(abs(f)))/i)/d

________________________________________________________________________________________

maple [F]  time = 0.01, size = 0, normalized size = 0.00 \[ \int f^{a +\sqrt {d x +c}\, b}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(f^(a+(d*x+c)^(1/2)*b),x)

[Out]

int(f^(a+(d*x+c)^(1/2)*b),x)

________________________________________________________________________________________

maxima [A]  time = 0.64, size = 43, normalized size = 0.67 \[ \frac {2 \, {\left (\sqrt {d x + c} b f^{a} \log \relax (f) - f^{a}\right )} f^{\sqrt {d x + c} b}}{b^{2} d \log \relax (f)^{2}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(f^(a+b*(d*x+c)^(1/2)),x, algorithm="maxima")

[Out]

2*(sqrt(d*x + c)*b*f^a*log(f) - f^a)*f^(sqrt(d*x + c)*b)/(b^2*d*log(f)^2)

________________________________________________________________________________________

mupad [B]  time = 3.60, size = 38, normalized size = 0.59 \[ \frac {f^{a+b\,\sqrt {c+d\,x}}\,\left (2\,b\,\ln \relax (f)\,\sqrt {c+d\,x}-2\right )}{b^2\,d\,{\ln \relax (f)}^2} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(f^(a + b*(c + d*x)^(1/2)),x)

[Out]

(f^(a + b*(c + d*x)^(1/2))*(2*b*log(f)*(c + d*x)^(1/2) - 2))/(b^2*d*log(f)^2)

________________________________________________________________________________________

sympy [A]  time = 0.72, size = 76, normalized size = 1.19 \[ \begin {cases} x & \text {for}\: b = 0 \wedge d = 0 \wedge f = 1 \\f^{a + b \sqrt {c}} x & \text {for}\: d = 0 \\f^{a} x & \text {for}\: b = 0 \\x & \text {for}\: f = 1 \\\frac {2 f^{a} f^{b \sqrt {c + d x}} \sqrt {c + d x}}{b d \log {\relax (f )}} - \frac {2 f^{a} f^{b \sqrt {c + d x}}}{b^{2} d \log {\relax (f )}^{2}} & \text {otherwise} \end {cases} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(f**(a+b*(d*x+c)**(1/2)),x)

[Out]

Piecewise((x, Eq(b, 0) & Eq(d, 0) & Eq(f, 1)), (f**(a + b*sqrt(c))*x, Eq(d, 0)), (f**a*x, Eq(b, 0)), (x, Eq(f,
1)), (2*f**a*f**(b*sqrt(c + d*x))*sqrt(c + d*x)/(b*d*log(f)) - 2*f**a*f**(b*sqrt(c + d*x))/(b**2*d*log(f)**2)
, True))

________________________________________________________________________________________