Loading...
Searching...
No Matches
fp_sqrt2047m1l226.c File Reference
#include "mulx/fp.h"
Include dependency graph for fp_sqrt2047m1l226.c:
Go to the source code of this file.
Functions | |
| bool | fp_issquare (fp x) |
Function Documentation
◆ fp_issquare()
| bool fp_issquare | ( | fp | x | ) |
Definition at line 12 of file fp_sqrt2047m1l226.c.
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_mul(r1,r1,r41);
101 fp r42;
102 fp_mul(r42,r23,r1);
103 fp_sqr(r42,r42);
104 fp_mul(r42,r42,r23);
105 fp_sq1_rep(r42,7);
106 fp_mul(r42,r42,r25);
107 fp_sq1_rep(r42,10);
108 fp_mul(r42,r42,r12);
109 fp_sq1_rep(r42,8);
110 fp_mul(r42,r42,r1);
111 fp_sq1_rep(r42,8);
112 fp_mul(r42,r42,r20);
113 fp_sq1_rep(r42,7);
114 fp_mul(r42,r42,r21);
115 fp_sq1_rep(r42,7);
116 fp_mul(r42,r42,r24);
117 fp_sq1_rep(r42,6);
118 fp_mul(r42,r42,r26);
119 fp_sq1_rep(r42,7);
120 fp_mul(r42,r42,r38);
121 fp_sq1_rep(r42,6);
122 fp_mul(r42,r42,r15);
123 fp_sq1_rep(r42,7);
124 fp_mul(r42,r42,r7);
125 fp_sq1_rep(r42,7);
126 fp_mul(r42,r42,r32);
127 fp_sq1_rep(r42,9);
128 fp_mul(r42,r42,r0);
129 fp_sq1_rep(r42,7);
130 fp_mul(r42,r42,r1);
131 fp_sq1_rep(r42,6);
132 fp_mul(r42,r42,r20);
133 fp_sq1_rep(r42,7);
134 fp_mul(r42,r42,r41);
135 fp_sq1_rep(r42,6);
136 fp_mul(r42,r42,r24);
137 fp_sq1_rep(r42,8);
138 fp_mul(r42,r42,r0);
139 fp_sq1_rep(r42,8);
140 fp_mul(r42,r42,r11);
141 fp_sq1_rep(r42,7);
142 fp_mul(r42,r42,r20);
143 fp_sq1_rep(r42,6);
144 fp_mul(r42,r42,r16);
145 fp_sq1_rep(r42,8);
146 fp_mul(r42,r42,r28);
147 fp_sq1_rep(r42,8);
148 fp_mul(r42,r42,r29);
149 fp_sq1_rep(r42,7);
150 fp_mul(r42,r42,r29);
151 fp_sq1_rep(r42,6);
152 fp_mul(r42,r42,r19);
153 fp_sq1_rep(r42,8);
154 fp_mul(r42,r42,r21);
155 fp_sq1_rep(r42,11);
156 fp_mul(r42,r42,r32);
157 fp_sq1_rep(r42,7);
158 fp_mul(r42,r42,r37);
159 fp_sq1_rep(r42,6);
160 fp_mul(r42,r42,r12);
161 fp_sq1_rep(r42,6);
162 fp_mul(r42,r42,r11);
163 fp_sq1_rep(r42,7);
164 fp_mul(r42,r42,r2);
165 fp_sq1_rep(r42,8);
166 fp_mul(r42,r42,r38);
167 fp_sq1_rep(r42,6);
168 fp_mul(r42,r42,r18);
169 fp_sq1_rep(r42,6);
170 fp_mul(r42,r42,r26);
171 fp_sq1_rep(r42,7);
172 fp_mul(r42,r42,r13);
173 fp_sq1_rep(r42,9);
174 fp_mul(r42,r42,r26);
175 fp_sq1_rep(r42,7);
176 fp_mul(r42,r42,r14);
177 fp_sq1_rep(r42,7);
178 fp_mul(r42,r42,r26);
179 fp_sq1_rep(r42,8);
180 fp_mul(r42,r42,r32);
181 fp_sq1_rep(r42,8);
182 fp_mul(r42,r42,r10);
183 fp_sq1_rep(r42,7);
184 fp_mul(r42,r42,r30);
185 fp_sq1_rep(r42,13);
186 fp_mul(r42,r42,r33);
187 fp_sq1_rep(r42,8);
188 fp_mul(r42,r42,r3);
189 fp_sq1_rep(r42,7);
190 fp_mul(r42,r42,r29);
191 fp_sq1_rep(r42,9);
192 fp_mul(r42,r42,r39);
193 fp_sq1_rep(r42,6);
194 fp_mul(r42,r42,r16);
195 fp_sq1_rep(r42,7);
196 fp_mul(r42,r42,r35);
197 fp_sq1_rep(r42,7);
198 fp_mul(r42,r42,r38);
199 fp_sq1_rep(r42,8);
200 fp_mul(r42,r42,r5);
201 fp_sq1_rep(r42,7);
202 fp_mul(r42,r42,r18);
203 fp_sq1_rep(r42,7);
204 fp_mul(r42,r42,r34);
205 fp_sq1_rep(r42,6);
206 fp_mul(r42,r42,r19);
207 fp_sq1_rep(r42,7);
208 fp_mul(r42,r42,r30);
209 fp_sq1_rep(r42,8);
210 fp_mul(r42,r42,r10);
211 fp_sq1_rep(r42,7);
212 fp_mul(r42,r42,r27);
213 fp_sq1_rep(r42,8);
214 fp_mul(r42,r42,r9);
215 fp_sq1_rep(r42,7);
216 fp_mul(r42,r42,r14);
217 fp_sq1_rep(r42,8);
218 fp_mul(r42,r42,r12);
219 fp_sq1_rep(r42,7);
220 fp_mul(r42,r42,r29);
221 fp_sq1_rep(r42,6);
222 fp_mul(r42,r42,r27);
223 fp_sq1_rep(r42,7);
224 fp_mul(r42,r42,r11);
225 fp_sq1_rep(r42,7);
226 fp_mul(r42,r42,r22);
227 fp_sq1_rep(r42,8);
228 fp_mul(r42,r42,r28);
229 fp_sq1_rep(r42,6);
230 fp_mul(r42,r42,r16);
231 fp_sq1_rep(r42,8);
232 fp_mul(r42,r42,r19);
233 fp_sq1_rep(r42,7);
234 fp_mul(r42,r42,r19);
235 fp_sq1_rep(r42,7);
236 fp_mul(r42,r42,r4);
237 fp_sq1_rep(r42,7);
238 fp_mul(r42,r42,r15);
239 fp_sq1_rep(r42,6);
240 fp_mul(r42,r42,r32);
241 fp_sq1_rep(r42,7);
242 fp_mul(r42,r42,r36);
243 fp_sq1_rep(r42,11);
244 fp_mul(r42,r42,r28);
245 fp_sq1_rep(r42,7);
246 fp_mul(r42,r42,r6);
247 fp_sq1_rep(r42,10);
248 fp_mul(r42,r42,r22);
249 fp_sq1_rep(r42,8);
250 fp_mul(r9,r9,r42);
251 fp_sq1_rep(r9,6);
252 fp_mul(r9,r9,r29);
253 fp_sq1_rep(r9,6);
254 fp_mul(r9,r9,r32);
255 fp_sq1_rep(r9,8);
256 fp_mul(r9,r9,r12);
257 fp_sq1_rep(r9,6);
258 fp_mul(r9,r9,r22);
259 fp_sq1_rep(r9,6);
260 fp_mul(r9,r9,r24);
261 fp_sq1_rep(r9,6);
262 fp_mul(r9,r9,r17);
263 fp_sq1_rep(r9,8);
264 fp_mul(r9,r9,r31);
265 fp_sq1_rep(r9,7);
266 fp_mul(r9,r9,r21);
267 fp_sq1_rep(r9,8);
268 fp_mul(r9,r9,r0);
269 fp_sq1_rep(r9,6);
270 fp_mul(r9,r9,r26);
271 fp_sq1_rep(r9,8);
272 fp_mul(r9,r9,r4);
273 fp_sq1_rep(r9,12);
274 fp_mul(r9,r9,r39);
275 fp_sq1_rep(r9,11);
276 fp_mul(r9,r9,r17);
277 fp_sq1_rep(r9,7);
278 fp_mul(r9,r9,r23);
279 fp_sq1_rep(r9,7);
280 fp_mul(r9,r9,r40);
281 fp_sq1_rep(r9,9);
282 fp_mul(r9,r9,r1);
283 fp_sq1_rep(r9,9);
284 fp_mul(r9,r9,r4);
285 fp_sq1_rep(r9,6);
286 fp_mul(r9,r9,r13);
287 fp_sq1_rep(r9,7);
288 fp_mul(r9,r9,r19);
289 fp_sq1_rep(r9,7);
290 fp_mul(r9,r9,r21);
291 fp_sq1_rep(r9,6);
292 fp_mul(r9,r9,r11);
293 fp_sq1_rep(r9,6);
294 fp_mul(r9,r9,r12);
295 fp_sq1_rep(r9,7);
296 fp_mul(r9,r9,r38);
297 fp_sq1_rep(r9,8);
298 fp_mul(r9,r9,r16);
299 fp_sq1_rep(r9,6);
300 fp_mul(r9,r9,r25);
301 fp_sq1_rep(r9,8);
302 fp_mul(r9,r9,r35);
303 fp_sq1_rep(r9,6);
304 fp_mul(r9,r9,r28);
305 fp_sq1_rep(r9,6);
306 fp_mul(r9,r9,r19);
307 fp_sq1_rep(r9,9);
308 fp_mul(r9,r9,r4);
309 fp_sq1_rep(r9,10);
310 fp_mul(r0,r0,r9);
311 fp_sq1_rep(r0,6);
312 fp_mul(r0,r0,r23);
313 fp_sq1_rep(r0,9);
314 fp_mul(r0,r0,r37);
315 fp_sq1_rep(r0,6);
316 fp_mul(r0,r0,r31);
317 fp_sq1_rep(r0,7);
318 fp_mul(r0,r0,r12);
319 fp_sq1_rep(r0,8);
320 fp_mul(r0,r0,r41);
321 fp_sq1_rep(r0,11);
322 fp_mul(r0,r0,r6);
323 fp_sq1_rep(r0,6);
324 fp_mul(r0,r0,r20);
325 fp_sq1_rep(r0,6);
326 fp_mul(r0,r0,r15);
327 fp_sq1_rep(r0,7);
328 fp_mul(r0,r0,r17);
329 fp_sq1_rep(r0,6);
330 fp_mul(r0,r0,r15);
331 fp_sq1_rep(r0,6);
332 fp_mul(r0,r0,r27);
333 fp_sq1_rep(r0,7);
334 fp_mul(r0,r0,r34);
335 fp_sq1_rep(r0,6);
336 fp_mul(r0,r0,r17);
337 fp_sq1_rep(r0,8);
338 fp_mul(r0,r0,r40);
339 fp_sq1_rep(r0,6);
340 fp_mul(r0,r0,r26);
341 fp_sq1_rep(r0,6);
342 fp_mul(r0,r0,r27);
343 fp_sq1_rep(r0,9);
344 fp_mul(r0,r0,r32);
345 fp_sq1_rep(r0,7);
346 fp_mul(r0,r0,r1);
347 fp_sq1_rep(r0,7);
348 fp_mul(r0,r0,r16);
349 fp_sq1_rep(r0,6);
350 fp_mul(r0,r0,r13);
351 fp_sq1_rep(r0,8);
352 fp_mul(r0,r0,r8);
353 fp_sq1_rep(r0,6);
354 fp_mul(r0,r0,r17);
355 fp_sq1_rep(r0,9);
356 fp_mul(r0,r0,r33);
357 fp_sq1_rep(r0,7);
358 fp_mul(r0,r0,r2);
359 fp_sq1_rep(r0,6);
360 fp_mul(r0,r0,r26);
361 fp_sq1_rep(r0,6);
362 fp_mul(r0,r0,r15);
363 fp_sq1_rep(r0,12);
364 fp_mul(r0,r0,r12);
365 fp_sq1_rep(r0,8);
366 fp_mul(r0,r0,r32);
367 fp_sq1_rep(r0,7);
368 fp_mul(r0,r0,r41);
369 fp_sq1_rep(r0,7);
370 fp_mul(r0,r0,r31);
371 fp_sq1_rep(r0,6);
372 fp_mul(r0,r0,r28);
373 fp_sq1_rep(r0,7);
374 fp_mul(r0,r0,r11);
375 fp_sq1_rep(r0,7);
376 fp_mul(r0,r0,r24);
377 fp_sq1_rep(r0,7);
378 fp_mul(r0,r0,r29);
379 fp_sq1_rep(r0,10);
380 fp_mul(r0,r0,r21);
381 fp_sq1_rep(r0,7);
382 fp_mul(r0,r0,r24);
383 fp_sq1_rep(r0,9);
384 fp_mul(r0,r0,r14);
385 fp_sq1_rep(r0,8);
386 fp_mul(r0,r0,r18);
387 fp_sq1_rep(r0,8);
388 fp_mul(r0,r0,r37);
389 fp_sq1_rep(r0,8);
390 fp_mul(r0,r0,r27);
391 fp_sq1_rep(r0,7);
392 fp_mul(r0,r0,r41);
393 fp_sq1_rep(r0,6);
394 fp_mul(r0,r0,r32);
395 fp_sq1_rep(r0,8);
396 fp_mul(r0,r0,r31);
397 fp_sq1_rep(r0,6);
398 fp_mul(r0,r0,r19);
399 fp_sq1_rep(r0,6);
400 fp_mul(r0,r0,r11);
401 fp_sq1_rep(r0,6);
402 fp_mul(r0,r0,r23);
403 fp_sq1_rep(r0,7);
404 fp_mul(r0,r0,r33);
405 fp_sq1_rep(r0,7);
406 fp_mul(r0,r0,r28);
407 fp_sq1_rep(r0,6);
408 fp_mul(r0,r0,r30);
409 fp_sq1_rep(r0,9);
410 fp_mul(r0,r0,r38);
411 fp_sq1_rep(r0,7);
412 fp_mul(r0,r0,r17);
413 fp_sq1_rep(r0,7);
414 fp_mul(r0,r0,r40);
415 fp_sq1_rep(r0,12);
416 fp_mul(r0,r0,r5);
417 fp_sq1_rep(r0,9);
418 fp_mul(r0,r0,r27);
419 fp_sq1_rep(r0,6);
420 fp_mul(r0,r0,r32);
421 fp_sq1_rep(r0,6);
422 fp_mul(r0,r0,r32);
423 fp_sq1_rep(r0,6);
424 fp_mul(r0,r0,r20);
425 fp_sq1_rep(r0,8);
426 fp_mul(r0,r0,r7);
427 fp_sq1_rep(r0,9);
428 fp_mul(r0,r0,r38);
429 fp_sq1_rep(r0,8);
430 fp_mul(r0,r0,r29);
431 fp_sq1_rep(r0,9);
432 fp_mul(r0,r0,r7);
433 fp_sq1_rep(r0,6);
434 fp_mul(r0,r0,r32);
435 fp_sq1_rep(r0,6);
436 fp_mul(r0,r0,r18);
437 fp_sq1_rep(r0,13);
438 fp_mul(r0,r0,r35);
439 fp_sq1_rep(r0,9);
440 fp_mul(r0,r0,r28);
441 fp_sq1_rep(r0,10);
442 fp_mul(r0,r0,r5);
443 fp_sq1_rep(r0,7);
444 fp_mul(r0,r0,r3);
445 fp_sq1_rep(r0,7);
446 fp_mul(r0,r0,r12);
447 fp_sq1_rep(r0,7);
448 fp_mul(r0,r0,r38);
449 fp_sq1_rep(r0,6);
450 fp_mul(r0,r0,r11);
451 fp_sq1_rep(r0,7);
452 fp_mul(r0,r0,r2);
453 fp_sq1_rep(r0,9);
454 fp_mul(r0,r0,r31);
455 fp_sq1_rep(r0,8);
456 fp_mul(r0,r0,r36);
457 fp_sq1_rep(r0,9);
458 fp_mul(r0,r0,r41);
459 fp_sq1_rep(r0,6);
460 fp_mul(r0,r0,r25);
461 fp_sq1_rep(r0,7);
462 fp_mul(r0,r0,r34);
463 fp_sq1_rep(r0,7);
464 fp_mul(r0,r0,r8);
465 fp_sq1_rep(r0,8);
466 fp_mul(r0,r0,r19);
467 fp_sq1_rep(r0,7);
468 fp_mul(r0,r0,r10);
469 fp_sq1_rep(r0,8);
470 fp_mul(r0,r0,r7);
471 fp_sq1_rep(r0,6);
472 fp_mul(r0,r0,r25);
473 fp_sq1_rep(r0,9);
474 fp_mul(r0,r0,r6);
475 fp_sq1_rep(r0,7);
476 fp_mul(r0,r0,r10);
477 fp_sq1_rep(r0,8);
478 fp_mul(r0,r0,r27);
479 fp_sq1_rep(r0,7);
480 fp_mul(r0,r0,r5);
481 fp_sq1_rep(r0,9);
482 fp_mul(r0,r0,r22);
483 fp_sq1_rep(r0,10);
484 fp_mul(r0,r0,r29);
485 fp_sq1_rep(r0,6);
486 fp_mul(r0,r0,r16);
487 fp_sq1_rep(r0,6);
488 fp_mul(r0,r0,r21);
489 fp_sq1_rep(r0,6);
490 fp_mul(r0,r0,r19);
491 fp_sq1_rep(r0,8);
492 fp_mul(r0,r0,r19);
493 fp_sq1_rep(r0,7);
494 fp_mul(r0,r0,r40);
495 fp_sq1_rep(r0,7);
496 fp_mul(r0,r0,r14);
497 fp_sq1_rep(r0,7);
498 fp_mul(r0,r0,r37);
499 fp_sq1_rep(r0,8);
500 fp_mul(r0,r0,r40);
501 fp_sq1_rep(r0,6);
502 fp_mul(r0,r0,r22);
503 fp_sq1_rep(r0,7);
504 fp_mul(r0,r0,r14);
505 fp_sq1_rep(r0,6);
506 fp_mul(r0,r0,r15);
507 fp_sq1_rep(r0,6);
508 fp_mul(r0,r0,r16);
509 fp_sq1_rep(r0,7);
510 fp_mul(r0,r0,r37);
511 fp_sq1_rep(r0,7);
512 fp_mul(r0,r0,r15);
513 fp_sq1_rep(r0,6);
514 fp_mul(r0,r0,r13);
515 fp_sq1_rep(r0,7);
516 fp_mul(r0,r0,r13);
517 fp_sq1_rep(r0,8);
518 fp_mul(r0,r0,r31);
519 fp_sq1_rep(r0,8);
520 fp_mul(r0,r0,r14);
521 fp_sq1_rep(r0,13);
522 fp_mul(r0,r0,r10);
523 fp_sq1_rep(r0,17);
524 fp_mul(r0,r0,r2);
525 fp_sq1_rep(r0,11);
526 fp_mul(r0,r0,r26);
527 fp_sq1_rep(r0,6);
528 fp_mul(r0,r0,r18);
529 fp_sq1_rep(r0,6);
530 fp_mul(r0,r0,r25);
531 fp_sq1_rep(r0,7);
532 fp_mul(r0,r0,r6);
533 fp_sq1_rep(r0,9);
534 fp_mul(r0,r0,r17);
535 fp_sq1_rep(r0,7);
536 fp_mul(r0,r0,r39);
537 fp_sq1_rep(r0,7);
538 fp_mul(r0,r0,r36);
539 fp_sq1_rep(r0,9);
540 fp_mul(r0,r0,r32);
541 fp_sq1_rep(r0,7);
542 fp_mul(r0,r0,r39);
543 fp_sq1_rep(r0,7);
544 fp_mul(r0,r0,r16);
545 fp_sq1_rep(r0,8);
546 fp_mul(r0,r0,r1);
547 fp_sq1_rep(r0,8);
548 fp_mul(r0,r0,r15);
549 fp_sq1_rep(r0,7);
550 fp_mul(r0,r0,r15);
551 fp_sq1_rep(r0,6);
552 fp_mul(r0,r0,r20);
553 fp_sq1_rep(r0,7);
554 fp_mul(r0,r0,r39);
555 fp_sq1_rep(r0,6);
556 fp_mul(r0,r0,r29);
557 fp_sq1_rep(r0,7);
558 fp_mul(r0,r0,r5);
559 fp_sq1_rep(r0,7);
560 fp_mul(r0,r0,r21);
561 fp_sq1_rep(r0,7);
562 fp_mul(r0,r0,r40);
563 fp_sq1_rep(r0,7);
564 fp_mul(r0,r0,r24);
565 fp_sq1_rep(r0,7);
566 fp_mul(r0,r0,r25);
567 fp_sq1_rep(r0,10);
568 fp_mul(r0,r0,r3);
569 fp_sq1_rep(r0,7);
570 fp_mul(r0,r0,r36);
571 fp_sq1_rep(r0,7);
572 fp_mul(r0,r0,r24);
573 fp_sq1_rep(r0,7);
574 fp_mul(r0,r0,r5);
575 fp_sq1_rep(r0,6);
576 fp_mul(r0,r0,r12);
577 fp_sq1_rep(r0,7);
578 fp_mul(r0,r0,r31);
579 fp_sq1_rep(r0,7);
580 fp_mul(r0,r0,r22);
581 fp_sq1_rep(r0,6);
582 fp_mul(r0,r0,r29);
583 fp_sq1_rep(r0,7);
584 fp_mul(r0,r0,r33);
585 fp_sq1_rep(r0,8);
586 fp_mul(r0,r0,r32);
587 fp_sq1_rep(r0,12);
588 fp_mul(r0,r0,r38);
589 fp_sq1_rep(r0,6);
590 fp_mul(r0,r0,r22);
591 fp_sq1_rep(r0,6);
592 fp_mul(r0,r0,r28);
593 fp_sq1_rep(r0,6);
594 fp_mul(r0,r0,r27);
595 fp_sq1_rep(r0,8);
596 fp_mul(r0,r0,r17);
597 fp_sq1_rep(r0,7);
598 fp_mul(r0,r0,r18);
599 fp_sq1_rep(r0,6);
600 fp_mul(r0,r0,r27);
601 fp_sq1_rep(r0,8);
602 fp_mul(r0,r0,r34);
603 fp_sq1_rep(r0,9);
604 fp_mul(r0,r0,r30);
605 fp_sq1_rep(r0,8);
606 fp_mul(r0,r0,r1);
607 fp_sq1_rep(r0,9);
608 fp_mul(r0,r0,r33);
609 fp_sq1_rep(r0,10);
610 fp_mul(r0,r0,r4);
611 fp_sq1_rep(r0,6);
612 fp_mul(r0,r0,r14);
613 fp_sq1_rep(r0,7);
614 fp_mul(r0,r0,r39);
615 fp_sq1_rep(r0,7);
616 fp_mul(r0,r0,r20);
617 fp_sq1_rep(r0,9);
618 fp_mul(r0,r0,r13);
619 fp_sq1_rep(r0,7);
620 fp_mul(r0,r0,r26);
621 fp_sq1_rep(r0,7);
622 fp_mul(r0,r0,r14);
623 fp_sq1_rep(r0,7);
624 fp_mul(r0,r0,r29);
625 fp_sq1_rep(r0,6);
626 fp_mul(r0,r0,r19);
627 fp_sq1_rep(r0,6);
628 fp_mul(r0,r0,r28);
629 fp_sq1_rep(r0,7);
630 fp_mul(r0,r0,r26);
631 fp_sq1_rep(r0,7);
632 fp_mul(r0,r0,r22);
633 fp_sq1_rep(r0,6);
634 fp_mul(r0,r0,r19);
635 fp_sq1_rep(r0,6);
636 fp_mul(r0,r0,r26);
637 fp_sq1_rep(r0,62);
638 fp_copy(x, r0);
640 return fp_isequal(check,origx);
641}
