ID:
173.0
Parent:
170.0
Tree
PDER
VAR\IND
x11
x7
x3
x14
x3
0
0
1
0
x7
0
1
0
0
x11
1
0
0
0
x14
0
0
0
1
x15
-x14^2*x15^2
0
0
-2*x14*x11*x15^2
FOCUS
x7^3*x3^6*x14^2*x11^4-x11^3*x3^6*x7^3
x11*x3*x7
x7
x11*x3
x11
x14*x11
x14^2
2*x14*x11
DEP
x15*(x14^2*x11-1)-1
MAP
x1
x11*x3^2*x7
x2
x7*x3
x3
x3
x4
x14*x11^2*x3^2*x7
IMAP
x3
x3
x7
x2/x3
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
x3
4
x11
1
C
empty