SUCCESS 0.87 (total time) COMPLETED TRS u(b(x, y)) -> p(x, y) n(b(x, y)) -> b(p(x, y), x) g(x) -> b(f(s(x)), f(x)) f(s(s(x))) -> p(f(s(x)), f(x)) f(s(0)) -> s(0) f(0) -> 0 p(x, s(y)) -> s(p(x, y)) p(x, 0) -> x