* [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: Computing exacts on every 4 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 256 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 198 additional inputs, on iter 1 have 58 / 256 * * * * [misc]points: Computing exacts on every 12 of 198 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 6 of 198 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 198 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 198 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 154 additional inputs, on iter 2 have 102 / 256 * * * * [misc]points: Computing exacts on every 9 of 154 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 4 of 154 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 154 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 154 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 115 additional inputs, on iter 3 have 141 / 256 * * * * [misc]points: Computing exacts on every 7 of 115 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 115 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 115 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 90 additional inputs, on iter 4 have 166 / 256 * * * * [misc]points: Computing exacts on every 5 of 90 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 90 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 90 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 65 additional inputs, on iter 5 have 191 / 256 * * * * [misc]points: Computing exacts on every 4 of 65 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 65 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 65 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 53 additional inputs, on iter 6 have 203 / 256 * * * * [misc]points: Computing exacts on every 3 of 53 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 53 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 44 additional inputs, on iter 7 have 212 / 256 * * * * [misc]points: Computing exacts on every 2 of 44 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 44 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 34 additional inputs, on iter 8 have 222 / 256 * * * * [misc]points: Computing exacts on every 2 of 34 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 34 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 27 additional inputs, on iter 9 have 229 / 256 * * * * [misc]points: Computing exacts for 27 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 22 additional inputs, on iter 10 have 234 / 256 * * * * [misc]points: Computing exacts for 22 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 17 additional inputs, on iter 11 have 239 / 256 * * * * [misc]points: Computing exacts for 17 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 11 additional inputs, on iter 12 have 245 / 256 * * * * [misc]points: Computing exacts for 11 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 6 additional inputs, on iter 13 have 250 / 256 * * * * [misc]points: Computing exacts for 6 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 6 additional inputs, on iter 14 have 250 / 256 * * * * [misc]points: Computing exacts for 6 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 253 / 256 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 254 / 256 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 255 / 256 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 255 / 256 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 255 / 256 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [exit]points: Sampled 257 points with exact outputs * * * [misc]progress: [2/2] Setting up program. * [misc]progress: [Phase 2 of 3] Improving. * [enter]simplify: Simplifying (exp (+ (log a) (log b))) * * [misc]simplify: iters left: 4 (6 enodes) * * [misc]simplify: iters left: 3 (10 enodes) * * [misc]simplify: iters left: 2 (11 enodes) * [exit]simplify: Simplified to (* a b) * * [misc]progress: iteration 1 / 4 * * * [misc]progress: picking best candidate "ALT DATA: "{"picked-error":0,"picked":"(λ (a b) (* a b))","all-alts":["#"],"best-fresh-alt-per-point":[[[1.6509703901493846e-82,1.0044867221158944e+300],0,0],[[7.040383581327078e-101,5.96146379570227e+197],0,0],[[2.8931224974199074e-84,1.9240432527476484e-289],0,0],[[7.779411959735569e-290,2.9896016385939845e-66],0,0],[[2.572749544642796e-298,5.3648379001218185e+144],0,0],[[8.89772004897764e+301,8.493981528607497e-35],0,0],[[1.2718549924538793e-67,1.4997147168186959e-133],0,0],[[3.985430525999154e-166,3.256025304820758e-99],0,0],[[2.9695246403166212e+172,1.0507438437361721e+109],0,0],[[7.823934036267622e-77,4.7561975058596834e-110],0,0],[[3.755654510419116e+282,6.435941970370699e-85],0,0],[[1.1032765895259676e-126,5.131532610213896e-61],0,0],[[1.4013531690195853e+96,3.5090215814700647e-161],0,0],[[3.048742945023404e+270,1.2054827534622992e-243],0,0],[[3.616766753957493e-134,1.405468459858575e-82],0,0],[[3.4960229754986024e-44,4.978416266226015e-252],0,0],[[0.34727693217194866,5.903688889215572e+29],0,0],[[1.179890420337443e-05,1.2231257626976233e+37],0,0],[[4.959269200917455e+89,2.713904493922986e+74],0,0],[[1.6527464762421886e-272,9.284612428163018e+257],0,0],[[1.9737937077676272e+137,1.9372138387200113e-153],0,0],[[2.694216768013651e-08,2.481730668881008e+205],0,0],[[1.105287263764627e+102,5.503874697732584e+83],0,0],[[1.1353202651224532e+290,2.935353604752021e-268],0,0],[[2.305585729830853e-134,5.145630715071899e+201],0,0],[[8.206730771606587e+43,12242.925111988056],0,0],[[460868292555.3496,2.04493320218857e-246],0,0],[[2.813778253825615e-191,3.478381051263039e+83],0,0],[[2.4291809492940973e+273,8.854107647822683e-193],0,0],[[2.3862496869231733e+76,4.3947035780108717e+80],0,0],[[1.3471158039059404e+229,3.713635072274021e-14],0,0],[[1.836384190562668e+305,3.722077384075322e-22],0,0],[[5.7761035984398696e+196,4.71159629772397e+71],0,0],[[6.285466073933269e-22,3.4674975748042185e-38],0,0],[[7.733012551117168e-122,1.1382437559720419e-95],0,0],[[30842.68640786754,2.9760386749584875e-207],0,0],[[1.0213927801883013e-280,2.4118761560252843e-59],0,0],[[1.195916640070373e-91,1.1745784325466232e+243],0,0],[[9.255850163292465e+254,8.641076808597728e-135],0,0],[[17606809434.222816,5.886749727224467e-234],0,0],[[7.335711770377127e-38,1.214621771874996e+281],0,0],[[8.436179296371137e+135,9.825824843771615e-51],0,0],[[2.2524009539371976e+276,3.0041112259807685e-83],0,0],[[2.5302053586509544e+74,3.8982123147805104e-303],0,0],[[2.3744727510983187e-21,2.603715830745381e+94],0,0],[[3.3852972616768538e-282,1.6281541302987446e-101],0,0],[[4.023984950841538e-207,1.672209984146438e-177],0,0],[[5.997642554579093e+226,8267761121118583.0],0,0],[[3.025865987124205e+48,1.1774375942605503e+37],0,0],[[5.239370601934952e+151,6.330496665603291e-156],0,0],[[1.7578451228930594e-74,2.489149382420679e+27],0,0],[[3.938884622122182e-132,1.011396351900011e-125],0,0],[[1.049775594909524e+215,2.272176230217829e-49],0,0],[[747052070542.453,2.3671920300311406e-109],0,0],[[7.495739337101244e+123,8.730593794674667e-237],0,0],[[6.190907314532847e-276,1.745791372849607e+234],0,0],[[5.911713422365171e-224,1.0773053002356648e-277],0,0],[[1.9450954210961478e+245,1.2394471483663794e-183],0,0],[[5.8009366861139515e+281,2.2186062635033713e-123],0,0],[[7.946583410099056e-261,2.144814527894872e+96],0,0],[[1.0066412328328968e-127,6.619416378892868e-163],0,0],[[1.002040665257629e+213,1.4583653454895842e-149],0,0],[[1.1159565897451056e-40,9.147384059902005e+52],0,0],[[7.053265896579982e-111,2.7551492956412816e-291],0,0],[[6.809322721871388e+147,1.6600258389482631e-40],0,0],[[2.693652367216071e-233,2.6617051987770008e+262],0,0],[[9.95962237767467e+23,1.044537127877944e+107],0,0],[[3.9007521363305327e+102,1.0080662849605638e-93],0,0],[[1.2032276449725793e-85,1.3054961346651174e-44],0,0],[[2.3075398048335097e-269,3.594097673489053e+137],0,0],[[1.264317522157606e+158,8.782406176781525e-307],0,0],[[3.130685264260855e-76,9.058189937007456e-86],0,0],[[6.550539660350184e-98,2.959467597264242e-230],0,0],[[2.052107344086851e-70,7.509188631026346e+286],0,0],[[2.2721511366771778e-250,4.0477581754304153e-125],0,0],[[4.931733655566518e-258,1.554975231016035e+153],0,0],[[3.4461749360980795e-185,7.6218106112626015e+295],0,0],[[1.4553433596374878e+306,6.385762618098197e-176],0,0],[[7.26354692283978e-298,6.697902311356943e+127],0,0],[[1.2351743153928947e-17,1.1081913151635317e-281],0,0],[[8.845830180604385e+55,4.68925600491289e+144],0,0],[[1.4639565733772952e-243,4.1910390611535265e+279],0,0],[[1.6983735818136165e-150,4.057563235251733e-168],0,0],[[1.5987895001152558e-250,1.0362772075683598e+99],0,0],[[2.574015514786201e-195,4.120748433400853e+266],0,0],[[2.828506773801223e-34,1.3980028593340099e-80],0,0],[[7.10451338618339e-112,2.752384728131671e-298],0,0],[[5.3848532123061334e+141,4.101841091919989e+82],0,0],[[1.8880422706568598e-131,6.087242169493258e-74],0,0],[[1.6828341140646555e-168,2.8288040637518216e+97],0,0],[[1.679279614673279e-17,7.802007187654651e-08],0,0],[[6.4821321459802055e+193,1.7939351909740315e+68],0,0],[[2.7868826984034328e-297,6.274746106885988e-177],0,0],[[7.586534919343994e-75,1.6802148352573582e-128],0,0],[[9.491422824807354e-253,4.0739010895320517e+273],0,0],[[4.1453996363276465e+75,5.536268198771454e-145],0,0],[[2.5579551551610585e+210,5.9077596164866435e-95],0,0],[[2.2415352671784828e-150,1.625167989850363e+119],0,0],[[1.339244985449485e+287,3.0684965091017185e-100],0,0],[[2.102378373650422e+59,3.879777319243053e-40],0,0],[[2.5226551585558244e+149,4.479310754223626e+77],0,0],[[6.3759232335206e-291,3.5785496756947083e-76],0,0],[[3.8797234898178104e-266,6.295638798327878e-124],0,0],[[6.621128712488456e-94,3.152253828409111e+30],0,0],[[3.5260516775312726e-162,4.379941188803635e-139],0,0],[[1.97219471607667e+91,7.738875657396643e-29],0,0],[[7.700819479271364e+285,3.0794153994869066e-56],0,0],[[1.6672047786154368e+54,6.224498176564759e+252],0,0],[[6.79091067430158e+35,7.230059261043331e+195],0,0],[[2.7218861198404826e+38,2.2290064626400674e-173],0,0],[[7.150483614995872e+179,4.7113271470999506e-197],0,0],[[6.409528319039091e+96,2.932037839848625e+137],0,0],[[5.053806292662203e-155,2.523406045226158e-210],0,0],[[4.555263708470995e+272,4.71053014114017e-255],0,0],[[3.6380611743774316e+28,4.3451652399410245e+66],0,0],[[5.5111229904756633e-36,1.6975346890789871e+105],0,0],[[3.2896013204457148e-279,1.1190715118628351e-13],0,0],[[1.855739410010682e-286,1.2449977298699466e-295],0,0],[[83424.93755475695,4.646894140459563e-113],0,0],[[2.4801215181567776e-295,5.2115166535835604e-169],0,0],[[5.907165300326855e+32,1.9267899651560147e+275],0,0],[[7.475270857526654e-304,1.0862105938569748e+148],0,0],[[4.380578158292964e+195,3.0321252530234052e+38],0,0],[[2.4655809623086505e-116,1.1536689796869952e-11],0,0],[[8.444294654343975e-240,3.513520042407809e+153],0,0],[[3.28610894527258e-300,3.973558968153068e+125],0,0],[[2.5394112430978073e-295,1.4298675637930828e+180],0,0],[[1.6232174805713086e+70,3.765990859086882e+52],0,0],[[1.7628658405233417e+50,3.029594665597862e-129],0,0],[[1.3225125660735596e+95,2.9618085259733963e-25],0,0],[[8.752592959491946e-33,2.9311591750368227e+22],0,0],[[1.0760470830369276e-175,3.1675280578479312e-77],0,0],[[9.685450907847438e-63,1.537477220142015e-154],0,0],[[2.278168307815529e+264,1.9290719856679213e-191],0,0],[[1.4316271455151301e-258,2.996770630299676e+274],0,0],[[1.3033365771819216e+182,2.0232068588165873e-95],0,0],[[1.6611161145230723e-191,714914460440.7544],0,0],[[9.206946233985896e+265,5.909438823195212e+35],0,0],[[4.3407560983206045e+110,1.0066329381452874e+195],0,0],[[2.300114102133609e+63,3.3520036437628364e+162],0,0],[[3.7952930805105457e-199,7.532023979359606e+99],0,0],[[7.921938015189254e-17,1.6708793826459247e-57],0,0],[[1023.2212474515807,2.9921045438694274e+227],0,0],[[0.0009065963481940791,3.905734270420228e+62],0,0],[[1.891116192597785e-215,6.110124011150757e+46],0,0],[[8.602881405868794e-32,4.340706048852671e-131],0,0],[[2.098983450835455e-256,7.299124485355855e+137],0,0],[[1.0397126842377714e+256,1.193218593408151e-201],0,0],[[1.2757681535951056e+63,3.8712901591408457e+228],0,0],[[7.968357209160169e+93,6.567762824642581e+50],0,0],[[1.2231326953941376e+186,7.262603795481207e-266],0,0],[[2.313502371427401e+184,1.9384661806355694e-06],0,0],[[1.6197054476657532e+88,2.1532718807908383e-307],0,0],[[8.829545137402052e+94,6.012487196277034e-115],0,0],[[4.161272910469861e-301,4.4146411652973813e+21],0,0],[[7.01138751262021e-280,1.4841539461233504e+69],0,0],[[2.824709004194289e-77,3.4428899655780295e-69],0,0],[[3.689213803595929e+95,7.307534022442623e-26],0,0],[[1.1294315636198499e-278,5.86009335903585e-102],0,0],[[2.6148734958275445e-59,1.4522191998681414e+95],0,0],[[2.1746518322952078e-54,2.8875549970579304e+175],0,0],[[3.1487113596301893e-35,2.0573785747587795e-193],0,0],[[2.790368131936616e-145,6.479697484604152e-174],0,0],[[1.2654603057808926e-132,5.480340484157898e-137],0,0],[[2.2385341061737422e-125,1.1296035831317978e+178],0,0],[[1.3216313879464282e+297,8.97797153103304e-88],0,0],[[1.3725216771543658e-17,7.122506379956216e-199],0,0],[[5.070205966511977e-66,2.1591257954674133e-112],0,0],[[1.9637167511580492e-290,4.1122590034758076e+161],0,0],[[6.289641429573477e-53,4.44964744501718e-303],0,0],[[7.607159763197456e+141,3.6479667775717595e-133],0,0],[[4.921669299348463e+48,9.174188702008102e+144],0,0],[[6.2003843728677966e+240,3.183484483196466e-142],0,0],[[1.0631632090197916e+200,5.699753770483561e+65],0,0],[[3.7304700864524026e-88,7.425542676714504e-84],0,0],[[4.592687610132483e+74,5.15900678827599e+24],0,0],[[3.2643753621921254e-59,9.955169418668015e-289],0,0],[[1.8079468232084944e-292,4.570078655862018e+54],0,0],[[11359488250023.906,1.6061320544606304e+202],0,0],[[1.945738823177301e+130,3.0807102446853767e-252],0,0],[[1.3892861350443015e-223,4.641071766140853e-231],0,0],[[2.5979174673973646e+59,3.113239308223682e-30],0,0],[[7.360110913281388e-12,2.8431063873980092e+116],0,0],[[1.6793976068462656e+76,9.118850113252336e-179],0,0],[[1.941054570340983e+123,1.210654460389814e-301],0,0],[[1.0649783843865697e-107,2.193063794905827e+36],0,0],[[1.1535731528175885e-293,16122199543.85404],0,0],[[0.23158759667032142,2.174373890634123e+206],0,0],[[2.8576099148948687e+47,4.535106259884878e+127],0,0],[[4.76442930878223e-20,1.662443875692076e+190],0,0],[[1.7386181741597865e-117,2.2869715061523446e+282],0,0],[[1.0730971371295596e-35,1.3731090395442879e-244],0,0],[[4.706637268886034e+96,1.5728017277270633e-191],0,0],[[5.8750151697224545e-09,3.2058797502881587e-47],0,0],[[7.185623661178434e+254,2.2771998681100785e-234],0,0],[[6.606104192306025e-76,2.1980904706831728e-104],0,0],[[1.1320100213914422e-197,9.218931403807496e-238],0,0],[[1.371076068469597e-276,3.7292018910669483e+61],0,0],[[7.468254766320453e-225,5.794033588679369e+140],0,0],[[8.63596361370883e-168,3.1003420231048053e-198],0,0],[[1.0036700822827659e+277,2.33191497780421e-111],0,0],[[2.0583492621633517e-132,1.73356572916747e+144],0,0],[[1.857914695228711e+83,6.6295219985120325e-183],0,0],[[1.6662800714135864e-218,3.017825861340067e+260],0,0],[[6.11730473650524e+45,1.3797898346213585e-261],0,0],[[1.7909913857676524e-234,4.184907550158769e-217],0,0],[[5950.981016685814,2.2586277236353973e-239],0,0],[[5.556148241691299e-119,1.5213816359492715e-307],0,0],[[3.486470059469502e+53,1.4785130640238136e+99],0,0],[[4.750171216619508e-73,1.0938841522691449e-182],0,0],[[2.207557382838224e+286,9.985233354827504e-56],0,0],[[9.017905012747557e+261,3.950026893987416e-118],0,0],[[7.447177932334067e+137,2.5619403929352076e-295],0,0],[[5.1448581725267015e+35,1.0670135568992559e-184],0,0],[[4.443058861737132e+303,1.4304241357191177e-199],0,0],[[2.2848677762961123e+278,2.524309035730919e-48],0,0],[[2.427769796556236e-78,7.21762410022307e+205],0,0],[[2.727021877346581e-178,1.860064553198903e-67],0,0],[[3.272855825210149e+239,3.2429349037230544e-264],0,0],[[8.657759546694974e-157,2.0568784750151953e+96],0,0],[[2.412016495848343e-259,2.1622905926715047e-231],0,0],[[1.542984322219514e-13,3.0489294036502483e-215],0,0],[[1.095382951219098e-121,4.4403690793251364e-66],0,0],[[3.0292511751059167e-285,4.774911884404591e+104],0,0],[[7366.597199336127,3.437966658215048e+175],0,0],[[1.0627216233234831e+49,4.357977932807522e-152],0,0],[[1.013327533564468e-142,1.0958904515570749e+229],0,0],[[1.3923535424222216e+28,5.5510445437854375e-230],0,0],[[2.777083370991305e+43,5.3963114687587035e-226],0,0],[[2.2999903268614278e-290,1.0741122062961354e-261],0,0],[[5.859557539322906e-140,12468368041124.15],0,0],[[1.0050966216294641e+208,3094188499901330.5],0,0],[[5.913310941312482e+64,1.2043966215849866e-117],0,0],[[8.026585052768576e+166,4.160824839625464e-162],0,0],[[1.0505047303606876e+266,3.1487471921760063e-57],0,0],[[4.643062745134224e+291,1.7704110706278e-94],0,0],[[1.1409868704222428e+294,1.1551123636075075e-25],0,0],[[5.410231811006367e+264,2.1351366095745385e-209],0,0],[[1.1448971434422485e-274,1.3291916155898896e-54],0,0],[[5.99451935698111e-22,2.459533652847606e+166],0,0],[[5.471344172015073e-66,2.5497871706438334e+172],0,0],[[1.929136835934461e+126,1.4511860769870938e+51],0,0],[[1.6848563310412775e-81,1.8787633523770844e+304],0,0],[[3.316574283396358e+291,4.44935408452075e-259],0,0],[[5.050250594439622e+65,1.9230056315128077e-228],0,0],[[7.229157843683878e+19,7.0767085636431225e+53],0,0],[[1.5968409688876136e+240,1.6442404219839566e+41],0,0],[[1.2356592442417317e-130,2.7522555769102684e-277],0,0],[[9.317144953567753e+212,3.4462650157234405e-206],0,0],[[2.0679460963453592e-53,3.5340357590538254e+140],0,0],[[388.3033865228499,6.372660491423742e-176],0,0],[[1.0662100247031813e-43,2.521296463327911e+268],0,0],[[1.2229817874252346e-71,8.506337374180222e-99],0,0],[[2.3910560608115626e-11,2.932647945759088e-270],0,0],[[9.315042055884043e+48,4.0024068424625754e+43],0,0],[[1.532111983959969e+205,1.6699935507759507e-124],0,0]],"best-alt-per-point":[[[1.6509703901493846e-82,1.0044867221158944e+300],0,0],[[7.040383581327078e-101,5.96146379570227e+197],0,0],[[2.8931224974199074e-84,1.9240432527476484e-289],0,0],[[7.779411959735569e-290,2.9896016385939845e-66],0,0],[[2.572749544642796e-298,5.3648379001218185e+144],0,0],[[8.89772004897764e+301,8.493981528607497e-35],0,0],[[1.2718549924538793e-67,1.4997147168186959e-133],0,0],[[3.985430525999154e-166,3.256025304820758e-99],0,0],[[2.9695246403166212e+172,1.0507438437361721e+109],0,0],[[7.823934036267622e-77,4.7561975058596834e-110],0,0],[[3.755654510419116e+282,6.435941970370699e-85],0,0],[[1.1032765895259676e-126,5.131532610213896e-61],0,0],[[1.4013531690195853e+96,3.5090215814700647e-161],0,0],[[3.048742945023404e+270,1.2054827534622992e-243],0,0],[[3.616766753957493e-134,1.405468459858575e-82],0,0],[[3.4960229754986024e-44,4.978416266226015e-252],0,0],[[0.34727693217194866,5.903688889215572e+29],0,0],[[1.179890420337443e-05,1.2231257626976233e+37],0,0],[[4.959269200917455e+89,2.713904493922986e+74],0,0],[[1.6527464762421886e-272,9.284612428163018e+257],0,0],[[1.9737937077676272e+137,1.9372138387200113e-153],0,0],[[2.694216768013651e-08,2.481730668881008e+205],0,0],[[1.105287263764627e+102,5.503874697732584e+83],0,0],[[1.1353202651224532e+290,2.935353604752021e-268],0,0],[[2.305585729830853e-134,5.145630715071899e+201],0,0],[[8.206730771606587e+43,12242.925111988056],0,0],[[460868292555.3496,2.04493320218857e-246],0,0],[[2.813778253825615e-191,3.478381051263039e+83],0,0],[[2.4291809492940973e+273,8.854107647822683e-193],0,0],[[2.3862496869231733e+76,4.3947035780108717e+80],0,0],[[1.3471158039059404e+229,3.713635072274021e-14],0,0],[[1.836384190562668e+305,3.722077384075322e-22],0,0],[[5.7761035984398696e+196,4.71159629772397e+71],0,0],[[6.285466073933269e-22,3.4674975748042185e-38],0,0],[[7.733012551117168e-122,1.1382437559720419e-95],0,0],[[30842.68640786754,2.9760386749584875e-207],0,0],[[1.0213927801883013e-280,2.4118761560252843e-59],0,0],[[1.195916640070373e-91,1.1745784325466232e+243],0,0],[[9.255850163292465e+254,8.641076808597728e-135],0,0],[[17606809434.222816,5.886749727224467e-234],0,0],[[7.335711770377127e-38,1.214621771874996e+281],0,0],[[8.436179296371137e+135,9.825824843771615e-51],0,0],[[2.2524009539371976e+276,3.0041112259807685e-83],0,0],[[2.5302053586509544e+74,3.8982123147805104e-303],0,0],[[2.3744727510983187e-21,2.603715830745381e+94],0,0],[[3.3852972616768538e-282,1.6281541302987446e-101],0,0],[[4.023984950841538e-207,1.672209984146438e-177],0,0],[[5.997642554579093e+226,8267761121118583.0],0,0],[[3.025865987124205e+48,1.1774375942605503e+37],0,0],[[5.239370601934952e+151,6.330496665603291e-156],0,0],[[1.7578451228930594e-74,2.489149382420679e+27],0,0],[[3.938884622122182e-132,1.011396351900011e-125],0,0],[[1.049775594909524e+215,2.272176230217829e-49],0,0],[[747052070542.453,2.3671920300311406e-109],0,0],[[7.495739337101244e+123,8.730593794674667e-237],0,0],[[6.190907314532847e-276,1.745791372849607e+234],0,0],[[5.911713422365171e-224,1.0773053002356648e-277],0,0],[[1.9450954210961478e+245,1.2394471483663794e-183],0,0],[[5.8009366861139515e+281,2.2186062635033713e-123],0,0],[[7.946583410099056e-261,2.144814527894872e+96],0,0],[[1.0066412328328968e-127,6.619416378892868e-163],0,0],[[1.002040665257629e+213,1.4583653454895842e-149],0,0],[[1.1159565897451056e-40,9.147384059902005e+52],0,0],[[7.053265896579982e-111,2.7551492956412816e-291],0,0],[[6.809322721871388e+147,1.6600258389482631e-40],0,0],[[2.693652367216071e-233,2.6617051987770008e+262],0,0],[[9.95962237767467e+23,1.044537127877944e+107],0,0],[[3.9007521363305327e+102,1.0080662849605638e-93],0,0],[[1.2032276449725793e-85,1.3054961346651174e-44],0,0],[[2.3075398048335097e-269,3.594097673489053e+137],0,0],[[1.264317522157606e+158,8.782406176781525e-307],0,0],[[3.130685264260855e-76,9.058189937007456e-86],0,0],[[6.550539660350184e-98,2.959467597264242e-230],0,0],[[2.052107344086851e-70,7.509188631026346e+286],0,0],[[2.2721511366771778e-250,4.0477581754304153e-125],0,0],[[4.931733655566518e-258,1.554975231016035e+153],0,0],[[3.4461749360980795e-185,7.6218106112626015e+295],0,0],[[1.4553433596374878e+306,6.385762618098197e-176],0,0],[[7.26354692283978e-298,6.697902311356943e+127],0,0],[[1.2351743153928947e-17,1.1081913151635317e-281],0,0],[[8.845830180604385e+55,4.68925600491289e+144],0,0],[[1.4639565733772952e-243,4.1910390611535265e+279],0,0],[[1.6983735818136165e-150,4.057563235251733e-168],0,0],[[1.5987895001152558e-250,1.0362772075683598e+99],0,0],[[2.574015514786201e-195,4.120748433400853e+266],0,0],[[2.828506773801223e-34,1.3980028593340099e-80],0,0],[[7.10451338618339e-112,2.752384728131671e-298],0,0],[[5.3848532123061334e+141,4.101841091919989e+82],0,0],[[1.8880422706568598e-131,6.087242169493258e-74],0,0],[[1.6828341140646555e-168,2.8288040637518216e+97],0,0],[[1.679279614673279e-17,7.802007187654651e-08],0,0],[[6.4821321459802055e+193,1.7939351909740315e+68],0,0],[[2.7868826984034328e-297,6.274746106885988e-177],0,0],[[7.586534919343994e-75,1.6802148352573582e-128],0,0],[[9.491422824807354e-253,4.0739010895320517e+273],0,0],[[4.1453996363276465e+75,5.536268198771454e-145],0,0],[[2.5579551551610585e+210,5.9077596164866435e-95],0,0],[[2.2415352671784828e-150,1.625167989850363e+119],0,0],[[1.339244985449485e+287,3.0684965091017185e-100],0,0],[[2.102378373650422e+59,3.879777319243053e-40],0,0],[[2.5226551585558244e+149,4.479310754223626e+77],0,0],[[6.3759232335206e-291,3.5785496756947083e-76],0,0],[[3.8797234898178104e-266,6.295638798327878e-124],0,0],[[6.621128712488456e-94,3.152253828409111e+30],0,0],[[3.5260516775312726e-162,4.379941188803635e-139],0,0],[[1.97219471607667e+91,7.738875657396643e-29],0,0],[[7.700819479271364e+285,3.0794153994869066e-56],0,0],[[1.6672047786154368e+54,6.224498176564759e+252],0,0],[[6.79091067430158e+35,7.230059261043331e+195],0,0],[[2.7218861198404826e+38,2.2290064626400674e-173],0,0],[[7.150483614995872e+179,4.7113271470999506e-197],0,0],[[6.409528319039091e+96,2.932037839848625e+137],0,0],[[5.053806292662203e-155,2.523406045226158e-210],0,0],[[4.555263708470995e+272,4.71053014114017e-255],0,0],[[3.6380611743774316e+28,4.3451652399410245e+66],0,0],[[5.5111229904756633e-36,1.6975346890789871e+105],0,0],[[3.2896013204457148e-279,1.1190715118628351e-13],0,0],[[1.855739410010682e-286,1.2449977298699466e-295],0,0],[[83424.93755475695,4.646894140459563e-113],0,0],[[2.4801215181567776e-295,5.2115166535835604e-169],0,0],[[5.907165300326855e+32,1.9267899651560147e+275],0,0],[[7.475270857526654e-304,1.0862105938569748e+148],0,0],[[4.380578158292964e+195,3.0321252530234052e+38],0,0],[[2.4655809623086505e-116,1.1536689796869952e-11],0,0],[[8.444294654343975e-240,3.513520042407809e+153],0,0],[[3.28610894527258e-300,3.973558968153068e+125],0,0],[[2.5394112430978073e-295,1.4298675637930828e+180],0,0],[[1.6232174805713086e+70,3.765990859086882e+52],0,0],[[1.7628658405233417e+50,3.029594665597862e-129],0,0],[[1.3225125660735596e+95,2.9618085259733963e-25],0,0],[[8.752592959491946e-33,2.9311591750368227e+22],0,0],[[1.0760470830369276e-175,3.1675280578479312e-77],0,0],[[9.685450907847438e-63,1.537477220142015e-154],0,0],[[2.278168307815529e+264,1.9290719856679213e-191],0,0],[[1.4316271455151301e-258,2.996770630299676e+274],0,0],[[1.3033365771819216e+182,2.0232068588165873e-95],0,0],[[1.6611161145230723e-191,714914460440.7544],0,0],[[9.206946233985896e+265,5.909438823195212e+35],0,0],[[4.3407560983206045e+110,1.0066329381452874e+195],0,0],[[2.300114102133609e+63,3.3520036437628364e+162],0,0],[[3.7952930805105457e-199,7.532023979359606e+99],0,0],[[7.921938015189254e-17,1.6708793826459247e-57],0,0],[[1023.2212474515807,2.9921045438694274e+227],0,0],[[0.0009065963481940791,3.905734270420228e+62],0,0],[[1.891116192597785e-215,6.110124011150757e+46],0,0],[[8.602881405868794e-32,4.340706048852671e-131],0,0],[[2.098983450835455e-256,7.299124485355855e+137],0,0],[[1.0397126842377714e+256,1.193218593408151e-201],0,0],[[1.2757681535951056e+63,3.8712901591408457e+228],0,0],[[7.968357209160169e+93,6.567762824642581e+50],0,0],[[1.2231326953941376e+186,7.262603795481207e-266],0,0],[[2.313502371427401e+184,1.9384661806355694e-06],0,0],[[1.6197054476657532e+88,2.1532718807908383e-307],0,0],[[8.829545137402052e+94,6.012487196277034e-115],0,0],[[4.161272910469861e-301,4.4146411652973813e+21],0,0],[[7.01138751262021e-280,1.4841539461233504e+69],0,0],[[2.824709004194289e-77,3.4428899655780295e-69],0,0],[[3.689213803595929e+95,7.307534022442623e-26],0,0],[[1.1294315636198499e-278,5.86009335903585e-102],0,0],[[2.6148734958275445e-59,1.4522191998681414e+95],0,0],[[2.1746518322952078e-54,2.8875549970579304e+175],0,0],[[3.1487113596301893e-35,2.0573785747587795e-193],0,0],[[2.790368131936616e-145,6.479697484604152e-174],0,0],[[1.2654603057808926e-132,5.480340484157898e-137],0,0],[[2.2385341061737422e-125,1.1296035831317978e+178],0,0],[[1.3216313879464282e+297,8.97797153103304e-88],0,0],[[1.3725216771543658e-17,7.122506379956216e-199],0,0],[[5.070205966511977e-66,2.1591257954674133e-112],0,0],[[1.9637167511580492e-290,4.1122590034758076e+161],0,0],[[6.289641429573477e-53,4.44964744501718e-303],0,0],[[7.607159763197456e+141,3.6479667775717595e-133],0,0],[[4.921669299348463e+48,9.174188702008102e+144],0,0],[[6.2003843728677966e+240,3.183484483196466e-142],0,0],[[1.0631632090197916e+200,5.699753770483561e+65],0,0],[[3.7304700864524026e-88,7.425542676714504e-84],0,0],[[4.592687610132483e+74,5.15900678827599e+24],0,0],[[3.2643753621921254e-59,9.955169418668015e-289],0,0],[[1.8079468232084944e-292,4.570078655862018e+54],0,0],[[11359488250023.906,1.6061320544606304e+202],0,0],[[1.945738823177301e+130,3.0807102446853767e-252],0,0],[[1.3892861350443015e-223,4.641071766140853e-231],0,0],[[2.5979174673973646e+59,3.113239308223682e-30],0,0],[[7.360110913281388e-12,2.8431063873980092e+116],0,0],[[1.6793976068462656e+76,9.118850113252336e-179],0,0],[[1.941054570340983e+123,1.210654460389814e-301],0,0],[[1.0649783843865697e-107,2.193063794905827e+36],0,0],[[1.1535731528175885e-293,16122199543.85404],0,0],[[0.23158759667032142,2.174373890634123e+206],0,0],[[2.8576099148948687e+47,4.535106259884878e+127],0,0],[[4.76442930878223e-20,1.662443875692076e+190],0,0],[[1.7386181741597865e-117,2.2869715061523446e+282],0,0],[[1.0730971371295596e-35,1.3731090395442879e-244],0,0],[[4.706637268886034e+96,1.5728017277270633e-191],0,0],[[5.8750151697224545e-09,3.2058797502881587e-47],0,0],[[7.185623661178434e+254,2.2771998681100785e-234],0,0],[[6.606104192306025e-76,2.1980904706831728e-104],0,0],[[1.1320100213914422e-197,9.218931403807496e-238],0,0],[[1.371076068469597e-276,3.7292018910669483e+61],0,0],[[7.468254766320453e-225,5.794033588679369e+140],0,0],[[8.63596361370883e-168,3.1003420231048053e-198],0,0],[[1.0036700822827659e+277,2.33191497780421e-111],0,0],[[2.0583492621633517e-132,1.73356572916747e+144],0,0],[[1.857914695228711e+83,6.6295219985120325e-183],0,0],[[1.6662800714135864e-218,3.017825861340067e+260],0,0],[[6.11730473650524e+45,1.3797898346213585e-261],0,0],[[1.7909913857676524e-234,4.184907550158769e-217],0,0],[[5950.981016685814,2.2586277236353973e-239],0,0],[[5.556148241691299e-119,1.5213816359492715e-307],0,0],[[3.486470059469502e+53,1.4785130640238136e+99],0,0],[[4.750171216619508e-73,1.0938841522691449e-182],0,0],[[2.207557382838224e+286,9.985233354827504e-56],0,0],[[9.017905012747557e+261,3.950026893987416e-118],0,0],[[7.447177932334067e+137,2.5619403929352076e-295],0,0],[[5.1448581725267015e+35,1.0670135568992559e-184],0,0],[[4.443058861737132e+303,1.4304241357191177e-199],0,0],[[2.2848677762961123e+278,2.524309035730919e-48],0,0],[[2.427769796556236e-78,7.21762410022307e+205],0,0],[[2.727021877346581e-178,1.860064553198903e-67],0,0],[[3.272855825210149e+239,3.2429349037230544e-264],0,0],[[8.657759546694974e-157,2.0568784750151953e+96],0,0],[[2.412016495848343e-259,2.1622905926715047e-231],0,0],[[1.542984322219514e-13,3.0489294036502483e-215],0,0],[[1.095382951219098e-121,4.4403690793251364e-66],0,0],[[3.0292511751059167e-285,4.774911884404591e+104],0,0],[[7366.597199336127,3.437966658215048e+175],0,0],[[1.0627216233234831e+49,4.357977932807522e-152],0,0],[[1.013327533564468e-142,1.0958904515570749e+229],0,0],[[1.3923535424222216e+28,5.5510445437854375e-230],0,0],[[2.777083370991305e+43,5.3963114687587035e-226],0,0],[[2.2999903268614278e-290,1.0741122062961354e-261],0,0],[[5.859557539322906e-140,12468368041124.15],0,0],[[1.0050966216294641e+208,3094188499901330.5],0,0],[[5.913310941312482e+64,1.2043966215849866e-117],0,0],[[8.026585052768576e+166,4.160824839625464e-162],0,0],[[1.0505047303606876e+266,3.1487471921760063e-57],0,0],[[4.643062745134224e+291,1.7704110706278e-94],0,0],[[1.1409868704222428e+294,1.1551123636075075e-25],0,0],[[5.410231811006367e+264,2.1351366095745385e-209],0,0],[[1.1448971434422485e-274,1.3291916155898896e-54],0,0],[[5.99451935698111e-22,2.459533652847606e+166],0,0],[[5.471344172015073e-66,2.5497871706438334e+172],0,0],[[1.929136835934461e+126,1.4511860769870938e+51],0,0],[[1.6848563310412775e-81,1.8787633523770844e+304],0,0],[[3.316574283396358e+291,4.44935408452075e-259],0,0],[[5.050250594439622e+65,1.9230056315128077e-228],0,0],[[7.229157843683878e+19,7.0767085636431225e+53],0,0],[[1.5968409688876136e+240,1.6442404219839566e+41],0,0],[[1.2356592442417317e-130,2.7522555769102684e-277],0,0],[[9.317144953567753e+212,3.4462650157234405e-206],0,0],[[2.0679460963453592e-53,3.5340357590538254e+140],0,0],[[388.3033865228499,6.372660491423742e-176],0,0],[[1.0662100247031813e-43,2.521296463327911e+268],0,0],[[1.2229817874252346e-71,8.506337374180222e-99],0,0],[[2.3910560608115626e-11,2.932647945759088e-270],0,0],[[9.315042055884043e+48,4.0024068424625754e+43],0,0],[[1.532111983959969e+205,1.6699935507759507e-124],0,0]],"fresh-alts":["#"]}* * * * [misc]pick: Picked # * * * [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 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 8000 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 6279 additional inputs, on iter 1 have 1721 / 8000 * * * * [misc]points: Computing exacts on every 392 of 6279 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 196 of 6279 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 98 of 6279 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 49 of 6279 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 24 of 6279 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 12 of 6279 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 6 of 6279 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 6279 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 6279 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4912 additional inputs, on iter 2 have 3088 / 8000 * * * * [misc]points: Computing exacts on every 307 of 4912 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 153 of 4912 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 76 of 4912 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 38 of 4912 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 19 of 4912 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 9 of 4912 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 4 of 4912 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 4912 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 4912 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 3814 additional inputs, on iter 3 have 4186 / 8000 * * * * [misc]points: Computing exacts on every 238 of 3814 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 119 of 3814 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 59 of 3814 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 29 of 3814 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 14 of 3814 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 7 of 3814 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 3814 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 3814 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 3001 additional inputs, on iter 4 have 4999 / 8000 * * * * [misc]points: Computing exacts on every 187 of 3001 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 93 of 3001 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 46 of 3001 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 23 of 3001 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 11 of 3001 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 5 of 3001 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 3001 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 3001 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 2335 additional inputs, on iter 5 have 5665 / 8000 * * * * [misc]points: Computing exacts on every 145 of 2335 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 72 of 2335 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 36 of 2335 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 18 of 2335 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 9 of 2335 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 4 of 2335 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 2335 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 2335 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 1815 additional inputs, on iter 6 have 6185 / 8000 * * * * [misc]points: Computing exacts on every 113 of 1815 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 56 of 1815 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 28 of 1815 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 14 of 1815 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 7 of 1815 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 1815 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 1815 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 1404 additional inputs, on iter 7 have 6596 / 8000 * * * * [misc]points: Computing exacts on every 87 of 1404 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 43 of 1404 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 21 of 1404 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 10 of 1404 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 5 of 1404 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 1404 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 1404 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 1113 additional inputs, on iter 8 have 6887 / 8000 * * * * [misc]points: Computing exacts on every 69 of 1113 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 34 of 1113 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 17 of 1113 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 8 of 1113 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 4 of 1113 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 1113 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 1113 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 857 additional inputs, on iter 9 have 7143 / 8000 * * * * [misc]points: Computing exacts on every 53 of 857 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 26 of 857 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 13 of 857 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 6 of 857 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 857 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 857 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 669 additional inputs, on iter 10 have 7331 / 8000 * * * * [misc]points: Computing exacts on every 41 of 669 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 20 of 669 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 10 of 669 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 5 of 669 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 669 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 669 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 507 additional inputs, on iter 11 have 7493 / 8000 * * * * [misc]points: Computing exacts on every 31 of 507 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 15 of 507 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 7 of 507 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 507 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 507 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 398 additional inputs, on iter 12 have 7602 / 8000 * * * * [misc]points: Computing exacts on every 24 of 398 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 12 of 398 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 6 of 398 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 398 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 398 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 304 additional inputs, on iter 13 have 7696 / 8000 * * * * [misc]points: Computing exacts on every 19 of 304 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 9 of 304 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 4 of 304 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 304 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 304 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 246 additional inputs, on iter 14 have 7754 / 8000 * * * * [misc]points: Computing exacts on every 15 of 246 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 7 of 246 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 246 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 246 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 177 additional inputs, on iter 15 have 7823 / 8000 * * * * [misc]points: Computing exacts on every 11 of 177 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 5 of 177 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 177 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 177 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 147 additional inputs, on iter 16 have 7853 / 8000 * * * * [misc]points: Computing exacts on every 9 of 147 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 4 of 147 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 147 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 147 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 120 additional inputs, on iter 17 have 7880 / 8000 * * * * [misc]points: Computing exacts on every 7 of 120 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 120 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 120 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 97 additional inputs, on iter 18 have 7903 / 8000 * * * * [misc]points: Computing exacts on every 6 of 97 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 3 of 97 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 97 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 71 additional inputs, on iter 19 have 7929 / 8000 * * * * [misc]points: Computing exacts on every 4 of 71 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts on every 2 of 71 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 71 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 59 additional inputs, on iter 20 have 7941 / 8000 * * * * [misc]points: Computing exacts on every 3 of 59 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 59 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 49 additional inputs, on iter 21 have 7951 / 8000 * * * * [misc]points: Computing exacts on every 3 of 49 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 49 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 36 additional inputs, on iter 22 have 7964 / 8000 * * * * [misc]points: Computing exacts on every 2 of 36 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Computing exacts for 36 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 25 additional inputs, on iter 23 have 7975 / 8000 * * * * [misc]points: Computing exacts for 25 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 15 additional inputs, on iter 24 have 7985 / 8000 * * * * [misc]points: Computing exacts for 15 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 11 additional inputs, on iter 25 have 7989 / 8000 * * * * [misc]points: Computing exacts for 11 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 7 additional inputs, on iter 26 have 7993 / 8000 * * * * [misc]points: Computing exacts for 7 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 7 additional inputs, on iter 27 have 7993 / 8000 * * * * [misc]points: Computing exacts for 7 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 6 additional inputs, on iter 28 have 7994 / 8000 * * * * [misc]points: Computing exacts for 6 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 29 have 7996 / 8000 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [misc]points: Sampling 4 additional inputs, on iter 30 have 7998 / 8000 * * * * [misc]points: Computing exacts for 4 points * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Setting MPFR precision to 576 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [exit]points: Sampled 8000 points with exact outputs