ID:
1.0
Parent:
0.0
Tree
Covered by:
4.0
5.0
x1
-x5*x6^2*x1+1
PDER
VAR\IND
x1
x5
x6
x1
1
0
0
x5
0
1
0
x6
0
0
1
FOCUS
x1^2-x5*x1^3*x6^2
DEP
empty
MAP
x1
x1
x2
x5*x1
x3
x6*x1
IMAP
x1
x1
x5
x2/x1
x6
x3/x1
STACK
WBO (dim: 3)
J
-x5*x6^2*x1+1
1
c
1
N
empty
(E,a)
E
a
x1
1
C
empty
TBO (dim: 3)
J
-x5*x6^2*x1+1
1
N
empty
E
x1
EM
x1
C
empty
Covered by:
4.0
5.0
x1
-x5*x6^2*x1+1
ID:
1.0
Parent:
0.0
Tree