SUCCESS
0.01 (total time)

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