ref: 029ee78d874168fde67ee212e06cd116ce1f0db4
dir: /bench/bigint.myr/
use std use testr const main = { var a, b a = std.get(std.bigparse(astr)) b = std.get(std.bigparse(bstr)) testr.bench([ [.name="bigfactorial-1", .fn={ctx; bigfact(1)}], [.name="bigfactorial-100", .fn={ctx; bigfact(100)}], [.name="bigfactorial-1000", .fn={ctx; bigfact(1000)}], [.name="bigfactorial-10000", .fn={ctx; bigfact(10000)}], [.name="bigmul-bothbig", .fn={ctx; bigmul(a, b)}], ][:]) } const bigfact = {n var i var x, y if n == 0 x = std.mkbigint(1) else x = std.mkbigint(n) for i = n-1; i > 0; i-- y = std.mkbigint(i) std.bigmul(x, y) std.bigfree(y) ;; ;; -> x } const bigmul = {a, b var r = std.bigdup(a) std.bigmul(r, b) std.bigfree(r) } const astr = \ "786226786586600439317972610307453185844816038396887410361680" \ "057562738205768169440311788359575359662484806302309290559269" \ "528840503089778892166969404943179665354542662022501031093355" \ "271292443882546985002869031472840087285045002214375586489512" \ "119373071089907222993450120378930997902435685145827038085819" \ "296865519485069915539726113453392326014373721767082018422958" \ "717062721702582361925462085790615747641302901942695904395406" \ "834224622529709782228408774414640957447279927460707815981786" \ "406994864430875491075424852796017575153912350736693997340109" \ "179809249816546470560796013608371676540452470243110540567406" \ "131454930387632550432649269771702882918734039217249418671214" \ "578343865544182288638782234366945485699781398626899358422106" \ "382221586857747438786541396870348009298608214885868257313676" \ "649092812753573767742580234440720920671581633553397695353934" \ "132303144338968914681227568810598784423402415568066389616154" \ "614818275979465719251274076724898041828550631986321592027149" \ "396140957537591558324156214045032930669195479259917491373556" \ "8106323004563791966979449" const bstr = \ "187308423231504228611111080270112029294766282678254231118742" \ "976869035200603975231371287575334271604770730635239117286259" \ "633494749566591369947211092881454729202366597231676526591300" \ "648610814270646993620412724160164594497114189417456618983125" \ "754243263403220712648959862959656559260934591165571538609438" \ "590305501075673585878506798890948928998460512317734318100422" \ "301601872241161203780242712104705885977145795396152336901291" \ "797346494631790697490596412053544611041844456774577364325024" \ "070127433788225479200261038961006069382091341032772858886595" \ "126748124988322385484529859500424755864562815273650872459428" \ "604927038475035756775266526245762679156608674463485106692013" \ "334198263770435008762560094658051091261225051459463607555576" \ "909910323885506799911997243762894976997772525420734032010908" \ "232750510323630849750298879815023574738441149575389970852774" \ "177147447530826963987253002135706371359716529615192991331710" \ "358753881164433191999293286713740248283177543479283727214184" \ "724131647548393947909056785714667606883184085430899204162328" \ "826158851207379006944693295498006311569980249630659828437857" \ "675974052589856026178343278810044863262932813277009490639496" \ "536609737088886342712009625141736821206684450062603392153153" \ "404209821474892409175922249782691829080890709213170466577080" \ "377570831150029278547755147996902849300234357700933105059734" \ "535663014087527221170181231192295192940913638374876317838628" \ "513685521076746695302116096246663697634145614610623764326966" \ "034284535477345974781679205896638416144421212858502427308326" \ "932579573129945442468876557939601952816014080189349604230705" \ "365868935617410975446640273108649254906769023875954001915851" \ "664244700370024600464468562174205614316632651533572360375076" \ "397825425411906188567274646160369108041601789830804365153321" \ "786129972802577217675779977803595583990850309499110057500386" \ "963299465049980241112611167139170503250450996990310096129565" \ "074487177158657223017144483992415686889386032110805070566222" \ "391021704709176968022469625318920962164345682090022548949639" \ "373535013410140815528983041981416489359560548762773247027894" \ "433410249929507117822644701257908554656601684665483333856314" \ "445354748390977894664864352404291796587312266255127874784721" \ "619161441066868319035508018794580703871852715612431050120428" \ "135204914805088588056364008960061473425114169699056353553362" \ "684434702224467541950013135029769757734688969972162892564754" \ "794607854348784493170718776237831436345037722624425771190246" \ "018034960769040875816438953729709133678842811906949629452358" \ "733021110486943979165015168688484556308945464367476269193790" \ "416269749963298838914536589681414703854517183672658308513799" \ "079924527379662830333236086766377066200832536550279672992236" \ "534386204300849885908109898105830852146495986415657102811369" \ "595247130333705192417745868596617533375480391948415664293960" \ "986757335528872844228230415255122202991202927184519763895621" \ "784166281785570962980369244162505438453718048719964848583896" \ "857048160613386597344498469472976896546659619163220731196501" \ "323014018615871231780371169751103683603599982508157269363828" \ "411288512876302246976722591644117294608452539733909759953439" \ "531429839711890887198366410539288744251028511505016177386244" \ "749167411006850944434211305749841593738801775687547388254201" \ "939297777489971469491544250094576226609276643868397292318619" \ "638481092861366771094145813562129333311647611902685299968882" \ "120832495897029738418349759779717411822241304202704141876186" \ "021609477309152514796122336409731627673520687854759447557901" \ "364641037659836873710690927438194862217026533565020830538006" \ "474368344215360348610383201842027979922422061958838533809305" \ "769494429697360443510783300535985639987094328411985571590736" \ "668585260182179277329957988272484981238401320570887133681587" \ "104377431152847065007690135501166962851804129900971535475096" \ "780466463541055999770138832441321686999264335797733246187289" \ "627201885855368556615429895387994196080244415898422345868310" \ "490709239989887413180596388426579419833690268988006284505869" \ "050445508634068307421234527095591085036542160387367691944010" \ "975408030387045757333117117106642362746817079296595077266231" \ "539797438547718217585348401525110815431508041372063435381246" \ "031899285980848878201413896797811316833560553995491439595681" \ "923196663368947274989655741723930512233824969005097885029422" \ "357501820683035694227690760029389720555091326855256135152515" \ "991629667196092383555620493513052376816166150463402645212712" \ "906520400777603115930223645552970514327317217278507643140717" \ "182239925721890342870110303375808665304693222547743946076755" \ "692015880794045769310816721195424546206360150602831845794754" \ "107728490276051145716712025134135902681643628483224712234443" \ "063152270612970654343583032461561909892954923011301907408278" \ "407275948095435658167567889516277464704601392558782479050096" \ "372379916668232181458496952539316561733622359194587739442387" \ "588748382930523021381163994808898807073006256512121958841602" \ "953834143318421508854501873168004451093624401020578718864158" \ "163753449732176772997318191567270326934788485419221293796231" \ "298858119919950554081790900335797631743704599354917110833385" \ "431529946758628104742509312229561143992532198765988099227018" \ "878514141238218580104368183434902069663104345510818435635700" \ "414562606631845260797394601892129923774496571513678144171246" \ "566200747779503333919046242725933701038577717836624878658828" \ "401949953074213765717982884761623247802534761098061468371860" \ "040646573304592111813415676017629612099762583556889291591502" \ "037421011749177580329597161049249542989001421868003098607452" \ "447624875123240558047810930160637311667163115623275956058331" \ "757826897673135754479768852033554041590179245281724637243354" \ "117485618855501973830027844010664951610244096398130144699577" \ "573289088165216285450511045687327534575629779122305699816415" \ "839649332244222046600972555138062951807105050363438375687919" \ "992990152747901390216324885281609322926002453655984740862104" \ "800118089506795694008885846789831227726569500145265086949437" \ "988620853249497033861484487843582927839639572167539512092182" \ "766072426433981477788791769424931914440282201493136920334470" \ "631849934882150702051061806916010852413506785949573428717190" \ "652565822614387096957090183695781683632118089627541885999806" \ "415805712006844406519039722769587152345216028824048408671591" \ "996748454264778680080651811924705017452522895119289297677596" \ "399980344578097690385847397582483006778980686294815929593822" \ "079423101338051192607368480059375406606683609868638996461314" \ "025218799102080893035335496954072017203857904998271542125754" \ "657205938132168124359996375519697778439582860828566963816699" \ "746486300437187004803313727795498535830803859623878348202161" \ "779205893343935527641213944242785604444240371520170466676321" \ "928607939131173535257360320584979666827307689152405952207350" \ "699524761489708601133045296730863484253942716135384938226198" \ "568386927589550770858283642852352203645776295407127244203589" \ "644784502503420416982059860877101382070973271189722892984326" \ "410970961430713847387443991297677367803419085937220978538980" \ "441628473685496662320890458789716737710737534633335780887058" \ "229693686098443784495418741977154423684238599047296839730434" \ "085083647717961771343882046771178192554297991147688856565555" \ "090757465961600177144271662429462033026661376496701392139827" \ "805716034927247277392566480664873339284583953871193119773255" \ "759149930467692321302473790340664010828943491220928942540701" \ "809650948952021861576751017761266006860909899638475036335626" \ "074637477900802957227409245252385131499626970250373571243577" \ "269099399542105493137222898746523529168177015284588584593530" \ "535422847893997078481093842801730870845975425823397648701679" \ "269953351511574749765536142563534666242970982516216461548676" \ "091848844824472900050116980087609760065613615848853809078135" \ "539024293905056113075795105768447478038151819261968647482323" \ "595339889631890319991305740056522600422147869065281727002061" \ "985563827492146406348739661318028756838105073748842194458561" \ "389348774902798361516170139490919233843823391129815389669442" \ "389886962769612654436729345525800917085158998450443138829807" \ "226401369403848923672976087487989192421758085312025736674941" \ "465891203009498155699006389389940020187366385171748881799189" \ "859057487614182907767561954322147267560355277722058958977274" \ "007000776522440864120260304346026144122668525606742093385842" \ "877851187985354298444881951517964028828337147992244078392289" \ "033891527938598539476575275618308528833647822827687596807355" \ "015006465320113872907922736279079949111368490254190424134142" \ "526305891930318351790395305770103209586168680236305757463917" \ "504215452060579791599906033628162787284365361089361880425156" \ "013152471178783132851787237084697582323149702243584748375544" \ "864216759785482917668710098191387194325613366050379525378498" \ "060821148303033711198142478670004863329544955847264359312410" \ "124051026217318607753467506730576567256247484381058493859200" \ "638791430791009825392526429942820641023745462165966092444179" \ "625962380866337824952291146979992952948121844170079781600828" \ "3296406611"