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