MAYBE
Time: 0.001693
TRS:
 {*(x, *(minus y, y)) -> *(minus *(y, y), x)}
 DP:
  DP:
   {*#(x, *(minus y, y)) -> *#(y, y),
    *#(x, *(minus y, y)) -> *#(minus *(y, y), x)}
  TRS:
  {*(x, *(minus y, y)) -> *(minus *(y, y), x)}
  UR:
   {*(x, *(minus y, y)) -> *(minus *(y, y), x)}
   EDG:
    {(*#(x, *(minus y, y)) -> *#(minus *(y, y), x), *#(x, *(minus y, y)) -> *#(minus *(y, y), x))
     (*#(x, *(minus y, y)) -> *#(minus *(y, y), x), *#(x, *(minus y, y)) -> *#(y, y))
     (*#(x, *(minus y, y)) -> *#(y, y), *#(x, *(minus y, y)) -> *#(y, y))
     (*#(x, *(minus y, y)) -> *#(y, y), *#(x, *(minus y, y)) -> *#(minus *(y, y), x))}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {*#(x, *(minus y, y)) -> *#(y, y),
        *#(x, *(minus y, y)) -> *#(minus *(y, y), x)}
      
      SCC (2):
       Strict:
        {*#(x, *(minus y, y)) -> *#(y, y),
         *#(x, *(minus y, y)) -> *#(minus *(y, y), x)}
       Weak:
       {*(x, *(minus y, y)) -> *(minus *(y, y), x)}
       Open