1 files changed, 4 insertions, 4 deletions
diff --git a/src/Specific/solinas64_2e291m19/fesquareDisplay.log b/src/Specific/solinas64_2e291m19/fesquareDisplay.log
index 9903cc242..c6a1136c5 100644
--- a/src/Specific/solinas64_2e291m19/fesquareDisplay.log
+++ b/src/Specific/solinas64_2e291m19/fesquareDisplay.log
@@ -13,15 +13,15 @@ Interp-η
  uint128_t x17 = (x16 >> 0x3a);
  uint64_t x18 = ((uint64_t)x16 & 0x3ffffffffffffff);
  uint128_t x19 = (x17 + x11);
- uint64_t x20 = (uint64_t) (x19 >> 0x3a);
+ uint128_t x20 = (x19 >> 0x3a);
  uint64_t x21 = ((uint64_t)x19 & 0x3ffffffffffffff);
  uint128_t x22 = (x20 + x10);
- uint64_t x23 = (uint64_t) (x22 >> 0x3a);
+ uint128_t x23 = (x22 >> 0x3a);
  uint64_t x24 = ((uint64_t)x22 & 0x3ffffffffffffff);
  uint128_t x25 = (x23 + x9);
- uint64_t x26 = (uint64_t) (x25 >> 0x3a);
+ uint128_t x26 = (x25 >> 0x3a);
  uint64_t x27 = ((uint64_t)x25 & 0x3ffffffffffffff);
- uint128_t x28 = (x15 + ((uint128_t)0x13 * x26));
+ uint128_t x28 = (x15 + (0x13 * x26));
  uint64_t x29 = (uint64_t) (x28 >> 0x3b);
  uint64_t x30 = ((uint64_t)x28 & 0x7ffffffffffffff);
  uint64_t x31 = (x29 + x18);