ID: 5.0	Parent: 1.0	Tree
PDER	VAR\IND x1 x5 x6 x1 1 0 0 x5 0 1 0 x6 0 0 1 x7 -(2*x5^2*x6^2*x1+2*x1)*x7^ 2 -2*x5*x6^2*x1^2*x7^2 -2*x5^2*x6*x1^2*x7^2
FOCUS
	x1^4-x1^2+x5^2*x1^4*x6^2
	2*x5^2*x6^2*x1+2*x1
	2*x5*x6^2*x1^2
DEP
	x7*(x5^2*x6^2*x1^2+x1^2-1)-1
MAP	x1 x1 x2 x5*x1 x3 x6*x1
IMAP	x1 x1 x5 x2/x1 x6 x3/x1 x7 x1^2/(x1^4-x1^2+x2^2*x3^2)
STACK
WBO (dim: 3)
J
	x5^2*x6^2*x1^2+x1^2-1	0
c	0
N	empty
(E,a)
	E	a
	x1	1
C	empty