SUCCESS
0.01 (total time)

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