Input TRS:
    1: *(x,*(minus(y),y)) -> *(minus(*(y,y)),x)
Number of Rules: 1
Direct POLO(mPol) ... orients all.
	I(*) = 2 * x1 + 2 * x2 + 2
	I(minus) = x1 + 2
Number of Rules: 0