SUCCESS
2.21 (total time)

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