R

↳Dependency Pair Analysis

F(g(x)) -> F(x)

↳DPs

→DP Problem 1

↳Remaining Obligation(s)

f(g(x)) -> g(g(f(x))) f(g(x)) -> g(g(g(x)))