1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
|
/* Generated by MPFR's tuneup.c, 2010-10-15, gcc 4.3.2 */
/* Babe.fsffrance.org (Madison) with gmp 5.0.1 */
#define MPFR_TUNE_CASE "src/ia64/mparam.h"
#define MPFR_MULHIGH_TAB \
-1,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1, \
-1,-1,14,16,16,17,18,19,20,20,22,22,20,21,20,21, \
22,23,24,25,26,27,28,29,30,30,32,29,30,33,32,33, \
34,33,36,37,38,37,38,38,36,37,38,39,40,41,40,43, \
42,41,42,43,40,41,42,43,52,48,52,56,56,52,50,60, \
56,60,60,52,60,60,60,56,60,64,56,64,64,64,60,64, \
60,64,64,68,68,68,68,68,68,68,72,72,68,76,76,76, \
76,76,72,76,76,76,80,76,76,84,80,88,84,80,80,84, \
84,93,90,93,96,93,96,99,96,99,96,99,102,99,96,105, \
108,99,102,111,102,105,108,111,108,105,108,111,111,111,111,111, \
108,111,114,117,120,120,116,117,120,120,120,123,120,120,120,123, \
120,123,126,123,120,120,120,141,120,141,141,141,140,141,144,141, \
141,141,141,141,140,141,144,141,156,141,156,141,144,141,164,159, \
156,165,164,165,164,165,165,165,164,165,164,165,164,165,164,165, \
164,165,164,165,164,165,165,177,177,165,180,177,177,177,180,177, \
177,177,180,177,177,177,180,165,174,177,176,177,177,177,180,189, \
189,177,176,177,180,177,180,177,188,189,192,201,192,189,200,189, \
198,201,200,201,188,189,204,213,204,201,200,201,192,213,212,201, \
212,201,204,201,204,201,212,213,204,213,213,213,212,213,212,201, \
216,213,236,213,212,213,236,213,236,213,212,235,236,225,236,225, \
236,235,236,235,236,225,236,235,236,235,236,251,236,235,252,252, \
236,235,236,251,236,252,236,251,252,256,252,251,256,251,252,251, \
252,267,268,251,268,251,268,267,268,267,268,267,268,267,268,267, \
268,267,268,267,268,267,268,283,284,267,284,283,284,283,284,283, \
284,283,284,283,284,283,284,284,284,283,284,283,284,299,284,283, \
284,284,284,299,300,299,300,299,300,299,300,300,300,299,316,315, \
300,299,300,299,300,315,316,315,316,315,316,315,316,315,316,315, \
316,315,316,315,316,315,316,331,316,315,316,315,332,315,316,316, \
354,354,332,331,354,354,354,354,354,354,354,354,354,354,354,378, \
354,354,354,378,354,354,354,354,378,378,378,377,378,378,378,378, \
378,378,378,378,378,354,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,402,378,402,378,378,378,378,378,378,378,378,378, \
378,378,426,426,426,426,426,426,426,402,426,426,426,426,426,426, \
426,426,426,426,426,426,426,426,426,426,426,426,426,426,472,426, \
426,426,426,426,426,426,472,472,472,472,472,426,426,472,472,472, \
472,472,472,472,472,472,472,472,472,472,472,472,472,472,472,472, \
472,472,472,472,472,472,472,472,472,472,472,472,472,472,472,472, \
472,472,472,472,472,472,504,472,472,472,472,472,504,504,504,472, \
504,504,504,472,472,504,504,504,472,472,504,504,504,503,504,504, \
504,504,504,504,504,504,504,504,504,504,504,504,504,504,504,504, \
503,504,536,504,536,504,536,504,536,536,536,536,536,536,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,536,536,536,536,536,536, \
536,536,536,536,568,568,536,536,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,600,600,568,568,600,600, \
600,600,600,568,600,600,600,600,600,600,600,599,600,600,600,600, \
600,600,600,600,600,600,600,600,600,600,600,600,600,632,632,632, \
600,616,600,600,632,632,632,600,600,600,632,632,632,632,632,632, \
632,632,632,632,632,632,632,632,632,632,632,600,632,632,600,632, \
632,600,664,664,632,632,664,664,664,664,664,632,664,632,632,664, \
664,664,664,664,664,664,664,664,664,664,664,632,632,632,631,632, \
632,632,664,664,664,664,663,664,664,664,664,664,696,664,736,664, \
736,735,664,664,736,735,736,735,736,736,736,736,736,735,736,736, \
736,736,712,760,736,736,736,736,736,735,736,735,736,735,736,736, \
736,735,760,760,736,736,760,760,736,760,736,735,736,735,736,760, \
736,736,760,760,736,760,760,760,760,760,760,760,784,760,760,760, \
760,760,760,760,760,760,760,760,760,784,784,783,760,784,784,784, \
760,760,784,760,784,784,784,784,784,783,784,783,784,783,784,784, \
784,760,784,784,784,783,784,783,784,784,784,784,784,784,760,760, \
784,760,784,784,784,783,784,784,782,784,832,831,784,784,784,784, \
784,831,832,831,832,784,784,784,832,784,856,831,832,832,856,856, \
784,856,832,831,832,832,856,856,856,856,856,856,856,856,856,856 \
#define MPFR_SQRHIGH_TAB \
-1,0,0,0,0,0,-1,-1,-1,6,6,6,8,7,8,8, \
10,9,10,11,12,11,12,12,14,13,14,15,16,15,16,16, \
18,17,18,18,20,20,20,20,22,22,22,24,24,24,24,24, \
29,25,26,27,29,29,30,31,32,33,30,31,32,33,34,35, \
36,37,38,35,36,35,38,37,40,41,42,41,42,43,44,45, \
46,41,48,43,44,51,46,47,54,47,48,51,52,49,50,51, \
52,49,50,55,52,55,54,57,56,57,58,59,60,57,62,59, \
60,65,62,67,68,65,66,67,68,65,66,63,64,69,66,71, \
68,69,70,75,72,73,74,75,76,77,78,79,80,73,82,75, \
84,77,78,83,80,81,82,83,84,85,86,87,88,89,90,89, \
90,93,94,95,96,97,98,97,100,85,88,87,90,89,88,91, \
92,89,90,91,92,93,100,97,98,93,94,99,96,97,98,99, \
100,101,102,99,100,99,106,101,102,103,104,103,106,105,106,109, \
108,105,110,107,108,107,116,111,116,119,116,113,128,115,112,113, \
114,113,114,115,128,115,126,117,128,135,130,126,124,119,126,126, \
132,135,134,130,136,127,130,134,148,127,130,155,136,143,134,155, \
132,135,166,155,156,161,144,134,148,143,166,149,156,167,166,159, \
154,167,168,173,154,167,166,173,154,167,168,155,178,167,160,179, \
172,167,168,179,172,167,168,173,154,167,166,179,172,161,168,155, \
169,167,166,173,172,167,168,179,164,167,184,173,180,171,175,179, \
172,191,174,173,178,191,190,179,178,191,192,179,178,191,190,179, \
178,191,192,179,180,185,190,197,180,185,190,179,186,191,192,179, \
196,191,214,203,204,191,190,197,202,215,190,203,204,191,190,197, \
204,191,216,203,213,209,190,197,220,215,214,203,220,209,214,215, \
220,215,216,211,220,215,214,221,220,219,214,218,220,209,222,221, \
226,239,232,227,234,233,216,227,228,239,238,236,244,239,238,245, \
228,235,238,251,252,239,240,251,220,239,246,251,250,257,238,236, \
252,257,240,251,235,263,240,242,250,248,238,251,246,263,249,251, \
252,263,262,275,249,248,262,251,252,281,264,275,261,260,264,260, \
233,233,273,236,237,237,238,236,237,239,240,240,240,239,246,245, \
248,241,247,242,243,248,249,245,252,248,249,251,261,257,255,260, \
259,263,262,255,259,263,262,260,259,263,256,269,265,257,256,260, \
267,263,273,260,274,272,280,275,268,263,262,287,288,284,283,284, \
288,284,299,287,288,281,299,284,296,284,299,287,274,300,299,275, \
299,300,315,308,304,300,315,314,315,316,320,316,304,300,315,300, \
320,316,299,332,304,316,315,300,328,316,331,332,336,332,331,311, \
320,316,315,340,336,332,331,316,320,332,318,316,320,332,315,338, \
352,316,331,308,328,316,331,332,320,348,315,348,336,324,334,332, \
352,348,331,316,378,332,331,316,344,316,378,332,352,332,390,330, \
320,377,331,332,378,377,390,319,378,389,378,319,336,377,390,377, \
378,377,378,377,378,401,378,390,378,389,390,377,378,401,390,414, \
402,377,402,377,426,401,378,390,378,425,378,425,426,401,426,425, \
426,389,414,425,426,401,378,414,426,377,402,390,426,401,426,401, \
426,425,426,425,426,425,426,425,426,425,402,425,426,401,426,425, \
426,425,378,425,426,449,426,414,426,425,402,425,426,449,426,425, \
426,425,426,425,426,449,438,425,474,437,450,438,426,449,426,423, \
474,425,426,438,474,425,438,462,474,425,426,425,426,425,426,425, \
426,425,426,425,426,425,438,425,474,425,450,425,426,449,426,449, \
426,473,426,425,426,449,474,425,474,473,450,473,474,449,426,473, \
536,473,474,486,474,461,474,473,474,473,474,473,474,473,474,473, \
534,473,474,473,474,473,486,535,536,473,450,535,474,535,486,535, \
536,535,474,535,536,497,536,535,536,535,536,535,536,535,536,535, \
536,535,536,535,536,473,536,535,536,535,536,535,536,535,536,535, \
536,535,536,535,536,567,536,535,536,535,536,535,536,533,568,535, \
536,535,568,535,536,567,536,535,536,535,536,535,536,535,568,535, \
568,535,568,567,568,567,536,567,536,567,536,535,536,535,600,535, \
536,535,568,535,568,567,536,567,536,567,536,535,536,535,568,535, \
536,535,568,599,536,567,568,567,568,567,536,599,600,535,568,567, \
568,567,584,599,568,583,584,567,568,567,600,599,600,599,568,599, \
568,615,568,599,568,567,600,599,568,567,600,599,600,599,600,599, \
600,599,584,599,600,599,584,599,600,599,600,599,600,599,600,599, \
600,615,616,599,600,599,600,599,600,599,600,599,600,599,600,599, \
600,615,616,599,600,615,632,599,600,615,616,599,600,599,632,631, \
600,615,632,599,632,631,632,631,664,647,616,631,664,647,632,663 \
#define MPFR_DIVHIGH_TAB \
0,1,2,2,2,5,6,7,8,9,10,11,12,13,14,15, \
16,17,18,19,20,21,22,23,24,25,22,27,24,21,25,22, \
28,24,24,25,24,25,29,31,28,30,28,27,28,28,30,31, \
31,37,38,37,36,38,38,38,36,39,41,37,36,38,36,35, \
44,43,46,43,42,40,42,43,46,44,46,41,40,45,46,47, \
49,45,48,48,52,45,50,52,44,45,54,51,52,49,50,50, \
52,52,56,56,55,53,53,54,52,58,62,58,54,56,58,57, \
68,65,68,65,66,60,64,62,64,62,68,73,68,70,72,73, \
64,75,76,71,76,77,72,85,84,77,70,85,76,81,84,84, \
84,85,84,77,84,81,76,77,84,83,80,85,84,86,84,83, \
84,85,88,91,90,84,84,85,84,87,92,87,108,99,88,100, \
104,103,96,104,104,104,112,109,104,103,104,101,96,107,96,104, \
96,100,100,104,104,112,104,109,112,109,110,112,112,116,116,120, \
104,114,112,117,120,120,112,109,120,116,124,115,112,117,112,112, \
120,124,120,120,120,117,120,123,120,127,128,144,124,133,124,136, \
132,131,128,127,136,125,144,144,132,144,144,152,144,127,144,144, \
144,139,132,153,150,151,140,145,152,151,152,143,152,164,144,151, \
152,152,152,149,144,159,152,152,148,151,152,152,160,144,144,155, \
152,159,168,171,160,160,168,165,155,163,158,152,152,160,160,167, \
152,160,164,159,168,170,162,162,164,159,168,168,168,176,166,168, \
168,166,176,168,168,168,168,176,176,171,176,176,176,172,184,168, \
192,172,192,172,192,172,176,186,176,192,192,198,192,200,198,191, \
192,198,198,198,216,192,212,216,192,192,192,213,216,191,216,215, \
208,216,215,191,196,192,208,208,216,198,198,208,200,216,216,192, \
216,216,216,208,208,216,216,208,216,222,216,215,208,232,232,233, \
240,221,234,220,216,240,240,216,216,240,224,232,208,239,240,224, \
218,219,233,240,240,216,233,234,240,232,222,240,224,233,216,233, \
224,232,240,232,246,222,240,240,236,233,240,240,240,240,230,234, \
240,234,240,240,240,228,245,240,238,240,240,232,240,238,240,240, \
240,240,240,234,240,240,240,240,256,240,240,240,240,246,240,246, \
288,288,256,256,256,288,288,288,258,294,246,288,288,256,254,263, \
288,256,257,256,263,265,288,257,252,256,256,264,256,264,288,266, \
256,312,312,280,288,287,288,288,288,280,288,282,288,294,288,288, \
288,292,288,281,288,288,288,281,294,303,288,304,288,288,288,292, \
304,288,288,282,280,288,312,320,280,304,288,282,328,288,304,288, \
288,288,288,289,288,288,312,288,318,329,288,288,304,318,318,294, \
288,318,304,318,306,312,336,319,329,320,304,330,324,311,336,318, \
342,318,330,320,324,319,304,336,329,336,352,335,320,326,352,336, \
336,329,326,324,324,336,327,316,336,336,336,336,342,328,318,335, \
320,336,336,324,320,335,342,336,336,352,342,336,352,326,336,336, \
336,352,336,328,342,328,342,336,328,352,384,352,336,329,352,336, \
384,352,384,351,352,336,384,384,336,384,384,384,352,352,342,352, \
384,384,351,351,384,372,384,360,352,368,383,384,368,383,384,372, \
384,384,352,384,384,384,352,384,384,392,384,384,384,384,352,372, \
384,384,384,381,384,384,384,384,384,396,384,396,384,384,384,384, \
384,396,384,384,384,399,384,384,384,384,384,396,384,383,384,432, \
384,383,384,384,384,396,416,384,384,431,400,384,396,418,426,384, \
424,432,432,432,432,396,416,384,384,401,432,416,416,432,384,432, \
416,408,432,448,448,416,432,415,416,431,416,428,396,420,394,396, \
432,432,432,400,432,432,416,432,432,432,432,430,448,432,444,433, \
416,420,468,428,430,430,430,432,432,432,432,432,450,432,416,432, \
432,432,432,466,468,431,432,444,448,468,480,432,432,448,432,432, \
480,450,480,464,448,448,472,465,432,480,438,468,464,447,468,472, \
468,444,468,444,472,466,464,480,480,469,464,467,468,477,480,448, \
464,480,472,468,480,468,472,465,468,477,480,471,480,468,448,480, \
480,500,488,464,496,480,480,480,480,480,472,448,480,468,480,468, \
492,469,464,472,480,470,480,469,476,480,464,480,488,468,472,480, \
488,501,472,480,512,468,480,467,480,472,480,480,464,468,480,496, \
480,472,504,500,480,480,496,480,472,480,480,496,480,512,480,480, \
576,498,503,500,480,502,480,504,497,480,504,480,504,480,480,576, \
512,491,512,532,576,496,501,499,576,534,508,533,576,500,492,492, \
534,500,528,500,528,511,576,526,564,576,576,504,528,576,576,500, \
528,584,576,576,562,512,500,576,576,528,576,576,576,576,536,515, \
532,562,576,561,576,576,576,536,576,576,560,528,568,576,576,576 \
#define MPFR_MUL_THRESHOLD 54 /* limbs */
#define MPFR_SQR_THRESHOLD 58 /* limbs */
#define MPFR_EXP_2_THRESHOLD 967 /* bits */
#define MPFR_EXP_THRESHOLD 5560 /* bits */
#define MPFR_SINCOS_THRESHOLD 24819 /* bits */
#define MPFR_AI_THRESHOLD1 -9747 /* threshold for negative input of mpfr_ai */
#define MPFR_AI_THRESHOLD2 889
#define MPFR_AI_THRESHOLD3 15414
/* Tuneup completed successfully, took 1119 seconds */
|
