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