< x1, x2 |
    x1*x2*x1*x2^-5,
    x1^4*x2^-1*x1*x2^-4*
      x2^-5*x1^-1*x2
>
2 1
3 1
2 2
3 2
