Let us walk on the 3-isogeny graph
Loading...
Searching...
No Matches
fp_sqrt2047m4l205.c
Go to the documentation of this file.
1// DO NOT EDIT! generated by ./autogen
2
3#if defined AVX2
4 #include "avx2/fp-avx2.h"
5#elif defined KARATSUBA
6 #include "karatsuba/fp-karatsuba.h"
7#else
8 #include "mulx/fp.h"
9#endif
10
11// 280 mults, 2039 squarings
12bool fp_issquare(fp x)
13{
14 fp origx;
15 fp_copy(origx,x);
16 fp r0;
17 fp_copy(r0,x);
18 fp r1;
19 fp_sqr(r1,r0);
20 fp r2;
21 fp_mul(r2,r0,r1);
22 fp r3;
23 fp_mul(r3,r1,r2);
24 fp r4;
25 fp_mul(r4,r1,r3);
26 fp r5;
27 fp_mul(r5,r1,r4);
28 fp r6;
29 fp_mul(r6,r1,r5);
30 fp r7;
31 fp_mul(r7,r1,r6);
32 fp r8;
33 fp_mul(r8,r1,r7);
34 fp r9;
35 fp_mul(r9,r1,r8);
36 fp r10;
37 fp_mul(r10,r1,r9);
38 fp r11;
39 fp_mul(r11,r1,r10);
40 fp r12;
41 fp_mul(r12,r1,r11);
42 fp r13;
43 fp_mul(r13,r1,r12);
44 fp r14;
45 fp_mul(r14,r1,r13);
46 fp r15;
47 fp_mul(r15,r1,r14);
48 fp r16;
49 fp_mul(r16,r1,r15);
50 fp r17;
51 fp_mul(r17,r1,r16);
52 fp r18;
53 fp_mul(r18,r1,r17);
54 fp r19;
55 fp_mul(r19,r1,r18);
56 fp r20;
57 fp_mul(r20,r1,r19);
58 fp r21;
59 fp_mul(r21,r1,r20);
60 fp r22;
61 fp_mul(r22,r1,r21);
62 fp r23;
63 fp_mul(r23,r1,r22);
64 fp r24;
65 fp_mul(r24,r1,r23);
66 fp r25;
67 fp_mul(r25,r1,r24);
68 fp r26;
69 fp_mul(r26,r1,r25);
70 fp r27;
71 fp_mul(r27,r1,r26);
72 fp r28;
73 fp_mul(r28,r1,r27);
74 fp r29;
75 fp_mul(r29,r1,r28);
76 fp r30;
77 fp_mul(r30,r1,r29);
78 fp r31;
79 fp_mul(r31,r1,r30);
80 fp r32;
81 fp_mul(r32,r1,r31);
82 fp r33;
83 fp_mul(r33,r1,r32);
84 fp r34;
85 fp_mul(r34,r1,r33);
86 fp r35;
87 fp_mul(r35,r1,r34);
88 fp r36;
89 fp_mul(r36,r1,r35);
90 fp r37;
91 fp_mul(r37,r1,r36);
92 fp r38;
93 fp_mul(r38,r1,r37);
94 fp r39;
95 fp_mul(r39,r1,r38);
96 fp r40;
97 fp_mul(r40,r1,r39);
98 fp r41;
99 fp_mul(r41,r1,r40);
100 fp r42;
101 fp_mul(r42,r1,r41);
102 fp r43;
103 fp_mul(r43,r1,r42);
104 fp r44;
105 fp_mul(r44,r1,r43);
106 fp r45;
107 fp_mul(r45,r1,r44);
108 fp r46;
109 fp_mul(r46,r1,r45);
110 fp r47;
111 fp_mul(r47,r1,r46);
112 fp r48;
113 fp_mul(r48,r1,r47);
114 fp_mul(r1,r1,r48);
115 fp r49;
116 fp_mul(r49,r48,r1);
117 fp_sq1(&r49);
118 fp_mul(r49,r49,r6);
119 fp_sq1_rep(r49,7);
120 fp_mul(r49,r49,r11);
121 fp_sq1_rep(r49,9);
122 fp_mul(r49,r49,r29);
123 fp_sq1_rep(r49,8);
124 fp_mul(r49,r49,r19);
125 fp_sq1_rep(r49,13);
126 fp_mul(r49,r49,r48);
127 fp_sq1_rep(r49,7);
128 fp_mul(r49,r49,r23);
129 fp_sq1_rep(r49,8);
130 fp_mul(r49,r49,r41);
131 fp_sq1_rep(r49,13);
132 fp_mul(r49,r49,r15);
133 fp_sq1_rep(r49,6);
134 fp_mul(r49,r49,r28);
135 fp_sq1_rep(r49,7);
136 fp_mul(r49,r49,r0);
137 fp_sq1_rep(r49,8);
138 fp_mul(r49,r49,r10);
139 fp_sq1_rep(r49,6);
140 fp_mul(r49,r49,r32);
141 fp_sq1_rep(r49,8);
142 fp_mul(r49,r49,r44);
143 fp_sq1_rep(r49,8);
144 fp_mul(r49,r49,r33);
145 fp_sq1_rep(r49,8);
146 fp_mul(r49,r49,r32);
147 fp_sq1_rep(r49,10);
148 fp_mul(r49,r49,r32);
149 fp_sq1_rep(r49,9);
150 fp_mul(r49,r49,r42);
151 fp_sq1_rep(r49,9);
152 fp_mul(r49,r49,r10);
153 fp_sq1_rep(r49,7);
154 fp_mul(r49,r49,r43);
155 fp_sq1_rep(r49,12);
156 fp_mul(r49,r49,r30);
157 fp_sq1_rep(r49,8);
158 fp_mul(r49,r49,r24);
159 fp_sq1_rep(r49,8);
160 fp_mul(r49,r49,r19);
161 fp_sq1_rep(r49,8);
162 fp_mul(r49,r49,r45);
163 fp_sq1_rep(r49,9);
164 fp_mul(r42,r42,r49);
165 fp_sq1_rep(r42,8);
166 fp_mul(r42,r42,r40);
167 fp_sq1_rep(r42,7);
168 fp_mul(r42,r42,r22);
169 fp_sq1_rep(r42,6);
170 fp_mul(r42,r42,r31);
171 fp_sq1_rep(r42,8);
172 fp_mul(r42,r42,r25);
173 fp_sq1_rep(r42,9);
174 fp_mul(r42,r42,r13);
175 fp_sq1_rep(r42,7);
176 fp_mul(r42,r42,r24);
177 fp_sq1_rep(r42,7);
178 fp_mul(r42,r42,r47);
179 fp_sq1_rep(r42,7);
180 fp_mul(r42,r42,r8);
181 fp_sq1_rep(r42,7);
182 fp_mul(r42,r42,r14);
183 fp_sq1_rep(r42,6);
184 fp_mul(r42,r42,r26);
185 fp_sq1_rep(r42,11);
186 fp_mul(r42,r42,r27);
187 fp_sq1_rep(r42,6);
188 fp_mul(r42,r42,r24);
189 fp_sq1_rep(r42,7);
190 fp_mul(r42,r42,r20);
191 fp_sq1_rep(r42,7);
192 fp_mul(r42,r42,r37);
193 fp_sq1_rep(r42,7);
194 fp_mul(r42,r42,r40);
195 fp_sq1_rep(r42,12);
196 fp_mul(r42,r42,r47);
197 fp_sq1_rep(r42,6);
198 fp_mul(r42,r42,r23);
199 fp_sq1_rep(r42,8);
200 fp_mul(r42,r42,r33);
201 fp_sq1_rep(r42,7);
202 fp_mul(r42,r42,r16);
203 fp_sq1_rep(r42,8);
204 fp_mul(r42,r42,r24);
205 fp_sq1_rep(r42,7);
206 fp_mul(r42,r42,r4);
207 fp_sq1_rep(r42,7);
208 fp_mul(r42,r42,r19);
209 fp_sq1_rep(r42,9);
210 fp_mul(r42,r42,r21);
211 fp_sq1_rep(r42,11);
212 fp_mul(r42,r42,r41);
213 fp_sq1_rep(r42,7);
214 fp_mul(r42,r42,r1);
215 fp_sq1_rep(r42,7);
216 fp_mul(r42,r42,r28);
217 fp_sq1_rep(r42,7);
218 fp_mul(r42,r42,r38);
219 fp_sq1_rep(r42,7);
220 fp_mul(r42,r42,r10);
221 fp_sq1_rep(r42,7);
222 fp_mul(r42,r42,r7);
223 fp_sq1_rep(r42,8);
224 fp_mul(r42,r42,r22);
225 fp_sq1_rep(r42,8);
226 fp_mul(r42,r42,r39);
227 fp_sq1_rep(r42,8);
228 fp_mul(r42,r42,r46);
229 fp_sq1_rep(r42,9);
230 fp_mul(r42,r42,r39);
231 fp_sq1_rep(r42,15);
232 fp_mul(r42,r42,r37);
233 fp_sq1_rep(r42,11);
234 fp_mul(r42,r42,r19);
235 fp_sq1_rep(r42,8);
236 fp_mul(r42,r42,r38);
237 fp_sq1_rep(r42,6);
238 fp_mul(r42,r42,r28);
239 fp_sq1_rep(r42,7);
240 fp_mul(r42,r42,r32);
241 fp_sq1_rep(r42,8);
242 fp_mul(r42,r42,r12);
243 fp_sq1_rep(r42,7);
244 fp_mul(r42,r42,r18);
245 fp_sq1_rep(r42,7);
246 fp_mul(r42,r42,r22);
247 fp_sq1_rep(r42,7);
248 fp_mul(r42,r42,r25);
249 fp_sq1_rep(r42,8);
250 fp_mul(r42,r42,r48);
251 fp_sq1_rep(r42,7);
252 fp_mul(r42,r42,r39);
253 fp_sq1_rep(r42,8);
254 fp_mul(r8,r8,r42);
255 fp_sq1_rep(r8,6);
256 fp_mul(r8,r8,r30);
257 fp_sq1_rep(r8,8);
258 fp_mul(r8,r8,r33);
259 fp_sq1_rep(r8,7);
260 fp_mul(r8,r8,r6);
261 fp_sq1_rep(r8,8);
262 fp_mul(r8,r8,r37);
263 fp_sq1_rep(r8,7);
264 fp_mul(r8,r8,r9);
265 fp_sq1_rep(r8,9);
266 fp_mul(r8,r8,r29);
267 fp_sq1_rep(r8,7);
268 fp_mul(r8,r8,r36);
269 fp_sq1_rep(r8,7);
270 fp_mul(r8,r8,r1);
271 fp_sq1_rep(r8,9);
272 fp_mul(r8,r8,r30);
273 fp_sq1_rep(r8,6);
274 fp_mul(r8,r8,r28);
275 fp_sq1_rep(r8,10);
276 fp_mul(r8,r8,r10);
277 fp_sq1_rep(r8,7);
278 fp_mul(r8,r8,r31);
279 fp_sq1_rep(r8,8);
280 fp_mul(r8,r8,r40);
281 fp_sq1_rep(r8,7);
282 fp_mul(r8,r8,r47);
283 fp_sq1_rep(r8,6);
284 fp_mul(r8,r8,r29);
285 fp_sq1_rep(r8,7);
286 fp_mul(r8,r8,r39);
287 fp_sq1_rep(r8,6);
288 fp_mul(r8,r8,r22);
289 fp_sq1_rep(r8,9);
290 fp_mul(r8,r8,r37);
291 fp_sq1_rep(r8,6);
292 fp_mul(r8,r8,r24);
293 fp_sq1_rep(r8,9);
294 fp_mul(r8,r8,r21);
295 fp_sq1_rep(r8,9);
296 fp_mul(r8,r8,r44);
297 fp_sq1_rep(r8,6);
298 fp_mul(r8,r8,r24);
299 fp_sq1_rep(r8,7);
300 fp_mul(r8,r8,r29);
301 fp_sq1_rep(r8,8);
302 fp_mul(r8,r8,r31);
303 fp_sq1_rep(r8,9);
304 fp_mul(r0,r0,r8);
305 fp_sq1_rep(r0,7);
306 fp_mul(r0,r0,r13);
307 fp_sq1_rep(r0,7);
308 fp_mul(r0,r0,r17);
309 fp_sq1_rep(r0,7);
310 fp_mul(r0,r0,r9);
311 fp_sq1_rep(r0,7);
312 fp_mul(r0,r0,r38);
313 fp_sq1_rep(r0,7);
314 fp_mul(r0,r0,r48);
315 fp_sq1_rep(r0,6);
316 fp_mul(r0,r0,r22);
317 fp_sq1_rep(r0,11);
318 fp_mul(r0,r0,r21);
319 fp_sq1_rep(r0,8);
320 fp_mul(r0,r0,r30);
321 fp_sq1_rep(r0,6);
322 fp_mul(r0,r0,r29);
323 fp_sq1_rep(r0,6);
324 fp_mul(r0,r0,r19);
325 fp_sq1_rep(r0,6);
326 fp_mul(r0,r0,r28);
327 fp_sq1_rep(r0,6);
328 fp_mul(r0,r0,r30);
329 fp_sq1_rep(r0,9);
330 fp_mul(r0,r0,r30);
331 fp_sq1_rep(r0,8);
332 fp_mul(r0,r0,r43);
333 fp_sq1_rep(r0,6);
334 fp_mul(r0,r0,r18);
335 fp_sq1_rep(r0,8);
336 fp_mul(r0,r0,r41);
337 fp_sq1_rep(r0,9);
338 fp_mul(r0,r0,r40);
339 fp_sq1_rep(r0,6);
340 fp_mul(r0,r0,r24);
341 fp_sq1_rep(r0,11);
342 fp_mul(r0,r0,r6);
343 fp_sq1_rep(r0,7);
344 fp_mul(r0,r0,r38);
345 fp_sq1_rep(r0,6);
346 fp_mul(r0,r0,r26);
347 fp_sq1_rep(r0,7);
348 fp_mul(r0,r0,r17);
349 fp_sq1_rep(r0,13);
350 fp_mul(r0,r0,r4);
351 fp_sq1_rep(r0,7);
352 fp_mul(r0,r0,r13);
353 fp_sq1_rep(r0,8);
354 fp_mul(r0,r0,r6);
355 fp_sq1_rep(r0,7);
356 fp_mul(r0,r0,r40);
357 fp_sq1_rep(r0,10);
358 fp_mul(r0,r0,r20);
359 fp_sq1_rep(r0,6);
360 fp_mul(r0,r0,r18);
361 fp_sq1_rep(r0,9);
362 fp_mul(r0,r0,r17);
363 fp_sq1_rep(r0,10);
364 fp_mul(r0,r0,r4);
365 fp_sq1_rep(r0,7);
366 fp_mul(r0,r0,r7);
367 fp_sq1_rep(r0,7);
368 fp_mul(r0,r0,r32);
369 fp_sq1_rep(r0,7);
370 fp_mul(r0,r0,r9);
371 fp_sq1_rep(r0,8);
372 fp_mul(r0,r0,r44);
373 fp_sq1_rep(r0,7);
374 fp_mul(r0,r0,r24);
375 fp_sq1_rep(r0,6);
376 fp_mul(r0,r0,r32);
377 fp_sq1_rep(r0,9);
378 fp_mul(r0,r0,r33);
379 fp_sq1_rep(r0,6);
380 fp_mul(r0,r0,r27);
381 fp_sq1_rep(r0,10);
382 fp_mul(r0,r0,r41);
383 fp_sq1_rep(r0,6);
384 fp_mul(r0,r0,r19);
385 fp_sq1_rep(r0,7);
386 fp_mul(r0,r0,r9);
387 fp_sq1_rep(r0,8);
388 fp_mul(r0,r0,r39);
389 fp_sq1_rep(r0,7);
390 fp_mul(r0,r0,r16);
391 fp_sq1_rep(r0,6);
392 fp_mul(r0,r0,r32);
393 fp_sq1_rep(r0,9);
394 fp_mul(r0,r0,r40);
395 fp_sq1_rep(r0,8);
396 fp_mul(r0,r0,r19);
397 fp_sq1_rep(r0,7);
398 fp_mul(r0,r0,r32);
399 fp_sq1_rep(r0,7);
400 fp_mul(r0,r0,r3);
401 fp_sq1_rep(r0,7);
402 fp_mul(r0,r0,r22);
403 fp_sq1_rep(r0,7);
404 fp_mul(r0,r0,r36);
405 fp_sq1_rep(r0,12);
406 fp_mul(r0,r0,r17);
407 fp_sq1_rep(r0,8);
408 fp_mul(r0,r0,r40);
409 fp_sq1_rep(r0,7);
410 fp_mul(r0,r0,r32);
411 fp_sq1_rep(r0,7);
412 fp_mul(r0,r0,r22);
413 fp_sq1_rep(r0,7);
414 fp_mul(r0,r0,r10);
415 fp_sq1_rep(r0,7);
416 fp_mul(r0,r0,r15);
417 fp_sq1_rep(r0,6);
418 fp_mul(r0,r0,r23);
419 fp_sq1_rep(r0,9);
420 fp_mul(r0,r0,r10);
421 fp_sq1_rep(r0,6);
422 fp_mul(r0,r0,r27);
423 fp_sq1_rep(r0,6);
424 fp_mul(r0,r0,r29);
425 fp_sq1_rep(r0,7);
426 fp_mul(r0,r0,r37);
427 fp_sq1_rep(r0,7);
428 fp_mul(r0,r0,r24);
429 fp_sq1_rep(r0,7);
430 fp_mul(r0,r0,r33);
431 fp_sq1_rep(r0,11);
432 fp_mul(r0,r0,r20);
433 fp_sq1_rep(r0,9);
434 fp_mul(r0,r0,r34);
435 fp_sq1_rep(r0,8);
436 fp_mul(r0,r0,r9);
437 fp_sq1_rep(r0,8);
438 fp_mul(r0,r0,r40);
439 fp_sq1_rep(r0,9);
440 fp_mul(r0,r0,r19);
441 fp_sq1_rep(r0,8);
442 fp_mul(r0,r0,r2);
443 fp_sq1_rep(r0,6);
444 fp_mul(r0,r0,r29);
445 fp_sq1_rep(r0,9);
446 fp_mul(r0,r0,r43);
447 fp_sq1_rep(r0,6);
448 fp_mul(r0,r0,r19);
449 fp_sq1_rep(r0,7);
450 fp_mul(r0,r0,r23);
451 fp_sq1_rep(r0,6);
452 fp_mul(r0,r0,r26);
453 fp_sq1_rep(r0,8);
454 fp_mul(r0,r0,r11);
455 fp_sq1_rep(r0,6);
456 fp_mul(r0,r0,r18);
457 fp_sq1_rep(r0,7);
458 fp_mul(r0,r0,r40);
459 fp_sq1_rep(r0,6);
460 fp_mul(r0,r0,r24);
461 fp_sq1_rep(r0,10);
462 fp_mul(r0,r0,r45);
463 fp_sq1_rep(r0,7);
464 fp_mul(r0,r0,r48);
465 fp_sq1_rep(r0,7);
466 fp_mul(r0,r0,r5);
467 fp_sq1_rep(r0,8);
468 fp_mul(r0,r0,r9);
469 fp_sq1_rep(r0,7);
470 fp_mul(r0,r0,r3);
471 fp_sq1_rep(r0,7);
472 fp_mul(r0,r0,r35);
473 fp_sq1_rep(r0,6);
474 fp_mul(r0,r0,r28);
475 fp_sq1_rep(r0,7);
476 fp_mul(r0,r0,r34);
477 fp_sq1_rep(r0,7);
478 fp_mul(r0,r0,r25);
479 fp_sq1_rep(r0,7);
480 fp_mul(r0,r0,r21);
481 fp_sq1_rep(r0,7);
482 fp_mul(r0,r0,r23);
483 fp_sq1_rep(r0,7);
484 fp_mul(r0,r0,r32);
485 fp_sq1_rep(r0,6);
486 fp_mul(r0,r0,r20);
487 fp_sq1_rep(r0,6);
488 fp_mul(r0,r0,r30);
489 fp_sq1_rep(r0,10);
490 fp_mul(r0,r0,r29);
491 fp_sq1_rep(r0,7);
492 fp_mul(r0,r0,r28);
493 fp_sq1_rep(r0,7);
494 fp_mul(r0,r0,r43);
495 fp_sq1_rep(r0,8);
496 fp_mul(r0,r0,r27);
497 fp_sq1_rep(r0,7);
498 fp_mul(r0,r0,r45);
499 fp_sq1_rep(r0,6);
500 fp_mul(r0,r0,r27);
501 fp_sq1_rep(r0,11);
502 fp_mul(r0,r0,r16);
503 fp_sq1_rep(r0,8);
504 fp_mul(r0,r0,r20);
505 fp_sq1_rep(r0,7);
506 fp_mul(r0,r0,r22);
507 fp_sq1_rep(r0,6);
508 fp_mul(r0,r0,r18);
509 fp_sq1_rep(r0,7);
510 fp_mul(r0,r0,r23);
511 fp_sq1_rep(r0,8);
512 fp_mul(r0,r0,r47);
513 fp_sq1_rep(r0,8);
514 fp_mul(r0,r0,r6);
515 fp_sq1_rep(r0,7);
516 fp_mul(r0,r0,r1);
517 fp_sq1_rep(r0,7);
518 fp_mul(r0,r0,r30);
519 fp_sq1_rep(r0,6);
520 fp_mul(r0,r0,r27);
521 fp_sq1_rep(r0,7);
522 fp_mul(r0,r0,r14);
523 fp_sq1_rep(r0,10);
524 fp_mul(r0,r0,r5);
525 fp_sq1_rep(r0,7);
526 fp_mul(r0,r0,r32);
527 fp_sq1_rep(r0,9);
528 fp_mul(r0,r0,r12);
529 fp_sq1_rep(r0,8);
530 fp_mul(r0,r0,r20);
531 fp_sq1_rep(r0,7);
532 fp_mul(r0,r0,r4);
533 fp_sq1_rep(r0,6);
534 fp_mul(r0,r0,r19);
535 fp_sq1_rep(r0,6);
536 fp_mul(r0,r0,r18);
537 fp_sq1_rep(r0,6);
538 fp_mul(r0,r0,r22);
539 fp_sq1_rep(r0,7);
540 fp_mul(r0,r0,r35);
541 fp_sq1_rep(r0,6);
542 fp_mul(r0,r0,r32);
543 fp_sq1_rep(r0,10);
544 fp_mul(r0,r0,r18);
545 fp_sq1_rep(r0,8);
546 fp_mul(r0,r0,r41);
547 fp_sq1_rep(r0,7);
548 fp_mul(r0,r0,r26);
549 fp_sq1_rep(r0,10);
550 fp_mul(r0,r0,r30);
551 fp_sq1_rep(r0,8);
552 fp_mul(r0,r0,r33);
553 fp_sq1_rep(r0,7);
554 fp_mul(r0,r0,r36);
555 fp_sq1_rep(r0,6);
556 fp_mul(r0,r0,r19);
557 fp_sq1_rep(r0,7);
558 fp_mul(r0,r0,r33);
559 fp_sq1_rep(r0,8);
560 fp_mul(r0,r0,r3);
561 fp_sq1_rep(r0,9);
562 fp_mul(r0,r0,r41);
563 fp_sq1_rep(r0,8);
564 fp_mul(r0,r0,r33);
565 fp_sq1_rep(r0,7);
566 fp_mul(r0,r0,r5);
567 fp_sq1_rep(r0,7);
568 fp_mul(r0,r0,r35);
569 fp_sq1_rep(r0,7);
570 fp_mul(r0,r0,r11);
571 fp_sq1_rep(r0,7);
572 fp_mul(r0,r0,r22);
573 fp_sq1_rep(r0,11);
574 fp_mul(r0,r0,r33);
575 fp_sq1_rep(r0,8);
576 fp_mul(r0,r0,r13);
577 fp_sq1_rep(r0,7);
578 fp_mul(r0,r0,r28);
579 fp_sq1_rep(r0,273);
580 fp_copy(x,r0);
581 fp check;
582 fp_sqr(check,x);
583 return fp_isequal(check,origx);
584}
fp_sqr
#define fp_sqr
Definition fp-gmp.h:73
fp
uint64_t fp[NUMBER_OF_WORDS]
Definition fp-gmp.h:22
fp_mul
#define fp_mul
Definition fp-gmp.h:70
fp_issquare
#define fp_issquare
Definition fp-gmp.h:76
fp_copy
#define fp_copy
Definition fp-gmp.h:79