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