YES
Time: 0.018570
TRS:
 {g(c(), g(a x, y)) -> g(f a b(), g(a y, x)),
              f a x -> c(),
              a b() -> d()}
 DP:
  DP:
   {g#(c(), g(a x, y)) -> g#(f a b(), g(a y, x)),
    g#(c(), g(a x, y)) -> g#(a y, x),
    g#(c(), g(a x, y)) -> f# a b(),
    g#(c(), g(a x, y)) -> a# y,
    g#(c(), g(a x, y)) -> a# b()}
  TRS:
  {g(c(), g(a x, y)) -> g(f a b(), g(a y, x)),
               f a x -> c(),
               a b() -> d()}
  EDG:
   {}
   STATUS:
    arrows: 1.000000
    SCCS (0):