ID: 58.0 Parent: 57.0 Tree
PDER
VAR\IND x12 x11 x3
x3 0 0 1
x6 (-x10*(3*x6^2*x12^2*x11^2*
x3^4-3*x6*x12^2*x11^2*x3^4
-2*x12*x11)+x11*x10)*x11
x10*x12*x11+x12*(-x10*(3*x
6^2*x12^2*x11^2*x3^4-3*x6*
x12^2*x11^2*x3^4-2*x12*x11
)+x11*x10)
-x10*(4*x6^2*x12^3*x11^3*x
3^3-4*x6*x12^3*x11^3*x3^3)
x10 (-(6*x6*x12^2*x11^2*x3^4-3
*x12^2*x11^2*x3^4)*x10^2+2
*x10^3*x12^3*x11^3*x3^4*(3
*x6^2*x12^2*x11^2*x3^4-3*x
6*x12^2*x11^2*x3^4-2*x12*x
11)-2*x11^4*x10^3*x12^3*x3
^4)*x11
-2*x10^3*x12^4*x11^4*x3^4+
x12*(-(6*x6*x12^2*x11^2*x3
^4-3*x12^2*x11^2*x3^4)*x10
^2+2*x10^3*x12^3*x11^3*x3^
4*(3*x6^2*x12^2*x11^2*x3^4
-3*x6*x12^2*x11^2*x3^4-2*x
12*x11)-2*x11^4*x10^3*x12^
3*x3^4)
-(8*x6*x12^3*x11^3*x3^3-4*
x12^3*x11^3*x3^3)*x10^2+2*
x10^3*x12^3*x11^3*x3^4*(4*
x6^2*x12^3*x11^3*x3^3-4*x6
*x12^3*x11^3*x3^3)
x11 0 1 0
x12 1 0 0
FOCUS
x12^2*x11^2*x3^6*x6^2-x6^3*x3^6+x12^3*x11^3*x3^10*x6^3-x12^3*x11^3*x3^10*x6^4
x12*x11*x3^2*x6
x6
x12*x11*x3^2
x12*x11*x3
x12*x11
3*x6^2*x12^2*x11^2*x3^4-3*x6*x12^2*x11^2*x3^4-2*x12*x11
x11
DEP
x10*(2*x6*x12^3*x11^3*x3^4-x12^3*x11^3*x3^4+1)-1
x11^2*x12-x6^2*x12^3*x11^3*x3^4+x6*x12^3*x11^3*x3^4+x12^2*x11^2-x6
MAP
x1 x12*x11*x3^3*x6
x2 x6*x3
x3 x3
IMAP
x3 x3
x6 x2/x3
x10 x2^3*x3^3/(x2^3*x3^3+2*x1^3*x2-x1^3*x3)
x11 1/x3^2/x2*(x2^3*x3^3+x1^3*x2-x1^3*x3-x1^2)/x1
x12 x1^2/(x2^3*x3^3+x1^3*x2-x1^3*x3-x1^2)
STACK
WBO (dim: 3)
J
-1 0
c 0
Nempty
(E,a)
Ea
x6^3*x12^5*x11^4*x3^8-2*x6^2*x12^5*x11^4*x3^8-x6*x12^4*x11^3*x3^4-x6*x12^3*x11^3*x3^4+x12^5*x11^4*x3^8*x6+x12^4*x11^3*x3^4+x12^3*x11^3*x3^4+x12+1 1
x3 3
x12 1
x11 2
C empty