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