* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
* * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  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 197 additional inputs, on iter 1 have 59 / 256
* * * * [misc]points:  Computing exacts on every 12 of 197 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 197 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 197 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 197 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 160 additional inputs, on iter 2 have 96 / 256
* * * * [misc]points:  Computing exacts on every 10 of 160 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 160 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 160 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 160 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 124 additional inputs, on iter 3 have 132 / 256
* * * * [misc]points:  Computing exacts on every 7 of 124 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 124 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 124 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 100 additional inputs, on iter 4 have 156 / 256
* * * * [misc]points:  Computing exacts on every 6 of 100 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 100 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 100 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 80 additional inputs, on iter 5 have 176 / 256
* * * * [misc]points:  Computing exacts on every 5 of 80 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 80 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 80 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 63 additional inputs, on iter 6 have 193 / 256
* * * * [misc]points:  Computing exacts on every 3 of 63 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 63 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 50 additional inputs, on iter 7 have 206 / 256
* * * * [misc]points:  Computing exacts on every 3 of 50 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 50 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 41 additional inputs, on iter 8 have 215 / 256
* * * * [misc]points:  Computing exacts on every 2 of 41 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 41 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 29 additional inputs, on iter 9 have 227 / 256
* * * * [misc]points:  Computing exacts for 29 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 16 additional inputs, on iter 11 have 240 / 256
* * * * [misc]points:  Computing exacts for 16 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 12 have 241 / 256
* * * * [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 13 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 10 additional inputs, on iter 14 have 246 / 256
* * * * [misc]points:  Computing exacts for 10 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 8 additional inputs, on iter 15 have 248 / 256
* * * * [misc]points:  Computing exacts for 8 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 16 have 249 / 256
* * * * [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 17 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 18 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 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
* * * * [misc]points:  Sampling 4 additional inputs, on iter 20 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 256 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
* [misc]none:  Fresh alts: 1
* [misc]none:  All alts: 1
* [misc]none:  Fresh alt: (λ (a b) (* a b))
* [misc]none:  Fresh alt indexes
* [misc]none:  (λ (a b) (* a b)): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (1.048151880557531e-99 8.951548511660437e+82): 0
* [misc]none:  (2.1501333373436194e-13 2.3749769913787073e+138): 0
* [misc]none:  (4.213048508546599e-178 9.867184629677251e+277): 0
* [misc]none:  (2.224165561485261e+37 3.1444294812307706e-20): 0
* [misc]none:  (3.367959846216914e+49 7.361053383215893e-48): 0
* [misc]none:  (3.7319651198431935e-112 2.6162260071326735e+122): 0
* [misc]none:  (3.911253144021059e-37 4.2992902330261985e-14): 0
* [misc]none:  (2.330493073693622e-81 5.988090947952116e+260): 0
* [misc]none:  (2.557633984455684e-236 1.7871658499983865e+111): 0
* [misc]none:  (1.0520619161716975e+229 1.6908635951112435e-152): 0
* [misc]none:  (2.3713704883904957e+25 2.7539088005800003e-201): 0
* [misc]none:  (2.28249348384851e+92 1.2080721381142647e-295): 0
* [misc]none:  (6.519305542840066e-238 1.4209750521719234e+167): 0
* [misc]none:  (5.092016746590215e+18 5.258570611990399e+144): 0
* [misc]none:  (8.209474020100443e-75 2.310883431864556e-193): 0
* [misc]none:  (6.712074699607702e+52 5.121650855447619e-174): 0
* [misc]none:  (2.4392121410472106e-273 7.836522530769743e+59): 0
* [misc]none:  (2.78106913943276e-77 1.1548749713964373e-92): 0
* [misc]none:  (1.9839532685168286e-292 7.3223398651315395e-109): 0
* [misc]none:  (8.488844594771612e-127 2.451558198341499e+117): 0
* [misc]none:  (5.66924427203651e-301 2.5461878029353985e-238): 0
* [misc]none:  (9.172918591990658e-289 7.928641158600483e+228): 0
* [misc]none:  (2.1464662177145466e+17 2.6013174066034746e-86): 0
* [misc]none:  (1.2761712447707195e-230 4.539213874088481e-240): 0
* [misc]none:  (5.403613002727931e-172 1.6647025455145767e-98): 0
* [misc]none:  (2.522160538376606e+202 1.0280703461504184e-149): 0
* [misc]none:  (8.116538701041032e-246 7.045701647143625e+294): 0
* [misc]none:  (7.496050392254423e-292 2.3504027171160204e-302): 0
* [misc]none:  (1.8060877419691232e-65 2.86323673488602e-51): 0
* [misc]none:  (1.0970228149908303e-276 7.967769961742838e+186): 0
* [misc]none:  (1.2527851748452608e-242 1.0103123302158147e+112): 0
* [misc]none:  (222693309.28876954 2.0187517395999946e+158): 0
* [misc]none:  (9.591660642944613e+137 3.3369284991339127e-224): 0
* [misc]none:  (2.1626561181515632e-29 6.562952916996993e-49): 0
* [misc]none:  (8.953439122670022e+139 3.484170905984973e-54): 0
* [misc]none:  (3.1723784288762247e-174 1.806578923933048e-16): 0
* [misc]none:  (8.166157300605409e+125 1.9670730000252552e-56): 0
* [misc]none:  (1.5368130424239484e-258 1.0793824307213477e-07): 0
* [misc]none:  (1.4626644606135493e-149 2.3190166729712657e-212): 0
* [misc]none:  (4.3549030909845e-39 9.058284202735603e+73): 0
* [misc]none:  (5.106646808433796e+86 8.735061981539538e+170): 0
* [misc]none:  (1.564790385822221e-165 1.7767473862163164e-162): 0
* [misc]none:  (2.8348491098312174e-254 6.6339423793219325e-102): 0
* [misc]none:  (2.996380932857899e-247 5.2969281687650636e-235): 0
* [misc]none:  (3.0481284804604865e-20 5.305987748866128e+56): 0
* [misc]none:  (1.3456211831302422e+205 1.958667951410614e+85): 0
* [misc]none:  (1.4648264101470588e+44 6.844241230211939e+198): 0
* [misc]none:  (2.4013812965708594e+221 7.909441760020457e+74): 0
* [misc]none:  (2.5583314633633054e-07 1.699201102491909e+300): 0
* [misc]none:  (1.5042239853613876e-302 9.360780180304737e+153): 0
* [misc]none:  (8.616872328504591e-169 2.705259708711105e-42): 0
* [misc]none:  (1.6795280764094681e+192 2.6457818831137444e+63): 0
* [misc]none:  (2.295309343983191e-140 5.571074723663966e-15): 0
* [misc]none:  (1.1191451223002718e-275 3.251721996184718e+286): 0
* [misc]none:  (4.1049298747354824e-124 9.30992191853363e-100): 0
* [misc]none:  (1.3462923322550312e-190 2.328447698134118e+189): 0
* [misc]none:  (2.368352485459566e+39 1.0988839423010741e-286): 0
* [misc]none:  (7.554094213581318e+16 6.673379439711181e+25): 0
* [misc]none:  (7.280335202877669e-115 1.6768950904431826e+102): 0
* [misc]none:  (4.529440858240378e+294 2.583327681649875e-261): 0
* [misc]none:  (1.9362754336056668e-19 5.679263394742271e+256): 0
* [misc]none:  (3.0253434819547994e-130 3.6409363071987465e-75): 0
* [misc]none:  (1.2690678880884403e+121 2.995255399223168e-44): 0
* [misc]none:  (3.1842688099779434e+282 2.121453893840239e-73): 0
* [misc]none:  (4.1951449290256854e+45 5.0406892425502396e-278): 0
* [misc]none:  (4.682324321688492e+141 1.0013435104816513e-148): 0
* [misc]none:  (3.0168077888297824e+199 0.5207355780050335): 0
* [misc]none:  (5.874264554511968e-241 7.777369870756089e+288): 0
* [misc]none:  (5.024239923590871e+30 1.1704964689625606e-234): 0
* [misc]none:  (1.2145307310987688e+53 5.583944643852132e+89): 0
* [misc]none:  (5.711989658365824e+301 7.513898248131515e-150): 0
* [misc]none:  (2.041223424808249e-42 1.362884765799566e-303): 0
* [misc]none:  (8.440415420585242e-92 9.220745428022288e+195): 0
* [misc]none:  (4.1279960042607096e+281 3.374373279849012e-49): 0
* [misc]none:  (1.365866729789634e-307 9.286156373985902e-88): 0
* [misc]none:  (3.211398184668492e-192 2.1347689875595306e-40): 0
* [misc]none:  (8.686774893956251e+136 2.0955268519899525e-66): 0
* [misc]none:  (1.1394838009111992e+220 7.59858056403799e-129): 0
* [misc]none:  (1.3857331325076435e+202 5.288521587300689e+29): 0
* [misc]none:  (1.6628636236275568e-296 4.757518029573035e+252): 0
* [misc]none:  (2.9761497868954784e-39 1.6756011214932844e-91): 0
* [misc]none:  (2.612957321892208e-110 4.200822444585618e-162): 0
* [misc]none:  (3.251454580304373e+139 4.777889141284364e+83): 0
* [misc]none:  (1.0923881709474209e+51 1.8896483389624e+34): 0
* [misc]none:  (5.880149463902669e+124 1.4997740794202146e+89): 0
* [misc]none:  (5.739738979848659e+159 6.069335536820963e+112): 0
* [misc]none:  (2.668200560995134e+141 5868492185482.0): 0
* [misc]none:  (2.902086571706488e-217 2.5864065767257367e-271): 0
* [misc]none:  (1.9066255871185694e+200 2.3371543030897222e-272): 0
* [misc]none:  (6.305963274550554e+88 8.926686896499391e-274): 0
* [misc]none:  (1.0686953716288921e-106 3.2100426925050856e+55): 0
* [misc]none:  (6.35904405510037e-151 7.287281531672938e+293): 0
* [misc]none:  (9.895542230147696e-88 1.5045728740077166e-60): 0
* [misc]none:  (2.273895671040397e+177 7.014521935885756e-259): 0
* [misc]none:  (1.2554435920159059e-27 1.0538832672087031e-173): 0
* [misc]none:  (3.1115404537443894e-59 8.17192685258831e+64): 0
* [misc]none:  (1.2107516482790591e+259 6.871500510125508e-27): 0
* [misc]none:  (5.934841160279732e-35 2.5542557129168353e-93): 0
* [misc]none:  (7.5588470985503e+294 1160861888.6226072): 0
* [misc]none:  (5.999648572227743e+297 5.729793402982751e-23): 0
* [misc]none:  (3.4661781947574473e-174 1.0749556482282616e+190): 0
* [misc]none:  (1.3022362512891203e+301 1.6138559527458008e-129): 0
* [misc]none:  (9.59713490648927e-79 2.5679653914894944e+44): 0
* [misc]none:  (2.006607317631719e-226 9.725570899664205e+257): 0
* [misc]none:  (1.8714595161099368e+273 2.4654525054106353e-86): 0
* [misc]none:  (5.2293282914369684e-111 2.6414869373061873e+100): 0
* [misc]none:  (9.220860892290228e-307 8.217214386486567e-257): 0
* [misc]none:  (2.114140784433744e-89 2.821244759184305e-36): 0
* [misc]none:  (6.408990163581508e-210 2.825265970836839e-258): 0
* [misc]none:  (4.0964711002207995e-212 1.580207677915082e+191): 0
* [misc]none:  (9.45646148733341e-285 1.0677575561217358e+17): 0
* [misc]none:  (1.752981132145179e-167 8.580882316865485e-06): 0
* [misc]none:  (2.4182108745295748e+266 5.839927163927348e-155): 0
* [misc]none:  (3.7685655423308335e+27 1.0360166378839602e+118): 0
* [misc]none:  (4.35198762746262e-10 1.7940104434235838e-79): 0
* [misc]none:  (5.984046261163795e-137 3.821394955430366e-65): 0
* [misc]none:  (7.719189018575495e+71 1.0375909582941405e+176): 0
* [misc]none:  (5.446873598073321e+162 1.4663998973627134e-238): 0
* [misc]none:  (1.5351760868919323e-228 2.492291349381809e-19): 0
* [misc]none:  (1.401429077322298e+92 1.3428446636792012e+166): 0
* [misc]none:  (1.155828041799478e-25 2.2000645515690375e-50): 0
* [misc]none:  (7.853946340424084e-31 1.8106066438142385e-303): 0
* [misc]none:  (2.1686768163733876e+244 7.909461243111343e-265): 0
* [misc]none:  (1.8323343381992287e+31 7.281253129953981e-60): 0
* [misc]none:  (3.394681810845419e-236 1.554709736029433e-73): 0
* [misc]none:  (6.367279917071204e-222 1.8221811659480027e-121): 0
* [misc]none:  (1.912144754577731e+73 1.073014222071994e-89): 0
* [misc]none:  (3.7433866315495255e-100 0.004023320988111097): 0
* [misc]none:  (2.3798809592642995e-28 3.3704692725079323e+257): 0
* [misc]none:  (2.3997350978047626e-178 4.600519571474852e-88): 0
* [misc]none:  (6.003719732958235e+79 1.2107176049983248e-107): 0
* [misc]none:  (5.868986403494096e+94 4.127190428838376e-43): 0
* [misc]none:  (1.2488745877147871e+61 3.1781720316164787e-22): 0
* [misc]none:  (70.44620346295014 1.2206180904045364e-180): 0
* [misc]none:  (1.1839577582963604e+116 9.674006994299565e-83): 0
* [misc]none:  (1.513923077673974e+123 3.690253807384945e-279): 0
* [misc]none:  (1.007308686287199e+219 2.8128021055302423e+21): 0
* [misc]none:  (2.6026167233480505e-297 6.339802259097543e-308): 0
* [misc]none:  (49928.85984149186 4.608201714407897e+250): 0
* [misc]none:  (1.4618822012959264e-282 5.065009120000935e+239): 0
* [misc]none:  (7.407501352069606e+197 8.584915269696552e-75): 0
* [misc]none:  (5.867229113210459e-205 1.5847754196219073e-22): 0
* [misc]none:  (3.0661019233819544e+189 102931726085670.36): 0
* [misc]none:  (1.4133523127641337e+63 9.790781234731489e-232): 0
* [misc]none:  (3.7193291857424636e+191 6.193273592367267e-43): 0
* [misc]none:  (2.520431926876746e+89 5.378306808996145e+66): 0
* [misc]none:  (1.5637448761597387e-220 9.279685355440257e+94): 0
* [misc]none:  (6.290509665714031e+264 3.9437442578940275e-28): 0
* [misc]none:  (1.5055992946807036e+100 3.7706992444410506e+70): 0
* [misc]none:  (2.888498031591123e-80 1.0913092803094753e+57): 0
* [misc]none:  (5.989718852076057e-22 1.5075048890969188e+274): 0
* [misc]none:  (7.359906380350718e-191 1.3040864443249938e-110): 0
* [misc]none:  (1.821753799857952e-142 5.2458139891945694e+154): 0
* [misc]none:  (1.0605849328606976e+17 4.635074616884763e+136): 0
* [misc]none:  (5.3783857635125407e+135 3.442751886867014e-55): 0
* [misc]none:  (2.3644283305363024e-83 3.9340975132726664e+287): 0
* [misc]none:  (5.2425466679918264e-219 1.0547624812292463e-145): 0
* [misc]none:  (7.108611529458249e-125 9.447848277803998e-214): 0
* [misc]none:  (3.319487012053256e-266 4.217054502906045e+236): 0
* [misc]none:  (6.980732986025448e-303 4.2936456292039216e-20): 0
* [misc]none:  (2.984404923140836e-249 5.437516292888218e-268): 0
* [misc]none:  (5.520248382898629e-230 6.71342285975285e-63): 0
* [misc]none:  (267950632.53292695 5.624641690736252e-214): 0
* [misc]none:  (8.322805913504859e+214 3.2616756987284277e-94): 0
* [misc]none:  (1.2017614084255727e-118 2.163051204570009e+135): 0
* [misc]none:  (1.2439278636891217e+233 1.1524614864139226e-160): 0
* [misc]none:  (1.5181493189729785e-210 2.5055367778394023e+168): 0
* [misc]none:  (161620833577619.34 2.9543484210487e+68): 0
* [misc]none:  (2.237363577109642e+74 1.6588937679962464e-112): 0
* [misc]none:  (1.1908969294818754e-266 3.099784283699168e-174): 0
* [misc]none:  (1.0167208681953543e+192 1.5933622570633916e-225): 0
* [misc]none:  (3.4204094411255474e+115 31.114677989939693): 0
* [misc]none:  (1.341667886706771e+115 3.8005266578165216e-258): 0
* [misc]none:  (2.2335992870926316e-153 1.4503417141831182e+51): 0
* [misc]none:  (2.0547294018965633e+61 7.852155885222424e-118): 0
* [misc]none:  (9.03697438609635e-254 5.834916983599053e-288): 0
* [misc]none:  (1.4410801258605738e+62 106537.6777769988): 0
* [misc]none:  (3.456521015844278e-267 5.548340076310199e-111): 0
* [misc]none:  (2.0491433117473444e+251 2.1868710093441635e-94): 0
* [misc]none:  (4.626894916535224e-128 1.114170127871121e+259): 0
* [misc]none:  (1.011727234239232e-268 5.76823955439101e-249): 0
* [misc]none:  (4.254787401710164e+249 1.376461838305041e-44): 0
* [misc]none:  (1.1351952620028756e+104 4.887341950722903e-119): 0
* [misc]none:  (1.8443037336290407e+119 1.235570583257771e-07): 0
* [misc]none:  (7.39364828803394e+144 9.572757352600472e-80): 0
* [misc]none:  (3.406045760877835e+88 7.154697731325867e-18): 0
* [misc]none:  (1.1827257715119543e+133 1133703838877282.8): 0
* [misc]none:  (3.531223172330985e-199 5.561790722198777e-82): 0
* [misc]none:  (1.5966125201184553e-193 73.24749757442865): 0
* [misc]none:  (4.28037460898893e-247 8.951357133421397e+261): 0
* [misc]none:  (70490605213811.38 8.958328541865542e+26): 0
* [misc]none:  (9.102084975803701e-73 1.1092121347572184e-110): 0
* [misc]none:  (8.610622976594321e+98 9.358095360187489e+178): 0
* [misc]none:  (2.3662552894590427e-129 1.3750964240067652e+187): 0
* [misc]none:  (4.619477991826317e-18 1.0680543533285456e+278): 0
* [misc]none:  (7.914089445148217e+49 0.0024670924539331026): 0
* [misc]none:  (1.5921941583015596e+291 3.831267307473466e-298): 0
* [misc]none:  (1.8269212298308998e+214 1789977963981.046): 0
* [misc]none:  (3.928924306566786e-70 5.222760300460367e-180): 0
* [misc]none:  (1.0495684746531957e+167 2.721003254105153e-81): 0
* [misc]none:  (8.781920275794267e+61 3.5618749791650757e+87): 0
* [misc]none:  (4.9372470656494625e-201 1.4446355009900792e+23): 0
* [misc]none:  (1.5052438492777668e+214 1.5460201380138582e-108): 0
* [misc]none:  (6.354924490516637e-174 1.1935837539207151e+36): 0
* [misc]none:  (1.5484790382727637e+258 2.2758369496030736e+44): 0
* [misc]none:  (2.7646272679971947e+138 1.8029164814151534e-305): 0
* [misc]none:  (2.0737883409435182e-60 8.938208620266642e-81): 0
* [misc]none:  (8.149794087375897e+77 1.4399038101240658e-157): 0
* [misc]none:  (5.334416108525731e+103 8.243928876632343e+120): 0
* [misc]none:  (5.535572593369702e+234 1.1281253812481777e-05): 0
* [misc]none:  (6.853656747763464e-298 1.5907488733120222e-68): 0
* [misc]none:  (4.242186305736945e+277 7.288958178428041e-256): 0
* [misc]none:  (1.6579472731822137e+209 7.148125858281279e-128): 0
* [misc]none:  (5.3297020297971135e-251 4.360233270161975e+69): 0
* [misc]none:  (6.186245288104366e-177 4.0009214940503626e-296): 0
* [misc]none:  (3.7946864491882027e-174 7.967379897939584e-266): 0
* [misc]none:  (5.338353252944482e+295 2.475773952907049e-271): 0
* [misc]none:  (5.261531518469373e-290 2.555657911489638e+100): 0
* [misc]none:  (1.0367654190214238e+155 7.510167254913154e-75): 0
* [misc]none:  (1.268161462925599e-223 1.8558602765266175e+154): 0
* [misc]none:  (8.010626774664954e-118 3.197294045188449e-213): 0
* [misc]none:  (1.2309532522175715e-227 5.849070875002102e-168): 0
* [misc]none:  (1.8304705420573128e+300 5.162437418074754e-216): 0
* [misc]none:  (4.3906960513010925e-288 9.735553079850294e-195): 0
* [misc]none:  (2.617385806499904e-208 6.454193966659965e-12): 0
* [misc]none:  (6.352964037059704e-48 2.0675888684205106e-37): 0
* [misc]none:  (1.434478809327731e-162 1.7673263201240207e+200): 0
* [misc]none:  (3.851639943546658e-220 7.262940842293714e+141): 0
* [misc]none:  (1175954691713314.2 1.6505576250215693e+254): 0
* [misc]none:  (2.1262474173228004e+275 2.0609285567281652e-241): 0
* [misc]none:  (1.9640202737101926e+158 4.0355590295024944e+30): 0
* [misc]none:  (2.486727752761897e+186 6.1692613790114145e-176): 0
* [misc]none:  (3.795139234164696e-109 9.806701774277626e-103): 0
* [misc]none:  (2.1157410136365666e+27 1.7344997138936077e-42): 0
* [misc]none:  (3.0173777232564683e+257 1.4365336082533024e-65): 0
* [misc]none:  (2.1939039916199917e-151 6.704445560737266e-185): 0
* [misc]none:  (1945731255459.47 3.4149900413992998e-118): 0
* [misc]none:  (2.0407374713985817e-67 6.798712177335776e+112): 0
* [misc]none:  (1.625924245506842e+101 3.6974324674576528e-196): 0
* [misc]none:  (1.3349160645071676e+249 2.931040211928409e-256): 0
* [misc]none:  (9.818158704343799e+98 1.0173157545581e-152): 0
* [misc]none:  (1.37725435443438e-133 2.7744697188841963e+109): 0
* [misc]none:  (1.0835466360416472e+257 2.2433259629035416e-110): 0
* [misc]none:  (2.9372247799245325e+93 3.280888101399023e-178): 0
* [misc]none:  (2.4645417753990825e-46 1.1531681692158285e+126): 0
* [misc]none:  (2.8621091346925045e-294 1.532108192832722e+128): 0
* [misc]none:  (1.2420866124564814e-293 6.3461851602547e-177): 0
* [misc]none:  (2.01314860958205e-179 4.1821161712206335e+98): 0
* [misc]none:  (1.740072246435861e-207 1.3636559368742825e-149): 0
* [misc]none:  (1.946944651699716e-139 6.333153678225876e-68): 0
* [misc]none:  (8.70336562916574e-216 7.84549397492709e+169): 0
* [misc]none:  (6.330170018440137e-77 6.04623429007003e-242): 0
* [misc]none:  (2.3080855823624493e-299 4.50326449267665e+246): 0
* [misc]none:  (1.0100264902476595e-152 6.2370208452565505e-251): 0
* [misc]none:  (0.002518103001908201 2.819308104709626e+146): 0
* [misc]none:  (4.19388438569828e-183 3.636662419716013e-100): 0
* [misc]none:  All alt indexes
* [misc]none:  (λ (a b) (* a b)): 0
* [misc]none:  Best alt per point
* [misc]none:  (1.048151880557531e-99 8.951548511660437e+82): 0
* [misc]none:  (2.1501333373436194e-13 2.3749769913787073e+138): 0
* [misc]none:  (4.213048508546599e-178 9.867184629677251e+277): 0
* [misc]none:  (2.224165561485261e+37 3.1444294812307706e-20): 0
* [misc]none:  (3.367959846216914e+49 7.361053383215893e-48): 0
* [misc]none:  (3.7319651198431935e-112 2.6162260071326735e+122): 0
* [misc]none:  (3.911253144021059e-37 4.2992902330261985e-14): 0
* [misc]none:  (2.330493073693622e-81 5.988090947952116e+260): 0
* [misc]none:  (2.557633984455684e-236 1.7871658499983865e+111): 0
* [misc]none:  (1.0520619161716975e+229 1.6908635951112435e-152): 0
* [misc]none:  (2.3713704883904957e+25 2.7539088005800003e-201): 0
* [misc]none:  (2.28249348384851e+92 1.2080721381142647e-295): 0
* [misc]none:  (6.519305542840066e-238 1.4209750521719234e+167): 0
* [misc]none:  (5.092016746590215e+18 5.258570611990399e+144): 0
* [misc]none:  (8.209474020100443e-75 2.310883431864556e-193): 0
* [misc]none:  (6.712074699607702e+52 5.121650855447619e-174): 0
* [misc]none:  (2.4392121410472106e-273 7.836522530769743e+59): 0
* [misc]none:  (2.78106913943276e-77 1.1548749713964373e-92): 0
* [misc]none:  (1.9839532685168286e-292 7.3223398651315395e-109): 0
* [misc]none:  (8.488844594771612e-127 2.451558198341499e+117): 0
* [misc]none:  (5.66924427203651e-301 2.5461878029353985e-238): 0
* [misc]none:  (9.172918591990658e-289 7.928641158600483e+228): 0
* [misc]none:  (2.1464662177145466e+17 2.6013174066034746e-86): 0
* [misc]none:  (1.2761712447707195e-230 4.539213874088481e-240): 0
* [misc]none:  (5.403613002727931e-172 1.6647025455145767e-98): 0
* [misc]none:  (2.522160538376606e+202 1.0280703461504184e-149): 0
* [misc]none:  (8.116538701041032e-246 7.045701647143625e+294): 0
* [misc]none:  (7.496050392254423e-292 2.3504027171160204e-302): 0
* [misc]none:  (1.8060877419691232e-65 2.86323673488602e-51): 0
* [misc]none:  (1.0970228149908303e-276 7.967769961742838e+186): 0
* [misc]none:  (1.2527851748452608e-242 1.0103123302158147e+112): 0
* [misc]none:  (222693309.28876954 2.0187517395999946e+158): 0
* [misc]none:  (9.591660642944613e+137 3.3369284991339127e-224): 0
* [misc]none:  (2.1626561181515632e-29 6.562952916996993e-49): 0
* [misc]none:  (8.953439122670022e+139 3.484170905984973e-54): 0
* [misc]none:  (3.1723784288762247e-174 1.806578923933048e-16): 0
* [misc]none:  (8.166157300605409e+125 1.9670730000252552e-56): 0
* [misc]none:  (1.5368130424239484e-258 1.0793824307213477e-07): 0
* [misc]none:  (1.4626644606135493e-149 2.3190166729712657e-212): 0
* [misc]none:  (4.3549030909845e-39 9.058284202735603e+73): 0
* [misc]none:  (5.106646808433796e+86 8.735061981539538e+170): 0
* [misc]none:  (1.564790385822221e-165 1.7767473862163164e-162): 0
* [misc]none:  (2.8348491098312174e-254 6.6339423793219325e-102): 0
* [misc]none:  (2.996380932857899e-247 5.2969281687650636e-235): 0
* [misc]none:  (3.0481284804604865e-20 5.305987748866128e+56): 0
* [misc]none:  (1.3456211831302422e+205 1.958667951410614e+85): 0
* [misc]none:  (1.4648264101470588e+44 6.844241230211939e+198): 0
* [misc]none:  (2.4013812965708594e+221 7.909441760020457e+74): 0
* [misc]none:  (2.5583314633633054e-07 1.699201102491909e+300): 0
* [misc]none:  (1.5042239853613876e-302 9.360780180304737e+153): 0
* [misc]none:  (8.616872328504591e-169 2.705259708711105e-42): 0
* [misc]none:  (1.6795280764094681e+192 2.6457818831137444e+63): 0
* [misc]none:  (2.295309343983191e-140 5.571074723663966e-15): 0
* [misc]none:  (1.1191451223002718e-275 3.251721996184718e+286): 0
* [misc]none:  (4.1049298747354824e-124 9.30992191853363e-100): 0
* [misc]none:  (1.3462923322550312e-190 2.328447698134118e+189): 0
* [misc]none:  (2.368352485459566e+39 1.0988839423010741e-286): 0
* [misc]none:  (7.554094213581318e+16 6.673379439711181e+25): 0
* [misc]none:  (7.280335202877669e-115 1.6768950904431826e+102): 0
* [misc]none:  (4.529440858240378e+294 2.583327681649875e-261): 0
* [misc]none:  (1.9362754336056668e-19 5.679263394742271e+256): 0
* [misc]none:  (3.0253434819547994e-130 3.6409363071987465e-75): 0
* [misc]none:  (1.2690678880884403e+121 2.995255399223168e-44): 0
* [misc]none:  (3.1842688099779434e+282 2.121453893840239e-73): 0
* [misc]none:  (4.1951449290256854e+45 5.0406892425502396e-278): 0
* [misc]none:  (4.682324321688492e+141 1.0013435104816513e-148): 0
* [misc]none:  (3.0168077888297824e+199 0.5207355780050335): 0
* [misc]none:  (5.874264554511968e-241 7.777369870756089e+288): 0
* [misc]none:  (5.024239923590871e+30 1.1704964689625606e-234): 0
* [misc]none:  (1.2145307310987688e+53 5.583944643852132e+89): 0
* [misc]none:  (5.711989658365824e+301 7.513898248131515e-150): 0
* [misc]none:  (2.041223424808249e-42 1.362884765799566e-303): 0
* [misc]none:  (8.440415420585242e-92 9.220745428022288e+195): 0
* [misc]none:  (4.1279960042607096e+281 3.374373279849012e-49): 0
* [misc]none:  (1.365866729789634e-307 9.286156373985902e-88): 0
* [misc]none:  (3.211398184668492e-192 2.1347689875595306e-40): 0
* [misc]none:  (8.686774893956251e+136 2.0955268519899525e-66): 0
* [misc]none:  (1.1394838009111992e+220 7.59858056403799e-129): 0
* [misc]none:  (1.3857331325076435e+202 5.288521587300689e+29): 0
* [misc]none:  (1.6628636236275568e-296 4.757518029573035e+252): 0
* [misc]none:  (2.9761497868954784e-39 1.6756011214932844e-91): 0
* [misc]none:  (2.612957321892208e-110 4.200822444585618e-162): 0
* [misc]none:  (3.251454580304373e+139 4.777889141284364e+83): 0
* [misc]none:  (1.0923881709474209e+51 1.8896483389624e+34): 0
* [misc]none:  (5.880149463902669e+124 1.4997740794202146e+89): 0
* [misc]none:  (5.739738979848659e+159 6.069335536820963e+112): 0
* [misc]none:  (2.668200560995134e+141 5868492185482.0): 0
* [misc]none:  (2.902086571706488e-217 2.5864065767257367e-271): 0
* [misc]none:  (1.9066255871185694e+200 2.3371543030897222e-272): 0
* [misc]none:  (6.305963274550554e+88 8.926686896499391e-274): 0
* [misc]none:  (1.0686953716288921e-106 3.2100426925050856e+55): 0
* [misc]none:  (6.35904405510037e-151 7.287281531672938e+293): 0
* [misc]none:  (9.895542230147696e-88 1.5045728740077166e-60): 0
* [misc]none:  (2.273895671040397e+177 7.014521935885756e-259): 0
* [misc]none:  (1.2554435920159059e-27 1.0538832672087031e-173): 0
* [misc]none:  (3.1115404537443894e-59 8.17192685258831e+64): 0
* [misc]none:  (1.2107516482790591e+259 6.871500510125508e-27): 0
* [misc]none:  (5.934841160279732e-35 2.5542557129168353e-93): 0
* [misc]none:  (7.5588470985503e+294 1160861888.6226072): 0
* [misc]none:  (5.999648572227743e+297 5.729793402982751e-23): 0
* [misc]none:  (3.4661781947574473e-174 1.0749556482282616e+190): 0
* [misc]none:  (1.3022362512891203e+301 1.6138559527458008e-129): 0
* [misc]none:  (9.59713490648927e-79 2.5679653914894944e+44): 0
* [misc]none:  (2.006607317631719e-226 9.725570899664205e+257): 0
* [misc]none:  (1.8714595161099368e+273 2.4654525054106353e-86): 0
* [misc]none:  (5.2293282914369684e-111 2.6414869373061873e+100): 0
* [misc]none:  (9.220860892290228e-307 8.217214386486567e-257): 0
* [misc]none:  (2.114140784433744e-89 2.821244759184305e-36): 0
* [misc]none:  (6.408990163581508e-210 2.825265970836839e-258): 0
* [misc]none:  (4.0964711002207995e-212 1.580207677915082e+191): 0
* [misc]none:  (9.45646148733341e-285 1.0677575561217358e+17): 0
* [misc]none:  (1.752981132145179e-167 8.580882316865485e-06): 0
* [misc]none:  (2.4182108745295748e+266 5.839927163927348e-155): 0
* [misc]none:  (3.7685655423308335e+27 1.0360166378839602e+118): 0
* [misc]none:  (4.35198762746262e-10 1.7940104434235838e-79): 0
* [misc]none:  (5.984046261163795e-137 3.821394955430366e-65): 0
* [misc]none:  (7.719189018575495e+71 1.0375909582941405e+176): 0
* [misc]none:  (5.446873598073321e+162 1.4663998973627134e-238): 0
* [misc]none:  (1.5351760868919323e-228 2.492291349381809e-19): 0
* [misc]none:  (1.401429077322298e+92 1.3428446636792012e+166): 0
* [misc]none:  (1.155828041799478e-25 2.2000645515690375e-50): 0
* [misc]none:  (7.853946340424084e-31 1.8106066438142385e-303): 0
* [misc]none:  (2.1686768163733876e+244 7.909461243111343e-265): 0
* [misc]none:  (1.8323343381992287e+31 7.281253129953981e-60): 0
* [misc]none:  (3.394681810845419e-236 1.554709736029433e-73): 0
* [misc]none:  (6.367279917071204e-222 1.8221811659480027e-121): 0
* [misc]none:  (1.912144754577731e+73 1.073014222071994e-89): 0
* [misc]none:  (3.7433866315495255e-100 0.004023320988111097): 0
* [misc]none:  (2.3798809592642995e-28 3.3704692725079323e+257): 0
* [misc]none:  (2.3997350978047626e-178 4.600519571474852e-88): 0
* [misc]none:  (6.003719732958235e+79 1.2107176049983248e-107): 0
* [misc]none:  (5.868986403494096e+94 4.127190428838376e-43): 0
* [misc]none:  (1.2488745877147871e+61 3.1781720316164787e-22): 0
* [misc]none:  (70.44620346295014 1.2206180904045364e-180): 0
* [misc]none:  (1.1839577582963604e+116 9.674006994299565e-83): 0
* [misc]none:  (1.513923077673974e+123 3.690253807384945e-279): 0
* [misc]none:  (1.007308686287199e+219 2.8128021055302423e+21): 0
* [misc]none:  (2.6026167233480505e-297 6.339802259097543e-308): 0
* [misc]none:  (49928.85984149186 4.608201714407897e+250): 0
* [misc]none:  (1.4618822012959264e-282 5.065009120000935e+239): 0
* [misc]none:  (7.407501352069606e+197 8.584915269696552e-75): 0
* [misc]none:  (5.867229113210459e-205 1.5847754196219073e-22): 0
* [misc]none:  (3.0661019233819544e+189 102931726085670.36): 0
* [misc]none:  (1.4133523127641337e+63 9.790781234731489e-232): 0
* [misc]none:  (3.7193291857424636e+191 6.193273592367267e-43): 0
* [misc]none:  (2.520431926876746e+89 5.378306808996145e+66): 0
* [misc]none:  (1.5637448761597387e-220 9.279685355440257e+94): 0
* [misc]none:  (6.290509665714031e+264 3.9437442578940275e-28): 0
* [misc]none:  (1.5055992946807036e+100 3.7706992444410506e+70): 0
* [misc]none:  (2.888498031591123e-80 1.0913092803094753e+57): 0
* [misc]none:  (5.989718852076057e-22 1.5075048890969188e+274): 0
* [misc]none:  (7.359906380350718e-191 1.3040864443249938e-110): 0
* [misc]none:  (1.821753799857952e-142 5.2458139891945694e+154): 0
* [misc]none:  (1.0605849328606976e+17 4.635074616884763e+136): 0
* [misc]none:  (5.3783857635125407e+135 3.442751886867014e-55): 0
* [misc]none:  (2.3644283305363024e-83 3.9340975132726664e+287): 0
* [misc]none:  (5.2425466679918264e-219 1.0547624812292463e-145): 0
* [misc]none:  (7.108611529458249e-125 9.447848277803998e-214): 0
* [misc]none:  (3.319487012053256e-266 4.217054502906045e+236): 0
* [misc]none:  (6.980732986025448e-303 4.2936456292039216e-20): 0
* [misc]none:  (2.984404923140836e-249 5.437516292888218e-268): 0
* [misc]none:  (5.520248382898629e-230 6.71342285975285e-63): 0
* [misc]none:  (267950632.53292695 5.624641690736252e-214): 0
* [misc]none:  (8.322805913504859e+214 3.2616756987284277e-94): 0
* [misc]none:  (1.2017614084255727e-118 2.163051204570009e+135): 0
* [misc]none:  (1.2439278636891217e+233 1.1524614864139226e-160): 0
* [misc]none:  (1.5181493189729785e-210 2.5055367778394023e+168): 0
* [misc]none:  (161620833577619.34 2.9543484210487e+68): 0
* [misc]none:  (2.237363577109642e+74 1.6588937679962464e-112): 0
* [misc]none:  (1.1908969294818754e-266 3.099784283699168e-174): 0
* [misc]none:  (1.0167208681953543e+192 1.5933622570633916e-225): 0
* [misc]none:  (3.4204094411255474e+115 31.114677989939693): 0
* [misc]none:  (1.341667886706771e+115 3.8005266578165216e-258): 0
* [misc]none:  (2.2335992870926316e-153 1.4503417141831182e+51): 0
* [misc]none:  (2.0547294018965633e+61 7.852155885222424e-118): 0
* [misc]none:  (9.03697438609635e-254 5.834916983599053e-288): 0
* [misc]none:  (1.4410801258605738e+62 106537.6777769988): 0
* [misc]none:  (3.456521015844278e-267 5.548340076310199e-111): 0
* [misc]none:  (2.0491433117473444e+251 2.1868710093441635e-94): 0
* [misc]none:  (4.626894916535224e-128 1.114170127871121e+259): 0
* [misc]none:  (1.011727234239232e-268 5.76823955439101e-249): 0
* [misc]none:  (4.254787401710164e+249 1.376461838305041e-44): 0
* [misc]none:  (1.1351952620028756e+104 4.887341950722903e-119): 0
* [misc]none:  (1.8443037336290407e+119 1.235570583257771e-07): 0
* [misc]none:  (7.39364828803394e+144 9.572757352600472e-80): 0
* [misc]none:  (3.406045760877835e+88 7.154697731325867e-18): 0
* [misc]none:  (1.1827257715119543e+133 1133703838877282.8): 0
* [misc]none:  (3.531223172330985e-199 5.561790722198777e-82): 0
* [misc]none:  (1.5966125201184553e-193 73.24749757442865): 0
* [misc]none:  (4.28037460898893e-247 8.951357133421397e+261): 0
* [misc]none:  (70490605213811.38 8.958328541865542e+26): 0
* [misc]none:  (9.102084975803701e-73 1.1092121347572184e-110): 0
* [misc]none:  (8.610622976594321e+98 9.358095360187489e+178): 0
* [misc]none:  (2.3662552894590427e-129 1.3750964240067652e+187): 0
* [misc]none:  (4.619477991826317e-18 1.0680543533285456e+278): 0
* [misc]none:  (7.914089445148217e+49 0.0024670924539331026): 0
* [misc]none:  (1.5921941583015596e+291 3.831267307473466e-298): 0
* [misc]none:  (1.8269212298308998e+214 1789977963981.046): 0
* [misc]none:  (3.928924306566786e-70 5.222760300460367e-180): 0
* [misc]none:  (1.0495684746531957e+167 2.721003254105153e-81): 0
* [misc]none:  (8.781920275794267e+61 3.5618749791650757e+87): 0
* [misc]none:  (4.9372470656494625e-201 1.4446355009900792e+23): 0
* [misc]none:  (1.5052438492777668e+214 1.5460201380138582e-108): 0
* [misc]none:  (6.354924490516637e-174 1.1935837539207151e+36): 0
* [misc]none:  (1.5484790382727637e+258 2.2758369496030736e+44): 0
* [misc]none:  (2.7646272679971947e+138 1.8029164814151534e-305): 0
* [misc]none:  (2.0737883409435182e-60 8.938208620266642e-81): 0
* [misc]none:  (8.149794087375897e+77 1.4399038101240658e-157): 0
* [misc]none:  (5.334416108525731e+103 8.243928876632343e+120): 0
* [misc]none:  (5.535572593369702e+234 1.1281253812481777e-05): 0
* [misc]none:  (6.853656747763464e-298 1.5907488733120222e-68): 0
* [misc]none:  (4.242186305736945e+277 7.288958178428041e-256): 0
* [misc]none:  (1.6579472731822137e+209 7.148125858281279e-128): 0
* [misc]none:  (5.3297020297971135e-251 4.360233270161975e+69): 0
* [misc]none:  (6.186245288104366e-177 4.0009214940503626e-296): 0
* [misc]none:  (3.7946864491882027e-174 7.967379897939584e-266): 0
* [misc]none:  (5.338353252944482e+295 2.475773952907049e-271): 0
* [misc]none:  (5.261531518469373e-290 2.555657911489638e+100): 0
* [misc]none:  (1.0367654190214238e+155 7.510167254913154e-75): 0
* [misc]none:  (1.268161462925599e-223 1.8558602765266175e+154): 0
* [misc]none:  (8.010626774664954e-118 3.197294045188449e-213): 0
* [misc]none:  (1.2309532522175715e-227 5.849070875002102e-168): 0
* [misc]none:  (1.8304705420573128e+300 5.162437418074754e-216): 0
* [misc]none:  (4.3906960513010925e-288 9.735553079850294e-195): 0
* [misc]none:  (2.617385806499904e-208 6.454193966659965e-12): 0
* [misc]none:  (6.352964037059704e-48 2.0675888684205106e-37): 0
* [misc]none:  (1.434478809327731e-162 1.7673263201240207e+200): 0
* [misc]none:  (3.851639943546658e-220 7.262940842293714e+141): 0
* [misc]none:  (1175954691713314.2 1.6505576250215693e+254): 0
* [misc]none:  (2.1262474173228004e+275 2.0609285567281652e-241): 0
* [misc]none:  (1.9640202737101926e+158 4.0355590295024944e+30): 0
* [misc]none:  (2.486727752761897e+186 6.1692613790114145e-176): 0
* [misc]none:  (3.795139234164696e-109 9.806701774277626e-103): 0
* [misc]none:  (2.1157410136365666e+27 1.7344997138936077e-42): 0
* [misc]none:  (3.0173777232564683e+257 1.4365336082533024e-65): 0
* [misc]none:  (2.1939039916199917e-151 6.704445560737266e-185): 0
* [misc]none:  (1945731255459.47 3.4149900413992998e-118): 0
* [misc]none:  (2.0407374713985817e-67 6.798712177335776e+112): 0
* [misc]none:  (1.625924245506842e+101 3.6974324674576528e-196): 0
* [misc]none:  (1.3349160645071676e+249 2.931040211928409e-256): 0
* [misc]none:  (9.818158704343799e+98 1.0173157545581e-152): 0
* [misc]none:  (1.37725435443438e-133 2.7744697188841963e+109): 0
* [misc]none:  (1.0835466360416472e+257 2.2433259629035416e-110): 0
* [misc]none:  (2.9372247799245325e+93 3.280888101399023e-178): 0
* [misc]none:  (2.4645417753990825e-46 1.1531681692158285e+126): 0
* [misc]none:  (2.8621091346925045e-294 1.532108192832722e+128): 0
* [misc]none:  (1.2420866124564814e-293 6.3461851602547e-177): 0
* [misc]none:  (2.01314860958205e-179 4.1821161712206335e+98): 0
* [misc]none:  (1.740072246435861e-207 1.3636559368742825e-149): 0
* [misc]none:  (1.946944651699716e-139 6.333153678225876e-68): 0
* [misc]none:  (8.70336562916574e-216 7.84549397492709e+169): 0
* [misc]none:  (6.330170018440137e-77 6.04623429007003e-242): 0
* [misc]none:  (2.3080855823624493e-299 4.50326449267665e+246): 0
* [misc]none:  (1.0100264902476595e-152 6.2370208452565505e-251): 0
* [misc]none:  (0.002518103001908201 2.819308104709626e+146): 0
* [misc]none:  (4.19388438569828e-183 3.636662419716013e-100): 0
* [misc]none:  Picked alt (λ (a b) (* a b))
* * * * [misc]pick:  Picked  #<alt-delta (λ (a b) (* a b))>
* * * [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 6271 additional inputs, on iter 1 have 1729 / 8000
* * * * [misc]points:  Computing exacts on every 391 of 6271 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 195 of 6271 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 97 of 6271 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 48 of 6271 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 6271 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 6271 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 6271 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 6271 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 6271 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 4920 additional inputs, on iter 2 have 3080 / 8000
* * * * [misc]points:  Computing exacts on every 307 of 4920 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 4920 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 4920 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 4920 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 4920 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 4920 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 4920 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 4920 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 4920 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 3908 additional inputs, on iter 3 have 4092 / 8000
* * * * [misc]points:  Computing exacts on every 244 of 3908 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 122 of 3908 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 61 of 3908 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 30 of 3908 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 3908 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 3908 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 3908 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 3908 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 3072 additional inputs, on iter 4 have 4928 / 8000
* * * * [misc]points:  Computing exacts on every 192 of 3072 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 96 of 3072 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 48 of 3072 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 3072 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 3072 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 3072 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 3072 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 3072 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 2420 additional inputs, on iter 5 have 5580 / 8000
* * * * [misc]points:  Computing exacts on every 151 of 2420 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 75 of 2420 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 37 of 2420 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 2420 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 2420 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 2420 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 2420 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 2420 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 1906 additional inputs, on iter 6 have 6094 / 8000
* * * * [misc]points:  Computing exacts on every 119 of 1906 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 1906 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 1906 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 1906 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 1906 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 1906 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 1906 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 1475 additional inputs, on iter 7 have 6525 / 8000
* * * * [misc]points:  Computing exacts on every 92 of 1475 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 1475 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 1475 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 1475 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 1475 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 1475 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 1475 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 1145 additional inputs, on iter 8 have 6855 / 8000
* * * * [misc]points:  Computing exacts on every 71 of 1145 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 35 of 1145 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 1145 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 1145 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 1145 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 1145 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 1145 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 906 additional inputs, on iter 9 have 7094 / 8000
* * * * [misc]points:  Computing exacts on every 56 of 906 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 906 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 906 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 906 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 906 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 906 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 712 additional inputs, on iter 10 have 7288 / 8000
* * * * [misc]points:  Computing exacts on every 44 of 712 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 22 of 712 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 712 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 712 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 712 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 712 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 584 additional inputs, on iter 11 have 7416 / 8000
* * * * [misc]points:  Computing exacts on every 36 of 584 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 584 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 584 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 584 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 584 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 584 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 445 additional inputs, on iter 12 have 7555 / 8000
* * * * [misc]points:  Computing exacts on every 27 of 445 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 445 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 445 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 445 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 445 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 348 additional inputs, on iter 13 have 7652 / 8000
* * * * [misc]points:  Computing exacts on every 21 of 348 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 348 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 348 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 348 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 348 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 276 additional inputs, on iter 14 have 7724 / 8000
* * * * [misc]points:  Computing exacts on every 17 of 276 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 276 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 276 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 276 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 276 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 213 additional inputs, on iter 15 have 7787 / 8000
* * * * [misc]points:  Computing exacts on every 13 of 213 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 213 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 213 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 213 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 171 additional inputs, on iter 16 have 7829 / 8000
* * * * [misc]points:  Computing exacts on every 10 of 171 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 171 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 171 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 171 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 141 additional inputs, on iter 17 have 7859 / 8000
* * * * [misc]points:  Computing exacts on every 8 of 141 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 141 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 141 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 141 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 103 additional inputs, on iter 18 have 7897 / 8000
* * * * [misc]points:  Computing exacts on every 6 of 103 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 103 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 103 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 84 additional inputs, on iter 19 have 7916 / 8000
* * * * [misc]points:  Computing exacts on every 5 of 84 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 84 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 84 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 56 additional inputs, on iter 20 have 7944 / 8000
* * * * [misc]points:  Computing exacts on every 3 of 56 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 56 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 43 additional inputs, on iter 21 have 7957 / 8000
* * * * [misc]points:  Computing exacts on every 2 of 43 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 43 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 33 additional inputs, on iter 22 have 7967 / 8000
* * * * [misc]points:  Computing exacts on every 2 of 33 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 33 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 21 additional inputs, on iter 23 have 7979 / 8000
* * * * [misc]points:  Computing exacts for 21 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 16 additional inputs, on iter 24 have 7984 / 8000
* * * * [misc]points:  Computing exacts for 16 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 14 additional inputs, on iter 25 have 7986 / 8000
* * * * [misc]points:  Computing exacts for 14 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 13 additional inputs, on iter 26 have 7987 / 8000
* * * * [misc]points:  Computing exacts for 13 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 10 additional inputs, on iter 27 have 7990 / 8000
* * * * [misc]points:  Computing exacts for 10 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 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 31 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 32 have 7997 / 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 33 have 7997 / 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 34 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
* * * * [misc]points:  Sampling 4 additional inputs, on iter 35 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
* * * * [misc]points:  Sampling 4 additional inputs, on iter 36 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
* * * * [misc]points:  Sampling 4 additional inputs, on iter 37 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
* * * * [misc]points:  Sampling 4 additional inputs, on iter 38 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
* * * * [misc]points:  Sampling 4 additional inputs, on iter 39 have 7999 / 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