MAYBE
Time: 0.025438
TRS:
 {      i div(X, Y) -> div(Y, X),
        div(X, e()) -> i X,
  div(div(X, Y), Z) -> div(Y, div(i X, Z))}
 DP:
  DP:
   {      i# div(X, Y) -> div#(Y, X),
          div#(X, e()) -> i# X,
    div#(div(X, Y), Z) -> i# X,
    div#(div(X, Y), Z) -> div#(Y, div(i X, Z)),
    div#(div(X, Y), Z) -> div#(i X, Z)}
  TRS:
  {      i div(X, Y) -> div(Y, X),
         div(X, e()) -> i X,
   div(div(X, Y), Z) -> div(Y, div(i X, Z))}
  UR:
   {      i div(X, Y) -> div(Y, X),
          div(X, e()) -> i X,
    div(div(X, Y), Z) -> div(Y, div(i X, Z))}
   EDG:
    {(i# div(X, Y) -> div#(Y, X), div#(div(X, Y), Z) -> div#(i X, Z))
     (i# div(X, Y) -> div#(Y, X), div#(div(X, Y), Z) -> div#(Y, div(i X, Z)))
     (i# div(X, Y) -> div#(Y, X), div#(div(X, Y), Z) -> i# X)
     (i# div(X, Y) -> div#(Y, X), div#(X, e()) -> i# X)
     (div#(X, e()) -> i# X, i# div(X, Y) -> div#(Y, X))
     (div#(div(X, Y), Z) -> i# X, i# div(X, Y) -> div#(Y, X))
     (div#(div(X, Y), Z) -> div#(Y, div(i X, Z)), div#(div(X, Y), Z) -> i# X)
     (div#(div(X, Y), Z) -> div#(Y, div(i X, Z)), div#(div(X, Y), Z) -> div#(Y, div(i X, Z)))
     (div#(div(X, Y), Z) -> div#(Y, div(i X, Z)), div#(div(X, Y), Z) -> div#(i X, Z))
     (div#(div(X, Y), Z) -> div#(i X, Z), div#(X, e()) -> i# X)
     (div#(div(X, Y), Z) -> div#(i X, Z), div#(div(X, Y), Z) -> i# X)
     (div#(div(X, Y), Z) -> div#(i X, Z), div#(div(X, Y), Z) -> div#(Y, div(i X, Z)))
     (div#(div(X, Y), Z) -> div#(i X, Z), div#(div(X, Y), Z) -> div#(i X, Z))}
    STATUS:
     arrows: 0.480000
     SCCS (1):
      Scc:
       {      i# div(X, Y) -> div#(Y, X),
              div#(X, e()) -> i# X,
        div#(div(X, Y), Z) -> i# X,
        div#(div(X, Y), Z) -> div#(Y, div(i X, Z)),
        div#(div(X, Y), Z) -> div#(i X, Z)}
      
      SCC (5):
       Strict:
        {      i# div(X, Y) -> div#(Y, X),
               div#(X, e()) -> i# X,
         div#(div(X, Y), Z) -> i# X,
         div#(div(X, Y), Z) -> div#(Y, div(i X, Z)),
         div#(div(X, Y), Z) -> div#(i X, Z)}
       Weak:
       {      i div(X, Y) -> div(Y, X),
              div(X, e()) -> i X,
        div(div(X, Y), Z) -> div(Y, div(i X, Z))}
       Open