SUCCESS
1.25 (total time)

COMPLETED TRS
f8(x) -> f2(x)
f7(x) -> f2(x)
f6(x) -> f2(x)
f5(x) -> f2(x)
f4(x) -> f2(x)
f3(x) -> f2(x)
f2(f2(f2(f2(x)))) -> f2(x)
f2(j(x)) -> f2(f2(x))
f1(x) -> f2(x)
g(y, x) -> f2(x)