SUCCESS
0.13 (total time)

COMPLETED TRS
h(0) -> s(0)
g(0, x) -> x
g(s(x), y) -> f(g(x, y), 0)
f(0, x) -> x
f(f(x, 0), 0) -> x
f(s(x), y) -> s(f(x, y))
s(s(x)) -> x