240 	{ const u32 x37 = in2[7];  in fe_add_impl()  local
255 	out[7] = (x19 + x37);  in fe_add_impl()
283 	{ const u32 x37 = in2[7];  in fe_sub_impl()  local
298 	out[7] = ((0x3fffffe + x19) - x37);  in fe_sub_impl()
326 	{ const u32 x37 = in2[7];  in fe_mul_impl()  local
341 …) + ((u64)x33 * x9)) + ((u64)x25 * x17)) + ((u64)x35 * x7)) + ((u64)x23 * x19)) + ((u64)x37 * x5));  in fe_mul_impl()
342 …(0x2 * (((((u64)x29 * x15) + ((u64)x33 * x11)) + ((u64)x25 * x19)) + ((u64)x37 * x7)))) + ((u64)x2…  in fe_mul_impl()
343 … x13)) + ((u64)x29 * x17)) + ((u64)x35 * x11)) + ((u64)x27 * x19)) + ((u64)x37 * x9)) + ((u64)x25 …  in fe_mul_impl()
344 …{ u64 x50 = (((((0x2 * ((((((u64)x33 * x15) + ((u64)x29 * x19)) + ((u64)x37 * x11)) + ((u64)x25 * …  in fe_mul_impl()
345 …{ u64 x51 = (((((((((u64)x33 * x17) + ((u64)x35 * x15)) + ((u64)x31 * x19)) + ((u64)x37 * x13)) + …  in fe_mul_impl()
346 …{ u64 x52 = (((((u64)x35 * x17) + (0x2 * (((((u64)x33 * x19) + ((u64)x37 * x15)) + ((u64)x29 * x20…  in fe_mul_impl()
347 …{ u64 x53 = (((((((u64)x35 * x19) + ((u64)x37 * x17)) + ((u64)x33 * x21)) + ((u64)x39 * x15)) + ((…  in fe_mul_impl()
348 …{ u64 x54 = (((0x2 * ((((u64)x37 * x19) + ((u64)x33 * x20)) + ((u64)x38 * x15))) + ((u64)x35 * x21…  in fe_mul_impl()
349 	{ u64 x55 = (((((u64)x37 * x21) + ((u64)x39 * x19)) + ((u64)x35 * x20)) + ((u64)x38 * x17));  in fe_mul_impl()
350 	{ u64 x56 = (((u64)x39 * x21) + (0x2 * (((u64)x37 * x20) + ((u64)x38 * x19))));  in fe_mul_impl()
474 	{ u64 x37 = ((u64)(0x2 * x17) * x17);  in fe_sqr_impl()  local
475 	{ u64 x38 = (x27 + (x37 << 0x4));  in fe_sqr_impl()
476 	{ u64 x39 = (x38 + (x37 << 0x1));  in fe_sqr_impl()
477 	{ u64 x40 = (x39 + x37);  in fe_sqr_impl()
649 	{ const u32 x37 = 0;  in fe_mul_121666_impl()  local
664 …) + ((u64)x33 * x9)) + ((u64)x25 * x17)) + ((u64)x35 * x7)) + ((u64)x23 * x19)) + ((u64)x37 * x5));  in fe_mul_121666_impl()
665 …(0x2 * (((((u64)x29 * x15) + ((u64)x33 * x11)) + ((u64)x25 * x19)) + ((u64)x37 * x7)))) + ((u64)x2…  in fe_mul_121666_impl()
666 … x13)) + ((u64)x29 * x17)) + ((u64)x35 * x11)) + ((u64)x27 * x19)) + ((u64)x37 * x9)) + ((u64)x25 …  in fe_mul_121666_impl()
667 …{ u64 x50 = (((((0x2 * ((((((u64)x33 * x15) + ((u64)x29 * x19)) + ((u64)x37 * x11)) + ((u64)x25 * …  in fe_mul_121666_impl()
668 …{ u64 x51 = (((((((((u64)x33 * x17) + ((u64)x35 * x15)) + ((u64)x31 * x19)) + ((u64)x37 * x13)) + …  in fe_mul_121666_impl()
669 …{ u64 x52 = (((((u64)x35 * x17) + (0x2 * (((((u64)x33 * x19) + ((u64)x37 * x15)) + ((u64)x29 * x20…  in fe_mul_121666_impl()
670 …{ u64 x53 = (((((((u64)x35 * x19) + ((u64)x37 * x17)) + ((u64)x33 * x21)) + ((u64)x39 * x15)) + ((…  in fe_mul_121666_impl()
671 …{ u64 x54 = (((0x2 * ((((u64)x37 * x19) + ((u64)x33 * x20)) + ((u64)x38 * x15))) + ((u64)x35 * x21…  in fe_mul_121666_impl()
672 	{ u64 x55 = (((((u64)x37 * x21) + ((u64)x39 * x19)) + ((u64)x35 * x20)) + ((u64)x38 * x17));  in fe_mul_121666_impl()
673 	{ u64 x56 = (((u64)x39 * x21) + (0x2 * (((u64)x37 * x20) + ((u64)x38 * x19))));  in fe_mul_121666_impl()