3.13.86 \(\int \frac {(-1+2 x) (2-x+x^2) \sqrt {-2+x^2-2 x^3+x^4}}{3-2 x+2 x^2} \, dx\) [1286]

Optimal. Leaf size=93 \[ \frac {1}{4} \left (1-x+x^2\right ) \sqrt {-2+x^2-2 x^3+x^4}-\frac {1}{4} \tanh ^{-1}\left (3-2 x+2 x^2+2 \sqrt {-2+x^2-2 x^3+x^4}\right )-\frac {7}{8} \log \left (-x+x^2+\sqrt {-2+x^2-2 x^3+x^4}\right ) \]

[Out]

1/4*(x^2-x+1)*(x^4-2*x^3+x^2-2)^(1/2)-1/4*arctanh(3-2*x+2*x^2+2*(x^4-2*x^3+x^2-2)^(1/2))-7/8*ln(-x+x^2+(x^4-2*
x^3+x^2-2)^(1/2))

________________________________________________________________________________________

Rubi [F]
time = 1.13, 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*} \int \frac {(-1+2 x) \left (2-x+x^2\right ) \sqrt {-2+x^2-2 x^3+x^4}}{3-2 x+2 x^2} \, dx \end {gather*}

Verification is not applicable to the result.

[In]

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

[Out]

-1/4*((1 - x)*x*Sqrt[-2 + x^2 - 2*x^3 + x^4]) + ArcTanh[((1 - x)*x)/Sqrt[-2 + x^2 - 2*x^3 + x^4]]/2 + Defer[In
t][Sqrt[-2 + x^2 - 2*x^3 + x^4]/(-2 - (2*I)*Sqrt[5] + 4*x), x] + Defer[Int][Sqrt[-2 + x^2 - 2*x^3 + x^4]/(-2 +
(2*I)*Sqrt[5] + 4*x), x]

Rubi steps

\begin {align*} \int \frac {(-1+2 x) \left (2-x+x^2\right ) \sqrt {-2+x^2-2 x^3+x^4}}{3-2 x+2 x^2} \, dx &=\int \left (-\frac {1}{2} \sqrt {-2+x^2-2 x^3+x^4}+x \sqrt {-2+x^2-2 x^3+x^4}-\frac {(1-2 x) \sqrt {-2+x^2-2 x^3+x^4}}{2 \left (3-2 x+2 x^2\right )}\right ) \, dx\\ &=-\left (\frac {1}{2} \int \sqrt {-2+x^2-2 x^3+x^4} \, dx\right )-\frac {1}{2} \int \frac {(1-2 x) \sqrt {-2+x^2-2 x^3+x^4}}{3-2 x+2 x^2} \, dx+\int x \sqrt {-2+x^2-2 x^3+x^4} \, dx\\ &=-\left (\frac {1}{2} \int \left (-\frac {2 \sqrt {-2+x^2-2 x^3+x^4}}{-2-2 i \sqrt {5}+4 x}-\frac {2 \sqrt {-2+x^2-2 x^3+x^4}}{-2+2 i \sqrt {5}+4 x}\right ) \, dx\right )-\frac {1}{2} \text {Subst}\left (\int \sqrt {-\frac {31}{16}-\frac {x^2}{2}+x^4} \, dx,x,-\frac {1}{2}+x\right )+\text {Subst}\left (\int \left (\frac {1}{2}+x\right ) \sqrt {-\frac {31}{16}-\frac {x^2}{2}+x^4} \, dx,x,-\frac {1}{2}+x\right )\\ &=\frac {1}{12} (1-2 x) \sqrt {-2+x^2-2 x^3+x^4}-\frac {1}{6} \text {Subst}\left (\int \frac {-\frac {31}{8}-\frac {x^2}{2}}{\sqrt {-\frac {31}{16}-\frac {x^2}{2}+x^4}} \, dx,x,-\frac {1}{2}+x\right )+\int \frac {\sqrt {-2+x^2-2 x^3+x^4}}{-2-2 i \sqrt {5}+4 x} \, dx+\int \frac {\sqrt {-2+x^2-2 x^3+x^4}}{-2+2 i \sqrt {5}+4 x} \, dx+\text {Subst}\left (\int \frac {1}{2} \sqrt {-\frac {31}{16}-\frac {x^2}{2}+x^4} \, dx,x,-\frac {1}{2}+x\right )+\text {Subst}\left (\int x \sqrt {-\frac {31}{16}-\frac {x^2}{2}+x^4} \, dx,x,-\frac {1}{2}+x\right )\\ &=\frac {1}{12} (1-2 x) \sqrt {-2+x^2-2 x^3+x^4}+\frac {1}{24} \text {Subst}\left (\int \frac {-\frac {1}{2}-2 \sqrt {2}+2 x^2}{\sqrt {-\frac {31}{16}-\frac {x^2}{2}+x^4}} \, dx,x,-\frac {1}{2}+x\right )+\frac {1}{2} \text {Subst}\left (\int \sqrt {-\frac {31}{16}-\frac {x}{2}+x^2} \, dx,x,\left (-\frac {1}{2}+x\right )^2\right )+\frac {1}{2} \text {Subst}\left (\int \sqrt {-\frac {31}{16}-\frac {x^2}{2}+x^4} \, dx,x,-\frac {1}{2}+x\right )+\frac {1}{12} \left (8+\sqrt {2}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {-\frac {31}{16}-\frac {x^2}{2}+x^4}} \, dx,x,-\frac {1}{2}+x\right )+\int \frac {\sqrt {-2+x^2-2 x^3+x^4}}{-2-2 i \sqrt {5}+4 x} \, dx+\int \frac {\sqrt {-2+x^2-2 x^3+x^4}}{-2+2 i \sqrt {5}+4 x} \, dx\\ &=-\frac {(1-2 x) \left (\sqrt {2}-x+x^2\right )}{24 \sqrt {-2+x^2-2 x^3+x^4}}-\frac {1}{4} (1-x) x \sqrt {-2+x^2-2 x^3+x^4}+\frac {\sqrt {-31-\left (1-4 \sqrt {2}\right ) (1-2 x)^2} \sqrt {\frac {31+\left (1+4 \sqrt {2}\right ) (1-2 x)^2}{31+\left (1-4 \sqrt {2}\right ) (1-2 x)^2}} E\left (\sin ^{-1}\left (\frac {2\ 2^{3/4} (1-2 x)}{\sqrt {-31-\left (1-4 \sqrt {2}\right ) (1-2 x)^2}}\right )|\frac {1}{16} \left (8-\sqrt {2}\right )\right )}{24 \sqrt [4]{2} \sqrt {31} \sqrt {\frac {1}{31+\left (1-4 \sqrt {2}\right ) (1-2 x)^2}} \sqrt {-2+x^2-2 x^3+x^4}}-\frac {\left (1+4 \sqrt {2}\right ) \sqrt {-31-\left (1-4 \sqrt {2}\right ) (1-2 x)^2} \sqrt {\frac {31+\left (1+4 \sqrt {2}\right ) (1-2 x)^2}{31+\left (1-4 \sqrt {2}\right ) (1-2 x)^2}} F\left (\sin ^{-1}\left (\frac {2\ 2^{3/4} (1-2 x)}{\sqrt {-31-\left (1-4 \sqrt {2}\right ) (1-2 x)^2}}\right )|\frac {1}{16} \left (8-\sqrt {2}\right )\right )}{48 \sqrt [4]{2} \sqrt {31} \sqrt {\frac {1}{31+\left (1-4 \sqrt {2}\right ) (1-2 x)^2}} \sqrt {-2+x^2-2 x^3+x^4}}+\frac {1}{6} \text {Subst}\left (\int \frac {-\frac {31}{8}-\frac {x^2}{2}}{\sqrt {-\frac {31}{16}-\frac {x^2}{2}+x^4}} \, dx,x,-\frac {1}{2}+x\right )-\frac {1}{2} \text {Subst}\left (\int \frac {1}{\sqrt {-\frac {31}{16}-\frac {x}{2}+x^2}} \, dx,x,\left (-\frac {1}{2}+x\right )^2\right )+\int \frac {\sqrt {-2+x^2-2 x^3+x^4}}{-2-2 i \sqrt {5}+4 x} \, dx+\int \frac {\sqrt {-2+x^2-2 x^3+x^4}}{-2+2 i \sqrt {5}+4 x} \, dx\\ &=-\frac {(1-2 x) \left (\sqrt {2}-x+x^2\right )}{24 \sqrt {-2+x^2-2 x^3+x^4}}-\frac {1}{4} (1-x) x \sqrt {-2+x^2-2 x^3+x^4}+\frac {\sqrt {-31-\left (1-4 \sqrt {2}\right ) (1-2 x)^2} \sqrt {\frac {31+\left (1+4 \sqrt {2}\right ) (1-2 x)^2}{31+\left (1-4 \sqrt {2}\right ) (1-2 x)^2}} E\left (\sin ^{-1}\left (\frac {2\ 2^{3/4} (1-2 x)}{\sqrt {-31-\left (1-4 \sqrt {2}\right ) (1-2 x)^2}}\right )|\frac {1}{16} \left (8-\sqrt {2}\right )\right )}{24 \sqrt [4]{2} \sqrt {31} \sqrt {\frac {1}{31+\left (1-4 \sqrt {2}\right ) (1-2 x)^2}} \sqrt {-2+x^2-2 x^3+x^4}}-\frac {\left (1+4 \sqrt {2}\right ) \sqrt {-31-\left (1-4 \sqrt {2}\right ) (1-2 x)^2} \sqrt {\frac {31+\left (1+4 \sqrt {2}\right ) (1-2 x)^2}{31+\left (1-4 \sqrt {2}\right ) (1-2 x)^2}} F\left (\sin ^{-1}\left (\frac {2\ 2^{3/4} (1-2 x)}{\sqrt {-31-\left (1-4 \sqrt {2}\right ) (1-2 x)^2}}\right )|\frac {1}{16} \left (8-\sqrt {2}\right )\right )}{48 \sqrt [4]{2} \sqrt {31} \sqrt {\frac {1}{31+\left (1-4 \sqrt {2}\right ) (1-2 x)^2}} \sqrt {-2+x^2-2 x^3+x^4}}-\frac {1}{24} \text {Subst}\left (\int \frac {-\frac {1}{2}-2 \sqrt {2}+2 x^2}{\sqrt {-\frac {31}{16}-\frac {x^2}{2}+x^4}} \, dx,x,-\frac {1}{2}+x\right )-\frac {1}{12} \left (8+\sqrt {2}\right ) \text {Subst}\left (\int \frac {1}{\sqrt {-\frac {31}{16}-\frac {x^2}{2}+x^4}} \, dx,x,-\frac {1}{2}+x\right )+\int \frac {\sqrt {-2+x^2-2 x^3+x^4}}{-2-2 i \sqrt {5}+4 x} \, dx+\int \frac {\sqrt {-2+x^2-2 x^3+x^4}}{-2+2 i \sqrt {5}+4 x} \, dx-\text {Subst}\left (\int \frac {1}{4-x^2} \, dx,x,\frac {2 (-1+x) x}{\sqrt {-2+x^2-2 x^3+x^4}}\right )\\ &=-\frac {1}{4} (1-x) x \sqrt {-2+x^2-2 x^3+x^4}-\frac {1}{2} \tanh ^{-1}\left (\frac {(-1+x) x}{\sqrt {-2+x^2-2 x^3+x^4}}\right )+\int \frac {\sqrt {-2+x^2-2 x^3+x^4}}{-2-2 i \sqrt {5}+4 x} \, dx+\int \frac {\sqrt {-2+x^2-2 x^3+x^4}}{-2+2 i \sqrt {5}+4 x} \, dx\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.20, size = 95, normalized size = 1.02 \begin {gather*} \frac {1}{4} \left (1-x+x^2\right ) \sqrt {-2+x^2-2 x^3+x^4}-\frac {7}{8} \tanh ^{-1}\left (\frac {\sqrt {-2+x^2-2 x^3+x^4}}{(-1+x) x}\right )-\frac {1}{4} \tanh ^{-1}\left (3-2 x+2 x^2+2 \sqrt {-2+x^2-2 x^3+x^4}\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

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

[Out]

((1 - x + x^2)*Sqrt[-2 + x^2 - 2*x^3 + x^4])/4 - (7*ArcTanh[Sqrt[-2 + x^2 - 2*x^3 + x^4]/((-1 + x)*x)])/8 - Ar
cTanh[3 - 2*x + 2*x^2 + 2*Sqrt[-2 + x^2 - 2*x^3 + x^4]]/4

________________________________________________________________________________________

Maple [C] Result contains higher order function than in optimal. Order 4 vs. order 3.
time = 3.18, size = 3475, normalized size = 37.37

method	result	size
trager	\(\left (\frac {1}{4}-\frac {1}{4} x +\frac {1}{4} x^{2}\right ) \sqrt {x^{4}-2 x^{3}+x^{2}-2}+\frac {\ln \left (-\frac {1-14 x -872 x^{12}-240 x^{14}+560 x^{13}+864 x^{11}-2 x \sqrt {x^{4}-2 x^{3}+x^{2}-2}-8 x^{16}+64 x^{15}-2 \sqrt {x^{4}-2 x^{3}+x^{2}-2}-624 x^{7}-360 x^{9}-368 x^{10}+176 x^{5}+152 x^{6}+12 x^{2}+60 x^{3}+784 x^{8}-186 x^{4}+8 \sqrt {x^{4}-2 x^{3}+x^{2}-2}\, x^{14}-56 \sqrt {x^{4}-2 x^{3}+x^{2}-2}\, x^{13}+184 \sqrt {x^{4}-2 x^{3}+x^{2}-2}\, x^{12}-376 \sqrt {x^{4}-2 x^{3}+x^{2}-2}\, x^{11}+504 \sqrt {x^{4}-2 x^{3}+x^{2}-2}\, x^{10}-408 \sqrt {x^{4}-2 x^{3}+x^{2}-2}\, x^{9}+96 \sqrt {x^{4}-2 x^{3}+x^{2}-2}\, x^{8}+216 \sqrt {x^{4}-2 x^{3}+x^{2}-2}\, x^{7}-300 \sqrt {x^{4}-2 x^{3}+x^{2}-2}\, x^{6}+164 \sqrt {x^{4}-2 x^{3}+x^{2}-2}\, x^{5}-4 \sqrt {x^{4}-2 x^{3}+x^{2}-2}\, x^{4}-52 \sqrt {x^{4}-2 x^{3}+x^{2}-2}\, x^{3}+26 x^{2} \sqrt {x^{4}-2 x^{3}+x^{2}-2}}{2 x^{2}-2 x +3}\right )}{8}\)	\(420\)
risch	\(\text {Expression too large to display}\)	\(3445\)
default	\(\text {Expression too large to display}\)	\(3475\)
elliptic	\(\text {Expression too large to display}\)	\(3475\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

-1/4*x*(x^4-2*x^3+x^2-2)^(1/2)+1/4*(x^4-2*x^3+x^2-2)^(1/2)+7/4*(-1/2*(1+4*2^(1/2))^(1/2)-1/2*I*(-1+4*2^(1/2))^
(1/2))*((1/2*I*(-1+4*2^(1/2))^(1/2)-1/2*(1+4*2^(1/2))^(1/2))*(x-1/2+1/2*(1+4*2^(1/2))^(1/2))/(1/2*I*(-1+4*2^(1
/2))^(1/2)+1/2*(1+4*2^(1/2))^(1/2))/(x-1/2-1/2*(1+4*2^(1/2))^(1/2)))^(1/2)*(x-1/2-1/2*(1+4*2^(1/2))^(1/2))^2*(
(1+4*2^(1/2))^(1/2)*(x-1/2+1/2*I*(-1+4*2^(1/2))^(1/2))/(-1/2*I*(-1+4*2^(1/2))^(1/2)+1/2*(1+4*2^(1/2))^(1/2))/(
x-1/2-1/2*(1+4*2^(1/2))^(1/2)))^(1/2)*((1+4*2^(1/2))^(1/2)*(x-1/2-1/2*I*(-1+4*2^(1/2))^(1/2))/(1/2*I*(-1+4*2^(
1/2))^(1/2)+1/2*(1+4*2^(1/2))^(1/2))/(x-1/2-1/2*(1+4*2^(1/2))^(1/2)))^(1/2)/(1/2*I*(-1+4*2^(1/2))^(1/2)-1/2*(1
+4*2^(1/2))^(1/2))/(1+4*2^(1/2))^(1/2)/((x-1/2+1/2*(1+4*2^(1/2))^(1/2))*(x-1/2-1/2*(1+4*2^(1/2))^(1/2))*(x-1/2
+1/2*I*(-1+4*2^(1/2))^(1/2))*(x-1/2-1/2*I*(-1+4*2^(1/2))^(1/2)))^(1/2)*EllipticF(((1/2*I*(-1+4*2^(1/2))^(1/2)-
1/2*(1+4*2^(1/2))^(1/2))*(x-1/2+1/2*(1+4*2^(1/2))^(1/2))/(1/2*I*(-1+4*2^(1/2))^(1/2)+1/2*(1+4*2^(1/2))^(1/2))/
(x-1/2-1/2*(1+4*2^(1/2))^(1/2)))^(1/2),((1/2*I*(-1+4*2^(1/2))^(1/2)+1/2*(1+4*2^(1/2))^(1/2))*(-1/2*(1+4*2^(1/2
))^(1/2)-1/2*I*(-1+4*2^(1/2))^(1/2))/(1/2*I*(-1+4*2^(1/2))^(1/2)-1/2*(1+4*2^(1/2))^(1/2))/(-1/2*I*(-1+4*2^(1/2
))^(1/2)+1/2*(1+4*2^(1/2))^(1/2)))^(1/2))-7/2*(-1/2*(1+4*2^(1/2))^(1/2)-1/2*I*(-1+4*2^(1/2))^(1/2))*((1/2*I*(-
1+4*2^(1/2))^(1/2)-1/2*(1+4*2^(1/2))^(1/2))*(x-1/2+1/2*(1+4*2^(1/2))^(1/2))/(1/2*I*(-1+4*2^(1/2))^(1/2)+1/2*(1
+4*2^(1/2))^(1/2))/(x-1/2-1/2*(1+4*2^(1/2))^(1/2)))^(1/2)*(x-1/2-1/2*(1+4*2^(1/2))^(1/2))^2*((1+4*2^(1/2))^(1/
2)*(x-1/2+1/2*I*(-1+4*2^(1/2))^(1/2))/(-1/2*I*(-1+4*2^(1/2))^(1/2)+1/2*(1+4*2^(1/2))^(1/2))/(x-1/2-1/2*(1+4*2^
(1/2))^(1/2)))^(1/2)*((1+4*2^(1/2))^(1/2)*(x-1/2-1/2*I*(-1+4*2^(1/2))^(1/2))/(1/2*I*(-1+4*2^(1/2))^(1/2)+1/2*(
1+4*2^(1/2))^(1/2))/(x-1/2-1/2*(1+4*2^(1/2))^(1/2)))^(1/2)/(1/2*I*(-1+4*2^(1/2))^(1/2)-1/2*(1+4*2^(1/2))^(1/2)
)/(1+4*2^(1/2))^(1/2)/((x-1/2+1/2*(1+4*2^(1/2))^(1/2))*(x-1/2-1/2*(1+4*2^(1/2))^(1/2))*(x-1/2+1/2*I*(-1+4*2^(1
/2))^(1/2))*(x-1/2-1/2*I*(-1+4*2^(1/2))^(1/2)))^(1/2)*((1/2+1/2*(1+4*2^(1/2))^(1/2))*EllipticF(((1/2*I*(-1+4*2
^(1/2))^(1/2)-1/2*(1+4*2^(1/2))^(1/2))*(x-1/2+1/2*(1+4*2^(1/2))^(1/2))/(1/2*I*(-1+4*2^(1/2))^(1/2)+1/2*(1+4*2^
(1/2))^(1/2))/(x-1/2-1/2*(1+4*2^(1/2))^(1/2)))^(1/2),((1/2*I*(-1+4*2^(1/2))^(1/2)+1/2*(1+4*2^(1/2))^(1/2))*(-1
/2*(1+4*2^(1/2))^(1/2)-1/2*I*(-1+4*2^(1/2))^(1/2))/(1/2*I*(-1+4*2^(1/2))^(1/2)-1/2*(1+4*2^(1/2))^(1/2))/(-1/2*
I*(-1+4*2^(1/2))^(1/2)+1/2*(1+4*2^(1/2))^(1/2)))^(1/2))-(1+4*2^(1/2))^(1/2)*EllipticPi(((1/2*I*(-1+4*2^(1/2))^
(1/2)-1/2*(1+4*2^(1/2))^(1/2))*(x-1/2+1/2*(1+4*2^(1/2))^(1/2))/(1/2*I*(-1+4*2^(1/2))^(1/2)+1/2*(1+4*2^(1/2))^(
1/2))/(x-1/2-1/2*(1+4*2^(1/2))^(1/2)))^(1/2),(1/2*I*(-1+4*2^(1/2))^(1/2)+1/2*(1+4*2^(1/2))^(1/2))/(1/2*I*(-1+4
*2^(1/2))^(1/2)-1/2*(1+4*2^(1/2))^(1/2)),((1/2*I*(-1+4*2^(1/2))^(1/2)+1/2*(1+4*2^(1/2))^(1/2))*(-1/2*(1+4*2^(1
/2))^(1/2)-1/2*I*(-1+4*2^(1/2))^(1/2))/(1/2*I*(-1+4*2^(1/2))^(1/2)-1/2*(1+4*2^(1/2))^(1/2))/(-1/2*I*(-1+4*2^(1
/2))^(1/2)+1/2*(1+4*2^(1/2))^(1/2)))^(1/2)))+1/4*x^2*(x^4-2*x^3+x^2-2)^(1/2)+1/8*(-1/2*(1+4*2^(1/2))^(1/2)-1/2
*I*(-1+4*2^(1/2))^(1/2))*((1/2*I*(-1+4*2^(1/2))^(1/2)-1/2*(1+4*2^(1/2))^(1/2))*(x-1/2+1/2*(1+4*2^(1/2))^(1/2))
/(1/2*I*(-1+4*2^(1/2))^(1/2)+1/2*(1+4*2^(1/2))^(1/2))/(x-1/2-1/2*(1+4*2^(1/2))^(1/2)))^(1/2)*(x-1/2-1/2*(1+4*2
^(1/2))^(1/2))^2*((1+4*2^(1/2))^(1/2)*(x-1/2+1/2*I*(-1+4*2^(1/2))^(1/2))/(-1/2*I*(-1+4*2^(1/2))^(1/2)+1/2*(1+4
*2^(1/2))^(1/2))/(x-1/2-1/2*(1+4*2^(1/2))^(1/2)))^(1/2)*((1+4*2^(1/2))^(1/2)*(x-1/2-1/2*I*(-1+4*2^(1/2))^(1/2)
)/(1/2*I*(-1+4*2^(1/2))^(1/2)+1/2*(1+4*2^(1/2))^(1/2))/(x-1/2-1/2*(1+4*2^(1/2))^(1/2)))^(1/2)/(1/2*I*(-1+4*2^(
1/2))^(1/2)-1/2*(1+4*2^(1/2))^(1/2))/(1+4*2^(1/2))^(1/2)/((x-1/2+1/2*(1+4*2^(1/2))^(1/2))*(x-1/2-1/2*(1+4*2^(1
/2))^(1/2))*(x-1/2+1/2*I*(-1+4*2^(1/2))^(1/2))*(x-1/2-1/2*I*(-1+4*2^(1/2))^(1/2)))^(1/2)*(-4*(1/2+1/2*I*5^(1/2
))*2^(1/2)+3*I*5^(1/2)-2*2^(1/2)*(1+4*2^(1/2))^(1/2)+2*2^(1/2)+3*(1+4*2^(1/2))^(1/2))*(EllipticF(((1/2*I*(-1+4
*2^(1/2))^(1/2)-1/2*(1+4*2^(1/2))^(1/2))*(x-1/2+1/2*(1+4*2^(1/2))^(1/2))/(1/2*I*(-1+4*2^(1/2))^(1/2)+1/2*(1+4*
2^(1/2))^(1/2))/(x-1/2-1/2*(1+4*2^(1/2))^(1/2)))^(1/2),((1/2*I*(-1+4*2^(1/2))^(1/2)+1/2*(1+4*2^(1/2))^(1/2))*(
-1/2*(1+4*2^(1/2))^(1/2)-1/2*I*(-1+4*2^(1/2))^(1/2))/(1/2*I*(-1+4*2^(1/2))^(1/2)-1/2*(1+4*2^(1/2))^(1/2))/(-1/
2*I*(-1+4*2^(1/2))^(1/2)+1/2*(1+4*2^(1/2))^(1/2)))^(1/2))+(1+4*2^(1/2))^(1/2)*(-4*(1/2+1/2*I*5^(1/2))*2^(1/2)+
3*I*5^(1/2)+2*2^(1/2)*(1+4*2^(1/2))^(1/2)+2*2^(1/2)-3*(1+4*2^(1/2))^(1/2))*EllipticPi(((1/2*I*(-1+4*2^(1/2))^(
1/2)-1/2*(1+4*2^(1/2))^(1/2))*(x-1/2+1/2*(1+4*2^(1/2))^(1/2))/(1/2*I*(-1+4*2^(1/2))^(1/2)+1/2*(1+4*2^(1/2))^(1
/2))/(x-1/2-1/2*(1+4*2^(1/2))^(1/2)))^(1/2),5/2+5/2*I*(-1+4*2^(1/2))^(1/2)-7/4*2^(1/2)-13/8*I*(-1+4*2^(1/2))^(
1/2)*2^(1/2)-5*I*(1/2+1/2*I*5^(1/2))*(-1+4*2^(1/2))^(1/2)+13/4*I*(1/2+1/2*I*5^(1/2))*(-1+4*2^(1/2))^(1/2)*2^(1
/2)+3/8*2^(1/2)*(1+4*2^(1/2))^(1/2)+5/2*I*(-1+4*2^(1/2))^(1/2)*(1+4*2^(1/2))^(1/2)+(1/2+1/2*I*5^(1/2))*(1+4*2^
(1/2))^(1/2)-1/2*(1+4*2^(1/2))^(1/2)-7/4*I*(1+4...

________________________________________________________________________________________

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((-1+2*x)*(x^2-x+2)*(x^4-2*x^3+x^2-2)^(1/2)/(2*x^2-2*x+3),x, algorithm="maxima")

[Out]

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

________________________________________________________________________________________

Fricas [A]
time = 0.44, size = 92, normalized size = 0.99 \begin {gather*} \frac {1}{4} \, \sqrt {x^{4} - 2 \, x^{3} + x^{2} - 2} {\left (x^{2} - x + 1\right )} + \frac {7}{8} \, \log \left (-x^{2} + x + \sqrt {x^{4} - 2 \, x^{3} + x^{2} - 2}\right ) + \frac {1}{8} \, \log \left (\frac {3 \, x^{2} - 3 \, x + \sqrt {x^{4} - 2 \, x^{3} + x^{2} - 2} + 4}{2 \, x^{2} - 2 \, x + 3}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (2 x - 1\right ) \left (x^{2} - x + 2\right ) \sqrt {x^{4} - 2 x^{3} + x^{2} - 2}}{2 x^{2} - 2 x + 3}\, dx \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________

Giac [A]
time = 0.41, size = 100, normalized size = 1.08 \begin {gather*} \frac {1}{4} \, \sqrt {{\left (x^{2} - x\right )}^{2} - 2} {\left (x^{2} - x + 1\right )} + \frac {1}{8} \, \log \left (x^{2} - x - \sqrt {{\left (x^{2} - x\right )}^{2} - 2} + 2\right ) - \frac {1}{8} \, \log \left (x^{2} - x - \sqrt {{\left (x^{2} - x\right )}^{2} - 2} + 1\right ) + \frac {7}{8} \, \log \left ({\left | -x^{2} + x + \sqrt {{\left (x^{2} - x\right )}^{2} - 2} \right |}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

1/4*sqrt((x^2 - x)^2 - 2)*(x^2 - x + 1) + 1/8*log(x^2 - x - sqrt((x^2 - x)^2 - 2) + 2) - 1/8*log(x^2 - x - sqr
t((x^2 - x)^2 - 2) + 1) + 7/8*log(abs(-x^2 + x + sqrt((x^2 - x)^2 - 2)))

________________________________________________________________________________________

Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {\left (2\,x-1\right )\,\left (x^2-x+2\right )\,\sqrt {x^4-2\,x^3+x^2-2}}{2\,x^2-2\,x+3} \,d x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

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

[Out]

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

________________________________________________________________________________________