[math-fun] (Log[2]-5/8) = 0.06814718 . . .