YES
Time: 0.000448
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))}
  EDG:
   {}
   SCCS (0):
    
    Qed