* [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:  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 8 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 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 75 additional inputs, on iter 1 have 181 / 256
* * * * [misc]points:  Computing exacts on every 4 of 75 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 75 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 75 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 19 additional inputs, on iter 2 have 237 / 256
* * * * [misc]points:  Computing exacts for 19 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 10 additional inputs, on iter 3 have 246 / 256
* * * * [misc]points:  Computing exacts for 10 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
* * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 253 / 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
* * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 255 / 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 259 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: "{"all-alts":["#<alt-delta (λ (x) (expm1 x))>"],"best-fresh-alt-per-point":[[[1.5352457679648367e-184],0,0],[[1.8184418799190754e-118],0,0],[[-9.790210498702292e-207],0,0],[[2.108084729628484e-254],0,0],[[1.4316361804781918e-216],0,0],[[4.281242700214408e-147],0,0],[[4.342376062748315e-261],0,0],[[-3.658041630367719e-291],0,0],[[-1.6206155237908795e-189],0,0],[[-8.542641887242577e-206],0,0],[[1.256097587989544e-129],0,0],[[2.0714370055821156e-152],0,0],[[2.759771825629958e-16],0,0],[[-5.6185355286337544e-129],0,0],[[-4.598439377351735e-130],0,0],[[-9.574783813534734e-281],0,0],[[2.0232839833172687e-173],0,0],[[-4.870040043349498e-58],0,0],[[3.724921521326343e-36],0,0],[[9.233643157860558e-215],0,0],[[3.8221807133948313e-290],0,0],[[-1.1496994079402441e-259],0,0],[[1.3133627158017472e-58],0,0],[[3.1155757824625985e-165],0,0],[[-6.842093659351087e-192],0,0],[[-9.080854284839999e-99],0,0],[[2.052084388918049e-301],0,0],[[-1.6847566747565775e-63],0,0],[[2.6274216053928593e-179],0,0],[[-1.7082304224638508e-96],0,0],[[-8.833454446583593e-202],0,0],[[9.03206018335257e-307],0,0],[[-1.5349774161947004e-74],0,0],[[-3.6897613150454897e-53],0,0],[[-6.428348060955151e-108],0,0],[[4.699953931347458e-246],0,0],[[1.8250137424470314e-214],0,0],[[4.638269713411022e-95],0,0],[[-2.2123521291836502e-192],0,0],[[2.0052869363271115e-166],0,0],[[-3.185530110698344e-298],0,0],[[-3.929700666582803e-109],0,0],[[2.3866990970070158e-201],0,0],[[-3.813223605640888e-55],0,0],[[-3.7091868648989483e-125],0,0],[[1.1256707439898446e-269],0,0],[[-1.6078838432893352e-156],0,0],[[-2.950185229942831e-266],0,0],[[-2.567385480470192e-30],0,0],[[-2.3078615958547628e-95],0,0],[[1.3814102769153628e-241],0,0],[[-2.7062097945924633e-20],0,0],[[-6.672287806674814e-191],0,0],[[5.0451632086015805e-282],0,0],[[1.3147000333183502e-227],0,0],[[3.7095984237911643e-41],0,0],[[1.1656292395733655e-45],0,0],[[2.379428953288454e-213],0,0],[[3.0178622636134663e-31],0,0],[[-3.0617349730952963e-260],0,0],[[-7.488051182467058e-19],0,0],[[-1.2962434268506932e-78],0,0],[[-1.3932310819133795e-51],0,0],[[8.897963671552125e-83],0,0],[[7.56925428079962e-74],0,0],[[-5.235902571916196e-13],0,0],[[-1.5407087818361584e-298],0,0],[[1.6350136612209683e-68],0,0],[[-3.536328454521004e-112],0,0],[[-1.7455286059410005e-296],0,0],[[-3.629853744767572e-291],0,0],[[1.0965771827759148e-202],0,0],[[7.641718629589816e-23],0,0],[[-4.018052812139353e-273],0,0],[[8.659987736523583e-293],0,0],[[-1.3623276842806444e-214],0,0],[[1.6106257523665236e-115],0,0],[[-2.4225031668886493e-144],0,0],[[-6.702035342910656e-94],0,0],[[-4.852910820727597e-60],0,0],[[1.0646826848928017e-150],0,0],[[-2.1515964807805566e-115],0,0],[[3.890292494434341e-246],0,0],[[-2.3152035915511423e-251],0,0],[[-5.995974342583668e-191],0,0],[[-7.003644904674494e-124],0,0],[[2.310054097941493e-261],0,0],[[-1.9818603513046426e-174],0,0],[[8.321859014583616e-38],0,0],[[-1.1731966837062981e-173],0,0],[[3.50111959039704e-207],0,0],[[-1.8795921432144232e-255],0,0],[[3.828751035940579e-236],0,0],[[1.432145978802783e-202],0,0],[[6.431372887602007e-85],0,0],[[4.128477047286124e-16],0,0],[[-1.1678025248608816e-94],0,0],[[-1.3564596452245328e-304],0,0],[[2.196849351530574e-85],0,0],[[-3.5944757202693266e-250],0,0],[[2.6490552672767297e-281],0,0],[[9.873472573076542e-166],0,0],[[-2.4732892840816507e-127],0,0],[[4.362099714019303e-147],0,0],[[-4.698716597999634e-15],0,0],[[-2.1208291289460783e-151],0,0],[[-3.0142700411296154e-290],0,0],[[-2.3131171350889144e-36],0,0],[[5.480493093103649e-305],0,0],[[-7.26401075048377e-219],0,0],[[-3.956609464565497e-96],0,0],[[4.673007700836826e-25],0,0],[[8.431199550434778e-124],0,0],[[-1.996261799300607e-103],0,0],[[-2.434970296776625e-210],0,0],[[2.7956791378564302e-152],0,0],[[9.160887326449161e-182],0,0],[[4.530475601097034e-54],0,0],[[1.7707773402664737e-269],0,0],[[-4.843592199764794e-242],0,0],[[1.2603644154172366e-50],0,0],[[1.9754455102962318e-47],0,0],[[7.016675268174707e-166],0,0],[[-2.4066238852042955e-32],0,0],[[4.8618079267158443e-175],0,0],[[-5.646405832998843e-154],0,0],[[-3.0497672399030772e-33],0,0],[[-1.1394395445011712e-05],0,0],[[-2.15236812305466e-136],0,0],[[-1.0218282818338831e-29],0,0],[[1.7535430200218658e-187],0,0],[[-1.6619054181057003e-18],0,0],[[4.017190478739154e-283],0,0],[[-6.870927593279556e-210],0,0],[[1.1761558501569557e-126],0,0],[[374.3335522585249],0,0],[[1.531055831615998e-118],0,0],[[-4.912300437329998e-06],0,0],[[-2.2646769287337217e-122],0,0],[[-1.751634375136451e-135],0,0],[[8.12394293167482e-244],0,0],[[1.2303077743933931e-88],0,0],[[5.970105201592714e-226],0,0],[[-4.1517611347456144e-19],0,0],[[1.8595644701974964e-68],0,0],[[-1.5871519308088222e-68],0,0],[[3.0362745425095695e-248],0,0],[[1.71438854058557e-163],0,0],[[-4.996588311143543e-106],0,0],[[-1.802341335708017e-19],0,0],[[-2.7921518450814834e-274],0,0],[[-6.094807047811761e-280],0,0],[[3.499977940536766e-178],0,0],[[-1.1875123240385248e-280],0,0],[[-2.614530253491139e-144],0,0],[[6.349405201758701e-13],0,0],[[-1.9948684489585174e-136],0,0],[[6.464767954718251e-121],0,0],[[3.5158615391136525e-307],0,0],[[-7.360405731032357e-307],0,0],[[5.348865367276403e-260],0,0],[[-6.841119278863387e-84],0,0],[[8.159167050520395e-218],0,0],[[-2.395576093176011e-262],0,0],[[-6.3113018662427055e-62],0,0],[[-3.2183748726669104e-135],0,0],[[1.3710941884607608e-79],0,0],[[-3.418232892792927e-121],0,0],[[6.0834142699247185e-248],0,0],[[7.886449008223248e-269],0,0],[[4.881876319760999e-277],0,0],[[6.336345452363831e-203],0,0],[[4.312029049241701e-31],0,0],[[-4.174822268579812e-215],0,0],[[4.868754829684629e-292],0,0],[[-2.1611938857157962e-172],0,0],[[1.1848576133174976e-66],0,0],[[-1.5189392930542252e-285],0,0],[[-1.4116743521099467e-148],0,0],[[-2.0417460774845987e-209],0,0],[[-4.057763091031136e-39],0,0],[[-1.4740391392671902e-102],0,0],[[3.287773360685666e-186],0,0],[[3.2516237748225124e-265],0,0],[[3.310282732517468e-236],0,0],[[-2.8154311137874697e-145],0,0],[[-1.732434741973797e-222],0,0],[[-3.7656168042347137e-90],0,0],[[-2.0799244027836662e-231],0,0],[[4.0394694772850846e-172],0,0],[[-5.700686793110713e-266],0,0],[[-2.0717977972683194e-20],0,0],[[2.755639527814984e-174],0,0],[[7.710783692705105e-72],0,0],[[1.6966321642841387e-277],0,0],[[-5.0923880643621935e-111],0,0],[[8.643400113519957e-26],0,0],[[1.8202604356804167e-73],0,0],[[8.776019933876685e-15],0,0],[[-2.4743525899451847e-25],0,0],[[3.343954428097357e-299],0,0],[[-2.0725436667888069e-116],0,0],[[1.4924676576580192e-163],0,0],[[1.1151440307520876e-132],0,0],[[-1.1305014249375972e-39],0,0],[[7.374684362722953e-129],0,0],[[-1.5564116632825483e-155],0,0],[[-4.654671648837634e-181],0,0],[[1.158302562032058e-215],0,0],[[1.3496990031252638e-148],0,0],[[1.280436824502644e-126],0,0],[[-2.840167354370601e-36],0,0],[[-3.4020930413242494e-147],0,0],[[-8.735677807597018e-115],0,0],[[3.485060673081302e-62],0,0],[[9.253104343226286e-260],0,0],[[1.1957197001327879e-240],0,0],[[-6.555052938362589e-122],0,0],[[2.2375365989932036e-82],0,0],[[-4.238707955659654e-64],0,0],[[3.4184177566382815e-91],0,0],[[-8.1522624656027e-109],0,0],[[-5.168572489388443e-50],0,0],[[9.1672891967227e-78],0,0],[[1.9728328618104566e-137],0,0],[[-7.478514507331452e-299],0,0],[[6.909535031820356e-207],0,0],[[-1.7195475217463008e-168],0,0],[[-4.659896459883859e-58],0,0],[[4.543182599741421e-242],0,0],[[0.001157222239469584],0,0],[[1.9451222514909549e-240],0,0],[[-1.1234538000252191e-44],0,0],[[-1.945109708823816e-116],0,0],[[-2.2809573714134038e-116],0,0],[[1.0927049143007022e-152],0,0],[[1.9347737526834984e-133],0,0],[[3.418265008008537e-76],0,0],[[1.1460335574746479e-288],0,0],[[1.032180485242189e-175],0,0],[[-2.5573059146714083e-281],0,0],[[-5.4891406141469845e-93],0,0],[[-1.8180098366812978e-176],0,0],[[2.204893029355698e-12],0,0],[[-1.8570314215298333e-280],0,0],[[1.4463929770258754e-105],0,0],[[-2.0482522264884355e-207],0,0],[[-4.169926294904893e-200],0,0],[[6.400798965255531e-307],0,0],[[-1.4413378243840173e-296],0,0],[[5.05238801825425e-117],0,0],[[-1.0062996223921866e-262],0,0],[[1.1938939938487123e-178],0,0],[[-6.683808182153617e-60],0,0],[[4.123193410770034e-101],0,0],[[2.0920227638398622e-278],0,0]],"fresh-alts":["#<alt-delta (λ (x) (expm1 x))>"],"picked-error":0,"best-alt-per-point":[[[1.5352457679648367e-184],0,0],[[1.8184418799190754e-118],0,0],[[-9.790210498702292e-207],0,0],[[2.108084729628484e-254],0,0],[[1.4316361804781918e-216],0,0],[[4.281242700214408e-147],0,0],[[4.342376062748315e-261],0,0],[[-3.658041630367719e-291],0,0],[[-1.6206155237908795e-189],0,0],[[-8.542641887242577e-206],0,0],[[1.256097587989544e-129],0,0],[[2.0714370055821156e-152],0,0],[[2.759771825629958e-16],0,0],[[-5.6185355286337544e-129],0,0],[[-4.598439377351735e-130],0,0],[[-9.574783813534734e-281],0,0],[[2.0232839833172687e-173],0,0],[[-4.870040043349498e-58],0,0],[[3.724921521326343e-36],0,0],[[9.233643157860558e-215],0,0],[[3.8221807133948313e-290],0,0],[[-1.1496994079402441e-259],0,0],[[1.3133627158017472e-58],0,0],[[3.1155757824625985e-165],0,0],[[-6.842093659351087e-192],0,0],[[-9.080854284839999e-99],0,0],[[2.052084388918049e-301],0,0],[[-1.6847566747565775e-63],0,0],[[2.6274216053928593e-179],0,0],[[-1.7082304224638508e-96],0,0],[[-8.833454446583593e-202],0,0],[[9.03206018335257e-307],0,0],[[-1.5349774161947004e-74],0,0],[[-3.6897613150454897e-53],0,0],[[-6.428348060955151e-108],0,0],[[4.699953931347458e-246],0,0],[[1.8250137424470314e-214],0,0],[[4.638269713411022e-95],0,0],[[-2.2123521291836502e-192],0,0],[[2.0052869363271115e-166],0,0],[[-3.185530110698344e-298],0,0],[[-3.929700666582803e-109],0,0],[[2.3866990970070158e-201],0,0],[[-3.813223605640888e-55],0,0],[[-3.7091868648989483e-125],0,0],[[1.1256707439898446e-269],0,0],[[-1.6078838432893352e-156],0,0],[[-2.950185229942831e-266],0,0],[[-2.567385480470192e-30],0,0],[[-2.3078615958547628e-95],0,0],[[1.3814102769153628e-241],0,0],[[-2.7062097945924633e-20],0,0],[[-6.672287806674814e-191],0,0],[[5.0451632086015805e-282],0,0],[[1.3147000333183502e-227],0,0],[[3.7095984237911643e-41],0,0],[[1.1656292395733655e-45],0,0],[[2.379428953288454e-213],0,0],[[3.0178622636134663e-31],0,0],[[-3.0617349730952963e-260],0,0],[[-7.488051182467058e-19],0,0],[[-1.2962434268506932e-78],0,0],[[-1.3932310819133795e-51],0,0],[[8.897963671552125e-83],0,0],[[7.56925428079962e-74],0,0],[[-5.235902571916196e-13],0,0],[[-1.5407087818361584e-298],0,0],[[1.6350136612209683e-68],0,0],[[-3.536328454521004e-112],0,0],[[-1.7455286059410005e-296],0,0],[[-3.629853744767572e-291],0,0],[[1.0965771827759148e-202],0,0],[[7.641718629589816e-23],0,0],[[-4.018052812139353e-273],0,0],[[8.659987736523583e-293],0,0],[[-1.3623276842806444e-214],0,0],[[1.6106257523665236e-115],0,0],[[-2.4225031668886493e-144],0,0],[[-6.702035342910656e-94],0,0],[[-4.852910820727597e-60],0,0],[[1.0646826848928017e-150],0,0],[[-2.1515964807805566e-115],0,0],[[3.890292494434341e-246],0,0],[[-2.3152035915511423e-251],0,0],[[-5.995974342583668e-191],0,0],[[-7.003644904674494e-124],0,0],[[2.310054097941493e-261],0,0],[[-1.9818603513046426e-174],0,0],[[8.321859014583616e-38],0,0],[[-1.1731966837062981e-173],0,0],[[3.50111959039704e-207],0,0],[[-1.8795921432144232e-255],0,0],[[3.828751035940579e-236],0,0],[[1.432145978802783e-202],0,0],[[6.431372887602007e-85],0,0],[[4.128477047286124e-16],0,0],[[-1.1678025248608816e-94],0,0],[[-1.3564596452245328e-304],0,0],[[2.196849351530574e-85],0,0],[[-3.5944757202693266e-250],0,0],[[2.6490552672767297e-281],0,0],[[9.873472573076542e-166],0,0],[[-2.4732892840816507e-127],0,0],[[4.362099714019303e-147],0,0],[[-4.698716597999634e-15],0,0],[[-2.1208291289460783e-151],0,0],[[-3.0142700411296154e-290],0,0],[[-2.3131171350889144e-36],0,0],[[5.480493093103649e-305],0,0],[[-7.26401075048377e-219],0,0],[[-3.956609464565497e-96],0,0],[[4.673007700836826e-25],0,0],[[8.431199550434778e-124],0,0],[[-1.996261799300607e-103],0,0],[[-2.434970296776625e-210],0,0],[[2.7956791378564302e-152],0,0],[[9.160887326449161e-182],0,0],[[4.530475601097034e-54],0,0],[[1.7707773402664737e-269],0,0],[[-4.843592199764794e-242],0,0],[[1.2603644154172366e-50],0,0],[[1.9754455102962318e-47],0,0],[[7.016675268174707e-166],0,0],[[-2.4066238852042955e-32],0,0],[[4.8618079267158443e-175],0,0],[[-5.646405832998843e-154],0,0],[[-3.0497672399030772e-33],0,0],[[-1.1394395445011712e-05],0,0],[[-2.15236812305466e-136],0,0],[[-1.0218282818338831e-29],0,0],[[1.7535430200218658e-187],0,0],[[-1.6619054181057003e-18],0,0],[[4.017190478739154e-283],0,0],[[-6.870927593279556e-210],0,0],[[1.1761558501569557e-126],0,0],[[374.3335522585249],0,0],[[1.531055831615998e-118],0,0],[[-4.912300437329998e-06],0,0],[[-2.2646769287337217e-122],0,0],[[-1.751634375136451e-135],0,0],[[8.12394293167482e-244],0,0],[[1.2303077743933931e-88],0,0],[[5.970105201592714e-226],0,0],[[-4.1517611347456144e-19],0,0],[[1.8595644701974964e-68],0,0],[[-1.5871519308088222e-68],0,0],[[3.0362745425095695e-248],0,0],[[1.71438854058557e-163],0,0],[[-4.996588311143543e-106],0,0],[[-1.802341335708017e-19],0,0],[[-2.7921518450814834e-274],0,0],[[-6.094807047811761e-280],0,0],[[3.499977940536766e-178],0,0],[[-1.1875123240385248e-280],0,0],[[-2.614530253491139e-144],0,0],[[6.349405201758701e-13],0,0],[[-1.9948684489585174e-136],0,0],[[6.464767954718251e-121],0,0],[[3.5158615391136525e-307],0,0],[[-7.360405731032357e-307],0,0],[[5.348865367276403e-260],0,0],[[-6.841119278863387e-84],0,0],[[8.159167050520395e-218],0,0],[[-2.395576093176011e-262],0,0],[[-6.3113018662427055e-62],0,0],[[-3.2183748726669104e-135],0,0],[[1.3710941884607608e-79],0,0],[[-3.418232892792927e-121],0,0],[[6.0834142699247185e-248],0,0],[[7.886449008223248e-269],0,0],[[4.881876319760999e-277],0,0],[[6.336345452363831e-203],0,0],[[4.312029049241701e-31],0,0],[[-4.174822268579812e-215],0,0],[[4.868754829684629e-292],0,0],[[-2.1611938857157962e-172],0,0],[[1.1848576133174976e-66],0,0],[[-1.5189392930542252e-285],0,0],[[-1.4116743521099467e-148],0,0],[[-2.0417460774845987e-209],0,0],[[-4.057763091031136e-39],0,0],[[-1.4740391392671902e-102],0,0],[[3.287773360685666e-186],0,0],[[3.2516237748225124e-265],0,0],[[3.310282732517468e-236],0,0],[[-2.8154311137874697e-145],0,0],[[-1.732434741973797e-222],0,0],[[-3.7656168042347137e-90],0,0],[[-2.0799244027836662e-231],0,0],[[4.0394694772850846e-172],0,0],[[-5.700686793110713e-266],0,0],[[-2.0717977972683194e-20],0,0],[[2.755639527814984e-174],0,0],[[7.710783692705105e-72],0,0],[[1.6966321642841387e-277],0,0],[[-5.0923880643621935e-111],0,0],[[8.643400113519957e-26],0,0],[[1.8202604356804167e-73],0,0],[[8.776019933876685e-15],0,0],[[-2.4743525899451847e-25],0,0],[[3.343954428097357e-299],0,0],[[-2.0725436667888069e-116],0,0],[[1.4924676576580192e-163],0,0],[[1.1151440307520876e-132],0,0],[[-1.1305014249375972e-39],0,0],[[7.374684362722953e-129],0,0],[[-1.5564116632825483e-155],0,0],[[-4.654671648837634e-181],0,0],[[1.158302562032058e-215],0,0],[[1.3496990031252638e-148],0,0],[[1.280436824502644e-126],0,0],[[-2.840167354370601e-36],0,0],[[-3.4020930413242494e-147],0,0],[[-8.735677807597018e-115],0,0],[[3.485060673081302e-62],0,0],[[9.253104343226286e-260],0,0],[[1.1957197001327879e-240],0,0],[[-6.555052938362589e-122],0,0],[[2.2375365989932036e-82],0,0],[[-4.238707955659654e-64],0,0],[[3.4184177566382815e-91],0,0],[[-8.1522624656027e-109],0,0],[[-5.168572489388443e-50],0,0],[[9.1672891967227e-78],0,0],[[1.9728328618104566e-137],0,0],[[-7.478514507331452e-299],0,0],[[6.909535031820356e-207],0,0],[[-1.7195475217463008e-168],0,0],[[-4.659896459883859e-58],0,0],[[4.543182599741421e-242],0,0],[[0.001157222239469584],0,0],[[1.9451222514909549e-240],0,0],[[-1.1234538000252191e-44],0,0],[[-1.945109708823816e-116],0,0],[[-2.2809573714134038e-116],0,0],[[1.0927049143007022e-152],0,0],[[1.9347737526834984e-133],0,0],[[3.418265008008537e-76],0,0],[[1.1460335574746479e-288],0,0],[[1.032180485242189e-175],0,0],[[-2.5573059146714083e-281],0,0],[[-5.4891406141469845e-93],0,0],[[-1.8180098366812978e-176],0,0],[[2.204893029355698e-12],0,0],[[-1.8570314215298333e-280],0,0],[[1.4463929770258754e-105],0,0],[[-2.0482522264884355e-207],0,0],[[-4.169926294904893e-200],0,0],[[6.400798965255531e-307],0,0],[[-1.4413378243840173e-296],0,0],[[5.05238801825425e-117],0,0],[[-1.0062996223921866e-262],0,0],[[1.1938939938487123e-178],0,0],[[-6.683808182153617e-60],0,0],[[4.123193410770034e-101],0,0],[[2.0920227638398622e-278],0,0]],"picked":"(λ (x) (expm1 x))"}* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (expm1 x))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (expm1 x) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (expm1 x) in x
* [misc]taylor:  Rewrote expression to (- (exp x) 1)
* [misc]taylor:  Taking taylor expansion of (exp x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (expm1 x) in x
* [misc]taylor:  Rewrote expression to (- (exp x) 1)
* [misc]taylor:  Taking taylor expansion of (exp x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 1 -1) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1/6 0) into 1/6
* [misc]backup-simplify:  Simplify 1/6 into 1/6
* [misc]backup-simplify:  Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x))
* [misc]approximate:  Taking taylor expansion of (expm1 (/ 1 x)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
* [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
* [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
* [misc]backup-simplify:  Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1)
* [misc]approximate:  Taking taylor expansion of (expm1 (/ 1 (- x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (- x))) in x
* [misc]taylor:  Rewrote expression to (- (exp (/ 1 (- x))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (- x))) in x
* [misc]taylor:  Rewrote expression to (- (exp (/ 1 (- x))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
* [misc]backup-simplify:  Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 13 ] simplifiying candidate #<alt-delta (λ (x) (- (exp x) 1))>
* [enter]simplify:  Simplifying (exp x)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (exp x)
* [exit]simplify:  Simplified to (exp x)
* * * * [misc]progress:  [ 2 / 13 ] simplifiying candidate #<alt-delta (λ (x) (log1p (expm1 (expm1 x))))>
* [enter]simplify:  Simplifying (expm1 (expm1 x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (expm1 (expm1 x))
* [exit]simplify:  Simplified to (expm1 (expm1 x))
* * * * [misc]progress:  [ 3 / 13 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (expm1 x))))>
* [enter]simplify:  Simplifying (log1p (expm1 x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to x
* [exit]simplify:  Simplified to x
* * * * [misc]progress:  [ 4 / 13 ] simplifiying candidate #<alt-delta (λ (x) (pow (expm1 x) 1))>
* * * * [misc]progress:  [ 5 / 13 ] simplifiying candidate #<alt-delta (λ (x) (exp (log (expm1 x))))>
* [enter]simplify:  Simplifying (log (expm1 x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (log (expm1 x))
* [exit]simplify:  Simplified to (log (expm1 x))
* * * * [misc]progress:  [ 6 / 13 ] simplifiying candidate #<alt-delta (λ (x) (log (exp (expm1 x))))>
* [enter]simplify:  Simplifying (exp (expm1 x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (exp (expm1 x))
* [exit]simplify:  Simplified to (exp (expm1 x))
* * * * [misc]progress:  [ 7 / 13 ] simplifiying candidate #<alt-delta (λ (x) (* (* (cbrt (expm1 x)) (cbrt (expm1 x))) (cbrt (expm1 x))))>
* [enter]simplify:  Simplifying (* (cbrt (expm1 x)) (cbrt (expm1 x)))
* * [misc]simplify:  iters left: 4 (4 enodes)
* [exit]simplify:  Simplified to (* (cbrt (expm1 x)) (cbrt (expm1 x)))
* [exit]simplify:  Simplified to (* (cbrt (expm1 x)) (cbrt (expm1 x)))
* [enter]simplify:  Simplifying (cbrt (expm1 x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (cbrt (expm1 x))
* [exit]simplify:  Simplified to (cbrt (expm1 x))
* * * * [misc]progress:  [ 8 / 13 ] simplifiying candidate #<alt-delta (λ (x) (cbrt (* (* (expm1 x) (expm1 x)) (expm1 x))))>
* [enter]simplify:  Simplifying (* (* (expm1 x) (expm1 x)) (expm1 x))
* * [misc]simplify:  iters left: 5 (4 enodes)
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* [exit]simplify:  Simplified to (pow (expm1 x) 3)
* [exit]simplify:  Simplified to (pow (expm1 x) 3)
* * * * [misc]progress:  [ 9 / 13 ] simplifiying candidate #<alt-delta (λ (x) (* (sqrt (expm1 x)) (sqrt (expm1 x))))>
* [enter]simplify:  Simplifying (sqrt (expm1 x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (sqrt (expm1 x))
* [exit]simplify:  Simplified to (sqrt (expm1 x))
* [enter]simplify:  Simplifying (sqrt (expm1 x))
* * [misc]simplify:  iters left: 2 (3 enodes)
* [exit]simplify:  Simplified to (sqrt (expm1 x))
* [exit]simplify:  Simplified to (sqrt (expm1 x))
* * * * [misc]progress:  [ 10 / 13 ] simplifiying candidate #<alt-delta (λ (x) (* 1 (expm1 x)))>
* * * * [misc]progress:  [ 11 / 13 ] simplifiying candidate #<alt-event (λ (x) (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x)))>
* [enter]simplify:  Simplifying (+ (* 1/2 (pow x 2)) (+ (* 1/6 (pow x 3)) x))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (47 enodes)
* * [misc]simplify:  iters left: 3 (96 enodes)
* * [misc]simplify:  iters left: 2 (161 enodes)
* * [misc]simplify:  iters left: 1 (214 enodes)
* [exit]simplify:  Simplified to (fma (* x x) (fma x 1/6 1/2) x)
* * * * [misc]progress:  [ 12 / 13 ] simplifiying candidate #<alt-event (λ (x) (- (exp x) 1))>
* [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:  [ 13 / 13 ] simplifiying candidate #<alt-event (λ (x) (- (exp x) 1))>
* [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:  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 2656 additional inputs, on iter 1 have 5344 / 8000
* * * * [misc]points:  Computing exacts on every 166 of 2656 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 83 of 2656 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 2656 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 2656 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 2656 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 2656 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 2656 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 2656 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 872 additional inputs, on iter 2 have 7128 / 8000
* * * * [misc]points:  Computing exacts on every 54 of 872 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 27 of 872 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 872 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 872 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 872 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 872 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 290 additional inputs, on iter 3 have 7710 / 8000
* * * * [misc]points:  Computing exacts on every 18 of 290 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 9 of 290 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 290 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 290 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 290 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 99 additional inputs, on iter 4 have 7901 / 8000
* * * * [misc]points:  Computing exacts on every 6 of 99 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 99 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 99 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 27 additional inputs, on iter 5 have 7973 / 8000
* * * * [misc]points:  Computing exacts for 27 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 10 additional inputs, on iter 6 have 7990 / 8000
* * * * [misc]points:  Computing exacts for 10 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 7 have 7998 / 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