3.2.72 \(\int \frac {f^{a+\frac {b}{x^3}}}{x^3} \, dx\) [172]

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

[Out]

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

________________________________________________________________________________________

Rubi [A]
time = 0.02, antiderivative size = 34, 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 = {2250} \begin {gather*} \frac {f^a \text {Gamma}\left (\frac {2}{3},-\frac {b \log (f)}{x^3}\right )}{3 x^2 \left (-\frac {b \log (f)}{x^3}\right )^{2/3}} \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

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

Rule 2250

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

Rubi steps

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

________________________________________________________________________________________

Mathematica [A]
time = 0.00, size = 34, normalized size = 1.00 \begin {gather*} \frac {f^a \Gamma \left (\frac {2}{3},-\frac {b \log (f)}{x^3}\right )}{3 x^2 \left (-\frac {b \log (f)}{x^3}\right )^{2/3}} \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

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

________________________________________________________________________________________

Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(77\) vs. \(2(28)=56\).
time = 0.03, size = 78, normalized size = 2.29

method	result	size
meijerg	\(\frac {f^{a} \left (-b \right )^{\frac {1}{3}} \left (\frac {\left (-b \right )^{\frac {2}{3}} \ln \left (f \right )^{\frac {2}{3}} \Gamma \left (\frac {2}{3}\right )}{x^{2} \left (-\frac {b \ln \left (f \right )}{x^{3}}\right )^{\frac {2}{3}}}-\frac {\left (-b \right )^{\frac {2}{3}} \ln \left (f \right )^{\frac {2}{3}} \Gamma \left (\frac {2}{3}, -\frac {b \ln \left (f \right )}{x^{3}}\right )}{x^{2} \left (-\frac {b \ln \left (f \right )}{x^{3}}\right )^{\frac {2}{3}}}\right )}{3 b \ln \left (f \right )^{\frac {2}{3}}}\)	\(78\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(f^(a+b/x^3)/x^3,x,method=_RETURNVERBOSE)

[Out]

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

________________________________________________________________________________________

Maxima [A]
time = 0.06, size = 28, normalized size = 0.82 \begin {gather*} \frac {f^{a} \Gamma \left (\frac {2}{3}, -\frac {b \log \left (f\right )}{x^{3}}\right )}{3 \, x^{2} \left (-\frac {b \log \left (f\right )}{x^{3}}\right )^{\frac {2}{3}}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

Fricas [A]
time = 0.08, size = 29, normalized size = 0.85 \begin {gather*} -\frac {\left (-b \log \left (f\right )\right )^{\frac {1}{3}} f^{a} \Gamma \left (\frac {2}{3}, -\frac {b \log \left (f\right )}{x^{3}}\right )}{3 \, b \log \left (f\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

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

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

Integral(f**(a + b/x**3)/x**3, 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^(a+b/x^3)/x^3,x, algorithm="giac")

[Out]

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

________________________________________________________________________________________

Mupad [B]
time = 3.56, size = 33, normalized size = 0.97 \begin {gather*} -\frac {f^a\,\left (\Gamma \left (\frac {2}{3}\right )-\Gamma \left (\frac {2}{3},-\frac {b\,\ln \left (f\right )}{x^3}\right )\right )}{3\,x^2\,{\left (-\frac {b\,\ln \left (f\right )}{x^3}\right )}^{2/3}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

-(f^a*(gamma(2/3) - igamma(2/3, -(b*log(f))/x^3)))/(3*x^2*(-(b*log(f))/x^3)^(2/3))

________________________________________________________________________________________