Lines Matching full: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);
14 lb = round(-log(2)/2, single, RN);
15 ub = round(log(2)/2, single, RN);
16 print("-log(2)/2 = ", lb);
17 print("+log(2)/2 =", ub);
19 print("Degree-5 P[exp(x)] with 1 constraint on [-log(2)/2, log(2)/2] =", horner(P));
22 lb = round(-log(2)/2, single, RN);
23 ub = round(log(2)/2, single, RN);
24 print("-log(2)/2 = ", lb);
25 print("+log(2)/2 =", ub);
27 print("Degree-5 P[exp(x)] with 1+x constraint on [-log(2)/2, log(2)/2] =", horner(P));
30 lb = round(-log(2)/8, single, RN);
31 ub = round(log(2)/8, single, RN);
32 print("-log(2)/8 =", lb);
33 print("+log(2)/8 =", ub);
35 print("Degree-4 P[exp(x)] with 1+x constraint on [-log(2)/8, log(2)/8] =", horner(P));
38 lb = round(-log(2)/16, single, RN);
39 ub = round(log(2)/16, single, RN);
40 print("-log(2)/16 =", lb);
41 print("+log(2)/16 =", ub);
43 print("Degree-4 P[exp(x)] with 1 constraint on [-log(2)/16, log(2)/16] =", horner(P));
46 lb = round(-log(2)/16, single, RN);
47 ub = round(log(2)/16, single, RN);
48 print("-log(2)/16 =", lb);
49 print("+log(2)/16 =", ub);
51 print("Degree-4 P[exp(x)] with 1+x constraint on [-log(2)/16, log(2)/16] =", horner(P));
54 lb = round(-log(2)/16, single, RN);
55 ub = round(log(2)/16, single, RN);
56 print("-log(2)/16 =", lb);
57 print("+log(2)/16 =", ub);
59 print("Degree-3 P[exp(x)] with 1 constraint on [-log(2)/16, log(2)/16] =", horner(P));
62 lb = round(-log(2)/16, single, RN);
63 ub = round(log(2)/16, single, RN);
64 print("-log(2)/16 =", lb);
65 print("+log(2)/16 =", ub);
67 print("Degree-3 P[exp(x)] with 1+x constraint on [-log(2)/16, log(2)/16] =", horner(P));
70 lb = round(-log(2)/32, single, RN);
71 ub = round(log(2)/32, single, RN);
72 print("-log(2)/32 =", lb);
73 print("+log(2)/32 =", ub);
75 print("Degree-3 P[exp(x)] with 1+x constraint on [-log(2)/32, log(2)/32] =", horner(P));
78 lb = round(-log(2)/64, single, RN);
79 ub = round(log(2)/64, single, RN);
80 print("-log(2)/64 =", lb);
81 print("+log(2)/64 =", ub);
83 print("Degree-2 P[exp(x)] with 1+x constraint on [-log(2)/64, log(2)/64] =", horner(P));
86 lb = round(-log(2)/128, single, RN);
87 ub = round(log(2)/128, single, RN);
88 print("-log(2)/128 =", lb);
89 print("+log(2)/128 =", ub);
91 print("Degree-2 P[exp(x)] with 1 constraint on [-log(2)/128, log(2)/128] =", horner(P));
94 lb = round(-log(2)/128, single, RN);
95 ub = round(log(2)/128, single, RN);
96 print("-log(2)/128 =", lb);
97 print("+log(2)/128 =", ub);
99 print("Degree-2 P[exp(x)] with 1+x constraint on [-log(2)/128, log(2)/128] =", horner(P));
102 lb = round(-log(2)/2048, single, RN);
103 ub = round(log(2)/2048, single, RN);
104 print("-log(2)/2048 =", lb);
105 print("+log(2)/2048 =", ub);
107 print("Degree-1 P[exp(x)] with 1 constraint on [-log(2)/2048, log(2)/2048] =", horner(P));
112 minus_ln2_hi = round(-log(2), halfprecision, RN);
113 minus_ln2_lo = round(-log(2) - minus_ln2_hi, halfprecision, RN);
114 print("-log(2):hi =", minus_ln2_hi);
115 print("-log(2):lo =", minus_ln2_lo);
117 lb = round(-log(2)/2, halfprecision, RN);
118 ub = round(log(2)/2, halfprecision, RN);
119 print("-log(2)/2 = ", lb);
120 print("+log(2)/2 =", ub);
122 print("Degree-2 P[exp(x)] with 1 constraint on [-log(2)/2, log(2)/2] =", horner(P));
125 lb = round(-log(2)/2, halfprecision, RN);
126 ub = round(log(2)/2, halfprecision, RN);
127 print("-log(2)/2 = ", lb);
128 print("+log(2)/2 =", ub);
130 print("Degree-3 P[exp(x)] with 1 constraint on [-log(2)/2, log(2)/2] =", horner(P));
133 lb = round(-log(2)/2, single, RN);
134 ub = round(log(2)/2, single, RN);
135 print("-log(2)/2 = ", lb);
136 print("+log(2)/2 =", ub);
138 print("Degree-2 P[exp(x)] with 1 constraint on [-log(2)/2, log(2)/2] =", horner(P));
141 lb = round(-log(2)/2, single, RN);
142 ub = round(log(2)/2, single, RN);
143 print("-log(2)/2 = ", lb);
144 print("+log(2)/2 =", ub);
146 print("Degree-3 P[exp(x)] with 1 constraint on [-log(2)/2, log(2)/2] =", horner(P));