3.2.14 \(\int \frac {-1+x^8}{x^4 \sqrt {-1+x^4}} \, dx\)

Optimal. Leaf size=16 \[ \frac {\left (x^4-1\right )^{3/2}}{3 x^3} \]

________________________________________________________________________________________

Rubi [A]  time = 0.01, antiderivative size = 16, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.111, Rules used = {1479, 449} \begin {gather*} \frac {\left (x^4-1\right )^{3/2}}{3 x^3} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(-1 + x^8)/(x^4*Sqrt[-1 + x^4]),x]

[Out]

(-1 + x^4)^(3/2)/(3*x^3)

Rule 449

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

Rule 1479

Int[((f_.)*(x_))^(m_.)*((d_) + (e_.)*(x_)^(n_))^(q_.)*((a_) + (c_.)*(x_)^(n2_))^(p_.), x_Symbol] :> Int[(f*x)^
m*(d + e*x^n)^(q + p)*(a/d + (c*x^n)/e)^p, x] /; FreeQ[{a, c, d, e, f, q, m, n, q}, x] && EqQ[n2, 2*n] && EqQ[
c*d^2 + a*e^2, 0] && IntegerQ[p]

Rubi steps

\begin {align*} \int \frac {-1+x^8}{x^4 \sqrt {-1+x^4}} \, dx &=\int \frac {\sqrt {-1+x^4} \left (1+x^4\right )}{x^4} \, dx\\ &=\frac {\left (-1+x^4\right )^{3/2}}{3 x^3}\\ \end {align*}

________________________________________________________________________________________

Mathematica [C]  time = 0.04, size = 76, normalized size = 4.75 \begin {gather*} \frac {x^4 \left (\sqrt {1-x^4} \, _2F_1\left (\frac {1}{4},\frac {1}{2};\frac {5}{4};x^4\right )+x^4-1\right )+\sqrt {1-x^4} \, _2F_1\left (-\frac {3}{4},\frac {1}{2};\frac {1}{4};x^4\right )}{3 x^3 \sqrt {x^4-1}} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(-1 + x^8)/(x^4*Sqrt[-1 + x^4]),x]

[Out]

(Sqrt[1 - x^4]*Hypergeometric2F1[-3/4, 1/2, 1/4, x^4] + x^4*(-1 + x^4 + Sqrt[1 - x^4]*Hypergeometric2F1[1/4, 1
/2, 5/4, x^4]))/(3*x^3*Sqrt[-1 + x^4])

________________________________________________________________________________________

IntegrateAlgebraic [A]  time = 0.15, size = 16, normalized size = 1.00 \begin {gather*} \frac {\left (-1+x^4\right )^{3/2}}{3 x^3} \end {gather*}

Antiderivative was successfully verified.

[In]

IntegrateAlgebraic[(-1 + x^8)/(x^4*Sqrt[-1 + x^4]),x]

[Out]

(-1 + x^4)^(3/2)/(3*x^3)

________________________________________________________________________________________

fricas [A]  time = 0.46, size = 12, normalized size = 0.75 \begin {gather*} \frac {{\left (x^{4} - 1\right )}^{\frac {3}{2}}}{3 \, x^{3}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((x^8-1)/x^4/(x^4-1)^(1/2),x, algorithm="fricas")

[Out]

1/3*(x^4 - 1)^(3/2)/x^3

________________________________________________________________________________________

giac [B]  time = 0.65, size = 25, normalized size = 1.56 \begin {gather*} \frac {1}{3} \, \sqrt {x^{4} - 1} x - \frac {\sqrt {-\frac {1}{x^{4}} + 1}}{3 \, x} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((x^8-1)/x^4/(x^4-1)^(1/2),x, algorithm="giac")

[Out]

1/3*sqrt(x^4 - 1)*x - 1/3*sqrt(-1/x^4 + 1)/x

________________________________________________________________________________________

maple [A]  time = 0.10, size = 13, normalized size = 0.81

method	result	size
trager	\(\frac {\left (x^{4}-1\right )^{\frac {3}{2}}}{3 x^{3}}\)	\(13\)
elliptic	\(\frac {\left (x^{4}-1\right )^{\frac {3}{2}}}{3 x^{3}}\)	\(13\)
risch	\(\frac {x^{8}-2 x^{4}+1}{3 x^{3} \sqrt {x^{4}-1}}\)	\(23\)
gosper	\(\frac {\sqrt {x^{4}-1}\, \left (-1+x \right ) \left (1+x \right ) \left (x^{2}+1\right )}{3 x^{3}}\)	\(24\)
default	\(\frac {x \sqrt {x^{4}-1}}{3}-\frac {\sqrt {x^{4}-1}}{3 x^{3}}\)	\(24\)
meijerg	\(\frac {\sqrt {-\mathrm {signum}\left (x^{4}-1\right )}\, \hypergeom \left (\left [\frac {1}{2}, \frac {5}{4}\right ], \left [\frac {9}{4}\right ], x^{4}\right ) x^{5}}{5 \sqrt {\mathrm {signum}\left (x^{4}-1\right )}}+\frac {\sqrt {-\mathrm {signum}\left (x^{4}-1\right )}\, \hypergeom \left (\left [-\frac {3}{4}, \frac {1}{2}\right ], \left [\frac {1}{4}\right ], x^{4}\right )}{3 \sqrt {\mathrm {signum}\left (x^{4}-1\right )}\, x^{3}}\)	\(66\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((x^8-1)/x^4/(x^4-1)^(1/2),x,method=_RETURNVERBOSE)

[Out]

1/3*(x^4-1)^(3/2)/x^3

________________________________________________________________________________________

maxima [B]  time = 0.96, size = 27, normalized size = 1.69 \begin {gather*} \frac {{\left (x^{4} - 1\right )} \sqrt {x^{2} + 1} \sqrt {x + 1} \sqrt {x - 1}}{3 \, x^{3}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((x^8-1)/x^4/(x^4-1)^(1/2),x, algorithm="maxima")

[Out]

1/3*(x^4 - 1)*sqrt(x^2 + 1)*sqrt(x + 1)*sqrt(x - 1)/x^3

________________________________________________________________________________________

mupad [B]  time = 0.21, size = 12, normalized size = 0.75 \begin {gather*} \frac {{\left (x^4-1\right )}^{3/2}}{3\,x^3} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((x^8 - 1)/(x^4*(x^4 - 1)^(1/2)),x)

[Out]

(x^4 - 1)^(3/2)/(3*x^3)

________________________________________________________________________________________

sympy [C]  time = 1.85, size = 56, normalized size = 3.50 \begin {gather*} - \frac {i x^{5} \Gamma \left (\frac {5}{4}\right ) {{}_{2}F_{1}\left (\begin {matrix} \frac {1}{2}, \frac {5}{4} \\ \frac {9}{4} \end {matrix}\middle | {x^{4}} \right )}}{4 \Gamma \left (\frac {9}{4}\right )} + \frac {i \Gamma \left (- \frac {3}{4}\right ) {{}_{2}F_{1}\left (\begin {matrix} - \frac {3}{4}, \frac {1}{2} \\ \frac {1}{4} \end {matrix}\middle | {x^{4}} \right )}}{4 x^{3} \Gamma \left (\frac {1}{4}\right )} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((x**8-1)/x**4/(x**4-1)**(1/2),x)

[Out]

-I*x**5*gamma(5/4)*hyper((1/2, 5/4), (9/4,), x**4)/(4*gamma(9/4)) + I*gamma(-3/4)*hyper((-3/4, 1/2), (1/4,), x
**4)/(4*x**3*gamma(1/4))

________________________________________________________________________________________