SUCCESS
0.04 (total time)

COMPLETED TRS
c(x) -> a(x)
a(a(a(x))) -> a(a(x))
b(x) -> a(x)