diff options
Diffstat (limited to 'src/Specific/solinas64_2e480m2e240m1/fesquareDisplay.log')
| -rw-r--r-- | src/Specific/solinas64_2e480m2e240m1/fesquareDisplay.log | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/Specific/solinas64_2e480m2e240m1/fesquareDisplay.log b/src/Specific/solinas64_2e480m2e240m1/fesquareDisplay.log index 6ee6ce4fb..f383847c9 100644 --- a/src/Specific/solinas64_2e480m2e240m1/fesquareDisplay.log +++ b/src/Specific/solinas64_2e480m2e240m1/fesquareDisplay.log @@ -16,37 +16,37 @@ Interp-η uint128_t x26 = (((((uint128_t)x2 * x6) + (((uint128_t)x4 * x4) + ((uint128_t)x6 * x2))) + (((uint128_t)x10 * x14) + (((uint128_t)x12 * x12) + ((uint128_t)x14 * x10)))) + x15); uint128_t x27 = (((((uint128_t)x2 * x4) + ((uint128_t)x4 * x2)) + (((uint128_t)x10 * x12) + ((uint128_t)x12 * x10))) + x16); uint128_t x28 = ((((uint128_t)x2 * x2) + ((uint128_t)x10 * x10)) + x17); - uint64_t x29 = (uint64_t) (x25 >> 0x3c); + uint128_t x29 = (x25 >> 0x3c); uint64_t x30 = ((uint64_t)x25 & 0xfffffffffffffff); - uint64_t x31 = (uint64_t) (x18 >> 0x3c); + uint128_t x31 = (x18 >> 0x3c); uint64_t x32 = ((uint64_t)x18 & 0xfffffffffffffff); - uint128_t x33 = (((uint128_t)0x1000000000000000 * x31) + x32); - uint64_t x34 = (uint64_t) (x33 >> 0x3c); + uint128_t x33 = ((0x1000000000000000 * x31) + x32); + uint128_t x34 = (x33 >> 0x3c); uint64_t x35 = ((uint64_t)x33 & 0xfffffffffffffff); uint128_t x36 = ((x29 + x24) + x34); uint128_t x37 = (x36 >> 0x3c); uint64_t x38 = ((uint64_t)x36 & 0xfffffffffffffff); uint128_t x39 = (x28 + x34); - uint64_t x40 = (uint64_t) (x39 >> 0x3c); + uint128_t x40 = (x39 >> 0x3c); uint64_t x41 = ((uint64_t)x39 & 0xfffffffffffffff); uint128_t x42 = (x37 + x23); uint128_t x43 = (x42 >> 0x3c); uint64_t x44 = ((uint64_t)x42 & 0xfffffffffffffff); uint128_t x45 = (x40 + x27); - uint64_t x46 = (uint64_t) (x45 >> 0x3c); + uint128_t x46 = (x45 >> 0x3c); uint64_t x47 = ((uint64_t)x45 & 0xfffffffffffffff); uint128_t x48 = (x43 + x22); uint128_t x49 = (x48 >> 0x3c); uint64_t x50 = ((uint64_t)x48 & 0xfffffffffffffff); uint128_t x51 = (x46 + x26); - uint64_t x52 = (uint64_t) (x51 >> 0x3c); + uint128_t x52 = (x51 >> 0x3c); uint64_t x53 = ((uint64_t)x51 & 0xfffffffffffffff); uint128_t x54 = (x49 + x35); uint64_t x55 = (uint64_t) (x54 >> 0x3c); uint64_t x56 = ((uint64_t)x54 & 0xfffffffffffffff); - uint64_t x57 = (x52 + x30); - uint64_t x58 = (x57 >> 0x3c); - uint64_t x59 = (x57 & 0xfffffffffffffff); + uint128_t x57 = (x52 + x30); + uint64_t x58 = (uint64_t) (x57 >> 0x3c); + uint64_t x59 = ((uint64_t)x57 & 0xfffffffffffffff); uint128_t x60 = (((uint128_t)0x1000000000000000 * x55) + x56); uint64_t x61 = (uint64_t) (x60 >> 0x3c); uint64_t x62 = ((uint64_t)x60 & 0xfffffffffffffff); |