ID: 152 Parent: 123 Tree
PDER
VAR\RSOP x(14) x(12) x(5)
x(5) 0 0 1
x(12) 0 1 0
x(14) 1 0 0
x(15) -2*x(5)^3*x(12)*x(14)*x(15)^2 -x(5)^3*x(14)^2*x(15)^2 -3*x(5)^2*x(12)*x(14)^2*x(15)^2
DEP
x(5)^3*x(12)*x(14)^2*x(15)-x(15)-1
MAP
x(1)x(5)^8*x(12)^2*x(14)
x(2)x(5)^4*x(12)
x(3)x(5)^5*x(12)
IMAP
x(5)(x(3))/(x(2))
x(12)(x(2)^5)/(x(3)^4)
x(14)(x(1))/(x(2)^2)
x(15)(x(2)^2*x(3))/(x(2)^2*x(3)+x(1)^2)
FOCUS
x(5)^16*x(12)^4*x(14)^2-x(5)^13*x(12)^3
x(5)^4*x(12)*x(14)
x(5)
x(5)^3*x(12)*x(14)
x(5)*x(12)
x(12)
TAGS
0,0,0
STACK
WBO (dim: 3)
W 
J
x(5)^3*x(12)*x(14)^2-10
c0
E,a
x(5)5
x(12)1