TIMEOUT
MAYBE
Trs:
 {   g(d(), s(x)) -> s(s(g(d(), x))),
   g(h(), s(0())) -> 0(),
  g(h(), s(s(x))) -> s(g(h(), x)),
        g(x, 0()) -> 0(),
        double(x) -> g(d(), x),
          half(x) -> g(h(), x),
            id(x) -> f(x, s(0())),
     f(s(0()), y) -> y,
       f(s(x), y) -> f(half(s(x)), double(y))}
 Open