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