1/* Accurate tables for exp().
2 Copyright (C) 1998-2018 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
4 Contributed by Geoffrey Keating <geoffk@ozemail.com.au>
5
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.
10
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.
15
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/>. */
19
20/* This table has the property that, for all integers -177 <= i <= 177,
21 exp(i/512.0 + __exp_deltatable[abs(i)]) == __exp_atable[i+177] + r
22 for some -2^-64 < r < 2^-64 (abs(r) < 2^-65 if i <= 0); and that
23 __exp_deltatable[abs(i)] == t * 2^-60
24 for integer t so that abs(t) <= 8847927 * 2^8. */
25
26#define W52 (2.22044605e-16)
27#define W55 (2.77555756e-17)
28#define W58 (3.46944695e-18)
29#define W59 (1.73472348e-18)
30#define W60 (8.67361738e-19)
31const float __exp_deltatable[178] = {
32 0*W60, 16558714*W60, -10672149*W59, 1441652*W60,
33 -15787963*W55, 462888*W60, 7291806*W60, 1698880*W60,
34 -14375103*W58, -2021016*W60, 728829*W60, -3759654*W60,
35 3202123*W60, -10916019*W58, -251570*W60, -1043086*W60,
36 8207536*W60, -409964*W60, -5993931*W60, -475500*W60,
37 2237522*W60, 324170*W60, -244117*W60, 32077*W60,
38 123907*W60, -1019734*W60, -143*W60, 813077*W60,
39 743345*W60, 462461*W60, 629794*W60, 2125066*W60,
40 -2339121*W60, -337951*W60, 9922067*W60, -648704*W60,
41 149407*W60, -2687209*W60, -631608*W60, 2128280*W60,
42 -4882082*W60, 2001360*W60, 175074*W60, 2923216*W60,
43 -538947*W60, -1212193*W60, -1920926*W60, -1080577*W60,
44 3690196*W60, 2643367*W60, 2911937*W60, 671455*W60,
45 -1128674*W60, 593282*W60, -5219347*W60, -1941490*W60,
46 11007953*W60, 239609*W60, -2969658*W60, -1183650*W60,
47 942998*W60, 699063*W60, 450569*W60, -329250*W60,
48 -7257875*W60, -312436*W60, 51626*W60, 555877*W60,
49 -641761*W60, 1565666*W60, 884327*W60, -10960035*W60,
50 -2004679*W60, -995793*W60, -2229051*W60, -146179*W60,
51 -510327*W60, 1453482*W60, -3778852*W60, -2238056*W60,
52 -4895983*W60, 3398883*W60, -252738*W60, 1230155*W60,
53 346918*W60, 1109352*W60, 268941*W60, -2930483*W60,
54 -1036263*W60, -1159280*W60, 1328176*W60, 2937642*W60,
55 -9371420*W60, -6902650*W60, -1419134*W60, 1442904*W60,
56 -1319056*W60, -16369*W60, 696555*W60, -279987*W60,
57 -7919763*W60, 252741*W60, 459711*W60, -1709645*W60,
58 354913*W60, 6025867*W60, -421460*W60, -853103*W60,
59 -338649*W60, 962151*W60, 955965*W60, 784419*W60,
60 -3633653*W60, 2277133*W60, -8847927*W52, 1223028*W60,
61 5907079*W60, 623167*W60, 5142888*W60, 2599099*W60,
62 1214280*W60, 4870359*W60, 593349*W60, -57705*W60,
63 7761209*W60, -5564097*W60, 2051261*W60, 6216869*W60,
64 4692163*W60, 601691*W60, -5264906*W60, 1077872*W60,
65 -3205949*W60, 1833082*W60, 2081746*W60, -987363*W60,
66 -1049535*W60, 2015244*W60, 874230*W60, 2168259*W60,
67 -1740124*W60, -10068269*W60, -18242*W60, -3013583*W60,
68 580601*W60, -2547161*W60, -535689*W60, 2220815*W60,
69 1285067*W60, 2806933*W60, -983086*W60, -1729097*W60,
70 -1162985*W60, -2561904*W60, 801988*W60, 244351*W60,
71 1441893*W60, -7517981*W60, 271781*W60, -15021588*W60,
72 -2341588*W60, -919198*W60, 1642232*W60, 4771771*W60,
73 -1220099*W60, -3062372*W60, 628624*W60, 1278114*W60,
74 13083513*W60, -10521925*W60, 3180310*W60, -1659307*W60,
75 3543773*W60, 2501203*W60, 4151*W60, -340748*W60,
76 -2285625*W60, 2495202*W60
77};
78
79const double __exp_atable[355] /* __attribute__((mode(DF))) */ = {
80 0.707722561055888932371, /* 0x0.b52d4e46605c27ffd */
81 0.709106182438804188967, /* 0x0.b587fb96f75097ffb */
82 0.710492508843861281234, /* 0x0.b5e2d649899167ffd */
83 0.711881545564593931623, /* 0x0.b63dde74d36bdfffe */
84 0.713273297897442870573, /* 0x0.b699142f945f87ffc */
85 0.714667771153751463236, /* 0x0.b6f477909c4ea0001 */
86 0.716064970655995725059, /* 0x0.b75008aec758f8004 */
87 0.717464901723956938193, /* 0x0.b7abc7a0eea7e0002 */
88 0.718867569715736398602, /* 0x0.b807b47e1586c7ff8 */
89 0.720272979947266023271, /* 0x0.b863cf5d10e380003 */
90 0.721681137825144314297, /* 0x0.b8c01855195c37ffb */
91 0.723092048691992950199, /* 0x0.b91c8f7d213740004 */
92 0.724505717938892290800, /* 0x0.b97934ec5002d0007 */
93 0.725922150953176470431, /* 0x0.b9d608b9c92ea7ffc */
94 0.727341353138962865022, /* 0x0.ba330afcc29e98003 */
95 0.728763329918453162104, /* 0x0.ba903bcc8618b7ffc */
96 0.730188086709957051568, /* 0x0.baed9b40591ba0000 */
97 0.731615628948127705309, /* 0x0.bb4b296f931e30002 */
98 0.733045962086486091436, /* 0x0.bba8e671a05617ff9 */
99 0.734479091556371366251, /* 0x0.bc06d25dd49568001 */
100 0.735915022857225542529, /* 0x0.bc64ed4bce8f6fff9 */
101 0.737353761441304711410, /* 0x0.bcc33752f915d7ff9 */
102 0.738795312814142124419, /* 0x0.bd21b08af98e78005 */
103 0.740239682467211168593, /* 0x0.bd80590b65e9a8000 */
104 0.741686875913991849885, /* 0x0.bddf30ebec4a10000 */
105 0.743136898669507939299, /* 0x0.be3e38443c84e0007 */
106 0.744589756269486091620, /* 0x0.be9d6f2c1d32a0002 */
107 0.746045454254026796384, /* 0x0.befcd5bb59baf8004 */
108 0.747503998175051087583, /* 0x0.bf5c6c09ca84c0003 */
109 0.748965393601880857739, /* 0x0.bfbc322f5b18b7ff8 */
110 0.750429646104262104698, /* 0x0.c01c2843f776fffff */
111 0.751896761271877989160, /* 0x0.c07c4e5fa18b88002 */
112 0.753366744698445112140, /* 0x0.c0dca49a5fb18fffd */
113 0.754839601988627206827, /* 0x0.c13d2b0c444db0005 */
114 0.756315338768691947122, /* 0x0.c19de1cd798578006 */
115 0.757793960659406629066, /* 0x0.c1fec8f623723fffd */
116 0.759275473314173443536, /* 0x0.c25fe09e8a0f47ff8 */
117 0.760759882363831851927, /* 0x0.c2c128dedc88f8000 */
118 0.762247193485956486805, /* 0x0.c322a1cf7d6e7fffa */
119 0.763737412354726363781, /* 0x0.c3844b88cb9347ffc */
120 0.765230544649828092739, /* 0x0.c3e626232bd8f7ffc */
121 0.766726596071518051729, /* 0x0.c44831b719bf18002 */
122 0.768225572321911687194, /* 0x0.c4aa6e5d12d078001 */
123 0.769727479119219348810, /* 0x0.c50cdc2da64a37ffb */
124 0.771232322196981678892, /* 0x0.c56f7b41744490001 */
125 0.772740107296721268087, /* 0x0.c5d24bb1259e70004 */
126 0.774250840160724651565, /* 0x0.c6354d95640dd0007 */
127 0.775764526565368872643, /* 0x0.c6988106fec447fff */
128 0.777281172269557396602, /* 0x0.c6fbe61eb1bd0ffff */
129 0.778800783068235302750, /* 0x0.c75f7cf560942fffc */
130 0.780323364758801041312, /* 0x0.c7c345a3f1983fffe */
131 0.781848923151573727006, /* 0x0.c8274043594cb0002 */
132 0.783377464064598849602, /* 0x0.c88b6cec94b3b7ff9 */
133 0.784908993312207869935, /* 0x0.c8efcbb89cba27ffe */
134 0.786443516765346961618, /* 0x0.c9545cc0a88c70003 */
135 0.787981040257604625744, /* 0x0.c9b9201dc643bfffa */
136 0.789521569657452682047, /* 0x0.ca1e15e92a5410007 */
137 0.791065110849462849192, /* 0x0.ca833e3c1ae510005 */
138 0.792611669712891875319, /* 0x0.cae8992fd84667ffd */
139 0.794161252150049179450, /* 0x0.cb4e26ddbc207fff8 */
140 0.795713864077794763584, /* 0x0.cbb3e75f301b60003 */
141 0.797269511407239561694, /* 0x0.cc19dacd978cd8002 */
142 0.798828200086368567220, /* 0x0.cc8001427e55d7ffb */
143 0.800389937624300440456, /* 0x0.cce65ade24d360006 */
144 0.801954725261124767840, /* 0x0.cd4ce7a5de839fffb */
145 0.803522573691593189330, /* 0x0.cdb3a7c79a678fffd */
146 0.805093487311204114563, /* 0x0.ce1a9b563965ffffc */
147 0.806667472122675088819, /* 0x0.ce81c26b838db8000 */
148 0.808244534127439906441, /* 0x0.cee91d213f8428002 */
149 0.809824679342317166307, /* 0x0.cf50ab9144d92fff9 */
150 0.811407913793616542005, /* 0x0.cfb86dd5758c2ffff */
151 0.812994243520784198882, /* 0x0.d0206407c20e20005 */
152 0.814583674571603966162, /* 0x0.d0888e4223facfff9 */
153 0.816176213022088536960, /* 0x0.d0f0ec9eb3f7c8002 */
154 0.817771864936188586101, /* 0x0.d1597f377d6768002 */
155 0.819370636400374108252, /* 0x0.d1c24626a46eafff8 */
156 0.820972533518165570298, /* 0x0.d22b41865ff1e7ff9 */
157 0.822577562404315121269, /* 0x0.d2947170f32ec7ff9 */
158 0.824185729164559344159, /* 0x0.d2fdd60097795fff8 */
159 0.825797039949601741075, /* 0x0.d3676f4fb796d0001 */
160 0.827411500902565544264, /* 0x0.d3d13d78b5f68fffb */
161 0.829029118181348834154, /* 0x0.d43b40960546d8001 */
162 0.830649897953322891022, /* 0x0.d4a578c222a058000 */
163 0.832273846408250750368, /* 0x0.d50fe617a3ba78005 */
164 0.833900969738858188772, /* 0x0.d57a88b1218e90002 */
165 0.835531274148056613016, /* 0x0.d5e560a94048f8006 */
166 0.837164765846411529371, /* 0x0.d6506e1aac8078003 */
167 0.838801451086016225394, /* 0x0.d6bbb1204074e0001 */
168 0.840441336100884561780, /* 0x0.d72729d4c28518004 */
169 0.842084427144139224814, /* 0x0.d792d8530e12b0001 */
170 0.843730730487052604790, /* 0x0.d7febcb61273e7fff */
171 0.845380252404570153833, /* 0x0.d86ad718c308dfff9 */
172 0.847032999194574087728, /* 0x0.d8d727962c69d7fff */
173 0.848688977161248581090, /* 0x0.d943ae49621ce7ffb */
174 0.850348192619261200615, /* 0x0.d9b06b4d832ef8005 */
175 0.852010651900976245816, /* 0x0.da1d5ebdc22220005 */
176 0.853676361342631029337, /* 0x0.da8a88b555baa0006 */
177 0.855345327311054837175, /* 0x0.daf7e94f965f98004 */
178 0.857017556155879489641, /* 0x0.db6580a7c98f7fff8 */
179 0.858693054267390953857, /* 0x0.dbd34ed9617befff8 */
180 0.860371828028939855647, /* 0x0.dc4153ffc8b65fff9 */
181 0.862053883854957292436, /* 0x0.dcaf90368bfca8004 */
182 0.863739228154875360306, /* 0x0.dd1e0399328d87ffe */
183 0.865427867361348468455, /* 0x0.dd8cae435d303fff9 */
184 0.867119807911702289458, /* 0x0.ddfb9050b1cee8006 */
185 0.868815056264353846599, /* 0x0.de6aa9dced8448001 */
186 0.870513618890481399881, /* 0x0.ded9fb03db7320006 */
187 0.872215502247877139094, /* 0x0.df4983e1380657ff8 */
188 0.873920712852848668986, /* 0x0.dfb94490ffff77ffd */
189 0.875629257204025623884, /* 0x0.e0293d2f1cb01fff9 */
190 0.877341141814212965880, /* 0x0.e0996dd786fff0007 */
191 0.879056373217612985183, /* 0x0.e109d6a64f5d57ffc */
192 0.880774957955916648615, /* 0x0.e17a77b78e72a7ffe */
193 0.882496902590150900078, /* 0x0.e1eb5127722cc7ff8 */
194 0.884222213673356738383, /* 0x0.e25c63121fb0c8006 */
195 0.885950897802399772740, /* 0x0.e2cdad93ec5340003 */
196 0.887682961567391237685, /* 0x0.e33f30c925fb97ffb */
197 0.889418411575228162725, /* 0x0.e3b0ecce2d05ffff9 */
198 0.891157254447957902797, /* 0x0.e422e1bf727718006 */
199 0.892899496816652704641, /* 0x0.e4950fb9713fc7ffe */
200 0.894645145323828439008, /* 0x0.e50776d8b0e60fff8 */
201 0.896394206626591749641, /* 0x0.e57a1739c8fadfffc */
202 0.898146687421414902124, /* 0x0.e5ecf0f97c5798007 */
203 0.899902594367530173098, /* 0x0.e660043464e378005 */
204 0.901661934163603406867, /* 0x0.e6d3510747e150006 */
205 0.903424713533971135418, /* 0x0.e746d78f06cd97ffd */
206 0.905190939194458810123, /* 0x0.e7ba97e879c91fffc */
207 0.906960617885092856864, /* 0x0.e82e92309390b0007 */
208 0.908733756358986566306, /* 0x0.e8a2c6845544afffa */
209 0.910510361377119825629, /* 0x0.e9173500c8abc7ff8 */
210 0.912290439722343249336, /* 0x0.e98bddc30f98b0002 */
211 0.914073998177417412765, /* 0x0.ea00c0e84bc4c7fff */
212 0.915861043547953501680, /* 0x0.ea75de8db8094fffe */
213 0.917651582652244779397, /* 0x0.eaeb36d09d3137ffe */
214 0.919445622318405764159, /* 0x0.eb60c9ce4ed3dffff */
215 0.921243169397334638073, /* 0x0.ebd697a43995b0007 */
216 0.923044230737526172328, /* 0x0.ec4ca06fc7768fffa */
217 0.924848813220121135342, /* 0x0.ecc2e44e865b6fffb */
218 0.926656923710931002014, /* 0x0.ed39635df34e70006 */
219 0.928468569126343790092, /* 0x0.edb01dbbc2f5b7ffa */
220 0.930283756368834757725, /* 0x0.ee2713859aab57ffa */
221 0.932102492359406786818, /* 0x0.ee9e44d9342870004 */
222 0.933924784042873379360, /* 0x0.ef15b1d4635438005 */
223 0.935750638358567643520, /* 0x0.ef8d5a94f60f50007 */
224 0.937580062297704630580, /* 0x0.f0053f38f345cffff */
225 0.939413062815381727516, /* 0x0.f07d5fde3a2d98001 */
226 0.941249646905368053689, /* 0x0.f0f5bca2d481a8004 */
227 0.943089821583810716806, /* 0x0.f16e55a4e497d7ffe */
228 0.944933593864477061592, /* 0x0.f1e72b028a2827ffb */
229 0.946780970781518460559, /* 0x0.f2603cd9fb5430001 */
230 0.948631959382661205081, /* 0x0.f2d98b497d2a87ff9 */
231 0.950486566729423554277, /* 0x0.f353166f63e3dffff */
232 0.952344799896018723290, /* 0x0.f3ccde6a11ae37ffe */
233 0.954206665969085765512, /* 0x0.f446e357f66120000 */
234 0.956072172053890279009, /* 0x0.f4c12557964f0fff9 */
235 0.957941325265908139014, /* 0x0.f53ba48781046fffb */
236 0.959814132734539637840, /* 0x0.f5b66106555d07ffa */
237 0.961690601603558903308, /* 0x0.f6315af2c2027fffc */
238 0.963570739036113010927, /* 0x0.f6ac926b8aeb80004 */
239 0.965454552202857141381, /* 0x0.f728078f7c5008002 */
240 0.967342048278315158608, /* 0x0.f7a3ba7d66a908001 */
241 0.969233234469444204768, /* 0x0.f81fab543e1897ffb */
242 0.971128118008140250896, /* 0x0.f89bda33122c78007 */
243 0.973026706099345495256, /* 0x0.f9184738d4cf97ff8 */
244 0.974929006031422851235, /* 0x0.f994f284d3a5c0008 */
245 0.976835024947348973265, /* 0x0.fa11dc35bc7820002 */
246 0.978744770239899142285, /* 0x0.fa8f046b4fb7f8007 */
247 0.980658249138918636210, /* 0x0.fb0c6b449ab1cfff9 */
248 0.982575468959622777535, /* 0x0.fb8a10e1088fb7ffa */
249 0.984496437054508843888, /* 0x0.fc07f5602d79afffc */
250 0.986421160608523028820, /* 0x0.fc8618e0e55e47ffb */
251 0.988349647107594098099, /* 0x0.fd047b83571b1fffa */
252 0.990281903873210800357, /* 0x0.fd831d66f4c018002 */
253 0.992217938695037382475, /* 0x0.fe01fead3320bfff8 */
254 0.994157757657894713987, /* 0x0.fe811f703491e8006 */
255 0.996101369488558541238, /* 0x0.ff007fd5744490005 */
256 0.998048781093141101932, /* 0x0.ff801ffa9b9280007 */
257 1.000000000000000000000, /* 0x1.00000000000000000 */
258 1.001955033605393285965, /* 0x1.0080200565d29ffff */
259 1.003913889319761887310, /* 0x1.0100802aa0e80fff0 */
260 1.005876574715736104818, /* 0x1.01812090377240007 */
261 1.007843096764807100351, /* 0x1.020201541aad7fff6 */
262 1.009813464316352327214, /* 0x1.0283229c4c9820007 */
263 1.011787683565730677817, /* 0x1.030484836910a000e */
264 1.013765762469146736174, /* 0x1.0386272b9c077fffe */
265 1.015747708536026694351, /* 0x1.04080ab526304fff0 */
266 1.017733529475172815584, /* 0x1.048a2f412375ffff0 */
267 1.019723232714418781378, /* 0x1.050c94ef7ad5e000a */
268 1.021716825883923762690, /* 0x1.058f3be0f1c2d0004 */
269 1.023714316605201180057, /* 0x1.06122436442e2000e */
270 1.025715712440059545995, /* 0x1.06954e0fec63afff2 */
271 1.027721021151397406936, /* 0x1.0718b98f41c92fff6 */
272 1.029730250269221158939, /* 0x1.079c66d49bb2ffff1 */
273 1.031743407506447551857, /* 0x1.082056011a9230009 */
274 1.033760500517691527387, /* 0x1.08a487359ebd50002 */
275 1.035781537016238873464, /* 0x1.0928fa93490d4fff3 */
276 1.037806524719013578963, /* 0x1.09adb03b3e5b3000d */
277 1.039835471338248051878, /* 0x1.0a32a84e9e5760004 */
278 1.041868384612101516848, /* 0x1.0ab7e2eea5340ffff */
279 1.043905272300907460835, /* 0x1.0b3d603ca784f0009 */
280 1.045946142174331239262, /* 0x1.0bc3205a042060000 */
281 1.047991002016745332165, /* 0x1.0c4923682a086fffe */
282 1.050039859627715177527, /* 0x1.0ccf698898f3a000d */
283 1.052092722826109660856, /* 0x1.0d55f2dce5d1dfffb */
284 1.054149599440827866881, /* 0x1.0ddcbf86b09a5fff6 */
285 1.056210497317612961855, /* 0x1.0e63cfa7abc97fffd */
286 1.058275424318780855142, /* 0x1.0eeb23619c146fffb */
287 1.060344388322010722446, /* 0x1.0f72bad65714bffff */
288 1.062417397220589476718, /* 0x1.0ffa9627c38d30004 */
289 1.064494458915699715017, /* 0x1.1082b577d0eef0003 */
290 1.066575581342167566880, /* 0x1.110b18e893a90000a */
291 1.068660772440545025953, /* 0x1.1193c09c267610006 */
292 1.070750040138235936705, /* 0x1.121cacb4959befff6 */
293 1.072843392435016474095, /* 0x1.12a5dd543cf36ffff */
294 1.074940837302467588937, /* 0x1.132f529d59552000b */
295 1.077042382749654914030, /* 0x1.13b90cb250d08fff5 */
296 1.079148036789447484528, /* 0x1.14430bb58da3dfff9 */
297 1.081257807444460983297, /* 0x1.14cd4fc984c4a000e */
298 1.083371702785017154417, /* 0x1.1557d910df9c7000e */
299 1.085489730853784307038, /* 0x1.15e2a7ae292d30002 */
300 1.087611899742884524772, /* 0x1.166dbbc422d8c0004 */
301 1.089738217537583819804, /* 0x1.16f9157586772ffff */
302 1.091868692357631731528, /* 0x1.1784b4e533cacfff0 */
303 1.094003332327482702577, /* 0x1.18109a360fc23fff2 */
304 1.096142145591650907149, /* 0x1.189cc58b155a70008 */
305 1.098285140311341168136, /* 0x1.1929370751ea50002 */
306 1.100432324652149906842, /* 0x1.19b5eecdd79cefff0 */
307 1.102583706811727015711, /* 0x1.1a42ed01dbdba000e */
308 1.104739294993289488947, /* 0x1.1ad031c69a2eafff0 */
309 1.106899097422573863281, /* 0x1.1b5dbd3f66e120003 */
310 1.109063122341542140286, /* 0x1.1beb8f8fa8150000b */
311 1.111231377994659874592, /* 0x1.1c79a8dac6ad0fff4 */
312 1.113403872669181282605, /* 0x1.1d0809445a97ffffc */
313 1.115580614653132185460, /* 0x1.1d96b0effc9db000e */
314 1.117761612217810673898, /* 0x1.1e25a001332190000 */
315 1.119946873713312474002, /* 0x1.1eb4d69bdb2a9fff1 */
316 1.122136407473298902480, /* 0x1.1f4454e3bfae00006 */
317 1.124330221845670330058, /* 0x1.1fd41afcbb48bfff8 */
318 1.126528325196519908506, /* 0x1.2064290abc98c0001 */
319 1.128730725913251964394, /* 0x1.20f47f31c9aa7000f */
320 1.130937432396844410880, /* 0x1.21851d95f776dfff0 */
321 1.133148453059692917203, /* 0x1.2216045b6784efffa */
322 1.135363796355857157764, /* 0x1.22a733a6692ae0004 */
323 1.137583470716100553249, /* 0x1.2338ab9b3221a0004 */
324 1.139807484614418608939, /* 0x1.23ca6c5e27aadfff7 */
325 1.142035846532929888057, /* 0x1.245c7613b7f6c0004 */
326 1.144268564977221958089, /* 0x1.24eec8e06b035000c */
327 1.146505648458203463465, /* 0x1.258164e8cea85fff8 */
328 1.148747105501412235671, /* 0x1.26144a5180d380009 */
329 1.150992944689175123667, /* 0x1.26a7793f5de2efffa */
330 1.153243174560058870217, /* 0x1.273af1d712179000d */
331 1.155497803703682491111, /* 0x1.27ceb43d81d42fff1 */
332 1.157756840726344771440, /* 0x1.2862c097a3d29000c */
333 1.160020294239811677834, /* 0x1.28f7170a74cf4fff1 */
334 1.162288172883275239058, /* 0x1.298bb7bb0faed0004 */
335 1.164560485298402170388, /* 0x1.2a20a2ce920dffff4 */
336 1.166837240167474476460, /* 0x1.2ab5d86a4631ffff6 */
337 1.169118446164539637555, /* 0x1.2b4b58b36d5220009 */
338 1.171404112007080167155, /* 0x1.2be123cf786790002 */
339 1.173694246390975415341, /* 0x1.2c7739e3c0aac000d */
340 1.175988858069749065617, /* 0x1.2d0d9b15deb58fff6 */
341 1.178287955789017793514, /* 0x1.2da4478b627040002 */
342 1.180591548323240091978, /* 0x1.2e3b3f69fb794fffc */
343 1.182899644456603782686, /* 0x1.2ed282d76421d0004 */
344 1.185212252993012693694, /* 0x1.2f6a11f96c685fff3 */
345 1.187529382762033236513, /* 0x1.3001ecf60082ffffa */
346 1.189851042595508889847, /* 0x1.309a13f30f28a0004 */
347 1.192177241354644978669, /* 0x1.31328716a758cfff7 */
348 1.194507987909589896687, /* 0x1.31cb4686e1e85fffb */
349 1.196843291137896336843, /* 0x1.32645269dfd04000a */
350 1.199183159977805113226, /* 0x1.32fdaae604c39000f */
351 1.201527603343041317132, /* 0x1.339750219980dfff3 */
352 1.203876630171082595692, /* 0x1.3431424300e480007 */
353 1.206230249419600664189, /* 0x1.34cb8170b3fee000e */
354 1.208588470077065268869, /* 0x1.35660dd14dbd4fffc */
355 1.210951301134513435915, /* 0x1.3600e78b6bdfc0005 */
356 1.213318751604272271958, /* 0x1.369c0ec5c38ebfff2 */
357 1.215690830512196507537, /* 0x1.373783a718d29000f */
358 1.218067546930756250870, /* 0x1.37d3465662f480007 */
359 1.220448909901335365929, /* 0x1.386f56fa770fe0008 */
360 1.222834928513994334780, /* 0x1.390bb5ba5fc540004 */
361 1.225225611877684750397, /* 0x1.39a862bd3c7a8fff3 */
362 1.227620969111500981433, /* 0x1.3a455e2a37bcafffd */
363 1.230021009336254911271, /* 0x1.3ae2a8287dfbefff6 */
364 1.232425741726685064472, /* 0x1.3b8040df76f39fffa */
365 1.234835175450728295084, /* 0x1.3c1e287682e48fff1 */
366 1.237249319699482263931, /* 0x1.3cbc5f151b86bfff8 */
367 1.239668183679933477545, /* 0x1.3d5ae4e2cc0a8000f */
368 1.242091776620540377629, /* 0x1.3df9ba07373bf0006 */
369 1.244520107762172811399, /* 0x1.3e98deaa0d8cafffe */
370 1.246953186383919165383, /* 0x1.3f3852f32973efff0 */
371 1.249391019292643401078, /* 0x1.3fd816ffc72b90001 */
372 1.251833623164381181797, /* 0x1.40782b17863250005 */
373 1.254280999953110153911, /* 0x1.41188f42caf400000 */
374 1.256733161434815393410, /* 0x1.41b943b42945bfffd */
375 1.259190116985283935980, /* 0x1.425a4893e5f10000a */
376 1.261651875958665236542, /* 0x1.42fb9e0a2df4c0009 */
377 1.264118447754797758244, /* 0x1.439d443f608c4fff9 */
378 1.266589841787181258708, /* 0x1.443f3b5bebf850008 */
379 1.269066067469190262045, /* 0x1.44e183883e561fff7 */
380 1.271547134259576328224, /* 0x1.45841cecf7a7a0001 */
381 1.274033051628237434048, /* 0x1.462707b2c43020009 */
382 1.276523829025464573684, /* 0x1.46ca44023aa410007 */
383 1.279019475999373156531, /* 0x1.476dd2045d46ffff0 */
384 1.281520002043128991825, /* 0x1.4811b1e1f1f19000b */
385 1.284025416692967214122, /* 0x1.48b5e3c3edd74fff4 */
386 1.286535729509738823464, /* 0x1.495a67d3613c8fff7 */
387 1.289050950070396384145, /* 0x1.49ff3e396e19d000b */
388 1.291571087985403654081, /* 0x1.4aa4671f5b401fff1 */
389 1.294096152842774794011, /* 0x1.4b49e2ae56d19000d */
390 1.296626154297237043484, /* 0x1.4befb10fd84a3fff4 */
391 1.299161101984141142272, /* 0x1.4c95d26d41d84fff8 */
392 1.301701005575179204100, /* 0x1.4d3c46f01d9f0fff3 */
393 1.304245874766450485904, /* 0x1.4de30ec21097d0003 */
394 1.306795719266019562007, /* 0x1.4e8a2a0ccce3d0002 */
395 1.309350548792467483458, /* 0x1.4f3198fa10346fff5 */
396 1.311910373099227200545, /* 0x1.4fd95bb3be8cffffd */
397 1.314475201942565174546, /* 0x1.50817263bf0e5fffb */
398 1.317045045107389400535, /* 0x1.5129dd3418575000e */
399 1.319619912422941299109, /* 0x1.51d29c4f01c54ffff */
400 1.322199813675649204855, /* 0x1.527bafde83a310009 */
401 1.324784758729532718739, /* 0x1.5325180cfb8b3fffd */
402 1.327374757430096474625, /* 0x1.53ced504b2bd0fff4 */
403 1.329969819671041886272, /* 0x1.5478e6f02775e0001 */
404 1.332569955346704748651, /* 0x1.55234df9d8a59fff8 */
405 1.335175174370685002822, /* 0x1.55ce0a4c5a6a9fff6 */
406 1.337785486688218616860, /* 0x1.56791c1263abefff7 */
407 1.340400902247843806217, /* 0x1.57248376aef21fffa */
408 1.343021431036279800211, /* 0x1.57d040a420c0bfff3 */
409 1.345647083048053138662, /* 0x1.587c53c5a630f0002 */
410 1.348277868295411074918, /* 0x1.5928bd063fd7bfff9 */
411 1.350913796821875845231, /* 0x1.59d57c9110ad60006 */
412 1.353554878672557082439, /* 0x1.5a8292913d68cfffc */
413 1.356201123929036356254, /* 0x1.5b2fff3212db00007 */
414 1.358852542671913132777, /* 0x1.5bddc29edcc06fff3 */
415 1.361509145047255398051, /* 0x1.5c8bdd032ed16000f */
416 1.364170941142184734180, /* 0x1.5d3a4e8a5bf61fff4 */
417 1.366837941171020309735, /* 0x1.5de9176042f1effff */
418 1.369510155261156381121, /* 0x1.5e9837b062f4e0005 */
419 1.372187593620959988833, /* 0x1.5f47afa69436cfff1 */
420 1.374870266463378287715, /* 0x1.5ff77f6eb3f8cfffd */
421 1.377558184010425845733, /* 0x1.60a7a734a9742fff9 */
422 1.380251356531521533853, /* 0x1.6158272490016000c */
423 1.382949794301995272203, /* 0x1.6208ff6a8978a000f */
424 1.385653507605306700170, /* 0x1.62ba3032c0a280004 */
425 1.388362506772382154503, /* 0x1.636bb9a994784000f */
426 1.391076802081129493127, /* 0x1.641d9bfb29a7bfff6 */
427 1.393796403973427855412, /* 0x1.64cfd7545928b0002 */
428 1.396521322756352656542, /* 0x1.65826be167badfff8 */
429 1.399251568859207761660, /* 0x1.663559cf20826000c */
430 1.401987152677323100733, /* 0x1.66e8a14a29486fffc */
431 1.404728084651919228815, /* 0x1.679c427f5a4b6000b */
432 1.407474375243217723560, /* 0x1.68503d9ba0add000f */
433 1.410226034922914983815, /* 0x1.690492cbf6303fff9 */
434 1.412983074197955213304, /* 0x1.69b9423d7b548fff6 */
435};
436