SUCCESS
0.21 (total time)

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