Lines Matching full:log10

39 // -2^-12 * log10(2)
40 // > a = -2^-12 * log10(2);
157   //   dx = x - k * 2^-12 * log10(2)  in exp10_double_double()
220 //  * log10(1 - 2^-54) < x < log10(1 + 2^-53)
221 //  * x >= log10(2^1024)
222 //  * x <= log10(2^-1022)
231   // |x| < log10(1 + 2^-53)  in set_exceptional()
237   // x <= log10(2^-1022) || x >= log10(2^1024) or inf/nan.  in set_exceptional()
239     // x <= log10(2^-1075) or -inf/nan  in set_exceptional()
259   // x >= log10(2^1024) or +inf/nan  in set_exceptional()
281   // x <= log10(2^-1022) or x >= log10(2^1024) or
282   // log10(1 - 2^-54) < x < log10(1 + 2^-53).
289   // Now log10(2^-1075) < x <= log10(1 - 2^-54) or
290   //     log10(1 + 2^-53) < x < log10(2^1024)
293   // Let x = log10(2) * (hi + mid1 + mid2) + lo
308   // Since |x| < |log10(2^-1075)| < 2^9,
339   //   lo = x - log10(2) * 2^-12 * k is bounded by:
340   //   |lo|  = |x - log10(2) * 2^-12 * k|
341   //         = log10(2) * 2^-12 * | x * log2(10) * 2^12 - k |
342   //        <= log10(2) * 2^-12 * (2^-1 + 2^-19)