ID:
11.0
Parent:
8.0
Tree
PDER
VAR\IND
x5
x2
x7
x2
0
1
0
x5
1
0
0
x7
0
0
1
x8
-2*x5*x2^2*x8^2
-(2*x5^2*x2+2*x7^2*x2)*x8^
2
-2*x7*x2^2*x8^2
FOCUS
x5^4*x2^4-x5^2*x2^2+x2^4*x7^2*x5^2
x5
2*x5*x2^2
2*x5^2*x2+2*x7^2*x2
2*x7*x2^2
DEP
x8*(x5^2*x2^2+x7^2*x2^2-1)-1
MAP
x1
x5*x2
x2
x2
x3
x7*x5*x2
IMAP
x2
x2
x5
x1/x2
x7
x3/x1
x8
x1^2/(x1^4-x1^2+x2^2*x3^2)
STACK
WBO (dim: 3)
J
x5^2*x2^2+x7^2*x2^2-1
0
c
0
N
empty
(E,a)
E
a
x2
1
x5
1
C
empty