3.108 \(\int f^{a+b x^3} x^4 \, dx\)

Optimal. Leaf size=34 \[ -\frac{x^5 f^a \text{Gamma}\left (\frac{5}{3},-b x^3 \log (f)\right )}{3 \left (-b x^3 \log (f)\right )^{5/3}} \]

[Out]

-(f^a*x^5*Gamma[5/3, -(b*x^3*Log[f])])/(3*(-(b*x^3*Log[f]))^(5/3))

________________________________________________________________________________________

Rubi [A]  time = 0.0229117, antiderivative size = 34, normalized size of antiderivative = 1., number of steps used = 1, number of rules used = 1, integrand size = 13, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.077, Rules used = {2218} \[ -\frac{x^5 f^a \text{Gamma}\left (\frac{5}{3},-b x^3 \log (f)\right )}{3 \left (-b x^3 \log (f)\right )^{5/3}} \]

Antiderivative was successfully verified.

[In]

Int[f^(a + b*x^3)*x^4,x]

[Out]

-(f^a*x^5*Gamma[5/3, -(b*x^3*Log[f])])/(3*(-(b*x^3*Log[f]))^(5/3))

Rule 2218

Int[(F_)^((a_.) + (b_.)*((c_.) + (d_.)*(x_))^(n_))*((e_.) + (f_.)*(x_))^(m_.), x_Symbol] :> -Simp[(F^a*(e + f*
x)^(m + 1)*Gamma[(m + 1)/n, -(b*(c + d*x)^n*Log[F])])/(f*n*(-(b*(c + d*x)^n*Log[F]))^((m + 1)/n)), x] /; FreeQ
[{F, a, b, c, d, e, f, m, n}, x] && EqQ[d*e - c*f, 0]

Rubi steps

\begin{align*} \int f^{a+b x^3} x^4 \, dx &=-\frac{f^a x^5 \Gamma \left (\frac{5}{3},-b x^3 \log (f)\right )}{3 \left (-b x^3 \log (f)\right )^{5/3}}\\ \end{align*}

Mathematica [A]  time = 0.0056367, size = 34, normalized size = 1. \[ -\frac{x^5 f^a \text{Gamma}\left (\frac{5}{3},-b x^3 \log (f)\right )}{3 \left (-b x^3 \log (f)\right )^{5/3}} \]

Antiderivative was successfully verified.

[In]

Integrate[f^(a + b*x^3)*x^4,x]

[Out]

-(f^a*x^5*Gamma[5/3, -(b*x^3*Log[f])])/(3*(-(b*x^3*Log[f]))^(5/3))

________________________________________________________________________________________

Maple [B]  time = 0.022, size = 106, normalized size = 3.1 \begin{align*}{\frac{{f}^{a}}{3} \left ( -{\frac{2\,{x}^{2}\Gamma \left ( 2/3 \right ) }{3\,b} \left ( -b \right ) ^{{\frac{5}{3}}} \left ( \ln \left ( f \right ) \right ) ^{{\frac{2}{3}}} \left ( -b{x}^{3}\ln \left ( f \right ) \right ) ^{-{\frac{2}{3}}}}+{\frac{{x}^{2}{{\rm e}^{b{x}^{3}\ln \left ( f \right ) }}}{b} \left ( -b \right ) ^{{\frac{5}{3}}} \left ( \ln \left ( f \right ) \right ) ^{{\frac{2}{3}}}}+{\frac{2\,{x}^{2}}{3\,b} \left ( -b \right ) ^{{\frac{5}{3}}} \left ( \ln \left ( f \right ) \right ) ^{{\frac{2}{3}}}\Gamma \left ({\frac{2}{3}},-b{x}^{3}\ln \left ( f \right ) \right ) \left ( -b{x}^{3}\ln \left ( f \right ) \right ) ^{-{\frac{2}{3}}}} \right ) \left ( -b \right ) ^{-{\frac{5}{3}}} \left ( \ln \left ( f \right ) \right ) ^{-{\frac{5}{3}}}} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(f^(b*x^3+a)*x^4,x)

[Out]

1/3*f^a/(-b)^(5/3)/ln(f)^(5/3)*(-2/3*x^2*(-b)^(5/3)*ln(f)^(2/3)/b*GAMMA(2/3)/(-b*x^3*ln(f))^(2/3)+x^2*(-b)^(5/
3)*ln(f)^(2/3)/b*exp(b*x^3*ln(f))+2/3*x^2*(-b)^(5/3)*ln(f)^(2/3)/b/(-b*x^3*ln(f))^(2/3)*GAMMA(2/3,-b*x^3*ln(f)
))

________________________________________________________________________________________

Maxima [A]  time = 1.20381, size = 38, normalized size = 1.12 \begin{align*} -\frac{f^{a} x^{5} \Gamma \left (\frac{5}{3}, -b x^{3} \log \left (f\right )\right )}{3 \, \left (-b x^{3} \log \left (f\right )\right )^{\frac{5}{3}}} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(f^(b*x^3+a)*x^4,x, algorithm="maxima")

[Out]

-1/3*f^a*x^5*gamma(5/3, -b*x^3*log(f))/(-b*x^3*log(f))^(5/3)

________________________________________________________________________________________

Fricas [A]  time = 1.65594, size = 139, normalized size = 4.09 \begin{align*} \frac{3 \, b f^{b x^{3} + a} x^{2} \log \left (f\right ) - 2 \, \left (-b \log \left (f\right )\right )^{\frac{1}{3}} f^{a} \Gamma \left (\frac{2}{3}, -b x^{3} \log \left (f\right )\right )}{9 \, b^{2} \log \left (f\right )^{2}} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(f^(b*x^3+a)*x^4,x, algorithm="fricas")

[Out]

1/9*(3*b*f^(b*x^3 + a)*x^2*log(f) - 2*(-b*log(f))^(1/3)*f^a*gamma(2/3, -b*x^3*log(f)))/(b^2*log(f)^2)

________________________________________________________________________________________

Sympy [F]  time = 0., size = 0, normalized size = 0. \begin{align*} \int f^{a + b x^{3}} x^{4}\, dx \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(f**(b*x**3+a)*x**4,x)

[Out]

Integral(f**(a + b*x**3)*x**4, x)

________________________________________________________________________________________

Giac [F]  time = 0., size = 0, normalized size = 0. \begin{align*} \int f^{b x^{3} + a} x^{4}\,{d x} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(f^(b*x^3+a)*x^4,x, algorithm="giac")

[Out]

integrate(f^(b*x^3 + a)*x^4, x)