* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
* * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  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 191 additional inputs, on iter 1 have 65 / 256
* * * * [misc]points:  Computing exacts on every 11 of 191 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 191 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 191 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 191 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 152 additional inputs, on iter 2 have 104 / 256
* * * * [misc]points:  Computing exacts on every 9 of 152 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 152 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 152 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 152 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 126 additional inputs, on iter 3 have 130 / 256
* * * * [misc]points:  Computing exacts on every 7 of 126 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 126 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 126 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 96 additional inputs, on iter 4 have 160 / 256
* * * * [misc]points:  Computing exacts on every 6 of 96 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 96 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 96 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 74 additional inputs, on iter 5 have 182 / 256
* * * * [misc]points:  Computing exacts on every 4 of 74 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 74 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 74 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 61 additional inputs, on iter 6 have 195 / 256
* * * * [misc]points:  Computing exacts on every 3 of 61 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 61 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 39 additional inputs, on iter 8 have 217 / 256
* * * * [misc]points:  Computing exacts on every 2 of 39 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 39 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 28 additional inputs, on iter 9 have 228 / 256
* * * * [misc]points:  Computing exacts for 28 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 20 additional inputs, on iter 10 have 236 / 256
* * * * [misc]points:  Computing exacts for 20 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 11 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 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 9 additional inputs, on iter 13 have 247 / 256
* * * * [misc]points:  Computing exacts for 9 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 5 additional inputs, on iter 15 have 251 / 256
* * * * [misc]points:  Computing exacts for 5 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 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 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
* * * * [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
* * * * [misc]points:  Sampling 4 additional inputs, on iter 21 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
* [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:  (8.226540875316075e-282 2.9295012263119104e-210): 0
* [misc]none:  (1.1567434189356451e+31 5.033252764508812e+139): 0
* [misc]none:  (8.0762754355927e-102 3.924619293995995e+294): 0
* [misc]none:  (447763452.6331696 1.6628959869960912e-178): 0
* [misc]none:  (7.374934384259559e+247 11809.004489533036): 0
* [misc]none:  (3.6837517387134946e+28 2.050724237210542e+237): 0
* [misc]none:  (3.5398920819374162e-22 9.097313058752706e+182): 0
* [misc]none:  (1.724441305022448e-204 1.0270093728501316e+208): 0
* [misc]none:  (1.6991537131626808e-286 2.269053283659137e+97): 0
* [misc]none:  (9.981425531265531e-234 1.5954750517027446e-306): 0
* [misc]none:  (1.8851052094553197e-277 9.953566511035923e-308): 0
* [misc]none:  (2.984618116231375e+88 2.296813947529187e+143): 0
* [misc]none:  (55126108376913.92 1.4270114976186918e+130): 0
* [misc]none:  (2.1677429926485946e-242 1.7597566772342396e-204): 0
* [misc]none:  (5.672231019728725e-161 4.978844845564056e+84): 0
* [misc]none:  (1.061192968818359e-298 3.4390539626492262e-136): 0
* [misc]none:  (6.162344767386832e-71 7.346570549506355e+179): 0
* [misc]none:  (1.7754717488663857e+121 3.494659494474523e+27): 0
* [misc]none:  (1.355389858139596e-211 5.3134050984497146e-45): 0
* [misc]none:  (1.7558002847649968e-150 2.8327022791344117e+186): 0
* [misc]none:  (4.6980977712330206e+287 6.630533766271895e-11): 0
* [misc]none:  (5.141713922465631e+255 5.469890187179831e+40): 0
* [misc]none:  (1.8526578386426445e-175 2.8275326066295656e+288): 0
* [misc]none:  (2.3857467758299983e-165 2.359532888074915e-308): 0
* [misc]none:  (8.235700225915165e+306 2.4404853902934153e-26): 0
* [misc]none:  (5.69357845447944e-284 4.6895957006840323e-293): 0
* [misc]none:  (2.1402493760044758e-237 7.018010476645137e+19): 0
* [misc]none:  (3.866067932485071e+134 65634290206.02169): 0
* [misc]none:  (3.353542833099014e-216 4.562538568139802e-253): 0
* [misc]none:  (2.648998082938836e-121 6.334062294691454e-67): 0
* [misc]none:  (4.293605985901814e-150 8.709273807481483e+69): 0
* [misc]none:  (22682.7836632231 2.3537180485323537e-164): 0
* [misc]none:  (7.932758618838293e-45 1.0062256135654257e-12): 0
* [misc]none:  (1.0135699554608461e-103 1.0001039793852175e+214): 0
* [misc]none:  (4.4505875876233544e-249 1.1235340410501106e+40): 0
* [misc]none:  (7.344373535448876e-228 2.204405021953709e+104): 0
* [misc]none:  (4.0855428097798646e-150 2.727229900429018e-249): 0
* [misc]none:  (6.298377803380903e-45 4.638301673824566e+198): 0
* [misc]none:  (1.5663895259426407e-227 6.068461153265776e+155): 0
* [misc]none:  (1.9502784809800982e-261 1.23965605071982e+102): 0
* [misc]none:  (3.180969719291543e+169 4.530713181908317e-299): 0
* [misc]none:  (7.890973219793982e-290 5.75019396725634e+90): 0
* [misc]none:  (3.461507194664208e-287 9.464306683916357e-205): 0
* [misc]none:  (6.80008622391683e+66 8.776884557521719e+128): 0
* [misc]none:  (2.4032932153833967e-307 1.0014468698414084e+182): 0
* [misc]none:  (1.1631529018053348e+89 2.354140414905433e+187): 0
* [misc]none:  (2.216720871752684e-160 3.1263904065616715e+268): 0
* [misc]none:  (5.57997653477477e-111 1.5363278110829953e+73): 0
* [misc]none:  (1.0611909380115695e-87 1.295915517178257e-293): 0
* [misc]none:  (1.5402336595825108e+148 3.078818813487799e-199): 0
* [misc]none:  (4.355922221873984e-239 9.031875737069326e-50): 0
* [misc]none:  (1.4122736515913267e+89 7.319559421493477e-170): 0
* [misc]none:  (5.335152348688887e+90 6.4886135160508705e+78): 0
* [misc]none:  (4.479940531531753e+77 2.569188313217193e+219): 0
* [misc]none:  (7.199360760804118e+153 1.939449439157158e+147): 0
* [misc]none:  (1.9704554468969366e-117 1.9049791632950265e+52): 0
* [misc]none:  (1.2488817056340531e-83 4.423913073109955e+231): 0
* [misc]none:  (7.551810594497609e+137 7.747271752238544e+41): 0
* [misc]none:  (1.1610731671704362e+118 1.0562046199089129e-259): 0
* [misc]none:  (3532359.12009671 2.649701137905713e+290): 0
* [misc]none:  (5.4448976709671744e+17 5.816578520527468): 0
* [misc]none:  (5.3503782715642e+191 1.1797732181257876e-301): 0
* [misc]none:  (7.395347580247437e-155 1.057029999564979e+266): 0
* [misc]none:  (3.708681723916961e-166 3.7225891139822097e-149): 0
* [misc]none:  (1.6708599571221622e+101 1.5123568663970914e-69): 0
* [misc]none:  (1.2375077238277152e+278 1.0707401671756225e+27): 0
* [misc]none:  (6.821630588440869e-72 1.4176223018107286e+298): 0
* [misc]none:  (2.0740720677887988e-269 5.879433969539391e+176): 0
* [misc]none:  (3.1886410612850345e+84 2.0682372586743675e-30): 0
* [misc]none:  (3.896120055573036e-95 3.736727437689099e+118): 0
* [misc]none:  (1.4518328695518523e+18 4.064487746142035e-133): 0
* [misc]none:  (1.9106253173901505e-99 9.727763832869165e-247): 0
* [misc]none:  (3.770567993098138e-237 1.8052434248121697e+137): 0
* [misc]none:  (36029958.03466817 3.553626019847652e-275): 0
* [misc]none:  (6.9138624756046875e-279 1.0801316959056566e+247): 0
* [misc]none:  (9.30882910260521e+146 2.4925158551302067e+89): 0
* [misc]none:  (1.424337059855989e+278 7.971044540414295e-262): 0
* [misc]none:  (1.1226946855603257e+134 1.0620872870410674e+116): 0
* [misc]none:  (4.409640884251011e-241 1.448439820344248e-284): 0
* [misc]none:  (9.153145296775212e-39 2.077022997927436e-139): 0
* [misc]none:  (4.254676546626023e+95 1.65437291935563e-224): 0
* [misc]none:  (1.1977021547617553e-151 2.695882145846339e-150): 0
* [misc]none:  (3.5962302077437896e+35 6.99336629999571e-198): 0
* [misc]none:  (2.1480238909927567e-157 1.7052657907640464e-150): 0
* [misc]none:  (2.9573507267394465e-308 4.1771154955437857e-262): 0
* [misc]none:  (1.3259671025625162e-199 1.4153430662334923e+25): 0
* [misc]none:  (3.325589840377961e-208 2.9296614910697027e+53): 0
* [misc]none:  (1.6725937914126467e+127 1.8922860343023528e+144): 0
* [misc]none:  (1.214930715019116e-178 2.6992897904644102e+119): 0
* [misc]none:  (1.952649965314685e+39 4.497525377633667e+75): 0
* [misc]none:  (1.3375485056693512e-111 7.13883396967432e-194): 0
* [misc]none:  (1.8621029182579468e-205 3.4802756915156133e+100): 0
* [misc]none:  (7.282010366928649e+24 5.258819734583376e-227): 0
* [misc]none:  (4.242743718877097e-153 6.253830639689608e+48): 0
* [misc]none:  (2.0347363225558612e+301 2.4178345298938147e-26): 0
* [misc]none:  (1.995816324009855e+290 1.6700481539387543e-105): 0
* [misc]none:  (1.1280342039397313e-68 1.9787651979095224e-233): 0
* [misc]none:  (9.119412205964577e-203 2.775843815614327e-95): 0
* [misc]none:  (7.329474245282433e-48 2.3322335175982515e-233): 0
* [misc]none:  (1.783093648240505e+91 1.0537694770045353e+112): 0
* [misc]none:  (1.1370819323594066e-237 3.4501574698600073e+277): 0
* [misc]none:  (5.762919464003385e+81 1.644080282901123e+165): 0
* [misc]none:  (6.758986332538649e+149 1.3974239729365153e-16): 0
* [misc]none:  (1.4754314640450108e+138 6.420193336082039e+47): 0
* [misc]none:  (4.068001539723228e-123 2.6370190625330334e+154): 0
* [misc]none:  (1.1434045325783696e-222 2.775602789549491e-17): 0
* [misc]none:  (5.358290489185327e-250 4.03836531268848e+246): 0
* [misc]none:  (1.2723035651957354e+181 4.7196419720111513e-54): 0
* [misc]none:  (1.3577803556509862e-104 2.6167414441853318e-297): 0
* [misc]none:  (5.197437093722413e-33 2.0595604121015856e-163): 0
* [misc]none:  (5.260070069412782e+231 2.358943896528866e-56): 0
* [misc]none:  (1.6333047232399472e-134 3.0502794353085185e+161): 0
* [misc]none:  (5.111842665639857e-111 1.1720271068664444e+161): 0
* [misc]none:  (2.0595328660748074e-67 3.1294254994459577e-155): 0
* [misc]none:  (3.4456967347035406e-76 1.9814153199736458e-72): 0
* [misc]none:  (8.518821522570516e-60 1.2001411983497562e+106): 0
* [misc]none:  (1.0766932564593144e+214 3.6840771048221476e-177): 0
* [misc]none:  (1.2782139603428013e+76 1.9655311829771366e-54): 0
* [misc]none:  (9.822572373265172e-201 2.558616615476855e-60): 0
* [misc]none:  (1.1074692942653551e+18 1.558500650765054e+146): 0
* [misc]none:  (1.145177576410237e+171 1.4011904103939995e-283): 0
* [misc]none:  (3.1707815722756366e-130 3.315674489111178e+91): 0
* [misc]none:  (2.1799976387849835e+86 7.28471948788428e-160): 0
* [misc]none:  (4.546382622074157e-108 3.8495114831696875e-48): 0
* [misc]none:  (5.484479181673147e+249 2.1044760848402955e-266): 0
* [misc]none:  (1448560715879084.8 2.8530891400108187e+124): 0
* [misc]none:  (7.93491287214267e+141 3.683021898958175e-92): 0
* [misc]none:  (1.1811948514526127e+88 3.4485202867414925e-305): 0
* [misc]none:  (8.767022152674493e+83 2.3199002928076114e-253): 0
* [misc]none:  (3.9615177849779133e-143 1.1510307484496886e-51): 0
* [misc]none:  (5.532920533179142e-152 7.554314233014913e+168): 0
* [misc]none:  (7.775944736851254e-206 7.437550583183719e+153): 0
* [misc]none:  (5.5950620368202944e-145 4.107096789321886e+47): 0
* [misc]none:  (2.9754862723359673e-209 2.5416139134760705e-289): 0
* [misc]none:  (5.516984935800077e+93 3.635166212473371e-300): 0
* [misc]none:  (3.5927665975113976e-239 4.614798558690456e-297): 0
* [misc]none:  (5.154003552710604e+27 4.3470242035285214e-217): 0
* [misc]none:  (2.668103807085715e+100 5.401731707229941e+72): 0
* [misc]none:  (3.891498638245715e-204 1.8093455138130522e+133): 0
* [misc]none:  (5.932902354540652e-124 2.9604954362664366e+289): 0
* [misc]none:  (4.758124933526874e+286 2.053616853702732e-224): 0
* [misc]none:  (3.0539888630764254e-239 9.953908495433605e+227): 0
* [misc]none:  (2.035229969651227e+29 4.438087084089409e-213): 0
* [misc]none:  (8.022526422249493e+53 2.2957130115067962e-51): 0
* [misc]none:  (2.0980661301565718e-60 1.9558316322795932e+229): 0
* [misc]none:  (1.0024360019170988e-151 7.5175772698725994e+230): 0
* [misc]none:  (1.8900938929376038e+24 1.8609002361575433e+134): 0
* [misc]none:  (977676608.5823224 5.197481462965428e-115): 0
* [misc]none:  (1.6992513309501048e-129 2.550558153214631e-264): 0
* [misc]none:  (5.7712783914778174e-266 1.5980511259599325e-21): 0
* [misc]none:  (5.000511719275987e+232 4.6861637135007536e-58): 0
* [misc]none:  (1.7764137706377376e-220 7.270223756267636e-257): 0
* [misc]none:  (3.4765225248477924e-220 5.73355053644598e+126): 0
* [misc]none:  (3.5836534998638334e-135 5.874263446950659e-136): 0
* [misc]none:  (4.2683437959500887e+158 1.389009890486587e-304): 0
* [misc]none:  (1.2407901696126049e+210 2605286283632.6167): 0
* [misc]none:  (7.304105671735325e-242 7.033032775041187e+285): 0
* [misc]none:  (6.81321242648181e-289 1.45222983614977e-105): 0
* [misc]none:  (1.5262661067350401e-10 7.753245307187778e+31): 0
* [misc]none:  (1.4426514360168247e-145 4.904168640083974e+160): 0
* [misc]none:  (4.509826605092434e+28 4.718938084187299e-44): 0
* [misc]none:  (9.058304574338499e+135 1.7364409891568008e-267): 0
* [misc]none:  (4.289887105348905e+148 4.739581624122418e-235): 0
* [misc]none:  (1.9096457596516137e+301 1.285043823429664e-88): 0
* [misc]none:  (5.105992271675965e-91 4.769518420383615e-198): 0
* [misc]none:  (6.798513332593515e-94 1.4806341275368096e-15): 0
* [misc]none:  (7.092462729213457e+106 9.166563210335683e-100): 0
* [misc]none:  (1.1844921910801158e+211 2.7685178515126097e-185): 0
* [misc]none:  (1.09010428308076e-124 6.739673456854575e+249): 0
* [misc]none:  (0.36218343358512595 1.1084878850555635e+104): 0
* [misc]none:  (5.412740199293554e+26 6.234082350070098e+32): 0
* [misc]none:  (19456252.47135729 2.2232805721846523e-265): 0
* [misc]none:  (6.4866276434875264e+44 3.175834271419552e+52): 0
* [misc]none:  (127453.31416225288 4.8458035413918555e-285): 0
* [misc]none:  (9.151015091612054e-197 1.6592153710205133e-269): 0
* [misc]none:  (6.922703552766224e-109 7.522858670517918e+259): 0
* [misc]none:  (1.5842409508887248e+187 1.8800714745176597e+114): 0
* [misc]none:  (1.1356710033134132e+95 2.2584006382909978e-83): 0
* [misc]none:  (1.5567451015893508e-50 3.408101142682615e-113): 0
* [misc]none:  (7.849335243654947e+144 4.656737006361128e-228): 0
* [misc]none:  (2.376066765979685e-112 1.1698610931102194e-130): 0
* [misc]none:  (4.4868661851147195e-129 4.732835307271031e+241): 0
* [misc]none:  (2.4110148371685504e-195 3.4901782791628877e+267): 0
* [misc]none:  (2.1992066214396153e+256 3.267420843732698e-278): 0
* [misc]none:  (9.254023538292273e-258 2.617971147092364e-76): 0
* [misc]none:  (2.931668337478436e+126 1.4018724764197611e+160): 0
* [misc]none:  (6.673139894543714e-272 2.389729719307196e-186): 0
* [misc]none:  (3.34193429381633e-274 6.07560242102484e+85): 0
* [misc]none:  (5.316440102938414e-63 24130443289213716.0): 0
* [misc]none:  (4.531918757740598e+290 5.9404411007612226e-148): 0
* [misc]none:  (1.52221681471073e+30 1.552064650669455e+142): 0
* [misc]none:  (5.946958643597572e-214 9.722495709355246e-119): 0
* [misc]none:  (4.116349531400419e+59 3.7023764599519414e+64): 0
* [misc]none:  (3.19314088639968e-300 7.10649025136688e+263): 0
* [misc]none:  (2.6209483109511002e-99 1.0152763243033748e+142): 0
* [misc]none:  (3.9436987604242746e-188 1.2987545615858837e-229): 0
* [misc]none:  (4.072041399031216e+135 3.886264623793198e+50): 0
* [misc]none:  (5.600091178152213e-210 7.360949206952843e-212): 0
* [misc]none:  (3.345926165056854e+246 2.924154450481512e-86): 0
* [misc]none:  (1.2265182674709907e+198 3.136601910786915e+46): 0
* [misc]none:  (4.1738948781395064e+263 4.319230432601922e-289): 0
* [misc]none:  (1.878611753272109e+229 6.0910080487156845e-145): 0
* [misc]none:  (11105828726598036.0 1.8641835944090122e-68): 0
* [misc]none:  (4.082771820413304e+20 2.9298628929536803e-07): 0
* [misc]none:  (2.296991649120878e+37 3.5701416837580245e+199): 0
* [misc]none:  (4.984374966308376e+225 1.882765755995834e+18): 0
* [misc]none:  (1.939469755263449e-274 2.0558821145728443e-244): 0
* [misc]none:  (7.118304679887613e-64 2.3966615634258388e-54): 0
* [misc]none:  (1.953450184014831e+240 1.9357477509582754e-93): 0
* [misc]none:  (3.703142739667792e+145 2.0217918620332625e-85): 0
* [misc]none:  (5.6334012743355e-180 2.2204044591450003e+49): 0
* [misc]none:  (1.6819327664275566e+227 2.7377399598585416e-269): 0
* [misc]none:  (1.2391428993123195e-53 3.206221419912265e+51): 0
* [misc]none:  (4.1941250065146804e+123 5.834035641946906e-257): 0
* [misc]none:  (1.2296515355157788e+308 2.467422452934927e-37): 0
* [misc]none:  (5.976566162781828e-262 4.0522267480412145e+189): 0
* [misc]none:  (161670548.36131597 1.2154965615643017e-95): 0
* [misc]none:  (3.335747506626598e+164 1.7054753386147003e-193): 0
* [misc]none:  (1.2926844442603449e-272 6.777020097920311e+216): 0
* [misc]none:  (3.7476721237841876e-281 4.811543151950025e-33): 0
* [misc]none:  (6.525431496731668e-64 1.0982823072397984e+136): 0
* [misc]none:  (2.704077310435608e-253 3.1639399211332326e+205): 0
* [misc]none:  (2.7511202385052856e-18 3.82956155404422e-299): 0
* [misc]none:  (4.296582624822391e-200 1.733700273392293e+77): 0
* [misc]none:  (6.683383915725252e-271 1.830961252259433e-59): 0
* [misc]none:  (4.068667347744151e-179 8.630725328355339e+266): 0
* [misc]none:  (2.5976261349663673e+194 4.713564345937309e+51): 0
* [misc]none:  (5.0806815187366375e+166 4.873854048773888e+106): 0
* [misc]none:  (3.003386221248247e-77 7.613990227232114e-101): 0
* [misc]none:  (5.515506992492392e-277 2.595646488837273e-219): 0
* [misc]none:  (3.108236652528406e-297 7.181266914182018e-165): 0
* [misc]none:  (7.707611608802171e+62 1.152518328416828e+180): 0
* [misc]none:  (4.5690448860660455e-67 1.2792918576789026e+83): 0
* [misc]none:  (3.934156464498665e-121 1.9851718582837827e+233): 0
* [misc]none:  (2797.2682494851097 5.51985688247549e+99): 0
* [misc]none:  (0.0005921945720183679 2.8115284450926948e-120): 0
* [misc]none:  (2.5144530485773557e+177 3.96896356073862e+48): 0
* [misc]none:  (2.9394468165964015e-257 1.5225460242504859e+106): 0
* [misc]none:  (3.271929098149761e-144 7.5398414005163625e+267): 0
* [misc]none:  (6.604350361119279e-291 3.861477555295976e-66): 0
* [misc]none:  (8.124998850854922e-91 2.0152844845402166e-297): 0
* [misc]none:  (8.604490187894414e-112 1.3704041407198253e+228): 0
* [misc]none:  (2.371904740187568e+215 4.1993878019740277e-286): 0
* [misc]none:  (9.292763926817302e+57 1.3228826725861251e-83): 0
* [misc]none:  (2.0115496002781107e-145 7.084575776306543e+174): 0
* [misc]none:  (6.470477944325298e+178 1.8862750447266752e-53): 0
* [misc]none:  (1310698.3491744497 3.0319757073152243e-73): 0
* [misc]none:  (8.096247824539422e+292 5.1841759100413795e-161): 0
* [misc]none:  (6.821311827045434e-30 2.8401584433220846e+96): 0
* [misc]none:  (2.6830861914889714e-191 5.086243151153881e+259): 0
* [misc]none:  (1.3062346782022677e+257 9.20482191500962e-294): 0
* [misc]none:  (1.4517955555700533e-57 3.278760905350017e+239): 0
* [misc]none:  (1.207285968110896e+80 4.013577168037153e-101): 0
* [misc]none:  (9.422179697047065e-164 1.3639040980897921e-39): 0
* [misc]none:  (2.8344220272269968e+166 1.5252878664938466e+85): 0
* [misc]none:  (1.9836536473017196e-256 6.844414014257645e+204): 0
* [misc]none:  All alt indexes
* [misc]none:  (λ (a b) (* a b)): 0
* [misc]none:  Best alt per point
* [misc]none:  (8.226540875316075e-282 2.9295012263119104e-210): 0
* [misc]none:  (1.1567434189356451e+31 5.033252764508812e+139): 0
* [misc]none:  (8.0762754355927e-102 3.924619293995995e+294): 0
* [misc]none:  (447763452.6331696 1.6628959869960912e-178): 0
* [misc]none:  (7.374934384259559e+247 11809.004489533036): 0
* [misc]none:  (3.6837517387134946e+28 2.050724237210542e+237): 0
* [misc]none:  (3.5398920819374162e-22 9.097313058752706e+182): 0
* [misc]none:  (1.724441305022448e-204 1.0270093728501316e+208): 0
* [misc]none:  (1.6991537131626808e-286 2.269053283659137e+97): 0
* [misc]none:  (9.981425531265531e-234 1.5954750517027446e-306): 0
* [misc]none:  (1.8851052094553197e-277 9.953566511035923e-308): 0
* [misc]none:  (2.984618116231375e+88 2.296813947529187e+143): 0
* [misc]none:  (55126108376913.92 1.4270114976186918e+130): 0
* [misc]none:  (2.1677429926485946e-242 1.7597566772342396e-204): 0
* [misc]none:  (5.672231019728725e-161 4.978844845564056e+84): 0
* [misc]none:  (1.061192968818359e-298 3.4390539626492262e-136): 0
* [misc]none:  (6.162344767386832e-71 7.346570549506355e+179): 0
* [misc]none:  (1.7754717488663857e+121 3.494659494474523e+27): 0
* [misc]none:  (1.355389858139596e-211 5.3134050984497146e-45): 0
* [misc]none:  (1.7558002847649968e-150 2.8327022791344117e+186): 0
* [misc]none:  (4.6980977712330206e+287 6.630533766271895e-11): 0
* [misc]none:  (5.141713922465631e+255 5.469890187179831e+40): 0
* [misc]none:  (1.8526578386426445e-175 2.8275326066295656e+288): 0
* [misc]none:  (2.3857467758299983e-165 2.359532888074915e-308): 0
* [misc]none:  (8.235700225915165e+306 2.4404853902934153e-26): 0
* [misc]none:  (5.69357845447944e-284 4.6895957006840323e-293): 0
* [misc]none:  (2.1402493760044758e-237 7.018010476645137e+19): 0
* [misc]none:  (3.866067932485071e+134 65634290206.02169): 0
* [misc]none:  (3.353542833099014e-216 4.562538568139802e-253): 0
* [misc]none:  (2.648998082938836e-121 6.334062294691454e-67): 0
* [misc]none:  (4.293605985901814e-150 8.709273807481483e+69): 0
* [misc]none:  (22682.7836632231 2.3537180485323537e-164): 0
* [misc]none:  (7.932758618838293e-45 1.0062256135654257e-12): 0
* [misc]none:  (1.0135699554608461e-103 1.0001039793852175e+214): 0
* [misc]none:  (4.4505875876233544e-249 1.1235340410501106e+40): 0
* [misc]none:  (7.344373535448876e-228 2.204405021953709e+104): 0
* [misc]none:  (4.0855428097798646e-150 2.727229900429018e-249): 0
* [misc]none:  (6.298377803380903e-45 4.638301673824566e+198): 0
* [misc]none:  (1.5663895259426407e-227 6.068461153265776e+155): 0
* [misc]none:  (1.9502784809800982e-261 1.23965605071982e+102): 0
* [misc]none:  (3.180969719291543e+169 4.530713181908317e-299): 0
* [misc]none:  (7.890973219793982e-290 5.75019396725634e+90): 0
* [misc]none:  (3.461507194664208e-287 9.464306683916357e-205): 0
* [misc]none:  (6.80008622391683e+66 8.776884557521719e+128): 0
* [misc]none:  (2.4032932153833967e-307 1.0014468698414084e+182): 0
* [misc]none:  (1.1631529018053348e+89 2.354140414905433e+187): 0
* [misc]none:  (2.216720871752684e-160 3.1263904065616715e+268): 0
* [misc]none:  (5.57997653477477e-111 1.5363278110829953e+73): 0
* [misc]none:  (1.0611909380115695e-87 1.295915517178257e-293): 0
* [misc]none:  (1.5402336595825108e+148 3.078818813487799e-199): 0
* [misc]none:  (4.355922221873984e-239 9.031875737069326e-50): 0
* [misc]none:  (1.4122736515913267e+89 7.319559421493477e-170): 0
* [misc]none:  (5.335152348688887e+90 6.4886135160508705e+78): 0
* [misc]none:  (4.479940531531753e+77 2.569188313217193e+219): 0
* [misc]none:  (7.199360760804118e+153 1.939449439157158e+147): 0
* [misc]none:  (1.9704554468969366e-117 1.9049791632950265e+52): 0
* [misc]none:  (1.2488817056340531e-83 4.423913073109955e+231): 0
* [misc]none:  (7.551810594497609e+137 7.747271752238544e+41): 0
* [misc]none:  (1.1610731671704362e+118 1.0562046199089129e-259): 0
* [misc]none:  (3532359.12009671 2.649701137905713e+290): 0
* [misc]none:  (5.4448976709671744e+17 5.816578520527468): 0
* [misc]none:  (5.3503782715642e+191 1.1797732181257876e-301): 0
* [misc]none:  (7.395347580247437e-155 1.057029999564979e+266): 0
* [misc]none:  (3.708681723916961e-166 3.7225891139822097e-149): 0
* [misc]none:  (1.6708599571221622e+101 1.5123568663970914e-69): 0
* [misc]none:  (1.2375077238277152e+278 1.0707401671756225e+27): 0
* [misc]none:  (6.821630588440869e-72 1.4176223018107286e+298): 0
* [misc]none:  (2.0740720677887988e-269 5.879433969539391e+176): 0
* [misc]none:  (3.1886410612850345e+84 2.0682372586743675e-30): 0
* [misc]none:  (3.896120055573036e-95 3.736727437689099e+118): 0
* [misc]none:  (1.4518328695518523e+18 4.064487746142035e-133): 0
* [misc]none:  (1.9106253173901505e-99 9.727763832869165e-247): 0
* [misc]none:  (3.770567993098138e-237 1.8052434248121697e+137): 0
* [misc]none:  (36029958.03466817 3.553626019847652e-275): 0
* [misc]none:  (6.9138624756046875e-279 1.0801316959056566e+247): 0
* [misc]none:  (9.30882910260521e+146 2.4925158551302067e+89): 0
* [misc]none:  (1.424337059855989e+278 7.971044540414295e-262): 0
* [misc]none:  (1.1226946855603257e+134 1.0620872870410674e+116): 0
* [misc]none:  (4.409640884251011e-241 1.448439820344248e-284): 0
* [misc]none:  (9.153145296775212e-39 2.077022997927436e-139): 0
* [misc]none:  (4.254676546626023e+95 1.65437291935563e-224): 0
* [misc]none:  (1.1977021547617553e-151 2.695882145846339e-150): 0
* [misc]none:  (3.5962302077437896e+35 6.99336629999571e-198): 0
* [misc]none:  (2.1480238909927567e-157 1.7052657907640464e-150): 0
* [misc]none:  (2.9573507267394465e-308 4.1771154955437857e-262): 0
* [misc]none:  (1.3259671025625162e-199 1.4153430662334923e+25): 0
* [misc]none:  (3.325589840377961e-208 2.9296614910697027e+53): 0
* [misc]none:  (1.6725937914126467e+127 1.8922860343023528e+144): 0
* [misc]none:  (1.214930715019116e-178 2.6992897904644102e+119): 0
* [misc]none:  (1.952649965314685e+39 4.497525377633667e+75): 0
* [misc]none:  (1.3375485056693512e-111 7.13883396967432e-194): 0
* [misc]none:  (1.8621029182579468e-205 3.4802756915156133e+100): 0
* [misc]none:  (7.282010366928649e+24 5.258819734583376e-227): 0
* [misc]none:  (4.242743718877097e-153 6.253830639689608e+48): 0
* [misc]none:  (2.0347363225558612e+301 2.4178345298938147e-26): 0
* [misc]none:  (1.995816324009855e+290 1.6700481539387543e-105): 0
* [misc]none:  (1.1280342039397313e-68 1.9787651979095224e-233): 0
* [misc]none:  (9.119412205964577e-203 2.775843815614327e-95): 0
* [misc]none:  (7.329474245282433e-48 2.3322335175982515e-233): 0
* [misc]none:  (1.783093648240505e+91 1.0537694770045353e+112): 0
* [misc]none:  (1.1370819323594066e-237 3.4501574698600073e+277): 0
* [misc]none:  (5.762919464003385e+81 1.644080282901123e+165): 0
* [misc]none:  (6.758986332538649e+149 1.3974239729365153e-16): 0
* [misc]none:  (1.4754314640450108e+138 6.420193336082039e+47): 0
* [misc]none:  (4.068001539723228e-123 2.6370190625330334e+154): 0
* [misc]none:  (1.1434045325783696e-222 2.775602789549491e-17): 0
* [misc]none:  (5.358290489185327e-250 4.03836531268848e+246): 0
* [misc]none:  (1.2723035651957354e+181 4.7196419720111513e-54): 0
* [misc]none:  (1.3577803556509862e-104 2.6167414441853318e-297): 0
* [misc]none:  (5.197437093722413e-33 2.0595604121015856e-163): 0
* [misc]none:  (5.260070069412782e+231 2.358943896528866e-56): 0
* [misc]none:  (1.6333047232399472e-134 3.0502794353085185e+161): 0
* [misc]none:  (5.111842665639857e-111 1.1720271068664444e+161): 0
* [misc]none:  (2.0595328660748074e-67 3.1294254994459577e-155): 0
* [misc]none:  (3.4456967347035406e-76 1.9814153199736458e-72): 0
* [misc]none:  (8.518821522570516e-60 1.2001411983497562e+106): 0
* [misc]none:  (1.0766932564593144e+214 3.6840771048221476e-177): 0
* [misc]none:  (1.2782139603428013e+76 1.9655311829771366e-54): 0
* [misc]none:  (9.822572373265172e-201 2.558616615476855e-60): 0
* [misc]none:  (1.1074692942653551e+18 1.558500650765054e+146): 0
* [misc]none:  (1.145177576410237e+171 1.4011904103939995e-283): 0
* [misc]none:  (3.1707815722756366e-130 3.315674489111178e+91): 0
* [misc]none:  (2.1799976387849835e+86 7.28471948788428e-160): 0
* [misc]none:  (4.546382622074157e-108 3.8495114831696875e-48): 0
* [misc]none:  (5.484479181673147e+249 2.1044760848402955e-266): 0
* [misc]none:  (1448560715879084.8 2.8530891400108187e+124): 0
* [misc]none:  (7.93491287214267e+141 3.683021898958175e-92): 0
* [misc]none:  (1.1811948514526127e+88 3.4485202867414925e-305): 0
* [misc]none:  (8.767022152674493e+83 2.3199002928076114e-253): 0
* [misc]none:  (3.9615177849779133e-143 1.1510307484496886e-51): 0
* [misc]none:  (5.532920533179142e-152 7.554314233014913e+168): 0
* [misc]none:  (7.775944736851254e-206 7.437550583183719e+153): 0
* [misc]none:  (5.5950620368202944e-145 4.107096789321886e+47): 0
* [misc]none:  (2.9754862723359673e-209 2.5416139134760705e-289): 0
* [misc]none:  (5.516984935800077e+93 3.635166212473371e-300): 0
* [misc]none:  (3.5927665975113976e-239 4.614798558690456e-297): 0
* [misc]none:  (5.154003552710604e+27 4.3470242035285214e-217): 0
* [misc]none:  (2.668103807085715e+100 5.401731707229941e+72): 0
* [misc]none:  (3.891498638245715e-204 1.8093455138130522e+133): 0
* [misc]none:  (5.932902354540652e-124 2.9604954362664366e+289): 0
* [misc]none:  (4.758124933526874e+286 2.053616853702732e-224): 0
* [misc]none:  (3.0539888630764254e-239 9.953908495433605e+227): 0
* [misc]none:  (2.035229969651227e+29 4.438087084089409e-213): 0
* [misc]none:  (8.022526422249493e+53 2.2957130115067962e-51): 0
* [misc]none:  (2.0980661301565718e-60 1.9558316322795932e+229): 0
* [misc]none:  (1.0024360019170988e-151 7.5175772698725994e+230): 0
* [misc]none:  (1.8900938929376038e+24 1.8609002361575433e+134): 0
* [misc]none:  (977676608.5823224 5.197481462965428e-115): 0
* [misc]none:  (1.6992513309501048e-129 2.550558153214631e-264): 0
* [misc]none:  (5.7712783914778174e-266 1.5980511259599325e-21): 0
* [misc]none:  (5.000511719275987e+232 4.6861637135007536e-58): 0
* [misc]none:  (1.7764137706377376e-220 7.270223756267636e-257): 0
* [misc]none:  (3.4765225248477924e-220 5.73355053644598e+126): 0
* [misc]none:  (3.5836534998638334e-135 5.874263446950659e-136): 0
* [misc]none:  (4.2683437959500887e+158 1.389009890486587e-304): 0
* [misc]none:  (1.2407901696126049e+210 2605286283632.6167): 0
* [misc]none:  (7.304105671735325e-242 7.033032775041187e+285): 0
* [misc]none:  (6.81321242648181e-289 1.45222983614977e-105): 0
* [misc]none:  (1.5262661067350401e-10 7.753245307187778e+31): 0
* [misc]none:  (1.4426514360168247e-145 4.904168640083974e+160): 0
* [misc]none:  (4.509826605092434e+28 4.718938084187299e-44): 0
* [misc]none:  (9.058304574338499e+135 1.7364409891568008e-267): 0
* [misc]none:  (4.289887105348905e+148 4.739581624122418e-235): 0
* [misc]none:  (1.9096457596516137e+301 1.285043823429664e-88): 0
* [misc]none:  (5.105992271675965e-91 4.769518420383615e-198): 0
* [misc]none:  (6.798513332593515e-94 1.4806341275368096e-15): 0
* [misc]none:  (7.092462729213457e+106 9.166563210335683e-100): 0
* [misc]none:  (1.1844921910801158e+211 2.7685178515126097e-185): 0
* [misc]none:  (1.09010428308076e-124 6.739673456854575e+249): 0
* [misc]none:  (0.36218343358512595 1.1084878850555635e+104): 0
* [misc]none:  (5.412740199293554e+26 6.234082350070098e+32): 0
* [misc]none:  (19456252.47135729 2.2232805721846523e-265): 0
* [misc]none:  (6.4866276434875264e+44 3.175834271419552e+52): 0
* [misc]none:  (127453.31416225288 4.8458035413918555e-285): 0
* [misc]none:  (9.151015091612054e-197 1.6592153710205133e-269): 0
* [misc]none:  (6.922703552766224e-109 7.522858670517918e+259): 0
* [misc]none:  (1.5842409508887248e+187 1.8800714745176597e+114): 0
* [misc]none:  (1.1356710033134132e+95 2.2584006382909978e-83): 0
* [misc]none:  (1.5567451015893508e-50 3.408101142682615e-113): 0
* [misc]none:  (7.849335243654947e+144 4.656737006361128e-228): 0
* [misc]none:  (2.376066765979685e-112 1.1698610931102194e-130): 0
* [misc]none:  (4.4868661851147195e-129 4.732835307271031e+241): 0
* [misc]none:  (2.4110148371685504e-195 3.4901782791628877e+267): 0
* [misc]none:  (2.1992066214396153e+256 3.267420843732698e-278): 0
* [misc]none:  (9.254023538292273e-258 2.617971147092364e-76): 0
* [misc]none:  (2.931668337478436e+126 1.4018724764197611e+160): 0
* [misc]none:  (6.673139894543714e-272 2.389729719307196e-186): 0
* [misc]none:  (3.34193429381633e-274 6.07560242102484e+85): 0
* [misc]none:  (5.316440102938414e-63 24130443289213716.0): 0
* [misc]none:  (4.531918757740598e+290 5.9404411007612226e-148): 0
* [misc]none:  (1.52221681471073e+30 1.552064650669455e+142): 0
* [misc]none:  (5.946958643597572e-214 9.722495709355246e-119): 0
* [misc]none:  (4.116349531400419e+59 3.7023764599519414e+64): 0
* [misc]none:  (3.19314088639968e-300 7.10649025136688e+263): 0
* [misc]none:  (2.6209483109511002e-99 1.0152763243033748e+142): 0
* [misc]none:  (3.9436987604242746e-188 1.2987545615858837e-229): 0
* [misc]none:  (4.072041399031216e+135 3.886264623793198e+50): 0
* [misc]none:  (5.600091178152213e-210 7.360949206952843e-212): 0
* [misc]none:  (3.345926165056854e+246 2.924154450481512e-86): 0
* [misc]none:  (1.2265182674709907e+198 3.136601910786915e+46): 0
* [misc]none:  (4.1738948781395064e+263 4.319230432601922e-289): 0
* [misc]none:  (1.878611753272109e+229 6.0910080487156845e-145): 0
* [misc]none:  (11105828726598036.0 1.8641835944090122e-68): 0
* [misc]none:  (4.082771820413304e+20 2.9298628929536803e-07): 0
* [misc]none:  (2.296991649120878e+37 3.5701416837580245e+199): 0
* [misc]none:  (4.984374966308376e+225 1.882765755995834e+18): 0
* [misc]none:  (1.939469755263449e-274 2.0558821145728443e-244): 0
* [misc]none:  (7.118304679887613e-64 2.3966615634258388e-54): 0
* [misc]none:  (1.953450184014831e+240 1.9357477509582754e-93): 0
* [misc]none:  (3.703142739667792e+145 2.0217918620332625e-85): 0
* [misc]none:  (5.6334012743355e-180 2.2204044591450003e+49): 0
* [misc]none:  (1.6819327664275566e+227 2.7377399598585416e-269): 0
* [misc]none:  (1.2391428993123195e-53 3.206221419912265e+51): 0
* [misc]none:  (4.1941250065146804e+123 5.834035641946906e-257): 0
* [misc]none:  (1.2296515355157788e+308 2.467422452934927e-37): 0
* [misc]none:  (5.976566162781828e-262 4.0522267480412145e+189): 0
* [misc]none:  (161670548.36131597 1.2154965615643017e-95): 0
* [misc]none:  (3.335747506626598e+164 1.7054753386147003e-193): 0
* [misc]none:  (1.2926844442603449e-272 6.777020097920311e+216): 0
* [misc]none:  (3.7476721237841876e-281 4.811543151950025e-33): 0
* [misc]none:  (6.525431496731668e-64 1.0982823072397984e+136): 0
* [misc]none:  (2.704077310435608e-253 3.1639399211332326e+205): 0
* [misc]none:  (2.7511202385052856e-18 3.82956155404422e-299): 0
* [misc]none:  (4.296582624822391e-200 1.733700273392293e+77): 0
* [misc]none:  (6.683383915725252e-271 1.830961252259433e-59): 0
* [misc]none:  (4.068667347744151e-179 8.630725328355339e+266): 0
* [misc]none:  (2.5976261349663673e+194 4.713564345937309e+51): 0
* [misc]none:  (5.0806815187366375e+166 4.873854048773888e+106): 0
* [misc]none:  (3.003386221248247e-77 7.613990227232114e-101): 0
* [misc]none:  (5.515506992492392e-277 2.595646488837273e-219): 0
* [misc]none:  (3.108236652528406e-297 7.181266914182018e-165): 0
* [misc]none:  (7.707611608802171e+62 1.152518328416828e+180): 0
* [misc]none:  (4.5690448860660455e-67 1.2792918576789026e+83): 0
* [misc]none:  (3.934156464498665e-121 1.9851718582837827e+233): 0
* [misc]none:  (2797.2682494851097 5.51985688247549e+99): 0
* [misc]none:  (0.0005921945720183679 2.8115284450926948e-120): 0
* [misc]none:  (2.5144530485773557e+177 3.96896356073862e+48): 0
* [misc]none:  (2.9394468165964015e-257 1.5225460242504859e+106): 0
* [misc]none:  (3.271929098149761e-144 7.5398414005163625e+267): 0
* [misc]none:  (6.604350361119279e-291 3.861477555295976e-66): 0
* [misc]none:  (8.124998850854922e-91 2.0152844845402166e-297): 0
* [misc]none:  (8.604490187894414e-112 1.3704041407198253e+228): 0
* [misc]none:  (2.371904740187568e+215 4.1993878019740277e-286): 0
* [misc]none:  (9.292763926817302e+57 1.3228826725861251e-83): 0
* [misc]none:  (2.0115496002781107e-145 7.084575776306543e+174): 0
* [misc]none:  (6.470477944325298e+178 1.8862750447266752e-53): 0
* [misc]none:  (1310698.3491744497 3.0319757073152243e-73): 0
* [misc]none:  (8.096247824539422e+292 5.1841759100413795e-161): 0
* [misc]none:  (6.821311827045434e-30 2.8401584433220846e+96): 0
* [misc]none:  (2.6830861914889714e-191 5.086243151153881e+259): 0
* [misc]none:  (1.3062346782022677e+257 9.20482191500962e-294): 0
* [misc]none:  (1.4517955555700533e-57 3.278760905350017e+239): 0
* [misc]none:  (1.207285968110896e+80 4.013577168037153e-101): 0
* [misc]none:  (9.422179697047065e-164 1.3639040980897921e-39): 0
* [misc]none:  (2.8344220272269968e+166 1.5252878664938466e+85): 0
* [misc]none:  (1.9836536473017196e-256 6.844414014257645e+204): 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 6249 additional inputs, on iter 1 have 1751 / 8000
* * * * [misc]points:  Computing exacts on every 390 of 6249 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 6249 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 6249 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 6249 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 6249 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 6249 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 6249 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 6249 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 6249 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 4897 additional inputs, on iter 2 have 3103 / 8000
* * * * [misc]points:  Computing exacts on every 306 of 4897 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 4897 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 4897 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 4897 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 4897 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 4897 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 4897 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 4897 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 4897 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 3819 additional inputs, on iter 3 have 4181 / 8000
* * * * [misc]points:  Computing exacts on every 238 of 3819 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 3819 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 3819 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 3819 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 3819 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 3819 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 3819 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 3819 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 2968 additional inputs, on iter 4 have 5032 / 8000
* * * * [misc]points:  Computing exacts on every 185 of 2968 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 92 of 2968 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 2968 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 2968 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 2968 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 2968 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 2968 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 2968 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 2312 additional inputs, on iter 5 have 5688 / 8000
* * * * [misc]points:  Computing exacts on every 144 of 2312 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 2312 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 2312 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 2312 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 2312 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 2312 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 2312 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 2312 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 1827 additional inputs, on iter 6 have 6173 / 8000
* * * * [misc]points:  Computing exacts on every 114 of 1827 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 57 of 1827 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 1827 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 1827 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 1827 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 1827 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 1827 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 1444 additional inputs, on iter 7 have 6556 / 8000
* * * * [misc]points:  Computing exacts on every 90 of 1444 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 45 of 1444 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 1444 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 1444 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 1444 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 1444 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 1444 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 1128 additional inputs, on iter 8 have 6872 / 8000
* * * * [misc]points:  Computing exacts on every 70 of 1128 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 1128 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 1128 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 1128 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 1128 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 1128 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 1128 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 879 additional inputs, on iter 9 have 7121 / 8000
* * * * [misc]points:  Computing exacts on every 54 of 879 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 27 of 879 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 879 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 879 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 879 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 879 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 690 additional inputs, on iter 10 have 7310 / 8000
* * * * [misc]points:  Computing exacts on every 43 of 690 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 690 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 690 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 690 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 690 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 690 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 539 additional inputs, on iter 11 have 7461 / 8000
* * * * [misc]points:  Computing exacts on every 33 of 539 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 16 of 539 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 539 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 539 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 539 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 539 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 434 additional inputs, on iter 12 have 7566 / 8000
* * * * [misc]points:  Computing exacts on every 27 of 434 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 434 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 434 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 434 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 434 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 334 additional inputs, on iter 13 have 7666 / 8000
* * * * [misc]points:  Computing exacts on every 20 of 334 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 334 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 334 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 334 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 334 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 253 additional inputs, on iter 14 have 7747 / 8000
* * * * [misc]points:  Computing exacts on every 15 of 253 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 253 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 253 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 253 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 15 have 7802 / 8000
* * * * [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 158 additional inputs, on iter 16 have 7842 / 8000
* * * * [misc]points:  Computing exacts on every 9 of 158 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 158 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 158 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 158 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 123 additional inputs, on iter 17 have 7877 / 8000
* * * * [misc]points:  Computing exacts on every 7 of 123 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 123 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 123 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 96 additional inputs, on iter 18 have 7904 / 8000
* * * * [misc]points:  Computing exacts on every 6 of 96 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 96 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 96 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 77 additional inputs, on iter 19 have 7923 / 8000
* * * * [misc]points:  Computing exacts on every 4 of 77 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 77 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 77 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 62 additional inputs, on iter 20 have 7938 / 8000
* * * * [misc]points:  Computing exacts on every 3 of 62 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 62 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 46 additional inputs, on iter 21 have 7954 / 8000
* * * * [misc]points:  Computing exacts on every 2 of 46 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 46 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 22 have 7966 / 8000
* * * * [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 30 additional inputs, on iter 23 have 7970 / 8000
* * * * [misc]points:  Computing exacts for 30 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 23 additional inputs, on iter 24 have 7977 / 8000
* * * * [misc]points:  Computing exacts for 23 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 18 additional inputs, on iter 25 have 7982 / 8000
* * * * [misc]points:  Computing exacts for 18 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 26 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 13 additional inputs, on iter 27 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 8 additional inputs, on iter 28 have 7992 / 8000
* * * * [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 6 additional inputs, on iter 29 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 5 additional inputs, on iter 30 have 7995 / 8000
* * * * [misc]points:  Computing exacts for 5 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 5 additional inputs, on iter 31 have 7995 / 8000
* * * * [misc]points:  Computing exacts for 5 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 5 additional inputs, on iter 32 have 7995 / 8000
* * * * [misc]points:  Computing exacts for 5 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 5 additional inputs, on iter 33 have 7995 / 8000
* * * * [misc]points:  Computing exacts for 5 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 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
* * * * [misc]points:  Sampling 4 additional inputs, on iter 36 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