1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
use crateReal;
const LN2_HI: Real = 6.93147180369123816490e-01; /* 3fe62e42 fee00000 */
const LN2_LO: Real = 1.90821492927058770002e-10; /* 3dea39ef 35793c76 */
const LG1: Real = 6.666666666666735130e-01; /* 3FE55555 55555593 */
const LG2: Real = 3.999999999940941908e-01; /* 3FD99999 9997FA04 */
const LG3: Real = 2.857142874366239149e-01; /* 3FD24924 94229359 */
const LG4: Real = 2.222219843214978396e-01; /* 3FCC71C5 1D8E78AF */
const LG5: Real = 1.818357216161805012e-01; /* 3FC74664 96CB03DE */
const LG6: Real = 1.531383769920937332e-01; /* 3FC39A09 D078C69F */
const LG7: Real = 1.479819860511658591e-01; /* 3FC2F112 DF3E5244 */
/// The natural logarithm of `x` (Real).
pub const