ID:
6
Parent:
4
Tree
PDER
VAR\RSOP
x(3)^3-x(4)
x(3)
x(1)
x(1)^2
-3*x(1)^2*x(3)^2
x(3)
0
1
x(4)
-x(1)^2*x(4)^2
3*x(1)^2*x(3)^2*x(4)^2
DEP
x(1)*x(4)-1
MAP
x(1)
x(1)
x(2)
x(1)*x(3)
IMAP
x(1)
(x(1))/(1)
x(3)
(x(2))/(x(1))
x(4)
(1)/(x(1))
FOCUS
-x(1)^3*x(3)^3+x(1)^2
TAGS
1,0
STACK
WBO (dim: 2)
W
J
-x(1)*x(3)^3+1
1
c
1
E,a
TBO (dim: 2)
W
J
-x(1)*x(3)^3+1
1
E
EM
SBO (dim: 2)
W
J
-x(1)*x(3)^3+1
1
E
ID:
6
Parent:
4
Tree