ID: 224.0 Parent: 222.0 Tree
PDER
VAR\IND x12 -8*x17*x15+x16*x12-2
*x17*x12 		x18 x4
x4 0 0 0 1
x8 (3/2*x12^4*x15^2-1/2
*x16*x12^4*x15^2)*x1
5*x12-x16*x15^3*x12^
5+x15*(-x16*x12^5*x1
5^2+x12*(3/2*x12^4*x
15^2-1/2*x16*x12^4*x
15^2))-x19*((-x16*x1
2^5*x15^2+x12*(3/2*x
12^4*x15^2-1/2*x16*x
12^4*x15^2))*x12-1/2
*x18*x17*x12^6*x15^3
)*(x16-2*x17) 		x19*((-x16*x12^5*x15
^2+x12*(3/2*x12^4*x1
5^2-1/2*x16*x12^4*x1
5^2))*x12-1/2*x18*x1
7*x12^6*x15^3) 		-1/2*x17*x12^6*x15^4
-x19*((-x16*x12^5*x1
5^2+x12*(3/2*x12^4*x
15^2-1/2*x16*x12^4*x
15^2))*x12-1/2*x18*x
17*x12^6*x15^3)*(x15
*x17*x12-2*(-8*x15-2
*x12)*x17^3*x15) 		0
x12 1 0 0 0
x15 -x19*(x16-2*x17) x19 -x19*(x15*x17*x12-2*
(-8*x15-2*x12)*x17^3
*x15) 		0
x16 -x19*x18*x17*(x16-2*
x17) 		x18*x19*x17 x17*x15-x19*x18*x17*
(x15*x17*x12-2*(-8*x
15-2*x12)*x17^3*x15)
0
x17 2*x19*x17^3*x18*(x16
-2*x17) 		-2*x19*x17^3*x18 -2*x17^3*x15+2*x19*x
17^3*x18*(x15*x17*x1
2-2*(-8*x15-2*x12)*x
17^3*x15) 		0
x18 0 0 1 0
x19 -(x18*x17+4*x17^3*x1
8)*x19^2+x19^3*(16*x
17^3*x18-2*(-8+x12*x
18-6*(-8*x15-2*x12)*
x17^2*x18)*x17^3*x18
)*(x16-2*x17) 		-x19^3*(16*x17^3*x18
-2*(-8+x12*x18-6*(-8
*x15-2*x12)*x17^2*x1
8)*x17^3*x18) 		-(-2*(-8+x12*x18-6*(
-8*x15-2*x12)*x17^2*
x18)*x17^3*x15+x17*x
12-2*(-8*x15-2*x12)*
x17^3)*x19^2+x19^3*(
16*x17^3*x18-2*(-8+x
12*x18-6*(-8*x15-2*x
12)*x17^2*x18)*x17^3
*x18)*(x15*x17*x12-2
*(-8*x15-2*x12)*x17^
3*x15) 		0
FOCUS
x12^11*x15^7*x4^4+x12^6*x15^3*x4^4*x8-x8^2*x4^4
x12^2*x15
x12^3*x15^2
x8
x16*x12^4*x15^2
x16*x12^3*x15
x12
x16*x12^2
x16*x12
x15
(3/2*x12^4*x15^2-1/2*x16*x12^4*x15^2)*x15*x12-x16*x15^3*x12^5+x15*(-x16*x12^5*x1
5^2+x12*(3/2*x12^4*x15^2-1/2*x16*x12^4*x15^2))
-1/2*x12^6*x15^3
x18
x12
DEP
x15^3*x12^6*x16-x12^6*x15^3+2*x8
2*x17*x16-1
x15*x18-x16^2+1
x19*(-8*x17+x18*x17*x12-2*(-8*x15-2*x12)*x17^3*x18)-1
MAP
x1 x12^2*x15*x4
x2 x15^2*x12^3*x4
x3 x8*x4
x4 x4
IMAP
x4 x4
x8 x3/x4
x12 x1^2/x2/x4
x15 x4/x1^3*x2^2
x16 -(2*x3*x4^2-x1^3)/x1^3
x17 -1/2*x1^3/(2*x3*x4^2-x1^3)
x18 4*x3*x4*(x3*x4^2-x1^3)/x1^3/x2^2
x19 -1/4/x1^2*x2^3*(2*x3*x4^2-x1^3)^3/(-2*x1*x2^3*x3^2*x4^4+2*x1^4*x2^3*x3*x4^2-x1^7
*x2^3+2*x3^4*x4^6-4*x3^3*x4^4*x1^3+3*x3^2*x4^2*x1^6-x3*x1^9)
STACK
WBO (dim: 4)
J
4-x12*x18 0
c 0
Nempty
(E,a)
Ea
x4 3
x12 1
x15 1
C empty