236 	{ const u32 x7 = in1[1];  in fe_add_impl()  local
249 	out[1] = (x7 + x25);  in fe_add_impl()
279 	{ const u32 x7 = in1[1];  in fe_sub_impl()  local
292 	out[1] = ((0x3fffffe + x7) - x25);  in fe_sub_impl()
322 	{ const u32 x7 = in1[1];  in fe_mul_impl()  local
335 	{ u64 x41 = (((u64)x23 * x7) + ((u64)x25 * x5));  in fe_mul_impl()
336 	{ u64 x42 = ((((u64)(0x2 * x25) * x7) + ((u64)x23 * x9)) + ((u64)x27 * x5));  in fe_mul_impl()
337 	{ u64 x43 = (((((u64)x25 * x9) + ((u64)x27 * x7)) + ((u64)x23 * x11)) + ((u64)x29 * x5));  in fe_mul_impl()
338 …{ u64 x44 = (((((u64)x27 * x9) + (0x2 * (((u64)x25 * x11) + ((u64)x29 * x7)))) + ((u64)x23 * x13))…  in fe_mul_impl()
339 …{ u64 x45 = (((((((u64)x27 * x11) + ((u64)x29 * x9)) + ((u64)x25 * x13)) + ((u64)x31 * x7)) + ((u6…  in fe_mul_impl()
340 …{ u64 x46 = (((((0x2 * ((((u64)x29 * x11) + ((u64)x25 * x15)) + ((u64)x33 * x7))) + ((u64)x27 * x1…  in fe_mul_impl()
341 …) + ((u64)x27 * x15)) + ((u64)x33 * x9)) + ((u64)x25 * x17)) + ((u64)x35 * x7)) + ((u64)x23 * x19)…  in fe_mul_impl()
342 … (((((u64)x29 * x15) + ((u64)x33 * x11)) + ((u64)x25 * x19)) + ((u64)x37 * x7)))) + ((u64)x27 * x1…  in fe_mul_impl()
343 …) + ((u64)x27 * x19)) + ((u64)x37 * x9)) + ((u64)x25 * x21)) + ((u64)x39 * x7)) + ((u64)x23 * x20)…  in fe_mul_impl()
344 … + ((u64)x29 * x19)) + ((u64)x37 * x11)) + ((u64)x25 * x20)) + ((u64)x38 * x7))) + ((u64)x31 * x17…  in fe_mul_impl()
645 	{ const u32 x7 = in1[1];  in fe_mul_121666_impl()  local
658 	{ u64 x41 = (((u64)x23 * x7) + ((u64)x25 * x5));  in fe_mul_121666_impl()
659 	{ u64 x42 = ((((u64)(0x2 * x25) * x7) + ((u64)x23 * x9)) + ((u64)x27 * x5));  in fe_mul_121666_impl()
660 	{ u64 x43 = (((((u64)x25 * x9) + ((u64)x27 * x7)) + ((u64)x23 * x11)) + ((u64)x29 * x5));  in fe_mul_121666_impl()
661 …{ u64 x44 = (((((u64)x27 * x9) + (0x2 * (((u64)x25 * x11) + ((u64)x29 * x7)))) + ((u64)x23 * x13))…  in fe_mul_121666_impl()
662 …{ u64 x45 = (((((((u64)x27 * x11) + ((u64)x29 * x9)) + ((u64)x25 * x13)) + ((u64)x31 * x7)) + ((u6…  in fe_mul_121666_impl()
663 …{ u64 x46 = (((((0x2 * ((((u64)x29 * x11) + ((u64)x25 * x15)) + ((u64)x33 * x7))) + ((u64)x27 * x1…  in fe_mul_121666_impl()
664 …) + ((u64)x27 * x15)) + ((u64)x33 * x9)) + ((u64)x25 * x17)) + ((u64)x35 * x7)) + ((u64)x23 * x19)…  in fe_mul_121666_impl()
665 … (((((u64)x29 * x15) + ((u64)x33 * x11)) + ((u64)x25 * x19)) + ((u64)x37 * x7)))) + ((u64)x27 * x1…  in fe_mul_121666_impl()
666 …) + ((u64)x27 * x19)) + ((u64)x37 * x9)) + ((u64)x25 * x21)) + ((u64)x39 * x7)) + ((u64)x23 * x20)…  in fe_mul_121666_impl()
667 … + ((u64)x29 * x19)) + ((u64)x37 * x11)) + ((u64)x25 * x20)) + ((u64)x38 * x7))) + ((u64)x31 * x17…  in fe_mul_121666_impl()