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