D(1, xx)=x.x
D(1, zx)=z.x-x.y
D(2, xxx)=xx.x
D(1, xy*x)=x.y*x
D(2, zxx)=zx.x+xy*x.1
D(3, xxxx)=xxx.x
D(2, xxy*x)=xx.y*x
D(2, xy*xx)=xy*x.x
D(1, xy*y*x)=x.y*y*x
D(3, zxxx)=zxx.x-xy*xx.1
D(2, zxy*x)=zx.y*x+xy*y*x.1
B(1,1)=3
B(2,2)=2
B(3,3)=1
B(3,4)=1
B(4,4)=1
    0   1   2   3   4
  +------------------
0 | 1   3   2   1   1
1 | -   -   -   1
2 | -   -   -
3 | -   -
