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