ID: 35 Parent: 13 Tree
PDER
VAR\RSOP x(7) x(6) x(9)
x(1) -5*x(1)^2*x(4)*x(6)^2*x(9)-2*x(4)
*x(6)^2*x(7)*x(9)^2+2*x(4)*x(6)^2
*x(7)*x(9)
-10*x(1)^2*x(4)*x(6)*x(7)*x(9)-2*
x(4)*x(6)*x(7)^2*x(9)^2+2*x(4)*x(
6)*x(7)^2*x(9)
-5*x(1)^2*x(4)*x(6)^2*x(7)-2*x(4)
*x(6)^2*x(7)^2*x(9)+x(4)*x(6)^2*x
(7)^2
x(4) 50*x(1)^2*x(4)^3*x(6)^4*x(7)*x(9)
^2+20*x(4)^3*x(6)^4*x(7)^2*x(9)^3
-20*x(4)^3*x(6)^4*x(7)^2*x(9)^2-1
0*x(1)*x(4)^2*x(6)^2*x(9)
100*x(1)^2*x(4)^3*x(6)^3*x(7)^2*x
(9)^2+20*x(4)^3*x(6)^3*x(7)^3*x(9
)^3-20*x(4)^3*x(6)^3*x(7)^3*x(9)^
2-20*x(1)*x(4)^2*x(6)*x(7)*x(9)
50*x(1)^2*x(4)^3*x(6)^4*x(7)^2*x(
9)+20*x(4)^3*x(6)^4*x(7)^3*x(9)^2
-10*x(4)^3*x(6)^4*x(7)^3*x(9)-10*
x(1)*x(4)^2*x(6)^2*x(7)
x(6) 0 1 0
x(7) 1 0 0
x(9) 0 0 1
DEP
-5*x(1)^2*x(6)^2*x(7)*x(9)-x(6)^2*x(7)^2*x(9)^2+x(6)^2*x(7)^2*x(9)+x(1)
10*x(1)*x(4)*x(6)^2*x(7)*x(9)-x(4)-1
MAP
x(1)x(1)
x(2)x(6)^2*x(7)*x(9)
x(3)x(6)*x(7)*x(9)
IMAP
x(1)(x(1))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(6)(x(2))/(x(3))
x(7)(x(1)^2*x(2)+x(3)^2+x(1))/(x(2))
x(9)(x(3)^2)/(x(1)^2*x(2)+x(3)^2+x(1))
FOCUS
3*x(6)^2*x(7)^2*x(9)^2-x(1)
-x(6)*x(7)*x(9)
x(6)*x(7)
x(7)
x(7)*x(9)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
375*x(1)^6*x(6)^4*x(9)^2+75*x(1)^4*x(6)^4*x(7)*x(9)^3-75*x(1)^4*x(6)^4*x(7)*x(9)^2-5*x(1)^3*x(6)^2*x
(9)^2-4*x(1)*x(6)^2*x(7)*x(9)^3-55*x(1)^3*x(6)^2*x(9)-4*x(1)*x(6)^2*x(7)*x(9)^2+8*x(1)*x(6)^2*x(7)*x
(9)+1
0
c0
E,a
x(9)0
x(6)0
x(7)0