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