Interesting.

Feels like a more mysterious version of Collatz conjecture :) which is - start with a positive integer, iterate as such:

  x = (x & 1) ? (3*x + 1) : (x/2);

and you will eventually end up at 1.

http://en.wikipedia.org/wiki/Collatz_conjecture