14a238c70SJohn Marino /* Various Thresholds of MPFR, not exported. -*- mode: C -*- 24a238c70SJohn Marino 3*ab6d115fSJohn Marino Copyright 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013 Free Software Foundation, Inc. 44a238c70SJohn Marino 54a238c70SJohn Marino This file is part of the GNU MPFR Library. 64a238c70SJohn Marino 74a238c70SJohn Marino The GNU MPFR Library is free software; you can redistribute it and/or modify 84a238c70SJohn Marino it under the terms of the GNU Lesser General Public License as published by 94a238c70SJohn Marino the Free Software Foundation; either version 3 of the License, or (at your 104a238c70SJohn Marino option) any later version. 114a238c70SJohn Marino 124a238c70SJohn Marino The GNU MPFR Library is distributed in the hope that it will be useful, but 134a238c70SJohn Marino WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY 144a238c70SJohn Marino or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public 154a238c70SJohn Marino License for more details. 164a238c70SJohn Marino 174a238c70SJohn Marino You should have received a copy of the GNU Lesser General Public License 184a238c70SJohn Marino along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see 194a238c70SJohn Marino http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., 204a238c70SJohn Marino 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */ 214a238c70SJohn Marino 224a238c70SJohn Marino /* Generated by MPFR's tuneup.c, 2011-07-31, gcc 4.4.2 */ 234a238c70SJohn Marino /* contributed by Jim Cloos <cloos at jhcloos dot com> with GMP 5.0.2 on a 244a238c70SJohn Marino Pentium3-M, where __i386, __i686, __pentiumpro are defined */ 254a238c70SJohn Marino 264a238c70SJohn Marino #define MPFR_MULHIGH_TAB \ 274a238c70SJohn Marino -1,0,-1,-1,-1,-1,-1,-1,-1,7,8,9,10,0,0,0, \ 284a238c70SJohn Marino 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, \ 294a238c70SJohn Marino 0,0,0,0,0,0,0,0,0,0,28,30,30,30,30,32, \ 304a238c70SJohn Marino 32,32,34,34,34,32,34,34,34,36,36,36,36,40,40,40, \ 314a238c70SJohn Marino 42,44,48,48,48,48,48,48,48,48,48,52,52,52,52,52, \ 324a238c70SJohn Marino 52,52,56,56,60,56,60,60,60,60,60,64,64,64,64,64, \ 334a238c70SJohn Marino 64,64,64,64,64,64,68,64,64,68,68,68,68,72,72,81, \ 344a238c70SJohn Marino 81,80,81,81,87,87,87,87,87,87,87,87,87,87,93,87, \ 354a238c70SJohn Marino 93,93,93,93,93,93,93,93,99,99,93,93,93,92,93,99, \ 364a238c70SJohn Marino 99,99,99,99,99,99,99,99,105,105,99,105,105,104,105,105, \ 374a238c70SJohn Marino 105,105,111,117,117,117,117,117,117,117,117,117,117,117,117,117, \ 384a238c70SJohn Marino 123,123,123,123,141,141,141,141,141,141,141,141,141,141,141,141, \ 394a238c70SJohn Marino 141,141,141,141,141,141,141,141,141,153,153,153,153,153,153,153, \ 404a238c70SJohn Marino 153,153,153,153,153,165,165,165,153,165,165,165,165,165,165,165, \ 414a238c70SJohn Marino 165,165,165,165,165,177,177,165,177,177,177,177,165,177,177,177, \ 424a238c70SJohn Marino 177,177,177,177,177,177,177,177,177,177,177,177,177,177,177,177, \ 434a238c70SJohn Marino 177,177,189,204,189,204,204,204,204,204,204,189,204,189,204,204, \ 444a238c70SJohn Marino 204,204,204,204,204,204,204,204,203,204,204,204,204,204,204,204, \ 454a238c70SJohn Marino 220,204,220,220,220,220,220,220,220,220,220,220,220,220,220,220, \ 464a238c70SJohn Marino 236,220,236,236,236,236,236,235,236,235,236,236,236,236,235,236, \ 474a238c70SJohn Marino 236,236,236,236,236,236,236,236,236,252,252,252,252,252,252,252, \ 484a238c70SJohn Marino 252,252,252,252,252,252,252,252,282,282,282,282,282,282,282,282, \ 494a238c70SJohn Marino 282,282,282,282,282,282,282,282,282,282,282,282,282,282,282,282, \ 504a238c70SJohn Marino 282,282,282,282,282,282,282,306,306,282,306,306,306,306,306,306, \ 514a238c70SJohn Marino 306,306,306,306,306,306,306,306,306,306,306,306,306,306,306,306, \ 524a238c70SJohn Marino 306,306,306,306,306,330,330,330,329,330,330,330,330,330,330,330, \ 534a238c70SJohn Marino 330,330,330,330,330,330,330,330,330,330,330,330,330,330,354,354, \ 544a238c70SJohn Marino 354,354,354,354,354,354,354,354,354,354,354,354,354,354,354,354, \ 554a238c70SJohn Marino 354,354,354,354,354,354,354,354,354,378,378,378,378,378,378,378, \ 564a238c70SJohn Marino 378,377,378,378,378,378,378,378,378,378,378,378,378,378,378,378, \ 574a238c70SJohn Marino 408,408,408,408,408,408,408,408,408,408,408,408,408,408,408,408, \ 584a238c70SJohn Marino 408,408,408,408,408,408,407,408,407,408,408,407,408,408,408,408, \ 594a238c70SJohn Marino 408,408,439,408,440,440,439,440,440,440,440,439,440,440,439,440, \ 604a238c70SJohn Marino 439,440,439,440,439,439,440,440,440,440,439,440,439,440,439,440, \ 614a238c70SJohn Marino 440,440,439,439,440,440,472,440,472,439,440,439,440,440,440,472, \ 624a238c70SJohn Marino 472,472,469,471,471,472,471,471,472,471,470,470,472,472,471,472, \ 634a238c70SJohn Marino 472,504,504,463,471,455,438,501,462,497,501,503,459,471,451,467, \ 644a238c70SJohn Marino 448,501,503,485,504,453,469,470,503,472,496,496,480,467,504,460, \ 654a238c70SJohn Marino 504,488,488,532,535,497,480,470,504,497,504,492,497,498,536,468, \ 664a238c70SJohn Marino 504,510,519,528,500,500,495,504,504,504,504,534,504,504,498,504, \ 674a238c70SJohn Marino 504,511,504,504,504,503,504,563,504,511,504,504,504,504,504,504, \ 684a238c70SJohn Marino 504,504,533,504,536,536,536,533,536,536,536,536,536,536,536,536, \ 694a238c70SJohn Marino 536,536,536,536,536,536,536,536,536,536,536,536,536,536,566,536, \ 704a238c70SJohn Marino 536,536,536,568,568,568,568,568,568,568,568,568,568,568,568,568, \ 714a238c70SJohn Marino 568,568,568,568,568,568,568,568,568,568,568,568,568,568,592,592, \ 724a238c70SJohn Marino 592,592,592,592,592,592,592,592,640,592,640,592,640,639,640,640, \ 734a238c70SJohn Marino 640,640,640,639,640,639,640,640,640,639,640,640,640,640,640,640, \ 744a238c70SJohn Marino 640,640,640,640,640,640,640,640,640,640,640,640,640,640,640,640, \ 754a238c70SJohn Marino 639,640,639,639,688,688,688,639,640,639,640,640,640,687,688,688, \ 764a238c70SJohn Marino 688,687,687,688,688,688,688,688,688,688,688,687,688,736,688,688, \ 774a238c70SJohn Marino 688,687,636,688,688,688,688,688,688,688,688,688,688,688,688,688, \ 784a238c70SJohn Marino 688,688,688,688,688,688,688,688,688,688,687,688,688,688,688,688, \ 794a238c70SJohn Marino 688,688,688,688,688,688,688,688,688,688,688,688,736,736,736,736, \ 804a238c70SJohn Marino 736,736,736,736,736,736,736,736,688,735,736,736,736,736,736,736, \ 814a238c70SJohn Marino 736,736,736,736,736,736,736,736,736,736,736,735,736,735,736,736, \ 824a238c70SJohn Marino 736,735,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ 834a238c70SJohn Marino 736,736,736,736,736,736,736,735,736,736,736,736,736,736,736,736, \ 844a238c70SJohn Marino 736,736,736,736,784,736,784,784,736,736,736,736,736,736,736,736, \ 854a238c70SJohn Marino 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ 864a238c70SJohn Marino 784,736,784,784,784,784,784,784,736,784,736,784,784,784,784,736, \ 874a238c70SJohn Marino 784,783,784,784,784,784,784,784,784,784,784,784,784,784,784,784, \ 884a238c70SJohn Marino 784,784,784,784,784,784,784,784,784,784,784,832,784,784,784,784, \ 894a238c70SJohn Marino 832,784,832,831,832,831,832,832,832,832,832,784,784,784,784,784, \ 904a238c70SJohn Marino 832,784,832,784,832,832,832,832,832,832,832,832,832,832,832,832 \ 914a238c70SJohn Marino 924a238c70SJohn Marino #define MPFR_SQRHIGH_TAB \ 934a238c70SJohn Marino -1,0,0,-1,-1,-1,-1,5,6,6,7,7,8,8,9,9, \ 944a238c70SJohn Marino 10,11,12,11,12,13,14,13,14,15,16,15,16,16,17,17, \ 954a238c70SJohn Marino 18,19,19,19,20,20,21,22,23,22,23,24,25,24,25,26, \ 964a238c70SJohn Marino 27,26,27,27,28,28,29,29,30,31,32,31,32,32,33,34, \ 974a238c70SJohn Marino 35,34,35,36,36,38,38,38,39,40,40,40,41,41,41,41, \ 984a238c70SJohn Marino 42,43,44,44,48,48,48,48,48,50,52,50,52,52,54,54, \ 994a238c70SJohn Marino 56,56,58,54,54,54,56,56,56,56,58,58,60,60,62,64, \ 1004a238c70SJohn Marino 64,64,62,62,64,64,64,64,64,66,66,68,68,70,68,72, \ 1014a238c70SJohn Marino 70,72,74,72,74,72,72,72,74,74,76,72,72,72,74,74, \ 1024a238c70SJohn Marino 76,76,76,76,78,78,78,80,80,80,80,80,80,80,87,90, \ 1034a238c70SJohn Marino 87,90,90,93,93,90,90,90,90,93,93,93,90,96,96,93, \ 1044a238c70SJohn Marino 96,96,96,96,96,93,99,96,102,99,99,99,96,102,102,102, \ 1054a238c70SJohn Marino 108,102,105,105,105,108,111,111,108,111,111,111,111,111,111,117, \ 1064a238c70SJohn Marino 114,117,114,117,117,120,120,120,120,120,120,120,123,126,126,126, \ 1074a238c70SJohn Marino 126,129,129,129,129,129,132,132,132,135,135,135,141,141,141,141, \ 1084a238c70SJohn Marino 141,141,148,148,148,152,148,152,152,148,152,156,156,156,156,156, \ 1094a238c70SJohn Marino 160,135,141,152,141,141,141,141,141,141,141,141,141,141,141,141, \ 1104a238c70SJohn Marino 141,141,152,141,156,152,156,156,160,160,160,152,160,156,156,156, \ 1114a238c70SJohn Marino 160,160,156,168,160,168,164,164,168,160,168,176,172,168,168,172, \ 1124a238c70SJohn Marino 172,172,176,176,188,176,176,172,188,188,188,188,188,187,188,188, \ 1134a238c70SJohn Marino 188,188,188,188,196,188,196,196,196,196,196,204,204,204,204,204, \ 1144a238c70SJohn Marino 204,204,204,212,212,212,212,212,212,212,212,220,220,220,220,220, \ 1154a238c70SJohn Marino 220,220,220,219,220,220,220,228,220,228,220,220,228,228,220,220, \ 1164a238c70SJohn Marino 220,236,236,228,228,236,228,236,228,244,244,228,244,244,236,236, \ 1174a238c70SJohn Marino 258,236,258,258,258,258,258,258,258,264,258,264,264,264,264,264, \ 1184a238c70SJohn Marino 264,264,264,264,264,258,264,258,264,282,258,264,282,282,282,282, \ 1194a238c70SJohn Marino 282,264,264,282,282,276,264,264,282,294,282,282,282,282,282,282, \ 1204a238c70SJohn Marino 282,282,282,282,282,282,282,282,282,282,282,282,294,282,282,282, \ 1214a238c70SJohn Marino 282,282,282,306,282,282,306,306,282,306,306,306,306,318,306,318, \ 1224a238c70SJohn Marino 318,318,318,318,318,318,318,318,318,318,318,330,330,318,318,318, \ 1234a238c70SJohn Marino 330,318,318,330,330,318,318,318,318,318,318,330,342,330,330,330, \ 1244a238c70SJohn Marino 330,330,330,330,330,330,330,330,330,318,330,318,318,342,342,318, \ 1254a238c70SJohn Marino 342,318,318,342,318,330,330,330,330,330,318,330,330,318,330,318, \ 1264a238c70SJohn Marino 342,330,342,342,342,342,342,342,342,330,342,342,330,342,342,342, \ 1274a238c70SJohn Marino 342,354,342,342,342,342,342,342,342,354,342,342,354,354,354,342, \ 1284a238c70SJohn Marino 354,354,354,354,354,354,354,378,366,366,366,366,378,366,366,366, \ 1294a238c70SJohn Marino 378,408,366,378,378,378,378,378,378,378,378,378,378,424,424,424, \ 1304a238c70SJohn Marino 424,424,424,424,424,408,408,408,408,408,408,408,408,408,408,408, \ 1314a238c70SJohn Marino 408,408,424,424,408,424,408,424,424,408,408,424,424,424,424,424, \ 1324a238c70SJohn Marino 424,424,424,424,424,424,408,424,424,424,424,424,440,424,440,424, \ 1334a238c70SJohn Marino 424,440,424,424,424,424,440,440,440,440,424,424,440,440,424,424, \ 1344a238c70SJohn Marino 424,424,440,424,440,456,456,424,440,440,440,440,456,424,424,424, \ 1354a238c70SJohn Marino 440,440,456,440,472,456,440,440,472,440,456,440,440,440,456,440, \ 1364a238c70SJohn Marino 440,440,456,456,456,472,471,472,456,472,440,472,488,488,455,455, \ 1374a238c70SJohn Marino 456,456,488,456,472,488,504,472,456,504,488,488,456,472,472,471, \ 1384a238c70SJohn Marino 472,502,472,472,496,488,487,503,456,504,504,503,504,456,456,487, \ 1394a238c70SJohn Marino 488,488,504,488,487,504,503,503,504,504,503,503,503,504,502,503, \ 1404a238c70SJohn Marino 502,504,519,501,504,551,502,520,520,488,504,479,517,503,488,463, \ 1414a238c70SJohn Marino 472,456,504,503,487,519,552,534,485,480,486,502,499,552,504,534, \ 1424a238c70SJohn Marino 486,440,504,511,512,533,516,472,536,567,534,494,519,440,542,534, \ 1434a238c70SJohn Marino 528,592,468,536,516,485,472,583,550,509,537,471,493,533,526,446, \ 1444a238c70SJohn Marino 558,498,499,495,487,571,500,544,471,583,545,530,470,566,520,536, \ 1454a238c70SJohn Marino 558,463,504,544,534,494,520,542,522,520,552,520,514,483,434,607, \ 1464a238c70SJohn Marino 566,538,536,552,486,607,623,606,520,453,588,476,614,497,472,504, \ 1474a238c70SJohn Marino 504,566,552,504,504,504,504,504,504,504,504,504,504,552,520,504, \ 1484a238c70SJohn Marino 520,520,520,504,520,520,504,520,536,520,520,536,536,536,536,536, \ 1494a238c70SJohn Marino 536,536,536,586,536,536,520,555,504,565,520,552,536,552,552,552, \ 1504a238c70SJohn Marino 552,552,552,552,552,552,552,552,552,552,552,552,552,552,568,552, \ 1514a238c70SJohn Marino 568,552,568,568,568,568,559,560,568,552,552,568,568,552,568,584, \ 1524a238c70SJohn Marino 552,552,552,552,552,552,568,568,552,568,568,552,568,568,552,552, \ 1534a238c70SJohn Marino 584,568,568,568,568,568,568,568,568,568,552,568,584,584,568,552, \ 1544a238c70SJohn Marino 584,584,584,584,584,584,584,568,568,568,568,616,568,568,616,568, \ 1554a238c70SJohn Marino 600,584,600,600,600,632,616,600,584,616,616,632,632,584,632,616, \ 1564a238c70SJohn Marino 616,616,616,616,616,632,632,616,616,632,632,616,616,632,616,616 \ 1574a238c70SJohn Marino 1584a238c70SJohn Marino #define MPFR_DIVHIGH_TAB \ 1594a238c70SJohn Marino 0,1,2,3,4,5,6,7,8,7,10,9,10,11,12,13, \ 1604a238c70SJohn Marino 14,15,16,17,18,16,14,16,16,19,19,18,20,19,20,18, \ 1614a238c70SJohn Marino 24,19,20,23,24,21,21,23,27,24,28,29,28,28,28,28, \ 1624a238c70SJohn Marino 31,31,30,28,34,29,32,32,33,34,35,31,34,38,38,34, \ 1634a238c70SJohn Marino 35,36,38,38,38,40,41,43,39,42,43,42,42,43,44,43, \ 1644a238c70SJohn Marino 45,48,49,48,51,50,50,48,50,48,51,50,51,52,53,50, \ 1654a238c70SJohn Marino 55,51,53,54,56,59,56,59,58,55,57,59,59,63,64,63, \ 1664a238c70SJohn Marino 63,64,64,59,64,64,67,64,63,67,67,71,67,67,71,66, \ 1674a238c70SJohn Marino 75,75,75,75,73,75,73,75,75,75,73,75,84,73,74,73, \ 1684a238c70SJohn Marino 76,76,75,81,76,79,81,84,81,83,84,84,84,84,88,86, \ 1694a238c70SJohn Marino 83,88,96,94,96,96,96,96,96,96,96,95,96,96,96,104, \ 1704a238c70SJohn Marino 96,100,100,104,104,104,96,96,96,104,100,96,102,96,104,104, \ 1714a238c70SJohn Marino 102,104,100,104,112,104,104,112,112,112,104,112,120,112,112,112, \ 1724a238c70SJohn Marino 112,120,110,118,118,118,119,112,120,118,120,112,118,127,128,128, \ 1734a238c70SJohn Marino 128,128,128,128,128,128,128,128,128,128,128,128,128,136,128,136, \ 1744a238c70SJohn Marino 128,128,128,128,128,128,128,128,127,128,128,128,128,128,130,133, \ 1754a238c70SJohn Marino 134,136,136,135,136,136,150,136,136,138,148,140,136,143,148,150, \ 1764a238c70SJohn Marino 150,150,150,148,150,148,148,150,156,149,168,150,160,161,168,168, \ 1774a238c70SJohn Marino 168,168,168,162,168,162,167,168,168,168,168,168,162,174,168,168, \ 1784a238c70SJohn Marino 174,174,184,168,168,176,162,168,192,174,168,168,173,174,186,174, \ 1794a238c70SJohn Marino 174,168,192,174,168,174,168,168,186,192,192,180,174,176,192,192, \ 1804a238c70SJohn Marino 185,192,192,180,192,192,186,192,192,192,192,192,184,192,208,208, \ 1814a238c70SJohn Marino 208,208,190,192,190,192,192,191,186,192,192,208,192,192,192,192, \ 1824a238c70SJohn Marino 192,192,196,204,204,192,204,192,208,192,191,192,208,208,198,208, \ 1834a238c70SJohn Marino 205,220,197,218,222,208,216,199,207,220,206,224,214,204,208,219, \ 1844a238c70SJohn Marino 221,209,227,207,221,216,208,236,222,244,225,208,208,212,224,222, \ 1854a238c70SJohn Marino 229,230,225,221,222,256,227,240,221,224,240,216,240,231,224,263, \ 1864a238c70SJohn Marino 246,232,240,240,240,240,239,240,240,234,234,240,234,238,240,240, \ 1874a238c70SJohn Marino 240,240,256,256,240,256,240,240,240,234,256,240,240,256,234,256, \ 1884a238c70SJohn Marino 256,239,272,244,256,255,256,240,256,240,256,255,240,255,256,256, \ 1894a238c70SJohn Marino 256,254,254,256,244,256,256,256,256,256,256,256,256,253,272,255, \ 1904a238c70SJohn Marino 256,256,252,256,256,256,256,256,256,272,256,256,256,256,257,272, \ 1914a238c70SJohn Marino 272,272,272,272,264,270,272,288,272,280,282,282,280,280,270,282, \ 1924a238c70SJohn Marino 282,282,288,282,288,282,282,300,286,288,300,282,282,288,300,312, \ 1934a238c70SJohn Marino 300,298,306,300,304,304,304,300,300,300,316,306,300,288,306,311, \ 1944a238c70SJohn Marino 324,312,320,300,306,336,320,300,324,320,336,336,336,328,336,324, \ 1954a238c70SJohn Marino 336,336,328,336,322,328,336,336,336,336,312,336,336,336,336,336, \ 1964a238c70SJohn Marino 336,336,336,335,336,344,348,336,353,349,336,336,348,348,346,336, \ 1974a238c70SJohn Marino 352,320,336,336,336,336,352,336,336,336,336,336,336,336,336,336, \ 1984a238c70SJohn Marino 336,336,336,330,336,336,336,336,334,335,336,336,344,344,348,336, \ 1994a238c70SJohn Marino 348,336,352,336,336,348,336,348,336,348,352,351,348,336,336,336, \ 2004a238c70SJohn Marino 352,352,352,348,352,336,336,384,336,336,352,348,336,348,376,352, \ 2014a238c70SJohn Marino 352,372,384,352,384,352,352,352,348,384,348,349,384,351,384,353, \ 2024a238c70SJohn Marino 368,352,350,353,378,372,372,372,384,352,384,352,408,384,378,368, \ 2034a238c70SJohn Marino 383,384,408,356,371,368,372,371,384,376,384,408,384,407,372,384, \ 2044a238c70SJohn Marino 408,369,406,383,377,384,394,382,370,416,408,378,369,372,381,400, \ 2054a238c70SJohn Marino 378,408,376,402,417,408,376,384,382,384,384,408,384,384,384,408, \ 2064a238c70SJohn Marino 384,416,408,408,416,384,384,384,408,384,384,384,396,408,408,408, \ 2074a238c70SJohn Marino 408,408,408,406,408,408,416,416,408,408,408,408,408,416,408,416, \ 2084a238c70SJohn Marino 408,405,416,408,408,440,408,416,416,416,440,408,408,408,440,444, \ 2094a238c70SJohn Marino 408,440,440,408,415,419,440,440,444,443,436,436,440,447,448,440, \ 2104a238c70SJohn Marino 440,416,440,439,440,444,440,444,468,448,440,416,440,416,465,465, \ 2114a238c70SJohn Marino 468,436,468,440,472,439,440,468,472,448,465,468,464,439,440,480, \ 2124a238c70SJohn Marino 480,472,439,468,440,440,468,440,468,468,444,440,448,480,438,440, \ 2134a238c70SJohn Marino 504,439,440,467,480,468,448,465,466,440,468,464,440,472,448,468, \ 2144a238c70SJohn Marino 468,469,456,465,448,460,472,472,468,469,465,480,480,468,472,512, \ 2154a238c70SJohn Marino 468,464,465,469,480,468,504,466,468,480,480,480,468,512,504,469, \ 2164a238c70SJohn Marino 466,466,472,468,480,480,512,469,472,480,480,480,504,477,500,466, \ 2174a238c70SJohn Marino 504,468,480,512,504,512,504,480,480,511,512,510,492,511,503,513, \ 2184a238c70SJohn Marino 503,502,504,512,504,512,504,512,504,512,504,512,513,503,512,504, \ 2194a238c70SJohn Marino 513,504,512,512,510,501,513,503,512,513,498,504,512,510,502,512, \ 2204a238c70SJohn Marino 501,500,552,497,516,511,503,513,497,511,502,509,564,509,504,512, \ 2214a238c70SJohn Marino 503,504,512,504,504,500,512,512,512,511,512,504,557,504,564,564, \ 2224a238c70SJohn Marino 512,564,514,512,516,512,560,564,560,564,564,512,564,564,564,560 \ 2234a238c70SJohn Marino 2244a238c70SJohn Marino #define MPFR_MUL_THRESHOLD 15 /* limbs */ 2254a238c70SJohn Marino #define MPFR_SQR_THRESHOLD 14 /* limbs */ 2264a238c70SJohn Marino #define MPFR_DIV_THRESHOLD 27 /* limbs */ 2274a238c70SJohn Marino #define MPFR_EXP_2_THRESHOLD 562 /* bits */ 2284a238c70SJohn Marino #define MPFR_EXP_THRESHOLD 9671 /* bits */ 2294a238c70SJohn Marino #define MPFR_SINCOS_THRESHOLD 30620 /* bits */ 2304a238c70SJohn Marino #define MPFR_AI_THRESHOLD1 -28021 /* threshold for negative input of mpfr_ai */ 2314a238c70SJohn Marino #define MPFR_AI_THRESHOLD2 2991 2324a238c70SJohn Marino #define MPFR_AI_THRESHOLD3 37474 2334a238c70SJohn Marino /* Tuneup completed successfully, took 6469 seconds */ 234