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

Optimal result

Integrand size = 51, antiderivative size = 69 \[ \int \frac {\left (-1+x^4\right ) \left (1+x^4\right ) \sqrt {-1-x^2+x^4}}{\left (-2-x^2+2 x^4\right )^2 \left (-2+x^2+2 x^4\right )} \, dx=-\frac {x \sqrt {-1-x^2+x^4}}{16 \left (-2-x^2+2 x^4\right )}-\frac {1}{16} \sqrt {\frac {3}{2}} \arctan \left (\frac {\sqrt {\frac {3}{2}} x}{\sqrt {-1-x^2+x^4}}\right ) \]

[Out]

-x*(x^4-x^2-1)^(1/2)/(32*x^4-16*x^2-32)-1/32*6^(1/2)*arctan(1/2*6^(1/2)*x/(x^4-x^2-1)^(1/2))

Rubi [C] (warning: unable to verify)

Result contains higher order function than in optimal. Order 4 vs. order 3 in optimal.

Time = 7.95 (sec) , antiderivative size = 6713, normalized size of antiderivative = 97.29, number of steps used = 156, number of rules used = 14, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.275, Rules used = {6860, 6874, 1240, 1201, 1112, 1198, 1228, 1470, 554, 432, 430, 552, 551, 1222} \[ \text {Too large to display} \]

[In]

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

[Out]

(x*(1 - Sqrt[5] - 2*x^2))/(17*Sqrt[-1 - x^2 + x^4]) - ((17 - 2*Sqrt[17])*x*(1 - Sqrt[5] - 2*x^2))/(544*Sqrt[-1
- x^2 + x^4]) - (x*(1 - Sqrt[5] - 2*x^2))/(34*(1 - Sqrt[17])*Sqrt[-1 - x^2 + x^4]) - (x*(1 - Sqrt[5] - 2*x^2)
)/(34*(1 + Sqrt[17])*Sqrt[-1 - x^2 + x^4]) - ((17 + 2*Sqrt[17])*x*(1 - Sqrt[5] - 2*x^2))/(544*Sqrt[-1 - x^2 +
x^4]) + (x*Sqrt[-1 - x^2 + x^4])/(68*(1 - Sqrt[17] - 4*x^2)) + (4*x*Sqrt[-1 - x^2 + x^4])/(17*(1 - Sqrt[17])*(
1 - Sqrt[17] - 4*x^2)) + (x*Sqrt[-1 - x^2 + x^4])/(68*(1 + Sqrt[17] - 4*x^2)) + (4*x*Sqrt[-1 - x^2 + x^4])/(17
*(1 + Sqrt[17])*(1 + Sqrt[17] - 4*x^2)) + (5^(1/4)*Sqrt[-2 - (1 - Sqrt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(
2 + (1 - Sqrt[5])*x^2)]*EllipticE[ArcSin[(Sqrt[2]*5^(1/4)*x)/Sqrt[-2 - (1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])
/(17*Sqrt[(2 + (1 - Sqrt[5])*x^2)^(-1)]*Sqrt[-1 - x^2 + x^4]) - (5^(1/4)*(17 - 2*Sqrt[17])*Sqrt[-2 - (1 - Sqrt
[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(2 + (1 - Sqrt[5])*x^2)]*EllipticE[ArcSin[(Sqrt[2]*5^(1/4)*x)/Sqrt[-2 -
(1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])/(544*Sqrt[(2 + (1 - Sqrt[5])*x^2)^(-1)]*Sqrt[-1 - x^2 + x^4]) - (5^(1
/4)*Sqrt[-2 - (1 - Sqrt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(2 + (1 - Sqrt[5])*x^2)]*EllipticE[ArcSin[(Sqrt[
2]*5^(1/4)*x)/Sqrt[-2 - (1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])/(34*(1 - Sqrt[17])*Sqrt[(2 + (1 - Sqrt[5])*x^2
)^(-1)]*Sqrt[-1 - x^2 + x^4]) - (5^(1/4)*Sqrt[-2 - (1 - Sqrt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(2 + (1 - S
qrt[5])*x^2)]*EllipticE[ArcSin[(Sqrt[2]*5^(1/4)*x)/Sqrt[-2 - (1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])/(34*(1 +
Sqrt[17])*Sqrt[(2 + (1 - Sqrt[5])*x^2)^(-1)]*Sqrt[-1 - x^2 + x^4]) - (5^(1/4)*(17 + 2*Sqrt[17])*Sqrt[-2 - (1 -
Sqrt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(2 + (1 - Sqrt[5])*x^2)]*EllipticE[ArcSin[(Sqrt[2]*5^(1/4)*x)/Sqrt
[-2 - (1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])/(544*Sqrt[(2 + (1 - Sqrt[5])*x^2)^(-1)]*Sqrt[-1 - x^2 + x^4]) +
(3*(1 + Sqrt[5])*(1 - Sqrt[17])*Sqrt[-1 + Sqrt[5] + 2*x^2]*Sqrt[1 - (2*x^2)/(1 + Sqrt[5])]*EllipticF[ArcSin[Sq
rt[2/(1 + Sqrt[5])]*x], (-3 - Sqrt[5])/2])/(64*Sqrt[2]*(3 + 2*Sqrt[5] - Sqrt[17])*Sqrt[-1 - x^2 + x^4]) - ((1
+ Sqrt[5])*(1 + Sqrt[17])*Sqrt[-1 + Sqrt[5] + 2*x^2]*Sqrt[1 - (2*x^2)/(1 + Sqrt[5])]*EllipticF[ArcSin[Sqrt[2/(
1 + Sqrt[5])]*x], (-3 - Sqrt[5])/2])/(32*Sqrt[34]*(1 + 2*Sqrt[5] - Sqrt[17])*Sqrt[-1 - x^2 + x^4]) + ((1 + Sqr
t[5])*(1 + Sqrt[17])*(2 + Sqrt[17])*Sqrt[-1 + Sqrt[5] + 2*x^2]*Sqrt[1 - (2*x^2)/(1 + Sqrt[5])]*EllipticF[ArcSi
n[Sqrt[2/(1 + Sqrt[5])]*x], (-3 - Sqrt[5])/2])/(64*Sqrt[34]*(1 + 2*Sqrt[5] - Sqrt[17])*Sqrt[-1 - x^2 + x^4]) +
((1 + Sqrt[5])*(1 - Sqrt[17])*Sqrt[-1 + Sqrt[5] + 2*x^2]*Sqrt[1 - (2*x^2)/(1 + Sqrt[5])]*EllipticF[ArcSin[Sqr
t[2/(1 + Sqrt[5])]*x], (-3 - Sqrt[5])/2])/(32*Sqrt[34]*(1 + 2*Sqrt[5] + Sqrt[17])*Sqrt[-1 - x^2 + x^4]) - ((1
+ Sqrt[5])*(1 - Sqrt[17])*(2 - Sqrt[17])*Sqrt[-1 + Sqrt[5] + 2*x^2]*Sqrt[1 - (2*x^2)/(1 + Sqrt[5])]*EllipticF[
ArcSin[Sqrt[2/(1 + Sqrt[5])]*x], (-3 - Sqrt[5])/2])/(64*Sqrt[34]*(1 + 2*Sqrt[5] + Sqrt[17])*Sqrt[-1 - x^2 + x^
4]) + (3*(1 + Sqrt[5])*(1 + Sqrt[17])*Sqrt[-1 + Sqrt[5] + 2*x^2]*Sqrt[1 - (2*x^2)/(1 + Sqrt[5])]*EllipticF[Arc
Sin[Sqrt[2/(1 + Sqrt[5])]*x], (-3 - Sqrt[5])/2])/(64*Sqrt[2]*(3 + 2*Sqrt[5] + Sqrt[17])*Sqrt[-1 - x^2 + x^4])
+ ((1 + Sqrt[5])*(1 + Sqrt[17])*Sqrt[-1 + Sqrt[5] + 2*x^2]*Sqrt[1 - (2*x^2)/(1 + Sqrt[5])]*EllipticF[ArcSin[Sq
rt[2/(1 + Sqrt[5])]*x], (-3 - Sqrt[5])/2])/(8*Sqrt[34]*(8 - Sqrt[5] - Sqrt[85])*Sqrt[-1 - x^2 + x^4]) + ((1 +
Sqrt[5])*(9 + Sqrt[17])*Sqrt[-1 + Sqrt[5] + 2*x^2]*Sqrt[1 - (2*x^2)/(1 + Sqrt[5])]*EllipticF[ArcSin[Sqrt[2/(1
+ Sqrt[5])]*x], (-3 - Sqrt[5])/2])/(64*Sqrt[34]*(8 - Sqrt[5] - Sqrt[85])*Sqrt[-1 - x^2 + x^4]) - ((1 + Sqrt[5]
)*(1 - Sqrt[17])*Sqrt[-1 + Sqrt[5] + 2*x^2]*Sqrt[1 - (2*x^2)/(1 + Sqrt[5])]*EllipticF[ArcSin[Sqrt[2/(1 + Sqrt[
5])]*x], (-3 - Sqrt[5])/2])/(8*Sqrt[34]*(8 - Sqrt[5] + Sqrt[85])*Sqrt[-1 - x^2 + x^4]) - ((1 + Sqrt[5])*(9 - S
qrt[17])*Sqrt[-1 + Sqrt[5] + 2*x^2]*Sqrt[1 - (2*x^2)/(1 + Sqrt[5])]*EllipticF[ArcSin[Sqrt[2/(1 + Sqrt[5])]*x],
(-3 - Sqrt[5])/2])/(64*Sqrt[34]*(8 - Sqrt[5] + Sqrt[85])*Sqrt[-1 - x^2 + x^4]) + ((3 - 2*Sqrt[5] - Sqrt[17])*
Sqrt[-2 - (1 - Sqrt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(2 + (1 - Sqrt[5])*x^2)]*EllipticF[ArcSin[(Sqrt[2]*5
^(1/4)*x)/Sqrt[-2 - (1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])/(128*5^(1/4)*Sqrt[(2 + (1 - Sqrt[5])*x^2)^(-1)]*Sq
rt[-1 - x^2 + x^4]) - (3*(1 - Sqrt[17])*Sqrt[-2 - (1 - Sqrt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(2 + (1 - Sq
rt[5])*x^2)]*EllipticF[ArcSin[(Sqrt[2]*5^(1/4)*x)/Sqrt[-2 - (1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])/(64*5^(1/4
)*(3 + 2*Sqrt[5] - Sqrt[17])*Sqrt[(2 + (1 - Sqrt[5])*x^2)^(-1)]*Sqrt[-1 - x^2 + x^4]) + ((3 + 2*Sqrt[5] - Sqrt
[17])*Sqrt[-2 - (1 - Sqrt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(2 + (1 - Sqrt[5])*x^2)]*EllipticF[ArcSin[(Sqr
t[2]*5^(1/4)*x)/Sqrt[-2 - (1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])/(2176*5^(1/4)*Sqrt[(2 + (1 - Sqrt[5])*x^2)^(
-1)]*Sqrt[-1 - x^2 + x^4]) + ((3 + 2*Sqrt[5] - Sqrt[17])*Sqrt[-2 - (1 - Sqrt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*
x^2)/(2 + (1 - Sqrt[5])*x^2)]*EllipticF[ArcSin[(Sqrt[2]*5^(1/4)*x)/Sqrt[-2 - (1 - Sqrt[5])*x^2]], (5 - Sqrt[5]
)/10])/(136*5^(1/4)*(1 - Sqrt[17])*Sqrt[(2 + (1 - Sqrt[5])*x^2)^(-1)]*Sqrt[-1 - x^2 + x^4]) + ((17 + Sqrt[17])
*Sqrt[-2 - (1 - Sqrt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(2 + (1 - Sqrt[5])*x^2)]*EllipticF[ArcSin[(Sqrt[2]*
5^(1/4)*x)/Sqrt[-2 - (1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])/(544*5^(1/4)*(1 + 2*Sqrt[5] - Sqrt[17])*Sqrt[(2 +
(1 - Sqrt[5])*x^2)^(-1)]*Sqrt[-1 - x^2 + x^4]) - ((17 - 2*Sqrt[17])*(1 - 2*Sqrt[5] + Sqrt[17])*Sqrt[-2 - (1 -
Sqrt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(2 + (1 - Sqrt[5])*x^2)]*EllipticF[ArcSin[(Sqrt[2]*5^(1/4)*x)/Sqrt
[-2 - (1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])/(2176*5^(1/4)*Sqrt[(2 + (1 - Sqrt[5])*x^2)^(-1)]*Sqrt[-1 - x^2 +
x^4]) + ((3 - 2*Sqrt[5] + Sqrt[17])*Sqrt[-2 - (1 - Sqrt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(2 + (1 - Sqrt[
5])*x^2)]*EllipticF[ArcSin[(Sqrt[2]*5^(1/4)*x)/Sqrt[-2 - (1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])/(128*5^(1/4)*
Sqrt[(2 + (1 - Sqrt[5])*x^2)^(-1)]*Sqrt[-1 - x^2 + x^4]) - ((51 - 19*Sqrt[17])*Sqrt[-2 - (1 - Sqrt[5])*x^2]*Sq
rt[(2 + (1 + Sqrt[5])*x^2)/(2 + (1 - Sqrt[5])*x^2)]*EllipticF[ArcSin[(Sqrt[2]*5^(1/4)*x)/Sqrt[-2 - (1 - Sqrt[5
])*x^2]], (5 - Sqrt[5])/10])/(1088*5^(1/4)*(1 + 2*Sqrt[5] + Sqrt[17])*Sqrt[(2 + (1 - Sqrt[5])*x^2)^(-1)]*Sqrt[
-1 - x^2 + x^4]) + ((17 - Sqrt[17])*Sqrt[-2 - (1 - Sqrt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(2 + (1 - Sqrt[5
])*x^2)]*EllipticF[ArcSin[(Sqrt[2]*5^(1/4)*x)/Sqrt[-2 - (1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])/(544*5^(1/4)*(
1 + 2*Sqrt[5] + Sqrt[17])*Sqrt[(2 + (1 - Sqrt[5])*x^2)^(-1)]*Sqrt[-1 - x^2 + x^4]) - (3*(1 + Sqrt[17])*Sqrt[-2
- (1 - Sqrt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(2 + (1 - Sqrt[5])*x^2)]*EllipticF[ArcSin[(Sqrt[2]*5^(1/4)*
x)/Sqrt[-2 - (1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])/(64*5^(1/4)*(3 + 2*Sqrt[5] + Sqrt[17])*Sqrt[(2 + (1 - Sqr
t[5])*x^2)^(-1)]*Sqrt[-1 - x^2 + x^4]) + ((3 + 2*Sqrt[5] + Sqrt[17])*Sqrt[-2 - (1 - Sqrt[5])*x^2]*Sqrt[(2 + (1
+ Sqrt[5])*x^2)/(2 + (1 - Sqrt[5])*x^2)]*EllipticF[ArcSin[(Sqrt[2]*5^(1/4)*x)/Sqrt[-2 - (1 - Sqrt[5])*x^2]],
(5 - Sqrt[5])/10])/(2176*5^(1/4)*Sqrt[(2 + (1 - Sqrt[5])*x^2)^(-1)]*Sqrt[-1 - x^2 + x^4]) + ((3 + 2*Sqrt[5] +
Sqrt[17])*Sqrt[-2 - (1 - Sqrt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(2 + (1 - Sqrt[5])*x^2)]*EllipticF[ArcSin[
(Sqrt[2]*5^(1/4)*x)/Sqrt[-2 - (1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])/(136*5^(1/4)*(1 + Sqrt[17])*Sqrt[(2 + (1
- Sqrt[5])*x^2)^(-1)]*Sqrt[-1 - x^2 + x^4]) - ((1 - 2*Sqrt[5] - Sqrt[17])*(17 + 2*Sqrt[17])*Sqrt[-2 - (1 - Sq
rt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(2 + (1 - Sqrt[5])*x^2)]*EllipticF[ArcSin[(Sqrt[2]*5^(1/4)*x)/Sqrt[-2
- (1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])/(2176*5^(1/4)*Sqrt[(2 + (1 - Sqrt[5])*x^2)^(-1)]*Sqrt[-1 - x^2 + x^
4]) - ((51 + 19*Sqrt[17])*Sqrt[-2 - (1 - Sqrt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(2 + (1 - Sqrt[5])*x^2)]*E
llipticF[ArcSin[(Sqrt[2]*5^(1/4)*x)/Sqrt[-2 - (1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])/(1088*5^(1/4)*(1 + 2*Sqr
t[5] - Sqrt[17])*Sqrt[(2 + (1 - Sqrt[5])*x^2)^(-1)]*Sqrt[-1 - x^2 + x^4]) - ((17 + Sqrt[17])*Sqrt[-2 - (1 - Sq
rt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(2 + (1 - Sqrt[5])*x^2)]*EllipticF[ArcSin[(Sqrt[2]*5^(1/4)*x)/Sqrt[-2
- (1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])/(136*5^(1/4)*(8 - Sqrt[5] - Sqrt[85])*Sqrt[(2 + (1 - Sqrt[5])*x^2)^
(-1)]*Sqrt[-1 - x^2 + x^4]) - ((17 + 9*Sqrt[17])*Sqrt[-2 - (1 - Sqrt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(2
+ (1 - Sqrt[5])*x^2)]*EllipticF[ArcSin[(Sqrt[2]*5^(1/4)*x)/Sqrt[-2 - (1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])/(
1088*5^(1/4)*(8 - Sqrt[5] - Sqrt[85])*Sqrt[(2 + (1 - Sqrt[5])*x^2)^(-1)]*Sqrt[-1 - x^2 + x^4]) - ((17 - 9*Sqrt
[17])*Sqrt[-2 - (1 - Sqrt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(2 + (1 - Sqrt[5])*x^2)]*EllipticF[ArcSin[(Sqr
t[2]*5^(1/4)*x)/Sqrt[-2 - (1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])/(1088*5^(1/4)*(8 - Sqrt[5] + Sqrt[85])*Sqrt[
(2 + (1 - Sqrt[5])*x^2)^(-1)]*Sqrt[-1 - x^2 + x^4]) - ((17 - Sqrt[17])*Sqrt[-2 - (1 - Sqrt[5])*x^2]*Sqrt[(2 +
(1 + Sqrt[5])*x^2)/(2 + (1 - Sqrt[5])*x^2)]*EllipticF[ArcSin[(Sqrt[2]*5^(1/4)*x)/Sqrt[-2 - (1 - Sqrt[5])*x^2]]
, (5 - Sqrt[5])/10])/(136*5^(1/4)*(8 - Sqrt[5] + Sqrt[85])*Sqrt[(2 + (1 - Sqrt[5])*x^2)^(-1)]*Sqrt[-1 - x^2 +
x^4]) - ((17 - Sqrt[17]*(1 - 2*Sqrt[5]))*Sqrt[-2 - (1 - Sqrt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(2 + (1 - S
qrt[5])*x^2)]*EllipticF[ArcSin[(Sqrt[2]*5^(1/4)*x)/Sqrt[-2 - (1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])/(1088*5^(
1/4)*Sqrt[(2 + (1 - Sqrt[5])*x^2)^(-1)]*Sqrt[-1 - x^2 + x^4]) - ((17 + Sqrt[17]*(1 - 2*Sqrt[5]))*Sqrt[-2 - (1
- Sqrt[5])*x^2]*Sqrt[(2 + (1 + Sqrt[5])*x^2)/(2 + (1 - Sqrt[5])*x^2)]*EllipticF[ArcSin[(Sqrt[2]*5^(1/4)*x)/Sqr
t[-2 - (1 - Sqrt[5])*x^2]], (5 - Sqrt[5])/10])/(1088*5^(1/4)*Sqrt[(2 + (1 - Sqrt[5])*x^2)^(-1)]*Sqrt[-1 - x^2
+ x^4]) - (3*(1 + Sqrt[5])*Sqrt[-1 + Sqrt[5] + 2*x^2]*Sqrt[1 - (2*x^2)/(1 + Sqrt[5])]*EllipticPi[(-2*(1 + Sqrt
[5]))/(1 - Sqrt[17]), ArcSin[Sqrt[2/(1 + Sqrt[5])]*x], (-3 - Sqrt[5])/2])/(64*Sqrt[2]*Sqrt[-1 - x^2 + x^4]) +
(3*(1 + Sqrt[5])*Sqrt[-1 + Sqrt[5] + 2*x^2]*Sqrt[1 - (2*x^2)/(1 + Sqrt[5])]*EllipticPi[(2*(1 + Sqrt[5]))/(1 -
Sqrt[17]), ArcSin[Sqrt[2/(1 + Sqrt[5])]*x], (-3 - Sqrt[5])/2])/(64*Sqrt[34]*Sqrt[-1 - x^2 + x^4]) + ((1 + Sqrt
[5])*Sqrt[-1 + Sqrt[5] + 2*x^2]*Sqrt[1 - (2*x^2)/(1 + Sqrt[5])]*EllipticPi[(2*(1 + Sqrt[5]))/(1 - Sqrt[17]), A
rcSin[Sqrt[2/(1 + Sqrt[5])]*x], (-3 - Sqrt[5])/2])/(4*Sqrt[34]*(1 - Sqrt[17])*Sqrt[-1 - x^2 + x^4]) - ((1 + Sq
rt[5])*(2 - Sqrt[17])*Sqrt[-1 + Sqrt[5] + 2*x^2]*Sqrt[1 - (2*x^2)/(1 + Sqrt[5])]*EllipticPi[(2*(1 + Sqrt[5]))/
(1 - Sqrt[17]), ArcSin[Sqrt[2/(1 + Sqrt[5])]*x], (-3 - Sqrt[5])/2])/(64*Sqrt[34]*Sqrt[-1 - x^2 + x^4]) - (3*(1
+ Sqrt[5])*Sqrt[-1 + Sqrt[5] + 2*x^2]*Sqrt[1 - (2*x^2)/(1 + Sqrt[5])]*EllipticPi[(-2*(1 + Sqrt[5]))/(1 + Sqrt
[17]), ArcSin[Sqrt[2/(1 + Sqrt[5])]*x], (-3 - Sqrt[5])/2])/(64*Sqrt[2]*Sqrt[-1 - x^2 + x^4]) - (3*(1 + Sqrt[5]
)*Sqrt[-1 + Sqrt[5] + 2*x^2]*Sqrt[1 - (2*x^2)/(1 + Sqrt[5])]*EllipticPi[(2*(1 + Sqrt[5]))/(1 + Sqrt[17]), ArcS
in[Sqrt[2/(1 + Sqrt[5])]*x], (-3 - Sqrt[5])/2])/(64*Sqrt[34]*Sqrt[-1 - x^2 + x^4]) - ((1 + Sqrt[5])*Sqrt[-1 +
Sqrt[5] + 2*x^2]*Sqrt[1 - (2*x^2)/(1 + Sqrt[5])]*EllipticPi[(2*(1 + Sqrt[5]))/(1 + Sqrt[17]), ArcSin[Sqrt[2/(1
+ Sqrt[5])]*x], (-3 - Sqrt[5])/2])/(4*Sqrt[34]*(1 + Sqrt[17])*Sqrt[-1 - x^2 + x^4]) + ((1 + Sqrt[5])*(2 + Sqr
t[17])*Sqrt[-1 + Sqrt[5] + 2*x^2]*Sqrt[1 - (2*x^2)/(1 + Sqrt[5])]*EllipticPi[(2*(1 + Sqrt[5]))/(1 + Sqrt[17]),
ArcSin[Sqrt[2/(1 + Sqrt[5])]*x], (-3 - Sqrt[5])/2])/(64*Sqrt[34]*Sqrt[-1 - x^2 + x^4])

Rule 430

Int[1/(Sqrt[(a_) + (b_.)*(x_)^2]*Sqrt[(c_) + (d_.)*(x_)^2]), x_Symbol] :> Simp[(1/(Sqrt[a]*Sqrt[c]*Rt[-d/c, 2]
))*EllipticF[ArcSin[Rt[-d/c, 2]*x], b*(c/(a*d))], x] /; FreeQ[{a, b, c, d}, x] && NegQ[d/c] && GtQ[c, 0] && Gt
Q[a, 0] &&  !(NegQ[b/a] && SimplerSqrtQ[-b/a, -d/c])

Rule 432

Int[1/(Sqrt[(a_) + (b_.)*(x_)^2]*Sqrt[(c_) + (d_.)*(x_)^2]), x_Symbol] :> Dist[Sqrt[1 + (d/c)*x^2]/Sqrt[c + d*
x^2], Int[1/(Sqrt[a + b*x^2]*Sqrt[1 + (d/c)*x^2]), x], x] /; FreeQ[{a, b, c, d}, x] &&  !GtQ[c, 0]

Rule 551

Int[1/(((a_) + (b_.)*(x_)^2)*Sqrt[(c_) + (d_.)*(x_)^2]*Sqrt[(e_) + (f_.)*(x_)^2]), x_Symbol] :> Simp[(1/(a*Sqr
t[c]*Sqrt[e]*Rt[-d/c, 2]))*EllipticPi[b*(c/(a*d)), ArcSin[Rt[-d/c, 2]*x], c*(f/(d*e))], x] /; FreeQ[{a, b, c,
d, e, f}, x] &&  !GtQ[d/c, 0] && GtQ[c, 0] && GtQ[e, 0] &&  !( !GtQ[f/e, 0] && SimplerSqrtQ[-f/e, -d/c])

Rule 552

Int[1/(((a_) + (b_.)*(x_)^2)*Sqrt[(c_) + (d_.)*(x_)^2]*Sqrt[(e_) + (f_.)*(x_)^2]), x_Symbol] :> Dist[Sqrt[1 +
(d/c)*x^2]/Sqrt[c + d*x^2], Int[1/((a + b*x^2)*Sqrt[1 + (d/c)*x^2]*Sqrt[e + f*x^2]), x], x] /; FreeQ[{a, b, c,
d, e, f}, x] &&  !GtQ[c, 0]

Rule 554

Int[Sqrt[(c_) + (d_.)*(x_)^2]/(((a_) + (b_.)*(x_)^2)*Sqrt[(e_) + (f_.)*(x_)^2]), x_Symbol] :> Dist[d/b, Int[1/
(Sqrt[c + d*x^2]*Sqrt[e + f*x^2]), x], x] + Dist[(b*c - a*d)/b, Int[1/((a + b*x^2)*Sqrt[c + d*x^2]*Sqrt[e + f*
x^2]), x], x] /; FreeQ[{a, b, c, d, e, f}, x] && NegQ[d/c]

Rule 1112

Int[1/Sqrt[(a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4], x_Symbol] :> With[{q = Rt[b^2 - 4*a*c, 2]}, Simp[Sqrt[(2*a + (
b - q)*x^2)/(2*a + (b + q)*x^2)]*(Sqrt[(2*a + (b + q)*x^2)/q]/(2*Sqrt[a + b*x^2 + c*x^4]*Sqrt[a/(2*a + (b + q)
*x^2)]))*EllipticF[ArcSin[x/Sqrt[(2*a + (b + q)*x^2)/(2*q)]], (b + q)/(2*q)], x]] /; FreeQ[{a, b, c}, x] && Gt
Q[b^2 - 4*a*c, 0] && LtQ[a, 0] && GtQ[c, 0]

Rule 1198

Int[((d_) + (e_.)*(x_)^2)/Sqrt[(a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4], x_Symbol] :> With[{q = Rt[b^2 - 4*a*c, 2]}
, Simp[e*x*((b + q + 2*c*x^2)/(2*c*Sqrt[a + b*x^2 + c*x^4])), x] - Simp[e*q*Sqrt[(2*a + (b - q)*x^2)/(2*a + (b
+ q)*x^2)]*(Sqrt[(2*a + (b + q)*x^2)/q]/(2*c*Sqrt[a + b*x^2 + c*x^4]*Sqrt[a/(2*a + (b + q)*x^2)]))*EllipticE[
ArcSin[x/Sqrt[(2*a + (b + q)*x^2)/(2*q)]], (b + q)/(2*q)], x] /; EqQ[2*c*d - e*(b - q), 0]] /; FreeQ[{a, b, c,
d, e}, x] && GtQ[b^2 - 4*a*c, 0] && LtQ[a, 0] && GtQ[c, 0]

Rule 1201

Int[((d_) + (e_.)*(x_)^2)/Sqrt[(a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4], x_Symbol] :> With[{q = Rt[b^2 - 4*a*c, 2]}
, Dist[(2*c*d - e*(b - q))/(2*c), Int[1/Sqrt[a + b*x^2 + c*x^4], x], x] + Dist[e/(2*c), Int[(b - q + 2*c*x^2)/
Sqrt[a + b*x^2 + c*x^4], x], x] /; NeQ[2*c*d - e*(b - q), 0]] /; FreeQ[{a, b, c, d, e}, x] && GtQ[b^2 - 4*a*c,
0] && LtQ[a, 0] && GtQ[c, 0]

Rule 1222

Int[((a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4)^(p_)/((d_) + (e_.)*(x_)^2), x_Symbol] :> Dist[-(e^2)^(-1), Int[(c*d -
b*e - c*e*x^2)*(a + b*x^2 + c*x^4)^(p - 1), x], x] + Dist[(c*d^2 - b*d*e + a*e^2)/e^2, Int[(a + b*x^2 + c*x^4
)^(p - 1)/(d + e*x^2), x], x] /; FreeQ[{a, b, c, d, e}, x] && NeQ[b^2 - 4*a*c, 0] && NeQ[c*d^2 - b*d*e + a*e^2
, 0] && IGtQ[p + 1/2, 0]

Rule 1228

Int[1/(((d_) + (e_.)*(x_)^2)*Sqrt[(a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4]), x_Symbol] :> With[{q = Rt[b^2 - 4*a*c,
2]}, Dist[2*(c/(2*c*d - e*(b - q))), Int[1/Sqrt[a + b*x^2 + c*x^4], x], x] - Dist[e/(2*c*d - e*(b - q)), Int[
(b - q + 2*c*x^2)/((d + e*x^2)*Sqrt[a + b*x^2 + c*x^4]), x], x]] /; FreeQ[{a, b, c, d, e}, x] && GtQ[b^2 - 4*a
*c, 0] &&  !LtQ[c, 0]

Rule 1240

Int[Sqrt[(a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4]/((d_) + (e_.)*(x_)^2)^2, x_Symbol] :> Simp[x*(Sqrt[a + b*x^2 + c*
x^4]/(2*d*(d + e*x^2))), x] + (Dist[c/(2*d*e^2), Int[(d - e*x^2)/Sqrt[a + b*x^2 + c*x^4], x], x] - Dist[(c*d^2
- a*e^2)/(2*d*e^2), Int[1/((d + e*x^2)*Sqrt[a + b*x^2 + c*x^4]), x], x]) /; FreeQ[{a, b, c, d, e}, x] && NeQ[
b^2 - 4*a*c, 0] && NeQ[c*d^2 - b*d*e + a*e^2, 0]

Rule 1470

Int[((d_) + (e_.)*(x_)^(n_))^(q_.)*((f_) + (g_.)*(x_)^(n_))^(r_.)*((a_) + (b_.)*(x_)^(n_) + (c_.)*(x_)^(n2_))^
(p_), x_Symbol] :> Dist[(a + b*x^n + c*x^(2*n))^FracPart[p]/((d + e*x^n)^FracPart[p]*(a/d + (c*x^n)/e)^FracPar
t[p]), Int[(d + e*x^n)^(p + q)*(f + g*x^n)^r*(a/d + (c/e)*x^n)^p, x], x] /; FreeQ[{a, b, c, d, e, f, g, n, p,
q, r}, x] && EqQ[n2, 2*n] && NeQ[b^2 - 4*a*c, 0] && EqQ[c*d^2 - b*d*e + a*e^2, 0] &&  !IntegerQ[p]

Rule 6860

Int[(u_)/((a_.) + (b_.)*(x_)^(n_.) + (c_.)*(x_)^(n2_.)), x_Symbol] :> With[{v = RationalFunctionExpand[u/(a +
b*x^n + c*x^(2*n)), x]}, Int[v, x] /; SumQ[v]] /; FreeQ[{a, b, c}, x] && EqQ[n2, 2*n] && IGtQ[n, 0]

Rule 6874

Int[u_, x_Symbol] :> With[{v = ExpandIntegrand[u, x]}, Int[v, x] /; SumQ[v]]

Rubi steps \begin{align*} \text {integral}& = \int \left (\frac {\left (4+x^2\right ) \sqrt {-1-x^2+x^4}}{8 \left (-2-x^2+2 x^4\right )^2}+\frac {\left (1+4 x^2\right ) \sqrt {-1-x^2+x^4}}{16 \left (-2-x^2+2 x^4\right )}+\frac {\left (-1-4 x^2\right ) \sqrt {-1-x^2+x^4}}{16 \left (-2+x^2+2 x^4\right )}\right ) \, dx \\ & = \frac {1}{16} \int \frac {\left (1+4 x^2\right ) \sqrt {-1-x^2+x^4}}{-2-x^2+2 x^4} \, dx+\frac {1}{16} \int \frac {\left (-1-4 x^2\right ) \sqrt {-1-x^2+x^4}}{-2+x^2+2 x^4} \, dx+\frac {1}{8} \int \frac {\left (4+x^2\right ) \sqrt {-1-x^2+x^4}}{\left (-2-x^2+2 x^4\right )^2} \, dx \\ & = \frac {1}{16} \int \left (\frac {\left (4+\frac {8}{\sqrt {17}}\right ) \sqrt {-1-x^2+x^4}}{-1-\sqrt {17}+4 x^2}+\frac {\left (4-\frac {8}{\sqrt {17}}\right ) \sqrt {-1-x^2+x^4}}{-1+\sqrt {17}+4 x^2}\right ) \, dx+\frac {1}{16} \int \left (-\frac {4 \sqrt {-1-x^2+x^4}}{1-\sqrt {17}+4 x^2}-\frac {4 \sqrt {-1-x^2+x^4}}{1+\sqrt {17}+4 x^2}\right ) \, dx+\frac {1}{8} \int \left (\frac {4 \sqrt {-1-x^2+x^4}}{\left (-2-x^2+2 x^4\right )^2}+\frac {x^2 \sqrt {-1-x^2+x^4}}{\left (-2-x^2+2 x^4\right )^2}\right ) \, dx \\ & = \frac {1}{8} \int \frac {x^2 \sqrt {-1-x^2+x^4}}{\left (-2-x^2+2 x^4\right )^2} \, dx-\frac {1}{4} \int \frac {\sqrt {-1-x^2+x^4}}{1-\sqrt {17}+4 x^2} \, dx-\frac {1}{4} \int \frac {\sqrt {-1-x^2+x^4}}{1+\sqrt {17}+4 x^2} \, dx+\frac {1}{2} \int \frac {\sqrt {-1-x^2+x^4}}{\left (-2-x^2+2 x^4\right )^2} \, dx+\frac {1}{68} \left (17-2 \sqrt {17}\right ) \int \frac {\sqrt {-1-x^2+x^4}}{-1+\sqrt {17}+4 x^2} \, dx+\frac {1}{68} \left (17+2 \sqrt {17}\right ) \int \frac {\sqrt {-1-x^2+x^4}}{-1-\sqrt {17}+4 x^2} \, dx \\ & = \frac {1}{64} \int \frac {5-\sqrt {17}-4 x^2}{\sqrt {-1-x^2+x^4}} \, dx+\frac {1}{64} \int \frac {5+\sqrt {17}-4 x^2}{\sqrt {-1-x^2+x^4}} \, dx+\frac {1}{8} \int \left (\frac {4 \left (1+\sqrt {17}\right ) \sqrt {-1-x^2+x^4}}{17 \left (1+\sqrt {17}-4 x^2\right )^2}+\frac {4 \sqrt {-1-x^2+x^4}}{17 \sqrt {17} \left (1+\sqrt {17}-4 x^2\right )}+\frac {4 \left (1-\sqrt {17}\right ) \sqrt {-1-x^2+x^4}}{17 \left (-1+\sqrt {17}+4 x^2\right )^2}+\frac {4 \sqrt {-1-x^2+x^4}}{17 \sqrt {17} \left (-1+\sqrt {17}+4 x^2\right )}\right ) \, dx+\frac {1}{2} \int \left (\frac {16 \sqrt {-1-x^2+x^4}}{17 \left (1+\sqrt {17}-4 x^2\right )^2}+\frac {16 \sqrt {-1-x^2+x^4}}{17 \sqrt {17} \left (1+\sqrt {17}-4 x^2\right )}+\frac {16 \sqrt {-1-x^2+x^4}}{17 \left (-1+\sqrt {17}+4 x^2\right )^2}+\frac {16 \sqrt {-1-x^2+x^4}}{17 \sqrt {17} \left (-1+\sqrt {17}+4 x^2\right )}\right ) \, dx-\frac {1}{32} \left (3 \left (1-\sqrt {17}\right )\right ) \int \frac {1}{\left (1-\sqrt {17}+4 x^2\right ) \sqrt {-1-x^2+x^4}} \, dx-\frac {1}{32} \left (3 \left (1+\sqrt {17}\right )\right ) \int \frac {1}{\left (1+\sqrt {17}+4 x^2\right ) \sqrt {-1-x^2+x^4}} \, dx+\frac {\left (-17+2 \sqrt {17}\right ) \int \frac {3+\sqrt {17}-4 x^2}{\sqrt {-1-x^2+x^4}} \, dx}{1088}-\frac {\left (17+2 \sqrt {17}\right ) \int \frac {3-\sqrt {17}-4 x^2}{\sqrt {-1-x^2+x^4}} \, dx}{1088}+\frac {1}{544} \left (-51+19 \sqrt {17}\right ) \int \frac {1}{\left (-1+\sqrt {17}+4 x^2\right ) \sqrt {-1-x^2+x^4}} \, dx-\frac {1}{544} \left (51+19 \sqrt {17}\right ) \int \frac {1}{\left (-1-\sqrt {17}+4 x^2\right ) \sqrt {-1-x^2+x^4}} \, dx \\ & = -2 \left (\frac {1}{32} \int \frac {-1-\sqrt {5}+2 x^2}{\sqrt {-1-x^2+x^4}} \, dx\right )+\frac {8}{17} \int \frac {\sqrt {-1-x^2+x^4}}{\left (1+\sqrt {17}-4 x^2\right )^2} \, dx+\frac {8}{17} \int \frac {\sqrt {-1-x^2+x^4}}{\left (-1+\sqrt {17}+4 x^2\right )^2} \, dx+\frac {\int \frac {\sqrt {-1-x^2+x^4}}{1+\sqrt {17}-4 x^2} \, dx}{34 \sqrt {17}}+\frac {\int \frac {\sqrt {-1-x^2+x^4}}{-1+\sqrt {17}+4 x^2} \, dx}{34 \sqrt {17}}+\frac {8 \int \frac {\sqrt {-1-x^2+x^4}}{1+\sqrt {17}-4 x^2} \, dx}{17 \sqrt {17}}+\frac {8 \int \frac {\sqrt {-1-x^2+x^4}}{-1+\sqrt {17}+4 x^2} \, dx}{17 \sqrt {17}}+\frac {1}{544} \left (17-2 \sqrt {17}\right ) \int \frac {-1-\sqrt {5}+2 x^2}{\sqrt {-1-x^2+x^4}} \, dx+\frac {1}{34} \left (1-\sqrt {17}\right ) \int \frac {\sqrt {-1-x^2+x^4}}{\left (-1+\sqrt {17}+4 x^2\right )^2} \, dx+\frac {1}{64} \left (3-2 \sqrt {5}-\sqrt {17}\right ) \int \frac {1}{\sqrt {-1-x^2+x^4}} \, dx-\frac {\left (3 \left (1-\sqrt {17}\right )\right ) \int \frac {1}{\sqrt {-1-x^2+x^4}} \, dx}{32 \left (3+2 \sqrt {5}-\sqrt {17}\right )}+\frac {\left (3 \left (1-\sqrt {17}\right )\right ) \int \frac {-1-\sqrt {5}+2 x^2}{\left (1-\sqrt {17}+4 x^2\right ) \sqrt {-1-x^2+x^4}} \, dx}{16 \left (3+2 \sqrt {5}-\sqrt {17}\right )}+\frac {1}{34} \left (1+\sqrt {17}\right ) \int \frac {\sqrt {-1-x^2+x^4}}{\left (1+\sqrt {17}-4 x^2\right )^2} \, dx-\frac {\left (\left (17-2 \sqrt {17}\right ) \left (1-2 \sqrt {5}+\sqrt {17}\right )\right ) \int \frac {1}{\sqrt {-1-x^2+x^4}} \, dx}{1088}+\frac {1}{64} \left (3-2 \sqrt {5}+\sqrt {17}\right ) \int \frac {1}{\sqrt {-1-x^2+x^4}} \, dx-\frac {\left (51-19 \sqrt {17}\right ) \int \frac {1}{\sqrt {-1-x^2+x^4}} \, dx}{544 \left (1+2 \sqrt {5}+\sqrt {17}\right )}+\frac {\left (51-19 \sqrt {17}\right ) \int \frac {-1-\sqrt {5}+2 x^2}{\left (-1+\sqrt {17}+4 x^2\right ) \sqrt {-1-x^2+x^4}} \, dx}{272 \left (1+2 \sqrt {5}+\sqrt {17}\right )}-\frac {\left (3 \left (1+\sqrt {17}\right )\right ) \int \frac {1}{\sqrt {-1-x^2+x^4}} \, dx}{32 \left (3+2 \sqrt {5}+\sqrt {17}\right )}+\frac {\left (3 \left (1+\sqrt {17}\right )\right ) \int \frac {-1-\sqrt {5}+2 x^2}{\left (1+\sqrt {17}+4 x^2\right ) \sqrt {-1-x^2+x^4}} \, dx}{16 \left (3+2 \sqrt {5}+\sqrt {17}\right )}+\frac {1}{544} \left (17+2 \sqrt {17}\right ) \int \frac {-1-\sqrt {5}+2 x^2}{\sqrt {-1-x^2+x^4}} \, dx-\frac {\left (\left (1-2 \sqrt {5}-\sqrt {17}\right ) \left (17+2 \sqrt {17}\right )\right ) \int \frac {1}{\sqrt {-1-x^2+x^4}} \, dx}{1088}-\frac {\left (51+19 \sqrt {17}\right ) \int \frac {1}{\sqrt {-1-x^2+x^4}} \, dx}{544 \left (1+2 \sqrt {5}-\sqrt {17}\right )}+\frac {\left (51+19 \sqrt {17}\right ) \int \frac {-1-\sqrt {5}+2 x^2}{\left (-1-\sqrt {17}+4 x^2\right ) \sqrt {-1-x^2+x^4}} \, dx}{272 \left (1+2 \sqrt {5}-\sqrt {17}\right )} \\ & = \text {Too large to display} \\ \end{align*}

Mathematica [A] (verified)

Time = 0.65 (sec) , antiderivative size = 65, normalized size of antiderivative = 0.94 \[ \int \frac {\left (-1+x^4\right ) \left (1+x^4\right ) \sqrt {-1-x^2+x^4}}{\left (-2-x^2+2 x^4\right )^2 \left (-2+x^2+2 x^4\right )} \, dx=\frac {1}{32} \left (\frac {2 x \sqrt {-1-x^2+x^4}}{2+x^2-2 x^4}-\sqrt {6} \arctan \left (\frac {\sqrt {\frac {3}{2}} x}{\sqrt {-1-x^2+x^4}}\right )\right ) \]

[In]

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

[Out]

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

Maple [A] (verified)

Time = 8.45 (sec) , antiderivative size = 57, normalized size of antiderivative = 0.83

method	result	size
risch	\(-\frac {x \sqrt {x^{4}-x^{2}-1}}{16 \left (2 x^{4}-x^{2}-2\right )}+\frac {\sqrt {6}\, \arctan \left (\frac {\sqrt {6}\, \sqrt {x^{4}-x^{2}-1}}{3 x}\right )}{32}\)	\(57\)
default	\(\frac {\sqrt {6}\, \left (2 x^{4}-x^{2}-2\right ) \arctan \left (\frac {\sqrt {6}\, \sqrt {x^{4}-x^{2}-1}}{3 x}\right )-2 x \sqrt {x^{4}-x^{2}-1}}{64 x^{4}-32 x^{2}-64}\)	\(69\)
pseudoelliptic	\(\frac {\sqrt {6}\, \left (2 x^{4}-x^{2}-2\right ) \arctan \left (\frac {\sqrt {6}\, \sqrt {x^{4}-x^{2}-1}}{3 x}\right )-2 x \sqrt {x^{4}-x^{2}-1}}{64 x^{4}-32 x^{2}-64}\)	\(69\)
elliptic	\(\frac {\left (-\frac {\sqrt {x^{4}-x^{2}-1}\, \sqrt {2}}{64 x \left (\frac {x^{4}-x^{2}-1}{2 x^{2}}+\frac {1}{4}\right )}+\frac {\sqrt {3}\, \arctan \left (\frac {\sqrt {x^{4}-x^{2}-1}\, \sqrt {2}\, \sqrt {3}}{3 x}\right )}{16}\right ) \sqrt {2}}{2}\)	\(75\)
trager	\(-\frac {x \sqrt {x^{4}-x^{2}-1}}{16 \left (2 x^{4}-x^{2}-2\right )}+\frac {\operatorname {RootOf}\left (\textit {\_Z}^{2}+6\right ) \ln \left (\frac {2 \operatorname {RootOf}\left (\textit {\_Z}^{2}+6\right ) x^{4}-5 \operatorname {RootOf}\left (\textit {\_Z}^{2}+6\right ) x^{2}-12 x \sqrt {x^{4}-x^{2}-1}-2 \operatorname {RootOf}\left (\textit {\_Z}^{2}+6\right )}{2 x^{4}+x^{2}-2}\right )}{64}\)	\(99\)

[In]

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

[Out]

-1/16*x*(x^4-x^2-1)^(1/2)/(2*x^4-x^2-2)+1/32*6^(1/2)*arctan(1/3*6^(1/2)/x*(x^4-x^2-1)^(1/2))

Fricas [A] (verification not implemented)

none

Time = 0.30 (sec) , antiderivative size = 87, normalized size of antiderivative = 1.26 \[ \int \frac {\left (-1+x^4\right ) \left (1+x^4\right ) \sqrt {-1-x^2+x^4}}{\left (-2-x^2+2 x^4\right )^2 \left (-2+x^2+2 x^4\right )} \, dx=-\frac {\sqrt {3} \sqrt {2} {\left (2 \, x^{4} - x^{2} - 2\right )} \arctan \left (\frac {2 \, \sqrt {3} \sqrt {2} \sqrt {x^{4} - x^{2} - 1} x}{2 \, x^{4} - 5 \, x^{2} - 2}\right ) + 4 \, \sqrt {x^{4} - x^{2} - 1} x}{64 \, {\left (2 \, x^{4} - x^{2} - 2\right )}} \]

[In]

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

[Out]

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

Sympy [F(-1)]

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

[In]

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

[Out]

Timed out

Maxima [F]

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

[In]

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

[Out]

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

Giac [F]

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

[In]

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

[Out]

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

Mupad [F(-1)]

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

[In]

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

[Out]

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