ID:
123.0
Parent:
119.0
Tree
PDER
VAR\IND
x13
x10
x12
x10
0
1
0
x12
0
0
1
x13
1
0
0
x14
-x14^2
0
0
FOCUS
x13^8*x10^14*x12^2-x13^7*x10^14*x12^2
x13^3*x10^5*x12
x13^2*x10^3*x12
x13*x10
x10
x12*x10
x12
DEP
x14*(x13-1)-1
MAP
x1
x13^4*x10^7*x12
x2
x13*x10^2
x3
x12*x10^6*x13^3
IMAP
x10
x2/x1*x3
x12
x3/x2^3
x13
x1^2/x3^2/x2
x14
-x2*x3^2/(-x1^2+x2*x3^2)
STACK
WBO (dim: 3)
J
x13-1
0
c
0
N
empty
(E,a)
E
a
x12
1
x13
3
x10
6
C
empty