SUCCESS
0.04 (total time)

COMPLETED TRS
g(f(x, x)) -> i(x)
g(j(h(x))) -> i(h(x))
f(h(x), y) -> j(h(x))
f(x, h(y)) -> j(x)