(VAR x y z) (RULES multiply(multiply(x,y),z) -> multiply(x,multiply(y,z)) )