SUCCESS 4.69 (total time) COMPLETED TRS *(*(x, y), z) -> *(x, *(y, z)) *(i(x), *(x, y)) -> y *(i(x), x) -> one *(one, x) -> x *(x, *(i(x), y)) -> y *(x, i(x)) -> one *(x, one) -> x i(*(y, x)) -> *(i(x), i(y)) i(i(x)) -> x i(one) -> one d(x, y) -> *(x, i(y))