ID: 150.0 Parent: 144.0 Tree
PDER
VAR\IND x12 x10 x8
x5 -x9*(6*x12^5*x10^5*x8^7*x5
^5+x8)*x8*x10 		x9*x8-x12*x9*(6*x12^5*x10^
5*x8^7*x5^5+x8)*x8 		-x9*(2*x12^6*x10^6*x8^7*x5
^5+x12*x10*x8)+x10*x9-x12*
x10*x9*(6*x12^5*x10^5*x8^7
*x5^5+x8)
x8 0 0 1
x9 (-30*x12^5*x10^5*x8^7*x5^4
*x9^2+20*x9^3*x12^6*x10^6*
x8^8*x5^3*(6*x12^5*x10^5*x
8^7*x5^5+x8))*x8*x10 		-20*x9^3*x12^6*x10^6*x8^9*
x5^3+x12*(-30*x12^5*x10^5*
x8^7*x5^4*x9^2+20*x9^3*x12
^6*x10^6*x8^8*x5^3*(6*x12^
5*x10^5*x8^7*x5^5+x8))*x8 		-10*x12^6*x10^6*x8^7*x5^4*
x9^2+20*x9^3*x12^6*x10^6*x
8^8*x5^3*(2*x12^6*x10^6*x8
^7*x5^5+x12*x10*x8)-20*x10
^7*x9^3*x12^6*x8^8*x5^3+x1
2*x10*(-30*x12^5*x10^5*x8^
7*x5^4*x9^2+20*x9^3*x12^6*
x10^6*x8^8*x5^3*(6*x12^5*x
10^5*x8^7*x5^5+x8))
x10 0 1 0
x12 1 0 0
FOCUS
x12^6*x10^6*x8^12*x5^12-x5^8*x8^4+x12*x10*x8^6*x5^7
x5
x12*x10*x8*x5
x12*x10*x8
6*x12^5*x10^5*x8^7*x5^5+x8
x10
x12*x10
DEP
x9*(5*x12^6*x10^6*x8^8*x5^4-1)-1
x10*x8-x12^6*x10^6*x8^8*x5^5-x12*x10*x8^2+x5
MAP
x1 x8^2*x5^2*x12*x10
x2 x5^2*x8
x3 x8*x5
IMAP
x5 x2/x3
x8 x3^2/x2
x9 -x2^4/(-5*x1^6+x2^4)
x10 1/x2^2*(x1^6-x2^4+x1*x2*x3^3)/x3^3
x12 x1*x2^2*x3/(x1^6-x2^4+x1*x2*x3^3)
STACK
WBO (dim: 3)
J
1 0
c 0
Nempty
(E,a)
Ea
x12^12*x10^11*x8^15*x5^9+x12^7*x10^6*x8^9*x5^4-x12^6*x10^6*x8^8*x5^4+x12*x8-1 5
x8 8
x10 5
C empty