pxfm/logs/
log10td_coeffs.rs

1/*
2 * // Copyright (c) Radzivon Bartoshyk 8/2025. All rights reserved.
3 * //
4 * // Redistribution and use in source and binary forms, with or without modification,
5 * // are permitted provided that the following conditions are met:
6 * //
7 * // 1.  Redistributions of source code must retain the above copyright notice, this
8 * // list of conditions and the following disclaimer.
9 * //
10 * // 2.  Redistributions in binary form must reproduce the above copyright notice,
11 * // this list of conditions and the following disclaimer in the documentation
12 * // and/or other materials provided with the distribution.
13 * //
14 * // 3.  Neither the name of the copyright holder nor the names of its
15 * // contributors may be used to endorse or promote products derived from
16 * // this software without specific prior written permission.
17 * //
18 * // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
19 * // AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
20 * // IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
21 * // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
22 * // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
23 * // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
24 * // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
25 * // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
26 * // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
27 * // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 */
29
30/**
31Generated by SageMath:
32```python
33R = RealField(150)
34
35def hex_to_float(h):
36    return struct.unpack('>d', struct.pack('>Q', h))[0]
37
38real_array = [R(hex_to_float(h)) for h in values]
39
40for r in real_array:
41    print_triple_double("", -RealField(180)(r).log10())
42```
43**/
44pub(crate) static LOG10_NEG_TD: [(u64, u64, u64); 182] = [
45    (0xb89002c845c3b128, 0xbc0b420b9b202edd, 0xbfc31b3055c47118),
46    (0x38e5607e92cc3d86, 0xbc662219537667a2, 0xbfc2cc20b1734279),
47    (0xb8c53b02f2c219ad, 0xbc4386d677ad2ead, 0xbfc27c9ffae729c1),
48    (0x390c4925ec4ba355, 0x3c6fb908b0ca4062, 0xbfc22cacece26ead),
49    (0xb907310487c79786, 0xbc61b4170b1c73f0, 0xbfc1dc463ca41df8),
50    (0x38fdec83a542321d, 0x3c5d6679f737585c, 0xbfc18b6a99c7f679),
51    (0x39075e156bc06274, 0x3c6c6397435bc5b6, 0xbfc162d082ac9d10),
52    (0x38b62066cf807969, 0x3c4b8c4f1b08949b, 0xbfc11142f0811357),
53    (0xb8eb79f0297d79fd, 0xbc5e17a06836db63, 0xbfc0bf3d0937c41c),
54    (0xb8baf3f94b418d28, 0xbc65163143f60061, 0xbfc06cbd67a6c3b6),
55    (0x3907cb66c266da5e, 0xbc6c5e9d9a0e1fd9, 0xbfc019c2a064b486),
56    (0xb8fc8f49451b2b9c, 0x3c5ec7f2dac60a5c, 0xbfbf8c9683468191),
57    (0x38a21551cf561003, 0x3c54a69937a2d705, 0xbfbf38c0c8325d86),
58    (0x38f32dcc7f6a5efc, 0x3c53cbb5a6ee659b, 0xbfbe9056bcb315e8),
59    (0x38ff4e6aafdeb6a5, 0x3c51bf355bb72ca1, 0xbfbde6ec0f392b05),
60    (0xb8c5949c22c5c13e, 0x3c5ce84c9eaee37a, 0xbfbd91d5866aa99c),
61    (0xb8c0d2e29710fa1a, 0x3c26f0603909a181, 0xbfbce6e41e463da5),
62    (0x38fcbad44d58c56f, 0x3c58b9190212e5ba, 0xbfbc3aea4a5c6eff),
63    (0x38c3c3b861649e91, 0x3c2446d00b829ad4, 0xbfbb8de4d3ab3d98),
64    (0x38eeab77ea5ae5c0, 0x3c5aa2aeaa7bc18d, 0xbfbb36fcb5f8be8a),
65    (0x38f866aee06a4002, 0x3c5dd366189ac022, 0xbfba885fa2d6151e),
66    (0xb8da496755361f14, 0x3c4ebf33e9410429, 0xbfba30a9d609efea),
67    (0xb8eb9d973d5a81ee, 0xbc5c81cca3dd9b7b, 0xbfb9806d9414a209),
68    (0xb8f25cbc5fc36d82, 0x3c5935d381a0844f, 0xbfb8cf183886480d),
69    (0x38ce162025d7f34a, 0x3c3666804e99aabc, 0xbfb8760307d355ab),
70    (0x38b60052fa072a91, 0xbc21064a1f6dc0c5, 0xbfb7c30164a60836),
71    (0xb8c07c05e9fdb823, 0x3c5ac4c370ae3c1d, 0xbfb769140a2526fd),
72    (0x38f5b5c030bcef17, 0xbc5643835531d8ee, 0xbfb6b45df6f3e2c9),
73    (0x38d21688e77d5afb, 0x3c59d9c8eaf88500, 0xbfb659944f8ba02d),
74    (0xb8efde3e6ebdf069, 0xbc48cb0dc78c3961, 0xbfb5a32167b32f02),
75    (0x38f5f10707d2333c, 0x3c5e1bcfb0476f5d, 0xbfb5477731973e85),
76    (0x38e3d7d43d84e36e, 0xbc5782120ed9fd02, 0xbfb48f3ed1df48fb),
77    (0xb8f268b21a5b88f8, 0x3c51960cbdfcb2d3, 0xbfb432afab5dd3ff),
78    (0x38c42231800bf01c, 0x3c4a83d8a6eb8e2e, 0xbfb3d5d335c53179),
79    (0xb88002c845c3b128, 0xbbfb420b9b202edd, 0xbfb31b3055c47118),
80    (0x38c136f6506c3113, 0xbc59f5fa977fa091, 0xbfb2bd68e4621371),
81    (0x38f1c66402538718, 0x3c5c2f24fb8a820d, 0xbfb200eb639a3173),
82    (0xb8e8305d344af3bf, 0x3c4f990c2c07d3b5, 0xbfb1a23445501816),
83    (0xb8d0911e570f1772, 0x3c4114d5dc0b3275, 0xbfb1432c31917d08),
84    (0xb8d0c670f62a43c9, 0x3c3ccc49eb0a89d8, 0xbfb08426fcdb1ee7),
85    (0x38c282a6187110fe, 0x3c35943d4373d44a, 0xbfb02428c1f08016),
86    (0xb8dae3378c046c6a, 0x3c31436f936096a0, 0xbfaf87aebb43ce06),
87    (0xb8eb644705b7affb, 0x3c4d4d643174a412, 0xbfae0471aa1868f5),
88    (0x38e7097d514f05cc, 0x3c47f9dc537bfbfb, 0xbfad41d5164facb4),
89    (0x38efea466ac41bfd, 0x3c4073b6859dc799, 0xbfac7e8d993509f9),
90    (0x38e735cc6aa10798, 0x3c46487d64961833, 0xbfaaf5f92b00e610),
91    (0xb8ca496755361f14, 0x3c3ebf33e9410429, 0xbfaa30a9d609efea),
92    (0xb8e423cab9979886, 0x3c41c8c309cdac54, 0xbfa96aaacfefcf3c),
93    (0xb8e8d323b0a8265c, 0x3c4b144b06126f68, 0xbfa8a3fadeb847f4),
94    (0xb8d443df1e952f54, 0x3c38f0f77fcff1d9, 0xbfa71483427d2a99),
95    (0xb8c0f02a728b0923, 0xbc2eff9decc696f6, 0xbfa64bb912d65c07),
96    (0x38df7639a3c4fefb, 0xbc4efd454f7ea69a, 0xbfa58238eeb353da),
97    (0xb8d020031b665cbc, 0xbc443795bbf70657, 0xbfa4b8018b21ed4f),
98    (0xb8e5f6d30622464a, 0x3c492b9251ee5832, 0xbfa32167c82bdcda),
99    (0x38dc9bdb87272974, 0x3c4ff894a084ae68, 0xbfa25502c0fc314c),
100    (0xb8cc98efd443d8bd, 0xbc49adc1c7f97f4a, 0xbfa187e12aad8077),
101    (0x38dd736bbeb20108, 0xbc35f1d45244f437, 0xbfa0ba01a8170000),
102    (0x38d9223bf675f3cd, 0x3c3e7ffa709828ef, 0xbf9fd6c5b0851c4c),
103    (0xb89b88f11b4d4ea9, 0xbc0af3eb3b443356, 0xbf9e3806acbd058f),
104    (0x38d735cc6aa10798, 0x3c36487d64961833, 0xbf9af5f92b00e610),
105    (0xb8b16ecc6dcb33a1, 0x3c1f21279ca1bd16, 0xbf9952a4f22c5ae9),
106    (0xb8b049f2508d0405, 0xbc1b980714c596a3, 0xbf97adc3df3b1ff8),
107    (0xb8c31b155a73c7e0, 0xbc36ea248137e395, 0xbf960753003a94ef),
108    (0x38bab270fa22426e, 0xbc3dda7897a55eb5, 0xbf945f4f5acb8be0),
109    (0xb8b2011a6d02a2f9, 0xbc15bcd6d3458191, 0xbf92b5b5ec0209d3),
110    (0x38d9567819f06222, 0x3c37b9fd5428084f, 0xbf910a83a8446c78),
111    (0xb8b695431959f8e4, 0xbc1b57b9aec33450, 0xbf8ebb6af653e2ee),
112    (0x387790ad1c32f033, 0xbbff2e9fe367a511, 0xbf8b5e908eb13790),
113    (0x38b94f863e314105, 0xbc28d4a223a5f7c9, 0xbf87fe71ccc4e6b0),
114    (0xb8a983539059615f, 0x3c18f207a6d0d0b1, 0xbf849b0851443684),
115    (0x38c01a8492cb45d3, 0x3c29383502395c53, 0xbf81344daa2d7553),
116    (0x38a86d6805b5b078, 0x3c03b252df477a75, 0xbf7b9476a4fcd10f),
117    (0xb88d03d2f51efac9, 0xbbefb495d6440f14, 0xbf74b99563d2a1bd),
118    (0x38ae415215a90a2b, 0xbc09706ea523f0a5, 0xbf6bafd47221ed26),
119    (0x0000000000000000, 0x0000000000000000, 0x8000000000000000),
120    (0x0000000000000000, 0x0000000000000000, 0x8000000000000000),
121    (0x38a5c7c42656edc5, 0x3c0dcbdc594292c0, 0x3f64e84e793a474a),
122    (0xb8baa27d025eefb8, 0x3c11e6c1240ced74, 0x3f7175085ab85ff0),
123    (0xb892d9a16b70963f, 0x3c0e1d6052707e0e, 0x3f787cff9d9147a5),
124    (0xb884e8e710379609, 0xbbee4f45b8df7d67, 0x3f7f8c1b6b0c8d4e),
125    (0xb8c08a4af7bab81f, 0x3c22495d8b8e25b7, 0x3f8351352a8e733f),
126    (0xb87e8055cf668c67, 0x3c1bc0294772c57f, 0x3f86dffd8d3bbf70),
127    (0xb8b9b54309dabea5, 0xbc2b41d4e4ac05d4, 0x3f8a726e53a6056e),
128    (0x389370d9e5682f63, 0xbc28d01e8ac8a78b, 0x3f8c3d0837784c41),
129    (0x380107b2c9d18b62, 0x3c27d5b73769b64c, 0x3f8fd503c3904f1d),
130    (0x3879c1318df4f5fb, 0xbbd646ebcccb6894, 0x3f91b85d6044e9ae),
131    (0x38d23a2b392f494f, 0x3c37b38a223627b5, 0x3f93881a7b818f9e),
132    (0xb87266701d45d395, 0x3c0521ad5fa98432, 0x3f9559bd2406c3ba),
133    (0x38c07782809ecaf6, 0xbc29fc37c4e4e576, 0x3f972d4956ca2067),
134    (0xb8d9f4886964e9f2, 0x3c3c830373882139, 0x3f9817c846828bbd),
135    (0x38aa4fd0d6840595, 0x3c0be24ddca8b835, 0x3f99ee3a5e9f57e8),
136    (0xb8a1f073a0185b5c, 0x3c0999ccc6d592f0, 0x3f9bc6a03117eb97),
137    (0x38c1ba31ff0ebcf6, 0xbc34a65cdeb626ca, 0x3f9da0fde8038de9),
138    (0xb8c2ae25e3c7af79, 0xbc29dc1111e3b44c, 0x3f9f7d57badb4ee8),
139    (0x38e2862d635fc3a1, 0x3c47db4db93811b8, 0x3fa0362241e638ec),
140    (0x38da4725a086a87e, 0xbc3f6975f23b8a99, 0x3fa125d0432ea20e),
141    (0x38e747dcf984a4ce, 0x3c463610c66f42b2, 0x3fa21681b5c8c213),
142    (0xb8ba8f5a9e1afc55, 0x3c3c756ef644213d, 0x3fa28f3c69912a74),
143    (0x38b20caa6a9c4119, 0xbc11b16a272d4ddf, 0x3fa381772a00e604),
144    (0x38c15a731b8c76f0, 0xbc2197beb0be1c78, 0x3fa474baeb77e904),
145    (0xb89fcd308117f994, 0xbc0978c592e6c139, 0x3fa4eec0e2458f30),
146    (0xb8c59c1417fe9b19, 0x3c2bb9cd2fb75402, 0x3fa5e3966b7e9295),
147    (0x38c469a2211e96d7, 0x3c377b340fa390ec, 0x3fa6d97ab3ba5e10),
148    (0x38d48e0de01f1b66, 0x3c3ea90ccf791593, 0x3fa754d31b1b179c),
149    (0xb8d369beaa748363, 0x3c454596cc7150a8, 0x3fa84c51ebee8d15),
150    (0xb8d20cdb1f079c35, 0xbc476df54932f73e, 0x3fa944e56a0d3450),
151    (0x38cc0a24a6aece0c, 0xbc286148dd4cfbf5, 0x3fa9c197abf00dd7),
152    (0x38c68fdc7ccadc86, 0xbc397d2cb982dac2, 0x3faabbcebd84fca0),
153    (0x38ad7e11b8460553, 0x3c36591c969ff97b, 0x3fab39542ba23d73),
154    (0xb8c42c09b578a1bb, 0xbc40859ccb55560e, 0x3fac3534628016dd),
155    (0x38e912371677ce89, 0x3c4a5aca518d962e, 0x3facb38fccd8bfdb),
156    (0x38cbad1cb83cff56, 0x3c396e1e0dda0b3d, 0x3fadb11ed766abf4),
157    (0x38d5fbe0cd351aa2, 0x3c332de632195123, 0x3fae30531c76c34a),
158    (0xb8cc92b7b45b9557, 0xbc23a73e99099cbd, 0x3faf2f96c6754aee),
159    (0x38c78cf7437c1a1c, 0x3c262f731cfeb27b, 0x3fafafa6d397efdb),
160    (0xb8ea24ca8acd4629, 0xbc4e0c43230184dc, 0x3fb0585283764178),
161    (0xb8e8bbcb792f081a, 0x3c5466dc013d46a9, 0x3fb098c9ec61b3ff),
162    (0xb8e5f8e913fb6a30, 0xbc5cae3496ce9852, 0x3fb11a294f2569f6),
163    (0xb8fbd9f731f71bf6, 0xbc56a232c37f20c5, 0x3fb15b11a094a1aa),
164    (0xb8d2ff33eb29a068, 0xbc4f587e7a233c80, 0x3fb1dd5460c8b16f),
165    (0xb8e8dde97ac3bf82, 0x3c5a0dec3a5a500c, 0x3fb21eaf28f57941),
166    (0x38b95b4fde7f0e0e, 0x3c585a155bb65408, 0x3fb2a1d86b49f1e2),
167    (0x38d56074eaea7505, 0xbc5aef53f2ecddb9, 0x3fb2e3a740b7800f),
168    (0x38f07fc540f1ffd6, 0xbc5de49ddb15fb04, 0x3fb367ba3aaa1883),
169    (0xb8f3c847b2f2b20a, 0xbc5514fb6a33e70f, 0x3fb3a9febc60540a),
170    (0x38f5b10bf359af28, 0x3c5c4c753d98645a, 0x3fb3ec6ad5407868),
171    (0x38cc8292ede0aa76, 0x3c2ce8e795b6ed98, 0x3fb471ba8a7de2b7),
172    (0xb8e4c088deea25e6, 0xbc54f0487863efe6, 0x3fb4b49e86b11e5f),
173    (0x389fb62394a838a4, 0x3c4bc478d6071be0, 0x3fb53adfb462ce16),
174    (0x38b8294b7967031c, 0xbc187decde1893f1, 0x3fb57e3d47c3af7b),
175    (0x38dfaf3384ac8a3b, 0x3c481f647ea24688, 0x3fb5c1c3c5557799),
176    (0xb8f02e1b4c45d28c, 0x3c5ad1738d96af06, 0x3fb6494c46ac6e4d),
177    (0xb8c0efee9b397b5e, 0x3c54c74f6a7880e3, 0x3fb68d4eaf26d7ee),
178    (0xb88bdf7c6a6a3fa8, 0xbc52a2d69cfac78f, 0x3fb6d17acb3e5f5e),
179    (0xb8dfad5df4f01a6b, 0x3c4e4ba167ee73dd, 0x3fb75a50ebb1624a),
180    (0x38effc4a2a1bc2cb, 0x3c57e469fe31a42f, 0x3fb79efb57b0f803),
181    (0xb8accdbd86c1b5c3, 0xbc4d12e032a3b7af, 0x3fb7e3d04697b704),
182    (0xb8e0e96abe790a21, 0xbc53f06091db6450, 0x3fb828cfed29a215),
183    (0xb8e6b1083c5aa70b, 0x3c4da13d5c8cb232, 0x3fb8b350364c6257),
184    (0x388318cf6f2052dc, 0x3be2034e6320e8c0, 0x3fb8f8d144557bdf),
185    (0xb8f19142bff65cf6, 0xbc5d0d01941798b6, 0x3fb93e7de0fc3e80),
186    (0xb8ff3ddeebf83378, 0xbc562d3ed69292b0, 0x3fb9ca5aa1729f45),
187    (0xb8f46354ffa76f1d, 0x3c5ba75ea17687d3, 0x3fba108b33edb005),
188    (0xb8beeaa25ea54d75, 0xbc3113a1fc340179, 0x3fba56e8325f5c87),
189    (0x38d5b7ac1e1aef0c, 0xbc4f648977febad9, 0x3fba9d71d5258484),
190    (0x38ceeebae16520f4, 0x3c45689de26b43ff, 0x3fbb2b0beb419ad0),
191    (0xb886dbc50eaa6c95, 0xbc5a8267d18975f3, 0x3fbb721cd17157e3),
192    (0xb8f10917d4228654, 0xbc5cb0a198331caf, 0x3fbbb95b41ab5ce6),
193    (0xb8cdb7e880ea8bbb, 0xbc5b1e2e67b6f4bf, 0x3fbc00c7767225cb),
194    (0xb8e783952280cc1c, 0xbc5b6b51fca7a9a5, 0x3fbc4861aab93a23),
195    (0x38f01f84186661a4, 0xbc58f377e27bbe25, 0x3fbcd820ffd278f3),
196    (0xb8f64617184a7a75, 0xbc5667bf89866cca, 0x3fbd204698cb42bd),
197    (0xb885683b90b4f393, 0xbc1100072d011b81, 0x3fbd689b2193f133),
198    (0x38dbad1cb83cff56, 0x3c496e1e0dda0b3d, 0x3fbdb11ed766abf4),
199    (0xb8dbaceb968c6347, 0x3c55c6bc5d06e932, 0x3fbdf9d1f7f5b674),
200    (0xb8fc9b4a9a70f158, 0xbc5e018e5642e2ef, 0x3fbe42b4c16caaf3),
201    (0x38cefcd22b519828, 0xbc20a89525f3e005, 0x3fbed50a4a26eafc),
202    (0xb8f06cab49f1568b, 0x3c50955b9d99c1b8, 0x3fbf1e7d882b689a),
203    (0xb8d3723ccec39b76, 0xbc5c42f76e4345b0, 0x3fbf68216c9cc727),
204    (0xb8cf28885cbbad03, 0xbc46749ac407ee87, 0x3fbfb1f6381856f4),
205    (0xb8dd7ad76a7a7b71, 0x3c5d60df12c2e13d, 0x3fbffbfc2bbc7803),
206    (0xb8d84e30bcb6c96c, 0x3c4ef8dd8b73f78d, 0x3fc02319c494f951),
207    (0x38d7dcb3f42ceed7, 0x3c5f318aa3021710, 0x3fc0484e4942aa43),
208    (0x390a877fa28d48a3, 0xbc6a12a1c0cb3d7f, 0x3fc093025a19976c),
209    (0x38ff47213a55d67d, 0xbc609801174f88fd, 0x3fc0b88229b71227),
210    (0x38f8cdc0d1c23d2c, 0x3c65b619c844d28b, 0x3fc0de1b56356b04),
211    (0x38e4d94a39e28f45, 0x3c4dbdf176a1440a, 0x3fc103ce01fae223),
212    (0xb8e86ff50e0d3676, 0xbc6ce6c847a6598d, 0x3fc1299a4fb3e306),
213    (0x39030b6b1dc04f65, 0xbc61f5da9e930834, 0x3fc14f806253c3ed),
214    (0x38f0cf7ad7cc99dc, 0x3c5ac676f20a87ab, 0x3fc175805d1587c1),
215    (0x389beb9c10205d5f, 0xbc6e785b3b894bd7, 0x3fc19b9a637ca295),
216    (0xb8ff10f27308fe1f, 0xbc5db924be9633b4, 0x3fc1c1ce9955c0c6),
217    (0xb8fb96f43aca9222, 0x3c6db81c3374e59e, 0x3fc1e81d22b790d4),
218    (0x390a3faccc5a1d64, 0xbc67299601268298, 0x3fc20e8624038fed),
219    (0x38f3bb0b56ef561a, 0x3c6ea54c137b0aea, 0x3fc23509c1e6d937),
220    (0x38ca3a8ffda52a42, 0x3c50349d03e16325, 0x3fc25ba8215af7fc),
221    (0xb8d4ef96e017818e, 0x3c6557d4cdeffe3f, 0x3fc2826167a6bc9c),
222    (0x38a1dc76a8836a07, 0xbc1f613823fd2a19, 0x3fc2a935ba5f1479),
223    (0xb8c261e40d93238d, 0xbc63dda694b5fe22, 0x3fc2d0253f67e4cb),
224    (0xb8eed469920e8a20, 0xbc4c7972ce5f8b57, 0x3fc2f7301cf4e87b),
225    (0x38e43330d48115cd, 0x3c54b79d1957630a, 0x3fc31e56798a910a),
226    (0x38ffcf787a5e0b91, 0xbc654fd6eb7d970e, 0x3fc345987bfeea91),
227];
pxfm/logs/log10td_coeffs.rs

pxfm/logs/
log10td_coeffs.rs
