1 /* Extended-precision floating point sine and cosine tables.
2 Copyright (C) 1999-2018 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
4 Based on quad-precision tables by Jakub Jelinek <jj@ultra.linux.cz>
6 The GNU C Library is free software; you can redistribute it and/or
7 modify it under the terms of the GNU Lesser General Public
8 License as published by the Free Software Foundation; either
9 version 2.1 of the License, or (at your option) any later version.
11 The GNU C Library is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 Lesser General Public License for more details.
16 You should have received a copy of the GNU Lesser General Public
17 License along with the GNU C Library; if not, see
18 <http://www.gnu.org/licenses/>. */
20 /* For 0.1484375 + n/128.0, n=0..82 this table contains
21 first 64 bits of cosine, then at least 64 additional
22 bits and the same for sine.
23 0.1484375+82.0/128.0 is the smallest number among above defined numbers
34 mpfr_t t, b, i, rs, rc, ts, tc, tsl, tcl;
38 mpfr_set_str (b, "0.1484375", 0, MPFR_RNDN);
39 mpfr_set_str (i, "0x1p-7", 0, MPFR_RNDN);
46 for (j = 0; j <= 82; j++)
48 mpfr_mul_ui (t, i, j, MPFR_RNDN);
49 mpfr_add (t, t, b, MPFR_RNDN);
50 printf (" /" "* x = 0.1484375 + %d/128. *" "/\n", j);
51 mpfr_cos (rc, t, MPFR_RNDN);
52 mpfr_sin (rs, t, MPFR_RNDN);
53 mpfr_set (tc, rc, MPFR_RNDN);
54 mpfr_set (ts, rs, MPFR_RNDN);
55 mpfr_sub (tcl, rc, tc, MPFR_RNDN);
56 mpfr_sub (tsl, rs, ts, MPFR_RNDN);
57 mpfr_printf (" %.17RaL,\n", tc);
58 mpfr_printf (" %.17RaL,\n", tcl);
59 mpfr_printf (" %.17RaL,\n", ts);
60 mpfr_printf (" %.17RaL,\n", tsl);
67 const long double __sincosl_table
[] = {
68 /* x = 0.1484375 + 0/128. */
69 0xf.d2f5320e1b7902100p
-4L,
70 -0x6.4b225d06708635580p
-68L,
71 0x2.5dc50bc95711d0d80p
-4L,
72 0x1.787d108fd438cf5a0p
-68L,
73 /* x = 0.1484375 + 1/128. */
74 0xf.ce1a053e621438b00p
-4L,
75 0x6.d60c76e8c45bf0a80p
-68L,
76 0x2.7d66258bacd96a400p
-4L,
77 -0x1.4cca4c9a3782a6bc0p
-68L,
78 /* x = 0.1484375 + 2/128. */
79 0xf.c8ffa01ba68074100p
-4L,
80 0x7.e05962b0d9fdf2000p
-68L,
81 0x2.9cfd49b8be4f66540p
-4L,
82 -0x1.89354fe340fbd96c0p
-68L,
83 /* x = 0.1484375 + 3/128. */
84 0xf.c3a6170f767ac7300p
-4L,
85 0x5.d63d99a9d439e1d80p
-68L,
86 0x2.bc89f9f424de54840p
-4L,
87 0x1.de7ce03b2514952c0p
-68L,
88 /* x = 0.1484375 + 4/128. */
89 0xf.be0d7f7fef11e7100p
-4L,
90 -0x5.5bc47540b095ba800p
-68L,
91 0x2.dc0bb80b49a97ffc0p
-4L,
92 -0xc.b1722e07246208500p
-72L,
93 /* x = 0.1484375 + 5/128. */
94 0xf.b835efcf670dd2d00p
-4L,
95 -0x1.90186db968115ec20p
-68L,
96 0x2.fb8205f75e56a2b40p
-4L,
97 0x1.6a1c4792f85625880p
-68L,
98 /* x = 0.1484375 + 6/128. */
99 0xf.b21f7f5c156696b00p
-4L,
100 0xa.c1fe28ac5fd766700p
-76L,
101 0x3.1aec65df552876f80p
-4L,
102 0x2.ece9a235671324700p
-72L,
103 /* x = 0.1484375 + 7/128. */
104 0xf.abca467fb3cb8f200p
-4L,
105 -0x2.f960fe2715cc521c0p
-68L,
106 0x3.3a4a5a19d86246700p
-4L,
107 0x1.0f602c44df4fa5140p
-68L,
108 /* x = 0.1484375 + 8/128. */
109 0xf.a5365e8f1d3ca2800p
-4L,
110 -0x4.1e24a289519b26800p
-68L,
111 0x3.599b652f40ec999c0p
-4L,
112 0x1.f12a0a4c8561de160p
-68L,
113 /* x = 0.1484375 + 9/128. */
114 0xf.9e63e1d9e8b6f6f00p
-4L,
115 0x2.e296bae5b5ed9c100p
-68L,
116 0x3.78df09db8c332ce00p
-4L,
117 0xd.2b53d865582e45200p
-72L,
118 /* x = 0.1484375 + 10/128. */
119 0xf.9752eba9fff6b9900p
-4L,
120 -0x7.bd415254fab56cd00p
-68L,
121 0x3.9814cb10513453cc0p
-4L,
122 -0x6.84de43e3595cc8500p
-72L,
123 /* x = 0.1484375 + 11/128. */
124 0xf.90039843324f9b900p
-4L,
125 0x4.0416c1984b6cbed00p
-68L,
126 0x3.b73c2bf6b4b9f6680p
-4L,
127 0xe.f9499c81f0d965100p
-72L,
128 /* x = 0.1484375 + 12/128. */
129 0xf.887604e2c39dbb200p
-4L,
130 0xe.4ec5825059a78a000p
-72L,
131 0x3.d654aff15cb457a00p
-4L,
132 0xf.ca854698aba330400p
-72L,
133 /* x = 0.1484375 + 13/128. */
134 0xf.80aa4fbef750ba800p
-4L,
135 -0x7.c2cc346a06b075c00p
-68L,
136 0x3.f55dda9e62aed7500p
-4L,
137 0x1.3bd7b8e6a3d1635e0p
-68L,
138 /* x = 0.1484375 + 14/128. */
139 0xf.78a098069792dab00p
-4L,
140 -0x4.3611bda6e483a5980p
-68L,
141 0x4.14572fd94556e6480p
-4L,
142 -0xc.29dfd8ec7722b8400p
-72L,
143 /* x = 0.1484375 + 15/128. */
144 0xf.7058fde0788dfc800p
-4L,
145 0x5.b8fe88789e4f42500p
-72L,
146 0x4.334033bcd90d66080p
-4L,
147 -0x3.0a0c93e2b47bbae40p
-68L,
148 /* x = 0.1484375 + 16/128. */
149 0xf.67d3a26af7d07aa00p
-4L,
150 0x4.bd6d42af8c0068000p
-68L,
151 0x4.52186aa5377ab2080p
-4L,
152 0x3.bf2524f52e3a06a80p
-68L,
153 /* x = 0.1484375 + 17/128. */
154 0xf.5f10a7bb77d3dfa00p
-4L,
155 0xc.1da8b578427832800p
-72L,
156 0x4.70df5931ae1d94600p
-4L,
157 0x7.6fe0dcff47fe31b80p
-72L,
158 /* x = 0.1484375 + 18/128. */
159 0xf.561030ddd7a789600p
-4L,
160 0xe.a9f4a32c652155500p
-72L,
161 0x4.8f948446abcd6b100p
-4L,
162 -0x8.0334eff185e4d9100p
-72L,
163 /* x = 0.1484375 + 19/128. */
164 0xf.4cd261d3e6c15bb00p
-4L,
165 0x3.69c8758630d2ac000p
-68L,
166 0x4.ae37710fad27c8a80p
-4L,
167 0x2.9c4cf96c03519b9c0p
-68L,
168 /* x = 0.1484375 + 20/128. */
169 0xf.43575f94d4f6b2700p
-4L,
170 0x2.f5fb76b14d2a64ac0p
-68L,
171 0x4.ccc7a50127e1de100p
-4L,
172 -0x3.494bf3cfd39ae0840p
-68L,
173 /* x = 0.1484375 + 21/128. */
174 0xf.399f500c9e9fd3800p
-4L,
175 -0x5.166a8d9c254778900p
-68L,
176 0x4.eb44a5da74f600200p
-4L,
177 0x7.aaa090f0734e28880p
-72L,
178 /* x = 0.1484375 + 22/128. */
179 0xf.2faa5a1b74e82fd00p
-4L,
180 0x6.1fa05f9177380e900p
-68L,
181 0x5.09adf9a7b9a5a0f80p
-4L,
182 -0x1.c75705c59f5e66be0p
-68L,
183 /* x = 0.1484375 + 23/128. */
184 0xf.2578a595224dd2e00p
-4L,
185 0x6.bfa2eb2f99cc67500p
-68L,
186 0x5.280326c3cf4818200p
-4L,
187 0x3.ba6bb08eac82c2080p
-68L,
188 /* x = 0.1484375 + 24/128. */
189 0xf.1b0a5b406b526d900p
-4L,
190 -0x7.93aa0152372f23380p
-68L,
191 0x5.4643b3da29de9b380p
-4L,
192 -0x2.8eaa110f0ccd04c00p
-68L,
193 /* x = 0.1484375 + 25/128. */
194 0xf.105fa4d66b607a600p
-4L,
195 0x7.d44e0427252044380p
-68L,
196 0x5.646f27e8bd65cbe00p
-4L,
197 0x3.a5d61ff0657229100p
-68L,
198 /* x = 0.1484375 + 26/128. */
199 0xf.0578ad01ede708000p
-4L,
200 -0x5.c63f6239467b50100p
-68L,
201 0x5.82850a41e1dd46c80p
-4L,
202 -0x9.fd15dbb3244403200p
-76L,
203 /* x = 0.1484375 + 27/128. */
204 0xe.fa559f5ec3aec3a00p
-4L,
205 0x4.eb03319278a2d4200p
-68L,
206 0x5.a084e28e35fda2780p
-4L,
207 -0x9.202444aace28b3100p
-72L,
208 /* x = 0.1484375 + 28/128. */
209 0xe.eef6a879146af0c00p
-4L,
210 -0x6.46a15d15f53f2c200p
-72L,
211 0x5.be6e38ce809554280p
-4L,
212 0x3.c14ee9da0d3648400p
-68L,
213 /* x = 0.1484375 + 29/128. */
214 0xe.e35bf5ccac8905300p
-4L,
215 -0x3.26e2248cb2c5b81c0p
-68L,
216 0x5.dc40955d9084f4880p
-4L,
217 0x2.94675a2498de5d840p
-68L,
218 /* x = 0.1484375 + 30/128. */
219 0xe.d785b5c44741b4500p
-4L,
220 -0x6.c3a943462cc75eb00p
-68L,
221 0x5.f9fb80f21b5364a00p
-4L,
222 -0x3.bcdabf5af1dd3ad00p
-68L,
223 /* x = 0.1484375 + 31/128. */
224 0xe.cb7417b8d4ee3ff00p
-4L,
225 -0x3.c8545bf8c55b70e00p
-68L,
226 0x6.179e84a09a5258a80p
-4L,
227 -0x3.f164a0531fc1ada00p
-68L,
228 /* x = 0.1484375 + 32/128. */
229 0xe.bf274bf0bda4f6200p
-4L,
230 0x4.47e56a09362679900p
-68L,
231 0x6.352929dd264bd4480p
-4L,
232 0x2.02ea766325d8aa8c0p
-68L,
233 /* x = 0.1484375 + 33/128. */
234 0xe.b29f839f201fd1400p
-4L,
235 -0x4.6c8697d86e9587100p
-68L,
236 0x6.529afa7d51b129600p
-4L,
237 0x3.1ec197c0a840a11c0p
-68L,
238 /* x = 0.1484375 + 34/128. */
239 0xe.a5dcf0e30cf03e700p
-4L,
240 -0x6.8910f4e13d9aea080p
-68L,
241 0x6.6ff380ba014410a00p
-4L,
242 -0x1.c65cdf4f5c05a02a0p
-68L,
243 /* x = 0.1484375 + 35/128. */
244 0xe.98dfc6c6be031e600p
-4L,
245 0xd.d3089cbdd18a75b00p
-72L,
246 0x6.8d324731433279700p
-4L,
247 0x3.bc712bcc4ccddc480p
-68L,
248 /* x = 0.1484375 + 36/128. */
249 0xe.8ba8393eca7821b00p
-4L,
250 -0x5.a9c27cb6e49efee80p
-68L,
251 0x6.aa56d8e8249db4e80p
-4L,
252 0x3.60a761fe3f9e559c0p
-68L,
253 /* x = 0.1484375 + 37/128. */
254 0xe.7e367d2956cfb1700p
-4L,
255 -0x4.955ee1abe632ffa80p
-68L,
256 0x6.c760c14c8585a5200p
-4L,
257 -0x2.42cb99f5193ad5380p
-68L,
258 /* x = 0.1484375 + 38/128. */
259 0xe.708ac84d4172a3e00p
-4L,
260 0x2.737662213429e1400p
-68L,
261 0x6.e44f8c36eb10a1c80p
-4L,
262 -0xa.d2f6c3ff0b2b84600p
-72L,
263 /* x = 0.1484375 + 39/128. */
264 0xe.62a551594b970a700p
-4L,
265 0x7.0b15d41d4c0e48400p
-68L,
266 0x7.0122c5ec5028c8d00p
-4L,
267 -0xc.c540b02cbf333c800p
-76L,
268 /* x = 0.1484375 + 40/128. */
269 0xe.54864fe33e8575d00p
-4L,
270 -0x5.40a42f1a30e4e5780p
-68L,
271 0x7.1dd9fb1ff46778500p
-4L,
272 0x3.acb970a9f6729c700p
-68L,
273 /* x = 0.1484375 + 41/128. */
274 0xe.462dfc670d421ab00p
-4L,
275 0x3.d1a15901228f146c0p
-68L,
276 0x7.3a74b8f52947b6800p
-4L,
277 0x1.baf6928eb3fb02180p
-68L,
278 /* x = 0.1484375 + 42/128. */
279 0xe.379c9045f29d51800p
-4L,
280 -0x3.b7f755b683dfa84c0p
-68L,
281 0x7.56f28d011d9852880p
-4L,
282 0x2.44a75fc29c779bd80p
-68L,
283 /* x = 0.1484375 + 43/128. */
284 0xe.28d245c58baef7200p
-4L,
285 0x2.25e232abc003c4380p
-68L,
286 0x7.7353054ca72690d80p
-4L,
287 -0x3.391e8e0266194c600p
-68L,
288 /* x = 0.1484375 + 44/128. */
289 0xe.19cf580eeec046b00p
-4L,
290 -0x5.ebdd058b7f8131080p
-68L,
291 0x7.8f95b0560a9a3bd80p
-4L,
292 -0x1.2084267e23c739ee0p
-68L,
293 /* x = 0.1484375 + 45/128. */
294 0xe.0a94032dbea7cee00p
-4L,
295 -0x4.222625d0505267a80p
-68L,
296 0x7.abba1d12c17bfa200p
-4L,
297 -0x2.6d0f26c09f2126680p
-68L,
298 /* x = 0.1484375 + 46/128. */
299 0xd.fb20840f3a9b36f00p
-4L,
300 0x7.ae2c515342890b600p
-68L,
301 0x7.c7bfdaf13e5ed1700p
-4L,
302 0x2.12f8a7525bfb113c0p
-68L,
303 /* x = 0.1484375 + 47/128. */
304 0xd.eb7518814a7a93200p
-4L,
305 -0x4.433773ef632be3b00p
-68L,
306 0x7.e3a679daaf25c6780p
-4L,
307 -0x1.abd434bfd72f69be0p
-68L,
308 /* x = 0.1484375 + 48/128. */
309 0xd.db91ff31879917300p
-4L,
310 -0x4.2dbad2f5c7760ae80p
-68L,
311 0x7.ff6d8a34bd5e8fa80p
-4L,
312 -0x2.b368b7d24aea62100p
-68L,
313 /* x = 0.1484375 + 49/128. */
314 0xd.cb7777ac420705100p
-4L,
315 0x6.8f31e3eb780ce9c80p
-68L,
316 0x8.1b149ce34caa5a500p
-4L,
317 -0x1.9af072f602b295580p
-68L,
318 /* x = 0.1484375 + 50/128. */
319 0xd.bb25c25b8260c1500p
-4L,
320 -0x9.1843671366e48f400p
-72L,
321 0x8.369b434a372da7f00p
-4L,
322 -0x4.a3758e01c931e1f80p
-68L,
323 /* x = 0.1484375 + 51/128. */
324 0xd.aa9d2086082706400p
-4L,
325 -0x2.1ae3f617aa166cd00p
-72L,
326 0x8.52010f4f080052100p
-4L,
327 0x3.78bd8dd614753d080p
-68L,
328 /* x = 0.1484375 + 52/128. */
329 0xd.99ddd44e44a43d500p
-4L,
330 -0x2.b5c5c126adfbef900p
-68L,
331 0x8.6d45935ab396cb500p
-4L,
332 -0x1.bde17dd211ab0caa0p
-68L,
333 /* x = 0.1484375 + 53/128. */
334 0xd.88e820b1526311e00p
-4L,
335 -0x2.a9e1043f3e565ac80p
-68L,
336 0x8.8868625b4e1dbb200p
-4L,
337 0x3.13310133022527200p
-68L,
338 /* x = 0.1484375 + 54/128. */
339 0xd.77bc4985e93a60800p
-4L,
340 -0x3.6279746f944394400p
-68L,
341 0x8.a3690fc5bfc11c000p
-4L,
342 -0x6.aca1d8c657aed0b80p
-68L,
343 /* x = 0.1484375 + 55/128. */
344 0xd.665a937b4ef2b1f00p
-4L,
345 0x6.d51bad6d988a44180p
-68L,
346 0x8.be472f9776d809b00p
-4L,
347 -0xd.477e8edbc29c29900p
-72L,
348 /* x = 0.1484375 + 56/128. */
349 0xd.54c3441844897fd00p
-4L,
350 -0x7.07ac0f9aa0e459680p
-68L,
351 0x8.d902565817ee78400p
-4L,
352 -0x6.431c32ed7f9fee680p
-68L,
353 /* x = 0.1484375 + 57/128. */
354 0xd.42f6a1b9f0168ce00p
-4L,
355 -0xf.ce3d09c3726cfb200p
-72L,
356 0x8.f39a191b2ba612300p
-4L,
357 -0x5.c05b0be2a5c002c00p
-68L,
358 /* x = 0.1484375 + 58/128. */
359 0xd.30f4f392c357ab000p
-4L,
360 0x6.61c5fa8a7d9b26600p
-68L,
361 0x9.0e0e0d81ca6787900p
-4L,
362 0x6.cc92c8ea8c2815c00p
-68L,
363 /* x = 0.1484375 + 59/128. */
364 0xd.1ebe81a95ee752e00p
-4L,
365 0x4.8a26bcd32d6e92300p
-68L,
366 0x9.285dc9bc45dd9ea00p
-4L,
367 0x3.d02457bcce59c4180p
-68L,
368 /* x = 0.1484375 + 60/128. */
369 0xd.0c5394d7722281900p
-4L,
370 0x5.e25736c0357470800p
-68L,
371 0x9.4288e48bd0335fc00p
-4L,
372 0x4.1c4cbd2920497a900p
-68L,
373 /* x = 0.1484375 + 61/128. */
374 0xc.f9b476c897c25c600p
-4L,
375 -0x4.018af22c0cf715080p
-68L,
376 0x9.5c8ef544210ec0c00p
-4L,
377 -0x6.e3b642d55f617ae80p
-68L,
378 /* x = 0.1484375 + 62/128. */
379 0xc.e6e171f92f2e27f00p
-4L,
380 0x3.2225327ec440ddb00p
-68L,
381 0x9.766f93cd18413a700p
-4L,
382 -0x5.503e303903d754480p
-68L,
383 /* x = 0.1484375 + 63/128. */
384 0xc.d3dad1b5328a2e400p
-4L,
385 0x5.9f993f4f510881a00p
-68L,
386 0x9.902a58a45e27bed00p
-4L,
387 0x6.8412b426b675ed500p
-68L,
388 /* x = 0.1484375 + 64/128. */
389 0xc.c0a0e21709883a400p
-4L,
390 -0xf.f6ee1ee5f811c4300p
-76L,
391 0x9.a9bedcdf01b38da00p
-4L,
392 -0x6.c0c287df87e21d700p
-68L,
393 /* x = 0.1484375 + 65/128. */
394 0xc.ad33f00658fe5e800p
-4L,
395 0x2.04bbc0f3a66a0e6c0p
-68L,
396 0x9.c32cba2b14156ef00p
-4L,
397 0x5.256c4f857991ca680p
-72L,
398 /* x = 0.1484375 + 66/128. */
399 0xc.99944936cf48c8900p
-4L,
400 0x1.1ff93fe64b3ddb7a0p
-68L,
401 0x9.dc738ad14204e6900p
-4L,
402 -0x6.53a7d2f07a7d9a700p
-68L,
403 /* x = 0.1484375 + 67/128. */
404 0xc.85c23c26ed7b6f000p
-4L,
405 0x1.4ef546c4792968220p
-68L,
406 0x9.f592e9b66a9cf9000p
-4L,
407 0x6.a3c7aa3c101998480p
-68L,
408 /* x = 0.1484375 + 68/128. */
409 0xc.71be181ecd6875d00p
-4L,
410 -0x1.d25a9ea5fc335df80p
-68L,
411 0xa.0e8a725d33c828c00p
-4L,
412 0x1.1fa50fd9e9a15ffe0p
-68L,
413 /* x = 0.1484375 + 69/128. */
414 0xc.5d882d2ee48030c00p
-4L,
415 0x7.c07d28e981e348080p
-68L,
416 0xa.2759c0e79c3558200p
-4L,
417 0x5.27c32b55f5405c180p
-68L,
418 /* x = 0.1484375 + 70/128. */
419 0xc.4920cc2ec38fb8900p
-4L,
420 0x1.b38827db08884fc60p
-68L,
421 0xa.400072188acf49d00p
-4L,
422 -0x2.94e8c7da1fc7cb900p
-68L,
423 /* x = 0.1484375 + 71/128. */
424 0xc.348846bbd36313400p
-4L,
425 -0x7.001d401622ec7e600p
-68L,
426 0xa.587e23555bb080800p
-4L,
427 0x6.d02b9c662cdd29300p
-68L,
428 /* x = 0.1484375 + 72/128. */
429 0xc.1fbeef380e4ffdd00p
-4L,
430 0x5.a613ec8722f644000p
-68L,
431 0xa.70d272a76a8d4b700p
-4L,
432 -0x2.5f136f8ed448b7480p
-68L,
433 /* x = 0.1484375 + 73/128. */
434 0xc.0ac518c8b6ae71100p
-4L,
435 -0x4.5c85c1146f34ea500p
-68L,
436 0xa.88fcfebd9a8dd4800p
-4L,
437 -0x1.d0c3891061dbc66e0p
-68L,
438 /* x = 0.1484375 + 74/128. */
439 0xb.f59b17550a4406800p
-4L,
440 0x7.5969296567cf3e380p
-68L,
441 0xa.a0fd66eddb9212300p
-4L,
442 0x2.c28520d3911b8a040p
-68L,
443 /* x = 0.1484375 + 75/128. */
444 0xb.e0413f84f2a771c00p
-4L,
445 0x6.14946a88cbf4da200p
-68L,
446 0xa.b8d34b36acd987200p
-4L,
447 0x1.0ed343ec65d7e3ae0p
-68L,
448 /* x = 0.1484375 + 76/128. */
449 0xb.cab7e6bfb2a14aa00p
-4L,
450 -0x4.edd3a8b5c89413680p
-68L,
451 0xa.d07e4c409d08c5000p
-4L,
452 -0x5.c56fa844f53db4780p
-68L,
453 /* x = 0.1484375 + 77/128. */
454 0xb.b4ff632a908f73f00p
-4L,
455 -0x3.eae7c6346266c4b00p
-68L,
456 0xa.e7fe0b5fc786b2e00p
-4L,
457 -0x6.991e2950ebf5b7780p
-68L,
458 /* x = 0.1484375 + 78/128. */
459 0xb.9f180ba77dd075100p
-4L,
460 0x6.28e135a9508299000p
-68L,
461 0xa.ff522a954f2ba1700p
-4L,
462 -0x2.621023be91cc0a180p
-68L,
463 /* x = 0.1484375 + 79/128. */
464 0xb.890237d3bb3c28500p
-4L,
465 -0x4.9eb5fac6fe9405f00p
-68L,
466 0xb.167a4c90d63c42400p
-4L,
467 0x4.cf5493b7cc23bd400p
-68L,
468 /* x = 0.1484375 + 80/128. */
469 0xb.72be40067aaf2c000p
-4L,
470 0x5.0dbdb7a14c3d7d500p
-68L,
471 0xb.2d7614b1f3aaa2500p
-4L,
472 -0x2.0d291df5881e35c00p
-68L,
473 /* x = 0.1484375 + 81/128. */
474 0xb.5c4c7d4f7dae91600p
-4L,
475 -0x5.3879330b4e5b67300p
-68L,
476 0xb.44452709a59752900p
-4L,
477 0x5.913765434a59d1100p
-72L,
478 /* x = 0.1484375 + 82/128. */
479 0xb.45ad4975b1294cb00p
-4L,
480 -0x2.35b30bf1370dd5980p
-68L,
481 0xb.5ae7285bc10cf5100p
-4L,
482 0x5.753847e8f8b7a3100p
-68L,