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