EQUATIONS: 
multiply(multiply(x,y),z) = multiply(x,multiply(y,z))

COMPLETE TRS:
RULES:
multiply(multiply(x,y),z) -> multiply(x,multiply(y,z))

SUCCESS
MaxTRS: 2 
Search time: 0.00 seconds