/* Various Thresholds of MPFR, not exported. -*- mode: C -*-
Copyright 2005-2018 Free Software Foundation, Inc.
This file is part of the GNU MPFR Library.
The GNU MPFR Library is free software; you can redistribute it and/or modify
it under the terms of the GNU Lesser General Public License as published by
the Free Software Foundation; either version 3 of the License, or (at your
option) any later version.
The GNU MPFR Library is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
License for more details.
You should have received a copy of the GNU Lesser General Public License
along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see
http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */
/* Generated by MPFR's tuneup.c, 2012-03-05, gcc 4.4.6
on gcc49.fsffrance.org (Loongson 3A) with GMP 5.0.4
configured with ac_cv_func_getrusage=no */
#define MPFR_MULHIGH_TAB \
-1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, \
0,0,0,0,0,0,0,16,16,16,16,16,16,18,18,18, \
18,20,20,20,20,22,22,22,24,32,32,32,32,32,32,32, \
32,32,32,32,32,36,36,36,36,32,36,36,36,36,36,36, \
36,40,40,40,40,40,44,44,44,44,44,44,48,64,64,64, \
64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64, \
64,64,64,64,64,64,72,72,72,72,64,64,64,64,64,64, \
64,64,64,72,72,72,72,93,93,93,93,93,93,93,93,93, \
93,93,93,93,93,93,93,93,93,93,93,93,93,93,96,93, \
96,93,96,105,105,105,105,105,105,105,105,105,105,105,105,105, \
105,105,108,105,117,117,117,117,117,117,117,117,117,117,117,117, \
117,117,117,117,117,117,117,117,129,129,129,129,129,129,129,129, \
129,129,129,129,129,129,129,129,129,129,141,141,117,117,117,117, \
117,117,129,129,128,129,129,129,189,189,189,189,189,189,189,189, \
189,189,189,189,189,189,189,189,189,189,189,189,189,189,189,189, \
189,189,189,189,189,189,189,189,189,189,189,189,189,189,189,189, \
189,189,189,189,189,189,189,189,189,189,189,189,189,189,189,189, \
189,189,189,189,189,189,189,188,189,189,192,189,189,189,189,189, \
189,189,189,189,189,189,213,213,213,213,213,213,213,213,213,213, \
213,213,213,213,213,213,213,212,213,213,213,213,213,213,213,213, \
213,213,213,213,213,213,237,237,237,213,213,237,276,237,276,275, \
276,276,276,276,276,276,276,276,276,276,276,276,276,276,276,283, \
276,276,276,276,276,276,276,276,276,276,276,276,276,276,276,276, \
276,275,276,276,276,276,285,283,283,283,285,283,283,285,285,285, \
285,285,378,377,378,378,378,378,378,378,378,378,378,378,378,378, \
378,377,378,378,378,378,378,378,378,378,378,378,378,378,378,378, \
378,378,378,378,378,378,378,378,378,378,378,378,378,378,378,378, \
378,378,378,378,378,378,377,378,378,378,378,378,378,378,378,378, \
378,378,378,378,378,378,378,378,378,377,378,378,378,378,378,378, \
378,378,376,378,378,378,378,378,378,378,378,378,378,378,378,378, \
378,378,378,378,378,378,378,378,378,378,378,378,378,378,378,378, \
378,378,378,378,378,378,378,378,378,378,378,378,378,378,378,378, \
378,378,378,378,378,378,378,378,378,378,378,378,378,378,378,378, \
378,378,378,378,504,504,504,503,504,504,504,504,504,503,504,504, \
504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
568,504,568,568,568,568,568,568,568,568,568,568,568,568,568,568, \
568,568,568,568,568,568,568,568,568,568,568,568,568,568,568,568, \
568,568,568,568,568,568,568,568,568,568,568,568,568,568,568,568, \
568,568,568,568,568,568,568,568,568,568,568,568,568,568,568,568, \
568,568,568,568,568,568,568,568,566,566,568,568,568,568,568,568, \
568,632,568,632,632,632,632,632,632,632,632,632,632,632,632,632, \
632,632,632,632,632,632,632,632,632,632,632,632,632,632,632,632, \
632,632,632,632,632,632,632,632,632,632,736,736,736,735,736,736, \
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,735, \
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \
736,736,736,736,736,736,736,736,735,736,736,736,736,736,736,736, \
736,736,736,736,735,736,736,736,736,736,736,736,736,736,736,736, \
736,760,760,760,760,760,760,760,760,760,760,760,760,760,760,760, \
760,760,760,760,760,760,760,760,760,760,760,760,760,760,760,760, \
760,760,760,760,760,760,832,760,832,832,832,832,832,832,832,832, \
832,832,832,831,832,832,832,832,832,832,832,831,832,832,832,832, \
832,831,832,832,832,832,831,832,832,832,832,832,832,832,832,832, \
832,832,832,832,832,832,832,832,832,832,832,832,832,832,832,832, \
832,832,831,832,832,832,832,832,832,832,832,832,832,832,832,832, \
832,832,832,832,832,832,832,832,832,832,832,832,832,832,832,832 \
#define MPFR_SQRHIGH_TAB \
-1,0,0,0,0,0,0,0,6,6,7,7,8,8,9,9, \
10,10,11,11,12,12,13,13,14,14,15,15,16,16,17,17, \
18,18,20,19,20,20,22,21,22,23,24,23,24,25,32,32, \
32,32,32,32,32,32,32,32,32,32,32,32,32,32,34,34, \
34,34,36,36,36,36,38,38,38,38,40,40,40,40,42,42, \
42,44,44,44,44,44,46,45,46,46,48,47,48,48,64,64, \
64,64,64,64,64,64,64,64,64,64,64,64,64,64,64,64, \
64,64,64,64,64,64,64,64,64,64,64,68,68,64,68,72, \
68,68,68,68,72,72,72,72,72,72,72,72,72,76,76,98, \
98,98,98,99,98,99,98,99,98,99,98,99,98,99,98,99, \
98,99,98,99,98,99,98,99,102,99,102,99,102,105,102,105, \
102,105,98,99,98,99,98,99,98,99,98,99,98,99,98,99, \
102,102,102,105,104,105,104,105,108,105,108,111,110,111,114,111, \
114,117,116,117,117,117,120,117,120,123,120,123,122,123,126,129, \
126,117,116,117,120,117,120,123,123,123,126,126,126,129,126,129, \
122,129,123,123,126,126,126,126,129,126,129,128,129,129,129,129, \
132,132,135,132,135,132,135,135,135,134,135,138,141,138,141,141, \
141,189,189,189,192,189,192,189,192,189,192,192,192,192,192,192, \
192,192,192,192,192,192,192,192,192,192,192,192,192,192,192,192, \
192,192,192,192,192,192,192,192,192,192,192,192,192,192,192,192, \
192,192,192,192,192,192,189,192,192,192,192,192,192,192,192,192, \
192,192,192,192,192,192,192,192,192,192,192,192,192,192,201,201, \
201,201,201,201,201,201,201,201,201,201,201,213,213,213,213,213, \
213,213,213,213,213,213,213,216,213,213,213,213,213,213,213,213, \
213,213,213,213,213,216,213,213,213,225,225,225,225,225,225,224, \
225,225,225,237,237,237,237,237,237,237,237,294,294,294,294,294, \
294,294,294,294,294,294,294,294,294,294,294,294,294,294,294,294, \
294,294,294,294,294,294,294,294,294,294,294,294,294,294,294,294, \
294,294,294,294,294,294,294,294,294,294,294,294,294,294,294,294, \
294,294,294,294,294,294,294,294,294,294,294,294,294,294,294,294, \
294,402,402,402,402,402,402,402,402,402,402,402,402,402,402,402, \
402,402,402,402,402,402,402,402,402,402,402,402,402,402,402,402, \
402,402,402,402,402,402,402,402,402,402,402,402,402,402,402,402, \
402,402,402,402,402,402,402,402,402,402,402,402,402,402,402,402, \
402,402,402,402,402,402,402,402,402,402,402,402,400,402,402,402, \
402,402,402,402,402,402,402,402,402,402,402,402,402,402,402,402, \
402,402,402,402,402,402,402,402,402,402,402,402,402,402,402,402, \
402,402,402,402,402,402,402,402,402,402,402,426,426,426,504,504, \
504,503,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
504,504,504,504,504,504,504,504,504,504,503,504,504,504,504,504, \
504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
504,504,504,504,504,504,504,504,504,504,504,504,504,504,503,504, \
504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
503,504,504,504,504,504,504,504,504,504,504,504,504,504,504,503, \
504,504,503,504,504,504,504,536,536,536,536,536,536,536,536,536, \
536,536,536,536,536,536,536,536,536,536,536,536,536,536,536,535, \
536,536,535,536,536,536,536,536,568,568,568,568,568,568,568,568, \
568,568,568,568,567,568,568,568,568,568,568,568,568,568,568,567, \
568,568,567,568,568,568,568,568,568,568,568,568,568,568,568,568, \
568,568,568,568,568,568,568,568,568,568,568,568,568,568,568,599, \
600,600,568,600,600,568,600,600,600,600,568,600,568,600,504,504, \
504,504,504,504,504,503,503,503,504,503,504,504,504,504,502,504, \
504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
504,503,503,504,504,504,504,504,504,504,503,504,504,504,504,504, \
504,504,504,536,536,536,536,536,536,536,536,536,536,536,536,536, \
536,536,536,536,536,536,536,536,536,536,535,536,536,536,536,536, \
536,536,536,536,568,568,568,568,552,568,568,568,568,568,568,536 \
#define MPFR_DIVHIGH_TAB \
0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0, /*0-15*/ \
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /*16-31*/ \
0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /*32-47*/ \
0,0,0,27,0,28,0,29,30,30,31,32,32,33,34,33, /*48-63*/ \
34,35,36,35,36,36,37,37,38,39,39,39,40,40,41,41, /*64-79*/ \
50,51,50,50,52,50,50,52,51,52,50,51,50,50,52,50, /*80-95*/ \
52,50,52,52,52,52,56,55,56,64,64,64,64,64,64,64, /*96-111*/ \
64,64,64,64,64,64,64,64,64,64,64,64,64,64,72,66, /*112-127*/ \
66,71,72,71,72,71,72,69,72,72,72,72,72,72,78,80, /*128-143*/ \
78,79,78,80,80,80,80,80,80,79,80,80,80,80,88,84, /*144-159*/ \
88,88,88,88,88,84,87,85,86,86,88,87,88,88,104,89, /*160-175*/ \
104,100,102,104,104,102,100,100,102,103,100,103,128,103,100,104, /*176-191*/ \
128,103,100,100,104,103,104,103,128,102,104,128,104,128,128,128, /*192-207*/ \
128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128, /*208-223*/ \
128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128, /*224-239*/ \
128,128,127,127,128,128,127,128,128,128,140,128,144,128,144,132, /*240-255*/ \
144,135,143,144,144,143,144,143,144,144,142,143,144,144,140,144, /*256-271*/ \
138,141,144,144,144,143,144,143,144,144,144,144,144,144,160,160, /*272-287*/ \
160,160,148,152,156,157,160,160,160,158,159,160,160,160,160,159, /*288-303*/ \
160,160,160,159,159,160,160,159,159,160,160,161,176,160,162,181, /*304-319*/ \
182,185,186,184,185,186,185,176,185,186,200,192,186,208,184,208, /*320-335*/ \
185,206,200,200,203,200,208,204,204,206,208,208,209,208,208,208, /*336-351*/ \
206,208,206,206,200,204,204,208,208,208,208,208,208,208,208,208, /*352-367*/ \
207,204,206,207,208,208,208,206,208,208,208,208,208,208,208,206, /*368-383*/ \
208,208,208,208,206,208,208,208,256,256,208,256,256,206,256,256, /*384-399*/ \
256,256,256,208,255,256,256,256,256,256,256,256,256,256,256,256, /*400-415*/ \
256,256,256,256,256,256,256,256,256,256,256,256,256,256,256,256, /*416-431*/ \
256,256,255,256,256,256,256,256,256,256,256,254,256,255,256,256, /*432-447*/ \
256,256,256,256,256,256,255,255,256,256,256,255,254,254,256,253, /*448-463*/ \
256,256,256,256,256,256,256,256,256,255,255,256,256,256,256,256, /*464-479*/ \
256,256,256,255,256,256,255,256,256,256,256,255,254,256,256,255, /*480-495*/ \
256,256,256,256,255,256,255,255,255,256,255,256,256,256,257,264, /*496-511*/ \
272,264,269,281,277,281,280,268,269,281,282,282,279,264,288,288, /*512-527*/ \
287,280,281,280,288,288,288,282,287,288,287,288,287,288,282,287, /*528-543*/ \
281,282,288,288,280,288,288,282,281,288,280,282,287,288,287,288, /*544-559*/ \
282,288,288,288,287,285,288,287,288,288,288,288,288,288,289,292, /*560-575*/ \
296,293,304,304,304,312,304,306,304,305,303,304,312,304,305,316, /*576-591*/ \
315,318,318,312,316,316,318,316,316,320,318,318,320,320,371,370, /*592-607*/ \
371,372,373,372,372,373,376,376,378,377,378,378,384,373,377,372, /*608-623*/ \
378,372,378,378,378,378,377,384,378,384,378,372,378,378,378,378, /*624-639*/ \
372,377,378,378,377,378,378,378,377,371,384,384,378,378,378,378, /*640-655*/ \
378,377,378,378,378,378,378,378,378,384,384,384,383,384,417,384, /*656-671*/ \
378,378,378,378,377,378,378,401,378,400,378,378,400,408,384,412, /*672-687*/ \
384,384,414,408,416,417,411,416,384,414,414,414,416,416,417,414, /*688-703*/ \
416,420,400,412,412,412,416,413,416,414,414,416,416,416,412,412, /*704-719*/ \
416,416,414,416,416,416,417,416,416,416,416,414,415,416,416,416, /*720-735*/ \
414,378,378,377,384,378,378,384,384,384,384,384,384,384,414,384, /*736-751*/ \
415,416,416,413,414,416,416,413,414,414,416,416,415,416,416,400, /*752-767*/ \
412,408,417,411,412,416,415,416,416,412,416,417,416,414,416,416, /*768-783*/ \
416,416,416,416,416,416,416,414,416,416,416,400,415,416,416,401, /*784-799*/ \
416,420,412,408,408,412,416,407,408,416,415,412,416,414,416,415, /*800-815*/ \
414,412,413,416,412,414,413,416,416,416,418,416,416,416,417,417, /*816-831*/ \
419,418,420,419,420,420,426,421,424,426,424,432,426,425,426,426, /*832-847*/ \
426,426,432,432,432,432,432,432,432,432,436,432,432,432,433,435, /*848-863*/ \
440,438,440,438,436,440,440,438,448,444,444,448,440,444,448,446, /*864-879*/ \
444,448,444,443,444,446,446,448,448,449,448,448,448,449,450,468, /*880-895*/ \
466,468,460,457,458,460,463,456,460,456,464,467,462,473,512,458, /*896-911*/ \
488,468,512,473,512,468,512,510,512,512,510,510,512,508,512,512, /*912-927*/ \
512,512,510,512,512,510,512,510,474,511,486,512,512,512,512,512, /*928-943*/ \
509,510,510,512,512,512,512,512,512,512,514,512,512,511,508,512, /*944-959*/ \
512,510,512,511,512,508,512,512,512,511,512,512,510,512,512,510, /*960-975*/ \
512,510,510,512,512,511,512,512,512,512,512,512,512,512,549,512, /*976-991*/ \
512,512,545,512,512,512,510,512,512,512,512,512,512,512,510,512, /*992-1007*/ \
512,512,551,510,545,512,550,512,552,545,511,557,545,512,544,551 /*1008-1023*/ \
#define MPFR_MUL_THRESHOLD 6 /* limbs */
#define MPFR_SQR_THRESHOLD 9 /* limbs */
#define MPFR_DIV_THRESHOLD 6 /* limbs */
#define MPFR_EXP_2_THRESHOLD 530 /* bits */
#define MPFR_EXP_THRESHOLD 12546 /* bits */
#define MPFR_SINCOS_THRESHOLD 22043 /* bits */
#define MPFR_AI_THRESHOLD1 -17975 /* threshold for negative input of mpfr_ai */
#define MPFR_AI_THRESHOLD2 1889
#define MPFR_AI_THRESHOLD3 28004
/* Tuneup completed successfully, took 13753 seconds */