YES
Time: 0.002543
TRS:
 {      g a() -> g b(),
          b() -> f(a(), a()),
  f(a(), a()) -> g d()}
 DP:
  DP:
   {      g# a() -> g# b(),
          g# a() -> b#(),
            b#() -> f#(a(), a()),
    f#(a(), a()) -> g# d()}
  TRS:
  {      g a() -> g b(),
           b() -> f(a(), a()),
   f(a(), a()) -> g d()}
  UR:
   {        b() -> f(a(), a()),
    f(a(), a()) -> g d()}
   EDG:
    {(f#(a(), a()) -> g# d(), g# a() -> b#())
     (f#(a(), a()) -> g# d(), g# a() -> g# b())
     (b#() -> f#(a(), a()), f#(a(), a()) -> g# d())
     (g# a() -> b#(), b#() -> f#(a(), a()))
     (g# a() -> g# b(), g# a() -> g# b())
     (g# a() -> g# b(), g# a() -> b#())}
    EDG:
     {(b#() -> f#(a(), a()), f#(a(), a()) -> g# d())
      (g# a() -> b#(), b#() -> f#(a(), a()))}
     EDG:
      {(b#() -> f#(a(), a()), f#(a(), a()) -> g# d())
       (g# a() -> b#(), b#() -> f#(a(), a()))}
      EDG:
       {(b#() -> f#(a(), a()), f#(a(), a()) -> g# d())
        (g# a() -> b#(), b#() -> f#(a(), a()))}
       STATUS:
        arrows: 0.875000
        SCCS (0):