:: POLYEQ_2 semantic presentation

REAL is V33() V34() V35() V39() set
NAT is V33() V34() V35() V36() V37() V38() V39() M2(K6(REAL))
K6(REAL) is set
COMPLEX is V33() V39() set
omega is V33() V34() V35() V36() V37() V38() V39() set
K6(omega) is set
K6(NAT) is set
K7(NAT,REAL) is set
K6(K7(NAT,REAL)) is set
RAT is V33() V34() V35() V36() V39() set
INT is V33() V34() V35() V36() V37() V39() set
0 is natural complex real ext-real V33() V34() V35() V36() V37() V38() V40() V53() M3( REAL , NAT )
4 is non zero natural complex real ext-real positive V33() V34() V35() V36() V37() V38() V40() V53() M3( REAL , NAT )
2 is non zero natural complex real ext-real positive V33() V34() V35() V36() V37() V38() V40() V53() M3( REAL , NAT )
3 is non zero natural complex real ext-real positive V33() V34() V35() V36() V37() V38() V40() V53() M3( REAL , NAT )
1 is non zero natural complex real ext-real positive V33() V34() V35() V36() V37() V38() V40() V53() M3( REAL , NAT )
2 to_power 3 is complex real ext-real M2( REAL )
2 |^ 3 is natural complex real ext-real set
8 is non zero natural complex real ext-real positive V33() V34() V35() V36() V37() V38() V40() V53() M3( REAL , NAT )
2 to_power 4 is complex real ext-real M2( REAL )
2 |^ 4 is natural complex real ext-real set
16 is non zero natural complex real ext-real positive V33() V34() V35() V36() V37() V38() V40() V53() M3( REAL , NAT )
2 * 2 is non zero complex real ext-real set
2 * 1 is non zero complex real ext-real set
(2 * 1) + 1 is complex real ext-real set
a is complex set
a5 is complex set
a5 |^ 4 is complex set
a * (a5 |^ 4) is complex set
k is complex set
a5 |^ 3 is complex set
k * (a5 |^ 3) is complex set
(a * (a5 |^ 4)) + (k * (a5 |^ 3)) is complex set
y is complex set
a5 ^2 is complex set
a5 * a5 is complex set
y * (a5 ^2) is complex set
((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2)) is complex set
a3 is complex set
a3 * a5 is complex set
(((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2))) + (a3 * a5) is complex set
a4 is complex set
((((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2))) + (a3 * a5)) + a4 is complex set
a is complex set
k is complex set
y is complex set
a3 is complex set
a4 is complex set
a5 is complex set
(a,k,y,a3,a4,a5) is set
a5 |^ 4 is complex set
a * (a5 |^ 4) is complex set
a5 |^ 3 is complex set
k * (a5 |^ 3) is complex set
(a * (a5 |^ 4)) + (k * (a5 |^ 3)) is complex set
a5 ^2 is complex set
a5 * a5 is complex set
y * (a5 ^2) is complex set
((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2)) is complex set
a3 * a5 is complex set
(((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2))) + (a3 * a5) is complex set
((((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2))) + (a3 * a5)) + a4 is complex set
a is complex real ext-real set
k is complex real ext-real set
y is complex real ext-real set
a3 is complex real ext-real set
a4 is complex real ext-real set
a5 is complex real ext-real set
(a,k,y,a3,a4,a5) is complex set
a5 |^ 4 is complex real ext-real set
a * (a5 |^ 4) is complex real ext-real set
a5 |^ 3 is complex real ext-real set
k * (a5 |^ 3) is complex real ext-real set
(a * (a5 |^ 4)) + (k * (a5 |^ 3)) is complex real ext-real set
a5 ^2 is complex real ext-real set
a5 * a5 is complex real ext-real set
y * (a5 ^2) is complex real ext-real set
((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2)) is complex real ext-real set
a3 * a5 is complex real ext-real set
(((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2))) + (a3 * a5) is complex real ext-real set
((((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2))) + (a3 * a5)) + a4 is complex real ext-real set
a is complex real ext-real set
y is complex real ext-real set
k is complex real ext-real set
k ^2 is complex real ext-real set
k * k is complex real ext-real set
4 * a is complex real ext-real set
(4 * a) * y is complex real ext-real set
(k ^2) - ((4 * a) * y) is complex real ext-real set
a3 is complex real ext-real set
(a,0,k,0,y,a3) is complex real ext-real set
a3 |^ 4 is complex real ext-real set
a * (a3 |^ 4) is complex real ext-real set
a3 |^ 3 is complex real ext-real set
0 * (a3 |^ 3) is complex real ext-real set
(a * (a3 |^ 4)) + (0 * (a3 |^ 3)) is complex real ext-real set
a3 ^2 is complex real ext-real set
a3 * a3 is complex real ext-real set
k * (a3 ^2) is complex real ext-real set
((a * (a3 |^ 4)) + (0 * (a3 |^ 3))) + (k * (a3 ^2)) is complex real ext-real set
0 * a3 is complex real ext-real set
(((a * (a3 |^ 4)) + (0 * (a3 |^ 3))) + (k * (a3 ^2))) + (0 * a3) is complex real ext-real set
((((a * (a3 |^ 4)) + (0 * (a3 |^ 3))) + (k * (a3 ^2))) + (0 * a3)) + y is complex real ext-real set
- k is complex real ext-real set
delta (a,k,y) is complex real ext-real set
sqrt (delta (a,k,y)) is complex real ext-real set
(- k) + (sqrt (delta (a,k,y))) is complex real ext-real set
2 * a is complex real ext-real set
((- k) + (sqrt (delta (a,k,y)))) / (2 * a) is complex real ext-real M2( COMPLEX )
sqrt (((- k) + (sqrt (delta (a,k,y)))) / (2 * a)) is complex real ext-real set
(- k) - (sqrt (delta (a,k,y))) is complex real ext-real set
((- k) - (sqrt (delta (a,k,y)))) / (2 * a) is complex real ext-real M2( COMPLEX )
sqrt (((- k) - (sqrt (delta (a,k,y)))) / (2 * a)) is complex real ext-real set
- (sqrt (((- k) + (sqrt (delta (a,k,y)))) / (2 * a))) is complex real ext-real set
- (sqrt (((- k) - (sqrt (delta (a,k,y)))) / (2 * a))) is complex real ext-real set
a * 0 is complex real ext-real set
0 |^ 3 is natural complex real ext-real V33() V34() V35() V36() V37() V38() V40() V53() M3( REAL , NAT )
0 * (0 |^ 3) is complex real ext-real set
(a * 0) + (0 * (0 |^ 3)) is complex real ext-real set
((a * 0) + (0 * (0 |^ 3))) + y is complex real ext-real set
2 + 2 is complex real ext-real set
a3 to_power (2 + 2) is complex real ext-real set
a3 to_power 2 is complex real ext-real set
a3 |^ 2 is complex real ext-real set
(a3 to_power 2) * (a3 to_power 2) is complex real ext-real set
(a3 ^2) * (a3 to_power 2) is complex real ext-real set
(a3 ^2) * (a3 ^2) is complex real ext-real set
(a3 ^2) ^2 is complex real ext-real set
a * ((a3 ^2) ^2) is complex real ext-real set
(a * ((a3 ^2) ^2)) + (k * (a3 ^2)) is complex real ext-real set
((a * ((a3 ^2) ^2)) + (k * (a3 ^2))) + y is complex real ext-real set
Polynom (a,k,y,(a3 ^2)) is set
abs a3 is complex real ext-real M2( REAL )
- a3 is complex real ext-real set
(- a3) |^ 4 is complex real ext-real set
2 + 2 is complex real ext-real set
(- a3) to_power (2 + 2) is complex real ext-real set
(- a3) to_power 2 is complex real ext-real set
(- a3) |^ 2 is complex real ext-real set
((- a3) to_power 2) * ((- a3) to_power 2) is complex real ext-real set
(- a3) ^2 is complex real ext-real set
(- a3) * (- a3) is complex real ext-real set
((- a3) ^2) * ((- a3) to_power 2) is complex real ext-real set
(a3 ^2) * (a3 ^2) is complex real ext-real set
(a3 ^2) ^2 is complex real ext-real set
a * ((a3 ^2) ^2) is complex real ext-real set
(a * ((a3 ^2) ^2)) + (k * (a3 ^2)) is complex real ext-real set
((a * ((a3 ^2) ^2)) + (k * (a3 ^2))) + y is complex real ext-real set
Polynom (a,k,y,(a3 ^2)) is set
abs a3 is complex real ext-real M2( REAL )
- 1 is non zero complex real ext-real set
(- 1) * (- a3) is complex real ext-real set
(- 1) * (sqrt (((- k) + (sqrt (delta (a,k,y)))) / (2 * a))) is complex real ext-real set
(- 1) * (sqrt (((- k) - (sqrt (delta (a,k,y)))) / (2 * a))) is complex real ext-real set
a is complex real ext-real set
a4 is complex real ext-real set
a3 is complex real ext-real set
1 / a3 is complex real ext-real M2( COMPLEX )
a3 + (1 / a3) is complex real ext-real set
k is complex real ext-real set
y is complex real ext-real set
(a,k,y,k,a,a3) is complex real ext-real set
a3 |^ 4 is complex real ext-real set
a * (a3 |^ 4) is complex real ext-real set
a3 |^ 3 is complex real ext-real set
k * (a3 |^ 3) is complex real ext-real set
(a * (a3 |^ 4)) + (k * (a3 |^ 3)) is complex real ext-real set
a3 ^2 is complex real ext-real set
a3 * a3 is complex real ext-real set
y * (a3 ^2) is complex real ext-real set
((a * (a3 |^ 4)) + (k * (a3 |^ 3))) + (y * (a3 ^2)) is complex real ext-real set
k * a3 is complex real ext-real set
(((a * (a3 |^ 4)) + (k * (a3 |^ 3))) + (y * (a3 ^2))) + (k * a3) is complex real ext-real set
((((a * (a3 |^ 4)) + (k * (a3 |^ 3))) + (y * (a3 ^2))) + (k * a3)) + a is complex real ext-real set
a4 ^2 is complex real ext-real set
a4 * a4 is complex real ext-real set
a * (a4 ^2) is complex real ext-real set
k * a4 is complex real ext-real set
(a * (a4 ^2)) + (k * a4) is complex real ext-real set
((a * (a4 ^2)) + (k * a4)) + y is complex real ext-real set
2 * a is complex real ext-real set
(((a * (a4 ^2)) + (k * a4)) + y) - (2 * a) is complex real ext-real set
0 to_power 4 is complex real ext-real M2( REAL )
0 |^ 4 is natural complex real ext-real set
a * (0 to_power 4) is complex real ext-real set
0 |^ 3 is natural complex real ext-real V33() V34() V35() V36() V37() V38() V40() V53() M3( REAL , NAT )
k * (0 |^ 3) is complex real ext-real set
(a * (0 to_power 4)) + (k * (0 |^ 3)) is complex real ext-real set
((a * (0 to_power 4)) + (k * (0 |^ 3))) + a is complex real ext-real set
a * 0 is complex real ext-real set
(a * 0) + (k * (0 |^ 3)) is complex real ext-real set
((a * 0) + (k * (0 |^ 3))) + a is complex real ext-real set
k * 0 is complex real ext-real set
(a * 0) + (k * 0) is complex real ext-real set
((a * 0) + (k * 0)) + a is complex real ext-real set
2 + 2 is complex real ext-real set
a3 to_power (2 + 2) is complex real ext-real set
(k * a3) + a is complex real ext-real set
- ((k * a3) + a) is complex real ext-real set
a * (a3 ^2) is complex real ext-real set
(k * a3) + y is complex real ext-real set
(a * (a3 ^2)) + ((k * a3) + y) is complex real ext-real set
2 + 1 is complex real ext-real set
a3 to_power (2 + 1) is complex real ext-real set
a3 to_power 2 is complex real ext-real set
a3 |^ 2 is complex real ext-real set
a3 to_power 1 is complex real ext-real set
a3 |^ 1 is complex real ext-real set
(a3 to_power 2) * (a3 to_power 1) is complex real ext-real set
(a3 to_power 2) * a3 is complex real ext-real set
(a3 ^2) * a3 is complex real ext-real set
(a3 to_power 2) * (a3 to_power 2) is complex real ext-real set
(a3 ^2) * (a3 to_power 2) is complex real ext-real set
(a3 ^2) * (a3 ^2) is complex real ext-real set
((a * (a3 ^2)) + ((k * a3) + y)) * (a3 ^2) is complex real ext-real set
(- ((k * a3) + a)) * 1 is complex real ext-real set
((a * (a3 ^2)) + ((k * a3) + y)) / 1 is complex real ext-real M2( COMPLEX )
(- ((k * a3) + a)) / (a3 ^2) is complex real ext-real M2( COMPLEX )
1 / (a3 ^2) is complex real ext-real M2( COMPLEX )
(- ((k * a3) + a)) * (1 / (a3 ^2)) is complex real ext-real set
(a3 ^2) " is complex real ext-real set
(- ((k * a3) + a)) * ((a3 ^2) ") is complex real ext-real set
a3 * ((a3 ^2) ") is complex real ext-real set
k * (a3 * ((a3 ^2) ")) is complex real ext-real set
- (k * (a3 * ((a3 ^2) "))) is complex real ext-real set
a * ((a3 ^2) ") is complex real ext-real set
(- (k * (a3 * ((a3 ^2) ")))) - (a * ((a3 ^2) ")) is complex real ext-real set
(a3 ^2) + ((a3 ^2) ") is complex real ext-real set
a * ((a3 ^2) + ((a3 ^2) ")) is complex real ext-real set
(a3 * ((a3 ^2) ")) + a3 is complex real ext-real set
k * ((a3 * ((a3 ^2) ")) + a3) is complex real ext-real set
- (k * ((a3 * ((a3 ^2) ")) + a3)) is complex real ext-real set
(- (k * ((a3 * ((a3 ^2) ")) + a3))) - y is complex real ext-real set
(a3 ^2) + (1 / (a3 ^2)) is complex real ext-real set
a * ((a3 ^2) + (1 / (a3 ^2))) is complex real ext-real set
a3 * (1 / (a3 ^2)) is complex real ext-real set
(a3 * (1 / (a3 ^2))) + a3 is complex real ext-real set
k * ((a3 * (1 / (a3 ^2))) + a3) is complex real ext-real set
- (k * ((a3 * (1 / (a3 ^2))) + a3)) is complex real ext-real set
(- (k * ((a3 * (1 / (a3 ^2))) + a3))) - y is complex real ext-real set
1 / (a3 * a3) is complex real ext-real M2( COMPLEX )
(1 / a3) * (1 / a3) is complex real ext-real M2( COMPLEX )
a3 * (1 / a3) is complex real ext-real set
(a3 * (1 / a3)) * (1 / a3) is complex real ext-real set
((a3 * (1 / a3)) * (1 / a3)) + a3 is complex real ext-real set
k * (((a3 * (1 / a3)) * (1 / a3)) + a3) is complex real ext-real set
- (k * (((a3 * (1 / a3)) * (1 / a3)) + a3)) is complex real ext-real set
(- (k * (((a3 * (1 / a3)) * (1 / a3)) + a3))) - y is complex real ext-real set
1 * (1 / a3) is complex real ext-real set
(1 * (1 / a3)) + a3 is complex real ext-real set
k * ((1 * (1 / a3)) + a3) is complex real ext-real set
- (k * ((1 * (1 / a3)) + a3)) is complex real ext-real set
(- (k * ((1 * (1 / a3)) + a3))) - y is complex real ext-real set
a3 * a4 is complex real ext-real set
(a3 * a3) + (a3 * (1 / a3)) is complex real ext-real set
(a3 * a4) + 0 is complex real ext-real set
(a3 ^2) + 1 is complex real ext-real set
k * (a3 + (1 / a3)) is complex real ext-real set
- (k * (a3 + (1 / a3))) is complex real ext-real set
(- (k * (a3 + (1 / a3)))) - y is complex real ext-real set
(a3 ^2) - (a3 * a4) is complex real ext-real set
((a3 ^2) - (a3 * a4)) + 1 is complex real ext-real set
(k * a3) + a is complex real ext-real set
- ((k * a3) + a) is complex real ext-real set
a * (a3 ^2) is complex real ext-real set
(k * a3) + y is complex real ext-real set
(a * (a3 ^2)) + ((k * a3) + y) is complex real ext-real set
- a3 is complex real ext-real set
(- a3) |^ 3 is complex real ext-real set
((- a3) |^ 3) + (a3 |^ 3) is complex real ext-real set
- (a3 |^ 3) is complex real ext-real set
(a3 |^ 3) + (- (a3 |^ 3)) is complex real ext-real set
- ((a3 |^ 3) + (- (a3 |^ 3))) is complex real ext-real set
(a3 |^ 3) - (a3 |^ 3) is complex real ext-real set
- ((- a3) |^ 3) is complex real ext-real set
(- a3) |^ 4 is complex real ext-real set
(- a3) to_power (2 + 2) is complex real ext-real set
(- a3) to_power 2 is complex real ext-real set
(- a3) |^ 2 is complex real ext-real set
((- a3) to_power 2) * ((- a3) to_power 2) is complex real ext-real set
(- a3) ^2 is complex real ext-real set
(- a3) * (- a3) is complex real ext-real set
((- a3) ^2) * ((- a3) to_power 2) is complex real ext-real set
(a3 ^2) * ((- a3) ^2) is complex real ext-real set
2 + 1 is complex real ext-real set
(- a3) to_power (2 + 1) is complex real ext-real set
(- a3) to_power 1 is complex real ext-real set
(- a3) |^ 1 is complex real ext-real set
((- a3) to_power 2) * ((- a3) to_power 1) is complex real ext-real set
((- a3) to_power 2) * (- a3) is complex real ext-real set
((a * (a3 ^2)) + ((k * a3) + y)) * (a3 ^2) is complex real ext-real set
(- ((k * a3) + a)) * 1 is complex real ext-real set
((a * (a3 ^2)) + ((k * a3) + y)) / 1 is complex real ext-real M2( COMPLEX )
(- ((k * a3) + a)) / (a3 ^2) is complex real ext-real M2( COMPLEX )
1 / (a3 ^2) is complex real ext-real M2( COMPLEX )
(- ((k * a3) + a)) * (1 / (a3 ^2)) is complex real ext-real set
(a3 ^2) " is complex real ext-real set
(- ((k * a3) + a)) * ((a3 ^2) ") is complex real ext-real set
a3 * ((a3 ^2) ") is complex real ext-real set
k * (a3 * ((a3 ^2) ")) is complex real ext-real set
- (k * (a3 * ((a3 ^2) "))) is complex real ext-real set
a * ((a3 ^2) ") is complex real ext-real set
(- (k * (a3 * ((a3 ^2) ")))) - (a * ((a3 ^2) ")) is complex real ext-real set
(a3 ^2) + ((a3 ^2) ") is complex real ext-real set
a * ((a3 ^2) + ((a3 ^2) ")) is complex real ext-real set
(a3 * ((a3 ^2) ")) + a3 is complex real ext-real set
k * ((a3 * ((a3 ^2) ")) + a3) is complex real ext-real set
- (k * ((a3 * ((a3 ^2) ")) + a3)) is complex real ext-real set
(- (k * ((a3 * ((a3 ^2) ")) + a3))) - y is complex real ext-real set
(a3 ^2) + (1 / (a3 ^2)) is complex real ext-real set
a * ((a3 ^2) + (1 / (a3 ^2))) is complex real ext-real set
a3 * (1 / (a3 ^2)) is complex real ext-real set
(a3 * (1 / (a3 ^2))) + a3 is complex real ext-real set
k * ((a3 * (1 / (a3 ^2))) + a3) is complex real ext-real set
- (k * ((a3 * (1 / (a3 ^2))) + a3)) is complex real ext-real set
(- (k * ((a3 * (1 / (a3 ^2))) + a3))) - y is complex real ext-real set
(1 / a3) * (1 / a3) is complex real ext-real M2( COMPLEX )
a3 * ((1 / a3) * (1 / a3)) is complex real ext-real set
(a3 * ((1 / a3) * (1 / a3))) + a3 is complex real ext-real set
k * ((a3 * ((1 / a3) * (1 / a3))) + a3) is complex real ext-real set
- (k * ((a3 * ((1 / a3) * (1 / a3))) + a3)) is complex real ext-real set
(- (k * ((a3 * ((1 / a3) * (1 / a3))) + a3))) - y is complex real ext-real set
a3 * (1 / a3) is complex real ext-real set
(a3 * (1 / a3)) * (1 / a3) is complex real ext-real set
((a3 * (1 / a3)) * (1 / a3)) + a3 is complex real ext-real set
k * (((a3 * (1 / a3)) * (1 / a3)) + a3) is complex real ext-real set
- (k * (((a3 * (1 / a3)) * (1 / a3)) + a3)) is complex real ext-real set
(- (k * (((a3 * (1 / a3)) * (1 / a3)) + a3))) - y is complex real ext-real set
1 * (1 / a3) is complex real ext-real set
(1 * (1 / a3)) + a3 is complex real ext-real set
k * ((1 * (1 / a3)) + a3) is complex real ext-real set
- (k * ((1 * (1 / a3)) + a3)) is complex real ext-real set
(- (k * ((1 * (1 / a3)) + a3))) - y is complex real ext-real set
a3 * a4 is complex real ext-real set
(a3 * a3) + (a3 * (1 / a3)) is complex real ext-real set
(a3 * a3) + 1 is complex real ext-real set
k * (a3 + (1 / a3)) is complex real ext-real set
- (k * (a3 + (1 / a3))) is complex real ext-real set
(- (k * (a3 + (1 / a3)))) - y is complex real ext-real set
(a3 ^2) - (a3 * a4) is complex real ext-real set
((a3 ^2) - (a3 * a4)) + 1 is complex real ext-real set
1 / (a3 ^2) is complex real ext-real M2( COMPLEX )
(a3 ^2) + (1 / (a3 ^2)) is complex real ext-real set
a * ((a3 ^2) + (1 / (a3 ^2))) is complex real ext-real set
k * (a3 + (1 / a3)) is complex real ext-real set
- (k * (a3 + (1 / a3))) is complex real ext-real set
(- (k * (a3 + (1 / a3)))) - y is complex real ext-real set
a3 * a4 is complex real ext-real set
(a3 ^2) - (a3 * a4) is complex real ext-real set
((a3 ^2) - (a3 * a4)) + 1 is complex real ext-real set
1 / (a3 ^2) is complex real ext-real M2( COMPLEX )
(a3 ^2) + (1 / (a3 ^2)) is complex real ext-real set
a * ((a3 ^2) + (1 / (a3 ^2))) is complex real ext-real set
k * (a3 + (1 / a3)) is complex real ext-real set
- (k * (a3 + (1 / a3))) is complex real ext-real set
(- (k * (a3 + (1 / a3)))) - y is complex real ext-real set
a3 * a4 is complex real ext-real set
(a3 ^2) - (a3 * a4) is complex real ext-real set
((a3 ^2) - (a3 * a4)) + 1 is complex real ext-real set
a3 * (1 / a3) is complex real ext-real set
2 * (a3 * (1 / a3)) is complex real ext-real set
(a3 ^2) + (2 * (a3 * (1 / a3))) is complex real ext-real set
(1 / a3) ^2 is complex real ext-real M2( COMPLEX )
(1 / a3) * (1 / a3) is complex real ext-real set
((a3 ^2) + (2 * (a3 * (1 / a3)))) + ((1 / a3) ^2) is complex real ext-real set
(a3 ^2) + (2 * 1) is complex real ext-real set
((a3 ^2) + (2 * 1)) + ((1 / a3) ^2) is complex real ext-real set
(a3 ^2) + 2 is complex real ext-real set
1 ^2 is complex real ext-real M2( REAL )
1 * 1 is non zero complex real ext-real set
(1 ^2) / (a3 ^2) is complex real ext-real M2( COMPLEX )
((a3 ^2) + 2) + ((1 ^2) / (a3 ^2)) is complex real ext-real set
- 2 is non zero complex real ext-real set
(- 2) - (1 / (a3 ^2)) is complex real ext-real set
(a3 ^2) - ((- 2) - (1 / (a3 ^2))) is complex real ext-real set
(a * (a4 ^2)) - (2 * a) is complex real ext-real set
- (k * a4) is complex real ext-real set
(- (k * a4)) - y is complex real ext-real set
a is complex real ext-real set
k is complex real ext-real set
k ^2 is complex real ext-real set
k * k is complex real ext-real set
4 * a is complex real ext-real set
y is complex real ext-real set
(4 * a) * y is complex real ext-real set
(k ^2) - ((4 * a) * y) is complex real ext-real set
a ^2 is complex real ext-real set
a * a is complex real ext-real set
8 * (a ^2) is complex real ext-real set
((k ^2) - ((4 * a) * y)) + (8 * (a ^2)) is complex real ext-real set
a4 is complex real ext-real set
a3 is complex real ext-real set
1 / a3 is complex real ext-real M2( COMPLEX )
a3 + (1 / a3) is complex real ext-real set
(a,k,y,k,a,a3) is complex real ext-real set
a3 |^ 4 is complex real ext-real set
a * (a3 |^ 4) is complex real ext-real set
a3 |^ 3 is complex real ext-real set
k * (a3 |^ 3) is complex real ext-real set
(a * (a3 |^ 4)) + (k * (a3 |^ 3)) is complex real ext-real set
a3 ^2 is complex real ext-real set
a3 * a3 is complex real ext-real set
y * (a3 ^2) is complex real ext-real set
((a * (a3 |^ 4)) + (k * (a3 |^ 3))) + (y * (a3 ^2)) is complex real ext-real set
k * a3 is complex real ext-real set
(((a * (a3 |^ 4)) + (k * (a3 |^ 3))) + (y * (a3 ^2))) + (k * a3) is complex real ext-real set
((((a * (a3 |^ 4)) + (k * (a3 |^ 3))) + (y * (a3 ^2))) + (k * a3)) + a is complex real ext-real set
- k is complex real ext-real set
sqrt (((k ^2) - ((4 * a) * y)) + (8 * (a ^2))) is complex real ext-real set
(- k) + (sqrt (((k ^2) - ((4 * a) * y)) + (8 * (a ^2)))) is complex real ext-real set
2 * a is complex real ext-real set
((- k) + (sqrt (((k ^2) - ((4 * a) * y)) + (8 * (a ^2))))) / (2 * a) is complex real ext-real M2( COMPLEX )
(- k) - (sqrt (((k ^2) - ((4 * a) * y)) + (8 * (a ^2)))) is complex real ext-real set
((- k) - (sqrt (((k ^2) - ((4 * a) * y)) + (8 * (a ^2))))) / (2 * a) is complex real ext-real M2( COMPLEX )
y - (2 * a) is complex real ext-real set
a4 ^2 is complex real ext-real set
a4 * a4 is complex real ext-real set
a * (a4 ^2) is complex real ext-real set
k * a4 is complex real ext-real set
(a * (a4 ^2)) + (k * a4) is complex real ext-real set
((a * (a4 ^2)) + (k * a4)) + y is complex real ext-real set
(((a * (a4 ^2)) + (k * a4)) + y) - (2 * a) is complex real ext-real set
((a * (a4 ^2)) + (k * a4)) + (y - (2 * a)) is complex real ext-real set
Polynom (a,k,(y - (2 * a)),a4) is set
x1 is complex real ext-real set
x2 is complex real ext-real set
- x1 is complex real ext-real set
delta (1,(- x1),1) is complex real ext-real set
sqrt (delta (1,(- x1),1)) is complex real ext-real set
x1 + (sqrt (delta (1,(- x1),1))) is complex real ext-real set
(x1 + (sqrt (delta (1,(- x1),1)))) / 2 is complex real ext-real M2( COMPLEX )
- x2 is complex real ext-real set
delta (1,(- x2),1) is complex real ext-real set
sqrt (delta (1,(- x2),1)) is complex real ext-real set
x2 + (sqrt (delta (1,(- x2),1))) is complex real ext-real set
(x2 + (sqrt (delta (1,(- x2),1)))) / 2 is complex real ext-real M2( COMPLEX )
x1 - (sqrt (delta (1,(- x1),1))) is complex real ext-real set
(x1 - (sqrt (delta (1,(- x1),1)))) / 2 is complex real ext-real M2( COMPLEX )
x2 - (sqrt (delta (1,(- x2),1))) is complex real ext-real set
(x2 - (sqrt (delta (1,(- x2),1)))) / 2 is complex real ext-real M2( COMPLEX )
a3 * a4 is complex real ext-real set
a3 * (1 / a3) is complex real ext-real set
(a3 ^2) + (a3 * (1 / a3)) is complex real ext-real set
(a3 * a4) + 0 is complex real ext-real set
(a3 ^2) + 1 is complex real ext-real set
1 * (a3 ^2) is complex real ext-real set
- a4 is complex real ext-real set
(- a4) * a3 is complex real ext-real set
(1 * (a3 ^2)) + ((- a4) * a3) is complex real ext-real set
((1 * (a3 ^2)) + ((- a4) * a3)) + 1 is complex real ext-real set
Polynom (1,(- a4),1,a3) is set
delta (1,(- a4),1) is complex real ext-real set
(- a4) ^2 is complex real ext-real set
(- a4) * (- a4) is complex real ext-real set
4 * 1 is non zero complex real ext-real set
(4 * 1) * 1 is non zero complex real ext-real set
((- a4) ^2) - ((4 * 1) * 1) is complex real ext-real set
2 * (a3 * (1 / a3)) is complex real ext-real set
(a3 ^2) + (2 * (a3 * (1 / a3))) is complex real ext-real set
(1 / a3) ^2 is complex real ext-real M2( COMPLEX )
(1 / a3) * (1 / a3) is complex real ext-real set
((a3 ^2) + (2 * (a3 * (1 / a3)))) + ((1 / a3) ^2) is complex real ext-real set
(((a3 ^2) + (2 * (a3 * (1 / a3)))) + ((1 / a3) ^2)) - 4 is complex real ext-real set
(a3 ^2) + (2 * 1) is complex real ext-real set
((a3 ^2) + (2 * 1)) + ((1 / a3) ^2) is complex real ext-real set
(((a3 ^2) + (2 * 1)) + ((1 / a3) ^2)) - 4 is complex real ext-real set
- (2 * 1) is non zero complex real ext-real set
(- (2 * 1)) + ((1 / a3) ^2) is complex real ext-real set
(a3 ^2) + ((- (2 * 1)) + ((1 / a3) ^2)) is complex real ext-real set
- (2 * (a3 * (1 / a3))) is complex real ext-real set
(- (2 * (a3 * (1 / a3)))) + ((1 / a3) ^2) is complex real ext-real set
(a3 ^2) + ((- (2 * (a3 * (1 / a3)))) + ((1 / a3) ^2)) is complex real ext-real set
a3 - (1 / a3) is complex real ext-real set
(a3 - (1 / a3)) ^2 is complex real ext-real set
(a3 - (1 / a3)) * (a3 - (1 / a3)) is complex real ext-real set
- (- a4) is complex real ext-real set
sqrt (delta (1,(- a4),1)) is complex real ext-real set
(- (- a4)) + (sqrt (delta (1,(- a4),1))) is complex real ext-real set
((- (- a4)) + (sqrt (delta (1,(- a4),1)))) / (2 * 1) is complex real ext-real M2( COMPLEX )
(- (- a4)) - (sqrt (delta (1,(- a4),1))) is complex real ext-real set
((- (- a4)) - (sqrt (delta (1,(- a4),1)))) / (2 * 1) is complex real ext-real M2( COMPLEX )
(4 * a) * (y - (2 * a)) is complex real ext-real set
(k ^2) - ((4 * a) * (y - (2 * a))) is complex real ext-real set
delta (a,k,(y - (2 * a))) is complex real ext-real set
sqrt (delta (a,k,(y - (2 * a)))) is complex real ext-real set
(- k) + (sqrt (delta (a,k,(y - (2 * a))))) is complex real ext-real set
((- k) + (sqrt (delta (a,k,(y - (2 * a)))))) / (2 * a) is complex real ext-real M2( COMPLEX )
(- k) - (sqrt (delta (a,k,(y - (2 * a))))) is complex real ext-real set
((- k) - (sqrt (delta (a,k,(y - (2 * a)))))) / (2 * a) is complex real ext-real M2( COMPLEX )
a is complex real ext-real set
a |^ 3 is complex real ext-real set
a ^2 is complex real ext-real set
a * a is complex real ext-real set
(a ^2) * a is complex real ext-real set
(a |^ 3) * a is complex real ext-real set
a |^ 4 is complex real ext-real set
(a ^2) * (a ^2) is complex real ext-real set
a to_power 1 is complex real ext-real set
a |^ 1 is complex real ext-real set
(a |^ 3) * (a to_power 1) is complex real ext-real set
a to_power 3 is complex real ext-real set
(a to_power 3) * (a to_power 1) is complex real ext-real set
3 + 1 is complex real ext-real set
a to_power (3 + 1) is complex real ext-real set
a to_power 2 is complex real ext-real set
a |^ 2 is complex real ext-real set
(a to_power 2) * (a to_power 1) is complex real ext-real set
2 + 1 is complex real ext-real set
a to_power (2 + 1) is complex real ext-real set
- a is complex real ext-real set
(- a) |^ 3 is complex real ext-real set
((- a) |^ 3) + (a |^ 3) is complex real ext-real set
- (a |^ 3) is complex real ext-real set
(a |^ 3) + (- (a |^ 3)) is complex real ext-real set
- ((a |^ 3) + (- (a |^ 3))) is complex real ext-real set
(a |^ 3) - (a |^ 3) is complex real ext-real set
((- a) |^ 3) - ((- a) |^ 3) is complex real ext-real set
(a |^ 3) + (((- a) |^ 3) - ((- a) |^ 3)) is complex real ext-real set
0 - ((- a) |^ 3) is complex real ext-real set
(- a) to_power 2 is complex real ext-real set
(- a) |^ 2 is complex real ext-real set
(- a) ^2 is complex real ext-real set
(- a) * (- a) is complex real ext-real set
2 + 1 is complex real ext-real set
(- a) to_power (2 + 1) is complex real ext-real set
(- a) to_power 1 is complex real ext-real set
(- a) |^ 1 is complex real ext-real set
((- a) to_power 2) * ((- a) to_power 1) is complex real ext-real set
((- a) to_power 2) * (- a) is complex real ext-real set
(- a) |^ 4 is complex real ext-real set
3 + 1 is complex real ext-real set
(- a) to_power (3 + 1) is complex real ext-real set
(- a) to_power 3 is complex real ext-real set
((- a) to_power 3) * ((- a) to_power 1) is complex real ext-real set
((- a) |^ 3) * ((- a) to_power 1) is complex real ext-real set
((- a) |^ 3) * (- a) is complex real ext-real set
(a ^2) * (a * a) is complex real ext-real set
a is complex real ext-real set
k is complex real ext-real set
a + k is complex real ext-real set
(a + k) |^ 4 is complex real ext-real set
a |^ 3 is complex real ext-real set
3 * k is complex real ext-real set
a ^2 is complex real ext-real set
a * a is complex real ext-real set
(3 * k) * (a ^2) is complex real ext-real set
k ^2 is complex real ext-real set
k * k is complex real ext-real set
3 * (k ^2) is complex real ext-real set
(3 * (k ^2)) * a is complex real ext-real set
((3 * k) * (a ^2)) + ((3 * (k ^2)) * a) is complex real ext-real set
(a |^ 3) + (((3 * k) * (a ^2)) + ((3 * (k ^2)) * a)) is complex real ext-real set
k |^ 3 is complex real ext-real set
((a |^ 3) + (((3 * k) * (a ^2)) + ((3 * (k ^2)) * a))) + (k |^ 3) is complex real ext-real set
(((a |^ 3) + (((3 * k) * (a ^2)) + ((3 * (k ^2)) * a))) + (k |^ 3)) * a is complex real ext-real set
(((a |^ 3) + (((3 * k) * (a ^2)) + ((3 * (k ^2)) * a))) + (k |^ 3)) * k is complex real ext-real set
((((a |^ 3) + (((3 * k) * (a ^2)) + ((3 * (k ^2)) * a))) + (k |^ 3)) * a) + ((((a |^ 3) + (((3 * k) * (a ^2)) + ((3 * (k ^2)) * a))) + (k |^ 3)) * k) is complex real ext-real set
3 + 1 is complex real ext-real set
(a + k) to_power (3 + 1) is complex real ext-real set
(a + k) to_power 3 is complex real ext-real set
(a + k) |^ 3 is complex real ext-real set
(a + k) to_power 1 is complex real ext-real set
(a + k) |^ 1 is complex real ext-real set
((a + k) to_power 3) * ((a + k) to_power 1) is complex real ext-real set
((a + k) to_power 3) * (a + k) is complex real ext-real set
((a + k) |^ 3) * (a + k) is complex real ext-real set
(((a |^ 3) + (((3 * k) * (a ^2)) + ((3 * (k ^2)) * a))) + (k |^ 3)) * (a + k) is complex real ext-real set
- (a + k) is complex real ext-real set
(- (a + k)) |^ 4 is complex real ext-real set
3 + 1 is complex real ext-real set
(- (a + k)) to_power (3 + 1) is complex real ext-real set
(- (a + k)) to_power 3 is complex real ext-real set
(- (a + k)) |^ 3 is complex real ext-real set
(- (a + k)) to_power 1 is complex real ext-real set
(- (a + k)) |^ 1 is complex real ext-real set
((- (a + k)) to_power 3) * ((- (a + k)) to_power 1) is complex real ext-real set
((- (a + k)) |^ 3) * ((- (a + k)) to_power 1) is complex real ext-real set
((- (a + k)) |^ 3) * (- (a + k)) is complex real ext-real set
(a + k) |^ 3 is complex real ext-real set
- ((a + k) |^ 3) is complex real ext-real set
(- ((a + k) |^ 3)) * (- (a + k)) is complex real ext-real set
((a + k) |^ 3) * (a + k) is complex real ext-real set
(((a |^ 3) + (((3 * k) * (a ^2)) + ((3 * (k ^2)) * a))) + (k |^ 3)) * (a + k) is complex real ext-real set
6 is non zero natural complex real ext-real positive V33() V34() V35() V36() V37() V38() V40() V53() M3( REAL , NAT )
a is complex real ext-real set
k is complex real ext-real set
a + k is complex real ext-real set
(a + k) |^ 4 is complex real ext-real set
a |^ 4 is complex real ext-real set
4 * k is complex real ext-real set
a |^ 3 is complex real ext-real set
(4 * k) * (a |^ 3) is complex real ext-real set
k ^2 is complex real ext-real set
k * k is complex real ext-real set
6 * (k ^2) is complex real ext-real set
a ^2 is complex real ext-real set
a * a is complex real ext-real set
(6 * (k ^2)) * (a ^2) is complex real ext-real set
((4 * k) * (a |^ 3)) + ((6 * (k ^2)) * (a ^2)) is complex real ext-real set
k |^ 3 is complex real ext-real set
4 * (k |^ 3) is complex real ext-real set
(4 * (k |^ 3)) * a is complex real ext-real set
(((4 * k) * (a |^ 3)) + ((6 * (k ^2)) * (a ^2))) + ((4 * (k |^ 3)) * a) is complex real ext-real set
(a |^ 4) + ((((4 * k) * (a |^ 3)) + ((6 * (k ^2)) * (a ^2))) + ((4 * (k |^ 3)) * a)) is complex real ext-real set
k |^ 4 is complex real ext-real set
((a |^ 4) + ((((4 * k) * (a |^ 3)) + ((6 * (k ^2)) * (a ^2))) + ((4 * (k |^ 3)) * a))) + (k |^ 4) is complex real ext-real set
3 * k is complex real ext-real set
(3 * k) * (a ^2) is complex real ext-real set
3 * (k ^2) is complex real ext-real set
(3 * (k ^2)) * a is complex real ext-real set
((3 * k) * (a ^2)) + ((3 * (k ^2)) * a) is complex real ext-real set
(a |^ 3) + (((3 * k) * (a ^2)) + ((3 * (k ^2)) * a)) is complex real ext-real set
((a |^ 3) + (((3 * k) * (a ^2)) + ((3 * (k ^2)) * a))) + (k |^ 3) is complex real ext-real set
(((a |^ 3) + (((3 * k) * (a ^2)) + ((3 * (k ^2)) * a))) + (k |^ 3)) * a is complex real ext-real set
(((a |^ 3) + (((3 * k) * (a ^2)) + ((3 * (k ^2)) * a))) + (k |^ 3)) * k is complex real ext-real set
(a |^ 3) * a is complex real ext-real set
(((3 * k) * (a ^2)) + ((3 * (k ^2)) * a)) * a is complex real ext-real set
((a |^ 3) * a) + ((((3 * k) * (a ^2)) + ((3 * (k ^2)) * a)) * a) is complex real ext-real set
(k |^ 3) * a is complex real ext-real set
(((a |^ 3) * a) + ((((3 * k) * (a ^2)) + ((3 * (k ^2)) * a)) * a)) + ((k |^ 3) * a) is complex real ext-real set
(k ^2) * k is complex real ext-real set
((((a |^ 3) + (((3 * k) * (a ^2)) + ((3 * (k ^2)) * a))) + (k |^ 3)) * a) + ((((a |^ 3) + (((3 * k) * (a ^2)) + ((3 * (k ^2)) * a))) + (k |^ 3)) * k) is complex real ext-real set
(a |^ 3) * k is complex real ext-real set
(((3 * k) * (a ^2)) + ((3 * (k ^2)) * a)) * k is complex real ext-real set
((a |^ 3) * k) + ((((3 * k) * (a ^2)) + ((3 * (k ^2)) * a)) * k) is complex real ext-real set
(k |^ 3) * k is complex real ext-real set
(((a |^ 3) * k) + ((((3 * k) * (a ^2)) + ((3 * (k ^2)) * a)) * k)) + ((k |^ 3) * k) is complex real ext-real set
(((a |^ 3) * k) + ((((3 * k) * (a ^2)) + ((3 * (k ^2)) * a)) * k)) + (k |^ 4) is complex real ext-real set
(a ^2) * a is complex real ext-real set
(3 * k) * ((a ^2) * a) is complex real ext-real set
- ((3 * (k ^2)) * a) is complex real ext-real set
(- ((3 * (k ^2)) * a)) * a is complex real ext-real set
((3 * k) * ((a ^2) * a)) - ((- ((3 * (k ^2)) * a)) * a) is complex real ext-real set
(a |^ 4) + (((3 * k) * ((a ^2) * a)) - ((- ((3 * (k ^2)) * a)) * a)) is complex real ext-real set
((a |^ 4) + (((3 * k) * ((a ^2) * a)) - ((- ((3 * (k ^2)) * a)) * a))) + ((k |^ 3) * a) is complex real ext-real set
(((a |^ 4) + (((3 * k) * ((a ^2) * a)) - ((- ((3 * (k ^2)) * a)) * a))) + ((k |^ 3) * a)) + ((((a |^ 3) * k) + ((((3 * k) * (a ^2)) + ((3 * (k ^2)) * a)) * k)) + (k |^ 4)) is complex real ext-real set
(3 * k) * (a |^ 3) is complex real ext-real set
(3 * (k ^2)) * (a ^2) is complex real ext-real set
- ((3 * (k ^2)) * (a ^2)) is complex real ext-real set
((3 * k) * (a |^ 3)) - (- ((3 * (k ^2)) * (a ^2))) is complex real ext-real set
(a |^ 4) + (((3 * k) * (a |^ 3)) - (- ((3 * (k ^2)) * (a ^2)))) is complex real ext-real set
((a |^ 4) + (((3 * k) * (a |^ 3)) - (- ((3 * (k ^2)) * (a ^2))))) + ((k |^ 3) * a) is complex real ext-real set
(((a |^ 4) + (((3 * k) * (a |^ 3)) - (- ((3 * (k ^2)) * (a ^2))))) + ((k |^ 3) * a)) + ((((a |^ 3) * k) + ((((3 * k) * (a ^2)) + ((3 * (k ^2)) * a)) * k)) + (k |^ 4)) is complex real ext-real set
(a |^ 4) + ((3 * k) * (a |^ 3)) is complex real ext-real set
((3 * (k ^2)) * (a ^2)) + ((k |^ 3) * a) is complex real ext-real set
((a |^ 4) + ((3 * k) * (a |^ 3))) + (((3 * (k ^2)) * (a ^2)) + ((k |^ 3) * a)) is complex real ext-real set
((3 * (k ^2)) * a) * k is complex real ext-real set
((3 * (k ^2)) * (a ^2)) + (((3 * (k ^2)) * a) * k) is complex real ext-real set
((a |^ 3) * k) + (((3 * (k ^2)) * (a ^2)) + (((3 * (k ^2)) * a) * k)) is complex real ext-real set
(((a |^ 3) * k) + (((3 * (k ^2)) * (a ^2)) + (((3 * (k ^2)) * a) * k))) + (k |^ 4) is complex real ext-real set
(((a |^ 4) + ((3 * k) * (a |^ 3))) + (((3 * (k ^2)) * (a ^2)) + ((k |^ 3) * a))) + ((((a |^ 3) * k) + (((3 * (k ^2)) * (a ^2)) + (((3 * (k ^2)) * a) * k))) + (k |^ 4)) is complex real ext-real set
- 1 is non zero complex real ext-real set
k is complex real ext-real set
y is complex real ext-real set
a3 is complex real ext-real set
a4 is complex real ext-real set
a5 is complex real ext-real set
x1 is complex real ext-real set
x2 is complex real ext-real set
x3 is complex real ext-real set
x4 is complex real ext-real set
b5 is complex real ext-real set
k - y is complex real ext-real set
(k - y) + a3 is complex real ext-real set
((k - y) + a3) - a4 is complex real ext-real set
x1 - x2 is complex real ext-real set
(x1 - x2) + x3 is complex real ext-real set
((x1 - x2) + x3) - x4 is complex real ext-real set
k + y is complex real ext-real set
(k + y) + a3 is complex real ext-real set
((k + y) + a3) + a4 is complex real ext-real set
x1 + x2 is complex real ext-real set
(x1 + x2) + x3 is complex real ext-real set
((x1 + x2) + x3) + x4 is complex real ext-real set
0 |^ 3 is natural complex real ext-real V33() V34() V35() V36() V37() V38() V40() V53() M3( REAL , NAT )
0 |^ 4 is natural complex real ext-real V33() V34() V35() V36() V37() V38() V40() V53() M3( REAL , NAT )
(k,y,a3,a4,a5,(- 1)) is complex real ext-real set
(- 1) |^ 4 is complex real ext-real set
k * ((- 1) |^ 4) is complex real ext-real set
(- 1) |^ 3 is complex real ext-real set
y * ((- 1) |^ 3) is complex real ext-real set
(k * ((- 1) |^ 4)) + (y * ((- 1) |^ 3)) is complex real ext-real set
(- 1) ^2 is complex real ext-real set
(- 1) * (- 1) is non zero complex real ext-real set
a3 * ((- 1) ^2) is complex real ext-real set
((k * ((- 1) |^ 4)) + (y * ((- 1) |^ 3))) + (a3 * ((- 1) ^2)) is complex real ext-real set
a4 * (- 1) is complex real ext-real set
(((k * ((- 1) |^ 4)) + (y * ((- 1) |^ 3))) + (a3 * ((- 1) ^2))) + (a4 * (- 1)) is complex real ext-real set
((((k * ((- 1) |^ 4)) + (y * ((- 1) |^ 3))) + (a3 * ((- 1) ^2))) + (a4 * (- 1))) + a5 is complex real ext-real set
(x1,x2,x3,x4,b5,(- 1)) is complex real ext-real set
x1 * ((- 1) |^ 4) is complex real ext-real set
x2 * ((- 1) |^ 3) is complex real ext-real set
(x1 * ((- 1) |^ 4)) + (x2 * ((- 1) |^ 3)) is complex real ext-real set
x3 * ((- 1) ^2) is complex real ext-real set
((x1 * ((- 1) |^ 4)) + (x2 * ((- 1) |^ 3))) + (x3 * ((- 1) ^2)) is complex real ext-real set
x4 * (- 1) is complex real ext-real set
(((x1 * ((- 1) |^ 4)) + (x2 * ((- 1) |^ 3))) + (x3 * ((- 1) ^2))) + (x4 * (- 1)) is complex real ext-real set
((((x1 * ((- 1) |^ 4)) + (x2 * ((- 1) |^ 3))) + (x3 * ((- 1) ^2))) + (x4 * (- 1))) + b5 is complex real ext-real set
1 |^ 3 is natural complex real ext-real V33() V34() V35() V36() V37() V38() V40() V53() M3( REAL , NAT )
1 |^ 4 is natural complex real ext-real V33() V34() V35() V36() V37() V38() V40() V53() M3( REAL , NAT )
((- 1) ^2) * (- 1) is complex real ext-real set
((- 1) |^ 3) * (- 1) is complex real ext-real set
(k,y,a3,a4,a5,0) is complex real ext-real set
0 |^ 4 is natural complex real ext-real set
k * (0 |^ 4) is complex real ext-real set
0 |^ 3 is natural complex real ext-real set
y * (0 |^ 3) is complex real ext-real set
(k * (0 |^ 4)) + (y * (0 |^ 3)) is complex real ext-real set
0 ^2 is complex real ext-real set
0 * 0 is complex real ext-real set
a3 * (0 ^2) is complex real ext-real set
((k * (0 |^ 4)) + (y * (0 |^ 3))) + (a3 * (0 ^2)) is complex real ext-real set
a4 * 0 is complex real ext-real set
(((k * (0 |^ 4)) + (y * (0 |^ 3))) + (a3 * (0 ^2))) + (a4 * 0) is complex real ext-real set
((((k * (0 |^ 4)) + (y * (0 |^ 3))) + (a3 * (0 ^2))) + (a4 * 0)) + a5 is complex real ext-real set
(x1,x2,x3,x4,b5,0) is complex real ext-real set
x1 * (0 |^ 4) is complex real ext-real set
x2 * (0 |^ 3) is complex real ext-real set
(x1 * (0 |^ 4)) + (x2 * (0 |^ 3)) is complex real ext-real set
x3 * (0 ^2) is complex real ext-real set
((x1 * (0 |^ 4)) + (x2 * (0 |^ 3))) + (x3 * (0 ^2)) is complex real ext-real set
x4 * 0 is complex real ext-real set
(((x1 * (0 |^ 4)) + (x2 * (0 |^ 3))) + (x3 * (0 ^2))) + (x4 * 0) is complex real ext-real set
((((x1 * (0 |^ 4)) + (x2 * (0 |^ 3))) + (x3 * (0 ^2))) + (x4 * 0)) + b5 is complex real ext-real set
(k,y,a3,a4,a5,1) is complex real ext-real set
1 |^ 4 is natural complex real ext-real set
k * (1 |^ 4) is complex real ext-real set
1 |^ 3 is natural complex real ext-real set
y * (1 |^ 3) is complex real ext-real set
(k * (1 |^ 4)) + (y * (1 |^ 3)) is complex real ext-real set
1 ^2 is complex real ext-real set
1 * 1 is non zero complex real ext-real set
a3 * (1 ^2) is complex real ext-real set
((k * (1 |^ 4)) + (y * (1 |^ 3))) + (a3 * (1 ^2)) is complex real ext-real set
a4 * 1 is complex real ext-real set
(((k * (1 |^ 4)) + (y * (1 |^ 3))) + (a3 * (1 ^2))) + (a4 * 1) is complex real ext-real set
((((k * (1 |^ 4)) + (y * (1 |^ 3))) + (a3 * (1 ^2))) + (a4 * 1)) + a5 is complex real ext-real set
(x1,x2,x3,x4,b5,1) is complex real ext-real set
x1 * (1 |^ 4) is complex real ext-real set
x2 * (1 |^ 3) is complex real ext-real set
(x1 * (1 |^ 4)) + (x2 * (1 |^ 3)) is complex real ext-real set
x3 * (1 ^2) is complex real ext-real set
((x1 * (1 |^ 4)) + (x2 * (1 |^ 3))) + (x3 * (1 ^2)) is complex real ext-real set
x4 * 1 is complex real ext-real set
(((x1 * (1 |^ 4)) + (x2 * (1 |^ 3))) + (x3 * (1 ^2))) + (x4 * 1) is complex real ext-real set
((((x1 * (1 |^ 4)) + (x2 * (1 |^ 3))) + (x3 * (1 ^2))) + (x4 * 1)) + b5 is complex real ext-real set
a is complex real ext-real set
k is complex real ext-real set
y is complex real ext-real set
a3 is complex real ext-real set
a4 is complex real ext-real set
a5 is complex real ext-real set
x1 is complex real ext-real set
x2 is complex real ext-real set
x3 is complex real ext-real set
x4 is complex real ext-real set
a - a5 is complex real ext-real set
x2 - y is complex real ext-real set
k - x1 is complex real ext-real set
x3 - a3 is complex real ext-real set
a - k is complex real ext-real set
(a - k) + y is complex real ext-real set
((a - k) + y) - a3 is complex real ext-real set
a5 - x1 is complex real ext-real set
(a5 - x1) + x2 is complex real ext-real set
((a5 - x1) + x2) - x3 is complex real ext-real set
a + k is complex real ext-real set
(a + k) + y is complex real ext-real set
((a + k) + y) + a3 is complex real ext-real set
a5 + x1 is complex real ext-real set
(a5 + x1) + x2 is complex real ext-real set
((a5 + x1) + x2) + x3 is complex real ext-real set
- 2 is non zero complex real ext-real set
(- 2) |^ 3 is complex real ext-real set
(- 2) ^2 is complex real ext-real set
(- 2) * (- 2) is non zero complex real ext-real set
((- 2) ^2) * (- 2) is complex real ext-real set
4 * 2 is non zero complex real ext-real set
- (4 * 2) is non zero complex real ext-real set
(- 2) |^ 4 is complex real ext-real set
a is complex real ext-real set
k is complex real ext-real set
y is complex real ext-real set
a3 is complex real ext-real set
a4 is complex real ext-real set
a5 is complex real ext-real set
x1 is complex real ext-real set
x2 is complex real ext-real set
x3 is complex real ext-real set
x4 is complex real ext-real set
(a,k,y,a3,a4,(- 2)) is complex real ext-real set
a * ((- 2) |^ 4) is complex real ext-real set
k * ((- 2) |^ 3) is complex real ext-real set
(a * ((- 2) |^ 4)) + (k * ((- 2) |^ 3)) is complex real ext-real set
y * ((- 2) ^2) is complex real ext-real set
((a * ((- 2) |^ 4)) + (k * ((- 2) |^ 3))) + (y * ((- 2) ^2)) is complex real ext-real set
a3 * (- 2) is complex real ext-real set
(((a * ((- 2) |^ 4)) + (k * ((- 2) |^ 3))) + (y * ((- 2) ^2))) + (a3 * (- 2)) is complex real ext-real set
((((a * ((- 2) |^ 4)) + (k * ((- 2) |^ 3))) + (y * ((- 2) ^2))) + (a3 * (- 2))) + a4 is complex real ext-real set
(a5,x1,x2,x3,x4,(- 2)) is complex real ext-real set
a5 * ((- 2) |^ 4) is complex real ext-real set
x1 * ((- 2) |^ 3) is complex real ext-real set
(a5 * ((- 2) |^ 4)) + (x1 * ((- 2) |^ 3)) is complex real ext-real set
x2 * ((- 2) ^2) is complex real ext-real set
((a5 * ((- 2) |^ 4)) + (x1 * ((- 2) |^ 3))) + (x2 * ((- 2) ^2)) is complex real ext-real set
x3 * (- 2) is complex real ext-real set
(((a5 * ((- 2) |^ 4)) + (x1 * ((- 2) |^ 3))) + (x2 * ((- 2) ^2))) + (x3 * (- 2)) is complex real ext-real set
((((a5 * ((- 2) |^ 4)) + (x1 * ((- 2) |^ 3))) + (x2 * ((- 2) ^2))) + (x3 * (- 2))) + x4 is complex real ext-real set
(a,k,y,a3,a4,2) is complex real ext-real set
a * (2 |^ 4) is complex real ext-real set
k * (2 |^ 3) is complex real ext-real set
(a * (2 |^ 4)) + (k * (2 |^ 3)) is complex real ext-real set
2 ^2 is complex real ext-real set
y * (2 ^2) is complex real ext-real set
((a * (2 |^ 4)) + (k * (2 |^ 3))) + (y * (2 ^2)) is complex real ext-real set
a3 * 2 is complex real ext-real set
(((a * (2 |^ 4)) + (k * (2 |^ 3))) + (y * (2 ^2))) + (a3 * 2) is complex real ext-real set
((((a * (2 |^ 4)) + (k * (2 |^ 3))) + (y * (2 ^2))) + (a3 * 2)) + a4 is complex real ext-real set
(a5,x1,x2,x3,x4,2) is complex real ext-real set
a5 * (2 |^ 4) is complex real ext-real set
x1 * (2 |^ 3) is complex real ext-real set
(a5 * (2 |^ 4)) + (x1 * (2 |^ 3)) is complex real ext-real set
x2 * (2 ^2) is complex real ext-real set
((a5 * (2 |^ 4)) + (x1 * (2 |^ 3))) + (x2 * (2 ^2)) is complex real ext-real set
x3 * 2 is complex real ext-real set
(((a5 * (2 |^ 4)) + (x1 * (2 |^ 3))) + (x2 * (2 ^2))) + (x3 * 2) is complex real ext-real set
((((a5 * (2 |^ 4)) + (x1 * (2 |^ 3))) + (x2 * (2 ^2))) + (x3 * 2)) + x4 is complex real ext-real set
a - a5 is complex real ext-real set
x2 - y is complex real ext-real set
k - x1 is complex real ext-real set
x3 - a3 is complex real ext-real set
a is complex real ext-real set
a5 is complex real ext-real set
k is complex real ext-real set
a5 - k is complex real ext-real set
y is complex real ext-real set
a5 - y is complex real ext-real set
(a5 - k) * (a5 - y) is complex real ext-real set
a3 is complex real ext-real set
a5 - a3 is complex real ext-real set
((a5 - k) * (a5 - y)) * (a5 - a3) is complex real ext-real set
a4 is complex real ext-real set
a5 - a4 is complex real ext-real set
(((a5 - k) * (a5 - y)) * (a5 - a3)) * (a5 - a4) is complex real ext-real set
a * ((((a5 - k) * (a5 - y)) * (a5 - a3)) * (a5 - a4)) is complex real ext-real set
a is complex real ext-real set
k is complex real ext-real set
y is complex real ext-real set
a3 is complex real ext-real set
a4 is complex real ext-real set
a5 is complex real ext-real set
(a,k,y,a3,a4,a5) is set
a5 - k is complex real ext-real set
a5 - y is complex real ext-real set
(a5 - k) * (a5 - y) is complex real ext-real set
a5 - a3 is complex real ext-real set
((a5 - k) * (a5 - y)) * (a5 - a3) is complex real ext-real set
a5 - a4 is complex real ext-real set
(((a5 - k) * (a5 - y)) * (a5 - a3)) * (a5 - a4) is complex real ext-real set
a * ((((a5 - k) * (a5 - y)) * (a5 - a3)) * (a5 - a4)) is complex real ext-real set
a is complex real ext-real set
k is complex real ext-real set
y is complex real ext-real set
a3 is complex real ext-real set
a4 is complex real ext-real set
x1 is complex real ext-real set
x2 is complex real ext-real set
x3 is complex real ext-real set
x4 is complex real ext-real set
a5 is complex real ext-real set
a5 |^ 4 is complex real ext-real set
a * (a5 |^ 4) is complex real ext-real set
a5 |^ 3 is complex real ext-real set
k * (a5 |^ 3) is complex real ext-real set
(a * (a5 |^ 4)) + (k * (a5 |^ 3)) is complex real ext-real set
a5 ^2 is complex real ext-real set
a5 * a5 is complex real ext-real set
y * (a5 ^2) is complex real ext-real set
((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2)) is complex real ext-real set
a3 * a5 is complex real ext-real set
(((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2))) + (a3 * a5) is complex real ext-real set
((((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2))) + (a3 * a5)) + a4 is complex real ext-real set
(((((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2))) + (a3 * a5)) + a4) / a is complex real ext-real M2( COMPLEX )
(a5 ^2) * (a5 ^2) is complex real ext-real set
x1 + x2 is complex real ext-real set
(x1 + x2) + x3 is complex real ext-real set
(a5 ^2) * a5 is complex real ext-real set
((x1 + x2) + x3) * ((a5 ^2) * a5) is complex real ext-real set
((a5 ^2) * (a5 ^2)) - (((x1 + x2) + x3) * ((a5 ^2) * a5)) is complex real ext-real set
x1 * x3 is complex real ext-real set
x2 * x3 is complex real ext-real set
(x1 * x3) + (x2 * x3) is complex real ext-real set
x1 * x2 is complex real ext-real set
((x1 * x3) + (x2 * x3)) + (x1 * x2) is complex real ext-real set
(((x1 * x3) + (x2 * x3)) + (x1 * x2)) * (a5 ^2) is complex real ext-real set
(((a5 ^2) * (a5 ^2)) - (((x1 + x2) + x3) * ((a5 ^2) * a5))) + ((((x1 * x3) + (x2 * x3)) + (x1 * x2)) * (a5 ^2)) is complex real ext-real set
(x1 * x2) * x3 is complex real ext-real set
((x1 * x2) * x3) * a5 is complex real ext-real set
((((a5 ^2) * (a5 ^2)) - (((x1 + x2) + x3) * ((a5 ^2) * a5))) + ((((x1 * x3) + (x2 * x3)) + (x1 * x2)) * (a5 ^2))) - (((x1 * x2) * x3) * a5) is complex real ext-real set
a5 - x1 is complex real ext-real set
a5 - x2 is complex real ext-real set
(a5 - x1) * (a5 - x2) is complex real ext-real set
a5 - x3 is complex real ext-real set
((a5 - x1) * (a5 - x2)) * (a5 - x3) is complex real ext-real set
(((a5 - x1) * (a5 - x2)) * (a5 - x3)) * x4 is complex real ext-real set
(((((a5 ^2) * (a5 ^2)) - (((x1 + x2) + x3) * ((a5 ^2) * a5))) + ((((x1 * x3) + (x2 * x3)) + (x1 * x2)) * (a5 ^2))) - (((x1 * x2) * x3) * a5)) - ((((a5 - x1) * (a5 - x2)) * (a5 - x3)) * x4) is complex real ext-real set
a5 - x4 is complex real ext-real set
(((a5 - x1) * (a5 - x2)) * (a5 - x3)) * (a5 - x4) is complex real ext-real set
(a,k,y,a3,a4,a5) is complex real ext-real set
(a,x1,x2,x3,x4,a5) is complex real ext-real set
a * ((((a5 - x1) * (a5 - x2)) * (a5 - x3)) * (a5 - x4)) is complex real ext-real set
((((((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2))) + (a3 * a5)) + a4) / a) * a is complex real ext-real set
((((a5 - x1) * (a5 - x2)) * (a5 - x3)) * (a5 - x4)) * a is complex real ext-real set
(((((((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2))) + (a3 * a5)) + a4) / a) * a) - (((((a5 - x1) * (a5 - x2)) * (a5 - x3)) * (a5 - x4)) * a) is complex real ext-real set
(((((a5 - x1) * (a5 - x2)) * (a5 - x3)) * (a5 - x4)) * a) - (((((a5 - x1) * (a5 - x2)) * (a5 - x3)) * (a5 - x4)) * a) is complex real ext-real set
((((((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2))) + (a3 * a5)) + a4) / a) - ((((a5 - x1) * (a5 - x2)) * (a5 - x3)) * (a5 - x4)) is complex real ext-real set
(((((((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2))) + (a3 * a5)) + a4) / a) - ((((a5 - x1) * (a5 - x2)) * (a5 - x3)) * (a5 - x4))) * a is complex real ext-real set
- ((((a5 - x1) * (a5 - x2)) * (a5 - x3)) * (a5 - x4)) is complex real ext-real set
((((((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2))) + (a3 * a5)) + a4) / a) + (- ((((a5 - x1) * (a5 - x2)) * (a5 - x3)) * (a5 - x4))) is complex real ext-real set
0 - 0 is complex real ext-real set
a is complex real ext-real set
k is complex real ext-real set
y is complex real ext-real set
a3 is complex real ext-real set
a4 is complex real ext-real set
x1 is complex real ext-real set
x2 is complex real ext-real set
x3 is complex real ext-real set
x4 is complex real ext-real set
a5 is complex real ext-real set
a5 |^ 4 is complex real ext-real set
a * (a5 |^ 4) is complex real ext-real set
a5 |^ 3 is complex real ext-real set
k * (a5 |^ 3) is complex real ext-real set
(a * (a5 |^ 4)) + (k * (a5 |^ 3)) is complex real ext-real set
a5 ^2 is complex real ext-real set
a5 * a5 is complex real ext-real set
y * (a5 ^2) is complex real ext-real set
((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2)) is complex real ext-real set
a3 * a5 is complex real ext-real set
(((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2))) + (a3 * a5) is complex real ext-real set
((((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2))) + (a3 * a5)) + a4 is complex real ext-real set
(((((a * (a5 |^ 4)) + (k * (a5 |^ 3))) + (y * (a5 ^2))) + (a3 * a5)) + a4) / a is complex real ext-real M2( COMPLEX )
x1 + x2 is complex real ext-real set
(x1 + x2) + x3 is complex real ext-real set
((x1 + x2) + x3) + x4 is complex real ext-real set
(((x1 + x2) + x3) + x4) * (a5 |^ 3) is complex real ext-real set
(a5 |^ 4) - ((((x1 + x2) + x3) + x4) * (a5 |^ 3)) is complex real ext-real set
x1 * x2 is complex real ext-real set
x1 * x3 is complex real ext-real set
(x1 * x2) + (x1 * x3) is complex real ext-real set
x1 * x4 is complex real ext-real set
((x1 * x2) + (x1 * x3)) + (x1 * x4) is complex real ext-real set
x2 * x3 is complex real ext-real set
x2 * x4 is complex real ext-real set
(x2 * x3) + (x2 * x4) is complex real ext-real set
(((x1 * x2) + (x1 * x3)) + (x1 * x4)) + ((x2 * x3) + (x2 * x4)) is complex real ext-real set
x3 * x4 is complex real ext-real set
((((x1 * x2) + (x1 * x3)) + (x1 * x4)) + ((x2 * x3) + (x2 * x4))) + (x3 * x4) is complex real ext-real set
(((((x1 * x2) + (x1 * x3)) + (x1 * x4)) + ((x2 * x3) + (x2 * x4))) + (x3 * x4)) * (a5 ^2) is complex real ext-real set
((a5 |^ 4) - ((((x1 + x2) + x3) + x4) * (a5 |^ 3))) + ((((((x1 * x2) + (x1 * x3)) + (x1 * x4)) + ((x2 * x3) + (x2 * x4))) + (x3 * x4)) * (a5 ^2)) is complex real ext-real set
(x1 * x2) * x3 is complex real ext-real set
(x1 * x2) * x4 is complex real ext-real set
((x1 * x2) * x3) + ((x1 * x2) * x4) is complex real ext-real set
(x1 * x3) * x4 is complex real ext-real set
(((x1 * x2) * x3) + ((x1 * x2) * x4)) + ((x1 * x3) * x4) is complex real ext-real set
(x2 * x3) * x4 is complex real ext-real set
((((x1 * x2) * x3) + ((x1 * x2) * x4)) + ((x1 * x3) * x4)) + ((x2 * x3) * x4) is complex real ext-real set
(((((x1 * x2) * x3) + ((x1 * x2) * x4)) + ((x1 * x3) * x4)) + ((x2 * x3) * x4)) * a5 is complex real ext-real set
(((a5 |^ 4) - ((((x1 + x2) + x3) + x4) * (a5 |^ 3))) + ((((((x1 * x2) + (x1 * x3)) + (x1 * x4)) + ((x2 * x3) + (x2 * x4))) + (x3 * x4)) * (a5 ^2))) - ((((((x1 * x2) * x3) + ((x1 * x2) * x4)) + ((x1 * x3) * x4)) + ((x2 * x3) * x4)) * a5) is complex real ext-real set
((x1 * x2) * x3) * x4 is complex real ext-real set
((((a5 |^ 4) - ((((x1 + x2) + x3) + x4) * (a5 |^ 3))) + ((((((x1 * x2) + (x1 * x3)) + (x1 * x4)) + ((x2 * x3) + (x2 * x4))) + (x3 * x4)) * (a5 ^2))) - ((((((x1 * x2) * x3) + ((x1 * x2) * x4)) + ((x1 * x3) * x4)) + ((x2 * x3) * x4)) * a5)) + (((x1 * x2) * x3) * x4) is complex real ext-real set
(a5 ^2) * (a5 ^2) is complex real ext-real set
(a5 ^2) * a5 is complex real ext-real set
((x1 + x2) + x3) * ((a5 ^2) * a5) is complex real ext-real set
((a5 ^2) * (a5 ^2)) - (((x1 + x2) + x3) * ((a5 ^2) * a5)) is complex real ext-real set
(x1 * x3) + (x2 * x3) is complex real ext-real set
((x1 * x3) + (x2 * x3)) + (x1 * x2) is complex real ext-real set
(((x1 * x3) + (x2 * x3)) + (x1 * x2)) * (a5 ^2) is complex real ext-real set
(((a5 ^2) * (a5 ^2)) - (((x1 + x2) + x3) * ((a5 ^2) * a5))) + ((((x1 * x3) + (x2 * x3)) + (x1 * x2)) * (a5 ^2)) is complex real ext-real set
((x1 * x2) * x3) * a5 is complex real ext-real set
((((a5 ^2) * (a5 ^2)) - (((x1 + x2) + x3) * ((a5 ^2) * a5))) + ((((x1 * x3) + (x2 * x3)) + (x1 * x2)) * (a5 ^2))) - (((x1 * x2) * x3) * a5) is complex real ext-real set
a5 - x1 is complex real ext-real set
a5 - x2 is complex real ext-real set
(a5 - x1) * (a5 - x2) is complex real ext-real set
a5 - x3 is complex real ext-real set
((a5 - x1) * (a5 - x2)) * (a5 - x3) is complex real ext-real set
(((a5 - x1) * (a5 - x2)) * (a5 - x3)) * x4 is complex real ext-real set
(((((a5 ^2) * (a5 ^2)) - (((x1 + x2) + x3) * ((a5 ^2) * a5))) + ((((x1 * x3) + (x2 * x3)) + (x1 * x2)) * (a5 ^2))) - (((x1 * x2) * x3) * a5)) - ((((a5 - x1) * (a5 - x2)) * (a5 - x3)) * x4) is complex real ext-real set
(((x1 + x2) + x3) + x4) * ((a5 ^2) * a5) is complex real ext-real set
((a5 ^2) * (a5 ^2)) - ((((x1 + x2) + x3) + x4) * ((a5 ^2) * a5)) is complex real ext-real set
(x2 * x4) + (x1 * x4) is complex real ext-real set
((x2 * x4) + (x1 * x4)) + (x3 * x4) is complex real ext-real set
(((x1 * x3) + (x2 * x3)) + (x1 * x2)) + (((x2 * x4) + (x1 * x4)) + (x3 * x4)) is complex real ext-real set
((((x1 * x3) + (x2 * x3)) + (x1 * x2)) + (((x2 * x4) + (x1 * x4)) + (x3 * x4))) * (a5 ^2) is complex real ext-real set
(((a5 ^2) * (a5 ^2)) - ((((x1 + x2) + x3) + x4) * ((a5 ^2) * a5))) + (((((x1 * x3) + (x2 * x3)) + (x1 * x2)) + (((x2 * x4) + (x1 * x4)) + (x3 * x4))) * (a5 ^2)) is complex real ext-real set
- ((x1 * x3) * x4) is complex real ext-real set
- (- ((x1 * x3) * x4)) is complex real ext-real set
(((x1 * x2) * x3) + ((x1 * x2) * x4)) + (- (- ((x1 * x3) * x4))) is complex real ext-real set
((((x1 * x2) * x3) + ((x1 * x2) * x4)) + (- (- ((x1 * x3) * x4)))) + ((x2 * x3) * x4) is complex real ext-real set
(((((x1 * x2) * x3) + ((x1 * x2) * x4)) + (- (- ((x1 * x3) * x4)))) + ((x2 * x3) * x4)) * a5 is complex real ext-real set
((((a5 ^2) * (a5 ^2)) - ((((x1 + x2) + x3) + x4) * ((a5 ^2) * a5))) + (((((x1 * x3) + (x2 * x3)) + (x1 * x2)) + (((x2 * x4) + (x1 * x4)) + (x3 * x4))) * (a5 ^2))) - ((((((x1 * x2) * x3) + ((x1 * x2) * x4)) + (- (- ((x1 * x3) * x4)))) + ((x2 * x3) * x4)) * a5) is complex real ext-real set
(((((a5 ^2) * (a5 ^2)) - ((((x1 + x2) + x3) + x4) * ((a5 ^2) * a5))) + (((((x1 * x3) + (x2 * x3)) + (x1 * x2)) + (((x2 * x4) + (x1 * x4)) + (x3 * x4))) * (a5 ^2))) - ((((((x1 * x2) * x3) + ((x1 * x2) * x4)) + (- (- ((x1 * x3) * x4)))) + ((x2 * x3) * x4)) * a5)) + (((x1 * x2) * x3) * x4) is complex real ext-real set
(a5 |^ 4) - ((((x1 + x2) + x3) + x4) * ((a5 ^2) * a5)) is complex real ext-real set
((a5 |^ 4) - ((((x1 + x2) + x3) + x4) * ((a5 ^2) * a5))) + ((((((x1 * x2) + (x1 * x3)) + (x1 * x4)) + ((x2 * x3) + (x2 * x4))) + (x3 * x4)) * (a5 ^2)) is complex real ext-real set
(((a5 |^ 4) - ((((x1 + x2) + x3) + x4) * ((a5 ^2) * a5))) + ((((((x1 * x2) + (x1 * x3)) + (x1 * x4)) + ((x2 * x3) + (x2 * x4))) + (x3 * x4)) * (a5 ^2))) - ((((((x1 * x2) * x3) + ((x1 * x2) * x4)) + ((x1 * x3) * x4)) + ((x2 * x3) * x4)) * a5) is complex real ext-real set
((((a5 |^ 4) - ((((x1 + x2) + x3) + x4) * ((a5 ^2) * a5))) + ((((((x1 * x2) + (x1 * x3)) + (x1 * x4)) + ((x2 * x3) + (x2 * x4))) + (x3 * x4)) * (a5 ^2))) - ((((((x1 * x2) * x3) + ((x1 * x2) * x4)) + ((x1 * x3) * x4)) + ((x2 * x3) * x4)) * a5)) + (((x1 * x2) * x3) * x4) is complex real ext-real set
k is complex real ext-real set
y is complex real ext-real set
a3 is complex real ext-real set
a4 is complex real ext-real set
a5 is complex real ext-real set
x1 is complex real ext-real set
x2 is complex real ext-real set
x3 is complex real ext-real set
x4 is complex real ext-real set
y / k is complex real ext-real M2( COMPLEX )
x1 + x2 is complex real ext-real set
(x1 + x2) + x3 is complex real ext-real set
((x1 + x2) + x3) + x4 is complex real ext-real set
- (((x1 + x2) + x3) + x4) is complex real ext-real set
a3 / k is complex real ext-real M2( COMPLEX )
x1 * x2 is complex real ext-real set
x1 * x3 is complex real ext-real set
(x1 * x2) + (x1 * x3) is complex real ext-real set
x1 * x4 is complex real ext-real set
((x1 * x2) + (x1 * x3)) + (x1 * x4) is complex real ext-real set
x2 * x3 is complex real ext-real set
x2 * x4 is complex real ext-real set
(x2 * x3) + (x2 * x4) is complex real ext-real set
(((x1 * x2) + (x1 * x3)) + (x1 * x4)) + ((x2 * x3) + (x2 * x4)) is complex real ext-real set
x3 * x4 is complex real ext-real set
((((x1 * x2) + (x1 * x3)) + (x1 * x4)) + ((x2 * x3) + (x2 * x4))) + (x3 * x4) is complex real ext-real set
a4 / k is complex real ext-real M2( COMPLEX )
(x1 * x2) * x3 is complex real ext-real set
(x1 * x2) * x4 is complex real ext-real set
((x1 * x2) * x3) + ((x1 * x2) * x4) is complex real ext-real set
(x1 * x3) * x4 is complex real ext-real set
(((x1 * x2) * x3) + ((x1 * x2) * x4)) + ((x1 * x3) * x4) is complex real ext-real set
(x2 * x3) * x4 is complex real ext-real set
((((x1 * x2) * x3) + ((x1 * x2) * x4)) + ((x1 * x3) * x4)) + ((x2 * x3) * x4) is complex real ext-real set
- (((((x1 * x2) * x3) + ((x1 * x2) * x4)) + ((x1 * x3) * x4)) + ((x2 * x3) * x4)) is complex real ext-real set
a5 / k is complex real ext-real M2( COMPLEX )
((x1 * x2) * x3) * x4 is complex real ext-real set
x is complex real ext-real set
x |^ 4 is complex real ext-real set
1 * (x |^ 4) is complex real ext-real set
x |^ 3 is complex real ext-real set
(- (((x1 + x2) + x3) + x4)) * (x |^ 3) is complex real ext-real set
(1 * (x |^ 4)) + ((- (((x1 + x2) + x3) + x4)) * (x |^ 3)) is complex real ext-real set
x ^2 is complex real ext-real set
x * x is complex real ext-real set
(((((x1 * x2) + (x1 * x3)) + (x1 * x4)) + ((x2 * x3) + (x2 * x4))) + (x3 * x4)) * (x ^2) is complex real ext-real set
((1 * (x |^ 4)) + ((- (((x1 + x2) + x3) + x4)) * (x |^ 3))) + ((((((x1 * x2) + (x1 * x3)) + (x1 * x4)) + ((x2 * x3) + (x2 * x4))) + (x3 * x4)) * (x ^2)) is complex real ext-real set
(- (((((x1 * x2) * x3) + ((x1 * x2) * x4)) + ((x1 * x3) * x4)) + ((x2 * x3) * x4))) * x is complex real ext-real set
(((1 * (x |^ 4)) + ((- (((x1 + x2) + x3) + x4)) * (x |^ 3))) + ((((((x1 * x2) + (x1 * x3)) + (x1 * x4)) + ((x2 * x3) + (x2 * x4))) + (x3 * x4)) * (x ^2))) + ((- (((((x1 * x2) * x3) + ((x1 * x2) * x4)) + ((x1 * x3) * x4)) + ((x2 * x3) * x4))) * x) is complex real ext-real set
((((1 * (x |^ 4)) + ((- (((x1 + x2) + x3) + x4)) * (x |^ 3))) + ((((((x1 * x2) + (x1 * x3)) + (x1 * x4)) + ((x2 * x3) + (x2 * x4))) + (x3 * x4)) * (x ^2))) + ((- (((((x1 * x2) * x3) + ((x1 * x2) * x4)) + ((x1 * x3) * x4)) + ((x2 * x3) * x4))) * x)) + (((x1 * x2) * x3) * x4) is complex real ext-real set
k * (x |^ 4) is complex real ext-real set
y * (x |^ 3) is complex real ext-real set
(k * (x |^ 4)) + (y * (x |^ 3)) is complex real ext-real set
a3 * (x ^2) is complex real ext-real set
((k * (x |^ 4)) + (y * (x |^ 3))) + (a3 * (x ^2)) is complex real ext-real set
a4 * x is complex real ext-real set
(((k * (x |^ 4)) + (y * (x |^ 3))) + (a3 * (x ^2))) + (a4 * x) is complex real ext-real set
((((k * (x |^ 4)) + (y * (x |^ 3))) + (a3 * (x ^2))) + (a4 * x)) + a5 is complex real ext-real set
(((((k * (x |^ 4)) + (y * (x |^ 3))) + (a3 * (x ^2))) + (a4 * x)) + a5) / k is complex real ext-real M2( COMPLEX )
(((x1 + x2) + x3) + x4) * (x |^ 3) is complex real ext-real set
(x |^ 4) - ((((x1 + x2) + x3) + x4) * (x |^ 3)) is complex real ext-real set
((x |^ 4) - ((((x1 + x2) + x3) + x4) * (x |^ 3))) + ((((((x1 * x2) + (x1 * x3)) + (x1 * x4)) + ((x2 * x3) + (x2 * x4))) + (x3 * x4)) * (x ^2)) is complex real ext-real set
(((((x1 * x2) * x3) + ((x1 * x2) * x4)) + ((x1 * x3) * x4)) + ((x2 * x3) * x4)) * x is complex real ext-real set
(((x |^ 4) - ((((x1 + x2) + x3) + x4) * (x |^ 3))) + ((((((x1 * x2) + (x1 * x3)) + (x1 * x4)) + ((x2 * x3) + (x2 * x4))) + (x3 * x4)) * (x ^2))) - ((((((x1 * x2) * x3) + ((x1 * x2) * x4)) + ((x1 * x3) * x4)) + ((x2 * x3) * x4)) * x) is complex real ext-real set
((((x |^ 4) - ((((x1 + x2) + x3) + x4) * (x |^ 3))) + ((((((x1 * x2) + (x1 * x3)) + (x1 * x4)) + ((x2 * x3) + (x2 * x4))) + (x3 * x4)) * (x ^2))) - ((((((x1 * x2) * x3) + ((x1 * x2) * x4)) + ((x1 * x3) * x4)) + ((x2 * x3) * x4)) * x)) + (((x1 * x2) * x3) * x4) is complex real ext-real set
k " is complex real ext-real set
(a3 * (x ^2)) + (a4 * x) is complex real ext-real set
((k * (x |^ 4)) + (y * (x |^ 3))) + ((a3 * (x ^2)) + (a4 * x)) is complex real ext-real set
(((k * (x |^ 4)) + (y * (x |^ 3))) + ((a3 * (x ^2)) + (a4 * x))) + a5 is complex real ext-real set
(k ") * ((((k * (x |^ 4)) + (y * (x |^ 3))) + ((a3 * (x ^2)) + (a4 * x))) + a5) is complex real ext-real set
(k ") * k is complex real ext-real set
((k ") * k) * (x |^ 4) is complex real ext-real set
(k ") * (y * (x |^ 3)) is complex real ext-real set
(((k ") * k) * (x |^ 4)) + ((k ") * (y * (x |^ 3))) is complex real ext-real set
(k ") * (a3 * (x ^2)) is complex real ext-real set
(k ") * (a4 * x) is complex real ext-real set
((k ") * (a3 * (x ^2))) + ((k ") * (a4 * x)) is complex real ext-real set
(k ") * a5 is complex real ext-real set
(((k ") * (a3 * (x ^2))) + ((k ") * (a4 * x))) + ((k ") * a5) is complex real ext-real set
((((k ") * k) * (x |^ 4)) + ((k ") * (y * (x |^ 3)))) + ((((k ") * (a3 * (x ^2))) + ((k ") * (a4 * x))) + ((k ") * a5)) is complex real ext-real set
k / k is complex real ext-real M2( COMPLEX )
(k / k) * (x |^ 4) is complex real ext-real set
((k / k) * (x |^ 4)) + ((k ") * (y * (x |^ 3))) is complex real ext-real set
(((k / k) * (x |^ 4)) + ((k ") * (y * (x |^ 3)))) + ((((k ") * (a3 * (x ^2))) + ((k ") * (a4 * x))) + ((k ") * a5)) is complex real ext-real set
(1 * (x |^ 4)) + ((k ") * (y * (x |^ 3))) is complex real ext-real set
((1 * (x |^ 4)) + ((k ") * (y * (x |^ 3)))) + ((((k ") * (a3 * (x ^2))) + ((k ") * (a4 * x))) + ((k ") * a5)) is complex real ext-real set
(k ") * y is complex real ext-real set
((k ") * y) * (x |^ 3) is complex real ext-real set
(x |^ 4) + (((k ") * y) * (x |^ 3)) is complex real ext-real set
((x |^ 4) + (((k ") * y) * (x |^ 3))) + ((((k ") * (a3 * (x ^2))) + ((k ") * (a4 * x))) + ((k ") * a5)) is complex real ext-real set
(y / k) * (x |^ 3) is complex real ext-real set
(x |^ 4) + ((y / k) * (x |^ 3)) is complex real ext-real set
(k ") * a3 is complex real ext-real set
((k ") * a3) * (x ^2) is complex real ext-real set
(((k ") * a3) * (x ^2)) + ((k ") * (a4 * x)) is complex real ext-real set
((((k ") * a3) * (x ^2)) + ((k ") * (a4 * x))) + ((k ") * a5) is complex real ext-real set
((x |^ 4) + ((y / k) * (x |^ 3))) + (((((k ") * a3) * (x ^2)) + ((k ") * (a4 * x))) + ((k ") * a5)) is complex real ext-real set
(a3 / k) * (x ^2) is complex real ext-real set
(k ") * a4 is complex real ext-real set
((k ") * a4) * x is complex real ext-real set
((a3 / k) * (x ^2)) + (((k ") * a4) * x) is complex real ext-real set
(((a3 / k) * (x ^2)) + (((k ") * a4) * x)) + ((k ") * a5) is complex real ext-real set
((x |^ 4) + ((y / k) * (x |^ 3))) + ((((a3 / k) * (x ^2)) + (((k ") * a4) * x)) + ((k ") * a5)) is complex real ext-real set
(a4 / k) * x is complex real ext-real set
((a3 / k) * (x ^2)) + ((a4 / k) * x) is complex real ext-real set
(((a3 / k) * (x ^2)) + ((a4 / k) * x)) + ((k ") * a5) is complex real ext-real set
((x |^ 4) + ((y / k) * (x |^ 3))) + ((((a3 / k) * (x ^2)) + ((a4 / k) * x)) + ((k ") * a5)) is complex real ext-real set
(((a3 / k) * (x ^2)) + ((a4 / k) * x)) + (a5 / k) is complex real ext-real set
((x |^ 4) + ((y / k) * (x |^ 3))) + ((((a3 / k) * (x ^2)) + ((a4 / k) * x)) + (a5 / k)) is complex real ext-real set
(1,(y / k),(a3 / k),(a4 / k),(a5 / k),x) is complex real ext-real set
(1 * (x |^ 4)) + ((y / k) * (x |^ 3)) is complex real ext-real set
((1 * (x |^ 4)) + ((y / k) * (x |^ 3))) + ((a3 / k) * (x ^2)) is complex real ext-real set
(((1 * (x |^ 4)) + ((y / k) * (x |^ 3))) + ((a3 / k) * (x ^2))) + ((a4 / k) * x) is complex real ext-real set
((((1 * (x |^ 4)) + ((y / k) * (x |^ 3))) + ((a3 / k) * (x ^2))) + ((a4 / k) * x)) + (a5 / k) is complex real ext-real set
(1,(- (((x1 + x2) + x3) + x4)),(((((x1 * x2) + (x1 * x3)) + (x1 * x4)) + ((x2 * x3) + (x2 * x4))) + (x3 * x4)),(- (((((x1 * x2) * x3) + ((x1 * x2) * x4)) + ((x1 * x3) * x4)) + ((x2 * x3) * x4))),(((x1 * x2) * x3) * x4),x) is complex real ext-real set
a is complex real ext-real set
a |^ 4 is complex real ext-real set
k is complex real ext-real set
k * a is complex real ext-real set
a ^2 is complex real ext-real set
a * a is complex real ext-real set
y is complex real ext-real set
y |^ 4 is complex real ext-real set
y |^ 3 is complex real ext-real set
k * (y |^ 3) is complex real ext-real set
(y |^ 4) - (k * (y |^ 3)) is complex real ext-real set
k * y is complex real ext-real set
((y |^ 4) - (k * (y |^ 3))) - (k * y) is complex real ext-real set
(((y |^ 4) - (k * (y |^ 3))) - (k * y)) + 1 is complex real ext-real set
a * y is complex real ext-real set
(a * y) |^ 4 is complex real ext-real set
((a * y) |^ 4) + (a |^ 4) is complex real ext-real set
(k * a) * (a * y) is complex real ext-real set
(a * y) ^2 is complex real ext-real set
(a * y) * (a * y) is complex real ext-real set
((a * y) ^2) + (a ^2) is complex real ext-real set
((k * a) * (a * y)) * (((a * y) ^2) + (a ^2)) is complex real ext-real set
(a ^2) * y is complex real ext-real set
k * ((a ^2) * y) is complex real ext-real set
y ^2 is complex real ext-real set
y * y is complex real ext-real set
(a ^2) * (y ^2) is complex real ext-real set
(a ^2) * 1 is complex real ext-real set
((a ^2) * (y ^2)) + ((a ^2) * 1) is complex real ext-real set
(k * ((a ^2) * y)) * (((a ^2) * (y ^2)) + ((a ^2) * 1)) is complex real ext-real set
(a ^2) * (a ^2) is complex real ext-real set
((a ^2) * (a ^2)) * y is complex real ext-real set
(y ^2) + 1 is complex real ext-real set
(((a ^2) * (a ^2)) * y) * ((y ^2) + 1) is complex real ext-real set
k * ((((a ^2) * (a ^2)) * y) * ((y ^2) + 1)) is complex real ext-real set
(a |^ 4) * y is complex real ext-real set
((a |^ 4) * y) * ((y ^2) + 1) is complex real ext-real set
k * (((a |^ 4) * y) * ((y ^2) + 1)) is complex real ext-real set
(a |^ 4) * (k * y) is complex real ext-real set
((a |^ 4) * (k * y)) * ((y ^2) + 1) is complex real ext-real set
(a |^ 4) * (y |^ 4) is complex real ext-real set
(a |^ 4) * 1 is complex real ext-real set
((a |^ 4) * (y |^ 4)) + ((a |^ 4) * 1) is complex real ext-real set
(k * y) * ((y ^2) + 1) is complex real ext-real set
(a |^ 4) * ((k * y) * ((y ^2) + 1)) is complex real ext-real set
(a |^ 4) " is complex real ext-real set
(y |^ 4) + 1 is complex real ext-real set
((y |^ 4) + 1) - ((k * y) * ((y ^2) + 1)) is complex real ext-real set
(a |^ 4) * (((y |^ 4) + 1) - ((k * y) * ((y ^2) + 1))) is complex real ext-real set
((a |^ 4) ") * ((a |^ 4) * (((y |^ 4) + 1) - ((k * y) * ((y ^2) + 1)))) is complex real ext-real set
((a |^ 4) ") * (a |^ 4) is complex real ext-real set
(((a |^ 4) ") * (a |^ 4)) * (((y |^ 4) + 1) - ((k * y) * ((y ^2) + 1))) is complex real ext-real set
1 / (a |^ 4) is complex real ext-real M2( COMPLEX )
(1 / (a |^ 4)) * (a |^ 4) is complex real ext-real set
((1 / (a |^ 4)) * (a |^ 4)) * (((y |^ 4) + 1) - ((k * y) * ((y ^2) + 1))) is complex real ext-real set
1 * (((y |^ 4) + 1) - ((k * y) * ((y ^2) + 1))) is complex real ext-real set
(y ^2) * y is complex real ext-real set
k * ((y ^2) * y) is complex real ext-real set
(y |^ 4) - (k * ((y ^2) * y)) is complex real ext-real set
((y |^ 4) - (k * ((y ^2) * y))) - (k * y) is complex real ext-real set
(((y |^ 4) - (k * ((y ^2) * y))) - (k * y)) + 1 is complex real ext-real set