1 | use super::{combine_words, exp}; |
2 | |
3 | /* exp(x)/2 for x >= log(DBL_MAX), slightly better than 0.5*exp(x/2)*exp(x/2) */ |
4 | #[cfg_attr (all(test, assert_no_panic), no_panic::no_panic)] |
5 | pub(crate) fn expo2(x: f64) -> f64 { |
6 | /* k is such that k*ln2 has minimal relative error and x - kln2 > log(DBL_MIN) */ |
7 | const K: i32 = 2043; |
8 | let kln2: f64 = f64::from_bits(0x40962066151add8b); |
9 | |
10 | /* note that k is odd and scale*scale overflows */ |
11 | let scale: f64 = combine_words(((0x3ff + K / 2) as u32) << 20, lo:0); |
12 | /* exp(x - k ln2) * 2**(k-1) */ |
13 | exp(x - kln2) * scale * scale |
14 | } |
15 | |