YES
Time: 0.000852
TRS:
 {  gcd(x, 0()) -> x,
    gcd(0(), y) -> y,
  gcd(s x, s y) -> if(<(x, y), gcd(s x, -(y, x)), gcd(-(x, y), s y))}
 DP:
  DP:
   {gcd#(s x, s y) -> gcd#(s x, -(y, x)),
    gcd#(s x, s y) -> gcd#(-(x, y), s y)}
  TRS:
  {  gcd(x, 0()) -> x,
     gcd(0(), y) -> y,
   gcd(s x, s y) -> if(<(x, y), gcd(s x, -(y, x)), gcd(-(x, y), s y))}
  UR:
   {a(z, w) -> z,
    a(z, w) -> w}
   EDG:
    {}
    STATUS:
     arrows: 1.000000
     SCCS (0):