div(

div(div(

i(div(

R

↳Dependency Pair Analysis

DIV(X, e) -> 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) -> I(X)

I(div(X,Y)) -> DIV(Y,X)

Furthermore,

R

↳DPs

→DP Problem 1

↳Remaining Obligation(s)

The following remains to be proven:

**DIV(div( X, Y), Z) -> I(X)**

div(X, e) -> i(X)

div(div(X,Y),Z) -> div(Y, div(i(X),Z))

i(div(X,Y)) -> div(Y,X)

Duration:

0:00 minutes