3.29.47 \(\int \frac {1+x^3+x^6}{\sqrt [4]{x^3+x^5} (1-x^6)} \, dx\) [2847]
Optimal. Leaf size=291 \[ \frac {1}{3} \text {ArcTan}\left (\frac {x}{\sqrt [4]{x^3+x^5}}\right )+\frac {\text {ArcTan}\left (\frac {\sqrt [4]{2} x}{\sqrt [4]{x^3+x^5}}\right )}{2 \sqrt [4]{2}}-\frac {\text {ArcTan}\left (\frac {2^{3/4} x \sqrt [4]{x^3+x^5}}{\sqrt {2} x^2-\sqrt {x^3+x^5}}\right )}{6\ 2^{3/4}}+\frac {\text {ArcTan}\left (\frac {\sqrt {2} x \sqrt [4]{x^3+x^5}}{-x^2+\sqrt {x^3+x^5}}\right )}{\sqrt {2}}+\frac {1}{3} \tanh ^{-1}\left (\frac {x}{\sqrt [4]{x^3+x^5}}\right )+\frac {\tanh ^{-1}\left (\frac {\sqrt [4]{2} x}{\sqrt [4]{x^3+x^5}}\right )}{2 \sqrt [4]{2}}+\frac {\tanh ^{-1}\left (\frac {\frac {x^2}{\sqrt [4]{2}}+\frac {\sqrt {x^3+x^5}}{2^{3/4}}}{x \sqrt [4]{x^3+x^5}}\right )}{6\ 2^{3/4}}+\frac {\tanh ^{-1}\left (\frac {\frac {x^2}{\sqrt {2}}+\frac {\sqrt {x^3+x^5}}{\sqrt {2}}}{x \sqrt [4]{x^3+x^5}}\right )}{\sqrt {2}} \]
[Out]
1/3*arctan(x/(x^5+x^3)^(1/4))+1/4*arctan(2^(1/4)*x/(x^5+x^3)^(1/4))*2^(3/4)-1/12*arctan(2^(3/4)*x*(x^5+x^3)^(1
/4)/(x^2*2^(1/2)-(x^5+x^3)^(1/2)))*2^(1/4)+1/2*2^(1/2)*arctan(2^(1/2)*x*(x^5+x^3)^(1/4)/(-x^2+(x^5+x^3)^(1/2))
)+1/3*arctanh(x/(x^5+x^3)^(1/4))+1/4*arctanh(2^(1/4)*x/(x^5+x^3)^(1/4))*2^(3/4)+1/12*arctanh((1/2*x^2*2^(3/4)+
1/2*(x^5+x^3)^(1/2)*2^(1/4))/x/(x^5+x^3)^(1/4))*2^(1/4)+1/2*2^(1/2)*arctanh((1/2*x^2*2^(1/2)+1/2*(x^5+x^3)^(1/
2)*2^(1/2))/x/(x^5+x^3)^(1/4))
________________________________________________________________________________________
Rubi [F]
time = 180.01, antiderivative size = 0, normalized size of antiderivative = 0.00, number of steps
used = 0, number of rules used = 0, integrand size = 0, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.000, Rules used = {}
\begin {gather*} \text {\$Aborted} \end {gather*}
Verification is not applicable to the result.
[In]
Int[(1 + x^3 + x^6)/((x^3 + x^5)^(1/4)*(1 - x^6)),x]
[Out]
$Aborted
Rubi steps
Aborted
________________________________________________________________________________________
Mathematica [F]
time = 10.60, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {1+x^3+x^6}{\sqrt [4]{x^3+x^5} \left (1-x^6\right )} \, dx \end {gather*}
Verification is not applicable to the result.
[In]
Integrate[(1 + x^3 + x^6)/((x^3 + x^5)^(1/4)*(1 - x^6)),x]
[Out]
Integrate[(1 + x^3 + x^6)/((x^3 + x^5)^(1/4)*(1 - x^6)), x]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 27.54, size = 1434, normalized size = 4.93
| | |
method |
result |
size |
| | |
trager |
\(\text {Expression too large to display}\) |
\(1434\) |
| | |
|
|
|
Verification of antiderivative is not currently implemented for this CAS.
[In]
int((x^6+x^3+1)/(x^5+x^3)^(1/4)/(-x^6+1),x,method=_RETURNVERBOSE)
[Out]
1/24*RootOf(_Z^2+RootOf(_Z^4+8)^2)*ln(-(RootOf(_Z^4+8)^2*(x^5+x^3)^(1/2)*RootOf(_Z^2+RootOf(_Z^4+8)^2)*x+2*Roo
tOf(_Z^4+8)^2*(x^5+x^3)^(1/4)*x^2+RootOf(_Z^2+RootOf(_Z^4+8)^2)*x^4-2*RootOf(_Z^2+RootOf(_Z^4+8)^2)*x^3+RootOf
(_Z^2+RootOf(_Z^4+8)^2)*x^2+4*(x^5+x^3)^(3/4))/(1+x)^2/x^2)+1/24*RootOf(_Z^4+8)*ln((RootOf(_Z^4+8)^3*(x^5+x^3)
^(1/2)*x+2*RootOf(_Z^4+8)^2*(x^5+x^3)^(1/4)*x^2-RootOf(_Z^4+8)*x^4+2*RootOf(_Z^4+8)*x^3-RootOf(_Z^4+8)*x^2-4*(
x^5+x^3)^(3/4))/(1+x)^2/x^2)+1/32*ln(-(x^4*RootOf(_Z^4+8)^3-2*RootOf(_Z^4+8)^3*x^3+RootOf(_Z^4+8)^3*x^2+8*Root
Of(_Z^4+8)^2*(x^5+x^3)^(1/4)*x^2-16*(x^5+x^3)^(1/2)*RootOf(_Z^4+8)*x+16*(x^5+x^3)^(3/4))/(-1+x)^2/x^2)*RootOf(
_Z^4+8)^3+1/32*ln(-(x^4*RootOf(_Z^4+8)^3-2*RootOf(_Z^4+8)^3*x^3+RootOf(_Z^4+8)^3*x^2+8*RootOf(_Z^4+8)^2*(x^5+x
^3)^(1/4)*x^2-16*(x^5+x^3)^(1/2)*RootOf(_Z^4+8)*x+16*(x^5+x^3)^(3/4))/(-1+x)^2/x^2)*RootOf(_Z^4+8)^2*RootOf(_Z
^2+RootOf(_Z^4+8)^2)-1/16*RootOf(_Z^4+8)^2*RootOf(_Z^2+RootOf(_Z^4+8)^2)*ln((x^4*RootOf(_Z^4+8)^3-RootOf(_Z^2+
RootOf(_Z^4+8)^2)*RootOf(_Z^4+8)^2*x^4+2*RootOf(_Z^4+8)^3*x^3-2*RootOf(_Z^2+RootOf(_Z^4+8)^2)*RootOf(_Z^4+8)^2
*x^3+RootOf(_Z^4+8)^3*x^2-RootOf(_Z^2+RootOf(_Z^4+8)^2)*RootOf(_Z^4+8)^2*x^2+8*RootOf(_Z^4+8)*RootOf(_Z^2+Root
Of(_Z^4+8)^2)*(x^5+x^3)^(1/4)*x^2-8*(x^5+x^3)^(1/2)*RootOf(_Z^4+8)*x-8*RootOf(_Z^2+RootOf(_Z^4+8)^2)*(x^5+x^3)
^(1/2)*x+16*(x^5+x^3)^(3/4))/(-1+x)^2/x^2)-1/6*ln((-x^4+2*(x^5+x^3)^(3/4)-2*(x^5+x^3)^(1/2)*x+2*(x^5+x^3)^(1/4
)*x^2-x^3-x^2)/x^2/(x^2-x+1))-1/48*RootOf(_Z^4+8)^3*RootOf(_Z^2+RootOf(_Z^4+8)^2)*ln((-RootOf(_Z^2+RootOf(_Z^4
+8)^2)*RootOf(_Z^4+8)^3*x^4+2*RootOf(_Z^4+8)^3*(x^5+x^3)^(1/2)*RootOf(_Z^2+RootOf(_Z^4+8)^2)*x-RootOf(_Z^2+Roo
tOf(_Z^4+8)^2)*RootOf(_Z^4+8)^3*x^3-RootOf(_Z^2+RootOf(_Z^4+8)^2)*x^2*RootOf(_Z^4+8)^3+16*(x^5+x^3)^(3/4)-16*(
x^5+x^3)^(1/4)*x^2)/x^2/(x^2-x+1))+1/8*ln(-(-x^4*RootOf(_Z^4+8)^2+4*RootOf(_Z^4+8)^2*(x^5+x^3)^(1/2)*x-RootOf(
_Z^4+8)^2*x^3-x^2*RootOf(_Z^4+8)^2-8*(x^5+x^3)^(3/4)+8*(x^5+x^3)^(1/4)*x^2)/x^2/(x^2+x+1))*RootOf(_Z^4+8)^2-1/
8*ln(-(-x^4*RootOf(_Z^4+8)^2+4*RootOf(_Z^4+8)^2*(x^5+x^3)^(1/2)*x-RootOf(_Z^4+8)^2*x^3-x^2*RootOf(_Z^4+8)^2-8*
(x^5+x^3)^(3/4)+8*(x^5+x^3)^(1/4)*x^2)/x^2/(x^2+x+1))*RootOf(_Z^2+RootOf(_Z^4+8)^2)*RootOf(_Z^4+8)+1/4*RootOf(
_Z^2+RootOf(_Z^4+8)^2)*RootOf(_Z^4+8)*ln(-(RootOf(_Z^4+8)^3*RootOf(_Z^2+RootOf(_Z^4+8)^2)*(x^5+x^3)^(1/4)*x^2-
x^4*RootOf(_Z^4+8)^2-RootOf(_Z^2+RootOf(_Z^4+8)^2)*RootOf(_Z^4+8)*x^4+2*RootOf(_Z^4+8)^2*(x^5+x^3)^(1/2)*x+Roo
tOf(_Z^4+8)^2*x^3-2*RootOf(_Z^2+RootOf(_Z^4+8)^2)*RootOf(_Z^4+8)*(x^5+x^3)^(1/2)*x+RootOf(_Z^2+RootOf(_Z^4+8)^
2)*RootOf(_Z^4+8)*x^3-x^2*RootOf(_Z^4+8)^2-RootOf(_Z^2+RootOf(_Z^4+8)^2)*RootOf(_Z^4+8)*x^2-8*(x^5+x^3)^(3/4))
/x^2/(x^2+x+1))
________________________________________________________________________________________
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^6+x^3+1)/(x^5+x^3)^(1/4)/(-x^6+1),x, algorithm="maxima")
[Out]
-integrate((x^6 + x^3 + 1)/((x^6 - 1)*(x^5 + x^3)^(1/4)), x)
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 1837 vs.
\(2 (230) = 460\).
time = 23.46, size = 1837, normalized size = 6.31 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((x^6+x^3+1)/(x^5+x^3)^(1/4)/(-x^6+1),x, algorithm="fricas")
[Out]
-1/4*2^(3/4)*arctan(-1/2*(4*2^(3/4)*(x^5 + x^3)^(1/4)*x^2 - 2^(3/4)*(2*2^(3/4)*sqrt(x^5 + x^3)*x + 2^(1/4)*(x^
4 + 2*x^3 + x^2)) + 4*2^(1/4)*(x^5 + x^3)^(3/4))/(x^4 - 2*x^3 + x^2)) + 1/16*2^(3/4)*log((4*sqrt(2)*(x^5 + x^3
)^(1/4)*x^2 + 2^(3/4)*(x^4 + 2*x^3 + x^2) + 4*2^(1/4)*sqrt(x^5 + x^3)*x + 4*(x^5 + x^3)^(3/4))/(x^4 - 2*x^3 +
x^2)) - 1/16*2^(3/4)*log((4*sqrt(2)*(x^5 + x^3)^(1/4)*x^2 - 2^(3/4)*(x^4 + 2*x^3 + x^2) - 4*2^(1/4)*sqrt(x^5 +
x^3)*x + 4*(x^5 + x^3)^(3/4))/(x^4 - 2*x^3 + x^2)) - 1/2*sqrt(2)*arctan(-(x^6 + 2*x^5 + 3*x^4 + 2*x^3 + 2*sqr
t(2)*(x^5 + x^3)^(3/4)*(x^2 - 3*x + 1) + x^2 + 2*sqrt(2)*(x^5 + x^3)^(1/4)*(3*x^4 - x^3 + 3*x^2) + 4*sqrt(x^5
+ x^3)*(x^3 + x^2 + x) - (2*sqrt(2)*sqrt(x^5 + x^3)*(x^3 - 3*x^2 + x) + 16*(x^5 + x^3)^(3/4)*x + sqrt(2)*(x^6
- 8*x^5 + x^4 - 8*x^3 + x^2) + 4*(x^5 + x^3)^(1/4)*(x^4 + x^3 + x^2))*sqrt((x^4 + x^3 + 2*sqrt(2)*(x^5 + x^3)^
(1/4)*x^2 + x^2 + 4*sqrt(x^5 + x^3)*x + 2*sqrt(2)*(x^5 + x^3)^(3/4))/(x^4 + x^3 + x^2)))/(x^6 - 14*x^5 + 3*x^4
- 14*x^3 + x^2)) + 1/2*sqrt(2)*arctan(-(x^6 + 2*x^5 + 3*x^4 + 2*x^3 - 2*sqrt(2)*(x^5 + x^3)^(3/4)*(x^2 - 3*x
+ 1) + x^2 - 2*sqrt(2)*(x^5 + x^3)^(1/4)*(3*x^4 - x^3 + 3*x^2) + 4*sqrt(x^5 + x^3)*(x^3 + x^2 + x) + (2*sqrt(2
)*sqrt(x^5 + x^3)*(x^3 - 3*x^2 + x) - 16*(x^5 + x^3)^(3/4)*x + sqrt(2)*(x^6 - 8*x^5 + x^4 - 8*x^3 + x^2) - 4*(
x^5 + x^3)^(1/4)*(x^4 + x^3 + x^2))*sqrt((x^4 + x^3 - 2*sqrt(2)*(x^5 + x^3)^(1/4)*x^2 + x^2 + 4*sqrt(x^5 + x^3
)*x - 2*sqrt(2)*(x^5 + x^3)^(3/4))/(x^4 + x^3 + x^2)))/(x^6 - 14*x^5 + 3*x^4 - 14*x^3 + x^2)) + 1/8*sqrt(2)*lo
g(4*(x^4 + x^3 + 2*sqrt(2)*(x^5 + x^3)^(1/4)*x^2 + x^2 + 4*sqrt(x^5 + x^3)*x + 2*sqrt(2)*(x^5 + x^3)^(3/4))/(x
^4 + x^3 + x^2)) - 1/8*sqrt(2)*log(4*(x^4 + x^3 - 2*sqrt(2)*(x^5 + x^3)^(1/4)*x^2 + x^2 + 4*sqrt(x^5 + x^3)*x
- 2*sqrt(2)*(x^5 + x^3)^(3/4))/(x^4 + x^3 + x^2)) + 1/12*2^(1/4)*arctan(1/2*(2*x^6 + 8*x^5 + 12*x^4 + 8*x^3 +
4*2^(3/4)*(x^5 + x^3)^(3/4)*(x^2 - 6*x + 1) + 8*sqrt(2)*sqrt(x^5 + x^3)*(x^3 + 2*x^2 + x) + 2*x^2 + sqrt(2)*(3
2*sqrt(2)*(x^5 + x^3)^(3/4)*x + 2^(3/4)*(x^6 - 16*x^5 - 2*x^4 - 16*x^3 + x^2) + 4*2^(1/4)*sqrt(x^5 + x^3)*(x^3
- 6*x^2 + x) + 8*(x^5 + x^3)^(1/4)*(x^4 + 2*x^3 + x^2))*sqrt((4*2^(3/4)*(x^5 + x^3)^(1/4)*x^2 + sqrt(2)*(x^4
+ 2*x^3 + x^2) + 8*sqrt(x^5 + x^3)*x + 4*2^(1/4)*(x^5 + x^3)^(3/4))/(x^4 + 2*x^3 + x^2)) + 8*2^(1/4)*(x^5 + x^
3)^(1/4)*(3*x^4 - 2*x^3 + 3*x^2))/(x^6 - 28*x^5 + 6*x^4 - 28*x^3 + x^2)) - 1/12*2^(1/4)*arctan(1/2*(2*x^6 + 8*
x^5 + 12*x^4 + 8*x^3 - 4*2^(3/4)*(x^5 + x^3)^(3/4)*(x^2 - 6*x + 1) + 8*sqrt(2)*sqrt(x^5 + x^3)*(x^3 + 2*x^2 +
x) + 2*x^2 + sqrt(2)*(32*sqrt(2)*(x^5 + x^3)^(3/4)*x - 2^(3/4)*(x^6 - 16*x^5 - 2*x^4 - 16*x^3 + x^2) - 4*2^(1/
4)*sqrt(x^5 + x^3)*(x^3 - 6*x^2 + x) + 8*(x^5 + x^3)^(1/4)*(x^4 + 2*x^3 + x^2))*sqrt(-(4*2^(3/4)*(x^5 + x^3)^(
1/4)*x^2 - sqrt(2)*(x^4 + 2*x^3 + x^2) - 8*sqrt(x^5 + x^3)*x + 4*2^(1/4)*(x^5 + x^3)^(3/4))/(x^4 + 2*x^3 + x^2
)) - 8*2^(1/4)*(x^5 + x^3)^(1/4)*(3*x^4 - 2*x^3 + 3*x^2))/(x^6 - 28*x^5 + 6*x^4 - 28*x^3 + x^2)) + 1/48*2^(1/4
)*log(8*(4*2^(3/4)*(x^5 + x^3)^(1/4)*x^2 + sqrt(2)*(x^4 + 2*x^3 + x^2) + 8*sqrt(x^5 + x^3)*x + 4*2^(1/4)*(x^5
+ x^3)^(3/4))/(x^4 + 2*x^3 + x^2)) - 1/48*2^(1/4)*log(-8*(4*2^(3/4)*(x^5 + x^3)^(1/4)*x^2 - sqrt(2)*(x^4 + 2*x
^3 + x^2) - 8*sqrt(x^5 + x^3)*x + 4*2^(1/4)*(x^5 + x^3)^(3/4))/(x^4 + 2*x^3 + x^2)) + 1/6*arctan(2*((x^5 + x^3
)^(1/4)*x^2 + (x^5 + x^3)^(3/4))/(x^4 - x^3 + x^2)) + 1/6*log((x^4 + x^3 + 2*(x^5 + x^3)^(1/4)*x^2 + x^2 + 2*s
qrt(x^5 + x^3)*x + 2*(x^5 + x^3)^(3/4))/(x^4 - x^3 + x^2))
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} - \int \frac {x^{3}}{x^{6} \sqrt [4]{x^{5} + x^{3}} - \sqrt [4]{x^{5} + x^{3}}}\, dx - \int \frac {x^{6}}{x^{6} \sqrt [4]{x^{5} + x^{3}} - \sqrt [4]{x^{5} + x^{3}}}\, dx - \int \frac {1}{x^{6} \sqrt [4]{x^{5} + x^{3}} - \sqrt [4]{x^{5} + x^{3}}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate((x**6+x**3+1)/(x**5+x**3)**(1/4)/(-x**6+1),x)
[Out]
-Integral(x**3/(x**6*(x**5 + x**3)**(1/4) - (x**5 + x**3)**(1/4)), x) - Integral(x**6/(x**6*(x**5 + x**3)**(1/
4) - (x**5 + x**3)**(1/4)), x) - Integral(1/(x**6*(x**5 + x**3)**(1/4) - (x**5 + x**3)**(1/4)), 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^6+x^3+1)/(x^5+x^3)^(1/4)/(-x^6+1),x, algorithm="giac")
[Out]
integrate(-(x^6 + x^3 + 1)/((x^6 - 1)*(x^5 + x^3)^(1/4)), x)
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int -\frac {x^6+x^3+1}{{\left (x^5+x^3\right )}^{1/4}\,\left (x^6-1\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(-(x^3 + x^6 + 1)/((x^3 + x^5)^(1/4)*(x^6 - 1)),x)
[Out]
int(-(x^3 + x^6 + 1)/((x^3 + x^5)^(1/4)*(x^6 - 1)), x)
________________________________________________________________________________________