MAYBE
Time: 0.001569
TRS:
 {       D t() -> 1(),
  D constant() -> 0(),
     D +(x, y) -> +(D x, D y),
     D *(x, y) -> +(*(y, D x), *(x, D y)),
     D -(x, y) -> -(D x, D y)}
 DP:
  DP:
   {D# +(x, y) -> D# x,
    D# +(x, y) -> D# y,
    D# *(x, y) -> D# x,
    D# *(x, y) -> D# y,
    D# -(x, y) -> D# x,
    D# -(x, y) -> D# y}
  TRS:
  {       D t() -> 1(),
   D constant() -> 0(),
      D +(x, y) -> +(D x, D y),
      D *(x, y) -> +(*(y, D x), *(x, D y)),
      D -(x, y) -> -(D x, D y)}
  UR:
   {}
   EDG:
    {(D# *(x, y) -> D# y, D# -(x, y) -> D# y)
     (D# *(x, y) -> D# y, D# -(x, y) -> D# x)
     (D# *(x, y) -> D# y, D# *(x, y) -> D# y)
     (D# *(x, y) -> D# y, D# *(x, y) -> D# x)
     (D# *(x, y) -> D# y, D# +(x, y) -> D# y)
     (D# *(x, y) -> D# y, D# +(x, y) -> D# x)
     (D# +(x, y) -> D# x, D# -(x, y) -> D# y)
     (D# +(x, y) -> D# x, D# -(x, y) -> D# x)
     (D# +(x, y) -> D# x, D# *(x, y) -> D# y)
     (D# +(x, y) -> D# x, D# *(x, y) -> D# x)
     (D# +(x, y) -> D# x, D# +(x, y) -> D# y)
     (D# +(x, y) -> D# x, D# +(x, y) -> D# x)
     (D# -(x, y) -> D# x, D# -(x, y) -> D# y)
     (D# -(x, y) -> D# x, D# -(x, y) -> D# x)
     (D# -(x, y) -> D# x, D# *(x, y) -> D# y)
     (D# -(x, y) -> D# x, D# *(x, y) -> D# x)
     (D# -(x, y) -> D# x, D# +(x, y) -> D# y)
     (D# -(x, y) -> D# x, D# +(x, y) -> D# x)
     (D# *(x, y) -> D# x, D# +(x, y) -> D# x)
     (D# *(x, y) -> D# x, D# +(x, y) -> D# y)
     (D# *(x, y) -> D# x, D# *(x, y) -> D# x)
     (D# *(x, y) -> D# x, D# *(x, y) -> D# y)
     (D# *(x, y) -> D# x, D# -(x, y) -> D# x)
     (D# *(x, y) -> D# x, D# -(x, y) -> D# y)
     (D# -(x, y) -> D# y, D# +(x, y) -> D# x)
     (D# -(x, y) -> D# y, D# +(x, y) -> D# y)
     (D# -(x, y) -> D# y, D# *(x, y) -> D# x)
     (D# -(x, y) -> D# y, D# *(x, y) -> D# y)
     (D# -(x, y) -> D# y, D# -(x, y) -> D# x)
     (D# -(x, y) -> D# y, D# -(x, y) -> D# y)
     (D# +(x, y) -> D# y, D# +(x, y) -> D# x)
     (D# +(x, y) -> D# y, D# +(x, y) -> D# y)
     (D# +(x, y) -> D# y, D# *(x, y) -> D# x)
     (D# +(x, y) -> D# y, D# *(x, y) -> D# y)
     (D# +(x, y) -> D# y, D# -(x, y) -> D# x)
     (D# +(x, y) -> D# y, D# -(x, y) -> D# y)}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {D# +(x, y) -> D# x,
        D# +(x, y) -> D# y,
        D# *(x, y) -> D# x,
        D# *(x, y) -> D# y,
        D# -(x, y) -> D# x,
        D# -(x, y) -> D# y}
      
      SCC (6):
       Strict:
        {D# +(x, y) -> D# x,
         D# +(x, y) -> D# y,
         D# *(x, y) -> D# x,
         D# *(x, y) -> D# y,
         D# -(x, y) -> D# x,
         D# -(x, y) -> D# y}
       Weak:
       {       D t() -> 1(),
        D constant() -> 0(),
           D +(x, y) -> +(D x, D y),
           D *(x, y) -> +(*(y, D x), *(x, D y)),
           D -(x, y) -> -(D x, D y)}
       Open