TRS: { 1024() -> 1024_1(0()), 1024_1(x) -> if(lt(x, 10()), x), if(true(), x) -> double(1024_1(s(x))), if(false(), x) -> s(0()), lt(0(), s(y)) -> true(), lt(x, 0()) -> false(), lt(s(x), s(y)) -> lt(x, y), double(0()) -> 0(), double(s(x)) -> s(s(double(x))), 10() -> double(s(double(s(s(0())))))} Fail