SUCCESS 0.02 (total time) COMPLETED TRS *(x, s(y)) -> +(*(x, y), x) *(x, 0) -> 0 +(x, s(y)) -> s(+(x, y)) +(x, 0) -> x