IntersectMBO · zliu41 · Dec 8, 2023 · Nov 14, 2023 · Nov 14, 2023 · Nov 17, 2023
diff --git a/doc/read-the-docs-site/reference/writing-scripts/compiler-options-table.rst b/doc/read-the-docs-site/reference/writing-scripts/compiler-options-table.rst
@@ -73,6 +73,12 @@
      - Dump Untyped Plutus Core
 
 
+   * - ``max-cse-iterations``
+     - Int
+     - 4
+     - Set the max iterations for CSE
+
+
    * - ``max-simplifier-iterations-pir``
      - Int
      - 12

diff --git a/plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden b/plutus-benchmark/bls12-381-costs/test/9.6/bls12-381-costs.golden
@@ -103,7 +103,7 @@ VRF example
 
     n     Script size             CPU usage               Memory usage
   ----------------------------------------------------------------------
-    -     759   (4.6%)      1490764930  (14.9%)          320995   (2.3%) 
+    -     753   (4.6%)      1364980692  (13.6%)          184634   (1.3%) 
 
 G1 Verify
 
@@ -127,19 +127,19 @@ Aggregate Multi Key
 
     n     Script size             CPU usage               Memory usage
   ----------------------------------------------------------------------
-    -    1743  (10.6%)      3741772913  (37.4%)          566493   (4.0%) 
+    -    1743  (10.6%)      3741726913  (37.4%)          566293   (4.0%) 
 
 Schnorr Signature G1
 
     n     Script size             CPU usage               Memory usage
   ----------------------------------------------------------------------
-    -     421   (2.6%)       550950209   (5.5%)          264724   (1.9%) 
+    -     418   (2.6%)       361167811   (3.6%)          264488   (1.9%) 
 
 Schnorr Signature G2
 
     n     Script size             CPU usage               Memory usage
   ----------------------------------------------------------------------
-    -     565   (3.4%)       987187705   (9.9%)          264928   (1.9%) 
+    -     562   (3.4%)       606243489   (6.1%)          264656   (1.9%) 
 
 Groth16Verify succeeded
 Simple Verify succeeded

diff --git a/...e-payout/9.6/0004000402010401030101030100040000010104020201030001000204020401.eval.golden b/...e-payout/9.6/0004000402010401030101030100040000010104020201030001000204020401.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 265767561
-| mem: 953790})
+({cpu: 261098561
+| mem: 933490})
diff --git a/...e-payout/9.6/0100000100010000000001000100010101000101000001000000010000010000.eval.golden b/...e-payout/9.6/0100000100010000000001000100010101000101000001000000010000010000.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 398331336
-| mem: 1483104})
+({cpu: 393800336
+| mem: 1463404})
diff --git a/...e-payout/9.6/0101000100000101010000010101000100010101000001000001000000010101.eval.golden b/...e-payout/9.6/0101000100000101010000010101000100010101000001000001000000010101.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 287883649
-| mem: 1043854})
+({cpu: 283168649
+| mem: 1023354})
diff --git a/...e-payout/9.6/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.eval.golden b/...e-payout/9.6/01dcc372ea619cb9f23c45b17b9a0a8a16b7ca0e04093ef8ecce291667a99a4c.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 230384463
-| mem: 819622})
+({cpu: 225577463
+| mem: 798722})
diff --git a/...e-payout/9.6/0201020201020000020000010201020001020200000002010200000101010100.eval.golden b/...e-payout/9.6/0201020201020000020000010201020001020200000002010200000101010100.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 259270730
-| mem: 923932})
+({cpu: 254371730
+| mem: 902632})
diff --git a/...e-payout/9.6/0202010002010100020102020102020001010101020102010001010101000100.eval.golden b/...e-payout/9.6/0202010002010100020102020102020001010101020102010001010101000100.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 239328662
-| mem: 848072})
+({cpu: 234590662
+| mem: 827472})
diff --git a/...e-payout/9.6/0303020000020001010201060303040208070100050401080304020801030001.eval.golden b/...e-payout/9.6/0303020000020001010201060303040208070100050401080304020801030001.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 237513085
-| mem: 841470})
+({cpu: 232775085
+| mem: 820870})
diff --git a/...e-payout/9.6/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.eval.golden b/...e-payout/9.6/031d56d71454e2c4216ffaa275c4a8b3eb631109559d0e56f44ea8489f57ba97.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 302373963
-| mem: 1092076})
+({cpu: 297451963
+| mem: 1070676})
diff --git a/...e-payout/9.6/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.eval.golden b/...e-payout/9.6/03d730a62332c51c7b70c16c64da72dd1c3ea36c26b41cd1a1e00d39fda3d6cc.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 280914280
-| mem: 1012744})
+({cpu: 276153280
+| mem: 992044})
diff --git a/...e-payout/9.6/0403020000030204010000030001000202010101000304030001040404030100.eval.golden b/...e-payout/9.6/0403020000030204010000030001000202010101000304030001040404030100.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 256975070
-| mem: 919310})
+({cpu: 252191070
+| mem: 898510})
diff --git a/...e-payout/9.6/0405010105020401010304080005050800040301010800080207080704020206.eval.golden b/...e-payout/9.6/0405010105020401010304080005050800040301010800080207080704020206.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 286373337
-| mem: 1031294})
+({cpu: 281612337
+| mem: 1010594})
diff --git a/...e-payout/9.6/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01.eval.golden b/...e-payout/9.6/041a2c3b111139201a3a2c173c392b170e16370d300f2d28342d0f2f0e182e01.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 290005596
-| mem: 1052470})
+({cpu: 285152596
+| mem: 1031370})
diff --git a/...e-payout/9.6/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5.eval.golden b/...e-payout/9.6/04f592afc6e57c633b9c55246e7c82e87258f04e2fb910c37d8e2417e9db46e5.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 349035715
-| mem: 1280898})
+({cpu: 344458715
+| mem: 1260998})
diff --git a/...e-payout/9.6/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027.eval.golden b/...e-payout/9.6/057ebc80922f16a5f4bf13e985bf586b8cff37a2f6fe0f3ce842178c16981027.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 234989737
-| mem: 836344})
+({cpu: 230251737
+| mem: 815744})
diff --git a/...e-payout/9.6/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954.eval.golden b/...e-payout/9.6/06317060a8e488b1219c9dae427f9ce27918a9e09ee8ac424afa33ca923f7954.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 255885475
-| mem: 913408})
+({cpu: 251032475
+| mem: 892308})
diff --git a/...e-payout/9.6/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae.eval.golden b/...e-payout/9.6/07658a6c898ad6d624c37df1e49e909c2e9349ba7f4c0a6be5f166fe239bfcae.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 224355371
-| mem: 786366})
+({cpu: 219594371
+| mem: 765666})
diff --git a/...e-payout/9.6/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961.eval.golden b/...e-payout/9.6/0bdca1cb8fa7e38e09062557b82490714052e84e2054e913092cd84ac071b961.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 288925141
-| mem: 1054942})
+({cpu: 284141141
+| mem: 1034142})
diff --git a/...e-payout/9.6/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0.eval.golden b/...e-payout/9.6/0c9d3634aeae7038f839a1262d1a8bc724dc77af9426459417a56ec73240f0e0.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 250553373
-| mem: 898082})
+({cpu: 245815373
+| mem: 877482})
diff --git a/...e-payout/9.6/0d0f01050a0a0a0b0b050d0404090e0d0506000d0a041003040e0f100e0a0408.eval.golden b/...e-payout/9.6/0d0f01050a0a0a0b0b050d0404090e0d0506000d0a041003040e0f100e0a0408.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 255643746
-| mem: 928710})
+({cpu: 250974746
+| mem: 908410})
diff --git a/...e-payout/9.6/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960.eval.golden b/...e-payout/9.6/0dbb692d2bf22d25eeceac461cfebf616f54003077a8473abc0457f18e025960.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 297345841
-| mem: 1085714})
+({cpu: 292745841
+| mem: 1065714})
diff --git a/...e-payout/9.6/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15.eval.golden b/...e-payout/9.6/0e00171d0f1e1f14070d0a00091f07101808021d081e1b120219081312081e15.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 241541941
-| mem: 864670})
+({cpu: 236757941
+| mem: 843870})
diff --git a/...e-payout/9.6/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d.eval.golden b/...e-payout/9.6/0e72f62b0f922e31a2340baccc768104025400cf7fdd7dae62fbba5fc770936d.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 271465299
-| mem: 975820})
+({cpu: 266681299
+| mem: 955020})
diff --git a/...e-payout/9.6/0e97c9d9417354d9460f2eb35018d3904b7b035af16ab299258adab93be0911a.eval.golden b/...e-payout/9.6/0e97c9d9417354d9460f2eb35018d3904b7b035af16ab299258adab93be0911a.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 265767561
-| mem: 953790})
+({cpu: 261098561
+| mem: 933490})
diff --git a/...e-payout/9.6/0f010d040810040b10020e040f0e030b0a0d100f0c080c0c05000d04100c100f.eval.golden b/...e-payout/9.6/0f010d040810040b10020e040f0e030b0a0d100f0c080c0c05000d04100c100f.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 282995772
-| mem: 1024340})
+({cpu: 278303772
+| mem: 1003940})
diff --git a/...e-payout/9.6/1138a04a83edc0579053f9ffa9394b41df38230121fbecebee8c039776a88c0c.eval.golden b/...e-payout/9.6/1138a04a83edc0579053f9ffa9394b41df38230121fbecebee8c039776a88c0c.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 237885583
-| mem: 840474})
+({cpu: 233078583
+| mem: 819574})
diff --git a/...e-payout/9.6/121a0a1b12030616111f02121a0e070716090a0e031c071419121f141409031d.eval.golden b/...e-payout/9.6/121a0a1b12030616111f02121a0e070716090a0e031c071419121f141409031d.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 234723512
-| mem: 831350})
+({cpu: 229916512
+| mem: 810450})
diff --git a/...e-payout/9.6/159e5a1bf16fe984b5569be7011b61b5e98f5d2839ca7e1b34c7f2afc7ffb58e.eval.golden b/...e-payout/9.6/159e5a1bf16fe984b5569be7011b61b5e98f5d2839ca7e1b34c7f2afc7ffb58e.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 238740173
-| mem: 846770})
+({cpu: 234002173
+| mem: 826170})
diff --git a/...e-payout/9.6/195f522b596360690d04586a2563470f2214163435331a6622311f7323433f1c.eval.golden b/...e-payout/9.6/195f522b596360690d04586a2563470f2214163435331a6622311f7323433f1c.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 233174036
-| mem: 829742})
+({cpu: 228436036
+| mem: 809142})
diff --git a/...e-payout/9.6/1a20b465d48a585ffd622bd8dc26a498a3c12f930ab4feab3a5064cfb3bc536a.eval.golden b/...e-payout/9.6/1a20b465d48a585ffd622bd8dc26a498a3c12f930ab4feab3a5064cfb3bc536a.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 263768295
-| mem: 941638})
+({cpu: 258984295
+| mem: 920838})
diff --git a/...e-payout/9.6/211e1b6c10260c4620074d2e372c260d38643a3d605f63772524034f0a4a7632.eval.golden b/...e-payout/9.6/211e1b6c10260c4620074d2e372c260d38643a3d605f63772524034f0a4a7632.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 250354961
-| mem: 891622})
+({cpu: 245524961
+| mem: 870622})
diff --git a/...e-payout/9.6/21a1426fb3fb3019d5dc93f210152e90b0a6e740ef509b1cdd423395f010e0ca.eval.golden b/...e-payout/9.6/21a1426fb3fb3019d5dc93f210152e90b0a6e740ef509b1cdd423395f010e0ca.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 268620635
-| mem: 969012})
+({cpu: 263859635
+| mem: 948312})
diff --git a/...e-payout/9.6/224ce46046fab9a17be4197622825f45cc0c59a6bd1604405148e43768c487ef.eval.golden b/...e-payout/9.6/224ce46046fab9a17be4197622825f45cc0c59a6bd1604405148e43768c487ef.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 237885583
-| mem: 840474})
+({cpu: 233078583
+| mem: 819574})
diff --git a/...e-payout/9.6/332c2b1c11383d1b373e1315201f1128010e0e1518332f273f141b23243f2a07.eval.golden b/...e-payout/9.6/332c2b1c11383d1b373e1315201f1128010e0e1518332f273f141b23243f2a07.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 229423476
-| mem: 819316})
+({cpu: 224685476
+| mem: 798716})
diff --git a/...e-payout/9.6/3565ee025317e065e8555eef288080276716366769aad89e03389f5ec4ce26d7.eval.golden b/...e-payout/9.6/3565ee025317e065e8555eef288080276716366769aad89e03389f5ec4ce26d7.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 255520170
-| mem: 913506})
+({cpu: 250621170
+| mem: 892206})
diff --git a/...e-payout/9.6/3569299fc986f5354d02e627a9eaa48ab46d5af52722307a0af72bae87e256dc.eval.golden b/...e-payout/9.6/3569299fc986f5354d02e627a9eaa48ab46d5af52722307a0af72bae87e256dc.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 234989613
-| mem: 836344})
+({cpu: 230251613
+| mem: 815744})
diff --git a/...e-payout/9.6/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40.eval.golden b/...e-payout/9.6/36866914aa07cf62ef36cf2cd64c7f240e3371e27bb9fff5464301678e809c40.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 234989613
-| mem: 836344})
+({cpu: 230251613
+| mem: 815744})
diff --git a/...e-payout/9.6/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7.eval.golden b/...e-payout/9.6/371c10d2526fc0f09dbe9ed59e44dcd949270b27dc42035addd7ff9f7e0d05e7.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 293383438
-| mem: 1062112})
+({cpu: 288783438
+| mem: 1042112})
diff --git a/...e-payout/9.6/3897ef714bba3e6821495b706c75f8d64264c3fdaa58a3826c808b5a768c303d.eval.golden b/...e-payout/9.6/3897ef714bba3e6821495b706c75f8d64264c3fdaa58a3826c808b5a768c303d.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 246083693
-| mem: 879256})
+({cpu: 241345693
+| mem: 858656})
diff --git a/...e-payout/9.6/4121d88f14387d33ac5e1329618068e3848445cdd66b29e5ba382be2e02a174a.eval.golden b/...e-payout/9.6/4121d88f14387d33ac5e1329618068e3848445cdd66b29e5ba382be2e02a174a.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 292756755
-| mem: 1069666})
+({cpu: 288156755
+| mem: 1049666})
diff --git a/...e-payout/9.6/4299c7fcf093a5dbfe114c188e32ca199b571a7c25cb7f766bf49f12dab308be.eval.golden b/...e-payout/9.6/4299c7fcf093a5dbfe114c188e32ca199b571a7c25cb7f766bf49f12dab308be.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 265767561
-| mem: 953790})
+({cpu: 261098561
+| mem: 933490})
diff --git a/...e-payout/9.6/452e17d16222a427707fa83f63ffb79f606cc25c755a18b1e3274c964ed5ec99.eval.golden b/...e-payout/9.6/452e17d16222a427707fa83f63ffb79f606cc25c755a18b1e3274c964ed5ec99.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 297924987
-| mem: 1072450})
+({cpu: 293094987
+| mem: 1051450})
diff --git a/...e-payout/9.6/46f8d00030436e4da490a86b331fa6c3251425fb8c19556080e124d75bad7bd6.eval.golden b/...e-payout/9.6/46f8d00030436e4da490a86b331fa6c3251425fb8c19556080e124d75bad7bd6.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 236924596
-| mem: 840168})
+({cpu: 232186596
+| mem: 819568})
diff --git a/...e-payout/9.6/47364cfaf2c00f7d633283dce6cf84e4fd4e8228c0a0aa50e7c55f35c3ecaa1c.eval.golden b/...e-payout/9.6/47364cfaf2c00f7d633283dce6cf84e4fd4e8228c0a0aa50e7c55f35c3ecaa1c.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 236924596
-| mem: 840168})
+({cpu: 232186596
+| mem: 819568})
diff --git a/...e-payout/9.6/49b8275d0cb817be40865694ab05e3cfe5fc35fb43b78e7de68c1f3519b536bd.eval.golden b/...e-payout/9.6/49b8275d0cb817be40865694ab05e3cfe5fc35fb43b78e7de68c1f3519b536bd.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 251769610
-| mem: 903080})
+({cpu: 246870610
+| mem: 881780})
diff --git a/...e-payout/9.6/4dd7755b6ca1f0c9747c1fc0ee4da799f6f1c07108e980bd9f820911ad711ff2.eval.golden b/...e-payout/9.6/4dd7755b6ca1f0c9747c1fc0ee4da799f6f1c07108e980bd9f820911ad711ff2.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 336758765
-| mem: 1240986})
+({cpu: 332135765
+| mem: 1220886})
diff --git a/...e-payout/9.6/4fbcfdb577a56b842d6f6938187a783f71d9da7519353e3da3ef0c564e1eb344.eval.golden b/...e-payout/9.6/4fbcfdb577a56b842d6f6938187a783f71d9da7519353e3da3ef0c564e1eb344.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 307096153
-| mem: 1116772})
+({cpu: 302059153
+| mem: 1094872})
diff --git a/...e-payout/9.6/5a0725d49c733130eda8bc6ed5234f7f6ff8c9dd2d201e8806125e5fbcc081f9.eval.golden b/...e-payout/9.6/5a0725d49c733130eda8bc6ed5234f7f6ff8c9dd2d201e8806125e5fbcc081f9.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 258266441
-| mem: 932938})
+({cpu: 253597441
+| mem: 912638})
diff --git a/...e-payout/9.6/5a2aae344e569a2c644dd9fa8c7b1f129850937eb562b7748c275f9e40bed596.eval.golden b/...e-payout/9.6/5a2aae344e569a2c644dd9fa8c7b1f129850937eb562b7748c275f9e40bed596.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 236924596
-| mem: 840168})
+({cpu: 232186596
+| mem: 819568})
diff --git a/...e-payout/9.6/5ade103e9530dd0d572fe1b053ea65ad925c6ebbe321e873ace8b804363fa82c.eval.golden b/...e-payout/9.6/5ade103e9530dd0d572fe1b053ea65ad925c6ebbe321e873ace8b804363fa82c.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 357691284
-| mem: 1325810})
+({cpu: 353114284
+| mem: 1305910})
diff --git a/...e-payout/9.6/5d4c62a0671c65a14f6a15093e3efc4f1816d95a5a58fd92486bedaae8d9526b.eval.golden b/...e-payout/9.6/5d4c62a0671c65a14f6a15093e3efc4f1816d95a5a58fd92486bedaae8d9526b.eval.golden
@@ -1,2 +1,2 @@
-({cpu: 288925141
-| mem: 1054942})
+({cpu: 284141141
+| mem: 1034142})