3.107 \(\int \frac {f^{a+b x^3}}{x^{16}} \, dx\)

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

[Out]

-1/3*f^a/x^15*Ei(6,-b*x^3*ln(f))

________________________________________________________________________________________

Rubi [A]  time = 0.02, antiderivative size = 24, normalized size of antiderivative = 1.00, 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 {1}{3} b^5 f^a \log ^5(f) \text {Gamma}\left (-5,-b x^3 \log (f)\right ) \]

Antiderivative was successfully verified.

[In]

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

[Out]

(b^5*f^a*Gamma[-5, -(b*x^3*Log[f])]*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 \frac {f^{a+b x^3}}{x^{16}} \, dx &=\frac {1}{3} b^5 f^a \Gamma \left (-5,-b x^3 \log (f)\right ) \log ^5(f)\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.00, size = 24, normalized size = 1.00 \[ \frac {1}{3} b^5 f^a \log ^5(f) \Gamma \left (-5,-b x^3 \log (f)\right ) \]

Antiderivative was successfully verified.

[In]

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

[Out]

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

________________________________________________________________________________________

fricas [B]  time = 0.40, size = 83, normalized size = 3.46 \[ \frac {b^{5} f^{a} x^{15} {\rm Ei}\left (b x^{3} \log \relax (f)\right ) \log \relax (f)^{5} - {\left (b^{4} x^{12} \log \relax (f)^{4} + b^{3} x^{9} \log \relax (f)^{3} + 2 \, b^{2} x^{6} \log \relax (f)^{2} + 6 \, b x^{3} \log \relax (f) + 24\right )} f^{b x^{3} + a}}{360 \, x^{15}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

1/360*(b^5*f^a*x^15*Ei(b*x^3*log(f))*log(f)^5 - (b^4*x^12*log(f)^4 + b^3*x^9*log(f)^3 + 2*b^2*x^6*log(f)^2 + 6
*b*x^3*log(f) + 24)*f^(b*x^3 + a))/x^15

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {f^{b x^{3} + a}}{x^{16}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

maple [B]  time = 0.09, size = 249, normalized size = 10.38 \[ -\frac {\left (\frac {\Ei \left (1, -b \,x^{3} \ln \relax (f )\right )}{120}-\frac {\ln \relax (x )}{40}-\frac {\ln \left (-b \right )}{120}+\frac {\ln \left (-b \,x^{3} \ln \relax (f )\right )}{120}-\frac {\ln \left (\ln \relax (f )\right )}{120}+\frac {1}{24 b \,x^{3} \ln \relax (f )}+\frac {1}{12 b^{2} x^{6} \ln \relax (f )^{2}}+\frac {1}{6 b^{3} x^{9} \ln \relax (f )^{3}}+\frac {1}{4 b^{4} x^{12} \ln \relax (f )^{4}}+\frac {\left (6 b^{4} x^{12} \ln \relax (f )^{4}+6 b^{3} x^{9} \ln \relax (f )^{3}+12 b^{2} x^{6} \ln \relax (f )^{2}+36 b \,x^{3} \ln \relax (f )+144\right ) {\mathrm e}^{b \,x^{3} \ln \relax (f )}}{720 b^{5} x^{15} \ln \relax (f )^{5}}-\frac {137 b^{5} x^{15} \ln \relax (f )^{5}+300 b^{4} x^{12} \ln \relax (f )^{4}+600 b^{3} x^{9} \ln \relax (f )^{3}+1200 b^{2} x^{6} \ln \relax (f )^{2}+1800 b \,x^{3} \ln \relax (f )+1440}{7200 b^{5} x^{15} \ln \relax (f )^{5}}+\frac {1}{5 b^{5} x^{15} \ln \relax (f )^{5}}+\frac {137}{7200}\right ) b^{5} f^{a} \ln \relax (f )^{5}}{3} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

-1/3*f^a*b^5*ln(f)^5*(-1/7200/b^5/x^15/ln(f)^5*(137*b^5*x^15*ln(f)^5+300*b^4*x^12*ln(f)^4+600*b^3*x^9*ln(f)^3+
1200*b^2*x^6*ln(f)^2+1800*b*x^3*ln(f)+1440)+1/720/b^5/x^15/ln(f)^5*(6*b^4*x^12*ln(f)^4+6*b^3*x^9*ln(f)^3+12*b^
2*x^6*ln(f)^2+36*b*x^3*ln(f)+144)*exp(b*x^3*ln(f))+1/120*ln(-b*x^3*ln(f))+1/120*Ei(1,-b*x^3*ln(f))+137/7200-1/
40*ln(x)-1/120*ln(-b)-1/120*ln(ln(f))+1/5/x^15/b^5/ln(f)^5+1/4/b^4/x^12/ln(f)^4+1/6/b^3/x^9/ln(f)^3+1/12/b^2/x
^6/ln(f)^2+1/24/b/x^3/ln(f))

________________________________________________________________________________________

maxima [B]  time = 1.29, size = 22, normalized size = 0.92 \[ \frac {1}{3} \, b^{5} f^{a} \Gamma \left (-5, -b x^{3} \log \relax (f)\right ) \log \relax (f)^{5} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

mupad [B]  time = 3.47, size = 102, normalized size = 4.25 \[ -\frac {b^5\,f^a\,{\ln \relax (f)}^5\,\mathrm {expint}\left (-b\,x^3\,\ln \relax (f)\right )}{360}-\frac {b^5\,f^a\,f^{b\,x^3}\,{\ln \relax (f)}^5\,\left (\frac {1}{120\,b\,x^3\,\ln \relax (f)}+\frac {1}{120\,b^2\,x^6\,{\ln \relax (f)}^2}+\frac {1}{60\,b^3\,x^9\,{\ln \relax (f)}^3}+\frac {1}{20\,b^4\,x^{12}\,{\ln \relax (f)}^4}+\frac {1}{5\,b^5\,x^{15}\,{\ln \relax (f)}^5}\right )}{3} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

- (b^5*f^a*log(f)^5*expint(-b*x^3*log(f)))/360 - (b^5*f^a*f^(b*x^3)*log(f)^5*(1/(120*b*x^3*log(f)) + 1/(120*b^
2*x^6*log(f)^2) + 1/(60*b^3*x^9*log(f)^3) + 1/(20*b^4*x^12*log(f)^4) + 1/(5*b^5*x^15*log(f)^5)))/3

________________________________________________________________________________________

sympy [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {f^{a + b x^{3}}}{x^{16}}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(f**(b*x**3+a)/x**16,x)

[Out]

Integral(f**(a + b*x**3)/x**16, x)

________________________________________________________________________________________