SUCCESS
0.48 (total time)

COMPLETED TRS
inverse(inverse(x)) -> x
inverse(identity) -> identity
inverse(multiply(x, y)) -> multiply(inverse(y), inverse(x))
multiply(inverse(x), x) -> identity
multiply(identity, x) -> x
multiply(multiply(x, inverse(y)), y) -> x
multiply(multiply(x, y), inverse(y)) -> x
multiply(x, inverse(x)) -> identity
multiply(x, identity) -> x
multiply(x, multiply(y, z)) -> multiply(multiply(x, y), z)