* [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:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Setting MPFR precision to 832
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 256 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [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 (- (+ 1 x) x)
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* * [misc]simplify:  iters left: 1 (19 enodes)
* [exit]simplify:  Simplified to 1
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
"ALT DATA: "{"picked-error":0,"picked":"(λ (x) 1)","all-alts":["#<alt-delta (λ (x) 1)>"],"best-fresh-alt-per-point":[[[1.5219889458093683e+203],0,0],[[-5.967504609531294e-77],0,0],[[-2.029570071102755e+97],0,0],[[-1.7161275953211883e-174],0,0],[[-5.5646263164782176e-223],0,0],[[-8.180940553092265e+33],0,0],[[-4.885314233897337e+222],0,0],[[3.432715613948316e+117],0,0],[[3.663172596950764e-123],0,0],[[-1.374556859806548e-261],0,0],[[-1.380285857262137e-35],0,0],[[-2.8587941319848644e-177],0,0],[[-2.84097347513644e-291],0,0],[[1.775499846150115e-189],0,0],[[-1.619539121961887e-203],0,0],[[2.222533569981927e+226],0,0],[[8.63596361370883e-168],0,0],[[3.1003420231048053e-198],0,0],[[-274927.84602583235],0,0],[[-7.754374499374627e-128],0,0],[[-2.8757450638421546e+275],0,0],[[546426909648982.94],0,0],[[4.837988086823738e-223],0,0],[[-5.075532709869747e+166],0,0],[[1.964366100528454e+151],0,0],[[-3.7651275735493285e+99],0,0],[[-2.0755431209235275e+37],0,0],[[1.6482233490718935e-213],0,0],[[1.4390244358772018e+249],0,0],[[2.9639589969742274e+281],0,0],[[2.639706635820625e+307],0,0],[[-6.920197829965478e-54],0,0],[[-1.8465286574354045e-08],0,0],[[1.3266709965782604e+72],0,0],[[-1.5062863859087e-170],0,0],[[3.0276387508462578e+57],0,0],[[1.0036700822827659e+277],0,0],[[2.33191497780421e-111],0,0],[[-3.407626954669935e+236],0,0],[[-3.900210593962189e+241],0,0],[[2.0583492621633517e-132],0,0],[[1.73356572916747e+144],0,0],[[-9.72242600606208e-115],0,0],[[-3.568993208845613e-77],0,0],[[-5.712505602207327e+178],0,0],[[8.578157411883908e+114],0,0],[[1.857914695228711e+83],0,0],[[6.6295219985120325e-183],0,0],[[5.1529801158111525e+149],0,0],[[-3.577076923658427e+105],0,0],[[3.783167595046686e-155],0,0],[[-3.2642710207591386e-194],0,0],[[-4.870404977044875e-198],0,0],[[5.4342311706853866e+278],0,0],[[1.6662800714135864e-218],0,0],[[3.017825861340067e+260],0,0],[[-1.1202048404749235e-215],0,0],[[6.849119339278466e+189],0,0],[[-1.0358355091148686e-278],0,0],[[-1.1423228006386598e-168],0,0],[[-2.6234285145138236e-302],0,0],[[-2.626755070032605e+272],0,0],[[-1.6666445293959045e-19],0,0],[[-173036.98939585892],0,0],[[-1.72018159214991e+42],0,0],[[1.7147925947267055e-94],0,0],[[-6.98400217622458e+210],0,0],[[4.0703515080559954e-283],0,0],[[6.820028710757481e+227],0,0],[[-2.4094148605116898e-71],0,0],[[-8.522235120830623e+139],0,0],[[-9.124761575189952e+223],0,0],[[-2.907835079052472e-162],0,0],[[-1.3126589281126071e-180],0,0],[[2.1610785345312164e-77],0,0],[[-3.4840827655589074e+170],0,0],[[-4.5698595924674815e-41],0,0],[[1.4245607902232885e+277],0,0],[[6.11730473650524e+45],0,0],[[1.3797898346213585e-261],0,0],[[2.357787248093769e+141],0,0],[[-68192552835.54769],0,0],[[8.567538977582658e-198],0,0],[[-4.745743187038751e-236],0,0],[[-5.4823449965902654e-247],0,0],[[1.0962964976346659e-08],0,0],[[1.7909913857676524e-234],0,0],[[4.184907550158769e-217],0,0],[[-2.823112783246906e-160],0,0],[[-2.1189921349291594e-90],0,0],[[5.765917461741543e-177],0,0],[[-2.1601700324087214e+239],0,0],[[4.899669604818634e+97],0,0],[[-1.7851335690272436e-118],0,0],[[3.6107901403921284e-233],0,0],[[-8.024347822647855e+214],0,0],[[1.9327027802753637e-202],0,0],[[-3.5611198987654533e-281],0,0],[[-3.5829211941866875e-192],0,0],[[-2.014137988229197e+52],0,0],[[5950.981016685814],0,0],[[2.2586277236353973e-239],0,0],[[-8.868856845711779e+119],0,0],[[5.976331336388173e+119],0,0],[[5.556148241691299e-119],0,0],[[1.5213816359492715e-307],0,0],[[3.486470059469502e+53],0,0],[[1.4785130640238136e+99],0,0],[[-1.6859585865544744e-246],0,0],[[5.821204232402082e-193],0,0],[[9.296392156153377e+138],0,0],[[-1.8762152117521778e-223],0,0],[[-2.2892566621587075e+154],0,0],[[-5.250537787491817e-124],0,0],[[1.8856524446073647e+40],0,0],[[-1.6952171705608182e+115],0,0],[[4.750171216619508e-73],0,0],[[1.0938841522691449e-182],0,0],[[2.207557382838224e+286],0,0],[[9.985233354827504e-56],0,0],[[9.94673708940353e+255],0,0],[[6.918320731214305e+101],0,0],[[-5.1167504337574626e+199],0,0],[[-1.2972076833210354e-243],0,0],[[5.706158108157338e+305],0,0],[[1.2638234743036793e+156],0,0],[[9.017905012747557e+261],0,0],[[3.950026893987416e-118],0,0],[[-2.294473340925908e-99],0,0],[[-1.904583231690064e+97],0,0],[[7.447177932334067e+137],0,0],[[2.5619403929352076e-295],0,0],[[-3.91790688565277e-170],0,0],[[4.245013281627697e+208],0,0],[[-3.350876917565793e+236],0,0],[[-4.3546020711282113e-72],0,0],[[-1.3499936523535982e-57],0,0],[[1.3317345326737292e+144],0,0],[[5.1448581725267015e+35],0,0],[[1.0670135568992559e-184],0,0],[[4.443058861737132e+303],0,0],[[1.4304241357191177e-199],0,0],[[-2.511393753900827e-169],0,0],[[-3.701783848889662e-189],0,0],[[4.092318071633091e+163],0,0],[[-5.431902774374102e-262],0,0],[[1.2263489992282429e-201],0,0],[[-3.198759731467493e-128],0,0],[[-2.5729428009391437e+95],0,0],[[-5.478420012818748e-199],0,0],[[2.2848677762961123e+278],0,0],[[2.524309035730919e-48],0,0],[[-1.0214301568538723e-236],0,0],[[7.787873691732538e+186],0,0],[[-1.6791604274945628e-115],0,0],[[4.0008908469448243e+93],0,0],[[-2.823818017388331],0,0],[[-1.962420053162622e-121],0,0],[[-2.954987173135622e-51],0,0],[[-8.297174001156304e+75],0,0],[[-9.883750689403901e+213],0,0],[[9.069576208127305e-269],0,0],[[1.23229902882752e-232],0,0],[[-124016442.09153165],0,0],[[2.427769796556236e-78],0,0],[[7.21762410022307e+205],0,0],[[-5.879572388948755e+34],0,0],[[-2.3961070704976586e+136],0,0],[[-6.111231636098851e+305],0,0],[[-7.09858385461274e+280],0,0],[[1.3214717591908378e-130],0,0],[[-4.7364515595661375e-231],0,0],[[-7.271096717980544e+106],0,0],[[2.4635782245727523e-208],0,0],[[2.727021877346581e-178],0,0],[[1.860064553198903e-67],0,0],[[-2.226128313785923e+22],0,0],[[-8.298405443849659e-11],0,0],[[-6.563763753942498e-288],0,0],[[2.2902549915951485e-178],0,0],[[3.272855825210149e+239],0,0],[[3.2429349037230544e-264],0,0],[[2.667413108648081e-185],0,0],[[-1.3825054086160473e+258],0,0],[[8.657759546694974e-157],0,0],[[2.0568784750151953e+96],0,0],[[-2.4264684579574925e-69],0,0],[[1.4650797176352513e+94],0,0],[[1.0675856537644375e+279],0,0],[[5.0108195646214185e+182],0,0],[[1.0138639698135428e-172],0,0],[[-1.795687265611928e-76],0,0],[[-9.441025523234461e-95],0,0],[[-8.823517979915115e-275],0,0],[[2.4359209768004262e-80],0,0],[[-1.2986190410846544e+132],0,0],[[-7.262479430802023e-80],0,0],[[2.4582084287063607e+38],0,0],[[1.69483579164625e+87],0,0],[[-1.704445593248875e-137],0,0],[[-8.079572085939796e+62],0,0],[[-5.014702845822206e+23],0,0],[[2.412016495848343e-259],0,0],[[2.1622905926715047e-231],0,0],[[1.470692100483543e+175],0,0],[[-1.138570595022504e+112],0,0],[[-4.904338319107589e+243],0,0],[[5.860706175122875e+305],0,0],[[-3.468216462137634e+264],0,0],[[3.12961498124956e-281],0,0],[[-2.0306330112186374e+236],0,0],[[-7.06766310183449e+233],0,0],[[-2.2353681919926253e+288],0,0],[[-218468.59457214232],0,0],[[1.4157269095091182e+175],0,0],[[1.752320881957983e+240],0,0],[[7.474117465579979e+250],0,0],[[1.998141361266681e+100],0,0],[[1.013139850149313e+294],0,0],[[-8.582786619504858e-307],0,0],[[1.542984322219514e-13],0,0],[[3.0489294036502483e-215],0,0],[[-1.8571008731182118e+160],0,0],[[1.434512172815064e-89],0,0],[[1.095382951219098e-121],0,0],[[4.4403690793251364e-66],0,0],[[2.9777555514108073e+203],0,0],[[-1.4152323733690032e-71],0,0],[[55672.68718103453],0,0],[[-2.1521573832310456e-60],0,0],[[3.0292511751059167e-285],0,0],[[4.774911884404591e+104],0,0],[[-1.7764225205103598e-40],0,0],[[3.1644622428848683e+199],0,0],[[-2.2133570847894536e-21],0,0],[[-1.5231846384497747e+241],0,0],[[-5.633958029554214e+72],0,0],[[-8.705569923143921e-256],0,0],[[7366.597199336127],0,0],[[3.437966658215048e+175],0,0],[[-1.6865217572146204e-158],0,0],[[-7.1083179947333e+96],0,0],[[-6.558351034244574e-59],0,0],[[-2.6211080531091074e-206],0,0],[[-8.79916969398652e-38],0,0],[[-3.5828871804215725e-182],0,0],[[-6.861319032017174e-63],0,0],[[3.618445339376488e+303],0,0],[[1.0627216233234831e+49],0,0],[[4.357977932807522e-152],0,0],[[-9.4041220967993e+208],0,0],[[-3.3993174919178938e-49],0,0],[[-6.415779835408304e-164],0,0],[[1.6260181860094412e+286],0,0],[[1.013327533564468e-142],0,0],[[1.0958904515570749e+229],0,0]],"best-alt-per-point":[[[1.5219889458093683e+203],0,0],[[-5.967504609531294e-77],0,0],[[-2.029570071102755e+97],0,0],[[-1.7161275953211883e-174],0,0],[[-5.5646263164782176e-223],0,0],[[-8.180940553092265e+33],0,0],[[-4.885314233897337e+222],0,0],[[3.432715613948316e+117],0,0],[[3.663172596950764e-123],0,0],[[-1.374556859806548e-261],0,0],[[-1.380285857262137e-35],0,0],[[-2.8587941319848644e-177],0,0],[[-2.84097347513644e-291],0,0],[[1.775499846150115e-189],0,0],[[-1.619539121961887e-203],0,0],[[2.222533569981927e+226],0,0],[[8.63596361370883e-168],0,0],[[3.1003420231048053e-198],0,0],[[-274927.84602583235],0,0],[[-7.754374499374627e-128],0,0],[[-2.8757450638421546e+275],0,0],[[546426909648982.94],0,0],[[4.837988086823738e-223],0,0],[[-5.075532709869747e+166],0,0],[[1.964366100528454e+151],0,0],[[-3.7651275735493285e+99],0,0],[[-2.0755431209235275e+37],0,0],[[1.6482233490718935e-213],0,0],[[1.4390244358772018e+249],0,0],[[2.9639589969742274e+281],0,0],[[2.639706635820625e+307],0,0],[[-6.920197829965478e-54],0,0],[[-1.8465286574354045e-08],0,0],[[1.3266709965782604e+72],0,0],[[-1.5062863859087e-170],0,0],[[3.0276387508462578e+57],0,0],[[1.0036700822827659e+277],0,0],[[2.33191497780421e-111],0,0],[[-3.407626954669935e+236],0,0],[[-3.900210593962189e+241],0,0],[[2.0583492621633517e-132],0,0],[[1.73356572916747e+144],0,0],[[-9.72242600606208e-115],0,0],[[-3.568993208845613e-77],0,0],[[-5.712505602207327e+178],0,0],[[8.578157411883908e+114],0,0],[[1.857914695228711e+83],0,0],[[6.6295219985120325e-183],0,0],[[5.1529801158111525e+149],0,0],[[-3.577076923658427e+105],0,0],[[3.783167595046686e-155],0,0],[[-3.2642710207591386e-194],0,0],[[-4.870404977044875e-198],0,0],[[5.4342311706853866e+278],0,0],[[1.6662800714135864e-218],0,0],[[3.017825861340067e+260],0,0],[[-1.1202048404749235e-215],0,0],[[6.849119339278466e+189],0,0],[[-1.0358355091148686e-278],0,0],[[-1.1423228006386598e-168],0,0],[[-2.6234285145138236e-302],0,0],[[-2.626755070032605e+272],0,0],[[-1.6666445293959045e-19],0,0],[[-173036.98939585892],0,0],[[-1.72018159214991e+42],0,0],[[1.7147925947267055e-94],0,0],[[-6.98400217622458e+210],0,0],[[4.0703515080559954e-283],0,0],[[6.820028710757481e+227],0,0],[[-2.4094148605116898e-71],0,0],[[-8.522235120830623e+139],0,0],[[-9.124761575189952e+223],0,0],[[-2.907835079052472e-162],0,0],[[-1.3126589281126071e-180],0,0],[[2.1610785345312164e-77],0,0],[[-3.4840827655589074e+170],0,0],[[-4.5698595924674815e-41],0,0],[[1.4245607902232885e+277],0,0],[[6.11730473650524e+45],0,0],[[1.3797898346213585e-261],0,0],[[2.357787248093769e+141],0,0],[[-68192552835.54769],0,0],[[8.567538977582658e-198],0,0],[[-4.745743187038751e-236],0,0],[[-5.4823449965902654e-247],0,0],[[1.0962964976346659e-08],0,0],[[1.7909913857676524e-234],0,0],[[4.184907550158769e-217],0,0],[[-2.823112783246906e-160],0,0],[[-2.1189921349291594e-90],0,0],[[5.765917461741543e-177],0,0],[[-2.1601700324087214e+239],0,0],[[4.899669604818634e+97],0,0],[[-1.7851335690272436e-118],0,0],[[3.6107901403921284e-233],0,0],[[-8.024347822647855e+214],0,0],[[1.9327027802753637e-202],0,0],[[-3.5611198987654533e-281],0,0],[[-3.5829211941866875e-192],0,0],[[-2.014137988229197e+52],0,0],[[5950.981016685814],0,0],[[2.2586277236353973e-239],0,0],[[-8.868856845711779e+119],0,0],[[5.976331336388173e+119],0,0],[[5.556148241691299e-119],0,0],[[1.5213816359492715e-307],0,0],[[3.486470059469502e+53],0,0],[[1.4785130640238136e+99],0,0],[[-1.6859585865544744e-246],0,0],[[5.821204232402082e-193],0,0],[[9.296392156153377e+138],0,0],[[-1.8762152117521778e-223],0,0],[[-2.2892566621587075e+154],0,0],[[-5.250537787491817e-124],0,0],[[1.8856524446073647e+40],0,0],[[-1.6952171705608182e+115],0,0],[[4.750171216619508e-73],0,0],[[1.0938841522691449e-182],0,0],[[2.207557382838224e+286],0,0],[[9.985233354827504e-56],0,0],[[9.94673708940353e+255],0,0],[[6.918320731214305e+101],0,0],[[-5.1167504337574626e+199],0,0],[[-1.2972076833210354e-243],0,0],[[5.706158108157338e+305],0,0],[[1.2638234743036793e+156],0,0],[[9.017905012747557e+261],0,0],[[3.950026893987416e-118],0,0],[[-2.294473340925908e-99],0,0],[[-1.904583231690064e+97],0,0],[[7.447177932334067e+137],0,0],[[2.5619403929352076e-295],0,0],[[-3.91790688565277e-170],0,0],[[4.245013281627697e+208],0,0],[[-3.350876917565793e+236],0,0],[[-4.3546020711282113e-72],0,0],[[-1.3499936523535982e-57],0,0],[[1.3317345326737292e+144],0,0],[[5.1448581725267015e+35],0,0],[[1.0670135568992559e-184],0,0],[[4.443058861737132e+303],0,0],[[1.4304241357191177e-199],0,0],[[-2.511393753900827e-169],0,0],[[-3.701783848889662e-189],0,0],[[4.092318071633091e+163],0,0],[[-5.431902774374102e-262],0,0],[[1.2263489992282429e-201],0,0],[[-3.198759731467493e-128],0,0],[[-2.5729428009391437e+95],0,0],[[-5.478420012818748e-199],0,0],[[2.2848677762961123e+278],0,0],[[2.524309035730919e-48],0,0],[[-1.0214301568538723e-236],0,0],[[7.787873691732538e+186],0,0],[[-1.6791604274945628e-115],0,0],[[4.0008908469448243e+93],0,0],[[-2.823818017388331],0,0],[[-1.962420053162622e-121],0,0],[[-2.954987173135622e-51],0,0],[[-8.297174001156304e+75],0,0],[[-9.883750689403901e+213],0,0],[[9.069576208127305e-269],0,0],[[1.23229902882752e-232],0,0],[[-124016442.09153165],0,0],[[2.427769796556236e-78],0,0],[[7.21762410022307e+205],0,0],[[-5.879572388948755e+34],0,0],[[-2.3961070704976586e+136],0,0],[[-6.111231636098851e+305],0,0],[[-7.09858385461274e+280],0,0],[[1.3214717591908378e-130],0,0],[[-4.7364515595661375e-231],0,0],[[-7.271096717980544e+106],0,0],[[2.4635782245727523e-208],0,0],[[2.727021877346581e-178],0,0],[[1.860064553198903e-67],0,0],[[-2.226128313785923e+22],0,0],[[-8.298405443849659e-11],0,0],[[-6.563763753942498e-288],0,0],[[2.2902549915951485e-178],0,0],[[3.272855825210149e+239],0,0],[[3.2429349037230544e-264],0,0],[[2.667413108648081e-185],0,0],[[-1.3825054086160473e+258],0,0],[[8.657759546694974e-157],0,0],[[2.0568784750151953e+96],0,0],[[-2.4264684579574925e-69],0,0],[[1.4650797176352513e+94],0,0],[[1.0675856537644375e+279],0,0],[[5.0108195646214185e+182],0,0],[[1.0138639698135428e-172],0,0],[[-1.795687265611928e-76],0,0],[[-9.441025523234461e-95],0,0],[[-8.823517979915115e-275],0,0],[[2.4359209768004262e-80],0,0],[[-1.2986190410846544e+132],0,0],[[-7.262479430802023e-80],0,0],[[2.4582084287063607e+38],0,0],[[1.69483579164625e+87],0,0],[[-1.704445593248875e-137],0,0],[[-8.079572085939796e+62],0,0],[[-5.014702845822206e+23],0,0],[[2.412016495848343e-259],0,0],[[2.1622905926715047e-231],0,0],[[1.470692100483543e+175],0,0],[[-1.138570595022504e+112],0,0],[[-4.904338319107589e+243],0,0],[[5.860706175122875e+305],0,0],[[-3.468216462137634e+264],0,0],[[3.12961498124956e-281],0,0],[[-2.0306330112186374e+236],0,0],[[-7.06766310183449e+233],0,0],[[-2.2353681919926253e+288],0,0],[[-218468.59457214232],0,0],[[1.4157269095091182e+175],0,0],[[1.752320881957983e+240],0,0],[[7.474117465579979e+250],0,0],[[1.998141361266681e+100],0,0],[[1.013139850149313e+294],0,0],[[-8.582786619504858e-307],0,0],[[1.542984322219514e-13],0,0],[[3.0489294036502483e-215],0,0],[[-1.8571008731182118e+160],0,0],[[1.434512172815064e-89],0,0],[[1.095382951219098e-121],0,0],[[4.4403690793251364e-66],0,0],[[2.9777555514108073e+203],0,0],[[-1.4152323733690032e-71],0,0],[[55672.68718103453],0,0],[[-2.1521573832310456e-60],0,0],[[3.0292511751059167e-285],0,0],[[4.774911884404591e+104],0,0],[[-1.7764225205103598e-40],0,0],[[3.1644622428848683e+199],0,0],[[-2.2133570847894536e-21],0,0],[[-1.5231846384497747e+241],0,0],[[-5.633958029554214e+72],0,0],[[-8.705569923143921e-256],0,0],[[7366.597199336127],0,0],[[3.437966658215048e+175],0,0],[[-1.6865217572146204e-158],0,0],[[-7.1083179947333e+96],0,0],[[-6.558351034244574e-59],0,0],[[-2.6211080531091074e-206],0,0],[[-8.79916969398652e-38],0,0],[[-3.5828871804215725e-182],0,0],[[-6.861319032017174e-63],0,0],[[3.618445339376488e+303],0,0],[[1.0627216233234831e+49],0,0],[[4.357977932807522e-152],0,0],[[-9.4041220967993e+208],0,0],[[-3.3993174919178938e-49],0,0],[[-6.415779835408304e-164],0,0],[[1.6260181860094412e+286],0,0],[[1.013327533564468e-142],0,0],[[1.0958904515570749e+229],0,0]],"fresh-alts":["#<alt-delta (λ (x) 1)>"]}* * * * [misc]pick:  Picked  #<alt-delta (λ (x) 1)>
* * * [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.
* * * * [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 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8000 points with exact outputs