Lines Matching refs:log

8 minus_ln2_hi = round(-log(2), single, RN);
9 minus_ln2_lo = round(-log(2) - minus_ln2_hi, single, RN);
10 print("-log(2):hi =", minus_ln2_hi);
11 print("-log(2):lo =", minus_ln2_lo);
14 minus_ln2_o8_hi = round(-log(2)/8, single, RN);
15 minus_ln2_o8_lo = round(-log(2)/8 - minus_ln2_o8_hi, single, RN);
16 print("-log(2):hi / 8 =", minus_ln2_o8_hi);
17 print("-log(2):lo / 8 =", minus_ln2_o8_lo);
19 lb = round(-log(2)/2, single, RN);
20 ub = round(log(2)/2, single, RN);
21 print("-log(2)/2 = ", lb);
22 print("+log(2)/2 =", ub);
24 print("Degree-5 P[exp(x)] with 1 constraint on [-log(2)/2, log(2)/2] =", horner(P));
27 lb = round(-log(2)/2, single, RN);
28 ub = round(log(2)/2, single, RN);
29 print("-log(2)/2 = ", lb);
30 print("+log(2)/2 =", ub);
32 print("Degree-5 P[exp(x)] with 1+x constraint on [-log(2)/2, log(2)/2] =", horner(P));
35 lb = round(-log(2)/8, single, RN);
36 ub = round(log(2)/8, single, RN);
37 print("-log(2)/8 =", lb);
38 print("+log(2)/8 =", ub);
40 print("Degree-4 P[exp(x)] with 1+x constraint on [-log(2)/8, log(2)/8] =", horner(P));
43 lb = round(-log(2)/16, single, RN);
44 ub = round(log(2)/16, single, RN);
45 print("-log(2)/16 =", lb);
46 print("+log(2)/16 =", ub);
48 print("Degree-4 P[exp(x)] with 1 constraint on [-log(2)/16, log(2)/16] =", horner(P));
51 lb = round(-log(2)/16, single, RN);
52 ub = round(log(2)/16, single, RN);
53 print("-log(2)/16 =", lb);
54 print("+log(2)/16 =", ub);
56 print("Degree-4 P[exp(x)] with 1+x constraint on [-log(2)/16, log(2)/16] =", horner(P));
59 lb = round(-log(2)/16, single, RN);
60 ub = round(log(2)/16, single, RN);
61 print("-log(2)/16 =", lb);
62 print("+log(2)/16 =", ub);
64 print("Degree-3 P[exp(x)] with 1 constraint on [-log(2)/16, log(2)/16] =", horner(P));
67 lb = round(-log(2)/16, single, RN);
68 ub = round(log(2)/16, single, RN);
69 print("-log(2)/16 =", lb);
70 print("+log(2)/16 =", ub);
72 print("Degree-3 P[exp(x)] with 1+x constraint on [-log(2)/16, log(2)/16] =", horner(P));
75 lb = round(-log(2)/32, single, RN);
76 ub = round(log(2)/32, single, RN);
77 print("-log(2)/32 =", lb);
78 print("+log(2)/32 =", ub);
80 print("Degree-3 P[exp(x)] with 1+x constraint on [-log(2)/32, log(2)/32] =", horner(P));
83 lb = round(-log(2)/64, single, RN);
84 ub = round(log(2)/64, single, RN);
85 print("-log(2)/64 =", lb);
86 print("+log(2)/64 =", ub);
88 print("Degree-2 P[exp(x)] with 1+x constraint on [-log(2)/64, log(2)/64] =", horner(P));
91 lb = round(-log(2)/128, single, RN);
92 ub = round(log(2)/128, single, RN);
93 print("-log(2)/128 =", lb);
94 print("+log(2)/128 =", ub);
96 print("Degree-2 P[exp(x)] with 1 constraint on [-log(2)/128, log(2)/128] =", horner(P));
99 lb = round(-log(2)/128, single, RN);
100 ub = round(log(2)/128, single, RN);
101 print("-log(2)/128 =", lb);
102 print("+log(2)/128 =", ub);
104 print("Degree-2 P[exp(x)] with 1+x constraint on [-log(2)/128, log(2)/128] =", horner(P));
107 lb = round(-log(2)/2048, single, RN);
108 ub = round(log(2)/2048, single, RN);
109 print("-log(2)/2048 =", lb);
110 print("+log(2)/2048 =", ub);
112 print("Degree-1 P[exp(x)] with 1 constraint on [-log(2)/2048, log(2)/2048] =", horner(P));