MAYBE

Problem:
 div(X,e()) -> i(X)
 i(div(X,Y)) -> div(Y,X)
 div(div(X,Y),Z) -> div(Y,div(i(X),Z))

Proof:
 DP Processor:
  DPs:
   div#(X,e()) -> i#(X)
   i#(div(X,Y)) -> div#(Y,X)
   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))
  TRS:
   div(X,e()) -> i(X)
   i(div(X,Y)) -> div(Y,X)
   div(div(X,Y),Z) -> div(Y,div(i(X),Z))
  EDG Processor:
   DPs:
    div#(X,e()) -> i#(X)
    i#(div(X,Y)) -> div#(Y,X)
    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))
   TRS:
    div(X,e()) -> i(X)
    i(div(X,Y)) -> div(Y,X)
    div(div(X,Y),Z) -> div(Y,div(i(X),Z))
   graph:
    i#(div(X,Y)) -> div#(Y,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#(i(X),Z)
    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) -> i#(div(X,Y)) -> div#(Y,X)
    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#(i(X),Z)
    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#(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#(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#(X,e()) -> i#(X) -> i#(div(X,Y)) -> div#(Y,X)
   Restore Modifier:
    DPs:
     div#(X,e()) -> i#(X)
     i#(div(X,Y)) -> div#(Y,X)
     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))
    TRS:
     div(X,e()) -> i(X)
     i(div(X,Y)) -> div(Y,X)
     div(div(X,Y),Z) -> div(Y,div(i(X),Z))
    SCC Processor:
     #sccs: 1
     #rules: 5
     #arcs: 13/25
     DPs:
      i#(div(X,Y)) -> div#(Y,X)
      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) -> i#(X)
      div#(X,e()) -> i#(X)
     TRS:
      div(X,e()) -> i(X)
      i(div(X,Y)) -> div(Y,X)
      div(div(X,Y),Z) -> div(Y,div(i(X),Z))
     Open