SUCCESS
0.02 (total time)

COMPLETED TRS
k(a, a) -> a
h(x) -> a
f(g(x), y) -> a