ID:
443.0
Parent:
441.0
Tree
PDER
VAR\IND
x10
x9
x8
x8
0
0
1
x9
0
1
0
x10
1
0
0
x11
0
-x11^2
0
x12
-2*x10*x8*x12^2
0
-x10^2*x12^2
FOCUS
x10^2*x8^8*x9^4-x9^4*x8^7
x9*x8^2*x10
x9*x8
x10*x8
x8
2*x10*x8
DEP
x11*x9-1
x12*(x10^2*x8-1)-1
MAP
x1
x10*x8^4*x9^2
x2
x9^2*x8^3
x3
x8^2*x9
IMAP
x8
x3^2/x2
x9
x2^2/x3^3
x10
x1/x3^2
x11
x3^3/x2^2
x12
-x2*x3^2/(-x1^2+x2*x3^2)
STACK
WBO (dim: 3)
J
x10^2*x8-1
0
c
0
N
empty
(E,a)
E
a
x8
3
C
empty