Fast Approximate Logarithms, Part III: The Formulas