EQUATIONS: 
multiply(multiply(x,y),z) = multiply(x,multiply(y,z))
multiply(identity(),x) = x
multiply(inverse(x),x) = identity()
multiply(c(),b()) = identity()

COMPLETE TRS:
RULES:
multiply(multiply(x,y),z) -> multiply(x,multiply(y,z))
multiply(inverse(x),x) -> multiply(c(),b())
multiply(x,multiply(inverse(x),y)) -> y
multiply(x,multiply(c(),b())) -> x
multiply(b(),multiply(c(),x)) -> x
identity() -> multiply(c(),b())
multiply(c(),multiply(b(),x)) -> x
multiply(inverse(y),multiply(y,x)) -> x
multiply(x,inverse(x)) -> multiply(c(),b())
inverse(inverse(x)) -> x
inverse(c()) -> b()
multiply(b(),c()) -> multiply(c(),b())
inverse(b()) -> c()
inverse(multiply(y,x)) -> multiply(inverse(x),inverse(y))

SUCCESS
MaxTRS: 2 
Search time: 0.27 seconds