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