SUCCESS
800.37 (total time)


COMPLETED TRS


               div(div(x5, y0), y3) -> div(x5, div(y3, i(y0))),
           div(i(y0), div(x11, y0)) -> i(x11),
 div(i(y0), div(y15, div(y0, x11))) -> div(i(x11), y15),
                     div(one(), y1) -> i(y1),
  div(x3, div(y15, div(i(x3), x5))) -> div(i(x5), y15),
            div(x3, div(x5, i(x3))) -> i(x5),
                     div(y0, one()) -> y0,
                        div(y0, y0) -> one(),
                     i(div(x5, y6)) -> div(y6, x5),
                           i(i(y0)) -> y0,
                           i(one()) -> one(),
                          *(x1, y0) -> div(x1, i(y0))


STATISTICS

total time:   800.37
termination:  782.95

external termination prover: aprove07
calls to termination prover: 326 (yes: 326, timeouts: 0)
time limit per call:         5.0