SUCCESS
1.59 (total time)

COMPLETED TRS
*(x, y) -> d(x, i(y))
i(i(x)) -> x
i(one) -> one
i(d(x, y)) -> d(y, x)
d(one, x) -> i(x)
d(d(x, i(y)), y) -> x
d(d(x, y), i(y)) -> x
d(x, one) -> x
d(x, d(z, y)) -> d(d(x, i(y)), z)
d(x, x) -> one