Yesterday, nobody contributed anything.  :-(
The official answer is: -log2(1 - x).
fire solved the puzzle at 21:10:56.558; length: 18
fire solved the puzzle at 21:11:01.177; length: 18
fire solved the puzzle at 21:11:10.434; length: 17