SUCCESS
0.01 (total time)

COMPLETED TRS
apply(apply(t, x), y) -> apply(y, x)
apply(apply(apply(b, x), y), z) -> apply(x, apply(y, z))