a(n+1) = a(n) - y 2^(log_2(a(n)) - floor(log_2(y)) - 1) where a(0) = x