ID: 28 Parent: 18 Tree
PDER
VAR\RSOP x(4) x(7) x(6)
x(4) 1 0 0
x(6) 0 0 1
x(7) 0 1 0
x(8) 0 x(6)*x(8)^2 x(7)*x(8)^2
DEP
-x(6)*x(7)*x(8)+x(8)-1
MAP
x(1)x(4)^2*x(7)
x(2)x(4)*x(7)
x(3)x(4)^2*x(6)*x(7)
IMAP
x(4)(x(1))/(x(2))
x(7)(x(2)^2)/(x(1))
x(6)(x(3))/(x(1))
x(8)(-x(1)^2)/(-x(2)^2*x(3)-x(1)^2)
FOCUS
x(7)
-x(4)^4*x(6)*x(7)^3+x(4)^4*x(7)^2
x(4)
x(4)*x(6)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
-x(6)*x(7)+10
c0
E,a
x(7)1
x(4)2