ID: 65 Parent: 64 Tree
PDER
VAR\RSOP x(7) x(2) x(10)
x(1) -2*x(2)^4*x(4)*x(7)*x(10)^2+x(2)^
2*x(4)
-4*x(2)^3*x(4)*x(7)^2*x(10)^2-5*x
(1)^2*x(4)+2*x(2)*x(4)*x(7)
-2*x(2)^4*x(4)*x(7)^2*x(10)
x(2) 0 1 0
x(4) 20*x(2)^5*x(4)^3*x(7)*x(10)^2-10*
x(2)^3*x(4)^3
40*x(2)^4*x(4)^3*x(7)^2*x(10)^2+5
0*x(1)^2*x(2)*x(4)^3-20*x(2)^2*x(
4)^3*x(7)-10*x(1)*x(4)^2
20*x(2)^5*x(4)^3*x(7)^2*x(10)
x(7) 1 0 0
x(9) -20*x(2)^5*x(4)^3*x(7)*x(9)^2*x(1
0)^2+10*x(2)^3*x(4)^3*x(9)^2
-40*x(2)^4*x(4)^3*x(7)^2*x(9)^2*x
(10)^2-50*x(1)^2*x(2)*x(4)^3*x(9)
^2+20*x(2)^2*x(4)^3*x(7)*x(9)^2+1
0*x(1)*x(4)^2*x(9)^2
-20*x(2)^5*x(4)^3*x(7)^2*x(9)^2*x
(10)
x(10) 0 0 1
DEP
-x(2)^4*x(7)^2*x(10)^2-5*x(1)^2*x(2)+x(2)^2*x(7)+x(1)
10*x(1)*x(2)*x(4)-x(4)-1
x(4)*x(9)-x(9)-1
MAP
x(1)x(1)
x(2)x(2)
x(3)x(2)^2*x(7)*x(10)
IMAP
x(1)(x(1))/(1)
x(2)(x(2))/(1)
x(4)(1)/(x(1)*x(2)+1)
x(7)(x(1)^2*x(2)+x(3)^2+x(1))/(x(2)^2)
x(9)(x(1)*x(2)+1)/(x(1)*x(2)+2)
x(10)(x(3))/(x(1)^2*x(2)+x(3)^2+x(1))
FOCUS
3*x(2)^4*x(7)^2*x(10)^2-x(1)
-x(2)^2*x(7)*x(10)
x(2)*x(7)
x(2)*x(7)*x(10)
x(7)
x(7)*x(10)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
750*x(1)^5*x(2)^4*x(4)*x(9)*x(10)^2+150*x(1)^3*x(2)^5*x(4)*x(7)*x(9)*x(10)^2-60*x(1)^2*x(2)^4*x(4)*x
(7)*x(9)^2*x(10)^2-170*x(1)^2*x(2)^4*x(4)*x(7)*x(9)*x(10)^2+x(2)^4*x(7)^2*x(10)^4+75*x(1)^4*x(2)^3*x
(10)^2+15*x(1)^2*x(2)^4*x(7)*x(10)^2-150*x(1)^3*x(2)^3*x(4)*x(9)+60*x(1)^2*x(2)^2*x(4)*x(9)^2+15*x(1
)^3*x(2)^2*x(10)^2-8*x(1)*x(2)^3*x(7)*x(10)^2+170*x(1)^2*x(2)^2*x(4)*x(9)+x(1)^2*x(2)*x(10)^2-x(2)^2
*x(7)*x(10)^2-15*x(1)^2*x(2)^2-x(1)*x(10)^2+8*x(1)*x(2)+1
0
c0
E,a
x(2)0
x(7)0