YES
Time: 0.017279
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:
    {(b#() -> f#(a(), a()), f#(a(), a()) -> g# d())
     (g# a() -> b#(), b#() -> f#(a(), a()))}
    STATUS:
     arrows: 0.875000
     SCCS (0):