undouble

verb1

1. •
   To undo the doubling of; to unfold, or render single again.

   • So to simulate this, the iterative version needs to repeatedly “undouble” the value, which it will do by calling a function half. — 2014