* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
* * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 256 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 256 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (+ (+ (+ (+ e d) c) b) a)
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (55 enodes)
* * [misc]simplify:  iters left: 3 (138 enodes)
* * [misc]simplify:  iters left: 2 (262 enodes)
* * [misc]simplify:  iters left: 1 (279 enodes)
* [exit]simplify:  Simplified to (+ (+ e c) (+ a (+ d b)))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* [misc]none:  Fresh alts: 1
* [misc]none:  All alts: 1
* [misc]none:  Fresh alt: (λ (a b c d e) (+ (+ (+ (+ e d) c) b) a))
* [misc]none:  Fresh alt indices
* [misc]none:  (λ (a b c d e) (+ (+ (+ (+ e d) c) b) a)): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (1.650016362915784 2.9825745241704404 4.988653683326181 10.653825789718708 29.594718059764737): 0
* [misc]none:  (1.1759700090940124 3.253230334813193 5.815587356956319 14.17494691424519 25.091234411871387): 0
* [misc]none:  (1.6364176410196278 2.5184293905607076 5.896312070268887 9.583939995862911 25.606676490256262): 0
* [misc]none:  (1.9753332584008114 2.4205882084685535 4.7373758907424595 11.366121456631914 25.495108255923554): 0
* [misc]none:  (1.4134373984171198 2.761240220819548 6.05688749983959 15.679762396801678 22.58839774580934): 0
* [misc]none:  (1.2652653918015877 2.9125622089694656 6.446549436028025 11.445926827520092 30.713523800218244): 0
* [misc]none:  (1.2523069453007285 3.293421367443784 6.192837571311935 15.916760421246614 31.992361415169867): 0
* [misc]none:  (1.3631637804907082 2.3337330775424 6.907198262479009 15.586446612440408 19.246770629460677): 0
* [misc]none:  (1.5369862172680226 2.392946266031948 7.681798708168776 11.320896983839937 22.97964067075969): 0
* [misc]none:  (1.4488404973524969 3.791094959894525 7.29344122386177 10.37522575579422 30.984867651337908): 0
* [misc]none:  (1.7058616393809216 3.406280749216338 7.713845961095405 12.708709280308941 24.29799233468001): 0
* [misc]none:  (1.8180725995401696 3.4338852699382785 7.1428485389544765 14.015488735701247 27.685313616874915): 0
* [misc]none:  (1.6867782159974871 2.974407741702575 5.105373700573165 11.845326090068946 28.24900405567765): 0
* [misc]none:  (1.4302985186408874 3.5973965195382553 4.421526975823047 14.005350306629296 17.663293352236774): 0
* [misc]none:  (1.5209533813667109 2.108593716947282 4.012005198068217 10.107958489203847 28.85108813337145): 0
* [misc]none:  (1.281082469387649 3.5959074568436624 4.190383875314821 8.989781036758865 17.053410005131404): 0
* [misc]none:  (1.4694217492722164 2.3341162498894006 6.700157034147356 8.480861298866188 23.942325013728937): 0
* [misc]none:  (1.7186972121576136 3.783621447365504 7.084163523757616 9.51236976262401 25.628826992541963): 0
* [misc]none:  (1.7650969564039305 2.772977282916372 5.27958365576334 10.665023371738409 17.066352869501763): 0
* [misc]none:  (1.9420888759704065 2.5344851152035415 6.119002797784421 12.542308368572755 29.187260693203676): 0
* [misc]none:  (1.4601147062059252 3.384690686493835 5.580268109362821 10.008933611695651 26.743275316702988): 0
* [misc]none:  (1.3811059226818088 3.5900185395663797 6.0964300498870925 13.68643206545987 16.301977296673435): 0
* [misc]none:  (1.3069857168778969 2.0868268555490235 5.151557801904661 8.444628371747703 17.16925422143701): 0
* [misc]none:  (1.1590248003834818 3.374949490491938 6.457244181401199 10.187784795928563 24.689746154846183): 0
* [misc]none:  (1.1718970098767765 3.626034680878389 6.398636960225268 14.120894960633269 23.311506460998835): 0
* [misc]none:  (1.0161644045331115 2.7651100860146007 4.735709512708709 9.118247970311957 28.949193323416488): 0
* [misc]none:  (1.762517130561549 3.921766628198893 6.560382569026156 13.616403554939923 27.87204992129706): 0
* [misc]none:  (1.0715358645556126 3.1761625536924445 4.344117445149825 11.284926414614137 19.867994944459515): 0
* [misc]none:  (1.8691387856511366 2.448469938114363 5.920346586975183 10.33631932366387 24.990900744710817): 0
* [misc]none:  (1.9785522483324127 2.1689175050949747 6.1562980601511725 12.96395104731722 17.662146712904796): 0
* [misc]none:  (1.153488881635991 3.8951053374231748 7.080778616130898 11.298387601779348 29.28436853688808): 0
* [misc]none:  (1.3166705682928115 3.769800669590428 4.754268657573173 9.773156499711543 23.085917232209894): 0
* [misc]none:  (1.6776702878897585 3.608533741897395 6.172682677406705 12.188439199639676 23.362403559507083): 0
* [misc]none:  (1.7844133006996878 2.2019318075345105 5.807226820032205 9.591755210222924 25.72316445477477): 0
* [misc]none:  (1.9885444153213545 3.421348934195634 5.978523541094676 15.912981138495281 24.5476870337872): 0
* [misc]none:  (1.2290329737457095 3.077211349100616 5.476091524992665 9.138821252570956 17.144961468098415): 0
* [misc]none:  (1.8068488890995908 3.3286689949783463 7.122759819675642 10.966059168768052 27.84755066279788): 0
* [misc]none:  (1.7982647368415394 3.75414910708629 5.0771925054453 10.565528078373182 18.523122112909245): 0
* [misc]none:  (1.2305781373203384 2.036281487740166 7.716279401503876 15.104588284887232 19.94344392843055): 0
* [misc]none:  (1.1815437128974817 3.0055856201516122 5.217787246793314 14.842023813509732 31.072128589754783): 0
* [misc]none:  (1.4085693221587563 2.7106417799099045 5.503845172686095 13.359392875274313 31.91471988193141): 0
* [misc]none:  (1.6873564907147103 3.857524679582869 7.124516592164356 13.548891494366833 16.841819622213187): 0
* [misc]none:  (1.3413876386952723 3.3552809341107253 5.237162067155475 8.932711066327315 21.730997765890404): 0
* [misc]none:  (1.1463439656671008 3.861090464572634 7.207779754191487 13.802805931267825 26.06033721775673): 0
* [misc]none:  (1.8915300834995823 3.5555503977924006 4.887761789590397 9.326260593559635 17.992169875756172): 0
* [misc]none:  (1.009348040440744 3.9136629549292765 5.091795625483438 11.969337162329182 28.47269219530036): 0
* [misc]none:  (1.6796782305087024 2.0288204916480965 7.904584542879618 14.056735296597813 25.233463620100334): 0
* [misc]none:  (1.3609304231474775 3.6243998579105194 6.751546919667242 14.063324429983764 25.935454115634474): 0
* [misc]none:  (1.450595747468058 3.695743327698842 4.286521403503672 13.64777129350623 25.472486591232066): 0
* [misc]none:  (1.1258281834345139 3.1730009023923156 4.493169924327769 11.117592757733812 24.99147105903812): 0
* [misc]none:  (1.0510723898589152 2.396708977044799 5.5823637429003625 10.295526060916034 31.51029513675722): 0
* [misc]none:  (1.5642155541135114 3.1244357924058597 5.993286688616752 14.385967457774338 16.5962746279659): 0
* [misc]none:  (1.397103594765265 2.3917333520461423 6.074884864448811 9.708891277919369 28.013226945291827): 0
* [misc]none:  (1.07152233847111 3.57505040796151 5.810363945011779 10.931866170261076 21.65911985791588): 0
* [misc]none:  (1.693579068590374 3.1950767578195456 7.672294877915066 15.692078496829195 27.53545140584604): 0
* [misc]none:  (1.7633397908303108 2.9652926102004393 6.778458218350079 14.990026714089357 22.617920656751373): 0
* [misc]none:  (1.9313997131427567 2.6623464147947837 7.655798890579691 14.734902241927529 21.944740697082345): 0
* [misc]none:  (1.044110736488027 3.307626018803336 6.948246907262845 15.182886451206333 26.465104299354486): 0
* [misc]none:  (1.853053166134858 2.364308711451469 7.7388025096503235 15.43544499283679 18.980792325114997): 0
* [misc]none:  (1.591954478496423 2.965760385905015 6.731369768356939 12.318639227218421 30.03177184425208): 0
* [misc]none:  (1.5645086538367599 2.431339030421662 4.868302524979859 12.946146190214396 20.636978250345102): 0
* [misc]none:  (1.6534025825766276 2.6374395074768735 6.710800911689496 14.866788891334679 17.738665317825802): 0
* [misc]none:  (1.3125420584683802 2.017284051615208 7.7356859723130045 15.987472434470599 20.00235824451072): 0
* [misc]none:  (1.8461536188457814 2.85624709741411 4.712801948935325 10.443559537250257 16.826151322718633): 0
* [misc]none:  (1.3060013571374687 3.7113999771526305 5.779932276789275 8.408839192304324 27.183054467391095): 0
* [misc]none:  (1.4170394723721929 2.8026167593892013 6.271758702230267 15.688297857512824 23.40214840133686): 0
* [misc]none:  (1.2860161915671002 3.6508573870949768 7.839419806653741 12.262651914632123 31.531205017073972): 0
* [misc]none:  (1.4412734110548593 3.112810083189442 4.194871942609308 12.32707198114528 31.742819338710916): 0
* [misc]none:  (1.3935764232364611 2.6233481339492895 7.375758686171252 10.418977104808437 26.904998013116217): 0
* [misc]none:  (1.3820260712800163 3.2871756414388336 7.156003471242922 11.710034528161758 16.77743821955306): 0
* [misc]none:  (1.4204088067410445 2.1346621319485966 7.0875830607224914 9.035091050133445 20.610372415175082): 0
* [misc]none:  (1.4953875639272338 2.1697405911904837 4.3106205038935075 8.728509533222987 18.470268004868565): 0
* [misc]none:  (1.8765502514575232 2.3146155850336347 6.717213767608897 13.901213922655012 24.753653700595883): 0
* [misc]none:  (1.6689203611012922 2.1690432330780283 5.245924291097081 14.340156983854833 18.00002702631938): 0
* [misc]none:  (1.5382900865231315 2.4602090514221984 7.262438180474235 10.171887404841545 24.03933182870781): 0
* [misc]none:  (1.4919169078768784 3.7096998078384114 4.374988321538699 10.27183547008989 24.26957273995284): 0
* [misc]none:  (1.0801489126679926 2.7283146184634646 7.8584361068771775 13.398556119688019 31.257751920092105): 0
* [misc]none:  (1.6581247625463502 2.7403474261737406 7.924665672345127 12.50641506912024 25.30354992158391): 0
* [misc]none:  (1.2887001357186683 2.0969360866486513 6.194282082465204 8.561624364697357 31.324443687630616): 0
* [misc]none:  (1.7828212782621604 3.896508559840856 5.962647801453691 14.274054189631386 19.54968302866149): 0
* [misc]none:  (1.3108319980242231 3.5724666562034044 7.413147771894149 8.27698809397926 28.461281667419588): 0
* [misc]none:  (1.902425185280176 2.1464533445055864 4.41582523403478 9.739022384768663 30.094871890610268): 0
* [misc]none:  (1.5728247849740702 2.247865496488955 4.342119209683435 13.14735717252504 30.49815401344272): 0
* [misc]none:  (1.8463831080915059 3.416320075412064 5.545329893134269 12.45165575095303 17.39626634957785): 0
* [misc]none:  (1.7522439881679783 3.1866988172229727 6.317019196225699 10.707309795666836 25.78942648948): 0
* [misc]none:  (1.5830195509717657 3.5087813376093604 4.670298328124047 10.222801884177267 19.508948369241654): 0
* [misc]none:  (1.7207149460010889 2.7070629538438102 4.65642947157274 11.777086975741156 27.839750436994297): 0
* [misc]none:  (1.3966112116224967 3.736839305692724 7.819583107107893 12.481356859174417 26.000313796338588): 0
* [misc]none:  (1.4227948906746455 3.2077302425267473 5.198768554239818 13.023565434662943 16.27412389609132): 0
* [misc]none:  (1.150235020329214 3.53093181187497 5.6326477266991395 13.386074271603773 29.139266017964324): 0
* [misc]none:  (1.4339953276435626 3.056899727331097 6.901443862416763 10.287997369299935 31.99401419087523): 0
* [misc]none:  (1.4120884287515576 3.275211229983906 4.876751045209675 9.998653014112673 27.213616559749905): 0
* [misc]none:  (1.7545985152864136 3.552108426376451 4.773832134724167 14.934320029451978 28.945406603183336): 0
* [misc]none:  (1.929796686458558 3.546605202240958 4.185677072456937 12.97854835673607 23.30871710581059): 0
* [misc]none:  (1.727066743036614 3.5053582772260454 5.891237223430739 12.252833250964764 16.57307584650609): 0
* [misc]none:  (1.760778083128207 3.8189950596265376 7.894612139704361 8.475540461675202 24.551136019682975): 0
* [misc]none:  (1.198718360763465 3.1405610905387205 5.126534091392604 12.496385447699428 27.857847190632516): 0
* [misc]none:  (1.0703546271793762 2.238650468630728 4.436290040598395 12.724872501196309 31.651374244020896): 0
* [misc]none:  (1.2263314273663748 3.436317386605805 6.165931130694312 8.247064587820601 25.823808288629333): 0
* [misc]none:  (1.2662017941545725 2.9767177847566364 7.5676709860341305 10.774926502310594 18.607502469427974): 0
* [misc]none:  (1.2081856170563385 2.0429373093613794 7.09710401361171 9.561370345145729 31.71876488697191): 0
* [misc]none:  (1.079090049793164 3.554488967154711 5.39069264536612 13.630642142304207 23.288815082672958): 0
* [misc]none:  (1.968150533398003 3.5779976855088234 6.384985519610019 9.911799096354441 31.077908081087593): 0
* [misc]none:  (1.9451896062201322 3.6961397188436345 6.500931536022752 14.462640244692071 29.11513807886216): 0
* [misc]none:  (1.886252877540709 3.6238472161710042 6.414124526664117 9.688387355694214 31.32665018361526): 0
* [misc]none:  (1.6144076271863765 2.313052147188523 5.617436172199321 13.11530718392387 31.55134212647002): 0
* [misc]none:  (1.1100415345903476 3.5098302675761355 6.337365409909756 11.594388014739236 24.909837238734205): 0
* [misc]none:  (1.7185807692477226 3.7185153981266255 6.937980598620311 14.25562062407963 16.67335499784115): 0
* [misc]none:  (1.1616004506186932 2.546623841958042 4.085427484079377 15.931758079623947 27.126344434037847): 0
* [misc]none:  (1.0633782596071915 2.096781517100533 4.141103778349429 15.977223576808814 23.299180916150895): 0
* [misc]none:  (1.5390003643571637 3.9012909526293003 5.923204778893614 9.5789036201255 26.47709881757763): 0
* [misc]none:  (1.6930647715488611 2.7003576900816855 6.4498845964414055 14.331769845711335 31.121288149331807): 0
* [misc]none:  (1.7830568451479019 2.218044393835001 6.578960308432755 10.066896885710818 28.226223973291283): 0
* [misc]none:  (1.1383223033899303 3.5789453120891404 6.491167367301185 12.205857713594112 22.320343521787844): 0
* [misc]none:  (1.7199338916865485 2.2805391865168616 5.543352900320677 15.319777347914084 18.738065053715246): 0
* [misc]none:  (1.7901088142526411 3.4910024957921637 7.755357849997871 10.089389444414 20.671768231926563): 0
* [misc]none:  (1.6263599437073017 3.350042892769063 6.106562086349671 8.780433296711566 18.291832741160515): 0
* [misc]none:  (1.0100356203058451 2.1955461157063123 4.914578127549498 10.643058557201142 31.318553566644514): 0
* [misc]none:  (1.814541878339649 2.2495293052691627 7.2419399303771 14.467422031348901 26.561162537151027): 0
* [misc]none:  (1.5325163290011012 2.6497590456214697 4.000547872485909 10.690275321099591 21.708028354561726): 0
* [misc]none:  (1.814270282426064 3.463024919929291 6.339695228367949 15.581688484629698 21.79785247903996): 0
* [misc]none:  (1.2300796993938576 3.0822776057362473 4.12157559343594 12.984937666640333 19.887637075933306): 0
* [misc]none:  (1.0156765124363352 2.427684203101715 7.779749412498665 12.61771273847582 17.60068748215689): 0
* [misc]none:  (1.2175348049078984 3.985452754642267 5.090689112575722 8.98202448817068 16.48489191443444): 0
* [misc]none:  (1.8780847243394596 2.568481831591946 5.713291427224047 8.759277621744179 19.506120059655256): 0
* [misc]none:  (1.5368697510837668 2.526800722957181 7.113436967819197 10.713229717492496 30.075204979178): 0
* [misc]none:  (1.557488263740242 2.2998112747720256 7.704464819977186 11.225225920316296 20.368995700451443): 0
* [misc]none:  (1.0037215206165944 2.630363379632889 6.29129670803742 9.75318337332134 24.142583689396375): 0
* [misc]none:  (1.1601810774077075 3.81669281702696 7.02886307516798 13.02477420650256 19.852942065100365): 0
* [misc]none:  (1.5144643399278326 3.308299574053243 5.098041601811662 14.82956651799414 28.596114056884804): 0
* [misc]none:  (1.385991286316533 2.085937107104271 7.275255682037567 15.041351299463255 21.80228742003028): 0
* [misc]none:  (1.2797376236260205 3.3019812086060663 5.24497020275779 12.662916045801254 28.527333918364295): 0
* [misc]none:  (1.7641301132425236 3.408467622816239 5.36440182852409 10.381876124661227 25.818738816096516): 0
* [misc]none:  (1.668144054791771 2.416252379367037 6.192903788833371 11.598162470408177 29.393564339755955): 0
* [misc]none:  (1.86323322217344 3.546346754501494 4.087771126477235 11.045500480624327 25.17729117759733): 0
* [misc]none:  (1.9886042850082024 2.790567060888188 4.274848238097111 12.826527028913043 25.851013216192943): 0
* [misc]none:  (1.466447027327696 2.7800107733012758 4.991168394021246 11.154895611077126 24.09074956282386): 0
* [misc]none:  (1.6905502749835122 2.213067087769073 5.668799441604218 11.011510995142686 18.482858930144367): 0
* [misc]none:  (1.5973314014790634 2.417458244496835 7.399054393438051 10.983002321707248 28.812569264583793): 0
* [misc]none:  (1.403747524336978 3.547465423114125 4.484706554777915 15.200527990740186 26.41059585116299): 0
* [misc]none:  (1.9839498401977007 3.672972291331851 6.772977774512659 12.22576352949534 31.739241160657038): 0
* [misc]none:  (1.2347135075838156 2.564233705113087 6.122772695240288 15.306596660160205 30.811835855000357): 0
* [misc]none:  (1.0265650980807932 2.272467325786662 7.414896942502571 14.814215107525392 26.19336641618344): 0
* [misc]none:  (1.0811706962922858 2.3830473693554026 4.33022347459804 13.128271364363327 21.733916409872702): 0
* [misc]none:  (1.5032025756932916 2.2768772354721993 5.370759359041681 13.298791844150891 27.544665302107372): 0
* [misc]none:  (1.7427851191935706 2.4977121942833094 7.748959931058977 13.810747636162088 27.94153289489163): 0
* [misc]none:  (1.3411156094841872 3.9593326603644003 6.541930278790376 11.427859768338205 25.552934642835158): 0
* [misc]none:  (1.715209484943956 2.7237853919636446 6.241714738067987 15.782731334697491 21.466427818157182): 0
* [misc]none:  (1.4290471201836399 3.4892043624616784 7.46562459007102 14.20763426017772 22.764094374614327): 0
* [misc]none:  (1.5394873892515435 2.317184168435658 6.685282517300927 15.152155342523034 25.978820681135065): 0
* [misc]none:  (1.1008769134792455 2.681572132294767 6.952550277937707 13.214498044014302 21.664086352607985): 0
* [misc]none:  (1.713461912337574 3.2556597730753705 4.853756851195796 8.791827959847364 23.276959965040614): 0
* [misc]none:  (1.9307796003002236 3.309078083365114 6.08454988476127 12.954728587633905 21.506080103304804): 0
* [misc]none:  (1.698007596493733 2.9443648428383935 5.56480439075588 13.014412010572464 23.416147578586475): 0
* [misc]none:  (1.3803650506640477 2.070214964398255 5.754916978173068 12.644035739837333 21.87914199850386): 0
* [misc]none:  (1.0953402502109404 2.519933449159371 6.422800367947543 13.85227494860019 20.111468647471828): 0
* [misc]none:  (1.5744841425757994 3.6959340420694704 4.857299777723413 12.37681549376584 16.92346385108453): 0
* [misc]none:  (1.986868012647839 3.5226020799333537 5.16768233011624 10.795523610271022 26.87139338735402): 0
* [misc]none:  (1.9384210833495128 3.481529356295694 7.896367984583155 11.71190048198224 30.779396267093208): 0
* [misc]none:  (1.816762029798531 2.8619233467807805 4.761952729498687 13.480684580085834 26.134666279698337): 0
* [misc]none:  (1.0461028616758437 2.744680140293426 6.546429389117709 14.940348350109067 17.0756622107338): 0
* [misc]none:  (1.9297410850448784 3.8949844524745205 7.625324671706183 11.296206381631302 24.57450096084168): 0
* [misc]none:  (1.212309031667466 3.2432081978180487 7.472458017765936 8.809767662407307 26.876761520958738): 0
* [misc]none:  (1.026082255395808 3.584947273180054 4.998854931917924 12.640461394669131 28.452514443486088): 0
* [misc]none:  (1.0857578577258407 3.3362793650868316 6.480146300235097 11.161411648393152 24.373796185862147): 0
* [misc]none:  (1.5958151372361886 2.8663332681113642 4.598594120757719 15.820701283981164 19.601948770644018): 0
* [misc]none:  (1.3908050399958096 3.4703764915695934 7.523785955338515 12.727587746210757 28.086096765451586): 0
* [misc]none:  (1.6713067053232449 3.5079712042992948 5.242514325468646 12.658050909259325 29.242212206783883): 0
* [misc]none:  (1.5907216188796447 3.313862054293695 6.092728616371296 9.098106099445854 27.69685571549771): 0
* [misc]none:  (1.4630990853973875 2.2487466335982647 7.044091632842823 8.420411759399911 30.19589270373666): 0
* [misc]none:  (1.7149222832178448 2.09203480926364 7.0698618419108366 14.028662865673192 27.66328817731053): 0
* [misc]none:  (1.2570609428795507 2.324495250552433 4.746936354827522 15.757395127929836 22.040152237745843): 0
* [misc]none:  (1.2301420755708576 2.0744618733574676 4.5079682413200155 11.26523787340612 20.009610907929417): 0
* [misc]none:  (1.562066720011887 2.489996733229557 4.943255807063328 12.064846353377112 26.11460030461875): 0
* [misc]none:  (1.5090276165843541 3.0168045981293856 5.843008913722838 15.76429685232611 25.764618138130153): 0
* [misc]none:  (1.1590554226185739 3.6976869864286845 6.096308017007208 13.292836558674656 19.604729343406998): 0
* [misc]none:  (1.987262569756641 2.2595186677288206 4.293685154917246 9.650533017343822 23.093775783691267): 0
* [misc]none:  (1.6053901914057587 3.4273140328181046 5.947089122707781 14.872297375919077 29.422874610390185): 0
* [misc]none:  (1.217580034214365 2.717726840050081 4.587407222773727 9.091876906090686 20.926904209083126): 0
* [misc]none:  (1.6421873934522235 2.21799655982618 4.064874778944861 13.742455934621113 20.76620153656717): 0
* [misc]none:  (1.1294858231037082 3.8464897170212526 7.110079313097114 11.493038455025484 29.25188263776101): 0
* [misc]none:  (1.5046821589759831 3.2037245321266994 5.879554054187544 11.8485348724218 28.198184673093518): 0
* [misc]none:  (1.1783427239851902 2.0364561253029154 7.314665297152513 9.890704342759951 19.61142709157183): 0
* [misc]none:  (1.841729827709936 2.9511904403977733 6.109672697671483 10.959617647745599 22.168996520765578): 0
* [misc]none:  (1.661104840782104 3.288311841995256 4.5320754005091075 11.94293294450939 24.146457836731283): 0
* [misc]none:  (1.9953161383675444 2.568818312307173 4.817373324386507 14.9639052900728 22.125904335830256): 0
* [misc]none:  (1.5600482301647953 2.6094490995462065 4.069446475861614 11.293413758742584 27.84944899915997): 0
* [misc]none:  (1.318180875289556 3.697906010151005 5.3491926124230185 8.488013290278143 16.48167140984812): 0
* [misc]none:  (1.7169871038768314 3.9592661112406846 6.830188577884725 13.594051503727117 20.787090349870617): 0
* [misc]none:  (1.097933027126834 2.938367414772236 5.185170561932163 14.182772875087345 19.896447067447067): 0
* [misc]none:  (1.9034584445551106 3.7766378051959726 4.287730356195233 10.569813807395478 20.85070282138133): 0
* [misc]none:  (1.0795744822297362 3.2346821580955796 6.245696523073176 10.480093587125827 24.85161027474719): 0
* [misc]none:  (1.4399310945667876 3.342453754265997 7.365840235031814 10.968887596055039 23.042157605791303): 0
* [misc]none:  (1.6335681230684707 3.0343453190804808 6.231602470130701 14.249235420657188 20.235030174753632): 0
* [misc]none:  (1.7848701382814154 3.24602779139103 4.948254272925427 11.194122678747089 26.93362054017661): 0
* [misc]none:  (1.8482271735328875 3.026186564840116 7.213263885637963 11.809994622461774 19.641833930804538): 0
* [misc]none:  (1.4751165525367833 3.415176176274318 5.137185815860663 13.154879142432451 31.01483683010177): 0
* [misc]none:  (1.3056589161715257 3.78154921388253 4.9069769347317935 14.917587675626303 24.910466476418378): 0
* [misc]none:  (1.8611023385795886 3.6265720231018803 4.106711214403622 14.642968315345744 20.449099312872463): 0
* [misc]none:  (1.1855018162988151 2.972306289802424 5.902058343560268 11.98558074328756 23.997493272393612): 0
* [misc]none:  (1.8167038099474724 3.4309391047773876 5.6503229514363325 9.43960644127951 16.841437506790413): 0
* [misc]none:  (1.2419768988626112 3.1116560195844403 5.748932070296528 15.482485512655485 18.42535504073311): 0
* [misc]none:  (1.8672351997036938 2.816825219343223 4.928127694220284 12.95377321697644 30.722175103468768): 0
* [misc]none:  (1.2155124391524006 3.5971870413970786 6.941620201912981 15.90018509719836 25.68017054786689): 0
* [misc]none:  (1.057268121048827 2.86586149801983 4.577040635493431 15.129302946502639 18.320128354995457): 0
* [misc]none:  (1.7589430617430921 3.5207885910209025 4.5921562295816845 9.295679662377651 26.038117354189755): 0
* [misc]none:  (1.962816087059143 3.2843455430364146 5.102179744753949 9.37762880439979 18.97374244569344): 0
* [misc]none:  (1.6424982174267162 2.0688564604117783 5.298314381452731 14.228433447214451 25.742636543809347): 0
* [misc]none:  (1.6166183353530308 2.7227100064861958 7.677337657856266 15.597681119900107 28.0292797827023): 0
* [misc]none:  (1.4738726746092532 3.8390132131993298 7.100099252109599 11.809829431054837 28.044505161267608): 0
* [misc]none:  (1.10922723423845 3.490095146302308 4.908686342527934 13.694916842111919 20.279955595986927): 0
* [misc]none:  (1.2711244724080637 3.477623052861001 7.096923971368867 14.873566473859151 27.17943170589153): 0
* [misc]none:  (1.6804629569870433 3.4626469268203692 5.017224020039607 13.441191641438229 18.556137281454216): 0
* [misc]none:  (1.806666779564756 3.448421191717132 6.132465662443319 15.014608049528436 30.54904463832722): 0
* [misc]none:  (1.718530643684017 2.8093285186847616 7.007042975002839 13.554874933418981 22.63449878225293): 0
* [misc]none:  (1.0457253529576644 3.4822609438518835 6.861256325685871 9.992483752552062 18.6241211059529): 0
* [misc]none:  (1.3115999667537432 2.887002879294623 7.629902245456719 11.967310063923936 16.324824685672287): 0
* [misc]none:  (1.3567062605917841 3.2329821434089845 5.292116377138354 9.93760350789636 30.124862635011784): 0
* [misc]none:  (1.8619520026386724 3.048670295572333 6.09223055850684 8.058570900629464 23.044013985045417): 0
* [misc]none:  (1.8381124801047377 3.315742867677043 5.565935545871316 10.172703961690411 29.621046125797747): 0
* [misc]none:  (1.148581973054121 3.185067184199779 6.8955475134617465 8.824072788804237 24.201976867663337): 0
* [misc]none:  (1.236445302643987 3.657198584574498 4.568389908401183 13.405492329513859 29.93852927583201): 0
* [misc]none:  (1.2663999293467323 2.2637260259879546 6.5352902470759116 12.509166712564499 26.197043699226047): 0
* [misc]none:  (1.9617632655104704 2.9925779866734494 5.122028067329483 14.71221717523986 20.569824880089826): 0
* [misc]none:  (1.7405516939517183 3.0621513811188543 4.869585869108348 14.553772263700377 20.776187578408784): 0
* [misc]none:  (1.628605331842176 3.6638592196704605 7.780205217482262 13.914843157820684 31.881755255077348): 0
* [misc]none:  (1.9397621961050735 2.5738185268400406 5.152652420928114 14.941235324128153 21.582893431013797): 0
* [misc]none:  (1.8308141109639797 2.418162620462948 4.496125907009576 11.058359686056146 29.95906145527465): 0
* [misc]none:  (1.2670685445162502 3.1125660585995703 4.820971831418119 15.81357773217947 20.426691175292515): 0
* [misc]none:  (1.0718143149864976 3.9585993887414843 6.957245193146387 13.03999921847051 25.343529840919796): 0
* [misc]none:  (1.1105511865693316 2.084411930047786 7.234340715365286 11.855644416123381 23.460798076901916): 0
* [misc]none:  (1.48724821005754 3.7479387053697515 5.2943680609592265 12.859391858518652 24.64640939443831): 0
* [misc]none:  (1.0159358471237858 2.3175192359600603 4.698601034578391 14.46095445409096 20.06626851200332): 0
* [misc]none:  (1.9204831294268938 2.4635013100628047 5.9469002384975065 11.756463113717308 23.088787105712427): 0
* [misc]none:  (1.5959489781581921 2.6406405583555173 4.371186162080313 8.609011407982784 25.542517899022496): 0
* [misc]none:  (1.4342003156138694 2.5599878857260525 7.2067428042085355 13.926096670084018 21.23028212673987): 0
* [misc]none:  (1.725624227939002 2.582827630417108 7.771189607626375 14.623966386783435 18.432040563931153): 0
* [misc]none:  (1.990313237551826 2.134212269797878 5.337961794938256 13.178012913133188 20.73988734638785): 0
* [misc]none:  (1.7793683027402178 2.2582537622411887 4.234640628798277 8.786485211110449 28.83816644367507): 0
* [misc]none:  (1.5620128052944156 2.894600743349056 4.482661761148966 10.533839700544627 16.8039181501321): 0
* [misc]none:  (1.1471404607529418 3.6765576518699423 6.271803579853069 8.579904367599113 23.430740118422445): 0
* [misc]none:  (1.065349598729362 3.4794151454146287 6.125804484454863 8.734259544823923 28.71858194709844): 0
* [misc]none:  (1.4931803847591285 3.6157219773309683 6.814428224506535 11.940044410261757 28.69315197985773): 0
* [misc]none:  (1.4089365151962507 2.3397036661764736 5.388995176171206 13.627931658702447 17.721222694238264): 0
* [misc]none:  (1.722516183862467 3.4905366220185208 7.60368368757022 14.988826567464072 19.660170641085934): 0
* [misc]none:  (1.1464514883815249 3.9803931977055305 6.215620692907777 15.214940222820458 31.008466649963232): 0
* [misc]none:  (1.7436416834345163 3.661878001986574 4.195792898830191 11.805470307552772 21.391031656956628): 0
* [misc]none:  (1.6814709112288664 2.5023245490547863 7.878811984263058 11.062505393308435 29.696598202542415): 0
* [misc]none:  (1.5111875474725847 3.9376082589612715 6.081492042149024 11.519005948804832 19.510389671112325): 0
* [misc]none:  (1.6869330100521867 3.555495797453218 7.046841895300544 9.891100691295504 25.98194300644321): 0
* [misc]none:  (1.5350844894386613 2.304742001751365 6.855996162450335 14.381574249480671 16.717309539433494): 0
* [misc]none:  (1.097212075242491 2.216002666539025 7.4547261039510335 13.060953684199903 27.6916325319633): 0
* [misc]none:  (1.4806945241715794 2.4687065661558036 6.622439835291257 14.451810183361806 30.57181594217433): 0
* [misc]none:  (1.039642553934124 2.910578546773931 7.753756598572171 12.173572177783523 26.341443686756847): 0
* [misc]none:  (1.6325793314903763 2.0569565134253143 6.252953698067384 15.233777896621467 30.83315466071204): 0
* [misc]none:  (1.3154388236215817 3.7491272218997893 7.036881222318315 11.477775456523103 22.158829223866103): 0
* [misc]none:  All alt indices
* [misc]none:  (λ (a b c d e) (+ (+ (+ (+ e d) c) b) a)): 0
* [misc]none:  Best alt per point
* [misc]none:  (1.650016362915784 2.9825745241704404 4.988653683326181 10.653825789718708 29.594718059764737): 0
* [misc]none:  (1.1759700090940124 3.253230334813193 5.815587356956319 14.17494691424519 25.091234411871387): 0
* [misc]none:  (1.6364176410196278 2.5184293905607076 5.896312070268887 9.583939995862911 25.606676490256262): 0
* [misc]none:  (1.9753332584008114 2.4205882084685535 4.7373758907424595 11.366121456631914 25.495108255923554): 0
* [misc]none:  (1.4134373984171198 2.761240220819548 6.05688749983959 15.679762396801678 22.58839774580934): 0
* [misc]none:  (1.2652653918015877 2.9125622089694656 6.446549436028025 11.445926827520092 30.713523800218244): 0
* [misc]none:  (1.2523069453007285 3.293421367443784 6.192837571311935 15.916760421246614 31.992361415169867): 0
* [misc]none:  (1.3631637804907082 2.3337330775424 6.907198262479009 15.586446612440408 19.246770629460677): 0
* [misc]none:  (1.5369862172680226 2.392946266031948 7.681798708168776 11.320896983839937 22.97964067075969): 0
* [misc]none:  (1.4488404973524969 3.791094959894525 7.29344122386177 10.37522575579422 30.984867651337908): 0
* [misc]none:  (1.7058616393809216 3.406280749216338 7.713845961095405 12.708709280308941 24.29799233468001): 0
* [misc]none:  (1.8180725995401696 3.4338852699382785 7.1428485389544765 14.015488735701247 27.685313616874915): 0
* [misc]none:  (1.6867782159974871 2.974407741702575 5.105373700573165 11.845326090068946 28.24900405567765): 0
* [misc]none:  (1.4302985186408874 3.5973965195382553 4.421526975823047 14.005350306629296 17.663293352236774): 0
* [misc]none:  (1.5209533813667109 2.108593716947282 4.012005198068217 10.107958489203847 28.85108813337145): 0
* [misc]none:  (1.281082469387649 3.5959074568436624 4.190383875314821 8.989781036758865 17.053410005131404): 0
* [misc]none:  (1.4694217492722164 2.3341162498894006 6.700157034147356 8.480861298866188 23.942325013728937): 0
* [misc]none:  (1.7186972121576136 3.783621447365504 7.084163523757616 9.51236976262401 25.628826992541963): 0
* [misc]none:  (1.7650969564039305 2.772977282916372 5.27958365576334 10.665023371738409 17.066352869501763): 0
* [misc]none:  (1.9420888759704065 2.5344851152035415 6.119002797784421 12.542308368572755 29.187260693203676): 0
* [misc]none:  (1.4601147062059252 3.384690686493835 5.580268109362821 10.008933611695651 26.743275316702988): 0
* [misc]none:  (1.3811059226818088 3.5900185395663797 6.0964300498870925 13.68643206545987 16.301977296673435): 0
* [misc]none:  (1.3069857168778969 2.0868268555490235 5.151557801904661 8.444628371747703 17.16925422143701): 0
* [misc]none:  (1.1590248003834818 3.374949490491938 6.457244181401199 10.187784795928563 24.689746154846183): 0
* [misc]none:  (1.1718970098767765 3.626034680878389 6.398636960225268 14.120894960633269 23.311506460998835): 0
* [misc]none:  (1.0161644045331115 2.7651100860146007 4.735709512708709 9.118247970311957 28.949193323416488): 0
* [misc]none:  (1.762517130561549 3.921766628198893 6.560382569026156 13.616403554939923 27.87204992129706): 0
* [misc]none:  (1.0715358645556126 3.1761625536924445 4.344117445149825 11.284926414614137 19.867994944459515): 0
* [misc]none:  (1.8691387856511366 2.448469938114363 5.920346586975183 10.33631932366387 24.990900744710817): 0
* [misc]none:  (1.9785522483324127 2.1689175050949747 6.1562980601511725 12.96395104731722 17.662146712904796): 0
* [misc]none:  (1.153488881635991 3.8951053374231748 7.080778616130898 11.298387601779348 29.28436853688808): 0
* [misc]none:  (1.3166705682928115 3.769800669590428 4.754268657573173 9.773156499711543 23.085917232209894): 0
* [misc]none:  (1.6776702878897585 3.608533741897395 6.172682677406705 12.188439199639676 23.362403559507083): 0
* [misc]none:  (1.7844133006996878 2.2019318075345105 5.807226820032205 9.591755210222924 25.72316445477477): 0
* [misc]none:  (1.9885444153213545 3.421348934195634 5.978523541094676 15.912981138495281 24.5476870337872): 0
* [misc]none:  (1.2290329737457095 3.077211349100616 5.476091524992665 9.138821252570956 17.144961468098415): 0
* [misc]none:  (1.8068488890995908 3.3286689949783463 7.122759819675642 10.966059168768052 27.84755066279788): 0
* [misc]none:  (1.7982647368415394 3.75414910708629 5.0771925054453 10.565528078373182 18.523122112909245): 0
* [misc]none:  (1.2305781373203384 2.036281487740166 7.716279401503876 15.104588284887232 19.94344392843055): 0
* [misc]none:  (1.1815437128974817 3.0055856201516122 5.217787246793314 14.842023813509732 31.072128589754783): 0
* [misc]none:  (1.4085693221587563 2.7106417799099045 5.503845172686095 13.359392875274313 31.91471988193141): 0
* [misc]none:  (1.6873564907147103 3.857524679582869 7.124516592164356 13.548891494366833 16.841819622213187): 0
* [misc]none:  (1.3413876386952723 3.3552809341107253 5.237162067155475 8.932711066327315 21.730997765890404): 0
* [misc]none:  (1.1463439656671008 3.861090464572634 7.207779754191487 13.802805931267825 26.06033721775673): 0
* [misc]none:  (1.8915300834995823 3.5555503977924006 4.887761789590397 9.326260593559635 17.992169875756172): 0
* [misc]none:  (1.009348040440744 3.9136629549292765 5.091795625483438 11.969337162329182 28.47269219530036): 0
* [misc]none:  (1.6796782305087024 2.0288204916480965 7.904584542879618 14.056735296597813 25.233463620100334): 0
* [misc]none:  (1.3609304231474775 3.6243998579105194 6.751546919667242 14.063324429983764 25.935454115634474): 0
* [misc]none:  (1.450595747468058 3.695743327698842 4.286521403503672 13.64777129350623 25.472486591232066): 0
* [misc]none:  (1.1258281834345139 3.1730009023923156 4.493169924327769 11.117592757733812 24.99147105903812): 0
* [misc]none:  (1.0510723898589152 2.396708977044799 5.5823637429003625 10.295526060916034 31.51029513675722): 0
* [misc]none:  (1.5642155541135114 3.1244357924058597 5.993286688616752 14.385967457774338 16.5962746279659): 0
* [misc]none:  (1.397103594765265 2.3917333520461423 6.074884864448811 9.708891277919369 28.013226945291827): 0
* [misc]none:  (1.07152233847111 3.57505040796151 5.810363945011779 10.931866170261076 21.65911985791588): 0
* [misc]none:  (1.693579068590374 3.1950767578195456 7.672294877915066 15.692078496829195 27.53545140584604): 0
* [misc]none:  (1.7633397908303108 2.9652926102004393 6.778458218350079 14.990026714089357 22.617920656751373): 0
* [misc]none:  (1.9313997131427567 2.6623464147947837 7.655798890579691 14.734902241927529 21.944740697082345): 0
* [misc]none:  (1.044110736488027 3.307626018803336 6.948246907262845 15.182886451206333 26.465104299354486): 0
* [misc]none:  (1.853053166134858 2.364308711451469 7.7388025096503235 15.43544499283679 18.980792325114997): 0
* [misc]none:  (1.591954478496423 2.965760385905015 6.731369768356939 12.318639227218421 30.03177184425208): 0
* [misc]none:  (1.5645086538367599 2.431339030421662 4.868302524979859 12.946146190214396 20.636978250345102): 0
* [misc]none:  (1.6534025825766276 2.6374395074768735 6.710800911689496 14.866788891334679 17.738665317825802): 0
* [misc]none:  (1.3125420584683802 2.017284051615208 7.7356859723130045 15.987472434470599 20.00235824451072): 0
* [misc]none:  (1.8461536188457814 2.85624709741411 4.712801948935325 10.443559537250257 16.826151322718633): 0
* [misc]none:  (1.3060013571374687 3.7113999771526305 5.779932276789275 8.408839192304324 27.183054467391095): 0
* [misc]none:  (1.4170394723721929 2.8026167593892013 6.271758702230267 15.688297857512824 23.40214840133686): 0
* [misc]none:  (1.2860161915671002 3.6508573870949768 7.839419806653741 12.262651914632123 31.531205017073972): 0
* [misc]none:  (1.4412734110548593 3.112810083189442 4.194871942609308 12.32707198114528 31.742819338710916): 0
* [misc]none:  (1.3935764232364611 2.6233481339492895 7.375758686171252 10.418977104808437 26.904998013116217): 0
* [misc]none:  (1.3820260712800163 3.2871756414388336 7.156003471242922 11.710034528161758 16.77743821955306): 0
* [misc]none:  (1.4204088067410445 2.1346621319485966 7.0875830607224914 9.035091050133445 20.610372415175082): 0
* [misc]none:  (1.4953875639272338 2.1697405911904837 4.3106205038935075 8.728509533222987 18.470268004868565): 0
* [misc]none:  (1.8765502514575232 2.3146155850336347 6.717213767608897 13.901213922655012 24.753653700595883): 0
* [misc]none:  (1.6689203611012922 2.1690432330780283 5.245924291097081 14.340156983854833 18.00002702631938): 0
* [misc]none:  (1.5382900865231315 2.4602090514221984 7.262438180474235 10.171887404841545 24.03933182870781): 0
* [misc]none:  (1.4919169078768784 3.7096998078384114 4.374988321538699 10.27183547008989 24.26957273995284): 0
* [misc]none:  (1.0801489126679926 2.7283146184634646 7.8584361068771775 13.398556119688019 31.257751920092105): 0
* [misc]none:  (1.6581247625463502 2.7403474261737406 7.924665672345127 12.50641506912024 25.30354992158391): 0
* [misc]none:  (1.2887001357186683 2.0969360866486513 6.194282082465204 8.561624364697357 31.324443687630616): 0
* [misc]none:  (1.7828212782621604 3.896508559840856 5.962647801453691 14.274054189631386 19.54968302866149): 0
* [misc]none:  (1.3108319980242231 3.5724666562034044 7.413147771894149 8.27698809397926 28.461281667419588): 0
* [misc]none:  (1.902425185280176 2.1464533445055864 4.41582523403478 9.739022384768663 30.094871890610268): 0
* [misc]none:  (1.5728247849740702 2.247865496488955 4.342119209683435 13.14735717252504 30.49815401344272): 0
* [misc]none:  (1.8463831080915059 3.416320075412064 5.545329893134269 12.45165575095303 17.39626634957785): 0
* [misc]none:  (1.7522439881679783 3.1866988172229727 6.317019196225699 10.707309795666836 25.78942648948): 0
* [misc]none:  (1.5830195509717657 3.5087813376093604 4.670298328124047 10.222801884177267 19.508948369241654): 0
* [misc]none:  (1.7207149460010889 2.7070629538438102 4.65642947157274 11.777086975741156 27.839750436994297): 0
* [misc]none:  (1.3966112116224967 3.736839305692724 7.819583107107893 12.481356859174417 26.000313796338588): 0
* [misc]none:  (1.4227948906746455 3.2077302425267473 5.198768554239818 13.023565434662943 16.27412389609132): 0
* [misc]none:  (1.150235020329214 3.53093181187497 5.6326477266991395 13.386074271603773 29.139266017964324): 0
* [misc]none:  (1.4339953276435626 3.056899727331097 6.901443862416763 10.287997369299935 31.99401419087523): 0
* [misc]none:  (1.4120884287515576 3.275211229983906 4.876751045209675 9.998653014112673 27.213616559749905): 0
* [misc]none:  (1.7545985152864136 3.552108426376451 4.773832134724167 14.934320029451978 28.945406603183336): 0
* [misc]none:  (1.929796686458558 3.546605202240958 4.185677072456937 12.97854835673607 23.30871710581059): 0
* [misc]none:  (1.727066743036614 3.5053582772260454 5.891237223430739 12.252833250964764 16.57307584650609): 0
* [misc]none:  (1.760778083128207 3.8189950596265376 7.894612139704361 8.475540461675202 24.551136019682975): 0
* [misc]none:  (1.198718360763465 3.1405610905387205 5.126534091392604 12.496385447699428 27.857847190632516): 0
* [misc]none:  (1.0703546271793762 2.238650468630728 4.436290040598395 12.724872501196309 31.651374244020896): 0
* [misc]none:  (1.2263314273663748 3.436317386605805 6.165931130694312 8.247064587820601 25.823808288629333): 0
* [misc]none:  (1.2662017941545725 2.9767177847566364 7.5676709860341305 10.774926502310594 18.607502469427974): 0
* [misc]none:  (1.2081856170563385 2.0429373093613794 7.09710401361171 9.561370345145729 31.71876488697191): 0
* [misc]none:  (1.079090049793164 3.554488967154711 5.39069264536612 13.630642142304207 23.288815082672958): 0
* [misc]none:  (1.968150533398003 3.5779976855088234 6.384985519610019 9.911799096354441 31.077908081087593): 0
* [misc]none:  (1.9451896062201322 3.6961397188436345 6.500931536022752 14.462640244692071 29.11513807886216): 0
* [misc]none:  (1.886252877540709 3.6238472161710042 6.414124526664117 9.688387355694214 31.32665018361526): 0
* [misc]none:  (1.6144076271863765 2.313052147188523 5.617436172199321 13.11530718392387 31.55134212647002): 0
* [misc]none:  (1.1100415345903476 3.5098302675761355 6.337365409909756 11.594388014739236 24.909837238734205): 0
* [misc]none:  (1.7185807692477226 3.7185153981266255 6.937980598620311 14.25562062407963 16.67335499784115): 0
* [misc]none:  (1.1616004506186932 2.546623841958042 4.085427484079377 15.931758079623947 27.126344434037847): 0
* [misc]none:  (1.0633782596071915 2.096781517100533 4.141103778349429 15.977223576808814 23.299180916150895): 0
* [misc]none:  (1.5390003643571637 3.9012909526293003 5.923204778893614 9.5789036201255 26.47709881757763): 0
* [misc]none:  (1.6930647715488611 2.7003576900816855 6.4498845964414055 14.331769845711335 31.121288149331807): 0
* [misc]none:  (1.7830568451479019 2.218044393835001 6.578960308432755 10.066896885710818 28.226223973291283): 0
* [misc]none:  (1.1383223033899303 3.5789453120891404 6.491167367301185 12.205857713594112 22.320343521787844): 0
* [misc]none:  (1.7199338916865485 2.2805391865168616 5.543352900320677 15.319777347914084 18.738065053715246): 0
* [misc]none:  (1.7901088142526411 3.4910024957921637 7.755357849997871 10.089389444414 20.671768231926563): 0
* [misc]none:  (1.6263599437073017 3.350042892769063 6.106562086349671 8.780433296711566 18.291832741160515): 0
* [misc]none:  (1.0100356203058451 2.1955461157063123 4.914578127549498 10.643058557201142 31.318553566644514): 0
* [misc]none:  (1.814541878339649 2.2495293052691627 7.2419399303771 14.467422031348901 26.561162537151027): 0
* [misc]none:  (1.5325163290011012 2.6497590456214697 4.000547872485909 10.690275321099591 21.708028354561726): 0
* [misc]none:  (1.814270282426064 3.463024919929291 6.339695228367949 15.581688484629698 21.79785247903996): 0
* [misc]none:  (1.2300796993938576 3.0822776057362473 4.12157559343594 12.984937666640333 19.887637075933306): 0
* [misc]none:  (1.0156765124363352 2.427684203101715 7.779749412498665 12.61771273847582 17.60068748215689): 0
* [misc]none:  (1.2175348049078984 3.985452754642267 5.090689112575722 8.98202448817068 16.48489191443444): 0
* [misc]none:  (1.8780847243394596 2.568481831591946 5.713291427224047 8.759277621744179 19.506120059655256): 0
* [misc]none:  (1.5368697510837668 2.526800722957181 7.113436967819197 10.713229717492496 30.075204979178): 0
* [misc]none:  (1.557488263740242 2.2998112747720256 7.704464819977186 11.225225920316296 20.368995700451443): 0
* [misc]none:  (1.0037215206165944 2.630363379632889 6.29129670803742 9.75318337332134 24.142583689396375): 0
* [misc]none:  (1.1601810774077075 3.81669281702696 7.02886307516798 13.02477420650256 19.852942065100365): 0
* [misc]none:  (1.5144643399278326 3.308299574053243 5.098041601811662 14.82956651799414 28.596114056884804): 0
* [misc]none:  (1.385991286316533 2.085937107104271 7.275255682037567 15.041351299463255 21.80228742003028): 0
* [misc]none:  (1.2797376236260205 3.3019812086060663 5.24497020275779 12.662916045801254 28.527333918364295): 0
* [misc]none:  (1.7641301132425236 3.408467622816239 5.36440182852409 10.381876124661227 25.818738816096516): 0
* [misc]none:  (1.668144054791771 2.416252379367037 6.192903788833371 11.598162470408177 29.393564339755955): 0
* [misc]none:  (1.86323322217344 3.546346754501494 4.087771126477235 11.045500480624327 25.17729117759733): 0
* [misc]none:  (1.9886042850082024 2.790567060888188 4.274848238097111 12.826527028913043 25.851013216192943): 0
* [misc]none:  (1.466447027327696 2.7800107733012758 4.991168394021246 11.154895611077126 24.09074956282386): 0
* [misc]none:  (1.6905502749835122 2.213067087769073 5.668799441604218 11.011510995142686 18.482858930144367): 0
* [misc]none:  (1.5973314014790634 2.417458244496835 7.399054393438051 10.983002321707248 28.812569264583793): 0
* [misc]none:  (1.403747524336978 3.547465423114125 4.484706554777915 15.200527990740186 26.41059585116299): 0
* [misc]none:  (1.9839498401977007 3.672972291331851 6.772977774512659 12.22576352949534 31.739241160657038): 0
* [misc]none:  (1.2347135075838156 2.564233705113087 6.122772695240288 15.306596660160205 30.811835855000357): 0
* [misc]none:  (1.0265650980807932 2.272467325786662 7.414896942502571 14.814215107525392 26.19336641618344): 0
* [misc]none:  (1.0811706962922858 2.3830473693554026 4.33022347459804 13.128271364363327 21.733916409872702): 0
* [misc]none:  (1.5032025756932916 2.2768772354721993 5.370759359041681 13.298791844150891 27.544665302107372): 0
* [misc]none:  (1.7427851191935706 2.4977121942833094 7.748959931058977 13.810747636162088 27.94153289489163): 0
* [misc]none:  (1.3411156094841872 3.9593326603644003 6.541930278790376 11.427859768338205 25.552934642835158): 0
* [misc]none:  (1.715209484943956 2.7237853919636446 6.241714738067987 15.782731334697491 21.466427818157182): 0
* [misc]none:  (1.4290471201836399 3.4892043624616784 7.46562459007102 14.20763426017772 22.764094374614327): 0
* [misc]none:  (1.5394873892515435 2.317184168435658 6.685282517300927 15.152155342523034 25.978820681135065): 0
* [misc]none:  (1.1008769134792455 2.681572132294767 6.952550277937707 13.214498044014302 21.664086352607985): 0
* [misc]none:  (1.713461912337574 3.2556597730753705 4.853756851195796 8.791827959847364 23.276959965040614): 0
* [misc]none:  (1.9307796003002236 3.309078083365114 6.08454988476127 12.954728587633905 21.506080103304804): 0
* [misc]none:  (1.698007596493733 2.9443648428383935 5.56480439075588 13.014412010572464 23.416147578586475): 0
* [misc]none:  (1.3803650506640477 2.070214964398255 5.754916978173068 12.644035739837333 21.87914199850386): 0
* [misc]none:  (1.0953402502109404 2.519933449159371 6.422800367947543 13.85227494860019 20.111468647471828): 0
* [misc]none:  (1.5744841425757994 3.6959340420694704 4.857299777723413 12.37681549376584 16.92346385108453): 0
* [misc]none:  (1.986868012647839 3.5226020799333537 5.16768233011624 10.795523610271022 26.87139338735402): 0
* [misc]none:  (1.9384210833495128 3.481529356295694 7.896367984583155 11.71190048198224 30.779396267093208): 0
* [misc]none:  (1.816762029798531 2.8619233467807805 4.761952729498687 13.480684580085834 26.134666279698337): 0
* [misc]none:  (1.0461028616758437 2.744680140293426 6.546429389117709 14.940348350109067 17.0756622107338): 0
* [misc]none:  (1.9297410850448784 3.8949844524745205 7.625324671706183 11.296206381631302 24.57450096084168): 0
* [misc]none:  (1.212309031667466 3.2432081978180487 7.472458017765936 8.809767662407307 26.876761520958738): 0
* [misc]none:  (1.026082255395808 3.584947273180054 4.998854931917924 12.640461394669131 28.452514443486088): 0
* [misc]none:  (1.0857578577258407 3.3362793650868316 6.480146300235097 11.161411648393152 24.373796185862147): 0
* [misc]none:  (1.5958151372361886 2.8663332681113642 4.598594120757719 15.820701283981164 19.601948770644018): 0
* [misc]none:  (1.3908050399958096 3.4703764915695934 7.523785955338515 12.727587746210757 28.086096765451586): 0
* [misc]none:  (1.6713067053232449 3.5079712042992948 5.242514325468646 12.658050909259325 29.242212206783883): 0
* [misc]none:  (1.5907216188796447 3.313862054293695 6.092728616371296 9.098106099445854 27.69685571549771): 0
* [misc]none:  (1.4630990853973875 2.2487466335982647 7.044091632842823 8.420411759399911 30.19589270373666): 0
* [misc]none:  (1.7149222832178448 2.09203480926364 7.0698618419108366 14.028662865673192 27.66328817731053): 0
* [misc]none:  (1.2570609428795507 2.324495250552433 4.746936354827522 15.757395127929836 22.040152237745843): 0
* [misc]none:  (1.2301420755708576 2.0744618733574676 4.5079682413200155 11.26523787340612 20.009610907929417): 0
* [misc]none:  (1.562066720011887 2.489996733229557 4.943255807063328 12.064846353377112 26.11460030461875): 0
* [misc]none:  (1.5090276165843541 3.0168045981293856 5.843008913722838 15.76429685232611 25.764618138130153): 0
* [misc]none:  (1.1590554226185739 3.6976869864286845 6.096308017007208 13.292836558674656 19.604729343406998): 0
* [misc]none:  (1.987262569756641 2.2595186677288206 4.293685154917246 9.650533017343822 23.093775783691267): 0
* [misc]none:  (1.6053901914057587 3.4273140328181046 5.947089122707781 14.872297375919077 29.422874610390185): 0
* [misc]none:  (1.217580034214365 2.717726840050081 4.587407222773727 9.091876906090686 20.926904209083126): 0
* [misc]none:  (1.6421873934522235 2.21799655982618 4.064874778944861 13.742455934621113 20.76620153656717): 0
* [misc]none:  (1.1294858231037082 3.8464897170212526 7.110079313097114 11.493038455025484 29.25188263776101): 0
* [misc]none:  (1.5046821589759831 3.2037245321266994 5.879554054187544 11.8485348724218 28.198184673093518): 0
* [misc]none:  (1.1783427239851902 2.0364561253029154 7.314665297152513 9.890704342759951 19.61142709157183): 0
* [misc]none:  (1.841729827709936 2.9511904403977733 6.109672697671483 10.959617647745599 22.168996520765578): 0
* [misc]none:  (1.661104840782104 3.288311841995256 4.5320754005091075 11.94293294450939 24.146457836731283): 0
* [misc]none:  (1.9953161383675444 2.568818312307173 4.817373324386507 14.9639052900728 22.125904335830256): 0
* [misc]none:  (1.5600482301647953 2.6094490995462065 4.069446475861614 11.293413758742584 27.84944899915997): 0
* [misc]none:  (1.318180875289556 3.697906010151005 5.3491926124230185 8.488013290278143 16.48167140984812): 0
* [misc]none:  (1.7169871038768314 3.9592661112406846 6.830188577884725 13.594051503727117 20.787090349870617): 0
* [misc]none:  (1.097933027126834 2.938367414772236 5.185170561932163 14.182772875087345 19.896447067447067): 0
* [misc]none:  (1.9034584445551106 3.7766378051959726 4.287730356195233 10.569813807395478 20.85070282138133): 0
* [misc]none:  (1.0795744822297362 3.2346821580955796 6.245696523073176 10.480093587125827 24.85161027474719): 0
* [misc]none:  (1.4399310945667876 3.342453754265997 7.365840235031814 10.968887596055039 23.042157605791303): 0
* [misc]none:  (1.6335681230684707 3.0343453190804808 6.231602470130701 14.249235420657188 20.235030174753632): 0
* [misc]none:  (1.7848701382814154 3.24602779139103 4.948254272925427 11.194122678747089 26.93362054017661): 0
* [misc]none:  (1.8482271735328875 3.026186564840116 7.213263885637963 11.809994622461774 19.641833930804538): 0
* [misc]none:  (1.4751165525367833 3.415176176274318 5.137185815860663 13.154879142432451 31.01483683010177): 0
* [misc]none:  (1.3056589161715257 3.78154921388253 4.9069769347317935 14.917587675626303 24.910466476418378): 0
* [misc]none:  (1.8611023385795886 3.6265720231018803 4.106711214403622 14.642968315345744 20.449099312872463): 0
* [misc]none:  (1.1855018162988151 2.972306289802424 5.902058343560268 11.98558074328756 23.997493272393612): 0
* [misc]none:  (1.8167038099474724 3.4309391047773876 5.6503229514363325 9.43960644127951 16.841437506790413): 0
* [misc]none:  (1.2419768988626112 3.1116560195844403 5.748932070296528 15.482485512655485 18.42535504073311): 0
* [misc]none:  (1.8672351997036938 2.816825219343223 4.928127694220284 12.95377321697644 30.722175103468768): 0
* [misc]none:  (1.2155124391524006 3.5971870413970786 6.941620201912981 15.90018509719836 25.68017054786689): 0
* [misc]none:  (1.057268121048827 2.86586149801983 4.577040635493431 15.129302946502639 18.320128354995457): 0
* [misc]none:  (1.7589430617430921 3.5207885910209025 4.5921562295816845 9.295679662377651 26.038117354189755): 0
* [misc]none:  (1.962816087059143 3.2843455430364146 5.102179744753949 9.37762880439979 18.97374244569344): 0
* [misc]none:  (1.6424982174267162 2.0688564604117783 5.298314381452731 14.228433447214451 25.742636543809347): 0
* [misc]none:  (1.6166183353530308 2.7227100064861958 7.677337657856266 15.597681119900107 28.0292797827023): 0
* [misc]none:  (1.4738726746092532 3.8390132131993298 7.100099252109599 11.809829431054837 28.044505161267608): 0
* [misc]none:  (1.10922723423845 3.490095146302308 4.908686342527934 13.694916842111919 20.279955595986927): 0
* [misc]none:  (1.2711244724080637 3.477623052861001 7.096923971368867 14.873566473859151 27.17943170589153): 0
* [misc]none:  (1.6804629569870433 3.4626469268203692 5.017224020039607 13.441191641438229 18.556137281454216): 0
* [misc]none:  (1.806666779564756 3.448421191717132 6.132465662443319 15.014608049528436 30.54904463832722): 0
* [misc]none:  (1.718530643684017 2.8093285186847616 7.007042975002839 13.554874933418981 22.63449878225293): 0
* [misc]none:  (1.0457253529576644 3.4822609438518835 6.861256325685871 9.992483752552062 18.6241211059529): 0
* [misc]none:  (1.3115999667537432 2.887002879294623 7.629902245456719 11.967310063923936 16.324824685672287): 0
* [misc]none:  (1.3567062605917841 3.2329821434089845 5.292116377138354 9.93760350789636 30.124862635011784): 0
* [misc]none:  (1.8619520026386724 3.048670295572333 6.09223055850684 8.058570900629464 23.044013985045417): 0
* [misc]none:  (1.8381124801047377 3.315742867677043 5.565935545871316 10.172703961690411 29.621046125797747): 0
* [misc]none:  (1.148581973054121 3.185067184199779 6.8955475134617465 8.824072788804237 24.201976867663337): 0
* [misc]none:  (1.236445302643987 3.657198584574498 4.568389908401183 13.405492329513859 29.93852927583201): 0
* [misc]none:  (1.2663999293467323 2.2637260259879546 6.5352902470759116 12.509166712564499 26.197043699226047): 0
* [misc]none:  (1.9617632655104704 2.9925779866734494 5.122028067329483 14.71221717523986 20.569824880089826): 0
* [misc]none:  (1.7405516939517183 3.0621513811188543 4.869585869108348 14.553772263700377 20.776187578408784): 0
* [misc]none:  (1.628605331842176 3.6638592196704605 7.780205217482262 13.914843157820684 31.881755255077348): 0
* [misc]none:  (1.9397621961050735 2.5738185268400406 5.152652420928114 14.941235324128153 21.582893431013797): 0
* [misc]none:  (1.8308141109639797 2.418162620462948 4.496125907009576 11.058359686056146 29.95906145527465): 0
* [misc]none:  (1.2670685445162502 3.1125660585995703 4.820971831418119 15.81357773217947 20.426691175292515): 0
* [misc]none:  (1.0718143149864976 3.9585993887414843 6.957245193146387 13.03999921847051 25.343529840919796): 0
* [misc]none:  (1.1105511865693316 2.084411930047786 7.234340715365286 11.855644416123381 23.460798076901916): 0
* [misc]none:  (1.48724821005754 3.7479387053697515 5.2943680609592265 12.859391858518652 24.64640939443831): 0
* [misc]none:  (1.0159358471237858 2.3175192359600603 4.698601034578391 14.46095445409096 20.06626851200332): 0
* [misc]none:  (1.9204831294268938 2.4635013100628047 5.9469002384975065 11.756463113717308 23.088787105712427): 0
* [misc]none:  (1.5959489781581921 2.6406405583555173 4.371186162080313 8.609011407982784 25.542517899022496): 0
* [misc]none:  (1.4342003156138694 2.5599878857260525 7.2067428042085355 13.926096670084018 21.23028212673987): 0
* [misc]none:  (1.725624227939002 2.582827630417108 7.771189607626375 14.623966386783435 18.432040563931153): 0
* [misc]none:  (1.990313237551826 2.134212269797878 5.337961794938256 13.178012913133188 20.73988734638785): 0
* [misc]none:  (1.7793683027402178 2.2582537622411887 4.234640628798277 8.786485211110449 28.83816644367507): 0
* [misc]none:  (1.5620128052944156 2.894600743349056 4.482661761148966 10.533839700544627 16.8039181501321): 0
* [misc]none:  (1.1471404607529418 3.6765576518699423 6.271803579853069 8.579904367599113 23.430740118422445): 0
* [misc]none:  (1.065349598729362 3.4794151454146287 6.125804484454863 8.734259544823923 28.71858194709844): 0
* [misc]none:  (1.4931803847591285 3.6157219773309683 6.814428224506535 11.940044410261757 28.69315197985773): 0
* [misc]none:  (1.4089365151962507 2.3397036661764736 5.388995176171206 13.627931658702447 17.721222694238264): 0
* [misc]none:  (1.722516183862467 3.4905366220185208 7.60368368757022 14.988826567464072 19.660170641085934): 0
* [misc]none:  (1.1464514883815249 3.9803931977055305 6.215620692907777 15.214940222820458 31.008466649963232): 0
* [misc]none:  (1.7436416834345163 3.661878001986574 4.195792898830191 11.805470307552772 21.391031656956628): 0
* [misc]none:  (1.6814709112288664 2.5023245490547863 7.878811984263058 11.062505393308435 29.696598202542415): 0
* [misc]none:  (1.5111875474725847 3.9376082589612715 6.081492042149024 11.519005948804832 19.510389671112325): 0
* [misc]none:  (1.6869330100521867 3.555495797453218 7.046841895300544 9.891100691295504 25.98194300644321): 0
* [misc]none:  (1.5350844894386613 2.304742001751365 6.855996162450335 14.381574249480671 16.717309539433494): 0
* [misc]none:  (1.097212075242491 2.216002666539025 7.4547261039510335 13.060953684199903 27.6916325319633): 0
* [misc]none:  (1.4806945241715794 2.4687065661558036 6.622439835291257 14.451810183361806 30.57181594217433): 0
* [misc]none:  (1.039642553934124 2.910578546773931 7.753756598572171 12.173572177783523 26.341443686756847): 0
* [misc]none:  (1.6325793314903763 2.0569565134253143 6.252953698067384 15.233777896621467 30.83315466071204): 0
* [misc]none:  (1.3154388236215817 3.7491272218997893 7.036881222318315 11.477775456523103 22.158829223866103): 0
* [misc]none:  Picked alt (λ (a b c d e) (+ (+ (+ (+ e d) c) b) a))
* * * * [misc]pick:  Picked  #<alt-event (λ (a b c d e) (+ (+ (+ (+ e d) c) b) a))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * [misc]progress:  generating series expansions
* * * [misc]progress:  simplifying candidates
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* [enter]simplify:  Simplifying (+ (+ (+ (+ e d) c) b) a)
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* [exit]simplify:  Simplified to (+ (+ (+ c (+ d e)) b) a)
* * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
* * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8000 points with exact outputs