SUCCESS 0.05 (total time) COMPLETED TRS /(x, y) -> *(y, x) \(x, y) -> *(y, x) *(*(x, y), x) -> y *(x, *(y, x)) -> y