\(\int \frac {(-4+x^5) \sqrt [4]{1-2 x^4+x^5}}{x^2 (1+x^5)} \, dx\) [1937]

Optimal result

Integrand size = 30, antiderivative size = 135 \[ \int \frac {\left (-4+x^5\right ) \sqrt [4]{1-2 x^4+x^5}}{x^2 \left (1+x^5\right )} \, dx=\frac {4 \sqrt [4]{1-2 x^4+x^5}}{x}-2^{3/4} \arctan \left (\frac {2^{3/4} x \sqrt [4]{1-2 x^4+x^5}}{\sqrt {2} x^2-\sqrt {1-2 x^4+x^5}}\right )-2^{3/4} \text {arctanh}\left (\frac {2 \sqrt [4]{2} x \sqrt [4]{1-2 x^4+x^5}}{2 x^2+\sqrt {2} \sqrt {1-2 x^4+x^5}}\right ) \]

[Out]

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

Rubi [F]

\[ \int \frac {\left (-4+x^5\right ) \sqrt [4]{1-2 x^4+x^5}}{x^2 \left (1+x^5\right )} \, dx=\int \frac {\left (-4+x^5\right ) \sqrt [4]{1-2 x^4+x^5}}{x^2 \left (1+x^5\right )} \, dx \]

[In]

Int[((-4 + x^5)*(1 - 2*x^4 + x^5)^(1/4))/(x^2*(1 + x^5)),x]

[Out]

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

Rubi steps \begin{align*} \text {integral}& = \int \left (\frac {\sqrt [4]{1-2 x^4+x^5}}{-1-x}-\frac {4 \sqrt [4]{1-2 x^4+x^5}}{x^2}+\frac {\left (1-2 x+3 x^2+x^3\right ) \sqrt [4]{1-2 x^4+x^5}}{1-x+x^2-x^3+x^4}\right ) \, dx \\ & = -\left (4 \int \frac {\sqrt [4]{1-2 x^4+x^5}}{x^2} \, dx\right )+\int \frac {\sqrt [4]{1-2 x^4+x^5}}{-1-x} \, dx+\int \frac {\left (1-2 x+3 x^2+x^3\right ) \sqrt [4]{1-2 x^4+x^5}}{1-x+x^2-x^3+x^4} \, dx \\ & = -\left (4 \int \frac {\sqrt [4]{1-2 x^4+x^5}}{x^2} \, dx\right )+\int \frac {\sqrt [4]{1-2 x^4+x^5}}{-1-x} \, dx+\int \left (\frac {\sqrt [4]{1-2 x^4+x^5}}{1-x+x^2-x^3+x^4}-\frac {2 x \sqrt [4]{1-2 x^4+x^5}}{1-x+x^2-x^3+x^4}+\frac {3 x^2 \sqrt [4]{1-2 x^4+x^5}}{1-x+x^2-x^3+x^4}+\frac {x^3 \sqrt [4]{1-2 x^4+x^5}}{1-x+x^2-x^3+x^4}\right ) \, dx \\ & = -\left (2 \int \frac {x \sqrt [4]{1-2 x^4+x^5}}{1-x+x^2-x^3+x^4} \, dx\right )+3 \int \frac {x^2 \sqrt [4]{1-2 x^4+x^5}}{1-x+x^2-x^3+x^4} \, dx-4 \int \frac {\sqrt [4]{1-2 x^4+x^5}}{x^2} \, dx+\int \frac {\sqrt [4]{1-2 x^4+x^5}}{-1-x} \, dx+\int \frac {\sqrt [4]{1-2 x^4+x^5}}{1-x+x^2-x^3+x^4} \, dx+\int \frac {x^3 \sqrt [4]{1-2 x^4+x^5}}{1-x+x^2-x^3+x^4} \, dx \\ \end{align*}

Mathematica [A] (verified)

Time = 1.14 (sec) , antiderivative size = 135, normalized size of antiderivative = 1.00 \[ \int \frac {\left (-4+x^5\right ) \sqrt [4]{1-2 x^4+x^5}}{x^2 \left (1+x^5\right )} \, dx=\frac {4 \sqrt [4]{1-2 x^4+x^5}}{x}-2^{3/4} \arctan \left (\frac {2^{3/4} x \sqrt [4]{1-2 x^4+x^5}}{\sqrt {2} x^2-\sqrt {1-2 x^4+x^5}}\right )-2^{3/4} \text {arctanh}\left (\frac {2 \sqrt [4]{2} x \sqrt [4]{1-2 x^4+x^5}}{2 x^2+\sqrt {2} \sqrt {1-2 x^4+x^5}}\right ) \]

[In]

Integrate[((-4 + x^5)*(1 - 2*x^4 + x^5)^(1/4))/(x^2*(1 + x^5)),x]

[Out]

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

Maple [A] (verified)

Time = 51.30 (sec) , antiderivative size = 166, normalized size of antiderivative = 1.23

method	result	size
pseudoelliptic	\(\frac {-\ln \left (\frac {\left (x^{5}-2 x^{4}+1\right )^{\frac {1}{4}} 2^{\frac {3}{4}} x +\sqrt {2}\, x^{2}+\sqrt {x^{5}-2 x^{4}+1}}{-\left (x^{5}-2 x^{4}+1\right )^{\frac {1}{4}} 2^{\frac {3}{4}} x +\sqrt {2}\, x^{2}+\sqrt {x^{5}-2 x^{4}+1}}\right ) 2^{\frac {3}{4}} x -2 \arctan \left (\frac {2^{\frac {1}{4}} \left (x^{5}-2 x^{4}+1\right )^{\frac {1}{4}}+x}{x}\right ) 2^{\frac {3}{4}} x -2 \arctan \left (\frac {2^{\frac {1}{4}} \left (x^{5}-2 x^{4}+1\right )^{\frac {1}{4}}-x}{x}\right ) 2^{\frac {3}{4}} x +8 \left (x^{5}-2 x^{4}+1\right )^{\frac {1}{4}}}{2 x}\)	\(166\)
trager	\(\frac {4 \left (x^{5}-2 x^{4}+1\right )^{\frac {1}{4}}}{x}-\operatorname {RootOf}\left (\textit {\_Z}^{2}+\operatorname {RootOf}\left (\textit {\_Z}^{4}+2\right )^{2}\right ) \ln \left (-\frac {-\operatorname {RootOf}\left (\textit {\_Z}^{2}+\operatorname {RootOf}\left (\textit {\_Z}^{4}+2\right )^{2}\right ) \operatorname {RootOf}\left (\textit {\_Z}^{4}+2\right )^{2} x^{5}+4 \operatorname {RootOf}\left (\textit {\_Z}^{2}+\operatorname {RootOf}\left (\textit {\_Z}^{4}+2\right )^{2}\right ) \operatorname {RootOf}\left (\textit {\_Z}^{4}+2\right )^{2} x^{4}+4 \operatorname {RootOf}\left (\textit {\_Z}^{4}+2\right )^{2} \left (x^{5}-2 x^{4}+1\right )^{\frac {1}{4}} x^{3}-4 \sqrt {x^{5}-2 x^{4}+1}\, \operatorname {RootOf}\left (\textit {\_Z}^{2}+\operatorname {RootOf}\left (\textit {\_Z}^{4}+2\right )^{2}\right ) x^{2}-4 \left (x^{5}-2 x^{4}+1\right )^{\frac {3}{4}} x -\operatorname {RootOf}\left (\textit {\_Z}^{4}+2\right )^{2} \operatorname {RootOf}\left (\textit {\_Z}^{2}+\operatorname {RootOf}\left (\textit {\_Z}^{4}+2\right )^{2}\right )}{\left (1+x \right ) \left (x^{4}-x^{3}+x^{2}-x +1\right )}\right )-\operatorname {RootOf}\left (\textit {\_Z}^{4}+2\right ) \ln \left (-\frac {\operatorname {RootOf}\left (\textit {\_Z}^{4}+2\right )^{3} x^{5}-4 \operatorname {RootOf}\left (\textit {\_Z}^{4}+2\right )^{3} x^{4}-4 \operatorname {RootOf}\left (\textit {\_Z}^{4}+2\right )^{2} \left (x^{5}-2 x^{4}+1\right )^{\frac {1}{4}} x^{3}-4 \operatorname {RootOf}\left (\textit {\_Z}^{4}+2\right ) \sqrt {x^{5}-2 x^{4}+1}\, x^{2}-4 \left (x^{5}-2 x^{4}+1\right )^{\frac {3}{4}} x +\operatorname {RootOf}\left (\textit {\_Z}^{4}+2\right )^{3}}{\left (1+x \right ) \left (x^{4}-x^{3}+x^{2}-x +1\right )}\right )\)	\(337\)
risch	\(\text {Expression too large to display}\)	\(1650\)

[In]

int((x^5-4)*(x^5-2*x^4+1)^(1/4)/x^2/(x^5+1),x,method=_RETURNVERBOSE)

[Out]

1/2*(-ln(((x^5-2*x^4+1)^(1/4)*2^(3/4)*x+2^(1/2)*x^2+(x^5-2*x^4+1)^(1/2))/(-(x^5-2*x^4+1)^(1/4)*2^(3/4)*x+2^(1/
2)*x^2+(x^5-2*x^4+1)^(1/2)))*2^(3/4)*x-2*arctan((2^(1/4)*(x^5-2*x^4+1)^(1/4)+x)/x)*2^(3/4)*x-2*arctan((2^(1/4)
*(x^5-2*x^4+1)^(1/4)-x)/x)*2^(3/4)*x+8*(x^5-2*x^4+1)^(1/4))/x

Fricas [C] (verification not implemented)

Result contains complex when optimal does not.

Time = 59.86 (sec) , antiderivative size = 364, normalized size of antiderivative = 2.70 \[ \int \frac {\left (-4+x^5\right ) \sqrt [4]{1-2 x^4+x^5}}{x^2 \left (1+x^5\right )} \, dx=-\frac {\left (-2\right )^{\frac {1}{4}} x \log \left (\frac {4 \, \sqrt {-2} {\left (x^{5} - 2 \, x^{4} + 1\right )}^{\frac {1}{4}} x^{3} + 4 \, \left (-2\right )^{\frac {1}{4}} \sqrt {x^{5} - 2 \, x^{4} + 1} x^{2} - \left (-2\right )^{\frac {3}{4}} {\left (x^{5} - 4 \, x^{4} + 1\right )} + 4 \, {\left (x^{5} - 2 \, x^{4} + 1\right )}^{\frac {3}{4}} x}{x^{5} + 1}\right ) - i \, \left (-2\right )^{\frac {1}{4}} x \log \left (-\frac {4 \, \sqrt {-2} {\left (x^{5} - 2 \, x^{4} + 1\right )}^{\frac {1}{4}} x^{3} + 4 i \, \left (-2\right )^{\frac {1}{4}} \sqrt {x^{5} - 2 \, x^{4} + 1} x^{2} + i \, \left (-2\right )^{\frac {3}{4}} {\left (x^{5} - 4 \, x^{4} + 1\right )} - 4 \, {\left (x^{5} - 2 \, x^{4} + 1\right )}^{\frac {3}{4}} x}{x^{5} + 1}\right ) + i \, \left (-2\right )^{\frac {1}{4}} x \log \left (-\frac {4 \, \sqrt {-2} {\left (x^{5} - 2 \, x^{4} + 1\right )}^{\frac {1}{4}} x^{3} - 4 i \, \left (-2\right )^{\frac {1}{4}} \sqrt {x^{5} - 2 \, x^{4} + 1} x^{2} - i \, \left (-2\right )^{\frac {3}{4}} {\left (x^{5} - 4 \, x^{4} + 1\right )} - 4 \, {\left (x^{5} - 2 \, x^{4} + 1\right )}^{\frac {3}{4}} x}{x^{5} + 1}\right ) - \left (-2\right )^{\frac {1}{4}} x \log \left (\frac {4 \, \sqrt {-2} {\left (x^{5} - 2 \, x^{4} + 1\right )}^{\frac {1}{4}} x^{3} - 4 \, \left (-2\right )^{\frac {1}{4}} \sqrt {x^{5} - 2 \, x^{4} + 1} x^{2} + \left (-2\right )^{\frac {3}{4}} {\left (x^{5} - 4 \, x^{4} + 1\right )} + 4 \, {\left (x^{5} - 2 \, x^{4} + 1\right )}^{\frac {3}{4}} x}{x^{5} + 1}\right ) - 8 \, {\left (x^{5} - 2 \, x^{4} + 1\right )}^{\frac {1}{4}}}{2 \, x} \]

[In]

integrate((x^5-4)*(x^5-2*x^4+1)^(1/4)/x^2/(x^5+1),x, algorithm="fricas")

[Out]

-1/2*((-2)^(1/4)*x*log((4*sqrt(-2)*(x^5 - 2*x^4 + 1)^(1/4)*x^3 + 4*(-2)^(1/4)*sqrt(x^5 - 2*x^4 + 1)*x^2 - (-2)
^(3/4)*(x^5 - 4*x^4 + 1) + 4*(x^5 - 2*x^4 + 1)^(3/4)*x)/(x^5 + 1)) - I*(-2)^(1/4)*x*log(-(4*sqrt(-2)*(x^5 - 2*
x^4 + 1)^(1/4)*x^3 + 4*I*(-2)^(1/4)*sqrt(x^5 - 2*x^4 + 1)*x^2 + I*(-2)^(3/4)*(x^5 - 4*x^4 + 1) - 4*(x^5 - 2*x^
4 + 1)^(3/4)*x)/(x^5 + 1)) + I*(-2)^(1/4)*x*log(-(4*sqrt(-2)*(x^5 - 2*x^4 + 1)^(1/4)*x^3 - 4*I*(-2)^(1/4)*sqrt
(x^5 - 2*x^4 + 1)*x^2 - I*(-2)^(3/4)*(x^5 - 4*x^4 + 1) - 4*(x^5 - 2*x^4 + 1)^(3/4)*x)/(x^5 + 1)) - (-2)^(1/4)*
x*log((4*sqrt(-2)*(x^5 - 2*x^4 + 1)^(1/4)*x^3 - 4*(-2)^(1/4)*sqrt(x^5 - 2*x^4 + 1)*x^2 + (-2)^(3/4)*(x^5 - 4*x
^4 + 1) + 4*(x^5 - 2*x^4 + 1)^(3/4)*x)/(x^5 + 1)) - 8*(x^5 - 2*x^4 + 1)^(1/4))/x

Sympy [F]

\[ \int \frac {\left (-4+x^5\right ) \sqrt [4]{1-2 x^4+x^5}}{x^2 \left (1+x^5\right )} \, dx=\int \frac {\sqrt [4]{\left (x - 1\right ) \left (x^{4} - x^{3} - x^{2} - x - 1\right )} \left (x^{5} - 4\right )}{x^{2} \left (x + 1\right ) \left (x^{4} - x^{3} + x^{2} - x + 1\right )}\, dx \]

[In]

integrate((x**5-4)*(x**5-2*x**4+1)**(1/4)/x**2/(x**5+1),x)

[Out]

Integral(((x - 1)*(x**4 - x**3 - x**2 - x - 1))**(1/4)*(x**5 - 4)/(x**2*(x + 1)*(x**4 - x**3 + x**2 - x + 1)),
x)

Maxima [F]

\[ \int \frac {\left (-4+x^5\right ) \sqrt [4]{1-2 x^4+x^5}}{x^2 \left (1+x^5\right )} \, dx=\int { \frac {{\left (x^{5} - 2 \, x^{4} + 1\right )}^{\frac {1}{4}} {\left (x^{5} - 4\right )}}{{\left (x^{5} + 1\right )} x^{2}} \,d x } \]

[In]

integrate((x^5-4)*(x^5-2*x^4+1)^(1/4)/x^2/(x^5+1),x, algorithm="maxima")

[Out]

integrate((x^5 - 2*x^4 + 1)^(1/4)*(x^5 - 4)/((x^5 + 1)*x^2), x)

Giac [F]

\[ \int \frac {\left (-4+x^5\right ) \sqrt [4]{1-2 x^4+x^5}}{x^2 \left (1+x^5\right )} \, dx=\int { \frac {{\left (x^{5} - 2 \, x^{4} + 1\right )}^{\frac {1}{4}} {\left (x^{5} - 4\right )}}{{\left (x^{5} + 1\right )} x^{2}} \,d x } \]

[In]

integrate((x^5-4)*(x^5-2*x^4+1)^(1/4)/x^2/(x^5+1),x, algorithm="giac")

[Out]

integrate((x^5 - 2*x^4 + 1)^(1/4)*(x^5 - 4)/((x^5 + 1)*x^2), x)

Mupad [F(-1)]

Timed out. \[ \int \frac {\left (-4+x^5\right ) \sqrt [4]{1-2 x^4+x^5}}{x^2 \left (1+x^5\right )} \, dx=\int \frac {\left (x^5-4\right )\,{\left (x^5-2\,x^4+1\right )}^{1/4}}{x^2\,\left (x^5+1\right )} \,d x \]

[In]

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

[Out]

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