SUCCESS 0.08 (total time) COMPLETED TRS or(&(x, y), &(z, y)) -> &(or(x, z), y) or(&(x, y), y) -> &(or(x, y), y) or(x, &(y, x)) -> &(or(x, y), x) or(x, x) -> x &(x, x) -> x