pxfm/tangent/
tanpi_table.rs

1/*
2 * // Copyright (c) Radzivon Bartoshyk 9/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// Generated by SageMath:
31// print("[")
32// for k in range(128):
33//     k = RealField(150)(k) * RealField(150).pi() / RealField(150)(64)
34//     print_double_double("", k.tan())
35// print("];")
36pub(crate) static TANPI_K_PI_OVER_64: [(u64, u64); 128] = [
37    (0x0000000000000000, 0x0000000000000000),
38    (0x3bfada13ceebab9d, 0x3fa927278a3b1162),
39    (0x3c587d054f689d7a, 0x3fb936bb8c5b2da2),
40    (0x3c52cfb5a746f62c, 0x3fc2fcac73a60640),
41    (0x3c2ef5d367441946, 0x3fc975f5e0553158),
42    (0x3c65a6d6c3c8b6a7, 0x3fd007fa758626ae),
43    (0xbc6d704d1bfdb6e8, 0x3fd36a08355c63dc),
44    (0x3c678e945dc3913c, 0x3fd6e649f7d78649),
45    (0x3c708b2fb1366ea9, 0x3fda827999fcef32),
46    (0x3c741522f15e53c5, 0x3fde450e0d273e7a),
47    (0xbc8e564bcd1e635d, 0x3fe11ab7190834ec),
48    (0xbc810b4421e6a4f8, 0x3fe32e1889047ffd),
49    (0x3c87a8c52172b675, 0x3fe561b82ab7f990),
50    (0xbc8aa7538e44e996, 0x3fe7bb99ed2990cf),
51    (0xbc7a6db80fe796fe, 0x3fea43002ae42850),
52    (0x3c78dcad85e60fbe, 0x3fed00cbc7384d2e),
53    (0x0000000000000000, 0x3ff0000000000000),
54    (0x3c9946cc0b66979f, 0x3ff1a73d55278c4b),
55    (0xbc787e5ad9735569, 0x3ff37efd8d87607e),
56    (0x3c86a085e3bc3af6, 0x3ff592d11142fa55),
57    (0x3c9419fa6954928f, 0x3ff7f218e25a7461),
58    (0xbc7b6fb77846d763, 0x3ffab1c35d8a74ea),
59    (0x3c80fb3e75c7098e, 0x3ffdef13b73c1406),
60    (0x3c97ce6cb463c972, 0x4000ea21d716fbf7),
61    (0x3ca21165f626cdd5, 0x4003504f333f9de6),
62    (0x3c7aca947bfb1dcc, 0x40065bc6cc825147),
63    (0xbc9b7a14d0d691be, 0x400a5f59e90600dd),
64    (0xbc889fcd637fbf3b, 0x400ff01305ecd8dc),
65    (0x3c810706fed37f0e, 0x40141bfee2424771),
66    (0xbcaae397239c5a0d, 0x401af73f4ca3310f),
67    (0x3cc351daea79411d, 0x40244e6c595afdcc),
68    (0xbc7b6e6b4de0cd24, 0x40345affed201b55),
69    (0xc5f4a74167598ceb, 0xc950457bf6be49c7),
70    (0x3c7b6e6b4de0cd24, 0xc0345affed201b55),
71    (0xbcc351daea79411d, 0xc0244e6c595afdcc),
72    (0x3caae397239c5a0d, 0xc01af73f4ca3310f),
73    (0xbc810706fed37f0e, 0xc0141bfee2424771),
74    (0x3c889fcd637fbf3b, 0xc00ff01305ecd8dc),
75    (0x3c9b7a14d0d691be, 0xc00a5f59e90600dd),
76    (0xbc7aca947bfb1dcc, 0xc0065bc6cc825147),
77    (0xbca21165f626cdd5, 0xc003504f333f9de6),
78    (0xbc97ce6cb463c972, 0xc000ea21d716fbf7),
79    (0xbc80fb3e75c7098e, 0xbffdef13b73c1406),
80    (0x3c7b6fb77846d763, 0xbffab1c35d8a74ea),
81    (0xbc9419fa6954928f, 0xbff7f218e25a7461),
82    (0xbc86a085e3bc3af6, 0xbff592d11142fa55),
83    (0x3c787e5ad9735569, 0xbff37efd8d87607e),
84    (0xbc9946cc0b66979f, 0xbff1a73d55278c4b),
85    (0x36a8000000000000, 0xbff0000000000000),
86    (0xbc78dcad85e60fbe, 0xbfed00cbc7384d2e),
87    (0x3c7a6db80fe796fe, 0xbfea43002ae42850),
88    (0x3c8aa7538e44e996, 0xbfe7bb99ed2990cf),
89    (0xbc87a8c52172b675, 0xbfe561b82ab7f990),
90    (0x3c810b4421e6a4f8, 0xbfe32e1889047ffd),
91    (0x3c8e564bcd1e635d, 0xbfe11ab7190834ec),
92    (0xbc741522f15e53c5, 0xbfde450e0d273e7a),
93    (0xbc708b2fb1366ea9, 0xbfda827999fcef32),
94    (0xbc678e945dc3913c, 0xbfd6e649f7d78649),
95    (0x3c6d704d1bfdb6e8, 0xbfd36a08355c63dc),
96    (0xbc65a6d6c3c8b6a7, 0xbfd007fa758626ae),
97    (0xbc2ef5d367441946, 0xbfc975f5e0553158),
98    (0xbc52cfb5a746f62c, 0xbfc2fcac73a60640),
99    (0xbc587d054f689d7a, 0xbfb936bb8c5b2da2),
100    (0xbbfada13ceebab9d, 0xbfa927278a3b1162),
101    (0x3331056713b19377, 0x369f77598338bfdf),
102    (0x3bfada13ceebab9d, 0x3fa927278a3b1162),
103    (0x3c587d054f689d7a, 0x3fb936bb8c5b2da2),
104    (0x3c52cfb5a746f62c, 0x3fc2fcac73a60640),
105    (0x3c2ef5d367441946, 0x3fc975f5e0553158),
106    (0x3c65a6d6c3c8b6a7, 0x3fd007fa758626ae),
107    (0xbc6d704d1bfdb6e8, 0x3fd36a08355c63dc),
108    (0x3c678e945dc3913c, 0x3fd6e649f7d78649),
109    (0x3c708b2fb1366ea9, 0x3fda827999fcef32),
110    (0x3c741522f15e53c5, 0x3fde450e0d273e7a),
111    (0xbc8e564bcd1e635d, 0x3fe11ab7190834ec),
112    (0xbc810b4421e6a4f8, 0x3fe32e1889047ffd),
113    (0x3c87a8c52172b675, 0x3fe561b82ab7f990),
114    (0xbc8aa7538e44e996, 0x3fe7bb99ed2990cf),
115    (0xbc7a6db80fe796fe, 0x3fea43002ae42850),
116    (0x3c78dcad85e60fbe, 0x3fed00cbc7384d2e),
117    (0x36b0000000000000, 0x3ff0000000000000),
118    (0x3c9946cc0b66979f, 0x3ff1a73d55278c4b),
119    (0xbc787e5ad9735569, 0x3ff37efd8d87607e),
120    (0x3c86a085e3bc3af6, 0x3ff592d11142fa55),
121    (0x3c9419fa6954928f, 0x3ff7f218e25a7461),
122    (0xbc7b6fb77846d763, 0x3ffab1c35d8a74ea),
123    (0x3c80fb3e75c7098e, 0x3ffdef13b73c1406),
124    (0x3c97ce6cb463c972, 0x4000ea21d716fbf7),
125    (0x3ca21165f626cdd5, 0x4003504f333f9de6),
126    (0x3c7aca947bfb1dcc, 0x40065bc6cc825147),
127    (0xbc9b7a14d0d691be, 0x400a5f59e90600dd),
128    (0xbc889fcd637fbf3b, 0x400ff01305ecd8dc),
129    (0x3c810706fed37f0e, 0x40141bfee2424771),
130    (0xbcaae397239c5a0d, 0x401af73f4ca3310f),
131    (0x3cc351daea79411d, 0x40244e6c595afdcc),
132    (0xbc7b6e6b4de0cd24, 0x40345affed201b55),
133    (0x45ce41fc41bbdd8e, 0xc935b1fa9e530d0a),
134    (0x3c7b6e6b4de0cd24, 0xc0345affed201b55),
135    (0xbcc351daea79411d, 0xc0244e6c595afdcc),
136    (0x3caae397239c5a0d, 0xc01af73f4ca3310f),
137    (0xbc810706fed37f0e, 0xc0141bfee2424771),
138    (0x3c889fcd637fbf3b, 0xc00ff01305ecd8dc),
139    (0x3c9b7a14d0d691be, 0xc00a5f59e90600dd),
140    (0xbc7aca947bfb1dcc, 0xc0065bc6cc825147),
141    (0xbca21165f626cdd5, 0xc003504f333f9de6),
142    (0xbc97ce6cb463c972, 0xc000ea21d716fbf7),
143    (0xbc80fb3e75c7098e, 0xbffdef13b73c1406),
144    (0x3c7b6fb77846d763, 0xbffab1c35d8a74ea),
145    (0xbc9419fa6954928f, 0xbff7f218e25a7461),
146    (0xbc86a085e3bc3af6, 0xbff592d11142fa55),
147    (0x3c787e5ad9735569, 0xbff37efd8d87607e),
148    (0xbc9946cc0b66979f, 0xbff1a73d55278c4b),
149    (0x36ce000000000000, 0xbff0000000000000),
150    (0xbc78dcad85e60fbe, 0xbfed00cbc7384d2e),
151    (0x3c7a6db80fe796fe, 0xbfea43002ae42850),
152    (0x3c8aa7538e44e996, 0xbfe7bb99ed2990cf),
153    (0xbc87a8c52172b675, 0xbfe561b82ab7f990),
154    (0x3c810b4421e6a4f8, 0xbfe32e1889047ffd),
155    (0x3c8e564bcd1e635d, 0xbfe11ab7190834ec),
156    (0xbc741522f15e53c5, 0xbfde450e0d273e7a),
157    (0xbc708b2fb1366ea9, 0xbfda827999fcef32),
158    (0xbc678e945dc3913c, 0xbfd6e649f7d78649),
159    (0x3c6d704d1bfdb6e8, 0xbfd36a08355c63dc),
160    (0xbc65a6d6c3c8b6a7, 0xbfd007fa758626ae),
161    (0xbc2ef5d367441946, 0xbfc975f5e0553158),
162    (0xbc52cfb5a746f62c, 0xbfc2fcac73a60640),
163    (0xbc587d054f689d7a, 0xbfb936bb8c5b2da2),
164    (0xbbfada13ceebab9d, 0xbfa927278a3b1162),
165];
166
167// Generated by Sollya:
168// print("[")
169// for k in range(256):
170//     k = RealField(150)(k) * RealField(150).pi() / RealField(150)(128)
171//     print_double_double("", k.tan())
172// print("];")
173pub(crate) static TAN_K_PI_OVER_128: [(u64, u64); 256] = [
174    (0x0000000000000000, 0x0000000000000000),
175    (0xbbf13b5915a8e316, 0x3f992346247a91f0),
176    (0x3bfada13ceebab9d, 0x3fa927278a3b1162),
177    (0x3c587a2cb08f812c, 0x3fb2e239ccff3831),
178    (0x3c587d054f689d7a, 0x3fb936bb8c5b2da2),
179    (0xbc412206d2ac3013, 0x3fbf93183a8db9e9),
180    (0x3c52cfb5a746f62c, 0x3fc2fcac73a60640),
181    (0xbc59debab5988b6b, 0x3fc635c990ce0d36),
182    (0x3c2ef5d367441946, 0x3fc975f5e0553158),
183    (0x3c64a5be32c624f4, 0x3fccbe4ceb4b4cf2),
184    (0x3c65a6d6c3c8b6a7, 0x3fd007fa758626ae),
185    (0x3c6cbda4f63658a0, 0x3fd1b6103d3597e9),
186    (0xbc6d704d1bfdb6e8, 0x3fd36a08355c63dc),
187    (0x3c7be976387851c1, 0x3fd5248ae1701b17),
188    (0x3c678e945dc3913c, 0x3fd6e649f7d78649),
189    (0xbc67327a64e1229d, 0x3fd8b00196b3d022),
190    (0x3c708b2fb1366ea9, 0x3fda827999fcef32),
191    (0x3c4ff57fa14eec2f, 0x3fdc5e87185e67b6),
192    (0x3c741522f15e53c5, 0x3fde450e0d273e7a),
193    (0x3c80bfceebbe8797, 0x3fe01b819b5a7cf7),
194    (0xbc8e564bcd1e635d, 0x3fe11ab7190834ec),
195    (0x3c5aed6fb930f332, 0x3fe220b5ef047825),
196    (0xbc810b4421e6a4f8, 0x3fe32e1889047ffd),
197    (0xbc8a7d457cee5076, 0x3fe44386db9ce5db),
198    (0x3c87a8c52172b675, 0x3fe561b82ab7f990),
199    (0x3c7439bc2d43ebfc, 0x3fe6897514751db6),
200    (0xbc8aa7538e44e996, 0x3fe7bb99ed2990cf),
201    (0xbc778bf71a952738, 0x3fe8f9197bf85eeb),
202    (0xbc7a6db80fe796fe, 0x3fea43002ae42850),
203    (0x3c76fc7e578d57ab, 0x3feb9a77c18c1af2),
204    (0x3c78dcad85e60fbe, 0x3fed00cbc7384d2e),
205    (0x3c8915eabb7f20cb, 0x3fee776eafc91706),
206    (0x0000000000000000, 0x3ff0000000000000),
207    (0x3c94986267a7063b, 0x3ff0ce29d0883c99),
208    (0x3c9946cc0b66979f, 0x3ff1a73d55278c4b),
209    (0x3c80322c95986960, 0x3ff28c66fdaf8f09),
210    (0xbc787e5ad9735569, 0x3ff37efd8d87607e),
211    (0x3c9f86b7ea4ce3dc, 0x3ff48089f8bf42cc),
212    (0x3c86a085e3bc3af6, 0x3ff592d11142fa55),
213    (0xbc950debdd3e20b2, 0x3ff6b7df86265200),
214    (0x3c9419fa6954928f, 0x3ff7f218e25a7461),
215    (0x3c9ccbeeba3801a8, 0x3ff9444a7462122a),
216    (0xbc7b6fb77846d763, 0x3ffab1c35d8a74ea),
217    (0x3c90a392d9ac6a3b, 0x3ffc3e738086bc0f),
218    (0x3c80fb3e75c7098e, 0x3ffdef13b73c1406),
219    (0x3c8b7127cf34b46c, 0x3fffc95abad6cf4a),
220    (0x3c97ce6cb463c972, 0x4000ea21d716fbf7),
221    (0xbc9291fd400280bf, 0x40020c36c6a7f38e),
222    (0x3ca21165f626cdd5, 0x4003504f333f9de6),
223    (0xbca82c5b9ae77a8b, 0x4004bd3d87fe0650),
224    (0x3c7aca947bfb1dcc, 0x40065bc6cc825147),
225    (0x3c8b35c6e3b49ecd, 0x400837626d70fdb8),
226    (0xbc9b7a14d0d691be, 0x400a5f59e90600dd),
227    (0x3c777f638a8d7d8a, 0x400ce885653127e7),
228    (0xbc889fcd637fbf3b, 0x400ff01305ecd8dc),
229    (0xbcaee737686fd43e, 0x4011d0143e71565f),
230    (0x3c810706fed37f0e, 0x40141bfee2424771),
231    (0xbcb10e285b56fe74, 0x40170d751908c1b1),
232    (0xbcaae397239c5a0d, 0x401af73f4ca3310f),
233    (0xbcbd4a376685482f, 0x4020372fb36b87e2),
234    (0x3cc351daea79411d, 0x40244e6c595afdcc),
235    (0x3cb67e518f25e3f8, 0x402b1d03c03d2f7f),
236    (0xbc7b6e6b4de0cd24, 0x40345affed201b55),
237    (0x3cde2447b82ca2f3, 0x40445e2455e4aaa7),
238    (0xc5f4a74167598ceb, 0xc950457bf6be49c7),
239    (0xbcde2447b82ca2f3, 0xc0445e2455e4aaa7),
240    (0x3c7b6e6b4de0cd24, 0xc0345affed201b55),
241    (0xbcb67e518f25e3f8, 0xc02b1d03c03d2f7f),
242    (0xbcc351daea79411d, 0xc0244e6c595afdcc),
243    (0x3cbd4a376685482f, 0xc020372fb36b87e2),
244    (0x3caae397239c5a0d, 0xc01af73f4ca3310f),
245    (0x3cb10e285b56fe74, 0xc0170d751908c1b1),
246    (0xbc810706fed37f0e, 0xc0141bfee2424771),
247    (0x3caee737686fd43e, 0xc011d0143e71565f),
248    (0x3c889fcd637fbf3b, 0xc00ff01305ecd8dc),
249    (0xbc777f638a8d7d8a, 0xc00ce885653127e7),
250    (0x3c9b7a14d0d691be, 0xc00a5f59e90600dd),
251    (0xbc8b35c6e3b49ecd, 0xc00837626d70fdb8),
252    (0xbc7aca947bfb1dcc, 0xc0065bc6cc825147),
253    (0x3ca82c5b9ae77a8b, 0xc004bd3d87fe0650),
254    (0xbca21165f626cdd5, 0xc003504f333f9de6),
255    (0x3c9291fd400280bf, 0xc0020c36c6a7f38e),
256    (0xbc97ce6cb463c972, 0xc000ea21d716fbf7),
257    (0xbc8b7127cf34b46c, 0xbfffc95abad6cf4a),
258    (0xbc80fb3e75c7098e, 0xbffdef13b73c1406),
259    (0xbc90a392d9ac6a3b, 0xbffc3e738086bc0f),
260    (0x3c7b6fb77846d763, 0xbffab1c35d8a74ea),
261    (0xbc9ccbeeba3801a8, 0xbff9444a7462122a),
262    (0xbc9419fa6954928f, 0xbff7f218e25a7461),
263    (0x3c950debdd3e20b2, 0xbff6b7df86265200),
264    (0xbc86a085e3bc3af6, 0xbff592d11142fa55),
265    (0xbc9f86b7ea4ce3dc, 0xbff48089f8bf42cc),
266    (0x3c787e5ad9735569, 0xbff37efd8d87607e),
267    (0xbc80322c95986960, 0xbff28c66fdaf8f09),
268    (0xbc9946cc0b66979f, 0xbff1a73d55278c4b),
269    (0xbc94986267a7063b, 0xbff0ce29d0883c99),
270    (0x36a8000000000000, 0xbff0000000000000),
271    (0xbc8915eabb7f20cb, 0xbfee776eafc91706),
272    (0xbc78dcad85e60fbe, 0xbfed00cbc7384d2e),
273    (0xbc76fc7e578d57ab, 0xbfeb9a77c18c1af2),
274    (0x3c7a6db80fe796fe, 0xbfea43002ae42850),
275    (0x3c778bf71a952738, 0xbfe8f9197bf85eeb),
276    (0x3c8aa7538e44e996, 0xbfe7bb99ed2990cf),
277    (0xbc7439bc2d43ebfc, 0xbfe6897514751db6),
278    (0xbc87a8c52172b675, 0xbfe561b82ab7f990),
279    (0x3c8a7d457cee5076, 0xbfe44386db9ce5db),
280    (0x3c810b4421e6a4f8, 0xbfe32e1889047ffd),
281    (0xbc5aed6fb930f332, 0xbfe220b5ef047825),
282    (0x3c8e564bcd1e635d, 0xbfe11ab7190834ec),
283    (0xbc80bfceebbe8797, 0xbfe01b819b5a7cf7),
284    (0xbc741522f15e53c5, 0xbfde450e0d273e7a),
285    (0xbc4ff57fa14eec2f, 0xbfdc5e87185e67b6),
286    (0xbc708b2fb1366ea9, 0xbfda827999fcef32),
287    (0x3c67327a64e1229d, 0xbfd8b00196b3d022),
288    (0xbc678e945dc3913c, 0xbfd6e649f7d78649),
289    (0xbc7be976387851c1, 0xbfd5248ae1701b17),
290    (0x3c6d704d1bfdb6e8, 0xbfd36a08355c63dc),
291    (0xbc6cbda4f63658a0, 0xbfd1b6103d3597e9),
292    (0xbc65a6d6c3c8b6a7, 0xbfd007fa758626ae),
293    (0xbc64a5be32c624f4, 0xbfccbe4ceb4b4cf2),
294    (0xbc2ef5d367441946, 0xbfc975f5e0553158),
295    (0x3c59debab5988b6b, 0xbfc635c990ce0d36),
296    (0xbc52cfb5a746f62c, 0xbfc2fcac73a60640),
297    (0x3c412206d2ac3013, 0xbfbf93183a8db9e9),
298    (0xbc587d054f689d7a, 0xbfb936bb8c5b2da2),
299    (0xbc587a2cb08f812c, 0xbfb2e239ccff3831),
300    (0xbbfada13ceebab9d, 0xbfa927278a3b1162),
301    (0x3bf13b5915a8e316, 0xbf992346247a91f0),
302    (0x3331056713b19377, 0x369f77598338bfdf),
303    (0xbbf13b5915a8e316, 0x3f992346247a91f0),
304    (0x3bfada13ceebab9d, 0x3fa927278a3b1162),
305    (0x3c587a2cb08f812c, 0x3fb2e239ccff3831),
306    (0x3c587d054f689d7a, 0x3fb936bb8c5b2da2),
307    (0xbc412206d2ac3013, 0x3fbf93183a8db9e9),
308    (0x3c52cfb5a746f62c, 0x3fc2fcac73a60640),
309    (0xbc59debab5988b6b, 0x3fc635c990ce0d36),
310    (0x3c2ef5d367441946, 0x3fc975f5e0553158),
311    (0x3c64a5be32c624f4, 0x3fccbe4ceb4b4cf2),
312    (0x3c65a6d6c3c8b6a7, 0x3fd007fa758626ae),
313    (0x3c6cbda4f63658a0, 0x3fd1b6103d3597e9),
314    (0xbc6d704d1bfdb6e8, 0x3fd36a08355c63dc),
315    (0x3c7be976387851c1, 0x3fd5248ae1701b17),
316    (0x3c678e945dc3913c, 0x3fd6e649f7d78649),
317    (0xbc67327a64e1229d, 0x3fd8b00196b3d022),
318    (0x3c708b2fb1366ea9, 0x3fda827999fcef32),
319    (0x3c4ff57fa14eec2f, 0x3fdc5e87185e67b6),
320    (0x3c741522f15e53c5, 0x3fde450e0d273e7a),
321    (0x3c80bfceebbe8797, 0x3fe01b819b5a7cf7),
322    (0xbc8e564bcd1e635d, 0x3fe11ab7190834ec),
323    (0x3c5aed6fb930f332, 0x3fe220b5ef047825),
324    (0xbc810b4421e6a4f8, 0x3fe32e1889047ffd),
325    (0xbc8a7d457cee5076, 0x3fe44386db9ce5db),
326    (0x3c87a8c52172b675, 0x3fe561b82ab7f990),
327    (0x3c7439bc2d43ebfc, 0x3fe6897514751db6),
328    (0xbc8aa7538e44e996, 0x3fe7bb99ed2990cf),
329    (0xbc778bf71a952738, 0x3fe8f9197bf85eeb),
330    (0xbc7a6db80fe796fe, 0x3fea43002ae42850),
331    (0x3c76fc7e578d57ab, 0x3feb9a77c18c1af2),
332    (0x3c78dcad85e60fbe, 0x3fed00cbc7384d2e),
333    (0x3c8915eabb7f20cb, 0x3fee776eafc91706),
334    (0x36b0000000000000, 0x3ff0000000000000),
335    (0x3c94986267a7063b, 0x3ff0ce29d0883c99),
336    (0x3c9946cc0b66979f, 0x3ff1a73d55278c4b),
337    (0x3c80322c95986960, 0x3ff28c66fdaf8f09),
338    (0xbc787e5ad9735569, 0x3ff37efd8d87607e),
339    (0x3c9f86b7ea4ce3dc, 0x3ff48089f8bf42cc),
340    (0x3c86a085e3bc3af6, 0x3ff592d11142fa55),
341    (0xbc950debdd3e20b2, 0x3ff6b7df86265200),
342    (0x3c9419fa6954928f, 0x3ff7f218e25a7461),
343    (0x3c9ccbeeba3801a8, 0x3ff9444a7462122a),
344    (0xbc7b6fb77846d763, 0x3ffab1c35d8a74ea),
345    (0x3c90a392d9ac6a3b, 0x3ffc3e738086bc0f),
346    (0x3c80fb3e75c7098e, 0x3ffdef13b73c1406),
347    (0x3c8b7127cf34b46c, 0x3fffc95abad6cf4a),
348    (0x3c97ce6cb463c972, 0x4000ea21d716fbf7),
349    (0xbc9291fd400280bf, 0x40020c36c6a7f38e),
350    (0x3ca21165f626cdd5, 0x4003504f333f9de6),
351    (0xbca82c5b9ae77a8b, 0x4004bd3d87fe0650),
352    (0x3c7aca947bfb1dcc, 0x40065bc6cc825147),
353    (0x3c8b35c6e3b49ecd, 0x400837626d70fdb8),
354    (0xbc9b7a14d0d691be, 0x400a5f59e90600dd),
355    (0x3c777f638a8d7d8a, 0x400ce885653127e7),
356    (0xbc889fcd637fbf3b, 0x400ff01305ecd8dc),
357    (0xbcaee737686fd43e, 0x4011d0143e71565f),
358    (0x3c810706fed37f0e, 0x40141bfee2424771),
359    (0xbcb10e285b56fe74, 0x40170d751908c1b1),
360    (0xbcaae397239c5a0d, 0x401af73f4ca3310f),
361    (0xbcbd4a376685482f, 0x4020372fb36b87e2),
362    (0x3cc351daea79411d, 0x40244e6c595afdcc),
363    (0x3cb67e518f25e3f8, 0x402b1d03c03d2f7f),
364    (0xbc7b6e6b4de0cd24, 0x40345affed201b55),
365    (0x3cde2447b82ca2f3, 0x40445e2455e4aaa7),
366    (0x45ce41fc41bbdd8e, 0xc935b1fa9e530d0a),
367    (0xbcde2447b82ca2f3, 0xc0445e2455e4aaa7),
368    (0x3c7b6e6b4de0cd24, 0xc0345affed201b55),
369    (0xbcb67e518f25e3f8, 0xc02b1d03c03d2f7f),
370    (0xbcc351daea79411d, 0xc0244e6c595afdcc),
371    (0x3cbd4a376685482f, 0xc020372fb36b87e2),
372    (0x3caae397239c5a0d, 0xc01af73f4ca3310f),
373    (0x3cb10e285b56fe74, 0xc0170d751908c1b1),
374    (0xbc810706fed37f0e, 0xc0141bfee2424771),
375    (0x3caee737686fd43e, 0xc011d0143e71565f),
376    (0x3c889fcd637fbf3b, 0xc00ff01305ecd8dc),
377    (0xbc777f638a8d7d8a, 0xc00ce885653127e7),
378    (0x3c9b7a14d0d691be, 0xc00a5f59e90600dd),
379    (0xbc8b35c6e3b49ecd, 0xc00837626d70fdb8),
380    (0xbc7aca947bfb1dcc, 0xc0065bc6cc825147),
381    (0x3ca82c5b9ae77a8b, 0xc004bd3d87fe0650),
382    (0xbca21165f626cdd5, 0xc003504f333f9de6),
383    (0x3c9291fd400280bf, 0xc0020c36c6a7f38e),
384    (0xbc97ce6cb463c972, 0xc000ea21d716fbf7),
385    (0xbc8b7127cf34b46c, 0xbfffc95abad6cf4a),
386    (0xbc80fb3e75c7098e, 0xbffdef13b73c1406),
387    (0xbc90a392d9ac6a3b, 0xbffc3e738086bc0f),
388    (0x3c7b6fb77846d763, 0xbffab1c35d8a74ea),
389    (0xbc9ccbeeba3801a8, 0xbff9444a7462122a),
390    (0xbc9419fa6954928f, 0xbff7f218e25a7461),
391    (0x3c950debdd3e20b2, 0xbff6b7df86265200),
392    (0xbc86a085e3bc3af6, 0xbff592d11142fa55),
393    (0xbc9f86b7ea4ce3dc, 0xbff48089f8bf42cc),
394    (0x3c787e5ad9735569, 0xbff37efd8d87607e),
395    (0xbc80322c95986960, 0xbff28c66fdaf8f09),
396    (0xbc9946cc0b66979f, 0xbff1a73d55278c4b),
397    (0xbc94986267a7063b, 0xbff0ce29d0883c99),
398    (0x36ce000000000000, 0xbff0000000000000),
399    (0xbc8915eabb7f20cb, 0xbfee776eafc91706),
400    (0xbc78dcad85e60fbe, 0xbfed00cbc7384d2e),
401    (0xbc76fc7e578d57ab, 0xbfeb9a77c18c1af2),
402    (0x3c7a6db80fe796fe, 0xbfea43002ae42850),
403    (0x3c778bf71a952738, 0xbfe8f9197bf85eeb),
404    (0x3c8aa7538e44e996, 0xbfe7bb99ed2990cf),
405    (0xbc7439bc2d43ebfc, 0xbfe6897514751db6),
406    (0xbc87a8c52172b675, 0xbfe561b82ab7f990),
407    (0x3c8a7d457cee5076, 0xbfe44386db9ce5db),
408    (0x3c810b4421e6a4f8, 0xbfe32e1889047ffd),
409    (0xbc5aed6fb930f332, 0xbfe220b5ef047825),
410    (0x3c8e564bcd1e635d, 0xbfe11ab7190834ec),
411    (0xbc80bfceebbe8797, 0xbfe01b819b5a7cf7),
412    (0xbc741522f15e53c5, 0xbfde450e0d273e7a),
413    (0xbc4ff57fa14eec2f, 0xbfdc5e87185e67b6),
414    (0xbc708b2fb1366ea9, 0xbfda827999fcef32),
415    (0x3c67327a64e1229d, 0xbfd8b00196b3d022),
416    (0xbc678e945dc3913c, 0xbfd6e649f7d78649),
417    (0xbc7be976387851c1, 0xbfd5248ae1701b17),
418    (0x3c6d704d1bfdb6e8, 0xbfd36a08355c63dc),
419    (0xbc6cbda4f63658a0, 0xbfd1b6103d3597e9),
420    (0xbc65a6d6c3c8b6a7, 0xbfd007fa758626ae),
421    (0xbc64a5be32c624f4, 0xbfccbe4ceb4b4cf2),
422    (0xbc2ef5d367441946, 0xbfc975f5e0553158),
423    (0x3c59debab5988b6b, 0xbfc635c990ce0d36),
424    (0xbc52cfb5a746f62c, 0xbfc2fcac73a60640),
425    (0x3c412206d2ac3013, 0xbfbf93183a8db9e9),
426    (0xbc587d054f689d7a, 0xbfb936bb8c5b2da2),
427    (0xbc587a2cb08f812c, 0xbfb2e239ccff3831),
428    (0xbbfada13ceebab9d, 0xbfa927278a3b1162),
429    (0x3bf13b5915a8e316, 0xbf992346247a91f0),
430];
pxfm/tangent/tanpi_table.rs

pxfm/tangent/
tanpi_table.rs
