ID: 373 Parent: 157 Tree
PDER
VAR\RSOP x(13) x(14) x(8)
x(8) 0 0 1
x(13) 1 0 0
x(14) 0 1 0
x(15) 0 x(15)^2 0
DEP
-x(14)*x(15)+x(15)-1
MAP
x(1)x(8)^12*x(13)^5*x(14)
x(2)x(8)^7*x(13)^3*x(14)
x(3)x(8)^10*x(13)^4*x(14)
IMAP
x(8)(x(3)^2)/(x(1)*x(2))
x(13)(x(1)^3*x(2)^2)/(x(3)^5)
x(14)(x(2)^2*x(3))/(x(1)^2)
x(15)(-x(1)^2)/(-x(2)^2*x(3)-x(1)^2)
FOCUS
-x(8)^24*x(13)^10*x(14)^3+x(8)^24*x(13)^10*x(14)^2
x(8)^5*x(13)^2
x(8)^3*x(13)
x(8)^2*x(13)
x(8)
x(8)^2*x(13)*x(14)
x(13)*x(14)
x(14)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
-x(14)+10
c0
E,a
x(14)1
x(8)10
x(13)4