ID:
35.0
Parent:
32.0
Tree
PDER
VAR\IND
x11
x2
x7
x14
x2
0
1
0
0
x7
0
0
1
0
x11
1
0
0
0
x14
0
0
0
1
x15
-x14^2*x15^2
0
0
-2*x14*x11*x15^2
FOCUS
x2^6*x7^3*x14^2*x11^4-x11^3*x2^6*x7^3
x11*x2*x7
x11*x2
x11
x14*x11
x14^2
2*x14*x11
DEP
x15*(x14^2*x11-1)-1
MAP
x1
x11*x2^2*x7
x2
x2
x3
x7*x2
x4
x14*x11^2*x2^2*x7
IMAP
x2
x2
x7
x3/x2
x11
x1/x3/x2
x14
x4/x1^2*x3*x2
x15
x1^3/(x2*x3*x4^2-x1^3)
STACK
WBO (dim: 4)
J
x14^2*x11-1
0
c
0
N
empty
(E,a)
E
a
x7
2
x2
4
x11
1
C
empty