ID:
95.0
Parent:
92.0
Tree
PDER
VAR\IND
x11
x7
x9
x4
x4
0
0
0
1
x7
0
1
0
0
x9
0
0
1
0
x11
1
0
0
0
x12
-2*x11*x7*x12^2
-x11^2*x12^2
0
0
FOCUS
x11^2*x9^2*x7^3*x4^3-x9^2*x7^2*x4^3
x11*x9*x7
x7
x9*x7
x9
x11*x9
2*x11*x7
x11^2
DEP
x12*(x11^2*x7-1)-1
MAP
x1
x11*x9*x7*x4
x2
x7*x4
x3
x9*x7*x4
x4
x4
IMAP
x4
x4
x7
x2/x4
x9
x3/x2
x11
x1/x3
x12
-x3^2*x4/(x3^2*x4-x1^2*x2)
STACK
WBO (dim: 4)
J
x11^2*x7-1
0
c
0
N
empty
(E,a)
E
a
x4
2
x7
1
x9
1
C
empty