Lines Matching refs:log
9 minus_ln2_hi = round(-log(2), single, RN);
10 minus_ln2_lo = round(-log(2) - minus_ln2_hi, single, RN);
11 print("-log(2):hi =", minus_ln2_hi);
12 print("-log(2):lo =", minus_ln2_lo);
15 minus_ln2_o8_hi = round(-log(2)/8, single, RN);
16 minus_ln2_o8_lo = round(-log(2)/8 - minus_ln2_o8_hi, single, RN);
17 print("-log(2):hi / 8 =", minus_ln2_o8_hi);
18 print("-log(2):lo / 8 =", minus_ln2_o8_lo);
20 lb = round(-log(2)/2, single, RN);
21 ub = round(log(2)/2, single, RN);
23 print("Degree-5 P[expm1(x)] with 0 constraint on [-log(2)/2, log(2)/2] =", horner(P));
24 print(" -log(2)/2 = ", lb);
25 print(" +log(2)/2 =", ub);
28 lb = round(-log(2)/2, single, RN);
29 ub = round(log(2)/2, single, RN);
31 print("Degree-6 P[expm1(x)] with 0 constraint on [-log(2)/2, log(2)/2] =", horner(P));
32 print(" -log(2)/2 = ", lb);
33 print(" +log(2)/2 =", ub);
36 lb = round(-log(2)/2, single, RN);
37 ub = round(log(2)/2, single, RN);
39 print("Degree-5 P[expm1(x)] with 0+x constraint on [-log(2)/2, log(2)/2] =", horner(P));
40 print(" -log(2)/2 = ", lb);
41 print(" +log(2)/2 =", ub);
44 lb = round(-log(2)/2, single, RN);
45 ub = round(log(2)/2, single, RN);
47 print("Degree-6 P[expm1(x)] with 0+x constraint on [-log(2)/2, log(2)/2] =", horner(P));
48 print(" -log(2)/2 = ", lb);
49 print(" +log(2)/2 =", ub);
52 lb = round(-log(2)/8, single, RN);
53 ub = round(log(2)/8, single, RN);
55 print("Degree-4 P[expm1(x)] with 0+x constraint on [-log(2)/8, log(2)/8] =", horner(P));
56 print(" -log(2)/8 =", lb);
57 print(" +log(2)/8 =", ub);
60 lb = round(-log(2)/16, single, RN);
61 ub = round(log(2)/16, single, RN);
63 print("Degree-4 P[expm1(x)] with 0 constraint on [-log(2)/16, log(2)/16] =", horner(P));
64 print(" -log(2)/16 =", lb);
65 print(" +log(2)/16 =", ub);
68 lb = round(-log(2)/16, single, RN);
69 ub = round(log(2)/16, single, RN);
71 print("Degree-4 P[expm1(x)] with 0+x constraint on [-log(2)/16, log(2)/16] =", horner(P));
72 print(" -log(2)/16 =", lb);
73 print(" +log(2)/16 =", ub);
76 lb = round(-log(2)/16, single, RN);
77 ub = round(log(2)/16, single, RN);
79 print("Degree-3 P[expm1(x)] with 0 constraint on [-log(2)/16, log(2)/16] =", horner(P));
80 print(" -log(2)/16 =", lb);
81 print(" +log(2)/16 =", ub);
84 lb = round(-log(2)/16, single, RN);
85 ub = round(log(2)/16, single, RN);
87 print("Degree-3 P[expm1(x)] with 0+x constraint on [-log(2)/16, log(2)/16] =", horner(P));
88 print(" -log(2)/16 =", lb);
89 print(" +log(2)/16 =", ub);
92 lb = round(-log(2)/32, single, RN);
93 ub = round(log(2)/32, single, RN);
95 print("Degree-4 P[expm1(x)] with 0+x constraint on [-log(2)/32, log(2)/32] =", horner(P));
96 print(" -log(2)/32 =", lb);
97 print(" +log(2)/32 =", ub);
100 lb = round(-log(2)/32, single, RN);
101 ub = round(log(2)/32, single, RN);
103 print("Degree-3 P[expm1(x)] with 0+x constraint on [-log(2)/32, log(2)/32] =", horner(P));
104 print(" -log(2)/32 =", lb);
105 print(" +log(2)/32 =", ub);
108 lb = round(-log(2)/64, single, RN);
109 ub = round(log(2)/64, single, RN);
111 print("Degree-3 P[expm1(x)] with 0+x constraint on [-log(2)/64, log(2)/64] =", horner(P));
112 print(" -log(2)/64 =", lb);
113 print(" +log(2)/64 =", ub);
116 lb = round(-log(2)/64, single, RN);
117 ub = round(log(2)/64, single, RN);
119 print("Degree-2 P[expm1(x)] with 0 constraint on [-log(2)/64, log(2)/64] =", horner(P));
120 print(" -log(2)/64 =", lb);
121 print(" +log(2)/64 =", ub);
124 lb = round(-log(2)/128, single, RN);
125 ub = round(log(2)/128, single, RN);
127 print("Degree-3 P[expm1(x)] with 0+x constraint on [-log(2)/128, log(2)/128] =", horner(P));
128 print(" -log(2)/128 =", lb);
129 print(" +log(2)/128 =", ub);
132 lb = round(-log(2)/128, single, RN);
133 ub = round(log(2)/128, single, RN);
135 print("Degree-2 P[expm1(x)] with 0 constraint on [-log(2)/128, log(2)/128] =", horner(P));
136 print(" -log(2)/128 =", lb);
137 print(" +log(2)/128 =", ub);
140 lb = round(-log(2)/256, single, RN);
141 ub = round(log(2)/256, single, RN);
143 print("Degree-3 P[expm1(x)] with 0 constraint on [-log(2)/256, log(2)/256] =", horner(P));
144 print(" -log(2)/256 =", lb);
145 print(" +log(2)/256 =", ub);
148 lb = round(-log(2)/512, single, RN);
149 ub = round(log(2)/512, single, RN);
151 print("Degree-3 P[expm1(x)] with 0 constraint on [-log(2)/512, log(2)/512] =", horner(P));
152 print(" -log(2)/512 =", lb);
153 print(" +log(2)/512 =", ub);
156 lb = round(-log(2)/512, single, RN);
157 ub = round(log(2)/512, single, RN);
160 print("Degree-3 P[expm1(x)] with 0+x constraint on [-log(2)/512, log(2)/512] =", horner(P));
161 print(" -log(2)/512 =", lb);
162 print(" +log(2)/512 =", ub);
165 lb = round(-log(2)/1024, single, RN);
166 ub = round(log(2)/1024, single, RN);
168 print("Degree-3 P[expm1(x)] with 0 constraint on [-log(2)/1024, log(2)/1024] =", horner(P));
169 print(" -log(2)/1024 =", lb);
170 print(" +log(2)/1024 =", ub);