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