EQUATIONS: 
f(x,h(y)) = j(x)
f(h(x),y) = j(h(x))
g(f(x,x)) = i(x)

COMPLETE TRS:
RULES:
f(x,h(y)) -> j(x)
f(h(x),y) -> j(h(x))
g(f(x,x)) -> i(x)
i(h(x)) -> g(j(h(x)))

SUCCESS
MaxTRS: 2 
Search time: 0.01 seconds