ID: 121.0 Parent: 120.0 Tree
PDER
VAR\IND x6 x17 x16
x6 1 0 0
x9 -x10*(5*x9^2*x6^4-x17^2*x1
6^2*x6^2)+3*x16^2*x10*x17*
x6^2+2*x17^2*x16^2*x10*x6^
2
(2*x10*x17*x16*x6^3+x16*x6
^3*x10)*x16
x10*x17*x16*x6^3+x17*(2*x1
0*x17*x16*x6^3+x16*x6^3*x1
0)
x10 -10*x9*x6^4*x10^2+2*x10^3*
x6^5*(5*x9^2*x6^4-x17^2*x1
6^2*x6^2)-6*x16^2*x10^3*x6
^7*x17-4*x17^2*x16^2*x10^3
*x6^7
(-4*x17*x16*x6^8*x10^3-2*x
16*x6^8*x10^3)*x16
-2*x17*x16*x6^8*x10^3+x17*
(-4*x17*x16*x6^8*x10^3-2*x
16*x6^8*x10^3)
x13 -(10*x9*x6^4*x10^2-2*x10^3
*x6^5*(5*x9^2*x6^4-x17^2*x
16^2*x6^2)+2*x16^2*x10^3*x
6^7*x17+4*x17^2*x16^2*x10^
3*x6^7)*x13^2-4*x16^2*x10^
3*x6^7*x13^2*x17
(-4*x17*x16*x6^8*x10^3*x13
^2-2*x16*x6^8*x10^3*x13^2)
*x16
-2*x17*x16*x6^8*x10^3*x13^
2+x17*(-4*x17*x16*x6^8*x10
^3*x13^2-2*x16*x6^8*x10^3*
x13^2)
x16 0 0 1
x17 0 1 0
FOCUS
x6^18*x9^6*x17^6*x16^6-x9^4*x17^8*x16^8*x6^16+x6^13*x9^5*x17^6*x16^6
x17*x16*x6^2
x6
5*x9^2*x6^4-x17^2*x16^2*x6^2
-2*x17*x16*x6^2
x16^2*x6^2*x17
x16*x6^2
x16*x6
x16
DEP
x10*(2*x9*x6^5+1)-1
x16^2*x6^3*x17-x9^2*x6^5+x17^2*x16^2*x6^3-x9
x13*(-x10-1)-1
MAP
x1 x9*x17*x16*x6^3
x2 x6^4*x17^2*x16^2*x9
x3 x9*x17*x16*x6^2
IMAP
x6 x1/x3
x9 x3^2/x2
x10 x2*x3^3/(2*x1^5+x2*x3^3)
x13 -1/2*(2*x1^5+x2*x3^3)/(x1^5+x2*x3^3)
x16 (x1^6-x2^4+x1*x2*x3^3)/x2^3/x1^2*x3
x17 x2^4/(x1^6-x2^4+x1*x2*x3^3)
STACK
WBO (dim: 3)
J
1 0
c 0
Nempty
(E,a)
Ea
-4*x13^2*x17^3*x16^2*x6^8-8*x6^8*x13^2*x17^2*x16^2-8*x13*x17^3*x16^2*x6^8-16*x6^8*x13*x17^2*x16^2-4*x6^8*x13^2*x17*x16^2-8*x6^8*x13*x17*x16^2-4*x17^3*x16^2*x6^8-8*x6^8*x17^2*x16^2-4*x6^8*x17*x16^2+x17+1 3
x17 7
x6 18
x16 10
C empty