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