[amd/mparam.h] updated

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12387 280ebfd0-de03-0410-8827-d642c229c3f4

3 files changed, 233 insertions, 469 deletions

diff --git a/src/amd/amdfam10/mparam.h b/src/amd/amdfam10/mparam.h
deleted file mode 100644
index 0651dd645..000000000
--- a/src/amd/amdfam10/mparam.h
+++ /dev/null
@@ -1,236 +0,0 @@
-/* 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, 2011-07-31, gcc 4.6.1 */
-/* contributed by Jim Cloos <cloos at jhcloos dot com> with GMP 5.0.2 on a
-   "2009 or 2010 vintage phenom-II", where __amd64, __amd64__,
-   __k8, __k8__, __x86_64 and __x86_64__ are also defined.
-*/
-
-
-#define MPFR_MULHIGH_TAB  \
- -1,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,8,9,10,11, \
- 12,12,12,14,14,14,16,16,18,18,19,20,18,22,20,20, \
- 20,20,20,20,22,22,22,24,28,28,28,28,28,28,32,32, \
- 30,32,32,32,32,32,32,38,38,38,38,40,40,40,40,40, \
- 40,40,44,44,48,48,44,46,48,48,56,56,56,56,56,56, \
- 56,56,56,60,64,60,64,64,64,64,64,64,64,64,64,64, \
- 60,64,64,72,64,64,72,72,64,64,64,72,80,72,80,76, \
- 76,80,76,80,80,80,80,76,80,79,80,80,80,80,80,80, \
- 81,80,86,93,90,87,93,93,93,93,92,93,93,92,93,92, \
- 93,93,93,93,102,105,105,104,105,105,105,105,105,105,111,116, \
- 111,110,111,117,117,111,114,116,117,117,117,117,117,116,116,117, \
- 116,117,117,117,117,117,117,117,117,117,117,117,117,117,117,117, \
- 117,117,117,117,117,117,117,117,117,148,148,156,148,148,148,148, \
- 148,156,156,156,155,156,156,156,156,156,156,156,156,156,155,156, \
- 156,156,156,156,172,156,172,172,172,156,172,156,172,172,172,172, \
- 172,172,172,172,172,172,172,180,172,180,172,172,172,188,188,172, \
- 188,188,188,188,188,188,179,188,188,188,188,188,188,188,188,188, \
- 188,220,220,220,220,188,220,220,220,220,220,220,220,220,220,220, \
- 220,220,220,220,220,220,220,220,220,220,220,220,220,219,220,220, \
- 220,220,220,220,236,220,220,220,252,252,236,252,252,252,252,236, \
- 236,236,252,236,252,252,236,252,236,252,252,252,252,251,250,252, \
- 252,252,252,252,252,252,252,252,252,252,252,252,251,252,252,251, \
- 252,252,252,252,252,252,252,252,252,252,252,252,252,252,284,284, \
- 252,284,284,284,284,284,284,284,284,284,284,284,284,284,283,284, \
- 284,283,284,284,300,300,300,284,284,300,284,284,298,300,316,316, \
- 300,284,300,316,300,316,300,284,316,316,316,316,300,316,300,316, \
- 316,300,316,300,316,316,315,316,316,316,316,316,316,316,316,316, \
- 316,316,316,316,313,316,316,316,316,316,316,316,320,316,320,368, \
- 316,316,316,368,368,368,367,368,368,368,368,368,368,368,368,368, \
- 367,367,368,368,368,368,368,368,368,368,368,368,368,368,368,368, \
- 368,368,368,366,368,368,367,368,368,367,368,368,368,368,368,368, \
- 367,366,367,368,368,367,368,368,368,368,368,368,368,368,368,368, \
- 368,368,368,368,368,368,368,368,416,368,368,368,368,368,368,416, \
- 368,416,415,416,416,368,416,416,416,415,415,416,416,416,416,416, \
- 416,416,415,416,416,415,416,416,440,416,415,416,416,415,416,415, \
- 416,416,416,474,415,416,416,415,416,416,416,416,416,416,474,474, \
- 488,474,440,440,488,488,504,473,504,474,504,504,503,503,503,503, \
- 503,504,501,504,504,503,474,474,503,504,504,503,504,488,488,488, \
- 503,503,504,504,504,504,504,504,501,503,504,503,504,504,499,504, \
- 504,503,504,504,504,504,503,504,504,504,488,504,504,504,474,504, \
- 501,504,504,501,504,503,504,504,504,504,504,504,504,504,503,504, \
- 504,503,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
- 504,504,504,504,504,504,503,568,568,568,504,504,504,504,568,504, \
- 568,567,568,568,568,568,567,568,567,568,567,600,568,600,568,568, \
- 568,568,568,567,568,568,568,568,568,568,568,568,568,568,568,568, \
- 568,568,568,568,568,568,568,567,568,568,568,568,568,568,568,568, \
- 568,568,568,632,600,568,568,568,565,568,568,568,632,568,568,600, \
- 600,631,600,632,600,632,632,600,600,632,600,600,632,600,600,600, \
- 632,616,600,632,600,632,632,600,600,600,600,600,600,632,600,632, \
- 632,616,632,632,632,616,632,632,632,627,631,629,632,632,631,632, \
- 632,632,632,632,632,632,632,632,632,632,632,632,632,632,632,632, \
- 632,632,632,632,687,629,688,632,632,632,632,632,632,632,632,632, \
- 688,712,632,688,712,688,712,712,688,688,688,711,712,712,680,736, \
- 712,712,712,688,688,712,712,712,712,712,712,728,712,736,736,711, \
- 733,736,735,711,728,728,736,728,712,736,736,710,734,736,736,712, \
- 712,736,712,712,719,728,712,712,712,734,733,726,736,736,736,735, \
- 736,736,736,712,736,736,736,736,736,736,727,736,736,736,735,736, \
- 731,736,736,736,736,736,736,736,733,712,736,736,736,736,736,712, \
- 712,736,736,784,712,712,736,725,760,760,736,727,736,830,736,784, \
- 728,736,727,783,832,736,734,830,736,736,831,736,736,830,829,832, \
- 832,832,831,736,782,784,832,828,736,824,736,832,832,831,736,824, \
- 824,832,832,832,832,832,832,825,832,832,832,824,832,832,832,828, \
- 822,824,831,829,832,827,832,832,832,831,832,829,829,832,824,832, \
- 830,832,832,832,832,832,830,832,832,832,832,828,855,832,830,830 \
-  
-#define MPFR_SQRHIGH_TAB  \
- -1,0,0,0,-1,-1,-1,-1,-1,-1,7,8,9,8,9,9, \
- 11,11,11,13,13,14,15,16,17,17,19,19,16,19,17,19, \
- 19,18,19,19,21,21,21,23,23,25,25,23,25,25,25,25, \
- 28,27,27,29,29,28,31,31,34,34,34,34,38,36,38,38, \
- 42,42,42,42,42,42,44,46,42,46,44,50,46,50,42,50, \
- 44,44,46,50,50,50,50,50,50,50,50,50,50,50,50,50, \
- 52,50,54,54,54,54,56,56,56,56,58,56,56,58,58,60, \
- 60,62,62,67,62,68,72,68,68,72,68,76,72,72,72,76, \
- 76,76,76,76,84,72,84,76,76,76,84,76,76,84,84,84, \
- 92,84,84,84,84,84,92,92,92,92,92,92,92,92,92,100, \
- 92,92,100,100,92,100,100,100,100,100,100,92,100,100,92,100, \
- 100,100,92,92,100,92,100,104,100,108,100,100,100,108,104,100, \
- 100,104,100,108,108,108,112,108,112,112,112,123,112,123,112,135, \
- 116,123,123,135,123,135,135,135,135,135,135,135,135,135,135,135, \
- 135,135,147,135,135,135,135,147,147,147,147,147,147,147,147,147, \
- 147,147,147,147,147,147,147,147,147,147,147,159,147,147,147,147, \
- 165,147,147,159,153,147,147,147,165,159,147,147,165,153,147,159, \
- 165,165,165,165,165,171,171,159,165,159,165,165,165,165,165,165, \
- 171,165,171,171,165,177,171,171,189,183,171,165,165,165,183,165, \
- 165,165,183,183,186,189,165,189,165,171,165,165,189,165,183,183, \
- 183,189,183,201,201,189,189,183,189,183,195,189,189,189,183,213, \
- 183,183,195,195,213,189,189,189,201,201,189,195,213,225,225,201, \
- 201,213,213,195,213,201,225,225,225,225,225,224,225,225,213,225, \
- 225,225,225,225,225,225,225,225,225,225,225,225,225,225,249,225, \
- 249,249,248,225,249,249,249,249,249,249,225,249,249,248,249,249, \
- 249,249,249,248,249,249,249,249,249,249,249,249,249,249,249,249, \
- 249,249,249,249,249,249,249,249,249,249,249,249,249,249,249,249, \
- 273,273,273,273,273,273,273,273,273,273,273,273,273,273,273,273, \
- 273,273,273,273,273,273,273,273,273,273,297,297,297,297,297,296, \
- 297,297,297,297,297,297,297,297,297,297,297,297,297,297,297,297, \
- 297,297,297,297,297,297,297,297,297,273,273,273,273,273,273,296, \
- 273,309,297,321,321,297,297,297,297,297,297,296,297,297,297,296, \
- 297,296,297,297,297,297,297,297,297,297,297,297,297,297,309,297, \
- 297,297,309,297,297,297,297,297,297,297,321,297,321,333,297,366, \
- 333,333,333,366,333,296,333,333,333,297,333,333,333,297,297,321, \
- 321,345,402,345,402,402,402,402,402,402,402,402,402,402,402,402, \
- 401,401,402,402,402,402,402,402,402,402,402,402,401,402,402,401, \
- 402,402,402,402,401,402,402,402,402,402,401,402,402,401,401,402, \
- 401,401,393,402,402,438,401,402,402,401,401,402,401,402,402,402, \
- 402,401,402,402,402,402,402,402,402,402,402,401,402,401,402,401, \
- 402,402,400,402,402,402,402,402,402,402,438,438,438,438,438,438, \
- 438,438,402,438,402,402,402,402,438,438,402,438,401,402,438,438, \
- 438,438,438,438,438,438,401,437,438,402,401,402,438,401,402,402, \
- 402,402,402,402,401,437,438,438,438,437,438,438,401,402,402,438, \
- 438,438,402,402,402,402,401,402,402,437,438,438,438,438,438,438, \
- 438,438,438,438,437,437,438,438,438,438,438,438,438,437,437,438, \
- 437,438,438,438,438,402,438,402,438,438,438,438,438,438,437,438, \
- 456,438,438,438,438,437,438,438,438,438,437,438,438,438,437,438, \
- 438,438,438,473,437,456,438,438,438,438,438,437,438,438,438,438, \
- 438,438,437,438,438,438,438,438,456,474,455,456,456,474,473,492, \
- 456,474,456,474,474,474,474,474,536,512,474,512,474,536,474,474, \
- 536,474,536,536,474,474,536,536,536,536,536,536,536,536,536,536, \
- 536,534,536,536,536,535,536,536,536,536,535,536,536,536,536,536, \
- 536,535,536,535,536,536,512,536,536,536,536,536,536,535,536,534, \
- 535,584,536,536,536,534,535,536,536,536,536,536,536,536,536,534, \
- 536,536,536,536,535,536,584,535,536,584,536,536,536,536,584,584, \
- 584,584,536,584,584,584,584,584,584,584,583,584,582,584,584,584, \
- 584,584,584,584,584,582,583,584,584,584,584,584,584,584,584,584, \
- 584,583,584,584,696,584,584,583,584,584,696,726,696,584,584,584, \
- 728,696,696,696,584,728,696,584,696,696,694,696,696,696,727,584, \
- 695,694,584,696,696,695,728,696,696,696,696,696,694,696,727,695, \
- 696,695,695,696,696,728,696,696,695,696,696,696,696,696,696,696, \
- 727,696,696,696,696,695,696,728,727,696,695,727,696,726,727,726, \
- 727,728,728,727,694,727,728,728,728,727,727,728,727,728,727,728 \
-  
-#define MPFR_DIVHIGH_TAB  \
- 0,1,2,3,4,5,6,7,8,9,10,11,10,13,14,15, \
- 14,15,18,19,18,14,15,18,18,18,19,17,18,19,18,19, \
- 22,21,23,21,22,22,23,25,26,27,26,27,27,27,30,30, \
- 30,34,30,34,32,33,34,31,30,34,37,34,38,38,38,38, \
- 38,38,42,43,42,42,39,38,42,44,43,42,40,45,46,46, \
- 46,45,46,43,44,50,48,48,48,46,53,51,50,50,50,50, \
- 53,51,53,53,53,53,55,55,55,55,55,55,60,64,60,60, \
- 62,63,64,65,60,64,68,72,64,68,68,64,64,68,72,66, \
- 67,69,71,72,76,80,71,72,76,74,74,76,76,77,76,80, \
- 79,84,84,84,78,84,88,88,92,84,80,92,92,80,88,84, \
- 92,88,91,92,92,92,93,95,92,90,92,92,92,92,92,96, \
- 96,96,92,92,92,92,96,96,102,96,95,110,96,96,100,100, \
- 112,100,100,106,106,110,112,110,110,111,110,120,110,110,112,120, \
- 110,120,120,120,112,120,128,128,128,128,124,128,128,120,128,128, \
- 127,128,124,128,128,128,128,126,128,128,128,128,136,140,128,128, \
- 128,128,136,144,128,128,144,144,128,144,144,144,144,128,152,152, \
- 152,152,152,160,160,152,144,144,152,151,144,143,152,144,144,152, \
- 152,144,152,152,152,152,151,152,160,158,144,160,160,160,160,160, \
- 152,160,152,152,152,160,152,160,160,156,158,160,160,160,160,160, \
- 160,160,160,160,168,160,160,160,160,160,159,160,160,160,176,176, \
- 180,176,176,184,184,186,184,184,184,184,186,184,186,172,176,192, \
- 184,184,184,184,185,176,176,185,184,185,186,183,184,184,181,191, \
- 192,184,184,185,192,192,192,186,192,192,192,192,192,191,196,192, \
- 192,192,192,192,196,190,192,192,200,192,198,220,222,204,200,222, \
- 220,220,222,222,224,222,222,219,222,222,224,224,220,222,220,224, \
- 220,221,222,220,232,222,221,232,222,220,224,232,220,232,222,232, \
- 224,220,220,222,222,222,221,222,220,220,222,222,224,224,224,222, \
- 220,224,224,232,224,222,222,232,224,222,223,224,224,224,231,232, \
- 256,232,231,232,239,232,239,234,238,238,239,232,239,232,256,256, \
- 288,288,248,256,256,256,256,256,256,239,255,256,256,256,256,256, \
- 256,256,256,256,256,256,296,256,254,256,256,272,272,272,256,256, \
- 288,272,256,256,280,296,288,280,288,288,296,280,288,288,288,294, \
- 296,296,294,304,288,287,288,296,304,304,288,303,304,296,288,312, \
- 312,312,312,288,288,312,288,288,312,320,305,288,320,320,288,312, \
- 311,312,312,312,304,304,312,304,319,296,288,310,312,288,288,320, \
- 304,304,304,288,300,312,309,304,304,311,288,296,296,320,312,311, \
- 296,320,312,304,304,312,312,320,296,320,312,296,305,312,304,303, \
- 304,312,303,312,304,311,312,312,320,312,311,320,320,320,320,320, \
- 312,320,312,312,312,320,312,312,320,320,319,320,320,320,320,320, \
- 320,320,320,320,320,320,320,320,320,320,320,320,320,320,352,336, \
- 344,352,352,344,360,360,343,336,352,366,370,352,360,368,376,360, \
- 360,360,367,368,360,352,371,360,368,368,372,352,352,352,352,352, \
- 384,370,360,368,384,372,375,360,368,368,368,368,368,368,384,372, \
- 352,372,352,368,366,376,352,367,384,368,360,368,360,384,371,376, \
- 360,366,368,368,360,369,371,367,368,369,384,376,368,372,372,384, \
- 440,368,376,384,372,376,440,440,376,440,368,369,384,370,440,440, \
- 440,392,440,440,384,384,440,440,448,440,440,440,440,440,440,440, \
- 440,440,384,440,439,440,384,384,440,440,440,440,440,440,439,448, \
- 440,440,440,440,440,440,440,440,440,440,440,440,440,440,440,440, \
- 440,440,440,440,440,440,439,440,440,440,440,440,440,440,440,440, \
- 440,440,440,440,440,440,440,440,440,440,440,440,440,440,440,480, \
- 440,440,440,440,468,480,440,440,440,440,440,464,440,440,440,440, \
- 480,440,440,440,440,448,439,440,440,440,440,440,440,448,440,448, \
- 512,439,440,448,440,440,440,438,440,440,440,440,496,440,465,440, \
- 440,466,440,440,440,440,512,440,440,440,440,464,440,440,448,466, \
- 512,496,512,512,512,448,512,447,448,468,472,448,480,464,480,512, \
- 466,466,496,468,512,468,496,480,512,512,496,467,472,512,512,512, \
- 512,468,512,512,512,512,512,478,512,472,512,512,512,496,512,512, \
- 512,512,512,512,496,480,496,496,512,512,512,496,480,512,544,480, \
- 576,512,512,576,512,512,512,576,512,512,496,496,512,480,576,576, \
- 512,510,496,568,576,576,496,560,576,511,512,576,576,512,512,576, \
- 560,496,576,512,512,512,512,512,512,576,576,512,512,576,512,512, \
- 512,512,576,512,512,512,508,512,576,512,576,576,512,576,592,512, \
- 568,512,576,568,576,576,576,512,576,576,592,576,592,512,608,576 \
-  
-#define MPFR_MUL_THRESHOLD 17 /* limbs */
-#define MPFR_SQR_THRESHOLD 19 /* limbs */
-#define MPFR_DIV_THRESHOLD 28 /* limbs */
-#define MPFR_EXP_2_THRESHOLD 1031 /* bits */
-#define MPFR_EXP_THRESHOLD 10625 /* bits */
-#define MPFR_SINCOS_THRESHOLD 26682 /* bits */
-#define MPFR_AI_THRESHOLD1 -11328 /* threshold for negative input of mpfr_ai */
-#define MPFR_AI_THRESHOLD2 1045
-#define MPFR_AI_THRESHOLD3 17871
-/* Tuneup completed successfully, took 562 seconds */
diff --git a/src/amd/k8/mparam.h b/src/amd/k8/mparam.h
deleted file mode 100644
index 2ca857f65..000000000
--- a/src/amd/k8/mparam.h
+++ /dev/null
@@ -1,233 +0,0 @@
-/* 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, 2018-02-21, gcc 6.3.0 */
-/* gcc13.fsffrance.org (Dual-Core AMD Opteron(tm) Processor 2212)
-   with gmp 6.1.2, which uses -m64 -mtune=k8 -march=k8. */
-
-#define MPFR_MULHIGH_TAB  \
- -1,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,9,9,11, \
- 12,13,11,15,14,15,15,16,18,18,19,20,18,19,19,20, \
- 22,23,23,24,26,30,28,24,30,32,30,32,32,30,30,32, \
- 32,30,30,32,32,38,32,32,36,36,40,40,36,38,40,38, \
- 40,40,44,44,46,44,44,46,48,46,48,48,56,56,56,56, \
- 56,56,56,60,60,60,64,64,64,64,64,64,64,64,64,64, \
- 72,72,72,72,72,72,72,72,72,72,72,72,80,80,80,80, \
- 80,80,80,80,80,80,80,80,80,76,80,80,93,80,80,80, \
- 80,80,80,80,80,105,93,93,93,93,80,93,93,93,93,108, \
- 93,93,111,93,93,93,105,117,117,117,111,117,117,105,111,105, \
- 108,105,117,117,117,117,117,117,117,117,117,117,117,117,111,117, \
- 117,117,129,117,129,117,117,129,129,129,135,129,141,129,135,135, \
- 135,141,141,129,141,141,129,141,141,141,141,135,141,141,141,141, \
- 141,141,141,141,141,141,141,141,141,153,153,153,165,165,165,165, \
- 159,165,165,165,159,165,165,165,165,165,165,177,189,189,189,177, \
- 189,189,165,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,213,213,189,189,189,213,189,213,213,213,213,213,213,213,213, \
- 213,213,213,213,213,213,213,213,213,213,213,213,213,213,213,213, \
- 213,213,213,213,213,213,213,213,213,213,213,213,213,213,225,225, \
- 225,225,252,225,252,237,252,237,237,237,237,237,237,237,237,252, \
- 237,252,252,252,252,252,252,252,252,252,252,252,252,252,252,252, \
- 252,252,284,252,284,284,284,284,284,252,284,284,284,284,284,284, \
- 284,284,284,284,284,284,284,284,284,284,284,284,284,284,284,284, \
- 284,284,284,284,284,284,284,284,284,284,284,284,284,300,300,284, \
- 300,300,300,300,300,300,300,300,316,316,315,316,316,316,316,316, \
- 316,316,315,316,316,316,316,316,316,316,316,316,316,316,316,316, \
- 316,314,315,316,316,316,316,316,315,316,316,316,316,316,316,316, \
- 316,316,316,316,316,316,316,316,316,316,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,377,378,378,378,378,378,378,378,378,378,378,426, \
- 378,426,378,426,426,426,426,426,426,426,426,426,426,426,426,426, \
- 426,426,426,426,426,426,426,426,426,426,426,426,426,426,426,426, \
- 426,426,426,426,426,426,426,426,426,426,426,426,426,426,426,426, \
- 426,426,426,426,426,426,426,426,426,426,426,426,426,426,426,425, \
- 426,426,426,426,474,474,474,426,474,474,504,426,474,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,503,504,504,503,504,504,504,504,504, \
- 504,504,568,568,568,568,568,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,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,567,568,567,568,567,568,568,568,568,568,568,568, \
- 568,568,568,568,568,568,567,568,568,568,567,568,568,568,568,568, \
- 568,568,632,568,567,632,632,632,632,632,632,632,632,600,600,600, \
- 632,632,600,600,632,632,600,600,632,632,632,632,632,632,632,632, \
- 632,632,631,632,632,632,632,632,632,632,632,632,632,632,631,632, \
- 632,632,632,632,632,632,631,632,632,632,631,632,631,632,632,632, \
- 632,632,631,632,632,632,632,632,631,632,631,632,632,632,631,632, \
- 632,632,632,632,632,632,632,632,632,632,632,632,632,632,632,632, \
- 632,632,632,632,632,632,631,632,632,632,631,632,632,632,632,736, \
- 736,736,736,736,736,735,736,735,736,736,734,735,736,736,736,735, \
- 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,735,736,736,736,735,736, \
- 736,736,735,736,735,736,735,736,736,736,736,736,736,736,736,736, \
- 735,736,735,736,736,736,736,736,736,736,736,736,736,736,736,736, \
- 736,736,735,736,736,736,735,736,736,736,736,832,736,831,831,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,830,831,832,831,832, \
- 831,832,832,832,832,832,831,832,831,832,832,832,832,832,832,832, \
- 832,832,831,832,831,832,832,832,832,832,832,832,831,832,831,832 \
-  
-#define MPFR_SQRHIGH_TAB  \
- -1,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,7,8,9,9,11, \
- 11,11,11,12,13,14,15,15,17,18,18,17,17,18,18,20, \
- 20,18,19,19,20,21,23,23,24,23,24,23,24,25,26,27, \
- 28,27,28,29,28,31,32,31,34,34,34,34,34,34,34,40, \
- 40,40,40,40,40,42,40,40,40,46,46,46,42,46,46,48, \
- 48,48,48,48,50,50,48,48,54,54,56,56,56,48,56,56, \
- 58,50,52,54,62,54,54,56,56,54,58,60,62,62,58,64, \
- 64,62,66,64,64,62,66,63,66,62,66,72,64,65,66,72, \
- 72,72,72,72,72,80,80,72,80,72,80,80,80,72,80,80, \
- 80,80,80,80,80,80,80,84,80,92,92,92,96,92,96,96, \
- 96,92,96,92,92,92,96,96,96,96,96,100,96,96,96,96, \
- 96,92,96,96,100,96,96,112,112,112,96,112,112,111,112,112, \
- 112,112,112,112,112,112,112,112,112,112,112,112,112,135,112,112, \
- 112,135,135,135,112,135,135,141,141,135,141,141,141,135,135,141, \
- 128,135,141,141,141,135,135,135,141,135,135,141,141,141,141,141, \
- 141,141,147,141,141,147,141,141,141,141,147,147,141,147,147,159, \
- 158,159,159,159,159,159,159,159,165,159,159,165,165,159,159,165, \
- 165,159,159,165,165,165,165,165,165,165,171,183,165,183,183,183, \
- 189,183,183,189,189,189,189,189,189,189,189,189,189,189,189,189, \
- 189,189,189,189,189,189,188,189,189,188,189,189,189,189,189,189, \
- 213,189,183,183,213,189,189,183,188,189,189,189,213,189,189,195, \
- 189,189,213,195,213,189,195,213,213,189,189,189,189,213,189,189, \
- 189,213,213,189,195,189,195,189,189,189,195,213,189,213,213,213, \
- 189,213,213,213,213,213,213,213,213,213,213,213,213,213,213,213, \
- 213,213,213,212,213,213,237,237,213,237,213,213,213,213,237,237, \
- 237,237,237,237,237,237,237,237,237,237,237,236,237,237,237,237, \
- 237,237,237,237,237,237,237,237,237,237,249,237,237,237,237,249, \
- 237,237,237,237,237,237,273,237,273,236,237,273,249,237,237,285, \
- 273,273,273,236,273,273,285,285,273,285,273,284,285,285,273,284, \
- 285,285,285,285,285,285,285,272,285,285,285,285,285,285,297,284, \
- 285,285,285,285,285,285,285,285,285,285,285,285,285,285,285,285, \
- 285,285,285,284,285,285,333,333,309,285,285,332,333,333,309,332, \
- 333,332,333,333,333,333,333,333,333,333,333,333,333,332,333,332, \
- 333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333, \
- 333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,332, \
- 333,333,333,333,333,333,333,321,333,332,333,321,333,333,333,333, \
- 333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333, \
- 333,333,333,333,333,402,333,402,333,402,420,420,420,420,333,402, \
- 420,402,402,402,402,332,420,420,420,402,402,420,420,419,420,420, \
- 420,420,420,420,420,420,420,420,420,420,420,420,420,420,420,420, \
- 401,402,419,402,420,419,420,420,402,402,420,420,402,402,420,402, \
- 401,420,402,402,420,420,402,420,420,420,419,420,420,420,420,420, \
- 420,420,402,420,420,420,420,420,420,420,420,420,420,420,420,420, \
- 419,420,402,420,401,420,419,420,420,402,420,420,420,420,420,420, \
- 420,420,420,420,420,420,420,420,420,420,420,420,420,420,418,420, \
- 420,420,420,420,420,420,420,420,420,420,420,420,420,420,420,420, \
- 420,420,420,420,438,420,420,420,420,420,420,420,420,474,420,474, \
- 473,474,474,474,474,474,420,474,474,474,420,492,420,492,568,568, \
- 492,492,568,492,568,568,568,568,568,492,492,492,568,492,568,568, \
- 568,474,474,568,474,568,568,568,568,568,568,568,568,568,568,568, \
- 568,568,568,568,568,492,568,568,568,568,567,568,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,568,568,568,568,568, \
- 568,568,567,568,568,568,568,568,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,568,568,567,568,567,568,568,568,568, \
- 568,568,568,568,568,568,567,568,567,567,568,568,568,568,568,568, \
- 568,568,568,568,568,568,568,568,568,568,568,568,568,568,568,568, \
- 568,632,568,632,568,568,568,568,568,568,568,568,568,568,568,568, \
- 568,568,568,568,568,568,568,568,568,568,632,568,568,631,568,632, \
- 632,632,632,632,632,632,631,632,629,631,632,632,632,632,632,632, \
- 632,632,632,632,632,632,632,632,632,632,632,632,632,632,632,632, \
- 631,632,632,632,632,631,632,632,632,632,632,632,632,632,664,632, \
- 632,632,632,632,632,632,632,632,632,632,632,632,632,632,632,728 \
-  
-#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,18,18,18,18,18,18, /*16-31*/ \
- 22,22,22,22,22,22,26,26,26,26,26,26,26,29,26,26, /*32-47*/ \
- 28,34,30,31,30,34,34,33,34,37,34,34,0,37,0,0, /*48-63*/ \
- 0,0,0,0,0,37,0,0,0,0,0,0,0,0,0,0, /*64-79*/ \
- 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /*80-95*/ \
- 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /*96-111*/ \
- 0,0,0,0,60,0,0,0,0,0,0,0,64,0,0,0, /*112-127*/ \
- 0,0,0,0,0,0,74,0,74,74,74,74,74,78,0,78, /*128-143*/ \
- 74,78,78,78,0,0,0,0,78,78,0,0,0,0,0,0, /*144-159*/ \
- 0,0,0,0,0,0,91,96,96,95,92,96,104,92,96,92, /*160-175*/ \
- 112,92,92,92,104,104,104,112,104,104,104,108,112,112,112,120, /*176-191*/ \
- 104,112,112,120,104,104,112,120,104,112,120,120,120,120,112,112, /*192-207*/ \
- 112,120,128,112,120,128,120,128,128,128,128,120,128,128,128,128, /*208-223*/ \
- 128,128,128,128,128,128,128,128,128,128,128,128,120,136,128,128, /*224-239*/ \
- 128,136,128,128,140,128,128,128,128,128,148,128,140,128,140,148, /*240-255*/ \
- 136,148,136,148,148,148,136,148,136,136,156,148,148,156,148,148, /*256-271*/ \
- 156,148,160,156,156,148,156,160,148,156,148,158,148,148,148,148, /*272-287*/ \
- 150,148,160,148,151,156,156,157,156,160,160,156,156,156,156,156, /*288-303*/ \
- 158,156,159,160,156,156,157,159,160,160,160,174,168,174,174,174, /*304-319*/ \
- 180,184,174,182,174,180,184,174,174,184,174,184,184,184,184,184, /*320-335*/ \
- 186,185,185,180,184,180,183,184,174,192,184,184,192,208,185,180, /*336-351*/ \
- 180,216,184,186,192,210,206,184,216,186,186,210,185,212,192,216, /*352-367*/ \
- 216,216,224,224,206,208,221,222,208,208,208,208,208,209,209,208, /*368-383*/ \
- 232,208,240,240,206,222,208,210,208,208,224,224,222,208,208,224, /*384-399*/ \
- 216,240,208,224,222,224,224,240,232,216,233,222,222,224,224,233, /*400-415*/ \
- 222,224,224,240,222,232,240,224,240,240,222,232,224,256,256,224, /*416-431*/ \
- 256,240,231,224,240,256,240,256,234,256,239,240,240,240,256,256, /*432-447*/ \
- 256,240,256,256,256,240,256,240,256,256,256,256,256,256,240,254, /*448-463*/ \
- 256,256,256,256,256,256,256,255,256,256,256,255,256,256,256,256, /*464-479*/ \
- 256,256,256,256,256,256,256,256,256,256,256,256,256,254,256,255, /*480-495*/ \
- 256,255,256,256,256,256,256,256,256,256,255,256,256,256,270,279, /*496-511*/ \
- 280,281,280,280,281,280,270,270,280,312,288,280,280,282,278,272, /*512-527*/ \
- 288,296,279,272,272,312,272,312,280,280,312,296,280,296,312,312, /*528-543*/ \
- 312,296,296,296,312,296,312,296,312,313,312,296,312,281,312,312, /*544-559*/ \
- 317,312,312,318,312,312,312,312,312,312,312,312,300,312,314,318, /*560-575*/ \
- 304,316,312,312,296,311,312,311,312,312,314,312,312,313,312,312, /*576-591*/ \
- 312,304,312,313,312,312,312,312,312,312,313,312,316,316,312,312, /*592-607*/ \
- 312,312,312,312,312,312,312,312,313,317,312,312,312,312,313,315, /*608-623*/ \
- 315,315,318,318,318,317,318,348,348,320,320,348,336,368,348,348, /*624-639*/ \
- 368,348,348,336,360,352,352,372,348,372,368,348,368,372,370,371, /*640-655*/ \
- 348,372,372,372,352,348,354,360,364,368,372,364,366,366,367,368, /*656-671*/ \
- 370,372,372,372,371,368,369,366,372,371,372,371,372,384,360,384, /*672-687*/ \
- 348,368,378,348,384,372,372,369,370,384,384,368,354,372,416,372, /*688-703*/ \
- 372,414,364,370,368,368,416,368,416,368,420,416,432,368,368,416, /*704-719*/ \
- 420,420,416,420,417,432,432,418,420,426,418,432,420,420,426,432, /*720-735*/ \
- 432,432,432,432,432,432,448,432,432,432,432,448,448,448,448,414, /*736-751*/ \
- 448,444,448,432,448,432,448,448,448,448,448,432,426,448,447,464, /*752-767*/ \
- 448,417,448,448,432,448,432,432,448,414,432,448,432,447,448,420, /*768-783*/ \
- 432,448,432,432,444,432,448,448,448,432,425,448,432,420,448,419, /*784-799*/ \
- 448,432,448,426,432,425,448,420,432,416,420,432,432,416,448,432, /*800-815*/ \
- 420,432,448,448,449,448,432,444,448,432,448,448,448,447,448,448, /*816-831*/ \
- 448,432,432,448,448,480,448,432,448,448,448,449,449,448,448,444, /*832-847*/ \
- 466,480,448,448,448,448,449,448,480,432,444,432,448,447,444,448, /*848-863*/ \
- 447,448,448,448,464,448,448,448,480,448,448,447,448,448,480,444, /*864-879*/ \
- 448,448,480,448,449,448,464,468,512,448,504,449,448,448,449,512, /*880-895*/ \
- 512,504,464,480,464,512,512,480,512,480,504,504,480,512,480,466, /*896-911*/ \
- 480,512,512,512,480,504,504,480,465,504,468,480,480,480,512,480, /*912-927*/ \
- 504,480,480,480,512,468,479,480,480,504,480,480,512,480,480,504, /*928-943*/ \
- 512,480,480,480,504,480,503,512,480,480,480,480,480,511,512,504, /*944-959*/ \
- 504,504,512,512,512,500,497,503,504,512,504,502,512,504,504,510, /*960-975*/ \
- 504,512,512,500,504,512,512,500,512,512,512,502,512,504,563,512, /*976-991*/ \
- 512,504,504,512,512,512,512,512,504,511,512,512,512,504,512,512, /*992-1007*/ \
- 512,535,562,512,511,512,512,559,544,512,512,543,564,512,561,560 /*1008-1023*/ \
-  
-#define MPFR_MUL_THRESHOLD 17 /* limbs */
-#define MPFR_SQR_THRESHOLD 13 /* limbs */
-#define MPFR_DIV_THRESHOLD 27 /* limbs */
-#define MPFR_EXP_2_THRESHOLD 562 /* bits */
-#define MPFR_EXP_THRESHOLD 11073 /* bits */
-#define MPFR_SINCOS_THRESHOLD 32373 /* bits */
-#define MPFR_AI_THRESHOLD1 -11888 /* threshold for negative input of mpfr_ai */
-#define MPFR_AI_THRESHOLD2 1178
-#define MPFR_AI_THRESHOLD3 20065
-/* Tuneup completed successfully, took 766 seconds */
diff --git a/src/amd/mparam.h b/src/amd/mparam.h
new file mode 100644
index 000000000..dd1d39c21
--- /dev/null
+++ b/src/amd/mparam.h
@@ -0,0 +1,233 @@
+/* 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, 2018-02-22, gcc 6.3.0 */
+/* gcc13.fsffrance.org (Dual-Core AMD Opteron(tm) Processor 2212)
+   with gmp 6.1.2, which uses -m64 -mtune=k8 -march=k8. */
+
+#define MPFR_MULHIGH_TAB  \
+ -1,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,9,9,11, \
+ 12,13,11,15,14,15,15,16,18,18,19,20,18,19,19,20, \
+ 22,23,23,24,26,30,28,24,30,32,30,32,32,30,30,32, \
+ 32,30,30,32,32,38,32,40,36,36,40,40,38,38,38,38, \
+ 38,40,44,44,46,46,44,46,48,46,52,48,56,56,56,56, \
+ 56,56,56,60,60,60,64,64,64,64,64,64,64,64,64,64, \
+ 72,72,72,72,72,72,72,72,72,72,72,72,80,80,80,80, \
+ 80,80,80,80,80,80,80,80,80,93,80,93,93,80,80,93, \
+ 80,80,80,80,80,105,93,93,93,93,93,93,93,93,93,108, \
+ 93,93,111,93,105,117,105,117,117,117,111,117,117,105,111,105, \
+ 108,105,117,117,117,117,117,117,117,117,117,117,117,117,111,117, \
+ 117,117,117,117,129,129,117,129,129,129,135,129,129,129,135,135, \
+ 135,141,141,129,129,141,132,141,141,141,141,135,141,141,141,141, \
+ 141,141,141,141,141,141,141,159,141,153,141,153,153,165,165,165, \
+ 159,165,165,165,165,165,165,165,165,165,165,177,189,189,189,189, \
+ 189,189,177,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,213,213,189,189,189,189,189,213,213,213,213,213,213,213,213, \
+ 213,213,213,213,213,213,213,213,213,213,213,213,213,213,213,213, \
+ 213,213,213,213,213,213,213,213,213,213,213,213,213,213,225,225, \
+ 225,237,225,225,237,237,237,237,237,237,237,237,237,237,237,252, \
+ 237,237,252,252,252,252,252,252,252,252,252,252,252,252,252,252, \
+ 252,252,284,252,284,284,252,284,284,252,284,284,284,284,284,284, \
+ 284,284,284,284,284,284,284,284,284,284,284,284,284,284,284,284, \
+ 284,284,284,284,284,284,284,284,284,284,284,284,284,300,300,284, \
+ 300,300,300,300,300,300,300,300,316,316,315,316,316,315,316,316, \
+ 316,316,315,316,316,316,316,316,316,316,316,316,316,316,316,316, \
+ 316,314,315,316,316,316,316,314,315,316,316,316,316,316,316,316, \
+ 316,316,316,316,316,316,316,316,316,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,426, \
+ 378,426,378,426,378,378,378,378,426,426,426,426,426,426,426,426, \
+ 426,426,426,426,426,426,426,426,426,426,426,426,426,426,426,426, \
+ 426,426,426,426,426,426,426,426,426,426,426,426,426,426,426,426, \
+ 426,426,426,426,426,425,426,426,426,426,426,426,426,426,426,425, \
+ 426,426,426,426,474,425,474,426,474,474,504,426,474,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,503,504,504,503,504,504,504,504,504, \
+ 504,504,568,504,568,504,504,504,568,504,568,568,568,568,568,568, \
+ 568,568,568,568,568,568,568,567,568,568,568,568,568,568,568,568, \
+ 568,568,568,568,568,568,568,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,567,568,568,568,567,568,568,568,568,568,568,568, \
+ 568,568,568,568,568,568,567,568,568,568,568,568,568,568,568,568, \
+ 600,568,568,568,600,632,632,568,632,632,632,632,632,600,632,600, \
+ 632,632,600,600,632,632,599,600,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,631,632,632,632,632,632,630,631,632,632, \
+ 632,632,631,632,632,632,632,632,631,632,631,632,632,632,631,632, \
+ 632,632,632,632,632,632,632,632,632,632,632,632,632,632,632,631, \
+ 632,632,632,632,632,632,631,632,632,632,632,632,632,736,632,736, \
+ 736,736,736,736,736,735,736,735,736,736,736,735,736,736,736,735, \
+ 735,736,735,736,736,736,736,736,736,736,736,735,736,736,736,736, \
+ 736,736,736,736,735,736,736,736,736,736,736,736,736,736,735,736, \
+ 736,736,736,736,736,736,735,736,734,736,736,736,736,736,735,736, \
+ 735,736,735,736,736,736,736,736,735,736,736,736,736,736,736,736, \
+ 736,736,736,736,736,736,736,735,736,736,736,832,736,736,832,832, \
+ 736,831,831,832,832,832,832,832,832,832,830,832,832,832,832,832, \
+ 832,832,831,832,832,832,832,832,832,832,832,830,831,832,831,832, \
+ 831,832,832,832,832,832,831,832,831,831,831,832,832,832,832,832, \
+ 832,832,832,832,831,832,832,832,832,832,832,832,831,832,831,832 \
+  
+#define MPFR_SQRHIGH_TAB  \
+ -1,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,7,8,9,9,11, \
+ 11,11,11,12,13,14,15,15,17,18,18,17,17,18,18,20, \
+ 20,18,19,19,20,21,23,23,24,25,23,23,24,25,26,27, \
+ 28,27,28,29,28,31,32,31,32,31,32,33,34,34,34,40, \
+ 40,40,40,40,40,40,40,40,40,46,46,46,42,46,46,48, \
+ 48,48,48,48,48,48,48,48,56,54,56,56,56,48,56,56, \
+ 50,50,52,52,62,54,54,56,56,54,58,60,62,62,58,64, \
+ 64,62,66,64,64,72,66,68,66,72,72,72,72,72,72,72, \
+ 72,72,72,72,80,72,80,72,80,72,80,80,80,80,80,80, \
+ 84,80,80,84,80,80,80,80,80,92,92,92,96,92,96,92, \
+ 96,92,96,92,96,96,96,96,96,96,96,100,96,96,96,96, \
+ 96,96,96,96,100,96,96,112,112,112,96,112,112,112,112,112, \
+ 112,112,112,104,112,111,112,112,112,112,112,112,112,112,112,112, \
+ 112,112,112,141,112,141,135,135,141,135,128,141,141,141,135,141, \
+ 128,141,140,141,141,141,135,135,141,135,141,141,141,141,141,141, \
+ 141,141,147,141,141,147,147,141,141,141,159,147,141,147,147,159, \
+ 158,159,159,159,159,159,165,159,165,165,159,165,165,159,165,165, \
+ 165,171,159,165,165,165,165,165,165,165,171,171,165,171,171,183, \
+ 189,189,183,189,189,189,189,189,189,189,189,189,189,189,189,189, \
+ 189,189,189,188,189,189,188,171,171,188,189,189,189,189,189,189, \
+ 189,189,183,183,183,189,189,183,188,189,189,195,213,189,189,195, \
+ 189,189,188,195,189,189,189,195,213,189,189,189,213,213,213,189, \
+ 189,213,213,189,189,189,195,189,189,189,195,188,189,213,213,195, \
+ 213,213,213,213,213,213,213,213,213,213,213,213,213,213,213,213, \
+ 213,213,213,212,213,213,237,236,213,237,213,213,213,213,237,237, \
+ 237,237,237,237,237,237,237,237,237,237,237,236,237,237,237,237, \
+ 237,237,237,237,237,249,237,237,237,237,237,237,237,249,237,237, \
+ 237,272,273,236,273,237,273,273,273,285,273,273,249,273,237,285, \
+ 273,273,273,273,285,237,285,285,273,285,273,284,285,285,285,285, \
+ 285,285,285,285,285,285,285,284,285,285,285,285,285,284,273,284, \
+ 285,285,285,284,285,285,285,285,285,285,285,285,285,285,285,285, \
+ 285,285,285,285,284,333,333,333,309,333,285,332,333,333,309,333, \
+ 333,309,332,333,321,321,333,309,333,333,333,333,333,332,333,332, \
+ 333,333,333,333,333,332,333,333,332,333,333,333,333,333,333,333, \
+ 333,333,333,333,332,333,333,333,333,333,333,333,333,333,333,333, \
+ 333,333,333,333,333,332,333,333,333,332,333,333,333,333,333,333, \
+ 333,333,333,333,333,333,333,333,333,333,333,333,333,333,333,333, \
+ 333,333,333,333,333,420,333,333,333,402,420,420,402,402,420,420, \
+ 402,420,420,420,419,402,420,420,420,420,420,420,420,420,420,420, \
+ 420,420,420,420,420,420,420,420,420,420,420,419,420,420,420,420, \
+ 420,420,419,420,402,420,420,420,420,420,420,420,420,402,401,420, \
+ 420,420,402,420,420,402,419,420,420,420,419,420,420,420,420,420, \
+ 420,420,420,420,420,420,420,420,420,420,420,420,420,420,420,420, \
+ 420,420,420,420,420,418,419,420,419,420,420,420,420,420,420,420, \
+ 420,420,420,419,420,420,420,420,420,420,402,420,420,417,420,420, \
+ 420,420,420,420,420,420,420,420,419,420,420,420,420,420,420,420, \
+ 420,420,438,420,438,438,420,420,420,420,419,420,420,474,420,474, \
+ 474,474,474,492,492,474,420,474,492,474,420,492,568,473,420,492, \
+ 492,492,568,492,568,568,568,568,492,568,568,568,568,568,568,567, \
+ 568,568,568,568,568,568,492,568,568,492,568,568,568,492,568,568, \
+ 568,568,568,568,568,492,568,568,568,568,568,568,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,568,568,568,568,568, \
+ 568,568,567,568,568,568,568,568,568,568,567,568,568,568,568,568, \
+ 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,567,568,568,568,568, \
+ 568,568,568,568,568,568,567,568,566,567,568,568,568,568,568,568, \
+ 568,568,568,568,566,568,568,568,568,568,568,568,568,568,568,568, \
+ 568,632,568,632,568,568,568,568,568,568,568,568,568,568,568,568, \
+ 632,568,568,568,568,568,568,568,568,568,568,568,568,630,568,568, \
+ 630,632,568,568,632,632,631,632,630,568,632,632,632,632,632,632, \
+ 632,632,632,632,631,632,632,632,632,632,632,632,664,631,632,664, \
+ 631,632,632,632,664,628,632,632,662,632,632,632,632,664,664,632, \
+ 632,632,632,664,664,632,632,632,664,631,632,632,664,632,632,632 \
+  
+#define MPFR_DIVHIGH_TAB  \
+ 0,0,0,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,22,0,0,0,0,0,26,26,26,27,0,29,30,30, /*32-47*/ \
+ 30,30,34,34,0,33,34,0,34,33,0,0,0,0,0,0, /*48-63*/ \
+ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /*64-79*/ \
+ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /*80-95*/ \
+ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /*96-111*/ \
+ 0,0,0,0,60,0,0,0,0,0,0,0,0,0,0,0, /*112-127*/ \
+ 0,0,0,0,0,0,74,0,0,78,74,78,74,78,78,74, /*128-143*/ \
+ 0,0,78,78,78,78,0,78,0,78,0,0,0,0,88,0, /*144-159*/ \
+ 0,0,0,0,91,92,91,92,90,88,92,90,92,92,0,112, /*160-175*/ \
+ 92,94,96,95,95,112,104,104,112,112,112,112,112,104,112,120, /*176-191*/ \
+ 112,112,112,104,112,120,107,112,120,128,112,112,120,120,120,120, /*192-207*/ \
+ 112,120,120,120,128,128,128,120,128,128,128,128,128,128,128,128, /*208-223*/ \
+ 128,128,120,128,128,128,128,128,128,120,128,128,128,128,128,128, /*224-239*/ \
+ 128,128,128,128,136,128,128,128,128,128,148,136,148,128,136,136, /*240-255*/ \
+ 136,148,148,148,135,156,148,148,135,156,156,148,156,149,160,160, /*256-271*/ \
+ 156,148,156,156,144,160,156,160,148,156,160,156,156,160,156,149, /*272-287*/ \
+ 148,160,160,160,156,156,156,156,154,156,156,156,156,156,156,156, /*288-303*/ \
+ 156,156,156,160,156,156,157,160,160,160,160,160,160,160,184,184, /*304-319*/ \
+ 184,185,184,179,185,184,184,184,184,184,174,174,183,186,184,186, /*320-335*/ \
+ 182,184,185,185,186,186,186,184,208,184,192,208,184,184,184,208, /*336-351*/ \
+ 184,208,184,208,208,209,192,216,209,208,216,208,210,208,208,224, /*352-367*/ \
+ 222,208,208,216,208,224,210,208,222,210,224,224,208,208,210,224, /*368-383*/ \
+ 240,232,208,234,206,240,216,208,208,240,240,224,208,208,208,208, /*384-399*/ \
+ 208,208,224,224,233,208,224,224,208,216,224,224,208,240,224,222, /*400-415*/ \
+ 240,224,224,256,232,216,240,224,234,256,216,256,224,256,256,232, /*416-431*/ \
+ 240,240,240,240,255,224,232,256,256,240,256,256,240,256,240,256, /*432-447*/ \
+ 240,240,256,256,256,240,256,256,256,256,240,256,256,256,256,256, /*448-463*/ \
+ 256,256,256,256,255,256,256,254,256,256,256,256,256,256,256,256, /*464-479*/ \
+ 256,256,255,256,256,256,256,256,256,255,256,256,255,256,256,256, /*480-495*/ \
+ 256,256,256,256,256,256,256,256,256,256,256,256,256,256,280,272, /*496-511*/ \
+ 272,270,280,296,280,276,280,279,280,280,281,280,280,272,272,280, /*512-527*/ \
+ 280,272,280,282,312,272,282,312,280,312,280,280,288,280,281,296, /*528-543*/ \
+ 312,296,312,312,296,296,312,288,312,312,312,315,316,312,312,312, /*544-559*/ \
+ 312,312,312,312,312,318,312,313,312,302,318,312,311,296,312,312, /*560-575*/ \
+ 318,312,312,311,312,296,304,311,312,312,312,312,312,312,312,312, /*576-591*/ \
+ 313,312,312,312,312,312,312,318,312,312,312,312,312,312,311,312, /*592-607*/ \
+ 316,312,320,312,312,312,312,312,312,312,312,312,316,313,313,318, /*608-623*/ \
+ 317,316,317,318,320,318,318,318,320,318,348,368,320,336,372,372, /*624-639*/ \
+ 372,371,367,368,368,372,371,368,372,336,372,368,372,368,364,372, /*640-655*/ \
+ 372,354,384,368,352,368,372,371,348,352,372,366,368,366,372,368, /*656-671*/ \
+ 372,365,368,372,368,372,372,371,372,378,369,371,372,372,369,372, /*672-687*/ \
+ 372,372,370,378,384,372,370,367,416,384,416,416,371,372,420,424, /*688-703*/ \
+ 366,372,372,368,416,420,372,420,432,372,372,416,378,372,416,384, /*704-719*/ \
+ 420,416,420,414,416,416,448,416,419,424,425,416,416,425,432,432, /*720-735*/ \
+ 432,432,432,432,448,424,448,432,444,432,432,444,432,432,448,448, /*736-751*/ \
+ 448,448,448,448,420,416,420,416,448,448,448,420,448,420,432,432, /*752-767*/ \
+ 448,426,448,432,416,420,448,432,448,432,414,432,432,420,417,417, /*768-783*/ \
+ 420,444,416,444,419,424,420,426,432,420,432,416,480,416,420,424, /*784-799*/ \
+ 420,432,419,420,424,424,420,416,425,419,432,448,448,444,448,432, /*800-815*/ \
+ 426,420,432,448,448,448,432,448,512,464,444,448,447,448,448,448, /*816-831*/ \
+ 432,448,448,464,431,467,448,448,448,444,448,432,448,448,448,504, /*832-847*/ \
+ 448,447,432,432,448,512,432,464,448,504,448,448,480,444,448,449, /*848-863*/ \
+ 448,512,448,512,480,444,447,448,449,512,480,448,504,480,448,468, /*864-879*/ \
+ 448,448,448,467,512,464,463,504,480,504,504,448,480,512,512,504, /*880-895*/ \
+ 480,512,503,480,512,480,504,512,512,467,504,512,512,504,512,512, /*896-911*/ \
+ 512,512,504,504,462,480,512,504,512,504,504,504,480,464,480,504, /*912-927*/ \
+ 504,504,504,512,480,504,504,512,504,512,480,504,512,512,512,512, /*928-943*/ \
+ 512,504,480,504,512,504,480,512,512,480,512,480,561,512,504,512, /*944-959*/ \
+ 496,504,512,512,504,512,497,512,504,504,504,512,512,512,504,504, /*960-975*/ \
+ 504,512,512,512,512,512,512,504,512,512,512,512,504,512,512,512, /*976-991*/ \
+ 562,512,504,512,511,512,512,512,512,504,512,512,512,504,512,512, /*992-1007*/ \
+ 512,561,512,512,536,512,512,512,512,512,544,559,561,561,563,544 /*1008-1023*/ \
+  
+#define MPFR_MUL_THRESHOLD 17 /* limbs */
+#define MPFR_SQR_THRESHOLD 16 /* limbs */
+#define MPFR_DIV_THRESHOLD 3 /* limbs */
+#define MPFR_EXP_2_THRESHOLD 585 /* bits */
+#define MPFR_EXP_THRESHOLD 11179 /* bits */
+#define MPFR_SINCOS_THRESHOLD 30593 /* bits */
+#define MPFR_AI_THRESHOLD1 -11898 /* threshold for negative input of mpfr_ai */
+#define MPFR_AI_THRESHOLD2 1175
+#define MPFR_AI_THRESHOLD3 18856
+/* Tuneup completed successfully, took 705 seconds */