* [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:  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
* * * * [misc]points:  Sampling 79 additional inputs, on iter 1 have 177 / 256
* * * * [misc]points:  Computing exacts on every 4 of 79 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 79 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 79 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 31 additional inputs, on iter 2 have 225 / 256
* * * * [misc]points:  Computing exacts for 31 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 13 additional inputs, on iter 3 have 243 / 256
* * * * [misc]points:  Computing exacts for 13 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 4 have 252 / 256
* * * * [misc]points:  Computing exacts for 4 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 (- (exp x) 1)
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* * [misc]simplify:  iters left: 1 (10 enodes)
* [exit]simplify:  Simplified to (expm1 x)
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
"ALT DATA: "{"picked-error":0,"picked":"(λ (x) (expm1 x))","all-alts":["#<alt-delta (λ (x) (expm1 x))>"],"best-fresh-alt-per-point":[[[5.551359041074843e-261],0,0],[[1.6918047584495572e-167],0,0],[[-3.0509273673601936e-96],0,0],[[-8.869718981916473e-248],0,0],[[-4.306400689238225e-168],0,0],[[2.0815518423587751e-221],0,0],[[-1.6163540377006408e-303],0,0],[[-1.276640037894136e-244],0,0],[[2.704694472597882e-237],0,0],[[-1.356506497827748e-263],0,0],[[-8.23554314724067e-154],0,0],[[7.701646282355926e-217],0,0],[[-8.538187449971407e-151],0,0],[[-4.106862712452269e-33],0,0],[[2.9856253910535374e-232],0,0],[[2.0233225008874155e-293],0,0],[[1.2636849811863205e-249],0,0],[[7.414792509452093e-260],0,0],[[-4.760497091355897e-75],0,0],[[-1.4119782206959644e-19],0,0],[[2.3773934238494433e-308],0,0],[[2.2857767276564214e-302],0,0],[[-1.638155801629274e-295],0,0],[[-1.6008804353749608e-31],0,0],[[1.9913282114921014e-185],0,0],[[5.580414904750768e-159],0,0],[[4.505543017328476e-186],0,0],[[2.6227345029825295e-57],0,0],[[2.880696585506325e-118],0,0],[[4.2093413313436685e-27],0,0],[[-3.418498937079936e-174],0,0],[[-6.505614566064735e-102],0,0],[[3.1611006262429916e-164],0,0],[[2.6970910091093693e-97],0,0],[[2.105094961109005e-140],0,0],[[-6.805399637135452e-223],0,0],[[-6.324239090183956e-95],0,0],[[2.547522147568315e-203],0,0],[[7.805684246968674e-254],0,0],[[3.504034985891635e-263],0,0],[[-2.2180031876705976e-79],0,0],[[-1.3447730902408075e-87],0,0],[[-3.312990553795519e-89],0,0],[[-8.39112035535814e-169],0,0],[[-1.6393635989440364e-241],0,0],[[-8.731855745384561e-75],0,0],[[-1.2438299314813839e-188],0,0],[[-5.760500779231115e-178],0,0],[[7.930290651388406e-121],0,0],[[-2.1473701607517282e-88],0,0],[[-1.4860117734101825e-110],0,0],[[-3.2047767001680987e-170],0,0],[[1.837407023644456e-123],0,0],[[-2.913193553616435e-34],0,0],[[2.1166456384084185e-161],0,0],[[2.4350127629092732e-95],0,0],[[-1.1908051970103348e-188],0,0],[[-1.8456879247621977e-231],0,0],[[3.88705008546604e-75],0,0],[[2.4386379915007144e-65],0,0],[[-3.2603047618112046e-220],0,0],[[5.787424452723137e-180],0,0],[[2.714522773086665e-122],0,0],[[3.9984803532394153e-250],0,0],[[2.0986915435399482e-152],0,0],[[-9.542500855352026e-175],0,0],[[1.0214192886350201e-06],0,0],[[-4.3034182710499705e-64],0,0],[[-3.2062629662854347e-301],0,0],[[4.506518279383832e-178],0,0],[[2.741633133700234e-99],0,0],[[1.9368443380195974e-211],0,0],[[-4.1191869167613274e-196],0,0],[[2.1828701418124748e-221],0,0],[[-7.014042630832996e-135],0,0],[[7.690680068546583e-160],0,0],[[-8.974878564000692e-119],0,0],[[-1.3440270106649014e-121],0,0],[[-3.845464202202557e-264],0,0],[[2.4798457348650713e-228],0,0],[[-1.833750150878786e-215],0,0],[[8.608841397199177e-131],0,0],[[2.633160047865695e-82],0,0],[[-6.939533291326987e-279],0,0],[[-4.249364789132064e-90],0,0],[[1.1253088961941555e-43],0,0],[[1.1059462376589656e-269],0,0],[[5.351837876934337e-128],0,0],[[5.216647220865908e-14],0,0],[[9.557736945422467e-102],0,0],[[-2.5657887425185013e-307],0,0],[[1.9027870348055732e-177],0,0],[[-2.6912158178868882e-37],0,0],[[-4.460995412859291e-146],0,0],[[-3.3091984162380304e-213],0,0],[[-1.9416257257024462e-275],0,0],[[2.2377138875620157e-251],0,0],[[8.368085441756946e-297],0,0],[[9.841336788280492e-135],0,0],[[-2.9493365684341314e-76],0,0],[[-3.3595181152672017e-71],0,0],[[1.5825638883614684e-190],0,0],[[4.153221857758921e-228],0,0],[[-5.084044511662677e-134],0,0],[[-3.0404609065577355e-207],0,0],[[4.710090589207412e-111],0,0],[[3.136825804780358e-107],0,0],[[1.3168377237378157e-89],0,0],[[1.4713614238043743e-26],0,0],[[1.3152755876359908e-136],0,0],[[0.005792771509938366],0,0],[[-2.4517923106734105e-40],0,0],[[8.995793349071317e-286],0,0],[[-1.5244492420955154e-307],0,0],[[-1.539680679737394e-270],0,0],[[-6.144852960156427e-102],0,0],[[6.426185090742203e-234],0,0],[[-7.644794064147705e-173],0,0],[[-8.575700250846895e-89],0,0],[[5.326861073124344e-143],0,0],[[1.1776946602296337e-124],0,0],[[-3.009798273443821e-142],0,0],[[3.209285957828702e-264],0,0],[[-6.426940889230811e-302],0,0],[[3.246044770388804e-69],0,0],[[2.6935267528194667e-58],0,0],[[5.1984903194557125e-145],0,0],[[7.093096078995015e-215],0,0],[[-2.0224048607790182e-73],0,0],[[8.304651640235765e-187],0,0],[[-7.343355986653745e-98],0,0],[[4.3494037566853796e-24],0,0],[[4.1209507454937377e-113],0,0],[[-1.747803194546459e-260],0,0],[[-7.743480652716979e-193],0,0],[[9.031628953887125e-59],0,0],[[8.023855625013411e-82],0,0],[[-2.0030554344373104e-158],0,0],[[2.937692948135257e-181],0,0],[[-1.4897253933677227e-197],0,0],[[-4.494884745428685e-113],0,0],[[1.1669597828784742e-61],0,0],[[6.741376496482494e-206],0,0],[[-1.7488792557876554e-215],0,0],[[3.919651726724485e-135],0,0],[[-2.8722656309159796e-76],0,0],[[3.3894150663164196e-233],0,0],[[1.1070665028068887e-247],0,0],[[5.887753398899699e-136],0,0],[[4.001133657801439e-116],0,0],[[2.7592514846984076e-43],0,0],[[4.8232327948318815e-177],0,0],[[-2.3930980648131593e-217],0,0],[[2.827348397389997e-106],0,0],[[1.454099179377567e-68],0,0],[[8.768035333154981e-190],0,0],[[5.447611903756558e-305],0,0],[[7.502138017562972e-184],0,0],[[5.120902518537147e-254],0,0],[[-7.563615906279004e-237],0,0],[[-8.979986650990823e-99],0,0],[[-1.1306971722990774e-304],0,0],[[-5.0999436654410375e-278],0,0],[[-2.2471712239635794e-176],0,0],[[-5.40340683396347e-07],0,0],[[-6.645909643014494e-32],0,0],[[3.1288137326326856e-74],0,0],[[-6.847873681254608e-206],0,0],[[-2.015253837360062e-290],0,0],[[1.8502620092263587e-294],0,0],[[2.232137266740295e-17],0,0],[[-1.1949841652138865e-54],0,0],[[6.135605567507053e-236],0,0],[[8.626036720527285e-229],0,0],[[1.5693867187781176e-210],0,0],[[1.7037929986908642e-30],0,0],[[-1.1781494774118016e-180],0,0],[[2.0680308946727526e-225],0,0],[[8.662496102676882e-168],0,0],[[-7.579481006904665e-250],0,0],[[-4.317422660700247e-289],0,0],[[-1.0296098523895181e-200],0,0],[[-4.240474475975814e-69],0,0],[[-3.047815766974703e-48],0,0],[[-1.9185144764131487e-76],0,0],[[-6.320143283080293e-79],0,0],[[-2.0310099789058274e-24],0,0],[[-1.885835717134834e-307],0,0],[[179.4499141612797],0,0],[[-1.6358839673709305e-152],0,0],[[1.0512639385036301e-233],0,0],[[6.876667195401305e-245],0,0],[[8.301596273642152e-265],0,0],[[6.998304208135167e-284],0,0],[[-1.3898634286801344e-71],0,0],[[-4.767820803273262e-240],0,0],[[1.6878442281850094e-49],0,0],[[8.783834772825841e-147],0,0],[[-6.129942431342929e-216],0,0],[[2.2433466757694521e-246],0,0],[[5.68920981152166e-99],0,0],[[1.682439500478115e-267],0,0],[[4.29004615648103e-123],0,0],[[2.2421752100779714e-242],0,0],[[-8.577083541506107e-104],0,0],[[4.315985710976322e-256],0,0],[[2.3093504925414886e-141],0,0],[[-6.63349642916468e-62],0,0],[[-2.5424742819066774e-161],0,0],[[7.422565831844239e-199],0,0],[[-1.0953845499090719e-131],0,0],[[-2.642727780468444e-280],0,0],[[-9.090837888355604e-207],0,0],[[5.333945186185208e-98],0,0],[[8.858870626284298e-77],0,0],[[-1.8377750885405978e-200],0,0],[[-3.0142360469418534e-50],0,0],[[8.3908435106671725e-193],0,0],[[6.35669092970591e-36],0,0],[[8.304967840807732e-164],0,0],[[-5.281157129441798e-07],0,0],[[4.1497618111218465e-168],0,0],[[-3.389018947903305e-226],0,0],[[3.3772856179443055e-282],0,0],[[9.35317993873375e-108],0,0],[[1.9162482704095533e-143],0,0],[[-5.1906779528598023e-79],0,0],[[-2.092180245535184e-116],0,0],[[-5.625705507149173e-172],0,0],[[5.635835685416882e-138],0,0],[[2.4814302073418605e-141],0,0],[[-3.4402173683771322e-102],0,0],[[5.287810003799389e-23],0,0],[[-4.513774047193499e-185],0,0],[[-8.498781773883528e-205],0,0],[[-3.74026297481953e-47],0,0],[[1.5447568121629257e-292],0,0],[[-2.608609652902486e-125],0,0],[[-2.3973734338060683e-161],0,0],[[6.068730670781324e-233],0,0],[[-2.3073497591353697e-55],0,0],[[-8.600824662385012e-246],0,0],[[5.313466150740827e-48],0,0],[[6.282542853624376e-28],0,0],[[6.7460966451564405e-31],0,0],[[9.629121032505694e-164],0,0],[[1.2831074684285247e-163],0,0],[[-1.743258949162923e-148],0,0],[[-3.8030682038878232e-106],0,0],[[-5.0086832674735255e-27],0,0],[[-5.5268218843524427e-157],0,0],[[-1.562942533547249e-105],0,0],[[-6.985173703491055e-299],0,0],[[2.4167861421379676e-143],0,0],[[-3.7968524170527626e-135],0,0],[[-4.10935281070548e-23],0,0]],"best-alt-per-point":[[[5.551359041074843e-261],0,0],[[1.6918047584495572e-167],0,0],[[-3.0509273673601936e-96],0,0],[[-8.869718981916473e-248],0,0],[[-4.306400689238225e-168],0,0],[[2.0815518423587751e-221],0,0],[[-1.6163540377006408e-303],0,0],[[-1.276640037894136e-244],0,0],[[2.704694472597882e-237],0,0],[[-1.356506497827748e-263],0,0],[[-8.23554314724067e-154],0,0],[[7.701646282355926e-217],0,0],[[-8.538187449971407e-151],0,0],[[-4.106862712452269e-33],0,0],[[2.9856253910535374e-232],0,0],[[2.0233225008874155e-293],0,0],[[1.2636849811863205e-249],0,0],[[7.414792509452093e-260],0,0],[[-4.760497091355897e-75],0,0],[[-1.4119782206959644e-19],0,0],[[2.3773934238494433e-308],0,0],[[2.2857767276564214e-302],0,0],[[-1.638155801629274e-295],0,0],[[-1.6008804353749608e-31],0,0],[[1.9913282114921014e-185],0,0],[[5.580414904750768e-159],0,0],[[4.505543017328476e-186],0,0],[[2.6227345029825295e-57],0,0],[[2.880696585506325e-118],0,0],[[4.2093413313436685e-27],0,0],[[-3.418498937079936e-174],0,0],[[-6.505614566064735e-102],0,0],[[3.1611006262429916e-164],0,0],[[2.6970910091093693e-97],0,0],[[2.105094961109005e-140],0,0],[[-6.805399637135452e-223],0,0],[[-6.324239090183956e-95],0,0],[[2.547522147568315e-203],0,0],[[7.805684246968674e-254],0,0],[[3.504034985891635e-263],0,0],[[-2.2180031876705976e-79],0,0],[[-1.3447730902408075e-87],0,0],[[-3.312990553795519e-89],0,0],[[-8.39112035535814e-169],0,0],[[-1.6393635989440364e-241],0,0],[[-8.731855745384561e-75],0,0],[[-1.2438299314813839e-188],0,0],[[-5.760500779231115e-178],0,0],[[7.930290651388406e-121],0,0],[[-2.1473701607517282e-88],0,0],[[-1.4860117734101825e-110],0,0],[[-3.2047767001680987e-170],0,0],[[1.837407023644456e-123],0,0],[[-2.913193553616435e-34],0,0],[[2.1166456384084185e-161],0,0],[[2.4350127629092732e-95],0,0],[[-1.1908051970103348e-188],0,0],[[-1.8456879247621977e-231],0,0],[[3.88705008546604e-75],0,0],[[2.4386379915007144e-65],0,0],[[-3.2603047618112046e-220],0,0],[[5.787424452723137e-180],0,0],[[2.714522773086665e-122],0,0],[[3.9984803532394153e-250],0,0],[[2.0986915435399482e-152],0,0],[[-9.542500855352026e-175],0,0],[[1.0214192886350201e-06],0,0],[[-4.3034182710499705e-64],0,0],[[-3.2062629662854347e-301],0,0],[[4.506518279383832e-178],0,0],[[2.741633133700234e-99],0,0],[[1.9368443380195974e-211],0,0],[[-4.1191869167613274e-196],0,0],[[2.1828701418124748e-221],0,0],[[-7.014042630832996e-135],0,0],[[7.690680068546583e-160],0,0],[[-8.974878564000692e-119],0,0],[[-1.3440270106649014e-121],0,0],[[-3.845464202202557e-264],0,0],[[2.4798457348650713e-228],0,0],[[-1.833750150878786e-215],0,0],[[8.608841397199177e-131],0,0],[[2.633160047865695e-82],0,0],[[-6.939533291326987e-279],0,0],[[-4.249364789132064e-90],0,0],[[1.1253088961941555e-43],0,0],[[1.1059462376589656e-269],0,0],[[5.351837876934337e-128],0,0],[[5.216647220865908e-14],0,0],[[9.557736945422467e-102],0,0],[[-2.5657887425185013e-307],0,0],[[1.9027870348055732e-177],0,0],[[-2.6912158178868882e-37],0,0],[[-4.460995412859291e-146],0,0],[[-3.3091984162380304e-213],0,0],[[-1.9416257257024462e-275],0,0],[[2.2377138875620157e-251],0,0],[[8.368085441756946e-297],0,0],[[9.841336788280492e-135],0,0],[[-2.9493365684341314e-76],0,0],[[-3.3595181152672017e-71],0,0],[[1.5825638883614684e-190],0,0],[[4.153221857758921e-228],0,0],[[-5.084044511662677e-134],0,0],[[-3.0404609065577355e-207],0,0],[[4.710090589207412e-111],0,0],[[3.136825804780358e-107],0,0],[[1.3168377237378157e-89],0,0],[[1.4713614238043743e-26],0,0],[[1.3152755876359908e-136],0,0],[[0.005792771509938366],0,0],[[-2.4517923106734105e-40],0,0],[[8.995793349071317e-286],0,0],[[-1.5244492420955154e-307],0,0],[[-1.539680679737394e-270],0,0],[[-6.144852960156427e-102],0,0],[[6.426185090742203e-234],0,0],[[-7.644794064147705e-173],0,0],[[-8.575700250846895e-89],0,0],[[5.326861073124344e-143],0,0],[[1.1776946602296337e-124],0,0],[[-3.009798273443821e-142],0,0],[[3.209285957828702e-264],0,0],[[-6.426940889230811e-302],0,0],[[3.246044770388804e-69],0,0],[[2.6935267528194667e-58],0,0],[[5.1984903194557125e-145],0,0],[[7.093096078995015e-215],0,0],[[-2.0224048607790182e-73],0,0],[[8.304651640235765e-187],0,0],[[-7.343355986653745e-98],0,0],[[4.3494037566853796e-24],0,0],[[4.1209507454937377e-113],0,0],[[-1.747803194546459e-260],0,0],[[-7.743480652716979e-193],0,0],[[9.031628953887125e-59],0,0],[[8.023855625013411e-82],0,0],[[-2.0030554344373104e-158],0,0],[[2.937692948135257e-181],0,0],[[-1.4897253933677227e-197],0,0],[[-4.494884745428685e-113],0,0],[[1.1669597828784742e-61],0,0],[[6.741376496482494e-206],0,0],[[-1.7488792557876554e-215],0,0],[[3.919651726724485e-135],0,0],[[-2.8722656309159796e-76],0,0],[[3.3894150663164196e-233],0,0],[[1.1070665028068887e-247],0,0],[[5.887753398899699e-136],0,0],[[4.001133657801439e-116],0,0],[[2.7592514846984076e-43],0,0],[[4.8232327948318815e-177],0,0],[[-2.3930980648131593e-217],0,0],[[2.827348397389997e-106],0,0],[[1.454099179377567e-68],0,0],[[8.768035333154981e-190],0,0],[[5.447611903756558e-305],0,0],[[7.502138017562972e-184],0,0],[[5.120902518537147e-254],0,0],[[-7.563615906279004e-237],0,0],[[-8.979986650990823e-99],0,0],[[-1.1306971722990774e-304],0,0],[[-5.0999436654410375e-278],0,0],[[-2.2471712239635794e-176],0,0],[[-5.40340683396347e-07],0,0],[[-6.645909643014494e-32],0,0],[[3.1288137326326856e-74],0,0],[[-6.847873681254608e-206],0,0],[[-2.015253837360062e-290],0,0],[[1.8502620092263587e-294],0,0],[[2.232137266740295e-17],0,0],[[-1.1949841652138865e-54],0,0],[[6.135605567507053e-236],0,0],[[8.626036720527285e-229],0,0],[[1.5693867187781176e-210],0,0],[[1.7037929986908642e-30],0,0],[[-1.1781494774118016e-180],0,0],[[2.0680308946727526e-225],0,0],[[8.662496102676882e-168],0,0],[[-7.579481006904665e-250],0,0],[[-4.317422660700247e-289],0,0],[[-1.0296098523895181e-200],0,0],[[-4.240474475975814e-69],0,0],[[-3.047815766974703e-48],0,0],[[-1.9185144764131487e-76],0,0],[[-6.320143283080293e-79],0,0],[[-2.0310099789058274e-24],0,0],[[-1.885835717134834e-307],0,0],[[179.4499141612797],0,0],[[-1.6358839673709305e-152],0,0],[[1.0512639385036301e-233],0,0],[[6.876667195401305e-245],0,0],[[8.301596273642152e-265],0,0],[[6.998304208135167e-284],0,0],[[-1.3898634286801344e-71],0,0],[[-4.767820803273262e-240],0,0],[[1.6878442281850094e-49],0,0],[[8.783834772825841e-147],0,0],[[-6.129942431342929e-216],0,0],[[2.2433466757694521e-246],0,0],[[5.68920981152166e-99],0,0],[[1.682439500478115e-267],0,0],[[4.29004615648103e-123],0,0],[[2.2421752100779714e-242],0,0],[[-8.577083541506107e-104],0,0],[[4.315985710976322e-256],0,0],[[2.3093504925414886e-141],0,0],[[-6.63349642916468e-62],0,0],[[-2.5424742819066774e-161],0,0],[[7.422565831844239e-199],0,0],[[-1.0953845499090719e-131],0,0],[[-2.642727780468444e-280],0,0],[[-9.090837888355604e-207],0,0],[[5.333945186185208e-98],0,0],[[8.858870626284298e-77],0,0],[[-1.8377750885405978e-200],0,0],[[-3.0142360469418534e-50],0,0],[[8.3908435106671725e-193],0,0],[[6.35669092970591e-36],0,0],[[8.304967840807732e-164],0,0],[[-5.281157129441798e-07],0,0],[[4.1497618111218465e-168],0,0],[[-3.389018947903305e-226],0,0],[[3.3772856179443055e-282],0,0],[[9.35317993873375e-108],0,0],[[1.9162482704095533e-143],0,0],[[-5.1906779528598023e-79],0,0],[[-2.092180245535184e-116],0,0],[[-5.625705507149173e-172],0,0],[[5.635835685416882e-138],0,0],[[2.4814302073418605e-141],0,0],[[-3.4402173683771322e-102],0,0],[[5.287810003799389e-23],0,0],[[-4.513774047193499e-185],0,0],[[-8.498781773883528e-205],0,0],[[-3.74026297481953e-47],0,0],[[1.5447568121629257e-292],0,0],[[-2.608609652902486e-125],0,0],[[-2.3973734338060683e-161],0,0],[[6.068730670781324e-233],0,0],[[-2.3073497591353697e-55],0,0],[[-8.600824662385012e-246],0,0],[[5.313466150740827e-48],0,0],[[6.282542853624376e-28],0,0],[[6.7460966451564405e-31],0,0],[[9.629121032505694e-164],0,0],[[1.2831074684285247e-163],0,0],[[-1.743258949162923e-148],0,0],[[-3.8030682038878232e-106],0,0],[[-5.0086832674735255e-27],0,0],[[-5.5268218843524427e-157],0,0],[[-1.562942533547249e-105],0,0],[[-6.985173703491055e-299],0,0],[[2.4167861421379676e-143],0,0],[[-3.7968524170527626e-135],0,0],[[-4.10935281070548e-23],0,0]],"fresh-alts":["#<alt-delta (λ (x) (expm1 x))>"]}* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (expm1 x))>
* * * [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
* * * * [misc]points:  Sampling 2634 additional inputs, on iter 1 have 5366 / 8000
* * * * [misc]points:  Computing exacts on every 164 of 2634 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 82 of 2634 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 41 of 2634 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 20 of 2634 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 10 of 2634 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 5 of 2634 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 2634 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 2634 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 843 additional inputs, on iter 2 have 7157 / 8000
* * * * [misc]points:  Computing exacts on every 52 of 843 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 26 of 843 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 13 of 843 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 6 of 843 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 843 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 843 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 271 additional inputs, on iter 3 have 7729 / 8000
* * * * [misc]points:  Computing exacts on every 16 of 271 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 8 of 271 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 4 of 271 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 271 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 271 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 95 additional inputs, on iter 4 have 7905 / 8000
* * * * [misc]points:  Computing exacts on every 5 of 95 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 95 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 95 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 29 additional inputs, on iter 5 have 7971 / 8000
* * * * [misc]points:  Computing exacts for 29 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 7997 / 8000
* * * * [misc]points:  Computing exacts for 4 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