content: module Simplicity.Benchmarks
   ( cost
   ) where
  
  import Simplicity.BitMachine.StaticAnalysis.Cost
  
  rawBenchmark :: String -> Double
  rawBenchmark "Add16" = 60.085041109205505
  rawBenchmark "Add32" = 65.00459118488351
  rawBenchmark "Add64" = 60.770501535336855
  rawBenchmark "Add8" = 62.62388142499319
  rawBenchmark "All16" = 34.58413668932453
  rawBenchmark "All32" = 36.12506541685401
  rawBenchmark "All64" = 43.94474405869988
  rawBenchmark "All8" = 42.298630039382395
  rawBenchmark "And1" = 44.41796508997593
  rawBenchmark "And16" = 49.190985826792
  rawBenchmark "And32" = 52.330825534594354
  rawBenchmark "And64" = 52.00679267933024
  rawBenchmark "And8" = 50.9336818377678
  rawBenchmark "AnnexHash" = 133.8975
  rawBenchmark "AssetAmountHash" = 171.26
  rawBenchmark "Bip0340Verify" = 54541.00304991227
  rawBenchmark "BuildTapbranch" = 1424.2525
  rawBenchmark "BuildTapleafSimplicity" = 1024.204285714286
  rawBenchmark "BuildTaptweak" = 51562.63
  rawBenchmark "CalculateAsset" = 448.8285714285716
  rawBenchmark "CalculateConfidentialToken" = 392.9185714285713
  rawBenchmark "CalculateExplicitToken" = 428.43571428571437
  rawBenchmark "CalculateIssuanceEntropy" = 1163.9275
  rawBenchmark "Ch1" = 43.38647329238317
  rawBenchmark "Ch16" = 52.27708434095646
  rawBenchmark "Ch32" = 50.75927210580458
  rawBenchmark "Ch64" = 50.64224884783096
  rawBenchmark "Ch8" = 43.247948521208684
  rawBenchmark "CheckLockDistance" = 58.753725206887374
  rawBenchmark "CheckLockDuration" = 57.030697303127475
  rawBenchmark "CheckLockHeight" = 42.78170096368622
  rawBenchmark "CheckLockTime" = 51.84407299762977
  rawBenchmark "CheckSigVerify" = 55555.079016059564
  rawBenchmark "Complement1" = 44.30963250954837
  rawBenchmark "Complement16" = 41.853819540512724
  rawBenchmark "Complement32" = 51.936600421665986
  rawBenchmark "Complement64" = 49.44074859372622
  rawBenchmark "Complement8" = 44.49004402013328
  rawBenchmark "CurrentAmount" = 125.233683871098
  rawBenchmark "CurrentAnnexHash" = 43.96303036926559
  rawBenchmark "CurrentAsset" = 95.55358469768584
  rawBenchmark "CurrentIndex" = 49.14822556250178
  rawBenchmark "CurrentIssuanceAssetAmount" = 91.68812641475432
  rawBenchmark "CurrentIssuanceAssetProof" = 78.32085006755332
  rawBenchmark "CurrentIssuanceTokenAmount" = 104.56443464343835
  rawBenchmark "CurrentIssuanceTokenProof" = 80.11480670010411
  rawBenchmark "CurrentNewIssuanceContract" = 80.93662026502236
  rawBenchmark "CurrentPegin" = 81.6814471387894
  rawBenchmark "CurrentPrevOutpoint" = 87.01737208854547
  rawBenchmark "CurrentReissuanceBlinding" = 52.34362964598284
  rawBenchmark "CurrentReissuanceEntropy" = 47.41824644363429
  rawBenchmark "CurrentScriptHash" = 74.54897385905238
  rawBenchmark "CurrentScriptSigHash" = 77.29143987908452
  rawBenchmark "CurrentSequence" = 49.55213254331629
  rawBenchmark "Decompress" = 6034.0242131124305
  rawBenchmark "Decrement16" = 47.619384690269044
  rawBenchmark "Decrement32" = 50.70470833162736
  rawBenchmark "Decrement64" = 49.91961044181172
  rawBenchmark "Decrement8" = 44.41452963683716
  rawBenchmark "DivMod128_64" = 115.77280158438838
  rawBenchmark "DivMod16" = 65.69925000385433
  rawBenchmark "DivMod32" = 64.04450140966351
  rawBenchmark "DivMod64" = 48.188851905873335
  rawBenchmark "DivMod8" = 71.3705571750924
  rawBenchmark "Divide16" = 54.81267262645548
  rawBenchmark "Divide32" = 55.81078135389193
  rawBenchmark "Divide64" = 56.43166191465282
  rawBenchmark "Divide8" = 60.07629081022806
  rawBenchmark "Divides16" = 51.9870240819556
  rawBenchmark "Divides32" = 48.77753656294132
  rawBenchmark "Divides64" = 50.6929784746092
  rawBenchmark "Divides8" = 54.766521462004285
  rawBenchmark "Eq1" = 41.19704900879444
  rawBenchmark "Eq16" = 46.96434429747661
  rawBenchmark "Eq256" = 125.24267688284475
  rawBenchmark "Eq32" = 49.127933441004416
  rawBenchmark "Eq64" = 56.10776637742226
  rawBenchmark "Eq8" = 53.09387335277708
  rawBenchmark "FeAdd" = 419.4421553609743
  rawBenchmark "FeInvert" = 1764.2095713900258
  rawBenchmark "FeIsOdd" = 161.4908040889559
  rawBenchmark "FeIsZero" = 148.9500015909772
  rawBenchmark "FeMultiply" = 449.33346943264536
  rawBenchmark "FeMultiplyBeta" = 321.936623495282
  rawBenchmark "FeNegate" = 295.2583854628667
  rawBenchmark "FeNormalize" = 289.8402224157142
  rawBenchmark "FeSquare" = 309.0320861847194
  rawBenchmark "FeSquareRoot" = 5708.658550943187
  rawBenchmark "FullAdd16" = 67.58987477677238
  rawBenchmark "FullAdd32" = 66.11773354771384
  rawBenchmark "FullAdd64" = 67.48909817913685
  rawBenchmark "FullAdd8" = 70.65903996899138
  rawBenchmark "FullDecrement16" = 51.39362224910755
  rawBenchmark "FullDecrement32" = 59.97907579303369
  rawBenchmark "FullDecrement64" = 45.49679194449331
  rawBenchmark "FullDecrement8" = 50.64117149094439
  rawBenchmark "FullIncrement16" = 49.66797298374831
  rawBenchmark "FullIncrement32" = 58.30643709946031
  rawBenchmark "FullIncrement64" = 55.24105841134342
  rawBenchmark "FullIncrement8" = 40.36810258706402
  rawBenchmark "FullLeftShift16_1" = 46.18858118129996
  rawBenchmark "FullLeftShift16_2" = 46.620891275146725
  rawBenchmark "FullLeftShift16_4" = 49.483816401261585
  rawBenchmark "FullLeftShift16_8" = 36.162357067674385
  rawBenchmark "FullLeftShift32_1" = 46.939178133248234
  rawBenchmark "FullLeftShift32_16" = 45.4571656643761
  rawBenchmark "FullLeftShift32_2" = 37.55784335894769
  rawBenchmark "FullLeftShift32_4" = 46.8616632714964
  rawBenchmark "FullLeftShift32_8" = 50.89997070924756
  rawBenchmark "FullLeftShift64_1" = 55.05773228244788
  rawBenchmark "FullLeftShift64_16" = 50.35375142144335
  rawBenchmark "FullLeftShift64_2" = 52.524422908169726
  rawBenchmark "FullLeftShift64_32" = 48.19968554848869
  rawBenchmark "FullLeftShift64_4" = 52.64511921564639
  rawBenchmark "FullLeftShift64_8" = 47.92651978022118
  rawBenchmark "FullLeftShift8_1" = 53.371611885499135
  rawBenchmark "FullLeftShift8_2" = 53.40012672044502
  rawBenchmark "FullLeftShift8_4" = 47.39442146733317
  rawBenchmark "FullMultiply16" = 62.764043288900055
  rawBenchmark "FullMultiply32" = 53.41609046991522
  rawBenchmark "FullMultiply64" = 70.99465378729637
  rawBenchmark "FullMultiply8" = 60.79100324703799
  rawBenchmark "FullRightShift16_1" = 44.463801274297026
  rawBenchmark "FullRightShift16_2" = 44.24484734954473
  rawBenchmark "FullRightShift16_4" = 49.377415322695924
  rawBenchmark "FullRightShift16_8" = 31.761769518909432
  rawBenchmark "FullRightShift32_1" = 41.12634362378231
  rawBenchmark "FullRightShift32_16" = 35.61914526793314
  rawBenchmark "FullRightShift32_2" = 35.367670218288545
  rawBenchmark "FullRightShift32_4" = 39.91820320167241
  rawBenchmark "FullRightShift32_8" = 46.755300941717685
  rawBenchmark "FullRightShift64_1" = 55.084156371380026
  rawBenchmark "FullRightShift64_16" = 48.15200506212657
  rawBenchmark "FullRightShift64_2" = 48.06952686812977
  rawBenchmark "FullRightShift64_32" = 41.03987641674198
  rawBenchmark "FullRightShift64_4" = 52.21526347861463
  rawBenchmark "FullRightShift64_8" = 55.476007550145084
  rawBenchmark "FullRightShift8_1" = 48.89242850292436
  rawBenchmark "FullRightShift8_2" = 47.923842296151605
  rawBenchmark "FullRightShift8_4" = 49.464558624033415
  rawBenchmark "FullSubtract16" = 67.38341429479223
  rawBenchmark "FullSubtract32" = 64.95233724051934
  rawBenchmark "FullSubtract64" = 54.67370881511828
  rawBenchmark "FullSubtract8" = 70.40320985209922
  rawBenchmark "GeIsOnCurve" = 357.15050069150345
  rawBenchmark "GeNegate" = 525.226102912438
  rawBenchmark "GejAdd" = 1609.7141943875479
  rawBenchmark "GejDouble" = 980.0399024548117
  rawBenchmark "GejEquiv" = 1233.877894994496
  rawBenchmark "GejGeAdd" = 1376.3073973202286
  rawBenchmark "GejGeAddEx" = 1510.6965337240808
  rawBenchmark "GejGeEquiv" = 980.6789399836443
  rawBenchmark "GejInfinity" = 398.03834524479885
  rawBenchmark "GejIsInfinity" = 370.3037942737992
  rawBenchmark "GejIsOnCurve" = 564.8607923748427
  rawBenchmark "GejNegate" = 767.335419690289
  rawBenchmark "GejNormalize" = 2277.254498988017
  rawBenchmark "GejRescale" = 1060.3680232144072
  rawBenchmark "GejXEquiv" = 581.9587646807994
  rawBenchmark "GejYIsOdd" = 2028.4000778806126
  rawBenchmark "Generate" = 27817.092507074034
  rawBenchmark "GenesisBlockHash" = 82.31162715271869
  rawBenchmark "HashToCurve" = 37829.83541169991
  rawBenchmark "High1" = 31.86779242260267
  rawBenchmark "High16" = 36.868090596516424
  rawBenchmark "High32" = 32.65996617035562
  rawBenchmark "High64" = 37.93536469075943
  rawBenchmark "High8" = 32.943473850377345
  rawBenchmark "Increment16" = 38.392451852783076
  rawBenchmark "Increment32" = 51.55474922519457
  rawBenchmark "Increment64" = 48.75851943327705
  rawBenchmark "Increment8" = 47.33246517826407
  rawBenchmark "InputAmount" = 158.40519188620513
  rawBenchmark "InputAmountsHash" = 78.18657902074679
  rawBenchmark "InputAnnexHash" = 50.39975862268921
  rawBenchmark "InputAnnexesHash" = 86.3866910419064
  rawBenchmark "InputAsset" = 90.4780872924351
  rawBenchmark "InputHash" = 536.5958475792895
  rawBenchmark "InputOutpointsHash" = 79.08911806240489
  rawBenchmark "InputPegin" = 83.98879360287582
  rawBenchmark "InputPrevOutpoint" = 89.3872112500479
  rawBenchmark "InputScriptHash" = 81.89252511817973
  rawBenchmark "InputScriptSigHash" = 85.18974271907717
  rawBenchmark "InputScriptSigsHash" = 76.77862968879907
  rawBenchmark "InputScriptsHash" = 76.14052574532384
  rawBenchmark "InputSequence" = 55.04705395962086
  rawBenchmark "InputSequencesHash" = 79.43302880722794
  rawBenchmark "InputUtxoHash" = 1109.0519630683661
  rawBenchmark "InputUtxosHash" = 77.9855360566019
  rawBenchmark "InputsHash" = 86.08549951543868
  rawBenchmark "InternalKey" = 84.89379535345726
  rawBenchmark "IsOne16" = 45.64683559591153
  rawBenchmark "IsOne32" = 36.58111091935885
  rawBenchmark "IsOne64" = 46.45643688595097
  rawBenchmark "IsOne8" = 50.62634232797921
  rawBenchmark "IsZero16" = 42.109412893391784
  rawBenchmark "IsZero32" = 47.422659579472345
  rawBenchmark "IsZero64" = 44.99474610179195
  rawBenchmark "IsZero8" = 43.2557200624648
  rawBenchmark "Issuance" = 50.74625704409637
  rawBenchmark "IssuanceAsset" = 83.923133996747
  rawBenchmark "IssuanceAssetAmount" = 90.39955141184957
  rawBenchmark "IssuanceAssetAmountsHash" = 77.23792759162177
  rawBenchmark "IssuanceAssetProof" = 83.58936713231286
  rawBenchmark "IssuanceBlindingEntropyHash" = 71.8325573717658
  rawBenchmark "IssuanceEntropy" = 85.07102143556246
  rawBenchmark "IssuanceHash" = 2076.7943990862123
  rawBenchmark "IssuanceRangeProofsHash" = 71.96306342619509
  rawBenchmark "IssuanceToken" = 83.0717304440206
  rawBenchmark "IssuanceTokenAmount" = 109.09867909211174
  rawBenchmark "IssuanceTokenAmountsHash" = 76.77352744178933
  rawBenchmark "IssuanceTokenProof" = 83.80024681603632
  rawBenchmark "IssuancesHash" = 78.75424725524539
  rawBenchmark "LbtcAsset" = 80.81176100612451
  rawBenchmark "Le16" = 62.59866562816164
  rawBenchmark "Le32" = 51.691597800360576
  rawBenchmark "Le64" = 51.98614962560549
  rawBenchmark "Le8" = 60.913133751779085
  rawBenchmark "LeftExtend16_32" = 48.321737975265485
  rawBenchmark "LeftExtend16_64" = 49.768255836158694
  rawBenchmark "LeftExtend1_16" = 37.33174442804743
  rawBenchmark "LeftExtend1_32" = 33.51980854843369
  rawBenchmark "LeftExtend1_64" = 42.74855194501722
  rawBenchmark "LeftExtend1_8" = 36.301294529908404
  rawBenchmark "LeftExtend32_64" = 35.00507852860337
  rawBenchmark "LeftExtend8_16" = 49.27356422938357
  rawBenchmark "LeftExtend8_32" = 50.49729967016896
  rawBenchmark "LeftExtend8_64" = 59.47812571540859
  rawBenchmark "LeftPadHigh16_32" = 50.98338161795605
  rawBenchmark "LeftPadHigh16_64" = 61.60346108788994
  rawBenchmark "LeftPadHigh1_16" = 78.50508931127487
  rawBenchmark "LeftPadHigh1_32" = 146.26121054697865
  rawBenchmark "LeftPadHigh1_64" = 234.97787849061334
  rawBenchmark "LeftPadHigh1_8" = 55.39324189082562
  rawBenchmark "LeftPadHigh32_64" = 52.17097219985573
  rawBenchmark "LeftPadHigh8_16" = 49.21564430401875
  rawBenchmark "LeftPadHigh8_32" = 57.68232149971271
  rawBenchmark "LeftPadHigh8_64" = 75.61993575310662
  rawBenchmark "LeftPadLow16_32" = 38.49926754604619
  rawBenchmark "LeftPadLow16_64" = 59.250342412456355
  rawBenchmark "LeftPadLow1_16" = 36.36920559197807
  rawBenchmark "LeftPadLow1_32" = 35.466251309723425
  rawBenchmark "LeftPadLow1_64" = 33.98849564613479
  rawBenchmark "LeftPadLow1_8" = 31.204669198216017
  rawBenchmark "LeftPadLow32_64" = 50.99335457473273
  rawBenchmark "LeftPadLow8_16" = 37.126983955984464
  rawBenchmark "LeftPadLow8_32" = 34.00684198357385
  rawBenchmark "LeftPadLow8_64" = 62.53255064489368
  rawBenchmark "LeftRotate16" = 43.001392195690684
  rawBenchmark "LeftRotate32" = 59.09903021360284
  rawBenchmark "LeftRotate64" = 54.856167630986604
  rawBenchmark "LeftRotate8" = 49.076586368944184
  rawBenchmark "LeftShift16" = 40.235919376592726
  rawBenchmark "LeftShift32" = 43.76932719716762
  rawBenchmark "LeftShift64" = 45.73742443386188
  rawBenchmark "LeftShift8" = 50.57937158222907
  rawBenchmark "LeftShiftWith16" = 46.61700433558814
  rawBenchmark "LeftShiftWith32" = 52.81674643546554
  rawBenchmark "LeftShiftWith64" = 57.28743045790752
  rawBenchmark "LeftShiftWith8" = 59.90532889097582
  rawBenchmark "Leftmost16_1" = 51.70552021960683
  rawBenchmark "Leftmost16_2" = 50.08994317254649
  rawBenchmark "Leftmost16_4" = 41.80688946896769
  rawBenchmark "Leftmost16_8" = 39.60132273936846
  rawBenchmark "Leftmost32_1" = 43.30897199282181
  rawBenchmark "Leftmost32_16" = 56.9016513351459
  rawBenchmark "Leftmost32_2" = 37.2079258996741
  rawBenchmark "Leftmost32_4" = 29.068274922258183
  rawBenchmark "Leftmost32_8" = 57.77525039357289
  rawBenchmark "Leftmost64_1" = 43.60916457293865
  rawBenchmark "Leftmost64_16" = 48.96468216997573
  rawBenchmark "Leftmost64_2" = 39.922903799137245
  rawBenchmark "Leftmost64_32" = 50.08880572463181
  rawBenchmark "Leftmost64_4" = 44.43246907916128
  rawBenchmark "Leftmost64_8" = 47.83372489702833
  rawBenchmark "Leftmost8_1" = 50.511534173537996
  rawBenchmark "Leftmost8_2" = 50.40905212515953
  rawBenchmark "Leftmost8_4" = 48.50341727771359
  rawBenchmark "LinearCombination1" = 47040.93376314034
  rawBenchmark "LinearVerify1" = 48182.42296619453
  rawBenchmark "LockTime" = 47.70317349257734
  rawBenchmark "Low1" = 21.364181571710727
  rawBenchmark "Low16" = 38.49685288168574
  rawBenchmark "Low32" = 34.91518106691244
  rawBenchmark "Low64" = 26.186652606444063
  rawBenchmark "Low8" = 26.29098053293153
  rawBenchmark "Lt16" = 68.8706112088274
  rawBenchmark "Lt32" = 59.53443050674163
  rawBenchmark "Lt64" = 42.364172739029975
  rawBenchmark "Lt8" = 59.93172194081304
  rawBenchmark "Maj1" = 34.96061898351924
  rawBenchmark "Maj16" = 44.94543138149138
  rawBenchmark "Maj32" = 53.683025295042526
  rawBenchmark "Maj64" = 51.72821494872019
  rawBenchmark "Maj8" = 52.36812937443448
  rawBenchmark "Max16" = 63.71134773209803
  rawBenchmark "Max32" = 51.18820119510864
  rawBenchmark "Max64" = 57.83190769189562
  rawBenchmark "Max8" = 53.8515645366078
  rawBenchmark "Median16" = 68.42782342281728
  rawBenchmark "Median32" = 56.38805745851612
  rawBenchmark "Median64" = 60.56301468794372
  rawBenchmark "Median8" = 67.89381197782626
  rawBenchmark "Min16" = 54.04518077046216
  rawBenchmark "Min32" = 62.97525599888933
  rawBenchmark "Min64" = 56.81753152966646
  rawBenchmark "Min8" = 55.00456012337589
  rawBenchmark "Modulo16" = 57.518560975532644
  rawBenchmark "Modulo32" = 57.08875049862416
  rawBenchmark "Modulo64" = 47.65027121643483
  rawBenchmark "Modulo8" = 56.70553878631508
  rawBenchmark "Multiply16" = 50.145505525636324
  rawBenchmark "Multiply32" = 50.46424112527131
  rawBenchmark "Multiply64" = 47.45018438748184
  rawBenchmark "Multiply8" = 52.03683827069245
  rawBenchmark "Negate16" = 38.90971489117882
  rawBenchmark "Negate32" = 47.61426946368856
  rawBenchmark "Negate64" = 52.41405985192276
  rawBenchmark "Negate8" = 50.833505778893596
  rawBenchmark "NewIssuanceContract" = 87.26032454930737
  rawBenchmark "NonceHash" = 176.1925
  rawBenchmark "NumInputs" = 48.16180127047511
  rawBenchmark "NumOutputs" = 44.087257539344634
  rawBenchmark "One16" = 33.60409513338236
  rawBenchmark "One32" = 33.222841959359855
  rawBenchmark "One64" = 33.2636748253045
  rawBenchmark "One8" = 34.88577796465835
  rawBenchmark "Or1" = 42.911584386668494
  rawBenchmark "Or16" = 52.44067390159183
  rawBenchmark "Or32" = 58.43280128473747
  rawBenchmark "Or64" = 55.4909110467771
  rawBenchmark "Or8" = 52.17171918086705
  rawBenchmark "OutpointHash" = 177.4066666666666
  rawBenchmark "OutputAmount" = 165.73152456360123
  rawBenchmark "OutputAmountsHash" = 77.96882406434946
  rawBenchmark "OutputAsset" = 94.686291527907
  rawBenchmark "OutputHash" = 1582.7809306692625
  rawBenchmark "OutputIsFee" = 51.60956472131248
  rawBenchmark "OutputNonce" = 109.35522600953867
  rawBenchmark "OutputNoncesHash" = 84.29265131406393
  rawBenchmark "OutputNullDatum" = 48.47393556700054
  rawBenchmark "OutputRangeProof" = 85.91729268925901
  rawBenchmark "OutputRangeProofsHash" = 76.01487688752357
  rawBenchmark "OutputScriptHash" = 84.3315823091484
  rawBenchmark "OutputScriptsHash" = 79.43957403869098
  rawBenchmark "OutputSurjectionProof" = 83.9027630832634
  rawBenchmark "OutputSurjectionProofsHash" = 76.73829814634762
  rawBenchmark "OutputsHash" = 75.43857791831756
  rawBenchmark "ParseLock" = 54.40929208819059
  rawBenchmark "ParseSequence" = 64.73080420529664
  rawBenchmark "PointVerify1" = 46104.55214160499
  rawBenchmark "ReissuanceBlinding" = 50.73337651212825
  rawBenchmark "ReissuanceEntropy" = 51.84338682545885
  rawBenchmark "RightExtend16_32" = 41.1152394906143
  rawBenchmark "RightExtend16_64" = 45.58796842580513
  rawBenchmark "RightExtend32_64" = 52.52115235015417
  rawBenchmark "RightExtend8_16" = 42.62436355994448
  rawBenchmark "RightExtend8_32" = 58.95339195029901
  rawBenchmark "RightExtend8_64" = 69.32207026801537
  rawBenchmark "RightPadHigh16_32" = 39.424436392837556
  rawBenchmark "RightPadHigh16_64" = 49.248174058995446
  rawBenchmark "RightPadHigh1_16" = 79.72621339569697
  rawBenchmark "RightPadHigh1_32" = 124.40833120289545
  rawBenchmark "RightPadHigh1_64" = 264.5187952944149
  rawBenchmark "RightPadHigh1_8" = 59.84994335191323
  rawBenchmark "RightPadHigh32_64" = 52.54942442499254
  rawBenchmark "RightPadHigh8_16" = 49.67776118222926
  rawBenchmark "RightPadHigh8_32" = 61.532852924980645
  rawBenchmark "RightPadHigh8_64" = 59.83710387705546
  rawBenchmark "RightPadLow16_32" = 39.87733699553977
  rawBenchmark "RightPadLow16_64" = 53.36064826952089
  rawBenchmark "RightPadLow1_16" = 45.07485014417921
  rawBenchmark "RightPadLow1_32" = 41.676208784085105
  rawBenchmark "RightPadLow1_64" = 41.090406238456374
  rawBenchmark "RightPadLow1_8" = 37.92725470993486
  rawBenchmark "RightPadLow32_64" = 44.8312134267434
  rawBenchmark "RightPadLow8_16" = 41.75506302525163
  rawBenchmark "RightPadLow8_32" = 43.22301100078246
  rawBenchmark "RightPadLow8_64" = 46.0905871657453
  rawBenchmark "RightRotate16" = 55.451707999091234
  rawBenchmark "RightRotate32" = 51.33869960974644
  rawBenchmark "RightRotate64" = 51.72067856450664
  rawBenchmark "RightRotate8" = 41.88436010698827
  rawBenchmark "RightShift16" = 47.19331997670199
  rawBenchmark "RightShift32" = 49.25458525218545
  rawBenchmark "RightShift64" = 50.88231418071366
  rawBenchmark "RightShift8" = 49.252427103572366
  rawBenchmark "RightShiftWith16" = 58.52512455955412
  rawBenchmark "RightShiftWith32" = 51.447551882228765
  rawBenchmark "RightShiftWith64" = 53.91540234901843
  rawBenchmark "RightShiftWith8" = 57.29707045629772
  rawBenchmark "Rightmost16_1" = 39.17928949934075
  rawBenchmark "Rightmost16_2" = 45.91367784810004
  rawBenchmark "Rightmost16_4" = 42.474022809253114
  rawBenchmark "Rightmost16_8" = 38.446904909381345
  rawBenchmark "Rightmost32_1" = 50.25654518416595
  rawBenchmark "Rightmost32_16" = 35.92965867433983
  rawBenchmark "Rightmost32_2" = 41.65904204963655
  rawBenchmark "Rightmost32_4" = 51.37905781489622
  rawBenchmark "Rightmost32_8" = 43.44904922808357
  rawBenchmark "Rightmost64_1" = 43.0289803608958
  rawBenchmark "Rightmost64_16" = 48.13330514376038
  rawBenchmark "Rightmost64_2" = 41.49489356566985
  rawBenchmark "Rightmost64_32" = 42.65585176023737
  rawBenchmark "Rightmost64_4" = 39.403601089532856
  rawBenchmark "Rightmost64_8" = 38.74161920301971
  rawBenchmark "Rightmost8_1" = 44.41905969704213
  rawBenchmark "Rightmost8_2" = 54.657570189798406
  rawBenchmark "Rightmost8_4" = 54.51548104019699
  rawBenchmark "ScalarAdd" = 410.7714457930927
  rawBenchmark "ScalarInvert" = 1774.301764466127
  rawBenchmark "ScalarIsZero" = 150.68813566357764
  rawBenchmark "ScalarMultiply" = 430.52312683792223
  rawBenchmark "ScalarMultiplyLambda" = 309.76081130635305
  rawBenchmark "ScalarNegate" = 272.4586280769547
  rawBenchmark "ScalarNormalize" = 262.222720853674
  rawBenchmark "ScalarSquare" = 319.63744130697734
  rawBenchmark "Scale" = 40374.728500765836
  rawBenchmark "ScriptCMR" = 76.06354466217492
  rawBenchmark "Sha256Block" = 428.73063753263835
  rawBenchmark "Sha256Ctx8Add1" = 357.1469939873504
  rawBenchmark "Sha256Ctx8Add128" = 988.6918403199944
  rawBenchmark "Sha256Ctx8Add16" = 415.4784277283797
  rawBenchmark "Sha256Ctx8Add2" = 367.61900312553604
  rawBenchmark "Sha256Ctx8Add256" = 1618.063444006473
  rawBenchmark "Sha256Ctx8Add32" = 498.1741652411793
  rawBenchmark "Sha256Ctx8Add4" = 358.73790652714655
  rawBenchmark "Sha256Ctx8Add512" = 2943.876504030598
  rawBenchmark "Sha256Ctx8Add64" = 659.6032113473665
  rawBenchmark "Sha256Ctx8Add8" = 374.68717127064343
  rawBenchmark "Sha256Ctx8AddBuffer511" = 2811.1712632387207
  rawBenchmark "Sha256Ctx8Finalize" = 464.13750087504866
  rawBenchmark "Sha256Ctx8Init" = 65.72256048302079
  rawBenchmark "Sha256Iv" = 51.86507201053729
  rawBenchmark "SigAllHash" = 74.01780898147763
  rawBenchmark "Some1" = 39.348504333222046
  rawBenchmark "Some16" = 35.44393063743075
  rawBenchmark "Some32" = 35.685777760954764
  rawBenchmark "Some64" = 52.01425312522673
  rawBenchmark "Some8" = 41.67994966835807
  rawBenchmark "Subtract16" = 63.19727385093392
  rawBenchmark "Subtract32" = 65.73711542469461
  rawBenchmark "Subtract64" = 63.92384623761226
  rawBenchmark "Subtract8" = 61.06034896812143
  rawBenchmark "Swu" = 17844.670780310975
  rawBenchmark "TapEnvHash" = 90.34785898924261
  rawBenchmark "TapdataInit" = 654.8088901361084
  rawBenchmark "TapleafHash" = 75.83151089538666
  rawBenchmark "TapleafVersion" = 58.57378301922501
  rawBenchmark "Tappath" = 46.60476841280421
  rawBenchmark "TappathHash" = 79.52144445412839
  rawBenchmark "TotalFee" = 128.3214285714286
  rawBenchmark "TransactionId" = 77.57004212352764
  rawBenchmark "TxHash" = 79.6895834815193
  rawBenchmark "TxIsFinal" = 39.91991497511649
  rawBenchmark "TxLockDistance" = 50.70260372831025
  rawBenchmark "TxLockDuration" = 46.90895581164496
  rawBenchmark "TxLockHeight" = 44.5346343811494
  rawBenchmark "TxLockTime" = 44.50131256493571
  rawBenchmark "Verify" = 32.09444427680617
  rawBenchmark "Version" = 51.946730072789
  rawBenchmark "Xor1" = 37.39423846227012
  rawBenchmark "Xor16" = 46.3143332902559
  rawBenchmark "Xor32" = 51.3678650882931
  rawBenchmark "Xor64" = 53.19079568520052
  rawBenchmark "Xor8" = 47.77399820413938
  rawBenchmark "XorXor1" = 40.36662737601213
  rawBenchmark "XorXor16" = 44.24820795601652
  rawBenchmark "XorXor32" = 53.43665625904725
  rawBenchmark "XorXor64" = 52.088775723655864
  rawBenchmark "XorXor8" = 54.87228218084948
  
  -- benchmark adjusts the raw benchmark by giving a discount to batch verifiable jets.
  benchmark :: String -> Double
  benchmark jetName = rawBenchmark jetName * adjustment
   where
    batchable = ["LinearVerify1", "PointVerify1", "CheckSigVerify", "Bip0340Verify"]
    adjustment | jetName `elem` batchable = 0.5
               | otherwise = 1
  
  -- Normalized cost where cost "CheckSigVerify" = 50 Weight.
  cost :: String -> Weight
  cost jetName = realToFrac $ benchmark jetName * factor
   where
    factor = 50 / benchmark "CheckSigVerify"
  