undouble means to undo the doubling of; to unfold, or render single again. Lexicurio rates it Sui generis — a strength score of 87 out of 100.
Etymology
From un- + double.
verb
- 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.”