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.3.2 */ 234a238c70SJohn Marino /* gcc14.fsffrance.org (Intel(R) Xeon(R) CPU X5450 @ 3.00GHz) with gmp 5.0.2 */ 244a238c70SJohn Marino 25*ab6d115fSJohn Marino /* very similar timings were obtained on 2012-01-25 with gcc 4.1.3 26*ab6d115fSJohn Marino on gcc70.fsffrance.org (Intel(R) Xeon(TM) CPU 3.20GHz) with gmp 5.0.2, 27*ab6d115fSJohn Marino where GMP defines -mtune=nocona, thus we share the parameters */ 284a238c70SJohn Marino 294a238c70SJohn Marino #define MPFR_MULHIGH_TAB \ 304a238c70SJohn Marino -1,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,9, \ 314a238c70SJohn Marino 10,10,12,12,13,13,13,13,14,16,16,17,18,19,20,24, \ 324a238c70SJohn Marino 24,24,24,24,26,26,26,26,28,28,28,30,30,32,32,28, \ 334a238c70SJohn Marino 28,30,30,32,32,32,32,32,32,32,32,34,36,48,38,36, \ 344a238c70SJohn Marino 40,46,48,48,48,48,48,48,48,48,48,48,48,56,56,56, \ 354a238c70SJohn Marino 56,48,48,48,56,60,60,60,64,64,56,56,56,60,60,60, \ 364a238c70SJohn Marino 64,69,64,64,64,69,69,69,69,69,69,69,64,64,75,81, \ 374a238c70SJohn Marino 81,80,80,80,81,81,81,81,81,81,87,81,87,87,92,93, \ 384a238c70SJohn Marino 92,87,93,92,87,90,93,92,93,92,90,93,92,93,92,93, \ 394a238c70SJohn Marino 92,93,93,93,104,93,99,93,99,104,105,104,105,104,105,104, \ 404a238c70SJohn Marino 111,104,111,110,104,117,117,117,117,117,117,104,105,141,141,140, \ 414a238c70SJohn Marino 141,141,141,141,141,141,141,141,141,141,141,141,141,140,141,141, \ 424a238c70SJohn Marino 141,141,141,141,141,141,141,141,140,141,141,141,141,138,140,141, \ 434a238c70SJohn Marino 141,141,140,141,141,141,141,141,141,141,141,141,165,141,153,141, \ 444a238c70SJohn Marino 153,165,188,188,188,188,188,188,188,188,188,188,188,188,188,188, \ 454a238c70SJohn Marino 188,188,188,188,188,188,188,188,188,188,188,188,188,188,188,188, \ 464a238c70SJohn Marino 188,188,188,188,188,188,188,188,188,188,188,188,188,188,188,188, \ 474a238c70SJohn Marino 188,188,204,204,188,203,188,188,204,204,188,188,216,220,220,220, \ 484a238c70SJohn Marino 220,204,204,220,220,220,220,220,220,220,220,220,220,220,220,220, \ 494a238c70SJohn Marino 220,220,220,235,236,219,220,220,236,236,236,236,236,236,236,236, \ 504a238c70SJohn Marino 236,236,236,236,236,236,236,282,282,282,282,282,282,282,282,282, \ 514a238c70SJohn Marino 282,282,282,282,282,282,282,282,282,281,282,280,282,282,282,282, \ 524a238c70SJohn Marino 282,282,282,282,282,282,282,281,281,282,281,281,282,282,282,282, \ 534a238c70SJohn Marino 282,282,282,282,282,282,282,282,282,282,282,281,282,280,281,282, \ 544a238c70SJohn Marino 282,282,282,282,306,282,306,330,330,306,281,330,282,282,330,330, \ 554a238c70SJohn Marino 330,282,330,329,330,330,330,330,330,330,330,330,330,330,330,330, \ 564a238c70SJohn Marino 330,330,330,330,330,330,330,330,330,330,354,354,330,330,330,329, \ 574a238c70SJohn Marino 330,330,330,330,330,330,330,329,330,330,354,354,330,330,330,330, \ 584a238c70SJohn Marino 330,330,378,330,354,330,354,354,354,354,354,377,378,354,354,354, \ 594a238c70SJohn Marino 378,354,378,378,354,353,354,378,354,378,378,377,378,378,378,408, \ 604a238c70SJohn Marino 408,408,378,408,408,408,378,416,408,408,377,378,378,408,408,407, \ 614a238c70SJohn Marino 408,408,408,408,408,408,408,440,408,440,440,440,439,440,440,440, \ 624a238c70SJohn Marino 432,439,440,440,440,439,440,440,440,439,440,439,440,439,440,440, \ 634a238c70SJohn Marino 440,440,440,439,440,440,440,440,440,439,440,440,440,440,439,440, \ 644a238c70SJohn Marino 440,440,440,439,471,440,440,440,440,440,440,439,440,440,440,440, \ 654a238c70SJohn Marino 440,440,440,440,440,440,472,440,440,439,440,440,440,439,440,440, \ 664a238c70SJohn Marino 440,472,439,440,440,440,472,440,471,472,472,472,472,472,472,471, \ 674a238c70SJohn Marino 471,472,471,472,472,472,504,504,504,504,504,504,504,504,472,471, \ 684a238c70SJohn Marino 472,472,504,472,471,472,504,504,504,504,504,503,504,504,504,504, \ 694a238c70SJohn Marino 504,503,504,504,504,504,503,504,504,504,504,504,503,504,504,504, \ 704a238c70SJohn Marino 504,504,503,504,504,504,504,504,504,504,504,504,504,504,504,504, \ 714a238c70SJohn Marino 504,504,504,504,544,544,544,544,544,544,544,544,544,544,544,544, \ 724a238c70SJohn Marino 542,543,544,544,544,544,544,544,544,544,544,544,544,544,544,544, \ 734a238c70SJohn Marino 543,544,544,544,544,544,544,544,544,544,544,544,544,544,544,544, \ 744a238c70SJohn Marino 544,592,544,544,592,592,544,592,592,591,592,592,632,631,592,592, \ 754a238c70SJohn Marino 592,592,592,592,592,640,640,640,640,640,616,616,616,616,616,616, \ 764a238c70SJohn Marino 632,592,616,616,632,630,631,632,632,632,616,632,640,632,632,640, \ 774a238c70SJohn Marino 640,640,640,640,640,640,639,640,632,632,639,640,640,640,632,632, \ 784a238c70SJohn Marino 640,639,640,640,632,640,640,640,640,640,640,640,640,640,640,640, \ 794a238c70SJohn Marino 640,640,640,640,640,640,632,640,640,640,640,640,640,640,640,640, \ 804a238c70SJohn Marino 640,640,640,640,640,640,640,640,640,640,632,688,640,640,632,632, \ 814a238c70SJohn Marino 640,640,640,640,639,640,640,640,688,632,687,640,712,688,640,640, \ 824a238c70SJohn Marino 640,640,640,712,640,640,640,712,736,640,640,640,711,712,736,736, \ 834a238c70SJohn Marino 640,640,688,712,712,712,712,712,728,736,728,728,736,736,736,736, \ 844a238c70SJohn Marino 736,736,736,736,734,736,728,736,736,736,728,736,736,736,736,736, \ 854a238c70SJohn Marino 736,736,736,736,735,712,736,736,736,712,736,736,736,736,736,736, \ 864a238c70SJohn Marino 736,736,736,712,736,736,712,736,728,712,736,712,736,736,736,736, \ 874a238c70SJohn Marino 728,712,736,736,735,736,736,736,735,736,736,736,736,735,736,736, \ 884a238c70SJohn Marino 736,736,736,736,736,736,736,736,736,736,736,736,736,734,736,736, \ 894a238c70SJohn Marino 736,736,735,736,736,736,735,736,736,736,736,736,736,736,736,736, \ 904a238c70SJohn Marino 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ 914a238c70SJohn Marino 736,736,736,736,736,736,736,736,736,736,736,736,736,736,735,736, \ 924a238c70SJohn Marino 736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736, \ 934a238c70SJohn Marino 824,824,832,832,832,832,824,832,832,832,832,832,824,831,832,832 \ 944a238c70SJohn Marino 954a238c70SJohn Marino #define MPFR_SQRHIGH_TAB \ 964a238c70SJohn Marino -1,0,0,0,0,0,0,5,6,6,7,8,8,8,10,9, \ 974a238c70SJohn Marino 10,11,11,11,12,13,13,13,14,16,16,17,17,17,17,17, \ 984a238c70SJohn Marino 18,19,20,21,20,23,24,21,26,23,23,24,24,24,25,28, \ 994a238c70SJohn Marino 26,28,28,34,32,34,32,32,34,34,32,34,34,34,34,34, \ 1004a238c70SJohn Marino 34,36,40,38,38,36,42,42,40,40,40,40,42,42,42,42, \ 1014a238c70SJohn Marino 46,42,48,48,48,46,52,52,52,52,52,52,56,56,56,56, \ 1024a238c70SJohn Marino 64,56,64,64,64,64,68,56,64,64,64,68,63,64,64,68, \ 1034a238c70SJohn Marino 68,68,68,68,64,68,68,68,72,64,68,68,68,64,67,68, \ 1044a238c70SJohn Marino 68,68,68,68,68,68,72,84,80,72,72,72,72,72,76,76, \ 1054a238c70SJohn Marino 76,76,80,80,76,76,80,84,80,80,80,84,84,84,84,84, \ 1064a238c70SJohn Marino 84,84,84,96,84,84,92,92,96,96,96,99,92,92,92,95, \ 1074a238c70SJohn Marino 96,105,111,105,104,105,104,104,105,105,105,105,104,105,104,105, \ 1084a238c70SJohn Marino 99,114,105,116,117,117,117,123,117,123,116,123,116,111,123,123, \ 1094a238c70SJohn Marino 123,123,123,123,123,117,117,117,123,123,123,117,123,117,123,123, \ 1104a238c70SJohn Marino 123,123,123,123,117,123,123,123,156,123,123,141,123,123,135,135, \ 1114a238c70SJohn Marino 123,148,123,141,141,156,156,129,156,163,156,164,156,156,156,135, \ 1124a238c70SJohn Marino 156,141,155,164,156,156,164,148,148,147,141,164,164,164,164,156, \ 1134a238c70SJohn Marino 164,164,164,164,163,164,164,164,164,164,164,164,164,164,164,164, \ 1144a238c70SJohn Marino 164,156,164,164,156,164,164,164,188,163,164,164,164,164,187,188, \ 1154a238c70SJohn Marino 180,164,204,204,164,188,196,188,188,204,196,180,196,204,188,196, \ 1164a238c70SJohn Marino 220,187,204,220,204,180,220,220,204,204,196,204,220,204,220,220, \ 1174a238c70SJohn Marino 220,220,204,220,220,220,220,220,220,220,220,220,220,220,220,220, \ 1184a238c70SJohn Marino 252,220,220,220,220,220,252,220,252,220,220,220,220,252,252,252, \ 1194a238c70SJohn Marino 252,252,252,252,252,252,252,252,252,252,252,252,267,268,252,252, \ 1204a238c70SJohn Marino 252,250,252,252,252,268,251,252,268,252,268,268,268,252,252,252, \ 1214a238c70SJohn Marino 265,268,268,268,268,268,268,268,268,268,268,268,268,268,268,268, \ 1224a238c70SJohn Marino 268,267,268,268,268,267,268,268,268,267,268,268,268,268,268,268, \ 1234a238c70SJohn Marino 268,268,252,268,252,268,268,268,268,268,268,265,268,268,268,268, \ 1244a238c70SJohn Marino 268,268,268,268,268,268,268,268,268,268,268,268,265,268,268,268, \ 1254a238c70SJohn Marino 252,268,268,266,268,268,268,328,265,282,312,268,268,268,268,268, \ 1264a238c70SJohn Marino 268,268,268,268,268,268,268,311,310,282,282,294,312,282,281,294, \ 1274a238c70SJohn Marino 282,268,312,312,268,311,312,268,268,312,268,312,312,268,312,327, \ 1284a238c70SJohn Marino 268,312,328,268,328,268,328,328,328,312,328,312,327,328,328,312, \ 1294a238c70SJohn Marino 327,328,328,327,325,327,327,359,328,328,327,328,328,328,328,328, \ 1304a238c70SJohn Marino 311,328,360,360,360,360,360,360,360,360,360,360,328,360,360,360, \ 1314a238c70SJohn Marino 328,312,328,360,327,328,328,359,360,328,359,328,312,360,360,327, \ 1324a238c70SJohn Marino 312,408,328,440,328,328,328,328,328,392,328,328,408,408,408,392, \ 1334a238c70SJohn Marino 407,408,408,408,392,407,408,408,407,407,408,408,408,392,408,408, \ 1344a238c70SJohn Marino 407,408,392,408,408,440,406,408,408,408,440,408,408,408,440,440, \ 1354a238c70SJohn Marino 440,440,440,392,440,392,440,440,440,440,440,440,440,440,440,440, \ 1364a238c70SJohn Marino 408,392,440,440,440,438,439,440,440,440,440,440,440,439,440,439, \ 1374a238c70SJohn Marino 440,440,440,504,408,504,408,408,408,472,408,408,407,408,440,439, \ 1384a238c70SJohn Marino 439,440,440,440,440,440,440,440,437,440,440,440,439,504,503,504, \ 1394a238c70SJohn Marino 504,503,504,504,440,502,504,503,503,504,504,503,504,504,504,504, \ 1404a238c70SJohn Marino 504,503,504,504,499,503,502,504,504,536,502,504,504,504,536,504, \ 1414a238c70SJohn Marino 504,504,503,504,504,503,536,504,502,536,503,504,504,504,536,536, \ 1424a238c70SJohn Marino 504,504,504,536,536,535,504,536,535,504,504,504,504,504,504,536, \ 1434a238c70SJohn Marino 536,536,503,536,504,503,536,536,504,535,536,536,504,535,520,536, \ 1444a238c70SJohn Marino 504,504,504,536,535,536,520,536,535,520,536,535,535,536,536,535, \ 1454a238c70SJohn Marino 504,536,536,535,536,535,535,536,536,536,536,536,535,504,536,536, \ 1464a238c70SJohn Marino 536,536,536,536,536,536,536,536,536,535,536,536,536,535,504,536, \ 1474a238c70SJohn Marino 536,536,536,536,504,535,536,536,536,535,535,536,536,536,536,536, \ 1484a238c70SJohn Marino 536,535,536,504,536,535,536,536,536,536,536,504,504,536,504,535, \ 1494a238c70SJohn Marino 536,504,536,535,536,504,504,504,536,536,504,536,504,536,504,536, \ 1504a238c70SJohn Marino 536,504,535,536,632,535,536,536,535,536,536,536,536,536,632,632, \ 1514a238c70SJohn Marino 536,631,536,536,535,536,536,536,536,535,536,536,536,631,632,632, \ 1524a238c70SJohn Marino 536,536,630,535,536,536,600,632,631,600,536,536,536,536,535,632, \ 1534a238c70SJohn Marino 536,598,536,600,536,631,600,568,632,568,568,568,568,568,664,566, \ 1544a238c70SJohn Marino 568,568,632,632,664,568,664,663,632,629,632,535,600,536,536,536, \ 1554a238c70SJohn Marino 632,536,536,599,536,630,536,632,631,632,600,600,600,664,600,664, \ 1564a238c70SJohn Marino 664,632,600,599,664,600,662,663,664,599,598,616,632,625,632,630, \ 1574a238c70SJohn Marino 628,627,630,631,632,663,632,631,632,630,632,631,632,626,632,632, \ 1584a238c70SJohn Marino 632,663,631,631,632,632,632,664,632,632,600,632,632,600,632,632, \ 1594a238c70SJohn Marino 600,600,632,632,632,662,663,663,663,600,664,632,664,663,664,632 \ 1604a238c70SJohn Marino 1614a238c70SJohn Marino #define MPFR_DIVHIGH_TAB \ 1624a238c70SJohn Marino 0,1,2,3,4,5,6,7,8,9,10,11,12,13,12,13, \ 1634a238c70SJohn Marino 14,15,16,13,14,14,14,15,15,17,17,17,19,19,19,19, \ 1644a238c70SJohn Marino 23,23,19,25,23,25,23,25,25,22,26,28,25,28,25,25, \ 1654a238c70SJohn Marino 28,27,31,27,29,28,33,31,32,33,31,32,33,33,35,35, \ 1664a238c70SJohn Marino 35,39,37,43,39,37,39,41,39,40,39,40,41,45,41,47, \ 1674a238c70SJohn Marino 45,45,47,43,44,45,50,54,49,46,53,47,55,56,52,55, \ 1684a238c70SJohn Marino 52,60,60,52,60,64,62,55,55,62,55,58,56,64,61,59, \ 1694a238c70SJohn Marino 63,63,64,59,60,60,63,64,64,63,64,64,68,68,66,66, \ 1704a238c70SJohn Marino 68,69,71,71,70,71,71,72,78,74,74,71,72,78,78,74, \ 1714a238c70SJohn Marino 76,77,78,79,78,80,79,79,84,83,80,80,82,95,96,83, \ 1724a238c70SJohn Marino 92,92,88,91,92,84,95,95,92,96,94,91,94,92,96,94, \ 1734a238c70SJohn Marino 96,96,96,104,94,94,112,112,104,112,112,112,96,112,112,112, \ 1744a238c70SJohn Marino 112,112,110,104,112,112,112,111,112,108,110,120,112,112,112,112, \ 1754a238c70SJohn Marino 112,112,120,112,120,120,112,120,120,120,120,120,128,120,120,116, \ 1764a238c70SJohn Marino 128,128,124,128,120,128,128,120,120,120,128,120,128,120,124,128, \ 1774a238c70SJohn Marino 128,128,128,127,128,128,126,128,128,128,128,127,136,128,138,137, \ 1784a238c70SJohn Marino 137,135,138,138,138,137,135,138,150,150,138,147,150,138,150,150, \ 1794a238c70SJohn Marino 150,150,160,160,156,150,156,148,150,158,162,160,161,160,150,160, \ 1804a238c70SJohn Marino 160,160,168,156,156,160,168,173,162,156,180,160,160,157,168,160, \ 1814a238c70SJohn Marino 160,160,162,168,168,160,184,162,184,162,160,160,174,160,184,180, \ 1824a238c70SJohn Marino 184,184,180,184,184,186,180,184,184,184,184,184,186,188,188,192, \ 1834a238c70SJohn Marino 185,184,184,186,192,192,192,186,182,192,192,185,184,184,192,208, \ 1844a238c70SJohn Marino 192,184,184,180,192,184,192,186,186,184,192,186,186,191,186,185, \ 1854a238c70SJohn Marino 192,216,192,192,208,192,191,192,192,192,204,192,207,192,216,208, \ 1864a238c70SJohn Marino 208,216,216,197,196,216,216,208,216,222,216,222,208,222,208,222, \ 1874a238c70SJohn Marino 224,208,209,216,216,209,224,207,216,222,224,224,208,223,224,224, \ 1884a238c70SJohn Marino 224,216,222,222,224,224,224,216,224,216,222,221,222,224,224,224, \ 1894a238c70SJohn Marino 224,224,224,232,224,222,224,232,225,233,224,240,224,232,256,240, \ 1904a238c70SJohn Marino 256,256,240,255,240,256,256,240,232,240,232,232,240,232,256,256, \ 1914a238c70SJohn Marino 256,256,256,256,256,256,255,256,256,240,256,240,256,240,254,252, \ 1924a238c70SJohn Marino 256,256,256,256,256,256,256,256,254,256,256,282,276,256,254,256, \ 1934a238c70SJohn Marino 256,255,282,256,255,256,255,256,255,288,256,264,264,256,274,276, \ 1944a238c70SJohn Marino 276,269,273,273,282,269,276,276,276,276,273,282,276,282,276,277, \ 1954a238c70SJohn Marino 280,312,282,281,288,282,276,282,276,276,288,312,276,288,300,276, \ 1964a238c70SJohn Marino 304,276,288,300,304,312,312,312,312,312,306,312,312,312,316,300, \ 1974a238c70SJohn Marino 324,312,320,320,300,312,312,312,312,324,312,330,300,320,312,312, \ 1984a238c70SJohn Marino 316,318,324,324,318,312,312,324,336,336,324,312,312,336,324,320, \ 1994a238c70SJohn Marino 312,336,312,324,336,336,336,368,324,348,312,336,368,312,312,320, \ 2004a238c70SJohn Marino 368,372,368,312,324,376,372,312,368,376,376,372,370,372,318,376, \ 2014a238c70SJohn Marino 320,372,372,368,372,324,376,376,376,376,368,372,376,376,376,376, \ 2024a238c70SJohn Marino 372,372,376,376,376,372,384,376,372,368,384,376,376,370,376,376, \ 2034a238c70SJohn Marino 376,371,372,368,384,336,370,370,376,372,376,376,368,376,376,372, \ 2044a238c70SJohn Marino 376,370,376,368,376,372,376,376,368,376,376,368,368,376,368,368, \ 2054a238c70SJohn Marino 370,370,372,368,372,376,376,376,376,368,370,368,368,372,376,376, \ 2064a238c70SJohn Marino 372,376,368,376,376,376,372,376,376,372,376,376,368,376,372,376, \ 2074a238c70SJohn Marino 372,368,376,370,376,372,376,372,376,376,372,370,376,376,370,372, \ 2084a238c70SJohn Marino 372,373,376,376,384,384,384,376,376,376,376,384,376,376,384,384, \ 2094a238c70SJohn Marino 384,416,384,384,408,384,416,384,384,384,384,408,416,416,416,432, \ 2104a238c70SJohn Marino 408,408,416,408,408,416,408,416,416,416,416,416,416,408,407,440, \ 2114a238c70SJohn Marino 432,408,416,408,416,440,416,408,416,416,432,416,416,440,416,416, \ 2124a238c70SJohn Marino 416,440,432,440,408,448,448,408,408,432,440,432,448,416,416,416, \ 2134a238c70SJohn Marino 440,432,432,416,448,432,465,440,432,440,480,448,416,448,432,432, \ 2144a238c70SJohn Marino 480,432,448,440,466,448,432,440,432,440,440,440,480,430,448,448, \ 2154a238c70SJohn Marino 448,439,440,432,438,447,448,440,440,440,448,448,480,432,448,448, \ 2164a238c70SJohn Marino 448,448,448,447,448,448,448,447,448,448,440,465,448,467,448,448, \ 2174a238c70SJohn Marino 448,448,464,464,448,448,466,480,480,480,468,480,448,464,480,464, \ 2184a238c70SJohn Marino 466,466,464,479,480,480,512,480,540,480,496,480,552,512,480,479, \ 2194a238c70SJohn Marino 504,480,552,552,512,480,504,552,564,512,480,480,504,561,564,564, \ 2204a238c70SJohn Marino 512,552,560,564,564,480,564,480,552,480,564,564,564,564,536,564, \ 2214a238c70SJohn Marino 540,564,552,564,564,564,564,552,564,552,564,480,564,552,552,564, \ 2224a238c70SJohn Marino 512,564,546,564,564,564,512,552,552,559,560,561,564,564,560,560, \ 2234a238c70SJohn Marino 552,561,564,564,560,564,561,564,564,564,564,564,564,564,564,560, \ 2244a238c70SJohn Marino 561,560,564,564,560,564,564,552,564,564,564,552,564,564,564,564, \ 2254a238c70SJohn Marino 564,563,564,564,564,564,560,564,564,564,564,552,564,564,560,564 \ 2264a238c70SJohn Marino 2274a238c70SJohn Marino #define MPFR_MUL_THRESHOLD 7 /* limbs */ 2284a238c70SJohn Marino #define MPFR_SQR_THRESHOLD 12 /* limbs */ 2294a238c70SJohn Marino #define MPFR_DIV_THRESHOLD 20 /* limbs */ 2304a238c70SJohn Marino #define MPFR_EXP_2_THRESHOLD 1024 /* bits */ 2314a238c70SJohn Marino #define MPFR_EXP_THRESHOLD 9670 /* bits */ 2324a238c70SJohn Marino #define MPFR_SINCOS_THRESHOLD 23808 /* bits */ 2334a238c70SJohn Marino #define MPFR_AI_THRESHOLD1 -13250 /* threshold for negative input of mpfr_ai */ 2344a238c70SJohn Marino #define MPFR_AI_THRESHOLD2 1430 2354a238c70SJohn Marino #define MPFR_AI_THRESHOLD3 21190 2364a238c70SJohn Marino /* Tuneup completed successfully, took 770 seconds */ 237