YES

(VAR x y)
(RULES
  i(x) -> g(f(x,x))
  f(h(x),y) -> j(h(x))
  f(x,h(y)) -> j(x)
)

(COMMENT
Termination is shown by LPO with precedence:

  h > i > f > j > g
)