YES
Time: 0.001156
TRS:
 {  g g x -> g h g x,
  g h g x -> g x,
    h h x -> h f(h x, x)}
 DP:
  DP:
   {g# g x -> g# h g x,
    g# g x -> h# g x,
    h# h x -> h# f(h x, x)}
  TRS:
  {  g g x -> g h g x,
   g h g x -> g x,
     h h x -> h f(h x, x)}
  UR:
   {  g g x -> g h g x,
    g h g x -> g x,
      h h x -> h f(h x, x),
    a(y, z) -> y,
    a(y, z) -> z}
   EDG:
    {(h# h x -> h# f(h x, x), h# h x -> h# f(h x, x))
     (g# g x -> h# g x, h# h x -> h# f(h x, x))
     (g# g x -> g# h g x, g# g x -> g# h g x)
     (g# g x -> g# h g x, g# g x -> h# g x)}
    EDG:
     {(g# g x -> h# g x, h# h x -> h# f(h x, x))
      (g# g x -> g# h g x, g# g x -> g# h g x)
      (g# g x -> g# h g x, g# g x -> h# g x)}
     EDG:
      {}
      EDG:
       {}
       STATUS:
        arrows: 1.000000
        SCCS (0):