{ "generated": "2026-10-23", "description": "Gas per FP19 op across an input ladder: the object (staticcall), the inline library, the same op in FP127Lib on the same value where it fits, and ABDKMathQuad. null = no measurement on that input; reverts counts, per form, the inputs where the form offers the op but reverted or the input is outside its domain or format; a form with neither gas nor reverts does not offer the op. calls says what each Quad cell calls. summary holds min/median/max per form. The internal forms are the library call alone, timed inside the harness's entry point net of its dispatch. typical (where present) is the same over random inputs that take no shortcut.", "versions": { "fp127": "e683e06", "huff": "sepolia:0xfae694D0c2c44181791F838c54Ed64C3151FfE30@11857616", "solady": "v0.1.26", "prb-math": "v4.2.0", "abdk": "v3.2", "balancer": "balancer-v3-monorepo@2b9ce4b1b8ad (LogExpMath.sol, vendored)", "aave": "aave-v3-origin@8305565ae342 (MathUtils, transcribed)", "morpho": "morpho-blue@8e26ca6a8dbc (MathLib, transcribed)", "maker": "dss pot.sol rpow via solady v0.1.26", "forge": "forge Version: 1.7.1" }, "forms": [ "yul", "lib", "fp127lib", "quad" ], "formLabels": { "huff": "Huff (Sepolia, staticcall)", "yul": "Yul object (staticcall)", "caller": "FP127Caller", "lib": "FP19Lib (inline)", "abdk": "ABDKMath64x64", "solady": "Solady", "prb": "PRBMath SD59x18", "quad": "ABDKMathQuad", "balancer": "Balancer LogExpMath", "fp127lib": "FP127Lib (inline), the same op" }, "calls": { "quad": { "exp": "exp(x)", "exp2": "pow_2(x)", "ln": "ln(x)", "log2": "log_2(x)", "sqrt": "sqrt(x)", "inv": "div(fromUInt(1), x) (composed)", "abs": "abs(x)", "neg": "neg(x)", "sign": "sign(x)", "add": "add(a, b)", "sub": "sub(a, b)", "mul": "mul(a, b)", "div": "div(a, b)", "pow": "exp(mul(y, ln(x))) (composed)", "cmp": "cmp(a, b)", "eq": "eq(a, b)", "lt": "cmp(a, b) < 0 (composed)", "toUintDown": "toUInt(x) (truncates: floor for x >= 0)", "toIntDown": "toInt(x) (truncates: floor for x >= 0, the rows kept)", "toFP127": "to128x128(x) (truncates; toFP127 rounds to nearest)", "fromFP127": "from128x128(x) (truncates; fromFP127 rounds to nearest)", "fromUintDown": "fromUInt(x) (truncates the significand)" } }, "ops": { "abs": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28949011045153106605244235818950032093007728803453979368454711116056464719872", "28954537557880419148108084661705966475344610013279869854772469424845548945408" ], "gas": { "yul": [ 724, 725, 725, 727, 744, 730 ], "lib": [ 133, 133, 133, 133, 133, 133 ], "fp127lib": [ 152, 152, 152, 152, 152, 152 ], "quad": [ 21, 21, 21, 21, 21, 21 ] }, "summary": { "yul": { "min": 724, "median": 726, "max": 744 }, "lib": { "min": 133, "median": 133, "max": 133 }, "fp127lib": { "min": 152, "median": 152, "max": 152 }, "quad": { "min": 21, "median": 21, "max": 21 } } }, "add": { "inputs": [ "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420", "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496", "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688", "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808", "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448" ], "gas": { "yul": [ 1119, 1124, 1125, 1127, 1168, 1131 ], "lib": [ 662, 662, 662, 662, 681, 662 ], "fp127lib": [ 128, 128, 128, 128, 128, null ], "quad": [ 765, 765, 704, 704, 765, 460 ] }, "summary": { "yul": { "min": 1119, "median": 1126, "max": 1168 }, "lib": { "min": 662, "median": 662, "max": 681 }, "fp127lib": { "min": 128, "median": 128, "max": 128 }, "quad": { "min": 460, "median": 734, "max": 765 } }, "reverts": { "fp127lib": 1 } }, "atanh": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947249313738208312748553559515401936466821642205257926570217799265216888832", "-28948574449036792100995741032640959125353692255127914640788809003916186353664", "28947691025504402908830949383890587666095778513179476831309748200815540043776", "28947856667416725882361847818031282314706637339794808920587072101396911226880", "-28948132737270597504913345208265773395724735384153695736049278602365863198721" ], "gas": { "yul": [ 3431, 5042, 5039, 5045, 5064, 5063 ], "lib": [ 3377, 5080, 5028, 5019, 5021, 5066 ], "fp127lib": [ 2746, 2771, 2783, 2810, 2795, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 3431, "median": 5043, "max": 5064 }, "lib": { "min": 3377, "median": 5024, "max": 5080 }, "fp127lib": { "min": 2746, "median": 2783, "max": 2810 }, "quad": null }, "reverts": { "fp127lib": 1 }, "typical": { "inputs": [ "28947305231433911653042236456692694277022826823694566697881334270850544764913", "-28948820380444432047030978220275128343028376118485246264567482356197783257916", "28947121133268734672419375008293040647590924163438192220411357924218777359827", "28947294139465410116681068611596075726197867646009409581089800958560605886816", "-28949176779313982003090725112574030048867380301804663709684279578053623876675", "28947733212203349529929994734558358045138751534362481770615796896096102349654", "-28948917373178635789307324535616798727649350860900484654674469831571000953510", "28946602987399750244364452113019807522407332665942289557096230686145954914489" ], "gas": { "yul": [ 5207, 3945, 3972, 5296, 3975, 5209, 3978, 3588 ], "lib": [ 5101, 3842, 3853, 5090, 3853, 5099, 3853, 3382 ], "fp127lib": [ 2781, 2795, 2781, 2791, 2750, 2811, 2785, 2746 ], "quad": [ null, null, null, null, null, null, null, null ] }, "summary": { "yul": { "min": 3588, "median": 3976, "max": 5296 }, "lib": { "min": 3382, "median": 3853, "max": 5101 }, "fp127lib": { "min": 2746, "median": 2783, "max": 2811 }, "quad": null } } }, "avg": { "inputs": [ "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420", "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496", "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688", "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808", "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448" ], "gas": { "yul": [ 1115, 1115, 1117, 1117, 1156, 1119 ], "lib": [ 663, 663, 663, 663, 682, 663 ], "fp127lib": [ 114, 114, 114, 114, 114, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 1115, "median": 1117, "max": 1156 }, "lib": { "min": 663, "median": 663, "max": 682 }, "fp127lib": { "min": 114, "median": 114, "max": 114 }, "quad": null }, "reverts": { "fp127lib": 1 } }, "cbrt": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28949011045153106605244235818950032093007728803453979368454711116056464719872", "28954537557880419148108084661705966475344610013279869854772469424845548945408" ], "gas": { "yul": [ 3083, 3039, 3085, 3112, 3088, 3089 ], "lib": [ 2760, 2734, 2760, 2773, 2760, 2760 ], "fp127lib": [ 1944, 1944, 1944, 1944, 1944, 1944 ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 3039, "median": 3086, "max": 3112 }, "lib": { "min": 2734, "median": 2760, "max": 2773 }, "fp127lib": { "min": 1944, "median": 1944, "max": 1944 }, "quad": null }, "typical": { "inputs": [ "28946368801213773373404075468550985422269210424008059109058463070860237342814", "28955128187299475976079939190796069725970430114633699537209953313209234051961", "-28948817050172506320117354852142416412572609147340155224110480664870251591852", "-28981022244346037428348535148742961682868992738251802740297576819461968854833", "-28948626801110193925817071920796536014680166576344097989318238147221422597571", "-28969340578943294325550268838831959231589002680151304760517271078666032494773", "28923955483414336513939472791983830075102860480702887624384975918391068884403", "-28973270050719702582555464975402389291537275576275921000887479469911477908218" ], "gas": { "yul": [ 3234, 3165, 3167, 3169, 3240, 3172, 3263, 3219 ], "lib": [ 2773, 2734, 2734, 2734, 2773, 2734, 2734, 2760 ], "fp127lib": [ 1944, 1944, 1948, 101, 1948, 101, 101, 101 ], "quad": [ null, null, null, null, null, null, null, null ] }, "summary": { "yul": { "min": 3165, "median": 3195, "max": 3263 }, "lib": { "min": 2734, "median": 2734, "max": 2773 }, "fp127lib": { "min": 101, "median": 1022, "max": 1948 }, "quad": null } } }, "ceil": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28954532442230539056274183623639853713369689690631715677698841135435504156672", "28969997469697230010991938514837467012358100497377531520656033479106859368449" ], "gas": { "yul": [ 979, 980, 1149, 1264, 1152, 1181 ], "lib": [ 336, 336, 523, 571, 523, 543 ], "fp127lib": [ 147, 147, 147, 147, 147, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 979, "median": 1150, "max": 1264 }, "lib": { "min": 336, "median": 523, "max": 571 }, "fp127lib": { "min": 147, "median": 147, "max": 147 }, "quad": null }, "reverts": { "fp127lib": 1 } }, "clamp": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088,28947691025504402908830949383890587666095778513179476831309748200815540043776,28948022309329048855892746252171976963317496166410141009864396001978282409984", "28947801453445951557851548339984384098503017730923031557494630801203120832512,28947691025504402908830949383890587666095778513179476831309748200815540043776,28948022309329048855892746252171976963317496166410141009864396001978282409984", "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947691025504402908830949383890587666095778513179476831309748200815540043776,28948022309329048855892746252171976963317496166410141009864396001978282409984", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28947691025504402908830949383890587666095778513179476831309748200815540043776,28948022309329048855892746252171976963317496166410141009864396001978282409984", "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947691025504402908830949383890587666095778513179476831309748200815540043776,28948022309329048855892746252171976963317496166410141009864396001978282409984", "28954537557880419148108084661705966475344610013279869854772469424845548945408,28947691025504402908830949383890587666095778513179476831309748200815540043776,28948022309329048855892746252171976963317496166410141009864396001978282409984" ], "gas": { "yul": [ 1128, 1126, 1128, 1134, 1135, 1193 ], "lib": [ 491, 492, 492, 491, 491, 491 ], "fp127lib": [ 241, 242, 242, 241, 241, 241 ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 1126, "median": 1131, "max": 1193 }, "lib": { "min": 491, "median": 491, "max": 492 }, "fp127lib": { "min": 241, "median": 241, "max": 242 }, "quad": null } }, "cmp": { "inputs": [ "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420", "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496", "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688", "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808", "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448" ], "gas": { "yul": [ 801, 802, 803, 803, 804, 805 ], "lib": [ 248, 248, 248, 248, 248, 248 ], "fp127lib": [ null, null, null, null, null, null ], "quad": [ 346, 476, 476, 476, 489, 476 ] }, "summary": { "yul": { "min": 801, "median": 803, "max": 805 }, "lib": { "min": 248, "median": 248, "max": 248 }, "fp127lib": null, "quad": { "min": 346, "median": 476, "max": 489 } } }, "compound": { "inputs": [ "28944599043141040736254178613264287558693080416359944498133035389963277959168,365", "28946586746088916418624959822952623342023386335743929569460922196939732156416,10000", "28947536425375236800183961853059259594962407458077107298805641092231541555200,10", "-28948684876978340750016339988734755557760931472871469366973691604303767142400,100", "28947083671825885339217655125374707287855962815589925837292893898683845705728,-365", "28944743979814323338093714743137395376227581889648360076250693802971977744384,315360000" ], "gas": { "yul": [ 5591, 5702, 5896, 6150, 6158, 5689 ], "lib": [ 5960, 6183, 6363, 6754, 6740, 6156 ], "fp127lib": [ 4311, 5407, 2127, 3009, 5123, 10089 ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 5591, "median": 5799, "max": 6158 }, "lib": { "min": 5960, "median": 6273, "max": 6754 }, "fp127lib": { "min": 2127, "median": 4717, "max": 10089 }, "quad": null }, "typical": { "inputs": [ "28943508132192289552434663252246455642241625493490461809315226804477721786277,216", "28945293265251523653381457246769797679695746845202901948644878826493797505531,30", "28944455998854833329159503691338090780502098159367068733455987044899839683517,35623", "28946612074995269622324923432113702031742305385878109427108610128539888111474,7", "28943904051279368252216248238290900819296069130965190056977936127837121299303,144875", "28945042735518155844518131550724547160148282312052615949249447921830787400379,370731", "28943937132690463437799689242810059351585850624418330004007232993504690539814,13", "28945293874445998725669277157762091750523558490357264794910684284179768567266,13" ], "gas": { "yul": [ 5673, 5801, 5685, 5844, 5723, 5933, 5709, 5872 ], "lib": [ 5949, 5951, 5951, 5967, 5962, 6036, 5949, 5949 ], "fp127lib": [ 3637, 2827, 6605, 2085, 7751, 7617, 2355, 2355 ], "quad": [ null, null, null, null, null, null, null, null ] }, "summary": { "yul": { "min": 5673, "median": 5762, "max": 5933 }, "lib": { "min": 5949, "median": 5951, "max": 6036 }, "fp127lib": { "min": 2085, "median": 3232, "max": 7751 }, "quad": null } } }, "cosh": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947691025504402908830949383890587666095778513179476831309748200815540043776", "-28948187951241371829423644686312671611928354993025473099141719902559653593088", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948381200139081965209692859476815368641023624076693869965264453237919973376", "28949830566871907983605054158207893543986038356960849651141848583324917825536" ], "gas": { "yul": [ 3424, 3507, 3511, 3539, 3510, 3514 ], "lib": [ 3465, 3682, 3651, 3671, 3692, 3672 ], "fp127lib": [ 3807, 3958, 3881, 3908, 3914, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 3424, "median": 3510, "max": 3539 }, "lib": { "min": 3465, "median": 3671, "max": 3692 }, "fp127lib": { "min": 3807, "median": 3908, "max": 3958 }, "quad": null }, "reverts": { "fp127lib": 1 }, "typical": { "inputs": [ "28947692416272271092019247939957400332044329929001426201821352458618737508202", "-28947712801476350305049445189939454922830173414170658091106849595044916904600", "-28947557893741474686927078954599154606492742812409360294443845604513432744472", "-28947486546729019898336846446589261236379266774980244257624241210734337034214", "-28947773671627145050738559924150865621029250905273540982946356644782089983336", "-28947718618175980955004624995393655189173985364822201016630765739422643794197", "-28947896282977835323708731308120512868846121322826381272309555288026997211398", "28947684375002699045747489270682976329516103494677010739657043846016141973942" ], "gas": { "yul": [ 3641, 3669, 3672, 3645, 3671, 3675, 3676, 3678 ], "lib": [ 3692, 3703, 3683, 3692, 3682, 3693, 3693, 3693 ], "fp127lib": [ 3871, 3924, 3918, 3972, 3891, 3908, 3948, 3907 ], "quad": [ null, null, null, null, null, null, null, null ] }, "summary": { "yul": { "min": 3641, "median": 3671, "max": 3678 }, "lib": { "min": 3682, "median": 3692, "max": 3703 }, "fp127lib": { "min": 3871, "median": 3913, "max": 3972 }, "quad": null } } }, "dist": { "inputs": [ "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420", "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496", "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688", "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808", "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448" ], "gas": { "yul": [ 1043, 1325, 1208, 1229, 1268, 1231 ], "lib": [ 607, 928, 819, 819, 838, 819 ], "fp127lib": [ 289, 289, 289, 289, 289, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 1043, "median": 1230, "max": 1325 }, "lib": { "min": 607, "median": 819, "max": 928 }, "fp127lib": { "min": 289, "median": 289, "max": 289 }, "quad": null }, "reverts": { "fp127lib": 1 } }, "div": { "inputs": [ "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420", "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496", "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688", "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808", "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448" ], "gas": { "yul": [ 1325, 1327, 1329, 1330, 1331, 1313 ], "lib": [ 800, 800, 800, 800, 800, 800 ], "fp127lib": [ 412, 412, 412, 412, 412, null ], "quad": [ 818, 818, 818, 818, 818, 818 ] }, "summary": { "yul": { "min": 1313, "median": 1328, "max": 1331 }, "lib": { "min": 800, "median": 800, "max": 800 }, "fp127lib": { "min": 412, "median": 412, "max": 412 }, "quad": { "min": 818, "median": 818, "max": 818 } }, "reverts": { "fp127lib": 1 } }, "divDown": { "inputs": [ "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420", "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496", "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688", "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808", "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448" ], "gas": { "yul": [ 1485, 1440, 1441, 1489, 1442, 1493 ], "lib": [ 987, 987, 987, 987, 987, 987 ], "fp127lib": [ 475, 475, 475, 475, 475, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 1440, "median": 1463, "max": 1493 }, "lib": { "min": 987, "median": 987, "max": 987 }, "fp127lib": { "min": 475, "median": 475, "max": 475 }, "quad": null }, "reverts": { "fp127lib": 1 } }, "divUp": { "inputs": [ "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420", "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496", "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688", "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808", "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448" ], "gas": { "yul": [ 1478, 1577, 1527, 1481, 1534, 1536 ], "lib": [ 988, 1034, 1034, 988, 988, 988 ], "fp127lib": [ 478, 478, 478, 478, 478, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 1478, "median": 1530, "max": 1577 }, "lib": { "min": 988, "median": 988, "max": 1034 }, "fp127lib": { "min": 478, "median": 478, "max": 478 }, "quad": null }, "reverts": { "fp127lib": 1 } }, "eq": { "inputs": [ "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420", "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496", "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688", "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808", "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448" ], "gas": { "yul": [ 827, 797, 798, 833, 834, 835 ], "lib": [ 176, 176, 176, 176, 176, 176 ], "fp127lib": [ null, null, null, null, null, null ], "quad": [ 147, 108, 108, 108, 108, 108 ] }, "summary": { "yul": { "min": 797, "median": 830, "max": 835 }, "lib": { "min": 176, "median": 176, "max": 176 }, "fp127lib": null, "quad": { "min": 108, "median": 108, "max": 147 } } }, "erf": { "inputs": [ "28944599043141040736254178613264287558693080416359944498133035389963277959168", "28947691025504402908830949383890587666095778513179476831309748200815540043776", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948077523299823180403045730218875179521115775281918372956837302172072804352", "28948160344255984667168494947289222503826545188589584417595499252462758395904", "28948256968704839735061519033871294382182879504115194803007271527801891586048" ], "gas": { "yul": [ 5678, 12705, 5607, 5911, 6252, 48073 ], "lib": [ 6159, 13599, 5931, 6131, 6644, 43002 ], "fp127lib": [ 3035, 6259, 9179, 16247, 24667, 11409 ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 5607, "median": 6081, "max": 48073 }, "lib": { "min": 5931, "median": 6401, "max": 43002 }, "fp127lib": { "min": 3035, "median": 10294, "max": 24667 }, "quad": null }, "typical": { "inputs": [ "28948190970545205071059967197889950084141773386176007053070459754741784053012", "-28947940169752740984145358715549764590113796981152887463691251918034851668245", "28947894784875740395108371566245209302714676967755050620287161639918381557101", "28947313244882783128237144035985381689179210327339247212056360294888822387512", "28947921191307164463801316310123305020773645143789680049721232156520642269311", "-28947876244929951656979089339520770433964232086966427413973243187926709172132", "-28947991358531727649578717006993452976151088375264021510184414870114630991678", "-28948572258578373324256492139352183810485944010447470714442018404331289207555" ], "gas": { "yul": [ 84232, 22283, 28880, 9157, 27490, 25706, 28578, 10175 ], "lib": [ 73539, 26061, 33756, 9890, 32423, 29775, 33334, 10948 ], "fp127lib": [ 18289, 18316, 8895, 4652, 9472, 23020, 14622, 5097 ], "quad": [ null, null, null, null, null, null, null, null ] }, "summary": { "yul": { "min": 9157, "median": 26598, "max": 84232 }, "lib": { "min": 9890, "median": 31099, "max": 73539 }, "fp127lib": { "min": 4652, "median": 12047, "max": 23020 }, "quad": null } } }, "erfc": { "inputs": [ "28947691025504402908830949383890587666095778513179476831309748200815540043776", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948077523299823180403045730218875179521115775281918372956837302172072804352", "28948160344255984667168494947289222503826545188589584417595499252462758395904", "28948256968704839735061519033871294382182879504115194803007271527801891586048", "28948857420637010514111025857631312483397242750595773626637570667409362124800" ], "gas": { "yul": [ 12850, 5640, 5917, 6318, 48139, 9903 ], "lib": [ 13687, 5955, 6144, 6668, 43026, 10972 ], "fp127lib": [ 6268, 9188, 16256, 24652, 11394, 235 ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 5640, "median": 8110, "max": 48139 }, "lib": { "min": 5955, "median": 8820, "max": 43026 }, "fp127lib": { "min": 235, "median": 10291, "max": 24652 }, "quad": null }, "typical": { "inputs": [ "28947813146481782903899301806758231536236328365484713518410778604933165304049", "28948163774982523178049819035997290322631432316477481178733407701662107316904", "28947874022611411051602987446380559723373460438686157731592293223053249916522", "-28948168682180023452523486294414570324345313359795272601288672885864923799329", "-28948554891707508596389047077566771509926728887600153127488573732794933265340", "-28948248679221538707654416603187901535216712950896044036096534476399727641136", "28948338254188786345097062546011009490902092808890447456252412081697655884317", "-28947714003989333267801379090944478170843740901662452183822652502468601822294" ], "gas": { "yul": [ 29486, 17022, 28649, 27550, 10609, 15100, 31326, 32294 ], "lib": [ 34403, 19560, 33639, 32473, 11335, 16090, 28605, 29470 ], "fp127lib": [ 7571, 23797, 8465, 8642, 5261, 7299, 235, 247 ], "quad": [ null, null, null, null, null, null, null, null ] }, "summary": { "yul": { "min": 10609, "median": 28099, "max": 32294 }, "lib": { "min": 11335, "median": 29037, "max": 34403 }, "fp127lib": { "min": 235, "median": 7435, "max": 23797 }, "quad": null } } }, "exp": { "inputs": [ "-28947442562635918448534601732679545693179490273256478697393762349943483269120", "-28948132737270597504913345208265773395724735384153695736049278602365863198720", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948381200139081965209692859476815368641023624076693869965264453237919973376", "28949830566871907983605054158207893543986038356960849651141848583324917825536" ], "gas": { "yul": [ 3442, 3397, 3367, 3341, 3368, 3346 ], "lib": [ 3328, 3317, 3290, 3268, 3300, 3269 ], "fp127lib": [ 2746, 2726, 2776, 2716, 2722, null ], "quad": [ 5947, 5877, 5766, 5766, 5724, 979 ] }, "summary": { "yul": { "min": 3341, "median": 3367, "max": 3442 }, "lib": { "min": 3268, "median": 3295, "max": 3328 }, "fp127lib": { "min": 2716, "median": 2726, "max": 2776 }, "quad": { "min": 979, "median": 5766, "max": 5947 } }, "reverts": { "fp127lib": 1 }, "typical": { "inputs": [ "28947499601919816840417255112991482333080210767884135791408120031728469104128", "28947302162023429333552289425232641382903925374493807183516499538946325762276", "-28948362644828542910566314379891067812200553160696948303631784367499588880324", "-28948522250432163528984578365658010037110333270769791438491326431166916095868", "28947493253375953136678093677605015524618553088563260871751612591601094309712", "28947253574578312823495895295186373972613678155948869239586653002637094518157", "28948285486831135070562516079667700889505491275473009311458092264167704482888", "28948563591875538854055807889549057627672444119490309297736497772616907628886" ], "gas": { "yul": [ 3314, 3266, 3408, 3373, 3332, 3296, 3309, 3324 ], "lib": [ 3268, 3127, 3338, 3337, 3268, 3148, 3309, 3289 ], "fp127lib": [ 2685, 2699, 2705, 2732, 2705, 2669, 2732, 2712 ], "quad": [ 5682, 5654, 5863, 5961, 5598, 5836, 5598, 5570 ] }, "summary": { "yul": { "min": 3266, "median": 3319, "max": 3408 }, "lib": { "min": 3127, "median": 3278, "max": 3338 }, "fp127lib": { "min": 2669, "median": 2705, "max": 2732 }, "quad": { "min": 5570, "median": 5668, "max": 5961 } } } }, "exp10": { "inputs": [ "-28951437723432590167907473694311522273474478219642024456654021492566801776640", "-28947848849524088716463520218511671115261345065594688247055615917296238409886", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948393252345579069049475510201048486010698146518469807193462898760138367628", "28949520904432592783569159758957840000260517880148250486891767291311295874914" ], "gas": { "yul": [ 3255, 3243, 3216, 3193, 3218, 3194 ], "lib": [ 3274, 3153, 3181, 3160, 3191, 3180 ], "fp127lib": [ 2982, 2966, 2987, 2966, 2987, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 3193, "median": 3217, "max": 3255 }, "lib": { "min": 3153, "median": 3180, "max": 3274 }, "fp127lib": { "min": 2966, "median": 2982, "max": 2987 }, "quad": null }, "reverts": { "fp127lib": 1 }, "typical": { "inputs": [ "28948326777580395519978844991739620723442676442910280509958549915515937933480", "28948393027217052906591973486310513727391157617172323120258695816089664361863", "-28948074435470910098331890461793008421013825970728510782070864871213171467415", "28948343893202414802360243175179365196295012140323422199550237297826807100976", "-28947626805161696244401742211398572561770969058212232075173730130022993816988", "28948123991599347022956220936018466788363750434016645905316142984898988222519", "28947742564275544306445550747633944421227054888778724529706021293360156933599", "-28948762963966782360602215506346343522704206427484956453978556115871307676366" ], "gas": { "yul": [ 3310, 3310, 3491, 3381, 3355, 3344, 3343, 3404 ], "lib": [ 3170, 3139, 3257, 3159, 3183, 3171, 3191, 3256 ], "fp127lib": [ 3007, 2966, 3003, 2956, 2983, 2973, 2987, 2973 ], "quad": [ null, null, null, null, null, null, null, null ] }, "summary": { "yul": { "min": 3310, "median": 3349, "max": 3491 }, "lib": { "min": 3139, "median": 3177, "max": 3257 }, "fp127lib": { "min": 2956, "median": 2978, "max": 3007 }, "quad": null } } }, "exp2": { "inputs": [ "-28951437723432590167907473694311522273474478219642024456654021492566801776640", "-28947848849524088716463520218511671115261345065594688247055615917296238409886", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948393252345579069049475510201048486010698146518469807193462898760138367628", "28949520904432592783569159758957840000260517880148250486891767291311295874914" ], "gas": { "yul": [ 3249, 3275, 3136, 1859, 3182, 3194 ], "lib": [ 3186, 3168, 2988, 1541, 3112, 3102 ], "fp127lib": [ 2655, 2690, 2660, 2549, 2636, null ], "quad": [ 5908, 5347, 4158, 4158, 4914, 404 ] }, "summary": { "yul": { "min": 1859, "median": 3188, "max": 3275 }, "lib": { "min": 1541, "median": 3107, "max": 3186 }, "fp127lib": { "min": 2549, "median": 2655, "max": 2690 }, "quad": { "min": 404, "median": 4536, "max": 5908 } }, "reverts": { "fp127lib": 1 }, "typical": { "inputs": [ "28948599432984597227631644004690525834857209942492602543539603063908370843758", "28947446374486732276846481537760379524631386046548226474358939165862290763857", "-28947639825561603782724800027856262895702533124528795463022414037384096702783", "28948069881511418327636694669081373117428057268486710090196731532923443112992", "-28947718234237742506107354065057392204204402701307239341768762230716819933759", "28948221872989984818435783951342402220003152415466249891641678190863823699151", "-28947871188829434647621130492230146766907779268045165509227122326283050318370", "28947910572346994459638659422988270843374352369031239775314224727934240905427" ], "gas": { "yul": [ 3282, 3232, 3396, 3286, 3387, 3290, 3377, 3304 ], "lib": [ 3081, 2939, 3138, 3081, 3158, 3071, 3127, 3112 ], "fp127lib": [ 2650, 2633, 2670, 2656, 2656, 2640, 2670, 2629 ], "quad": [ 4788, 4970, 5165, 4858, 5207, 4830, 5081, 5138 ] }, "summary": { "yul": { "min": 3232, "median": 3297, "max": 3396 }, "lib": { "min": 2939, "median": 3096, "max": 3158 }, "fp127lib": { "min": 2629, "median": 2653, "max": 2670 }, "quad": { "min": 4788, "median": 5025, "max": 5207 } } } }, "expm1": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28944599043141040736254178613264287558693080416359944498133035389963277959168", "-28949126588744535346098735813109941287389888343845688271713222005854090297344", "28947028457855111014707355647327809071652343206718148474200452598490055311360", "-28948243165212146153933944164359569828131974601897250462234161202753443987456", "28948381200139081965209692859476815368641023624076693869965264453237919973376" ], "gas": { "yul": [ 2758, 2734, 2765, 3291, 3456, 3345 ], "lib": [ 2386, 2375, 2395, 3104, 3382, 3277 ], "fp127lib": [ 1545, 2057, 3782, 4473, 2957, 3101 ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 2734, "median": 3028, "max": 3456 }, "lib": { "min": 2375, "median": 2749, "max": 3382 }, "fp127lib": { "min": 1545, "median": 3029, "max": 4473 }, "quad": null }, "typical": { "inputs": [ "-28950971293220857829678242804487025539945344859009718772655309964365546137850", "-28947976312871402584232679790700812046891254891877023917745345076968429921034", "-28950025253778794547690803001988716265324010665442128214157414703140708126767", "-28948238688710394206184871434648299175463117903618879432469851860220100536108", "28947991275965410381693255135691078461162274334454905471591689020405972494720", "-28949822467526358245277094948426708481173770066161993566347419869375299053946", "-28949086217743511324212321890071978863521295285594374396554863291080042585834", "-28949245509087884561778908590985004021606094852730313821013772982390514252255" ], "gas": { "yul": [ 2765, 3470, 2760, 3486, 3339, 2795, 2741, 2743 ], "lib": [ 2390, 3398, 2395, 3419, 3277, 2395, 2384, 2384 ], "fp127lib": [ 2057, 2963, 2574, 2948, 3095, 3091, 3782, 3782 ], "quad": [ null, null, null, null, null, null, null, null ] }, "summary": { "yul": { "min": 2741, "median": 2780, "max": 3486 }, "lib": { "min": 2384, "median": 2395, "max": 3419 }, "fp127lib": { "min": 2057, "median": 3027, "max": 3782 }, "quad": null } } }, "factorial": { "inputs": [ "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948160344255984667168494947289222503826545188589584417595499252462758395904", "28948353593153694802954543120453366260539213819640805188419043803141024776192", "28948589977966072379764262760841649248660960270123102024158558119595689902080", "28949010984493226604155296280949248147213559787770404417738423033573341659136", "28949564849637556546899237920107195878506118989265421091259474826142301552640" ], "gas": { "yul": [ 877, 1977, 2649, 8087, 93056, null ], "lib": [ 392, 1701, 2427, 8685, 106059, null ], "fp127lib": [ 190, 406, 1000, null, null, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 877, "median": 2649, "max": 93056 }, "lib": { "min": 392, "median": 2427, "max": 106059 }, "fp127lib": { "min": 190, "median": 406, "max": 1000 }, "quad": null }, "reverts": { "yul": 1, "lib": 1, "fp127lib": 3 } }, "floor": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28954532442230539056274183623639853713369689690631715677698841135435504156672", "28969997469697230010991938514837467012358100497377531520656033479106859368449" ], "gas": { "yul": [ 928, 972, 1130, 1131, 1133, 1134 ], "lib": [ 309, 309, 522, 522, 522, 522 ], "fp127lib": [ 72, 72, 72, 72, 72, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 928, "median": 1130, "max": 1134 }, "lib": { "min": 309, "median": 522, "max": 522 }, "fp127lib": { "min": 72, "median": 72, "max": 72 }, "quad": null }, "reverts": { "fp127lib": 1 } }, "frac": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "-28947959277465637365484119174605467547668584283338242973240498517683819198622", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28954532442230539056274183623639853713369689690631715677698841135435504156672", "28969997469697230010991938514837467012358100497377531520656033479106859368449" ], "gas": { "yul": [ 834, 836, 1960, 1228, 911, 1189 ], "lib": [ 187, 187, 1419, 586, 270, 586 ], "fp127lib": [ 69, 69, 69, 69, 69, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 834, "median": 1050, "max": 1960 }, "lib": { "min": 187, "median": 428, "max": 1419 }, "fp127lib": { "min": 69, "median": 69, "max": 69 }, "quad": null }, "reverts": { "fp127lib": 1 } }, "fromFP127": { "inputs": [ "1", "170141183460469231731687303715884105728", "340282366920938463463374607431768211456", "510423550381407695195061911147652317184", "340282366920938463463374607431768211456000", "-340282366920938463463374607431768211456" ], "gas": { "yul": [ 947, 947, 949, 962, 951, 952 ], "lib": [ 440, 440, 440, 440, 440, 440 ], "fp127lib": [ null, null, null, null, null, null ], "quad": [ 495, 623, 528, 528, 551, 563 ] }, "summary": { "yul": { "min": 947, "median": 950, "max": 962 }, "lib": { "min": 440, "median": 440, "max": 440 }, "fp127lib": null, "quad": { "min": 495, "median": 539, "max": 623 } } }, "fromFixed18": { "inputs": [ "1", "500000000000000000", "1000000000000000000", "3141592653589793238", "1000000000000000000000", "-3141592653589793238" ], "gas": { "yul": [ 1145, 1146, 1147, 1148, 1150, 1150 ], "lib": [ 554, 554, 554, 554, 554, 554 ], "fp127lib": [ 140, 140, 140, 140, 140, 140 ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 1145, "median": 1147, "max": 1150 }, "lib": { "min": 554, "median": 554, "max": 554 }, "fp127lib": { "min": 140, "median": 140, "max": 140 }, "quad": null } }, "fromUint": { "inputs": [ "1", "2", "1000000000000000000", "1267650600228229401496703205376", "110427941548649020598956093796432407239217743554726184882600387580788736", "1809251394333065553493296640760748560207343510400633813116524750123642650624" ], "gas": { "yul": [ 935, 936, 937, 938, 939, 940 ], "lib": [ 413, 413, 413, 413, 413, 413 ], "fp127lib": [ null, null, null, null, null, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 935, "median": 937, "max": 940 }, "lib": { "min": 413, "median": 413, "max": 413 }, "fp127lib": null, "quad": null } }, "fromUintDown": { "inputs": [ "1", "2", "1000000000000000000", "1267650600228229401496703205376", "110427941548649020598956093796432407239217743554726184882600387580788736", "1809251394333065553493296640760748560207343510400633813116524750123642662969" ], "gas": { "yul": [ 910, 911, 911, 913, 914, 939 ], "lib": [ 487, 487, 487, 487, 487, 487 ], "fp127lib": [ null, null, null, null, null, null ], "quad": [ 435, 440, 512, 489, 540, 558 ] }, "summary": { "yul": { "min": 910, "median": 912, "max": 939 }, "lib": { "min": 487, "median": 487, "max": 487 }, "fp127lib": null, "quad": { "min": 435, "median": 500, "max": 558 } } }, "fromUintUp": { "inputs": [ "1", "2", "1000000000000000000", "1267650600228229401496703205376", "110427941548649020598956093796432407239217743554726184882600387580788736", "1809251394333065553493296640760748560207343510400633813116524750123642662969" ], "gas": { "yul": [ 956, 981, 957, 959, 960, 1008 ], "lib": [ 488, 488, 488, 488, 488, 534 ], "fp127lib": [ null, null, null, null, null, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 956, "median": 959, "max": 1008 }, "lib": { "min": 488, "median": 488, "max": 534 }, "fp127lib": null, "quad": null } }, "gavg": { "inputs": [ "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420", "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496", "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688", "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808", "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448" ], "gas": { "yul": [ 2267, 2324, 2297, 2298, 2300, 2271 ], "lib": [ 1864, 1878, 1864, 1864, 1864, 1864 ], "fp127lib": [ 1289, 1289, 1289, 1289, 947, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 2267, "median": 2297, "max": 2324 }, "lib": { "min": 1864, "median": 1864, "max": 1878 }, "fp127lib": { "min": 947, "median": 1289, "max": 1289 }, "quad": null }, "reverts": { "fp127lib": 1 }, "typical": { "inputs": [ "28946537729848081951759388743207296708099957139630570856355655874234774623907,28944241671315114122244316738865222255096174060220739676132507924019298297670", "28953621603440960877101572405654264501847630961112358807057096055930628775142,28949990317540838461005100343709181663432456246819510019674401270105441772507", "28953435498650973791986499276990799583714813428278275034235350219409240320186,28952331130003026165053963353775359606347272045514857536141626830264924283172", "28941656205562306289069671488542595796002561220849063588242375910607077392618,28947423781617302866453642274682454657852435995374806716383718057912389122378", "28950970431531277067949487007612262606241041695483574726612887302686958033272,28945907776175029850756122962165218757067375176984062943159127448873249316035", "28947374036447609704848068284991707557689440486757150116009389310285932132759,28949006092145113301477281223504999401135110701215818420596784462164751474366", "28946143437021321950075311380146378594264065667614191062859836348895970888244,28945720561140809299713261116070449752826083749097464303083497823809973030363", "28953273912754427996128958144242974350014003121966219866838487853523548358336,28943941164371363548188796575457095097910399471647931238420676414636880118619" ], "gas": { "yul": [ 2384, 2709, 2667, 2574, 2553, 2565, 2561, 2894 ], "lib": [ 1872, 2115, 2099, 2105, 1870, 1870, 2099, 2334 ], "fp127lib": [ 947, 1289, 1289, 947, 1289, 1289, 947, 1289 ], "quad": [ null, null, null, null, null, null, null, null ] }, "summary": { "yul": { "min": 2384, "median": 2569, "max": 2894 }, "lib": { "min": 1870, "median": 2099, "max": 2334 }, "fp127lib": { "min": 947, "median": 1289, "max": 1289 }, "quad": null } } }, "hypot": { "inputs": [ "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420", "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496", "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688", "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808", "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448" ], "gas": { "yul": [ 3155, 3523, 3234, 3339, 3420, 1161 ], "lib": [ 3198, 3668, 3283, 3376, 3396, 595 ], "fp127lib": [ 1576, 1576, 1576, 1576, 1234, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 1161, "median": 3286, "max": 3523 }, "lib": { "min": 595, "median": 3329, "max": 3668 }, "fp127lib": { "min": 1234, "median": 1576, "max": 1576 }, "quad": null }, "reverts": { "fp127lib": 1 }, "typical": { "inputs": [ "-28943163129466962990445902088874560768218493192549442238881204871683580333252,28949291624414180405036391562191230962388235227177775479979460381464594996653", "-28950613876726304254552465411010069694254981921559776779272564163216301435821,28944482746686140329179751253739441635479189596259366553693381927982601548290", "-28944761002670167596137540172539569271365571976787413890214004046730976709125,28942155057713508915458335447081803874669103386823366395606207853002643964984", "28946543567475784158696679872006602557929716596760155111098210392978292632386,-28950880758825046800180930457558576498500549303015656792606922353323248710798", "-28953606688246074349572907640689323587754066756036349237170221762554024143317,-28945844846199575660415280234092944903764234111597949355481569407899126484824", "28951768330668881237546732862344945825111636056285295695321768209652614686596,-28949003811896552749021230833281669034547077024897916914677411644015520182184", "-28951008379097170626826259285570111177917373972953218495147621434625068191880,28945536775818648903191152146361468539031188487269342432258511230684571549998", "-28950013711362323968966585835651085836405623738368588337893067173515922767814,28949212655075220384081158752095444112154383672993780735989483970994095273396" ], "gas": { "yul": [ 3656, 3299, 3550, 3639, 3580, 3568, 3526, 3783 ], "lib": [ 3595, 3275, 3595, 3518, 3380, 3595, 3295, 3615 ], "fp127lib": [ 1576, 1234, 1576, 1234, 1576, 1576, 1234, 1576 ], "quad": [ null, null, null, null, null, null, null, null ] }, "summary": { "yul": { "min": 3299, "median": 3574, "max": 3783 }, "lib": { "min": 3275, "median": 3556, "max": 3615 }, "fp127lib": { "min": 1234, "median": 1576, "max": 1576 }, "quad": null } } }, "inv": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28949011045153106605244235818950032093007728803453979368454711116056464719872", "28954537557880419148108084661705966475344610013279869854772469424845548945408" ], "gas": { "yul": [ 1269, 1270, 1271, 1272, 1273, 1274 ], "lib": [ 747, 747, 747, 747, 747, 747 ], "fp127lib": [ 242, 242, 242, 242, 242, 242 ], "quad": [ 1253, 1253, 1253, 1295, 1295, 1253 ] }, "summary": { "yul": { "min": 1269, "median": 1271, "max": 1274 }, "lib": { "min": 747, "median": 747, "max": 747 }, "fp127lib": { "min": 242, "median": 242, "max": 242 }, "quad": { "min": 1253, "median": 1253, "max": 1295 } } }, "lambertW0": { "inputs": [ "-28948293488966015778913925201524120789821669139494883864912860795419385397248", "-28948301524439823451573181562426282844836725846889947058126359224198889472000", "-28948574449036792100995741032640959125353692255127914640788809003916186353664", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948353593153694802954543120453366260539213819640805188419043803141024776192", "28958954675542365108932042905457823771634178723022058902167773440348780494848" ], "gas": { "yul": [ null, 27166, 9174, 9680, 9578, 9365 ], "lib": [ null, 32217, 9942, 10628, 10534, 10338 ], "fp127lib": [ null, 11110, 7670, 328, 7988, 7988 ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 9174, "median": 9578, "max": 27166 }, "lib": { "min": 9942, "median": 10534, "max": 32217 }, "fp127lib": { "min": 328, "median": 7988, "max": 11110 }, "quad": null }, "reverts": { "yul": 1, "lib": 1, "fp127lib": 1 }, "typical": { "inputs": [ "28946930175969619401465078566178702882026330671957497086826511903531378380440", "28946939580799326832246577458591657253941658305554791940622759052584735641253", "28950042097890458212246337565556578931098613953666515736347583752723859401759", "28951090329052831981736854929230246781155211958013120447082749529473481950155", "28949344361201007891512183096046619196219166711617497632991672168590490796741", "28947683755592550350066201877025197116711047425073827864224227890184104081331", "28948051772663465739474639923884382993142945593658223676029597301661397132473", "28951679288150473929146140530184377083658970507986246292123444222842393889207" ], "gas": { "yul": [ 8049, 8026, 9682, 9512, 9910, 9911, 9993, 9551 ], "lib": [ 8622, 8633, 10713, 10482, 10817, 10807, 10985, 10505 ], "fp127lib": [ 6387, 6397, 8005, 8042, 8225, 8212, 8100, 8096 ], "quad": [ null, null, null, null, null, null, null, null ] }, "summary": { "yul": { "min": 8026, "median": 9616, "max": 9993 }, "lib": { "min": 8622, "median": 10609, "max": 10985 }, "fp127lib": { "min": 6387, "median": 8069, "max": 8225 }, "quad": null } } }, "lambertWm1": { "inputs": [ "-28948293488966015778913925201524120789821669139494883864912860795419385397248", "-28948301524439823451573181562426282844836725846889947058126359224198889472000", "-28948464021095243451975142076547162692946453037384359914603926403528605564928", "-28949237016686083995119334769203737719797127561589242997898104606241671086080", "-28954758413763516446149282573893559340159088448766979307142234625620710522880", "-29058560678819246525512301302062205802963953127708421920931878989946651934720" ], "gas": { "yul": [ null, 27894, 9816, 9544, 9624, 8108 ], "lib": [ null, 33141, 10643, 10255, 10508, 8691 ], "fp127lib": [ null, 11169, 9418, 7880, 7830, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 8108, "median": 9624, "max": 27894 }, "lib": { "min": 8691, "median": 10508, "max": 33141 }, "fp127lib": { "min": 7830, "median": 8649, "max": 11169 }, "quad": null }, "reverts": { "yul": 1, "lib": 1, "fp127lib": 2 }, "typical": { "inputs": [ "-28951234919415270929586508258403548695582998529916238130595584502797891928352", "-28951495645863107349980985408198416473549392465038109008681874805463939455622", "-28954069891806908387536911758750209385553546909429317162992970309678228625816", "-28952732118881404588251863061126486669808535815259335585502567008233645947302", "-28951433043350400669957700014521728349215323312088630250339852270051699140376", "-28950334886621767749399231521866006791106258740099158631130093036997207165910", "-28950410718743554753338822615137635729217369156191712473288114564706894307612", "-28950336610190714593618337022936785876491289774347351345269042076055100419689" ], "gas": { "yul": [ 9781, 10016, 9476, 9894, 9831, 10047, 9554, 10107 ], "lib": [ 10664, 10846, 10235, 10729, 10657, 10867, 10316, 10930 ], "fp127lib": [ 7926, 8071, 7870, 7990, 7938, 8071, 7869, 8118 ], "quad": [ null, null, null, null, null, null, null, null ] }, "summary": { "yul": { "min": 9476, "median": 9862, "max": 10107 }, "lib": { "min": 10235, "median": 10696, "max": 10930 }, "fp127lib": { "min": 7869, "median": 7964, "max": 8118 }, "quad": null } } }, "lerp": { "inputs": [ "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248,28947801453445951557851548339984384098503017730923031557494630801203120832512", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420,28947691025504402908830949383890587666095778513179476831309748200815540043776", "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496,-28948132737270597504913345208265773395724735384153695736049278602365863198720", "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688,28948243165212146153933944164359569828131974601897250462234161202753443987456", "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808,28936869087232635304812251686698537290186335174311113665191253362832622747648", "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448,28958954675542365108932042905457823771634178723022058902167773440348780494848" ], "gas": { "yul": [ 1163, 6409, 6455, 6692, 6391, 6885 ], "lib": [ 546, 5893, 5875, 6483, 5869, 6782 ], "fp127lib": [ 477, 477, 477, 477, 477, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 1163, "median": 6432, "max": 6885 }, "lib": { "min": 546, "median": 5884, "max": 6782 }, "fp127lib": { "min": 477, "median": 477, "max": 477 }, "quad": null }, "reverts": { "fp127lib": 1 }, "typical": { "inputs": [ "-28948857511719001997998377589885691480285964125198033889805530782598583674616,-28948218420961767708035888060537844991353775593417782956132212001887254956080,28947573020985500876802758397262282081386725545962717065921669109131633886995", "-28947832369840460371410161447437324409495970945057350370550589044238787698972,-28947383798772188636473419895999987561281652154004316332664550862398898297621,28947722951263259594230928880197117325083246200692960374464628061833124835239", "-28948017155103816117165242264542061980943091368864730750423380733870723741804,-28948014506195214917869606497936789973521170583587145010402081085244588704847,28947717848438098406442490574297505418382294957364351034479300900488712246517", "-28947150319607800538494041080209711101880562707589241590752235393825790173786,-28947328040624033838959104871169302068704518708284515720038845734685483185227,28947531288004635674869247226443353774885592679564058575909975164222756129504", "-28948926181219351994937248873534464434835629564505849822068480434787945393592,-28947167154375486667563778487212330692977321089434810064360057397163620604752,28947870519077800680200498390275451054322813966795853804900096103304159796464", "-28947170411130121029949729029790961210247312877832586297436024808701524850524,-28947742944414345670397118275877090213810197740116654336560961423413490267125,28947767654796996462449696085652066700216403150530488923723965409728802832804", "-28948640063579634227649376271310354193125742349172203990016800977704299585009,-28947957397283306126059824074571042533348909968423055785051589554721762243843,28947574358845823805575413012614526897442858530836612947598976320078421059856", "28948571265649719184595767021597835460308515883233006990432636113253780875927,28947554157655542966205153099621994776562696070260390715981103800680738523726,28947547508513904699709266083136110440881219231434262344375515514332634960623" ], "gas": { "yul": [ 6823, 6960, 6827, 6839, 7030, 6862, 6893, 6775 ], "lib": [ 6520, 6520, 6512, 6512, 6518, 6512, 6520, 5893 ], "fp127lib": [ 477, 477, 477, 477, 477, 477, 477, 477 ], "quad": [ null, null, null, null, null, null, null, null ] }, "summary": { "yul": { "min": 6775, "median": 6850, "max": 7030 }, "lib": { "min": 5893, "median": 6515, "max": 6520 }, "fp127lib": { "min": 477, "median": 477, "max": 477 }, "quad": null } } }, "ln": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28949011045153106605244235818950032093007728803453979368454711116056464719872", "28954537557880419148108084661705966475344610013279869854772469424845548945408" ], "gas": { "yul": [ 3243, 4143, 811, 3258, 3248, 3249 ], "lib": [ 2985, 4060, 274, 3028, 3059, 2985 ], "fp127lib": [ 590, 590, 139, 1913, 1944, 590 ], "quad": [ 1580, 555, 555, 16850, 16570, 1548 ] }, "summary": { "yul": { "min": 811, "median": 3248, "max": 4143 }, "lib": { "min": 274, "median": 3006, "max": 4060 }, "fp127lib": { "min": 139, "median": 590, "max": 1944 }, "quad": { "min": 555, "median": 1564, "max": 16850 } }, "typical": { "inputs": [ "28944705996687636049405539948019681685836570615379968131664390537726911565093", "28941293152284153758295312730186212655951338964779314754163035186646304997842", "28941887929629550905730861570750366952093979891274191146771124889753650159594", "28942735997882491165271510641163455188005691222967336664682459987746391737609", "28946279153147805926042920354017306459295579182324866864595981397626047435040", "28942126277030990298238869480635957224148223877787046798705186578236357319749", "28950215897480547593631182873410587014405560126370930571377641914044845277483", "28948702617917469265885848733802236216261789941658140979971680086817787963358" ], "gas": { "yul": [ 3261, 3264, 3249, 3269, 3279, 3280, 3280, 3285 ], "lib": [ 3059, 2993, 3038, 3004, 3049, 3059, 3069, 3029 ], "fp127lib": [ 1944, 1878, 1934, 1889, 1934, 1944, 1954, 1914 ], "quad": [ 16405, 16265, 16265, 16307, 16545, 16265, 16430, 16570 ] }, "summary": { "yul": { "min": 3249, "median": 3274, "max": 3285 }, "lib": { "min": 2993, "median": 3043, "max": 3069 }, "fp127lib": { "min": 1878, "median": 1934, "max": 1954 }, "quad": { "min": 16265, "median": 16356, "max": 16570 } } } }, "log10": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28949011045153106605244235818950032093007728803453979368454711116056464719872", "28954537557880419148108084661705966475344610013279869854772469424845548945408" ], "gas": { "yul": [ 3250, 4165, 809, 3264, 3282, 3256 ], "lib": [ 2974, 4049, 270, 3017, 3059, 2974 ], "fp127lib": [ 590, 590, 139, 1913, 1944, 590 ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 809, "median": 3260, "max": 4165 }, "lib": { "min": 270, "median": 2995, "max": 4049 }, "fp127lib": { "min": 139, "median": 590, "max": 1944 }, "quad": null }, "typical": { "inputs": [ "28946883675969069357337691240393773978629943809281851307055982855116617876835", "28950968490778815307923830561505901421103405084455197475124872519815444188013", "28949645417032141983546335661872835299506445251400689293754267067907478798147", "28943260494264883711093570464616598250340812542008627697848661971247573283998", "28953637677155289754564851453849385848872632885695484077360940695727602736875", "28952891390103262710533943987478439044169304130181561228922681576884881072333", "28946695483244790853191978831410156698129253463588109904895031055614031973188", "28947896302008551795886009291374112649855886823043915944451797783519366862085" ], "gas": { "yul": [ 3385, 3423, 3392, 3388, 3507, 3425, 3416, 4303 ], "lib": [ 3013, 3039, 3027, 3013, 3059, 3038, 3069, 4123 ], "fp127lib": [ 1909, 1924, 1923, 1909, 1944, 1923, 1954, 1944 ], "quad": [ null, null, null, null, null, null, null, null ] }, "summary": { "yul": { "min": 3385, "median": 3419, "max": 4303 }, "lib": { "min": 3013, "median": 3038, "max": 4123 }, "fp127lib": { "min": 1909, "median": 1923, "max": 1954 }, "quad": null } } }, "log1p": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28944599043141040736254178613264287558693080416359944498133035389963277959168", "-28949126588744535346098735813109941287389888343845688271713222005854090297344", "28947028457855111014707355647327809071652343206718148474200452598490055311360", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28949011045153106605244235818950032093007728803453979368454711116056464719872" ], "gas": { "yul": [ 2825, 2826, 2848, 3226, 3386, 3554 ], "lib": [ 2542, 2542, 2572, 3029, 3263, 3445 ], "fp127lib": [ 2033, 2033, 2127, 2047, 2052, 2107 ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 2825, "median": 3037, "max": 3554 }, "lib": { "min": 2542, "median": 2800, "max": 3445 }, "fp127lib": { "min": 2033, "median": 2049, "max": 2127 }, "quad": null }, "typical": { "inputs": [ "28946107629830873292603693047737778360759875168349464683056888083484695882800", "28948001852675089120493107448899040539734615592438485482591870184745323333606", "28946378584631073062024662771240436166521218360501390668982908886197113260683", "28946348703583473561824111854318154202862342977112911502323134797574745126852", "28946964598581407062876905501008144576961245806423861784084192534574985909497", "28945765947028741186994412457810268563880373507934065562950130400027483457233", "28947107733962321448819564250570164551596478302942624662782580331606297603280", "28946587381260620875807341587411593962166586101522473586960385319729766809490" ], "gas": { "yul": [ 2809, 3508, 2837, 2839, 2863, 2848, 3197, 2844 ], "lib": [ 2547, 3419, 2558, 2558, 2558, 2553, 3018, 2558 ], "fp127lib": [ 2033, 2097, 2033, 2033, 2033, 2033, 2047, 2033 ], "quad": [ null, null, null, null, null, null, null, null ] }, "summary": { "yul": { "min": 2809, "median": 2846, "max": 3508 }, "lib": { "min": 2547, "median": 2558, "max": 3419 }, "fp127lib": { "min": 2033, "median": 2033, "max": 2097 }, "quad": null } } }, "log2": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28949011045153106605244235818950032093007728803453979368454711116056464719872", "28954537557880419148108084661705966475344610013279869854772469424845548945408" ], "gas": { "yul": [ 3123, 4032, 818, 3138, 3130, 3130 ], "lib": [ 2759, 3834, 270, 2802, 2833, 2759 ], "fp127lib": [ 374, 374, 374, 1697, 1728, 374 ], "quad": [ 868, 128, 128, 16096, 15816, 836 ] }, "summary": { "yul": { "min": 818, "median": 3130, "max": 4032 }, "lib": { "min": 270, "median": 2780, "max": 3834 }, "fp127lib": { "min": 374, "median": 374, "max": 1728 }, "quad": { "min": 128, "median": 852, "max": 16096 } }, "typical": { "inputs": [ "28942357812318363645116553400727713983975324373726790192903844628615945985571", "28944582963719957106536973901904867916108001215735338052197390897124894307503", "28943818576257175707101275576388440964795648409758198857100895039687143856928", "28947448594641038022414633299803750742078724786434002945144608893963093675630", "28952603392489482197440050586926982053072861482938482837643402514803177781787", "28943573157182698593163776531008468696447535632157580570984036239828477189210", "28948476616893231353600759771086016699675957388959869745515587000151366532332", "28943686825293616740755556662924887543032777020071278536696652584169628529841" ], "gas": { "yul": [ 3236, 3265, 3264, 3317, 3244, 3242, 3271, 3246 ], "lib": [ 2812, 2833, 2843, 2822, 2812, 2822, 2802, 2832 ], "fp127lib": [ 1718, 1728, 1738, 1728, 1718, 1728, 1697, 1738 ], "quad": [ 15553, 15693, 15553, 16113, 15536, 15553, 15956, 15553 ] }, "summary": { "yul": { "min": 3236, "median": 3255, "max": 3317 }, "lib": { "min": 2802, "median": 2822, "max": 2843 }, "fp127lib": { "min": 1697, "median": 1728, "max": 1738 }, "quad": { "min": 15536, "median": 15553, "max": 16113 } } } }, "log2Up": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28949011045153106605244235818950032093007728803453979368454711116056464719872", "28954537557880419148108084661705966475344610013279869854772469424845548945408" ], "gas": { "yul": [ 1175, 1159, 912, 1189, 1190, 1164 ], "lib": [ 679, 679, 340, 693, 693, 679 ], "fp127lib": [ 209, 209, 209, 209, 209, 209 ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 912, "median": 1169, "max": 1190 }, "lib": { "min": 340, "median": 679, "max": 693 }, "fp127lib": { "min": 209, "median": 209, "max": 209 }, "quad": null } }, "lt": { "inputs": [ "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420", "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496", "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688", "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808", "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448" ], "gas": { "yul": [ 819, 820, 821, 794, 795, 826 ], "lib": [ 233, 233, 233, 233, 233, 233 ], "fp127lib": [ null, null, null, null, null, null ], "quad": [ 358, 488, 488, 488, 501, 488 ] }, "summary": { "yul": { "min": 794, "median": 819, "max": 826 }, "lib": { "min": 233, "median": 233, "max": 233 }, "fp127lib": null, "quad": { "min": 358, "median": 488, "max": 501 } } }, "max": { "inputs": [ "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420", "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496", "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688", "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808", "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448" ], "gas": { "yul": [ 821, 826, 829, 830, 827, 821 ], "lib": [ 251, 250, 250, 250, 251, 250 ], "fp127lib": [ 114, 113, 113, 113, 114, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 821, "median": 826, "max": 830 }, "lib": { "min": 250, "median": 250, "max": 251 }, "fp127lib": { "min": 113, "median": 113, "max": 114 }, "quad": null }, "reverts": { "fp127lib": 1 } }, "min": { "inputs": [ "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420", "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496", "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688", "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808", "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448" ], "gas": { "yul": [ 830, 831, 837, 838, 844, 841 ], "lib": [ 251, 251, 251, 251, 250, 251 ], "fp127lib": [ 114, 114, 114, 114, 113, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 830, "median": 837, "max": 844 }, "lib": { "min": 250, "median": 251, "max": 251 }, "fp127lib": { "min": 113, "median": 114, "max": 114 }, "quad": null }, "reverts": { "fp127lib": 1 } }, "mul": { "inputs": [ "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420", "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496", "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688", "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808", "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448" ], "gas": { "yul": [ 1068, 1069, 1071, 1057, 1059, 1060 ], "lib": [ 530, 530, 530, 530, 530, 530 ], "fp127lib": [ 255, 255, 255, 255, 255, null ], "quad": [ 709, 667, 667, 709, 709, 709 ] }, "summary": { "yul": { "min": 1057, "median": 1064, "max": 1071 }, "lib": { "min": 530, "median": 530, "max": 530 }, "fp127lib": { "min": 255, "median": 255, "max": 255 }, "quad": { "min": 667, "median": 709, "max": 709 } }, "reverts": { "fp127lib": 1 } }, "mulDown": { "inputs": [ "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420", "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496", "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688", "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808", "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448" ], "gas": { "yul": [ 1262, 1227, 1265, 1228, 1269, 1270 ], "lib": [ 727, 727, 727, 727, 727, 727 ], "fp127lib": [ 315, 315, 315, 315, 315, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 1227, "median": 1263, "max": 1270 }, "lib": { "min": 727, "median": 727, "max": 727 }, "fp127lib": { "min": 315, "median": 315, "max": 315 }, "quad": null }, "reverts": { "fp127lib": 1 } }, "mulUp": { "inputs": [ "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420", "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496", "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688", "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808", "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448" ], "gas": { "yul": [ 1220, 1267, 1264, 1265, 1223, 1224 ], "lib": [ 728, 774, 728, 728, 728, 728 ], "fp127lib": [ 360, 400, 360, 360, 360, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 1220, "median": 1244, "max": 1267 }, "lib": { "min": 728, "median": 728, "max": 774 }, "fp127lib": { "min": 360, "median": 360, "max": 400 }, "quad": null }, "reverts": { "fp127lib": 1 } }, "neg": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28949011045153106605244235818950032093007728803453979368454711116056464719872", "28954537557880419148108084661705966475344610013279869854772469424845548945408" ], "gas": { "yul": [ 693, 694, 696, 709, 697, 699 ], "lib": [ 127, 127, 127, 127, 127, 127 ], "fp127lib": [ 116, 116, 116, 116, 116, 116 ], "quad": [ 9, 9, 9, 9, 9, 9 ] }, "summary": { "yul": { "min": 693, "median": 696, "max": 709 }, "lib": { "min": 127, "median": 127, "max": 127 }, "fp127lib": { "min": 116, "median": 116, "max": 116 }, "quad": { "min": 9, "median": 9, "max": 9 } } }, "normCdf": { "inputs": [ "-28948353593153694802954543120453366260539213819640805188419043803141024776192", "-28948132737270597504913345208265773395724735384153695736049278602365863198720", "-28947856667416725882361847818031282314706637339794808920587072101396911226880", "-28947787649953257976723973470472659544452112828705087216721520476154673233920", "-28947580597562854259810350427796791233688539295435922105124865600427959255040", "-28947131984050312873164167168665743227034129973352731029998780036353412300800" ], "gas": { "yul": [ 12681, 28385, 20956, 79773, 19624, 10142 ], "lib": [ 13525, 33497, 24292, 69930, 21925, 11359 ], "fp127lib": [ 6167, 8341, 31845, 17660, 241, 241 ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 10142, "median": 20290, "max": 79773 }, "lib": { "min": 11359, "median": 23108, "max": 69930 }, "fp127lib": { "min": 241, "median": 7254, "max": 31845 }, "quad": null }, "typical": { "inputs": [ "-28947760881826723172192065140056419337845144623056071380460848056300884814929", "28948129236353688085586746631232874894589353080506818950538028596970728394810", "-28948543807870891281670452366506176396535678529896141398240070586054495181297", "-28948457514174756646253155318647889626382713732281267156725356024138698765795", "-28948274188220316167724530163012772260409459815266045723298261750960098392910", "28947711160362946886955915888177091965127820303588577367042720897302168677714", "28947689147176302107898202574395073958290722053793891862877993719725580810237", "28947565391741887114440627933825475139913851770399153976975289844221477846470" ], "gas": { "yul": [ 59107, 26313, 10898, 11432, 13890, 13261, 12920, 11565 ], "lib": [ 52490, 30755, 11676, 12189, 14726, 14398, 13845, 12519 ], "fp127lib": [ 13831, 15738, 5285, 5579, 6745, 6330, 6046, 5458 ], "quad": [ null, null, null, null, null, null, null, null ] }, "summary": { "yul": { "min": 10898, "median": 13090, "max": 59107 }, "lib": { "min": 11676, "median": 14121, "max": 52490 }, "fp127lib": { "min": 5285, "median": 6188, "max": 15738 }, "quad": null } } }, "pow": { "inputs": [ "28947973721034767450323682711490706533058310910602976930343047657807746862940,28948889341213864420468542743377175514639960336974769914675388294083897196544", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420", "28948022309329048855892746252171976963317496166410141009864396001978282409984,28948270772197533316189093903383018936233784406333139143780381852850339184640", "28948270772197533316189093903383018936233784406333139143780381852850339184640,28948049916314436018147895991195426071419305970846029691410616652075177607168", "28947801453445951557851548339984384098503017730923031557494630801203120832512,-28947967095358274531382446774125078747113876557538363646771954701784492015616", "28948077523299823180403045730218875179521115775281918372956837302172072804352,28948022309329048855892746252171976963317496166410141009864396001978282409984" ], "gas": { "yul": [ 6441, 5686, 4343, 5659, 5254, 1416 ], "lib": [ 6760, 5835, 4231, 5780, 5303, 990 ], "fp127lib": [ null, 3302, 2812, 3245, 1825, 502 ], "quad": [ 23325, 23185, 8635, 23073, 1581, 23101 ] }, "summary": { "yul": { "min": 1416, "median": 5456, "max": 6441 }, "lib": { "min": 990, "median": 5541, "max": 6760 }, "fp127lib": { "min": 502, "median": 2812, "max": 3302 }, "quad": { "min": 1581, "median": 23087, "max": 23325 } }, "reverts": { "fp127lib": 1 }, "typical": { "inputs": [ "28948048939558920889890923030956003762501078679980485380754433095694553772872,-28948066747219354529603335524803498711723996972361418821121045106942789485168", "28947577394982669574996140597850112800025824829830260893788330526888392506486,28947967516556441688282495508896484240912059171030873727904838450931515035884", "28947881601628615177875558839069163758665538514821449695272238824544810306318,28947952153458731197868579269978940197162600938662959705294151323665688391826", "28948124178967663652741820506642366443970133503350637814063114145880968028423,-28948069636899059224554758840440796675257909828172547684193702703791884031114", "28947756499748497586070417853978804910467705112140118241188834097058136017796,-28948267973380168244951581930074842099413162191008807548916603673340897224218", "28947787979088929663962988967527891601708839509564565402384333130949754262735,-28948572836678671164067833701602772402853666343989945727349607792359445636041", "28947756432537142848003509368001031984216273863809028706199653854159493014601,28947585294604637478155384006477581672296564834667306657916972268236489691845", "28947659666946375025585507329851510505951624544275090266642506739539465717632,28947546791352267762217168469352538758066840793808947900219551656139702124773" ], "gas": { "yul": [ 5999, 5976, 6934, 6024, 5801, 5795, 6072, 6058 ], "lib": [ 5932, 5901, 6994, 5922, 5815, 5758, 5902, 5891 ], "fp127lib": [ 3420, 3419, 3420, 3430, 3304, 3276, 3400, 3400 ], "quad": [ 23520, 23467, 23409, 23520, 23384, 23384, 23551, 23467 ] }, "summary": { "yul": { "min": 5795, "median": 6011, "max": 6934 }, "lib": { "min": 5758, "median": 5901, "max": 6994 }, "fp127lib": { "min": 3276, "median": 3409, "max": 3430 }, "quad": { "min": 23384, "median": 23467, "max": 23551 } } } }, "powu": { "inputs": [ "28947973721034767450323682711490706533058310910602976930343047657807746862940,2", "28948085341192460346301373329738486378966408049482039046488293486272745621346,12", "28948022309329048855892746252171976963317496166410141009864396001978282409984,365", "28947911881387501813810191555068456072872349289829188805882507184383536922624,31536000", "28947801453445951557851548339984384098503017730923031557494630801203120832512,-10000", "28947856667416725882361847818031282314706637339794808920587072101396911226880,1267650600228229401496703205376" ], "gas": { "yul": [ 2213, 3134, 5606, 6969, 7189, 5038 ], "lib": [ 1697, 2702, 5494, 7406, 7149, 5050 ], "fp127lib": [ 1251, 1967, null, 9305, null, 26760 ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 2213, "median": 5322, "max": 7189 }, "lib": { "min": 1697, "median": 5272, "max": 7406 }, "fp127lib": { "min": 1251, "median": 5636, "max": 26760 }, "quad": null }, "reverts": { "fp127lib": 2 }, "typical": { "inputs": [ "28947911881487214962386870217464028325022915061756571438119056664370683195983,13", "28947911881387696069086728284056448531412112694182211822945514075555243018799,81", "28947911881387501224086105196493381631865274318254655776143185735445917297635,2", "28947911881387501129023050790883384951385233743737556599181362949252593837929,15059", "28947911881387500626133231293424538361779694303529446081968031656666028251690,115273", "28947911887585528421251707773458142930367541393133285108813496207678909425838,916", "28947911881389411286493997318411550995654342487230943139505099982591415043043,15731", "28947911881387525322084731581182352984925613310607972132894873469195624065828,24926" ], "gas": { "yul": [ 3659, 4718, 2378, 8598, 7103, 6146, 8748, 8754 ], "lib": [ 3044, 4172, 1734, 8467, 7404, 5858, 8757, 8564 ], "fp127lib": [ 2221, 3031, 1277, 6133, 6539, 4245, 6335, 6201 ], "quad": [ null, null, null, null, null, null, null, null ] }, "summary": { "yul": { "min": 2378, "median": 6624, "max": 8754 }, "lib": { "min": 1734, "median": 6631, "max": 8757 }, "fp127lib": { "min": 1277, "median": 5189, "max": 6539 }, "quad": null } } }, "round": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "-28947959277465637365484119174605467547668584283338242973240498517683819198622", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28954532442230539056274183623639853713369689690631715677698841135435504156672", "28969997469697230010991938514837467012358100497377531520656033479106859368449" ], "gas": { "yul": [ 887, 1182, 1120, 1121, 1168, 1123 ], "lib": [ 226, 522, 474, 474, 474, 474 ], "fp127lib": [ 212, 212, 212, 212, 212, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 887, "median": 1122, "max": 1182 }, "lib": { "min": 226, "median": 474, "max": 522 }, "fp127lib": { "min": 212, "median": 212, "max": 212 }, "quad": null }, "reverts": { "fp127lib": 1 } }, "sign": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28949011045153106605244235818950032093007728803453979368454711116056464719872", "28954537557880419148108084661705966475344610013279869854772469424845548945408" ], "gas": { "yul": [ 762, 763, 763, 765, 767, 789 ], "lib": [ 139, 139, 139, 139, 139, 139 ], "fp127lib": [ 75, 75, 75, 75, 75, 75 ], "quad": [ 181, 181, 181, 181, 181, 181 ] }, "summary": { "yul": { "min": 762, "median": 764, "max": 789 }, "lib": { "min": 139, "median": 139, "max": 139 }, "fp127lib": { "min": 75, "median": 75, "max": 75 }, "quad": { "min": 181, "median": 181, "max": 181 } } }, "sinh": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947691025504402908830949383890587666095778513179476831309748200815540043776", "-28948187951241371829423644686312671611928354993025473099141719902559653593088", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948381200139081965209692859476815368641023624076693869965264453237919973376", "28949830566871907983605054158207893543986038356960849651141848583324917825536" ], "gas": { "yul": [ 3173, 3508, 3509, 3505, 3509, 3486 ], "lib": [ 3053, 3697, 3645, 3665, 3686, 3655 ], "fp127lib": [ 3852, 4003, 3930, 3953, 3959, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 3173, "median": 3506, "max": 3509 }, "lib": { "min": 3053, "median": 3660, "max": 3697 }, "fp127lib": { "min": 3852, "median": 3953, "max": 4003 }, "quad": null }, "reverts": { "fp127lib": 1 }, "typical": { "inputs": [ "-28947672802488327854381561761370112094216821217610035835900141344678679847712", "-28948114677179222005863178088999115163612746065664136273229662526874284028523", "28947608314790141820345546420338961392399566665916285027115697290726658331476", "-28947876117752849747041012473159242142764852230796814927942980851249492699147", "-28947502529191283524760104345051288003805286794133138820745721840249274862543", "-28948664269480963233901479244520780608569818492016038391735143501758519753741", "-28948080348124061850276820852238181733417072386473469635964709929467684256395", "28948448142223428281457710495511156516814724997565960523433646147350808882730" ], "gas": { "yul": [ 3636, 3611, 3667, 3614, 3614, 3593, 3588, 3620 ], "lib": [ 3676, 3675, 3708, 3665, 3675, 3565, 3582, 3665 ], "fp127lib": [ 3973, 3967, 3906, 3946, 4017, 3940, 3936, 3949 ], "quad": [ null, null, null, null, null, null, null, null ] }, "summary": { "yul": { "min": 3588, "median": 3614, "max": 3667 }, "lib": { "min": 3565, "median": 3670, "max": 3708 }, "fp127lib": { "min": 3906, "median": 3947, "max": 4017 }, "quad": null } } }, "sqrt": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28949011045153106605244235818950032093007728803453979368454711116056464719872", "28954537557880419148108084661705966475344610013279869854772469424845548945408" ], "gas": { "yul": [ 1665, 1696, 1668, 1703, 1699, 1672 ], "lib": [ 1201, 1209, 1201, 1209, 1209, 1201 ], "fp127lib": [ 683, 683, 1025, 1025, 1025, 1025 ], "quad": [ 760, 760, 760, 760, 760, 760 ] }, "summary": { "yul": { "min": 1665, "median": 1684, "max": 1703 }, "lib": { "min": 1201, "median": 1205, "max": 1209 }, "fp127lib": { "min": 683, "median": 1025, "max": 1025 }, "quad": { "min": 760, "median": 760, "max": 760 } }, "typical": { "inputs": [ "28965362342163778136595174757112698270407350629183511534982117378625302534785", "28975496160784580919763806066574971114783003070230098653655455970453859319547", "28980518013702883269347346039948315297808981536744664879894512089498771957685", "28960118997259687079601457932670924158018359832560811309197801423085474008521", "28926938301632288576321687880438784518728723906267665336150131318248593273134", "28918072952938356621359239007431378975941255897333677458959774116046235219670", "28937748798106563256217469914322025111773884324524345331973043809096685754121", "28971549722264037305293497814895028874329476730562600686399450848849519551877" ], "gas": { "yul": [ 1695, 1667, 1697, 1699, 1671, 1702, 1674, 1675 ], "lib": [ 1209, 1201, 1209, 1209, 1201, 1209, 1201, 1201 ], "fp127lib": [ null, null, null, 1025, 126, 126, 683, null ], "quad": [ 760, 760, 760, 760, 760, 760, 760, 760 ] }, "summary": { "yul": { "min": 1667, "median": 1685, "max": 1702 }, "lib": { "min": 1201, "median": 1205, "max": 1209 }, "fp127lib": { "min": 126, "median": 404, "max": 1025 }, "quad": { "min": 760, "median": 760, "max": 760 } }, "reverts": { "fp127lib": 4 } } }, "sub": { "inputs": [ "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420", "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496", "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688", "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808", "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448" ], "gas": { "yul": [ 1017, 1299, 1182, 1183, 1233, 1197 ], "lib": [ 533, 854, 745, 745, 764, 745 ], "fp127lib": [ 128, 128, 128, 128, 128, null ], "quad": [ 726, 1325, 1236, 1224, 1284, 1171 ] }, "summary": { "yul": { "min": 1017, "median": 1190, "max": 1299 }, "lib": { "min": 533, "median": 745, "max": 854 }, "fp127lib": { "min": 128, "median": 128, "max": 128 }, "quad": { "min": 726, "median": 1230, "max": 1325 } }, "reverts": { "fp127lib": 1 } }, "tanh": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947691025504402908830949383890587666095778513179476831309748200815540043776", "-28948187951241371829423644686312671611928354993025473099141719902559653593088", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948381200139081965209692859476815368641023624076693869965264453237919973376", "28948684876978340750016339988734755557760931472871469366973691604303767142400" ], "gas": { "yul": [ 3214, 3592, 3571, 3598, 3572, 1297 ], "lib": [ 3050, 3716, 3702, 3723, 3722, 1027 ], "fp127lib": [ 2438, 3816, 3817, 3796, 3837, 247 ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 1297, "median": 3571, "max": 3598 }, "lib": { "min": 1027, "median": 3709, "max": 3723 }, "fp127lib": { "min": 247, "median": 3806, "max": 3837 }, "quad": null }, "typical": { "inputs": [ "-28948687420285928746265537427705257017460784986221089057534044205557915708612", "28948373475942527596650736616079386727281497700243148101255523906832857999419", "-28948081563063336618498132831117648344362050383370527391401068864590924251191", "-28948483580135989437356908775027624852057459678836282652941360746531037724021", "28947819601118309470837603727143365755730609259840905202394860481909421545993", "28948027237394306191680320884849466467055102403838285132070137986824825158535", "-28947791132004789133637584528071851873425828116524618104928822318220950061957", "-28947963478517987494597764640422027047243790941282383188264437696666043358457" ], "gas": { "yul": [ 3672, 3708, 3738, 3676, 3712, 3689, 3742, 3744 ], "lib": [ 3684, 3722, 3713, 3695, 3722, 3591, 3733, 3723 ], "fp127lib": [ 6044, 3817, 3837, 3838, 3827, 3823, 3827, 3830 ], "quad": [ null, null, null, null, null, null, null, null ] }, "summary": { "yul": { "min": 3672, "median": 3710, "max": 3744 }, "lib": { "min": 3591, "median": 3717, "max": 3733 }, "fp127lib": { "min": 3817, "median": 3828, "max": 6044 }, "quad": null } } }, "toFP127": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28949011045153106605244235818950032093007728803453979368454711116056464719872", "28954537557880419148108084661705966475344610013279869854772469424845548945408" ], "gas": { "yul": [ 911, 912, 914, 915, 916, 918 ], "lib": [ 343, 343, 343, 343, 343, 343 ], "fp127lib": [ null, null, null, null, null, null ], "quad": [ 278, 292, 292, 292, 292, 292 ] }, "summary": { "yul": { "min": 911, "median": 914, "max": 918 }, "lib": { "min": 343, "median": 343, "max": 343 }, "fp127lib": null, "quad": { "min": 278, "median": 292, "max": 292 } } }, "toFixed18": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28949011045153106605244235818950032093007728803453979368454711116056464719872", "28954537557880419148108084661705966475344610013279869854772469424845548945408" ], "gas": { "yul": [ 974, 1028, 1029, 1030, 1031, 1033 ], "lib": [ 440, 480, 480, 480, 480, 480 ], "fp127lib": [ 121, 121, 121, 121, 121, 121 ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 974, "median": 1029, "max": 1033 }, "lib": { "min": 440, "median": 480, "max": 480 }, "fp127lib": { "min": 121, "median": 121, "max": 121 }, "quad": null } }, "toFixed18Down": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28949011045153106605244235818950032093007728803453979368454711116056464719872", "28954537557880419148108084661705966475344610013279869854772469424845548945408" ], "gas": { "yul": [ 1275, 1305, 1358, 1307, 1308, 1309 ], "lib": [ 718, 723, 723, 723, 723, 723 ], "fp127lib": [ 160, 160, 160, 160, 160, 160 ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 1275, "median": 1307, "max": 1358 }, "lib": { "min": 718, "median": 723, "max": 723 }, "fp127lib": { "min": 160, "median": 160, "max": 160 }, "quad": null } }, "toFixed18Up": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28949011045153106605244235818950032093007728803453979368454711116056464719872", "28954537557880419148108084661705966475344610013279869854772469424845548945408" ], "gas": { "yul": [ 1321, 1332, 1333, 1353, 1335, 1337 ], "lib": [ 733, 724, 724, 738, 724, 724 ], "fp127lib": [ 190, 185, 185, 190, 185, 185 ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 1321, "median": 1334, "max": 1353 }, "lib": { "min": 724, "median": 724, "max": 738 }, "fp127lib": { "min": 185, "median": 185, "max": 190 }, "quad": null } }, "toIntDown": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28954532442230539056274183623639853713369689690631715677698841135435504156672", "28969997469697230010991938514837467012358100497377531520656033479106859368449" ], "gas": { "yul": [ 919, 920, 1076, 1077, 1079, 1080 ], "lib": [ 330, 330, 466, 466, 466, 466 ], "fp127lib": [ null, null, null, null, null, null ], "quad": [ 109, 278, 278, 278, 278, 293 ] }, "summary": { "yul": { "min": 919, "median": 1076, "max": 1080 }, "lib": { "min": 330, "median": 466, "max": 466 }, "fp127lib": null, "quad": { "min": 109, "median": 278, "max": 293 } } }, "toIntUp": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28954532442230539056274183623639853713369689690631715677698841135435504156672", "28969997469697230010991938514837467012358100497377531520656033479106859368449" ], "gas": { "yul": [ 956, 997, 1123, 1141, 1125, 1186 ], "lib": [ 331, 331, 467, 481, 467, 481 ], "fp127lib": [ null, null, null, null, null, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 956, "median": 1124, "max": 1186 }, "lib": { "min": 331, "median": 467, "max": 481 }, "fp127lib": null, "quad": null } }, "toUintDown": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28954532442230539056274183623639853713369689690631715677698841135435504156672", "28969997469697230010991938514837467012358100497377531520656033479106859368449" ], "gas": { "yul": [ 814, 815, 900, 872, 873, 875 ], "lib": [ 286, 286, 405, 405, 405, 405 ], "fp127lib": [ null, null, null, null, null, null ], "quad": [ 83, 240, 240, 240, 240, 254 ] }, "summary": { "yul": { "min": 814, "median": 872, "max": 900 }, "lib": { "min": 286, "median": 405, "max": 405 }, "fp127lib": null, "quad": { "min": 83, "median": 240, "max": 254 } } }, "toUintUp": { "inputs": [ "28941286204894581265636209930450394586475903884053302712586557378335854297088", "28947801453445951557851548339984384098503017730923031557494630801203120832512", "28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346", "28954532442230539056274183623639853713369689690631715677698841135435504156672", "28969997469697230010991938514837467012358100497377531520656033479106859368449" ], "gas": { "yul": [ 824, 825, 937, 984, 939, 953 ], "lib": [ 287, 287, 406, 420, 406, 420 ], "fp127lib": [ null, null, null, null, null, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 824, "median": 938, "max": 984 }, "lib": { "min": 287, "median": 406, "max": 420 }, "fp127lib": null, "quad": null } }, "zeroFloorSub": { "inputs": [ "28947911881387500206872147296078180530910256948666586283679513401590701621248,28947911881387500206872147296078180530910256948666586283679513401590701621248", "28948085341192460346301373329738486378966408049482039046488293486272745621346,28948061968520933121987678641919659188788980493287805628638815097597396001420", "28949011045153106605244235818950032093007728803453979368454711116056464719872,28947727834256586902938844040199623662585282613393221231235113807588408426496", "28954537557880419148108084661705966475344610013279869854772469424845548945408,28952328999049446167696105539830037827199825658408775331074817417093933170688", "28941286204894581265636209930450394586475903884053302712586557378335854297088,28943494763725554246048189052326323234620688238924397236284209386087470071808", "28981040263852094913051834124217110253082022271733004139144293517864938242048,28914783498922905500692460467939250808738491625600168428214733285316465000448" ], "gas": { "yul": [ 1127, 1432, 1293, 1294, 1366, 1295 ], "lib": [ 617, 938, 829, 829, 851, 829 ], "fp127lib": [ 212, 212, 212, 212, 215, null ], "quad": [ null, null, null, null, null, null ] }, "summary": { "yul": { "min": 1127, "median": 1294, "max": 1432 }, "lib": { "min": 617, "median": 829, "max": 938 }, "fp127lib": { "min": 212, "median": 212, "max": 215 }, "quad": null }, "reverts": { "fp127lib": 1 } } } }