3.21.100 \(\int \frac {x^4}{\sqrt [4]{-1+x^4} (-1+2 x^4+x^8)} \, dx\) [2100]
Optimal. Leaf size=152 \[ \frac {\text {ArcTan}\left (\frac {\sqrt [8]{2} x}{\sqrt [4]{-1+x^4}}\right )}{4\ 2^{5/8}}+\frac {\text {ArcTan}\left (\frac {2^{5/8} x \sqrt [4]{-1+x^4}}{\sqrt [4]{2} x^2-\sqrt {-1+x^4}}\right )}{8 \sqrt [8]{2}}+\frac {\tanh ^{-1}\left (\frac {\sqrt [8]{2} x}{\sqrt [4]{-1+x^4}}\right )}{4\ 2^{5/8}}-\frac {\tanh ^{-1}\left (\frac {2\ 2^{3/8} x \sqrt [4]{-1+x^4}}{2 x^2+2^{3/4} \sqrt {-1+x^4}}\right )}{8 \sqrt [8]{2}} \]
[Out]
1/8*arctan(2^(1/8)*x/(x^4-1)^(1/4))*2^(3/8)+1/16*arctan(2^(5/8)*x*(x^4-1)^(1/4)/(x^2*2^(1/4)-(x^4-1)^(1/2)))*2
^(7/8)+1/8*arctanh(2^(1/8)*x/(x^4-1)^(1/4))*2^(3/8)-1/16*arctanh(2*2^(3/8)*x*(x^4-1)^(1/4)/(2*x^2+2^(3/4)*(x^4
-1)^(1/2)))*2^(7/8)
________________________________________________________________________________________
Rubi [A]
time = 0.19, antiderivative size = 282, normalized size of antiderivative = 1.86, number of steps
used = 16, number of rules used = 11, integrand size = 25, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.440, Rules used = {1542, 385,
217, 1179, 642, 1176, 631, 210, 218, 212, 209} \begin {gather*} \frac {\text {ArcTan}\left (\frac {\sqrt [8]{2} x}{\sqrt [4]{x^4-1}}\right )}{4\ 2^{5/8}}-\frac {\left (1-\sqrt {2}\right ) \text {ArcTan}\left (1-\frac {2^{5/8} x}{\sqrt [4]{x^4-1}}\right )}{4\ 2^{5/8} \left (2-\sqrt {2}\right )}+\frac {\left (1-\sqrt {2}\right ) \text {ArcTan}\left (\frac {2^{5/8} x}{\sqrt [4]{x^4-1}}+1\right )}{4\ 2^{5/8} \left (2-\sqrt {2}\right )}+\frac {\tanh ^{-1}\left (\frac {\sqrt [8]{2} x}{\sqrt [4]{x^4-1}}\right )}{4\ 2^{5/8}}-\frac {\left (1-\sqrt {2}\right ) \log \left (-\frac {2 x}{\sqrt [4]{x^4-1}}+\frac {2^{5/8} x^2}{\sqrt {x^4-1}}+2^{3/8}\right )}{8\ 2^{5/8} \left (2-\sqrt {2}\right )}+\frac {\left (1-\sqrt {2}\right ) \log \left (\frac {2^{5/8} x}{\sqrt [4]{x^4-1}}+\frac {\sqrt [4]{2} x^2}{\sqrt {x^4-1}}+1\right )}{8\ 2^{5/8} \left (2-\sqrt {2}\right )} \end {gather*}
Antiderivative was successfully verified.
[In]
Int[x^4/((-1 + x^4)^(1/4)*(-1 + 2*x^4 + x^8)),x]
[Out]
ArcTan[(2^(1/8)*x)/(-1 + x^4)^(1/4)]/(4*2^(5/8)) - ((1 - Sqrt[2])*ArcTan[1 - (2^(5/8)*x)/(-1 + x^4)^(1/4)])/(4
*2^(5/8)*(2 - Sqrt[2])) + ((1 - Sqrt[2])*ArcTan[1 + (2^(5/8)*x)/(-1 + x^4)^(1/4)])/(4*2^(5/8)*(2 - Sqrt[2])) +
ArcTanh[(2^(1/8)*x)/(-1 + x^4)^(1/4)]/(4*2^(5/8)) - ((1 - Sqrt[2])*Log[2^(3/8) + (2^(5/8)*x^2)/Sqrt[-1 + x^4]
- (2*x)/(-1 + x^4)^(1/4)])/(8*2^(5/8)*(2 - Sqrt[2])) + ((1 - Sqrt[2])*Log[1 + (2^(1/4)*x^2)/Sqrt[-1 + x^4] +
(2^(5/8)*x)/(-1 + x^4)^(1/4)])/(8*2^(5/8)*(2 - Sqrt[2]))
Rule 209
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(1/(Rt[a, 2]*Rt[b, 2]))*ArcTan[Rt[b, 2]*(x/Rt[a, 2])], x] /;
FreeQ[{a, b}, x] && PosQ[a/b] && (GtQ[a, 0] || GtQ[b, 0])
Rule 210
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(-(Rt[-a, 2]*Rt[-b, 2])^(-1))*ArcTan[Rt[-b, 2]*(x/Rt[-a, 2])
], x] /; FreeQ[{a, b}, x] && PosQ[a/b] && (LtQ[a, 0] || LtQ[b, 0])
Rule 212
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(1/(Rt[a, 2]*Rt[-b, 2]))*ArcTanh[Rt[-b, 2]*(x/Rt[a, 2])], x]
/; FreeQ[{a, b}, x] && NegQ[a/b] && (GtQ[a, 0] || LtQ[b, 0])
Rule 217
Int[((a_) + (b_.)*(x_)^4)^(-1), x_Symbol] :> With[{r = Numerator[Rt[a/b, 2]], s = Denominator[Rt[a/b, 2]]}, Di
st[1/(2*r), Int[(r - s*x^2)/(a + b*x^4), x], x] + Dist[1/(2*r), Int[(r + s*x^2)/(a + b*x^4), x], x]] /; FreeQ[
{a, b}, x] && (GtQ[a/b, 0] || (PosQ[a/b] && AtomQ[SplitProduct[SumBaseQ, a]] && AtomQ[SplitProduct[SumBaseQ, b
]]))
Rule 218
Int[((a_) + (b_.)*(x_)^4)^(-1), x_Symbol] :> With[{r = Numerator[Rt[-a/b, 2]], s = Denominator[Rt[-a/b, 2]]},
Dist[r/(2*a), Int[1/(r - s*x^2), x], x] + Dist[r/(2*a), Int[1/(r + s*x^2), x], x]] /; FreeQ[{a, b}, x] && !Gt
Q[a/b, 0]
Rule 385
Int[((a_) + (b_.)*(x_)^(n_))^(p_)/((c_) + (d_.)*(x_)^(n_)), x_Symbol] :> Subst[Int[1/(c - (b*c - a*d)*x^n), x]
, x, x/(a + b*x^n)^(1/n)] /; FreeQ[{a, b, c, d}, x] && NeQ[b*c - a*d, 0] && EqQ[n*p + 1, 0] && IntegerQ[n]
Rule 631
Int[((a_) + (b_.)*(x_) + (c_.)*(x_)^2)^(-1), x_Symbol] :> With[{q = 1 - 4*Simplify[a*(c/b^2)]}, Dist[-2/b, Sub
st[Int[1/(q - x^2), x], x, 1 + 2*c*(x/b)], x] /; RationalQ[q] && (EqQ[q^2, 1] || !RationalQ[b^2 - 4*a*c])] /;
FreeQ[{a, b, c}, x] && NeQ[b^2 - 4*a*c, 0]
Rule 642
Int[((d_) + (e_.)*(x_))/((a_.) + (b_.)*(x_) + (c_.)*(x_)^2), x_Symbol] :> Simp[d*(Log[RemoveContent[a + b*x +
c*x^2, x]]/b), x] /; FreeQ[{a, b, c, d, e}, x] && EqQ[2*c*d - b*e, 0]
Rule 1176
Int[((d_) + (e_.)*(x_)^2)/((a_) + (c_.)*(x_)^4), x_Symbol] :> With[{q = Rt[2*(d/e), 2]}, Dist[e/(2*c), Int[1/S
imp[d/e + q*x + x^2, x], x], x] + Dist[e/(2*c), Int[1/Simp[d/e - q*x + x^2, x], x], x]] /; FreeQ[{a, c, d, e},
x] && EqQ[c*d^2 - a*e^2, 0] && PosQ[d*e]
Rule 1179
Int[((d_) + (e_.)*(x_)^2)/((a_) + (c_.)*(x_)^4), x_Symbol] :> With[{q = Rt[-2*(d/e), 2]}, Dist[e/(2*c*q), Int[
(q - 2*x)/Simp[d/e + q*x - x^2, x], x], x] + Dist[e/(2*c*q), Int[(q + 2*x)/Simp[d/e - q*x - x^2, x], x], x]] /
; FreeQ[{a, c, d, e}, x] && EqQ[c*d^2 - a*e^2, 0] && NegQ[d*e]
Rule 1542
Int[(((f_.)*(x_))^(m_.)*((d_) + (e_.)*(x_)^(n_))^(q_))/((a_) + (c_.)*(x_)^(n2_.) + (b_.)*(x_)^(n_)), x_Symbol]
:> Int[ExpandIntegrand[(d + e*x^n)^q, (f*x)^m/(a + b*x^n + c*x^(2*n)), x], x] /; FreeQ[{a, b, c, d, e, f, q,
n}, x] && EqQ[n2, 2*n] && NeQ[b^2 - 4*a*c, 0] && IGtQ[n, 0] && !IntegerQ[q] && IntegerQ[m]
Rubi steps
\begin {align*} \int \frac {x^4}{\sqrt [4]{-1+x^4} \left (-1+2 x^4+x^8\right )} \, dx &=\int \left (\frac {1-\frac {1}{\sqrt {2}}}{\sqrt [4]{-1+x^4} \left (2-2 \sqrt {2}+2 x^4\right )}+\frac {1+\frac {1}{\sqrt {2}}}{\sqrt [4]{-1+x^4} \left (2+2 \sqrt {2}+2 x^4\right )}\right ) \, dx\\ &=\frac {1}{2} \left (2-\sqrt {2}\right ) \int \frac {1}{\sqrt [4]{-1+x^4} \left (2-2 \sqrt {2}+2 x^4\right )} \, dx+\frac {1}{2} \left (2+\sqrt {2}\right ) \int \frac {1}{\sqrt [4]{-1+x^4} \left (2+2 \sqrt {2}+2 x^4\right )} \, dx\\ &=\frac {1}{2} \left (2-\sqrt {2}\right ) \text {Subst}\left (\int \frac {1}{2-2 \sqrt {2}-\left (4-2 \sqrt {2}\right ) x^4} \, dx,x,\frac {x}{\sqrt [4]{-1+x^4}}\right )+\frac {1}{2} \left (2+\sqrt {2}\right ) \text {Subst}\left (\int \frac {1}{2+2 \sqrt {2}-\left (4+2 \sqrt {2}\right ) x^4} \, dx,x,\frac {x}{\sqrt [4]{-1+x^4}}\right )\\ &=\frac {\text {Subst}\left (\int \frac {1}{1-\sqrt [4]{2} x^2} \, dx,x,\frac {x}{\sqrt [4]{-1+x^4}}\right )}{4 \sqrt {2}}+\frac {\text {Subst}\left (\int \frac {1}{1+\sqrt [4]{2} x^2} \, dx,x,\frac {x}{\sqrt [4]{-1+x^4}}\right )}{4 \sqrt {2}}+\frac {1}{4} \left (2-\sqrt {2}\right ) \text {Subst}\left (\int \frac {1-\sqrt [4]{2} x^2}{2-2 \sqrt {2}+\left (-4+2 \sqrt {2}\right ) x^4} \, dx,x,\frac {x}{\sqrt [4]{-1+x^4}}\right )+\frac {1}{4} \left (2-\sqrt {2}\right ) \text {Subst}\left (\int \frac {1+\sqrt [4]{2} x^2}{2-2 \sqrt {2}+\left (-4+2 \sqrt {2}\right ) x^4} \, dx,x,\frac {x}{\sqrt [4]{-1+x^4}}\right )\\ &=\frac {\tan ^{-1}\left (\frac {\sqrt [8]{2} x}{\sqrt [4]{-1+x^4}}\right )}{4\ 2^{5/8}}+\frac {\tanh ^{-1}\left (\frac {\sqrt [8]{2} x}{\sqrt [4]{-1+x^4}}\right )}{4\ 2^{5/8}}+\frac {\text {Subst}\left (\int \frac {2^{3/8}+2 x}{-\frac {1}{\sqrt [4]{2}}-2^{3/8} x-x^2} \, dx,x,\frac {x}{\sqrt [4]{-1+x^4}}\right )}{16 \sqrt [8]{2}}+\frac {\text {Subst}\left (\int \frac {2^{3/8}-2 x}{-\frac {1}{\sqrt [4]{2}}+2^{3/8} x-x^2} \, dx,x,\frac {x}{\sqrt [4]{-1+x^4}}\right )}{16 \sqrt [8]{2}}+\frac {\left (1-\sqrt {2}\right ) \text {Subst}\left (\int \frac {1}{\frac {1}{\sqrt [4]{2}}-2^{3/8} x+x^2} \, dx,x,\frac {x}{\sqrt [4]{-1+x^4}}\right )}{8 \sqrt [4]{2} \left (2-\sqrt {2}\right )}+\frac {\left (1-\sqrt {2}\right ) \text {Subst}\left (\int \frac {1}{\frac {1}{\sqrt [4]{2}}+2^{3/8} x+x^2} \, dx,x,\frac {x}{\sqrt [4]{-1+x^4}}\right )}{8 \sqrt [4]{2} \left (2-\sqrt {2}\right )}\\ &=\frac {\tan ^{-1}\left (\frac {\sqrt [8]{2} x}{\sqrt [4]{-1+x^4}}\right )}{4\ 2^{5/8}}+\frac {\tanh ^{-1}\left (\frac {\sqrt [8]{2} x}{\sqrt [4]{-1+x^4}}\right )}{4\ 2^{5/8}}+\frac {\log \left (2^{3/8}+\frac {2^{5/8} x^2}{\sqrt {-1+x^4}}-\frac {2 x}{\sqrt [4]{-1+x^4}}\right )}{16 \sqrt [8]{2}}-\frac {\log \left (1+\frac {\sqrt [4]{2} x^2}{\sqrt {-1+x^4}}+\frac {2^{5/8} x}{\sqrt [4]{-1+x^4}}\right )}{16 \sqrt [8]{2}}+\frac {\left (1-\sqrt {2}\right ) \text {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1-\frac {2^{5/8} x}{\sqrt [4]{-1+x^4}}\right )}{4\ 2^{5/8} \left (2-\sqrt {2}\right )}-\frac {\left (1-\sqrt {2}\right ) \text {Subst}\left (\int \frac {1}{-1-x^2} \, dx,x,1+\frac {2^{5/8} x}{\sqrt [4]{-1+x^4}}\right )}{4\ 2^{5/8} \left (2-\sqrt {2}\right )}\\ &=\frac {\tan ^{-1}\left (\frac {\sqrt [8]{2} x}{\sqrt [4]{-1+x^4}}\right )}{4\ 2^{5/8}}-\frac {\left (1-\sqrt {2}\right ) \tan ^{-1}\left (1-\frac {2^{5/8} x}{\sqrt [4]{-1+x^4}}\right )}{4\ 2^{5/8} \left (2-\sqrt {2}\right )}+\frac {\left (1-\sqrt {2}\right ) \tan ^{-1}\left (1+\frac {2^{5/8} x}{\sqrt [4]{-1+x^4}}\right )}{4\ 2^{5/8} \left (2-\sqrt {2}\right )}+\frac {\tanh ^{-1}\left (\frac {\sqrt [8]{2} x}{\sqrt [4]{-1+x^4}}\right )}{4\ 2^{5/8}}+\frac {\log \left (2^{3/8}+\frac {2^{5/8} x^2}{\sqrt {-1+x^4}}-\frac {2 x}{\sqrt [4]{-1+x^4}}\right )}{16 \sqrt [8]{2}}-\frac {\log \left (1+\frac {\sqrt [4]{2} x^2}{\sqrt {-1+x^4}}+\frac {2^{5/8} x}{\sqrt [4]{-1+x^4}}\right )}{16 \sqrt [8]{2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.37, size = 142, normalized size = 0.93 \begin {gather*} \frac {2 \text {ArcTan}\left (\frac {\sqrt [8]{2} x}{\sqrt [4]{-1+x^4}}\right )+\sqrt {2} \text {ArcTan}\left (\frac {2^{5/8} x \sqrt [4]{-1+x^4}}{\sqrt [4]{2} x^2-\sqrt {-1+x^4}}\right )+2 \tanh ^{-1}\left (\frac {\sqrt [8]{2} x}{\sqrt [4]{-1+x^4}}\right )-\sqrt {2} \tanh ^{-1}\left (\frac {2\ 2^{3/8} x \sqrt [4]{-1+x^4}}{2 x^2+2^{3/4} \sqrt {-1+x^4}}\right )}{8\ 2^{5/8}} \end {gather*}
Antiderivative was successfully verified.
[In]
Integrate[x^4/((-1 + x^4)^(1/4)*(-1 + 2*x^4 + x^8)),x]
[Out]
(2*ArcTan[(2^(1/8)*x)/(-1 + x^4)^(1/4)] + Sqrt[2]*ArcTan[(2^(5/8)*x*(-1 + x^4)^(1/4))/(2^(1/4)*x^2 - Sqrt[-1 +
x^4])] + 2*ArcTanh[(2^(1/8)*x)/(-1 + x^4)^(1/4)] - Sqrt[2]*ArcTanh[(2*2^(3/8)*x*(-1 + x^4)^(1/4))/(2*x^2 + 2^
(3/4)*Sqrt[-1 + x^4])])/(8*2^(5/8))
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 9.75, size = 1963, normalized size = 12.91
| | |
| method |
result |
size |
| | |
| trager |
\(\text {Expression too large to display}\) |
\(1963\) |
| | |
|
|
|
|
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(x^4/(x^4-1)^(1/4)/(x^8+2*x^4-1),x,method=_RETURNVERBOSE)
[Out]
1/32*ln((-4*RootOf(_Z^8-8)^8*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)*x^4-(x^4-1)^(1/4)*RootOf
(_Z^8-8)^6*x^3+8*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)*RootOf(_Z^8-8)^4*x^4+RootOf(_Z^8-8)^
5*x^4-32*(x^4-1)^(1/2)*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)*RootOf(_Z^8-8)^2*x^2+64*(x^4-1
)^(1/4)*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)*RootOf(_Z^8-8)*x^3-8*RootOf(_Z^8-8)^4*RootOf(
-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)-2*RootOf(_Z^8-8)*x^4+4*(x^4-1)^(3/4)*x+2*RootOf(_Z^8-8))/(x^
4*RootOf(_Z^8-8)^4+2*x^4-2))*RootOf(_Z^8-8)^5-ln((-4*RootOf(_Z^8-8)^8*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^
8-8)^2+256*_Z^2)*x^4-(x^4-1)^(1/4)*RootOf(_Z^8-8)^6*x^3+8*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_
Z^2)*RootOf(_Z^8-8)^4*x^4+RootOf(_Z^8-8)^5*x^4-32*(x^4-1)^(1/2)*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2
+256*_Z^2)*RootOf(_Z^8-8)^2*x^2+64*(x^4-1)^(1/4)*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)*Root
Of(_Z^8-8)*x^3-8*RootOf(_Z^8-8)^4*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)-2*RootOf(_Z^8-8)*x^
4+4*(x^4-1)^(3/4)*x+2*RootOf(_Z^8-8))/(x^4*RootOf(_Z^8-8)^4+2*x^4-2))*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^
8-8)^2+256*_Z^2)-1/2*ln(-(-16*RootOf(_Z^8-8)^8*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)*x^4-Ro
otOf(_Z^8-8)^9*x^4-64*(x^4-1)^(1/2)*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)*RootOf(_Z^8-8)^6*
x^2-2*(x^4-1)^(1/2)*RootOf(_Z^8-8)^7*x^2+4*(x^4-1)^(1/4)*RootOf(_Z^8-8)^6*x^3+32*RootOf(-8*RootOf(_Z^8-8)^5*_Z
+RootOf(_Z^8-8)^2+256*_Z^2)*RootOf(_Z^8-8)^4*x^4+4*(x^4-1)^(3/4)*RootOf(_Z^8-8)^4*x+128*(x^4-1)^(1/2)*RootOf(-
8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)*RootOf(_Z^8-8)^2*x^2+8*(x^4-1)^(1/2)*RootOf(_Z^8-8)^3*x^2-8*(
x^4-1)^(1/4)*RootOf(_Z^8-8)^2*x^3+32*RootOf(_Z^8-8)^4*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)
+128*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)*x^4+2*RootOf(_Z^8-8)^5+4*RootOf(_Z^8-8)*x^4-16*(
x^4-1)^(3/4)*x-128*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)-4*RootOf(_Z^8-8))/(x^4*RootOf(_Z^8
-8)^4-2*x^4+2))*RootOf(_Z^8-8)^4*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)+1/16*ln(-(-16*RootOf
(_Z^8-8)^8*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)*x^4-RootOf(_Z^8-8)^9*x^4-64*(x^4-1)^(1/2)*
RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)*RootOf(_Z^8-8)^6*x^2-2*(x^4-1)^(1/2)*RootOf(_Z^8-8)^7
*x^2+4*(x^4-1)^(1/4)*RootOf(_Z^8-8)^6*x^3+32*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)*RootOf(_
Z^8-8)^4*x^4+4*(x^4-1)^(3/4)*RootOf(_Z^8-8)^4*x+128*(x^4-1)^(1/2)*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)
^2+256*_Z^2)*RootOf(_Z^8-8)^2*x^2+8*(x^4-1)^(1/2)*RootOf(_Z^8-8)^3*x^2-8*(x^4-1)^(1/4)*RootOf(_Z^8-8)^2*x^3+32
*RootOf(_Z^8-8)^4*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)+128*RootOf(-8*RootOf(_Z^8-8)^5*_Z+R
ootOf(_Z^8-8)^2+256*_Z^2)*x^4+2*RootOf(_Z^8-8)^5+4*RootOf(_Z^8-8)*x^4-16*(x^4-1)^(3/4)*x-128*RootOf(-8*RootOf(
_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)-4*RootOf(_Z^8-8))/(x^4*RootOf(_Z^8-8)^4-2*x^4+2))*RootOf(_Z^8-8)+1/16*
RootOf(_Z^8-8)*ln((RootOf(_Z^8-8)^9*x^4+4*(x^4-1)^(1/4)*RootOf(_Z^8-8)^6*x^3+2*RootOf(_Z^8-8)^5*x^4+8*(x^4-1)^
(1/2)*RootOf(_Z^8-8)^3*x^2-2*RootOf(_Z^8-8)^5+16*(x^4-1)^(3/4)*x)/(x^4*RootOf(_Z^8-8)^4-2*x^4+2))-RootOf(-8*Ro
otOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)*ln((-4*RootOf(_Z^8-8)^8*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8
-8)^2+256*_Z^2)*x^4+(x^4-1)^(1/2)*RootOf(_Z^8-8)^7*x^2+(x^4-1)^(1/4)*RootOf(_Z^8-8)^6*x^3+8*RootOf(-8*RootOf(_
Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)*RootOf(_Z^8-8)^4*x^4-32*(x^4-1)^(1/2)*RootOf(-8*RootOf(_Z^8-8)^5*_Z+Roo
tOf(_Z^8-8)^2+256*_Z^2)*RootOf(_Z^8-8)^2*x^2-64*(x^4-1)^(1/4)*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+2
56*_Z^2)*RootOf(_Z^8-8)*x^3-8*RootOf(_Z^8-8)^4*RootOf(-8*RootOf(_Z^8-8)^5*_Z+RootOf(_Z^8-8)^2+256*_Z^2)+4*(x^4
-1)^(3/4)*x)/(x^4*RootOf(_Z^8-8)^4+2*x^4-2))
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(x^4/(x^4-1)^(1/4)/(x^8+2*x^4-1),x, algorithm="maxima")
[Out]
integrate(x^4/((x^8 + 2*x^4 - 1)*(x^4 - 1)^(1/4)), x)
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 2047 vs.
\(2 (112) = 224\).
time = 7.52, size = 2047, normalized size = 13.47 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(x^4/(x^4-1)^(1/4)/(x^8+2*x^4-1),x, algorithm="fricas")
[Out]
-1/256*32^(7/8)*sqrt(2)*arctan(-1/32*(2080*x^16 - 3968*x^12 + 2112*x^8 - 128*x^4 - sqrt(2)*(32^(5/8)*sqrt(2)*(
151*x^16 - 392*x^12 + 254*x^8 - 8*x^4 - 1) + 128*(x^4 - 1)^(3/4)*(2^(3/4)*(25*x^13 - 26*x^9 - x^5) - 2*2^(1/4)
*(11*x^13 - 12*x^9 - x^5)) - 8*32^(1/8)*sqrt(2)*(189*x^16 - 418*x^12 + 236*x^8 - 2*x^4 - 1) + sqrt(x^4 - 1)*(3
2^(7/8)*sqrt(2)*(91*x^14 - 123*x^10 + 19*x^6 + x^2) - 8*32^(3/8)*sqrt(2)*(86*x^14 - 101*x^10 + 8*x^6 + x^2)) +
32*(28*x^15 - 6*x^11 - 24*x^7 - 2*x^3 + sqrt(2)*(3*x^15 - 27*x^11 + 27*x^7 + x^3))*(x^4 - 1)^(1/4))*sqrt((12*
2^(3/4)*(x^8 + 2*x^4 - 1) + (x^4 - 1)^(3/4)*(32^(7/8)*sqrt(2)*(x^5 + 2*x) + 4*32^(3/8)*sqrt(2)*(x^5 + 3*x)) +
32*(x^6 + 3*x^2 + sqrt(2)*(x^6 + 2*x^2))*sqrt(x^4 - 1) + 16*2^(1/4)*(x^8 + 2*x^4 - 1) + 2*(x^4 - 1)^(1/4)*(32^
(5/8)*sqrt(2)*(x^7 + 3*x^3) + 8*32^(1/8)*sqrt(2)*(x^7 + 2*x^3)))/(x^8 + 2*x^4 - 1)) - 8*(x^4 - 1)^(3/4)*(32^(5
/8)*sqrt(2)*(81*x^13 - 79*x^9 - 3*x^5 + x) - 8*32^(1/8)*sqrt(2)*(5*x^13 - 22*x^9 + 11*x^5)) + 512*sqrt(2)*(3*x
^16 - 5*x^12 + 3*x^8 - x^4) + 128*sqrt(x^4 - 1)*(2^(3/4)*(17*x^14 - 30*x^10 + 15*x^6) + 2^(1/4)*(31*x^14 - 33*
x^10 + 3*x^6 - x^2)) - 4*(x^4 - 1)^(1/4)*(32^(7/8)*sqrt(2)*(19*x^15 - 13*x^11 - 9*x^7 + 3*x^3) - 8*32^(3/8)*sq
rt(2)*(39*x^15 - 82*x^11 + 41*x^7)) + 32)/(383*x^16 - 772*x^12 + 382*x^8 + 4*x^4 - 1)) + 1/256*32^(7/8)*sqrt(2
)*arctan(-1/32*(2080*x^16 - 3968*x^12 + 2112*x^8 - 128*x^4 + sqrt(2)*(32^(5/8)*sqrt(2)*(151*x^16 - 392*x^12 +
254*x^8 - 8*x^4 - 1) - 128*(x^4 - 1)^(3/4)*(2^(3/4)*(25*x^13 - 26*x^9 - x^5) - 2*2^(1/4)*(11*x^13 - 12*x^9 - x
^5)) - 8*32^(1/8)*sqrt(2)*(189*x^16 - 418*x^12 + 236*x^8 - 2*x^4 - 1) + sqrt(x^4 - 1)*(32^(7/8)*sqrt(2)*(91*x^
14 - 123*x^10 + 19*x^6 + x^2) - 8*32^(3/8)*sqrt(2)*(86*x^14 - 101*x^10 + 8*x^6 + x^2)) - 32*(28*x^15 - 6*x^11
- 24*x^7 - 2*x^3 + sqrt(2)*(3*x^15 - 27*x^11 + 27*x^7 + x^3))*(x^4 - 1)^(1/4))*sqrt((12*2^(3/4)*(x^8 + 2*x^4 -
1) - (x^4 - 1)^(3/4)*(32^(7/8)*sqrt(2)*(x^5 + 2*x) + 4*32^(3/8)*sqrt(2)*(x^5 + 3*x)) + 32*(x^6 + 3*x^2 + sqrt
(2)*(x^6 + 2*x^2))*sqrt(x^4 - 1) + 16*2^(1/4)*(x^8 + 2*x^4 - 1) - 2*(x^4 - 1)^(1/4)*(32^(5/8)*sqrt(2)*(x^7 + 3
*x^3) + 8*32^(1/8)*sqrt(2)*(x^7 + 2*x^3)))/(x^8 + 2*x^4 - 1)) + 8*(x^4 - 1)^(3/4)*(32^(5/8)*sqrt(2)*(81*x^13 -
79*x^9 - 3*x^5 + x) - 8*32^(1/8)*sqrt(2)*(5*x^13 - 22*x^9 + 11*x^5)) + 512*sqrt(2)*(3*x^16 - 5*x^12 + 3*x^8 -
x^4) + 128*sqrt(x^4 - 1)*(2^(3/4)*(17*x^14 - 30*x^10 + 15*x^6) + 2^(1/4)*(31*x^14 - 33*x^10 + 3*x^6 - x^2)) +
4*(x^4 - 1)^(1/4)*(32^(7/8)*sqrt(2)*(19*x^15 - 13*x^11 - 9*x^7 + 3*x^3) - 8*32^(3/8)*sqrt(2)*(39*x^15 - 82*x^
11 + 41*x^7)) + 32)/(383*x^16 - 772*x^12 + 382*x^8 + 4*x^4 - 1)) - 1/1024*32^(7/8)*sqrt(2)*log(128*(12*2^(3/4)
*(x^8 + 2*x^4 - 1) + (x^4 - 1)^(3/4)*(32^(7/8)*sqrt(2)*(x^5 + 2*x) + 4*32^(3/8)*sqrt(2)*(x^5 + 3*x)) + 32*(x^6
+ 3*x^2 + sqrt(2)*(x^6 + 2*x^2))*sqrt(x^4 - 1) + 16*2^(1/4)*(x^8 + 2*x^4 - 1) + 2*(x^4 - 1)^(1/4)*(32^(5/8)*s
qrt(2)*(x^7 + 3*x^3) + 8*32^(1/8)*sqrt(2)*(x^7 + 2*x^3)))/(x^8 + 2*x^4 - 1)) + 1/1024*32^(7/8)*sqrt(2)*log(128
*(12*2^(3/4)*(x^8 + 2*x^4 - 1) - (x^4 - 1)^(3/4)*(32^(7/8)*sqrt(2)*(x^5 + 2*x) + 4*32^(3/8)*sqrt(2)*(x^5 + 3*x
)) + 32*(x^6 + 3*x^2 + sqrt(2)*(x^6 + 2*x^2))*sqrt(x^4 - 1) + 16*2^(1/4)*(x^8 + 2*x^4 - 1) - 2*(x^4 - 1)^(1/4)
*(32^(5/8)*sqrt(2)*(x^7 + 3*x^3) + 8*32^(1/8)*sqrt(2)*(x^7 + 2*x^3)))/(x^8 + 2*x^4 - 1)) - 1/128*32^(7/8)*arct
an(1/16*(sqrt(2)*(32^(5/8)*(7*x^8 - 6*x^4 + 1) + sqrt(x^4 - 1)*(32^(7/8)*(3*x^6 - x^2) + 8*32^(3/8)*(2*x^6 - x
^2)) + 8*32^(1/8)*(5*x^8 - 4*x^4 + 1))*sqrt(3*2^(3/4) - 4*2^(1/4)) + 4*(8*32^(1/8)*x^5 + 32^(5/8)*(x^5 - x))*(
x^4 - 1)^(3/4) + 2*(8*32^(3/8)*x^7 + 32^(7/8)*(x^7 - x^3))*(x^4 - 1)^(1/4))/(x^8 + 2*x^4 - 1)) + 1/512*32^(7/8
)*log((32^(7/8)*(x^8 + 1) + 32*(x^5 - sqrt(2)*x + x)*(x^4 - 1)^(3/4) - 4*sqrt(x^4 - 1)*(8*32^(1/8)*x^2 - 32^(5
/8)*(x^6 + x^2)) + 4*32^(3/8)*(x^8 - 2*x^4 - 1) - 32*(x^4 - 1)^(1/4)*(2^(3/4)*x^3 - 2^(1/4)*(x^7 + x^3)))/(x^8
+ 2*x^4 - 1)) - 1/512*32^(7/8)*log(-(32^(7/8)*(x^8 + 1) - 32*(x^5 - sqrt(2)*x + x)*(x^4 - 1)^(3/4) - 4*sqrt(x
^4 - 1)*(8*32^(1/8)*x^2 - 32^(5/8)*(x^6 + x^2)) + 4*32^(3/8)*(x^8 - 2*x^4 - 1) + 32*(x^4 - 1)^(1/4)*(2^(3/4)*x
^3 - 2^(1/4)*(x^7 + x^3)))/(x^8 + 2*x^4 - 1))
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {x^{4}}{\sqrt [4]{\left (x - 1\right ) \left (x + 1\right ) \left (x^{2} + 1\right )} \left (x^{8} + 2 x^{4} - 1\right )}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(x**4/(x**4-1)**(1/4)/(x**8+2*x**4-1),x)
[Out]
Integral(x**4/(((x - 1)*(x + 1)*(x**2 + 1))**(1/4)*(x**8 + 2*x**4 - 1)), 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(x^4/(x^4-1)^(1/4)/(x^8+2*x^4-1),x, algorithm="giac")
[Out]
integrate(x^4/((x^8 + 2*x^4 - 1)*(x^4 - 1)^(1/4)), x)
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {x^4}{{\left (x^4-1\right )}^{1/4}\,\left (x^8+2\,x^4-1\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(x^4/((x^4 - 1)^(1/4)*(2*x^4 + x^8 - 1)),x)
[Out]
int(x^4/((x^4 - 1)^(1/4)*(2*x^4 + x^8 - 1)), x)
________________________________________________________________________________________