SUCCESS 0.02 (total time) COMPLETED TRS f(x) -> x g(a) -> a g(g(x)) -> x