YES
Time: 0.000857
TRS:
 {minus minus x -> x,
      minus h x -> h minus x,
  minus f(x, y) -> f(minus y, minus x)}
 DP:
  DP:
   {    minus# h x -> minus# x,
    minus# f(x, y) -> minus# x,
    minus# f(x, y) -> minus# y}
  TRS:
  {minus minus x -> x,
       minus h x -> h minus x,
   minus f(x, y) -> f(minus y, minus x)}
  EDG:
   {}
   STATUS:
    arrows: 1.000000
    SCCS (0):