SUCCESS 2.73 (total time) COMPLETED TRS f14(x) -> f2(x) f13(x) -> f2(x) f12(x) -> f2(x) f11(x) -> f2(x) f10(x) -> f2(x) f9(x) -> f2(x) 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)