ckrause

Needed for formula generation of decimal expansions of irational constants.

We currently use the same number of terms as min number and number of minimization terms. Is it possible to introduce a new constant for the number of minimization terms...

Iterate through the existing programs. Those that have more than 1000 terms and that execute in max 10s, add them to `full_check.txt`.

Prerequisite for formula generation of irrational constants

If the loop counter is already zero before the execution of the loop body we can terminate the loop immediately and skip the last iteration. This will impact the step...

Check if this algorithm for binomial coefficient can speed up the `bin` operation: https://github.com/PeterLuschny/Fast-Factorial-Functions/tree/master/GoFactorial/binomial

In `getNumInitialTermsNeeded()` we use the number of stateful cells to estimate the number of needed initial terms. This is actually an overcount. We could reduce it by computing a dependency...

``` before: -1,-1,-1,0,3,51,681,11601,220446,5070291,147038481,4558192956,168653139426,6914778716526,297335484810681,13974767786102076,740662692663410106,43699098867141196341,2665645030895612976891,178598217070006069451796,12680473411970430931077621,925674559073841457968666441,73128290166833475179524648956,6069648083847178439900545863471,540198679462398881151148581849051,52399271907852691471661412439358091,5292326462693121838637802656375167341,545109625657391549379693673606642236276,58326729945340895783627223075910719281691,6357613564042157640415367315274268401704481,718410332736763813366936506625992329392606521,91238112257569004297600936341501025832861028356,11952192705741539562985722660736634384104794714831,1637450400686590920129044004520918910622356875932051,227605605695436137897937116628407728576507605754555296,33913235248619984546792630377632751557899633257428739326,5120898522541617666565687187022545485242844621871739638451,803981068039033973650812888362539641183126605633863123237041,131048914090362537705082500803093961512849636718319689087637926,21885168653090543796748777634116691572645889331959388077635533891,3786134176984664076837538530702187642067738854428974137430947363401,677718017680254869753919396995691587930125254942786370600139578049046,122666961200126131425459410856220177415352671144644333078625263626877596,23429389589224091102262747473538053886332360188627067618017425352733621121,4521872190720249582736710262392844400062145516405024050277363093077588876641,890808821571889167799131921691390346812242666731789737904640529336285008698571,177270955492805944392027252416586679015636290679626157843023465337920716731015926,37404171608982054266717750259899789272299257333401119304877951186301271230244360701,8341130268802998101478058307957653007722734385348449604987783114545183484344492436656,1893436571018280569035519235906387232753060705474098060332226767001756650946199783121251,433596974763186250309133905022562676300450901553568455816079929643402273066679750334766821,101028095119822396322028199870257103578005060061981450205146623606912729624536381828000669641,24145714733637552720964739768991447755143209354813566599030043042052142380264195256892160044556,5819117250806650205752502284326938908989513454510069550366240373134566313643671056911010570738356,1460598429952469201643878073366061666156367877082027457141926333656776144724561435284663653255327731,375373796497784584822476664855077848202186544410081056485475067749791469194212288868158558886619227251,98723308478917345808311362856885474077175061179851317855679942818195156398077831972325700987180856767406,26556569980828766022435756608502192526760091457380004503177904618094497071082936800555613565551650470432616,7196830464804595592080090040904094174751984784949981220361212151503608706263475872950571276264497277487239341,1993522038750872979006184941330434086406299785431144798040055765966499611634982816807308243525265745863965297871,560179692888995307100737968513851978280170239706151688249255670236586390869430171522853616430599674587774248702171,158530853087585671909508845089420109853288177836840927774539354676953948616048738540967573449859707908340112382714816,46449539954662601869486091611200092187013436106194391837940030920347506944502280392503499020808894417143652928135441526,14260008766081418773932230124638428301413124884601678294247589492546684631962200080498574199388330586063101448937580548941,4434862726251321238692923568762551201739481839111121949511000332182018920540244225035056576009770812265624550619587550721116,1388112033316663547710885077022678526144457815641781170196943103972971922129096442435972708291058264239140484343930903375709776,440031514561382344624350569416189092787793127558444630952430963959432099314923572252203348528265469763807533537026096370099999466,145650431319817556070660038476758589712759525221845172845254649070572024873239702415479308362855870491820293600755637898503099823741,49084195354778516395812432966667644733199959999761823248850816736782772382281779714016526918282428355743438943454649971795544640601221,17032215788108145189346914239433672722420386119917352667351233407663622016651777560763734840644002639442973313378763540213053990288624206,5944243310049742671082073069562351780124714755851156080905580459274604083811470368706543459384756921165597686369188475534355842610729848416,2098317888447559162891971793555510178384024308815458096559669902123935241585449040153409841162819193171455983288323531863627612441587636491376,753296121952673739478217873886428154039864726864749456664921494862492751729176205415074132977452090348552698000508147939042312866529961500404521,276459676756631262388505959716319132532630354759363050596026188614534839884607667387332206802724917157918840166186490293628528822016495870648459756,103119459430223460870912722974187036434671122325242417872317768353221495276958659935474913137416394099903727381987560879523441250612152959751875489546,39082275124054691670075922007216886808740355361266876373608434205870946709967332115544992079080813363863512677773285573339384233982005971745960810538501,14968511372512946909639078128764067647747556103365213651092030300848572589917488200253731966287951518359725355587168374588984161615108287178702990436246456,5822750923907536347849601392089222314973799324209068110274799787030094737477902909898701734886013140641933163323408497715114838868277123712515463279699871966,2311632116791291930096291752659421259044598331711000039779095515450947610778727455229784588749747216834847465839393173592900591030706018113868638922040849171096,926964478833308063968612992816427924876883931016111015951417301695829991922269709547143620088648633950773833801596662610753137003313113263661324207738380517610096,379128471842822998163162714061919021274645527785589405524129676393594466696208311204781740616257291285866498024853035007798033034355063324837481600964997631702529876,158854829702142836230365177191944069914076476142161960914610334408916081545711282394803549318211805048778062672413421668267375841394771533106904790804334007683360018671,66877883304602134052983739597808453433826196455850185545050950786153670330744449888212294262967169925535564385086050522340565229227198815438006916928624617234694567861121,28824367704283519776835991766655443429979090672471429969916959788832231912550857901819498827338850237905828249972087775128783613796922689453780981196237210028153358748143796,12480951215954764063369984434961807005180946261180129176974043588564356418134521471487842992237722153013223632237914006630763304774067524533487164857970711942190404337946264316,5479137583804141423819423166948233275274435408658076708691605135379752467561054925983163073592360025172805174552444248910905090795815643270200865372649142542621587504358410035381,2427257949625234650752004462958067340946574886035527981950381074973230343129547332210541241601415491151552692326732802267530955222546329968698983360083570146381363264430775645674446,1089838819381730358187650003868172236085012123829952063895721102662980424065166752162533017479035555527047158854703028218121398894923302155945843528677522995725232105729418264907826926,498056340457450773691756051767754711890850540590288093200344543916982053797781205738277588987919248875860551596599283895681479294979949085267250492605628009046431072318344147062876905866,229603972950884806671899539864934922181682099212122810965358834745728726800777135845345968523430773731771714286032269875909161954985756528308202477091194512170404724338756651795986253604916,106306639476259665489089486957464868970118811935212861476961140487272400508759813896395183426348448237810303714432940952545941985158405272606697746893223059134897387368844329781541635419076801,49645200635413263783404790409136093809045485173744406309740852607556211037590833089616550660104725327057411834640183424838954907068975262307327847799135168615997079901250302007979943740708866766,23780051104362953352250894605976188934532787398223570622365868399019425087006009049926327766190163431660500268792647860497859400486039150645210039095785745767062601272698894661822393051799547181631,11580884887824758282546185673110404011117467462934878893092177910322460017371926407314121622134609591218663630902019508062457528036701066364217289039647658188559486819804361700307505416226379477455026,5686214479921956316730177165497208369458676524301025536508259353968327868529615865991233716468093309288363842772891578458666646266020223584830688918467000170582708028523941594850985159367152323430418501,2837421025481056202048358405583106976359879585626211742717621417630195606396278317129625624517578561334893557543672897650874656486744091568830513770315033085120771306233446855830641594524209009391778832746,1427222775816971269630324278008302809109019431569984506586963573067988390017327993516201689132342016351451459444467467518389952212832278059121748426468461641815747967035423768482812722045677131724064752871991,726456392890838376241835057506226129836490890669122113852764458691606090518819948699746659768362086322888792857233940966860485676331629532092969949072446975684215715221030698157751675521249660047548959211844181,378483780696126794021996064960743813644811754038612621317290282978326773160305193272568009739316646974225061078618883243734313037368778986220437343466744874331476387630156993740188622946571072884773007749370819081,197947017304074313273503941974469014536236547362194400948942817997664902362839616081553069093662606367519706944117675936473045718543871409793288730633107569275362150730572107726118649801056671118736283052920938380146 max $0,0 2023-04-29 11:07:19|ERROR|Program evaluated to different sequence after minimization libc++abi: terminating with uncaught exception of type std::runtime_error: Program evaluated to different sequence after minimization seq $0,2110...

Speed up `gcd` operation using https://en.wikipedia.org/wiki/Binary_GCD_algorithm ?

We should ensure that `loda-cpp` and `loda-rust` produce the same step counts. Currently they are different: ``` PROMPT> loda eval A41 -t 20 -s 79,205,389,629,939,1328,1799,2330,2923,3607,4397,5270,6261,7355,8540,9789,11180,12654,14282,16005 PROMPT> loda-rust eval 41 -t...