* [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 188 additional inputs, on iter 1 have 68 / 256
* * * * [misc]points:  Computing exacts on every 11 of 188 points 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 188 points 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 188 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 188 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 151 additional inputs, on iter 2 have 105 / 256
* * * * [misc]points:  Computing exacts on every 9 of 151 points 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 151 points 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 151 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 151 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 120 additional inputs, on iter 3 have 136 / 256
* * * * [misc]points:  Computing exacts on every 7 of 120 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 3 of 120 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 120 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 94 additional inputs, on iter 4 have 162 / 256
* * * * [misc]points:  Computing exacts on every 5 of 94 points 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 94 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 94 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 72 additional inputs, on iter 5 have 184 / 256
* * * * [misc]points:  Computing exacts on every 4 of 72 points 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 72 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 72 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 6 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 40 additional inputs, on iter 7 have 216 / 256
* * * * [misc]points:  Computing exacts on every 2 of 40 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 40 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 8 have 226 / 256
* * * * [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 22 additional inputs, on iter 9 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 21 additional inputs, on iter 10 have 235 / 256
* * * * [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 17 additional inputs, on iter 11 have 239 / 256
* * * * [misc]points:  Computing exacts for 17 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 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 12 additional inputs, on iter 13 have 244 / 256
* * * * [misc]points:  Computing exacts for 12 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 9 additional inputs, on iter 15 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 16 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 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 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 19 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 20 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 21 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 22 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 indices
* [misc]none:  (λ (a b) (* a b)): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (2.8934651166283667e+279 55177.631326622766): 0
* [misc]none:  (6.623520715255185e-244 9.35562630771522e-28): 0
* [misc]none:  (9.485527140858208e-99 6.616483485750784e+277): 0
* [misc]none:  (2.9165973639362348e-61 2.154045822148676e+236): 0
* [misc]none:  (1.4761319612197693e+162 3.7359142444445254e-45): 0
* [misc]none:  (1.2678990949422917e-52 1.5936876549452747e-106): 0
* [misc]none:  (4.877070311694073e+285 9.693441707903139e-213): 0
* [misc]none:  (1.6613686666519827e-62 7.500417889097776e+226): 0
* [misc]none:  (6.056081735177332e-85 2.1309047970347387e+158): 0
* [misc]none:  (2.8707216174156258e-288 3.9448428391223416e+100): 0
* [misc]none:  (2.4886568141795916e+45 9.518068148307147e+26): 0
* [misc]none:  (3.7255320389432313e-165 1.8768406743539232e+264): 0
* [misc]none:  (1.1389442877655414e-177 1.849281552574909e+116): 0
* [misc]none:  (4.179321646584815e-42 3.4907285275620847e-183): 0
* [misc]none:  (4.0960369147892466e-53 6.704955520516661e+202): 0
* [misc]none:  (2.4072431119226268e-294 1.6773884942239408e-156): 0
* [misc]none:  (7.646650899329613e+32 4.3649908177819284e-251): 0
* [misc]none:  (2.209291129508407e-103 2.6072584186591613e+22): 0
* [misc]none:  (6.788838766459765e-266 1.3466512072651458e+258): 0
* [misc]none:  (1.5979559877186783e+94 6.250659770446859e-22): 0
* [misc]none:  (3.8194206079901515e-23 2.741371289157953e-145): 0
* [misc]none:  (3.698929817180471e+162 5.436276416758887e+80): 0
* [misc]none:  (3.835206986527536e+32 5.103806582082313e+202): 0
* [misc]none:  (17701.444215621454 1.9228822226649738e-300): 0
* [misc]none:  (1.4479551629017086e-50 7.223350080619973e+59): 0
* [misc]none:  (3.0619633792165704e-112 8.614849064809495e-08): 0
* [misc]none:  (1.9751731173848614e-104 4.629317789908436e+151): 0
* [misc]none:  (1.4433601914977293e+110 2.941099102549249e-241): 0
* [misc]none:  (2.691927618107144e-05 1.1000446194483325e-90): 0
* [misc]none:  (2.8422666435864215e+106 1.4504901418771666e-167): 0
* [misc]none:  (7.74992657978382e-63 5.482382059424217e+269): 0
* [misc]none:  (3.6262868956220344e+30 1.8568918477210684e-278): 0
* [misc]none:  (3.202685245647354e-103 4.539457865312999e-121): 0
* [misc]none:  (5.636344174955466e-281 2.9829349539367554e+295): 0
* [misc]none:  (5.5076569598298964e+141 4.3620430739295923e-302): 0
* [misc]none:  (4.170842444290082e+103 3.871491319085697e+81): 0
* [misc]none:  (1.569049448077113e+166 2.0023780501144833e-163): 0
* [misc]none:  (4.530138448892374e+76 6.310778459854841e-106): 0
* [misc]none:  (1.6456238704691438e+256 1.6464208372129284e-219): 0
* [misc]none:  (2.5544369114515057e+63 4.226578484503227e+195): 0
* [misc]none:  (5.935335344107575e-229 3.3530644013569386e+256): 0
* [misc]none:  (3.254932313264323e-181 7.231336457780734e-20): 0
* [misc]none:  (9.670913491472054e-92 3.022368240249581e-289): 0
* [misc]none:  (7.956319754267398e-14 2.1275458515370088e+150): 0
* [misc]none:  (8.165831134725409e-120 5.726562288130135e+102): 0
* [misc]none:  (2.045529509427446e+49 1.2991605271353226e+210): 0
* [misc]none:  (1.4188583663033445e-249 1.504713479140784e+180): 0
* [misc]none:  (1.4943962403820765e-140 1.6013845362657103e-298): 0
* [misc]none:  (3.8086812738961377e+105 4.9000756215658976e-120): 0
* [misc]none:  (2.280095815862488e-176 3.561509455251411e+295): 0
* [misc]none:  (3.098950819461051e-151 9.363230108342852e+250): 0
* [misc]none:  (2.038517116904573e+154 2.6375224378225955e+119): 0
* [misc]none:  (1.586561511542475e-275 2.926376508787255e+282): 0
* [misc]none:  (1.0618555958379567e-268 2.782648730841675e+217): 0
* [misc]none:  (2.0204006459196226e+83 2.2574454595822655e-220): 0
* [misc]none:  (1.2921333334484887e-228 1.0649585744085428e+106): 0
* [misc]none:  (8.1543207612861e-76 2.4500030642364193e-223): 0
* [misc]none:  (4.235591293288e-248 1.218647302735932e-297): 0
* [misc]none:  (3.7324996695832916e-109 2.168620392463088e-105): 0
* [misc]none:  (1.761038081814932e+93 2.5326644166823207e+112): 0
* [misc]none:  (6.944221700291434e+135 7.1505150647596134e-90): 0
* [misc]none:  (3.0759732717867806e+190 7.1170011090732994e-264): 0
* [misc]none:  (7.549436560743757e+303 1.9623264555030403e-89): 0
* [misc]none:  (3.711627169915896e-124 2.6868210680403372e-281): 0
* [misc]none:  (4.056803806497453e+40 5.485585766720062e+26): 0
* [misc]none:  (7.736599690559313e+39 1.290904806000425e-63): 0
* [misc]none:  (2.9585019007706015e-75 4.972779252942197e+303): 0
* [misc]none:  (1.0605775236008464e-196 1.1121028106216206e+19): 0
* [misc]none:  (4.42593478005992e-34 1.3278698483830103e+148): 0
* [misc]none:  (2.2119886114287968e-34 1.2378511734908403e-107): 0
* [misc]none:  (9.09788486191944e+169 3.936583944730242e-196): 0
* [misc]none:  (1.566482846682818e+181 46764720346859.695): 0
* [misc]none:  (1.3512847782362076e-279 7.896130132820156e-217): 0
* [misc]none:  (1.678603787725966e-152 8.285353632346027e-167): 0
* [misc]none:  (866348710.6083921 2.876521072296815e-208): 0
* [misc]none:  (1.0215332011235794e-150 2.5432672243697084e+149): 0
* [misc]none:  (5.3724278324468806e+203 1.6245442159705388e-42): 0
* [misc]none:  (3.250343412666951e+26 126715243689216.31): 0
* [misc]none:  (1.013966116767643e+275 1.7621082148272187e-228): 0
* [misc]none:  (5.673275506975857e+207 2.1810804288248965e-283): 0
* [misc]none:  (1.2999886733622388e-184 1.3287180272413022e+67): 0
* [misc]none:  (4.089646513445723e+245 1.0473758353724606e-183): 0
* [misc]none:  (2.591343833165391e+290 6.459055316449752e-276): 0
* [misc]none:  (5.573717782369765e-93 4.890912902623974e+85): 0
* [misc]none:  (4.8533118364338886e-220 5.419935126226004e+146): 0
* [misc]none:  (2.2983534050951956e+280 6631353509164.867): 0
* [misc]none:  (6.231469203658058e+302 4.0348840505143623e-296): 0
* [misc]none:  (1.7606829114797027e-31 3.449349634708974e+210): 0
* [misc]none:  (7.957725660528741e-20 2.0017651707407385e-24): 0
* [misc]none:  (5.7562902607636395e+150 4.311629472454463e-170): 0
* [misc]none:  (2.4067110459518464e-120 2.53931389705494e+108): 0
* [misc]none:  (1.1497935395653939e-15 7.113173298329309e+77): 0
* [misc]none:  (2.8713513700515807e+95 3.6944474223286795e-264): 0
* [misc]none:  (5.475315064279059e-139 8.416124183887469e-19): 0
* [misc]none:  (4.627828020102765e-304 6.00216625419795e+212): 0
* [misc]none:  (0.008231975858370053 4.0424623228768856e+253): 0
* [misc]none:  (540132858874038.06 2.7983607559006875e+54): 0
* [misc]none:  (1.9234052651736597e+99 5.530894547345656e+79): 0
* [misc]none:  (1.4255275511610883e-38 5.176888332485418e-235): 0
* [misc]none:  (7.161832268695711e-189 2.2065245322813953e+66): 0
* [misc]none:  (1.0425242387755406e-300 4.254370929907081e+297): 0
* [misc]none:  (1.37038211012976e-186 2.6642924282783276e+103): 0
* [misc]none:  (979825758711.1726 1.7591487076360776e-93): 0
* [misc]none:  (1.9170372613116015e+182 3.0888352431477515e-295): 0
* [misc]none:  (9.905284319759577e-100 1.0606032456326725e+242): 0
* [misc]none:  (3.0831548659922656e-166 3.549118444801896e+162): 0
* [misc]none:  (6.547890624030202e-19 1.500732519090969e+83): 0
* [misc]none:  (1.0404298882992946e+48 2.186395295371115e-39): 0
* [misc]none:  (3.547373805628309e-49 4.598651791383654e-306): 0
* [misc]none:  (1.2548266498593938e-306 1.874284062224037e+201): 0
* [misc]none:  (1.4416220566635508e+106 9.247054168781197e+115): 0
* [misc]none:  (1.9997291852020583e+235 1.0301410669176037e-162): 0
* [misc]none:  (3.2509480891495596e-283 1.2122993581673724e+246): 0
* [misc]none:  (7.390132388943251e-80 1.3957602941693855e-49): 0
* [misc]none:  (4.285848321626996e+268 2.2354450955184464e-303): 0
* [misc]none:  (4.38593704788044e-55 4.538528580096745e+256): 0
* [misc]none:  (2.482720820111902e+267 1.078967846827431e-192): 0
* [misc]none:  (6.518905991610332e-133 5.3194678137136805e+131): 0
* [misc]none:  (3.5403151995633744e+61 2.8784051283093197e-159): 0
* [misc]none:  (1.5295297112882861e+189 5.8900670523982955e-276): 0
* [misc]none:  (2.2821428168939567e-85 1.0765521436554618e+262): 0
* [misc]none:  (0.001153502653320492 9.828142580013114e-63): 0
* [misc]none:  (5.189166453459553e-135 1.4373294578855835e+256): 0
* [misc]none:  (6.416725586436791e+40 1.6015687094578885e-114): 0
* [misc]none:  (6.281351069712371e-40 1.3940476019414208e-243): 0
* [misc]none:  (1.5388566785401095e+224 5.400299016066932e-120): 0
* [misc]none:  (1.2092015360447625e-157 1.5524909593616506e+112): 0
* [misc]none:  (1.6313427551474431e+72 7.032956449643419e+110): 0
* [misc]none:  (3.9516070890263784e-170 1.2203679230863295e-241): 0
* [misc]none:  (4.6712667890843233e+285 2.7744217646447177e-275): 0
* [misc]none:  (7.733254872690005e-08 2.9488955298125663e-187): 0
* [misc]none:  (7.41603864586148e+154 2.7841011024216386e+95): 0
* [misc]none:  (2.3816059747729095e-175 1.2230246169794072e+128): 0
* [misc]none:  (1.4056840441261273e+25 2.9806918698583785e+31): 0
* [misc]none:  (4.6006049825607626e+218 9.967977294746109e-58): 0
* [misc]none:  (8.594002544586067e+66 129872152189557.89): 0
* [misc]none:  (4.1983268311643633e-79 1.5381669359590303e-207): 0
* [misc]none:  (8.247562820074126e+217 1.0668215133090469e+39): 0
* [misc]none:  (3.1558409624178966e-51 9.95387707370222e+262): 0
* [misc]none:  (1.8922421445104239e-246 3.7522944647773936e+144): 0
* [misc]none:  (3.263883914428741e-199 2.031254727830368e+150): 0
* [misc]none:  (2.1116126269121526e-87 4.14034250568095e-19): 0
* [misc]none:  (1.265809127256969e-257 1.058184990588207e+193): 0
* [misc]none:  (1.8491023256598833e+119 2.4030465813311096e+33): 0
* [misc]none:  (2.9926649750513916e-215 7.126558367309211e+286): 0
* [misc]none:  (1.2213794000067742e-107 1.2779119562315673e+147): 0
* [misc]none:  (1.190125890379584e+230 2.8849229481410515e-69): 0
* [misc]none:  (4.521106259868985e-253 2.3623823056661818e-73): 0
* [misc]none:  (1.0734844266876098e+133 286.8697052670963): 0
* [misc]none:  (1.062682074932265e+229 1.0899575077484877e-77): 0
* [misc]none:  (2.767599067351214e+195 8.054314816600177e-37): 0
* [misc]none:  (6.024511912990079e+84 1.0972801711478063e-181): 0
* [misc]none:  (1.1663715170234023e-33 1.821316082219445e-31): 0
* [misc]none:  (4.053980966469101e+302 2.8402608015100704e-250): 0
* [misc]none:  (1.194061872367895e+220 1.0389358047373285e-37): 0
* [misc]none:  (1.2240297986851114e+251 3.45808714185781e+34): 0
* [misc]none:  (5.160642497006506e-106 2.501487961589971e-186): 0
* [misc]none:  (1.882634228916084e+104 6.309071689177259e-279): 0
* [misc]none:  (2.2752166795075178e+129 3.459069485774471e+125): 0
* [misc]none:  (1.2654352929763856e+201 3.676700438802301e-44): 0
* [misc]none:  (6.223068053793711e+127 2.2629994924347574e-07): 0
* [misc]none:  (2.659181518527327e+307 4.6359994596022095e-153): 0
* [misc]none:  (1.5800617558402157e+234 1.1606607614301422e-05): 0
* [misc]none:  (2.333964054476269e-230 2.6282948365587408e-27): 0
* [misc]none:  (2.1831432166025805e+27 1.0985453227849344e-170): 0
* [misc]none:  (2.9274193921182663e+72 3.528685173788366e+131): 0
* [misc]none:  (4.559321205979136e-29 8.913124246398817e-290): 0
* [misc]none:  (2.3040347636911724e-27 7.527413299194134e-199): 0
* [misc]none:  (3.222113461096366e+139 9.80786621090237e-10): 0
* [misc]none:  (5.690021676770787e+31 5.357335632184978e-22): 0
* [misc]none:  (0.0006145505508753878 5.770600846660463e-216): 0
* [misc]none:  (2.781426133815738e-217 2.5557241024046246e-63): 0
* [misc]none:  (8.853831150429422e+166 1.8423314112002953e-90): 0
* [misc]none:  (9.534360742444564e-26 1.2538968992553631e-96): 0
* [misc]none:  (1.2604501780655313e-299 33610193246.41273): 0
* [misc]none:  (4.652749385182812e-160 9.610215461209792e+222): 0
* [misc]none:  (1.210749872776215e+51 1.6891927864876082e+182): 0
* [misc]none:  (1.0925860973280717e+242 6.780065323620223e+51): 0
* [misc]none:  (8.941083375942494e-36 4.642144231789124e-270): 0
* [misc]none:  (828.8901249590906 1.5119164597499585e-296): 0
* [misc]none:  (2.7649254953715813e+30 1.7565696205023296e+163): 0
* [misc]none:  (6.736957928891058e-59 6.778069248120988e-280): 0
* [misc]none:  (7.562514089530741e+267 9.005651289406815e-62): 0
* [misc]none:  (2.871912084447183e+263 7.11105366855096e-210): 0
* [misc]none:  (8.449175444180646e-202 1.4761245695485948e+283): 0
* [misc]none:  (2.5999866956432144e-15 1.1466100384783977e-24): 0
* [misc]none:  (2.142503598854727e-40 1.0088540675564157e+34): 0
* [misc]none:  (2.1384236993204545e+173 3.783480527344059e-158): 0
* [misc]none:  (4.285789409051915e-41 1.6550163405824941e-100): 0
* [misc]none:  (9.568527921939742e-273 2.654414227492494e+20): 0
* [misc]none:  (1.7090726067739176e-227 7.696162327562603e-152): 0
* [misc]none:  (2.3623052767393814e+153 4.4633600804799425e+142): 0
* [misc]none:  (1.2790861077923577e+68 1.0592112097552954e+143): 0
* [misc]none:  (1.6780592368033288e-262 1.5331200777386884e+269): 0
* [misc]none:  (2.973444851318118e-169 1.6828576275377584e-98): 0
* [misc]none:  (4.5525663232975395e+86 4.922686678959719e-213): 0
* [misc]none:  (9.601043864442096e+176 5.752669291865014e-257): 0
* [misc]none:  (9.424239481611678e-294 1.5096638452158614e-71): 0
* [misc]none:  (6.967234360883543e-112 2.0770495361468835e+203): 0
* [misc]none:  (8.40469635347052e+100 2.1321881547753267e-44): 0
* [misc]none:  (6.866799226360426e-109 6.417434319517234e+231): 0
* [misc]none:  (1.430295312965348e-149 3.112001531242655e+80): 0
* [misc]none:  (1.4966275592591335e-123 6.384545099874781e-168): 0
* [misc]none:  (4.232269734875141e-205 4.1020469956028986e+24): 0
* [misc]none:  (2.68866513359689e-174 8.96636707501737e-13): 0
* [misc]none:  (2.7230496615379425e-188 7.15832835948139e-179): 0
* [misc]none:  (3.9088008390110404e+59 6.754325943853309e-283): 0
* [misc]none:  (6.354961149716869e-97 2.8293820765322485e-296): 0
* [misc]none:  (5.123849747663666e+133 4.007761912625816e-148): 0
* [misc]none:  (7.175557259725409e-49 4.4800031186106794e-70): 0
* [misc]none:  (1.5780761566396397e+125 1.534059348183312e-189): 0
* [misc]none:  (8.976998414840432e+184 3.9122094377392414e+59): 0
* [misc]none:  (4.588817619865515e-83 6.908716276621429e+42): 0
* [misc]none:  (1.6570172448601563e-137 2.4048926517811354e+66): 0
* [misc]none:  (1.5982222044177176e+181 8.398043771606399e+47): 0
* [misc]none:  (6.724679859609688e-169 1.4230714989143866e-75): 0
* [misc]none:  (1.3610327499536486e+226 4.84788597345363e+32): 0
* [misc]none:  (1.9963004369674967e-80 1.4604179220567222e+231): 0
* [misc]none:  (1.5216315041338872e-218 1.6707151526371295e-190): 0
* [misc]none:  (8.044445972631143e-28 2.635030752287841e+186): 0
* [misc]none:  (4.12100928340286e-184 9.74865050931635e+298): 0
* [misc]none:  (1.782256728493473e+35 6.657191501816709e+167): 0
* [misc]none:  (2.0703305241322436e+71 6.099737398723264e-279): 0
* [misc]none:  (2.6679523035634032e-104 8.366391802268445e+167): 0
* [misc]none:  (5.0588074473585105e-110 3.742291531299835e+250): 0
* [misc]none:  (1.4351275309127672e-234 4.416557773834991e-25): 0
* [misc]none:  (1.0684729481870001e-64 6.3073426358942834e+75): 0
* [misc]none:  (0.19659739803111875 7.786539791485611e+181): 0
* [misc]none:  (3.209451012414084e+270 3.7907433031673317e-256): 0
* [misc]none:  (8.76720870691781e-247 6.160331831501279e+241): 0
* [misc]none:  (3.0044088767799776e-30 4.7140908881238785e+103): 0
* [misc]none:  (2.3604863517900675e+30 6.476730028728146e-228): 0
* [misc]none:  (4.097601147132013e-78 4.194634882433556e+107): 0
* [misc]none:  (6.283729883572828e+84 3.6636765762957594e-187): 0
* [misc]none:  (1.7036347403091437e+117 9.645064592867311e+67): 0
* [misc]none:  (1.6465279540530418e+78 2.43524332605807e-278): 0
* [misc]none:  (8.2625435987749e+74 5.2790261762422465e+19): 0
* [misc]none:  (2.0179287053921742e+58 2.884705125857619e-274): 0
* [misc]none:  (2.031068672850261e-255 2.4294527094706238e+82): 0
* [misc]none:  (7.274711555473555e+146 1.5565784464325313e+71): 0
* [misc]none:  (1.5276944825842992e+272 2.1335024129380783e-97): 0
* [misc]none:  (1.0953112641111952e+229 3.2587696828142436e+75): 0
* [misc]none:  (8.949756960721031e-195 2.722605535602291e+155): 0
* [misc]none:  (4.178563936936926e-127 2.1657839461347663e+307): 0
* [misc]none:  (7.808994559121766e-111 8.788013174305029e-230): 0
* [misc]none:  (4.896551008070313e-307 1.2607016124581028e+98): 0
* [misc]none:  (6.351701463874224e-34 1.1127979592570306e-297): 0
* [misc]none:  (2.0134175477923286e-117 3.3910436622012204e+183): 0
* [misc]none:  (8.06210226572923e-308 1.3704592194822044e+306): 0
* [misc]none:  (2.0724540688985427e-14 7.930730410937821e+23): 0
* [misc]none:  (4.870593988390179e-194 5.0297272719312193e+287): 0
* [misc]none:  (1.7531612809893653e+136 8.844853331262414e+38): 0
* [misc]none:  (1.178943808525994e-266 9.178781884958768e+207): 0
* [misc]none:  (4.3776582898304966e+81 1.5274484190953342e-17): 0
* [misc]none:  (3.0568938748675284e-154 2.0291756699515804e-73): 0
* [misc]none:  (1.2307420681126962e+74 2.4920454965720488e-241): 0
* [misc]none:  All alt indices
* [misc]none:  (λ (a b) (* a b)): 0
* [misc]none:  Best alt per point
* [misc]none:  (2.8934651166283667e+279 55177.631326622766): 0
* [misc]none:  (6.623520715255185e-244 9.35562630771522e-28): 0
* [misc]none:  (9.485527140858208e-99 6.616483485750784e+277): 0
* [misc]none:  (2.9165973639362348e-61 2.154045822148676e+236): 0
* [misc]none:  (1.4761319612197693e+162 3.7359142444445254e-45): 0
* [misc]none:  (1.2678990949422917e-52 1.5936876549452747e-106): 0
* [misc]none:  (4.877070311694073e+285 9.693441707903139e-213): 0
* [misc]none:  (1.6613686666519827e-62 7.500417889097776e+226): 0
* [misc]none:  (6.056081735177332e-85 2.1309047970347387e+158): 0
* [misc]none:  (2.8707216174156258e-288 3.9448428391223416e+100): 0
* [misc]none:  (2.4886568141795916e+45 9.518068148307147e+26): 0
* [misc]none:  (3.7255320389432313e-165 1.8768406743539232e+264): 0
* [misc]none:  (1.1389442877655414e-177 1.849281552574909e+116): 0
* [misc]none:  (4.179321646584815e-42 3.4907285275620847e-183): 0
* [misc]none:  (4.0960369147892466e-53 6.704955520516661e+202): 0
* [misc]none:  (2.4072431119226268e-294 1.6773884942239408e-156): 0
* [misc]none:  (7.646650899329613e+32 4.3649908177819284e-251): 0
* [misc]none:  (2.209291129508407e-103 2.6072584186591613e+22): 0
* [misc]none:  (6.788838766459765e-266 1.3466512072651458e+258): 0
* [misc]none:  (1.5979559877186783e+94 6.250659770446859e-22): 0
* [misc]none:  (3.8194206079901515e-23 2.741371289157953e-145): 0
* [misc]none:  (3.698929817180471e+162 5.436276416758887e+80): 0
* [misc]none:  (3.835206986527536e+32 5.103806582082313e+202): 0
* [misc]none:  (17701.444215621454 1.9228822226649738e-300): 0
* [misc]none:  (1.4479551629017086e-50 7.223350080619973e+59): 0
* [misc]none:  (3.0619633792165704e-112 8.614849064809495e-08): 0
* [misc]none:  (1.9751731173848614e-104 4.629317789908436e+151): 0
* [misc]none:  (1.4433601914977293e+110 2.941099102549249e-241): 0
* [misc]none:  (2.691927618107144e-05 1.1000446194483325e-90): 0
* [misc]none:  (2.8422666435864215e+106 1.4504901418771666e-167): 0
* [misc]none:  (7.74992657978382e-63 5.482382059424217e+269): 0
* [misc]none:  (3.6262868956220344e+30 1.8568918477210684e-278): 0
* [misc]none:  (3.202685245647354e-103 4.539457865312999e-121): 0
* [misc]none:  (5.636344174955466e-281 2.9829349539367554e+295): 0
* [misc]none:  (5.5076569598298964e+141 4.3620430739295923e-302): 0
* [misc]none:  (4.170842444290082e+103 3.871491319085697e+81): 0
* [misc]none:  (1.569049448077113e+166 2.0023780501144833e-163): 0
* [misc]none:  (4.530138448892374e+76 6.310778459854841e-106): 0
* [misc]none:  (1.6456238704691438e+256 1.6464208372129284e-219): 0
* [misc]none:  (2.5544369114515057e+63 4.226578484503227e+195): 0
* [misc]none:  (5.935335344107575e-229 3.3530644013569386e+256): 0
* [misc]none:  (3.254932313264323e-181 7.231336457780734e-20): 0
* [misc]none:  (9.670913491472054e-92 3.022368240249581e-289): 0
* [misc]none:  (7.956319754267398e-14 2.1275458515370088e+150): 0
* [misc]none:  (8.165831134725409e-120 5.726562288130135e+102): 0
* [misc]none:  (2.045529509427446e+49 1.2991605271353226e+210): 0
* [misc]none:  (1.4188583663033445e-249 1.504713479140784e+180): 0
* [misc]none:  (1.4943962403820765e-140 1.6013845362657103e-298): 0
* [misc]none:  (3.8086812738961377e+105 4.9000756215658976e-120): 0
* [misc]none:  (2.280095815862488e-176 3.561509455251411e+295): 0
* [misc]none:  (3.098950819461051e-151 9.363230108342852e+250): 0
* [misc]none:  (2.038517116904573e+154 2.6375224378225955e+119): 0
* [misc]none:  (1.586561511542475e-275 2.926376508787255e+282): 0
* [misc]none:  (1.0618555958379567e-268 2.782648730841675e+217): 0
* [misc]none:  (2.0204006459196226e+83 2.2574454595822655e-220): 0
* [misc]none:  (1.2921333334484887e-228 1.0649585744085428e+106): 0
* [misc]none:  (8.1543207612861e-76 2.4500030642364193e-223): 0
* [misc]none:  (4.235591293288e-248 1.218647302735932e-297): 0
* [misc]none:  (3.7324996695832916e-109 2.168620392463088e-105): 0
* [misc]none:  (1.761038081814932e+93 2.5326644166823207e+112): 0
* [misc]none:  (6.944221700291434e+135 7.1505150647596134e-90): 0
* [misc]none:  (3.0759732717867806e+190 7.1170011090732994e-264): 0
* [misc]none:  (7.549436560743757e+303 1.9623264555030403e-89): 0
* [misc]none:  (3.711627169915896e-124 2.6868210680403372e-281): 0
* [misc]none:  (4.056803806497453e+40 5.485585766720062e+26): 0
* [misc]none:  (7.736599690559313e+39 1.290904806000425e-63): 0
* [misc]none:  (2.9585019007706015e-75 4.972779252942197e+303): 0
* [misc]none:  (1.0605775236008464e-196 1.1121028106216206e+19): 0
* [misc]none:  (4.42593478005992e-34 1.3278698483830103e+148): 0
* [misc]none:  (2.2119886114287968e-34 1.2378511734908403e-107): 0
* [misc]none:  (9.09788486191944e+169 3.936583944730242e-196): 0
* [misc]none:  (1.566482846682818e+181 46764720346859.695): 0
* [misc]none:  (1.3512847782362076e-279 7.896130132820156e-217): 0
* [misc]none:  (1.678603787725966e-152 8.285353632346027e-167): 0
* [misc]none:  (866348710.6083921 2.876521072296815e-208): 0
* [misc]none:  (1.0215332011235794e-150 2.5432672243697084e+149): 0
* [misc]none:  (5.3724278324468806e+203 1.6245442159705388e-42): 0
* [misc]none:  (3.250343412666951e+26 126715243689216.31): 0
* [misc]none:  (1.013966116767643e+275 1.7621082148272187e-228): 0
* [misc]none:  (5.673275506975857e+207 2.1810804288248965e-283): 0
* [misc]none:  (1.2999886733622388e-184 1.3287180272413022e+67): 0
* [misc]none:  (4.089646513445723e+245 1.0473758353724606e-183): 0
* [misc]none:  (2.591343833165391e+290 6.459055316449752e-276): 0
* [misc]none:  (5.573717782369765e-93 4.890912902623974e+85): 0
* [misc]none:  (4.8533118364338886e-220 5.419935126226004e+146): 0
* [misc]none:  (2.2983534050951956e+280 6631353509164.867): 0
* [misc]none:  (6.231469203658058e+302 4.0348840505143623e-296): 0
* [misc]none:  (1.7606829114797027e-31 3.449349634708974e+210): 0
* [misc]none:  (7.957725660528741e-20 2.0017651707407385e-24): 0
* [misc]none:  (5.7562902607636395e+150 4.311629472454463e-170): 0
* [misc]none:  (2.4067110459518464e-120 2.53931389705494e+108): 0
* [misc]none:  (1.1497935395653939e-15 7.113173298329309e+77): 0
* [misc]none:  (2.8713513700515807e+95 3.6944474223286795e-264): 0
* [misc]none:  (5.475315064279059e-139 8.416124183887469e-19): 0
* [misc]none:  (4.627828020102765e-304 6.00216625419795e+212): 0
* [misc]none:  (0.008231975858370053 4.0424623228768856e+253): 0
* [misc]none:  (540132858874038.06 2.7983607559006875e+54): 0
* [misc]none:  (1.9234052651736597e+99 5.530894547345656e+79): 0
* [misc]none:  (1.4255275511610883e-38 5.176888332485418e-235): 0
* [misc]none:  (7.161832268695711e-189 2.2065245322813953e+66): 0
* [misc]none:  (1.0425242387755406e-300 4.254370929907081e+297): 0
* [misc]none:  (1.37038211012976e-186 2.6642924282783276e+103): 0
* [misc]none:  (979825758711.1726 1.7591487076360776e-93): 0
* [misc]none:  (1.9170372613116015e+182 3.0888352431477515e-295): 0
* [misc]none:  (9.905284319759577e-100 1.0606032456326725e+242): 0
* [misc]none:  (3.0831548659922656e-166 3.549118444801896e+162): 0
* [misc]none:  (6.547890624030202e-19 1.500732519090969e+83): 0
* [misc]none:  (1.0404298882992946e+48 2.186395295371115e-39): 0
* [misc]none:  (3.547373805628309e-49 4.598651791383654e-306): 0
* [misc]none:  (1.2548266498593938e-306 1.874284062224037e+201): 0
* [misc]none:  (1.4416220566635508e+106 9.247054168781197e+115): 0
* [misc]none:  (1.9997291852020583e+235 1.0301410669176037e-162): 0
* [misc]none:  (3.2509480891495596e-283 1.2122993581673724e+246): 0
* [misc]none:  (7.390132388943251e-80 1.3957602941693855e-49): 0
* [misc]none:  (4.285848321626996e+268 2.2354450955184464e-303): 0
* [misc]none:  (4.38593704788044e-55 4.538528580096745e+256): 0
* [misc]none:  (2.482720820111902e+267 1.078967846827431e-192): 0
* [misc]none:  (6.518905991610332e-133 5.3194678137136805e+131): 0
* [misc]none:  (3.5403151995633744e+61 2.8784051283093197e-159): 0
* [misc]none:  (1.5295297112882861e+189 5.8900670523982955e-276): 0
* [misc]none:  (2.2821428168939567e-85 1.0765521436554618e+262): 0
* [misc]none:  (0.001153502653320492 9.828142580013114e-63): 0
* [misc]none:  (5.189166453459553e-135 1.4373294578855835e+256): 0
* [misc]none:  (6.416725586436791e+40 1.6015687094578885e-114): 0
* [misc]none:  (6.281351069712371e-40 1.3940476019414208e-243): 0
* [misc]none:  (1.5388566785401095e+224 5.400299016066932e-120): 0
* [misc]none:  (1.2092015360447625e-157 1.5524909593616506e+112): 0
* [misc]none:  (1.6313427551474431e+72 7.032956449643419e+110): 0
* [misc]none:  (3.9516070890263784e-170 1.2203679230863295e-241): 0
* [misc]none:  (4.6712667890843233e+285 2.7744217646447177e-275): 0
* [misc]none:  (7.733254872690005e-08 2.9488955298125663e-187): 0
* [misc]none:  (7.41603864586148e+154 2.7841011024216386e+95): 0
* [misc]none:  (2.3816059747729095e-175 1.2230246169794072e+128): 0
* [misc]none:  (1.4056840441261273e+25 2.9806918698583785e+31): 0
* [misc]none:  (4.6006049825607626e+218 9.967977294746109e-58): 0
* [misc]none:  (8.594002544586067e+66 129872152189557.89): 0
* [misc]none:  (4.1983268311643633e-79 1.5381669359590303e-207): 0
* [misc]none:  (8.247562820074126e+217 1.0668215133090469e+39): 0
* [misc]none:  (3.1558409624178966e-51 9.95387707370222e+262): 0
* [misc]none:  (1.8922421445104239e-246 3.7522944647773936e+144): 0
* [misc]none:  (3.263883914428741e-199 2.031254727830368e+150): 0
* [misc]none:  (2.1116126269121526e-87 4.14034250568095e-19): 0
* [misc]none:  (1.265809127256969e-257 1.058184990588207e+193): 0
* [misc]none:  (1.8491023256598833e+119 2.4030465813311096e+33): 0
* [misc]none:  (2.9926649750513916e-215 7.126558367309211e+286): 0
* [misc]none:  (1.2213794000067742e-107 1.2779119562315673e+147): 0
* [misc]none:  (1.190125890379584e+230 2.8849229481410515e-69): 0
* [misc]none:  (4.521106259868985e-253 2.3623823056661818e-73): 0
* [misc]none:  (1.0734844266876098e+133 286.8697052670963): 0
* [misc]none:  (1.062682074932265e+229 1.0899575077484877e-77): 0
* [misc]none:  (2.767599067351214e+195 8.054314816600177e-37): 0
* [misc]none:  (6.024511912990079e+84 1.0972801711478063e-181): 0
* [misc]none:  (1.1663715170234023e-33 1.821316082219445e-31): 0
* [misc]none:  (4.053980966469101e+302 2.8402608015100704e-250): 0
* [misc]none:  (1.194061872367895e+220 1.0389358047373285e-37): 0
* [misc]none:  (1.2240297986851114e+251 3.45808714185781e+34): 0
* [misc]none:  (5.160642497006506e-106 2.501487961589971e-186): 0
* [misc]none:  (1.882634228916084e+104 6.309071689177259e-279): 0
* [misc]none:  (2.2752166795075178e+129 3.459069485774471e+125): 0
* [misc]none:  (1.2654352929763856e+201 3.676700438802301e-44): 0
* [misc]none:  (6.223068053793711e+127 2.2629994924347574e-07): 0
* [misc]none:  (2.659181518527327e+307 4.6359994596022095e-153): 0
* [misc]none:  (1.5800617558402157e+234 1.1606607614301422e-05): 0
* [misc]none:  (2.333964054476269e-230 2.6282948365587408e-27): 0
* [misc]none:  (2.1831432166025805e+27 1.0985453227849344e-170): 0
* [misc]none:  (2.9274193921182663e+72 3.528685173788366e+131): 0
* [misc]none:  (4.559321205979136e-29 8.913124246398817e-290): 0
* [misc]none:  (2.3040347636911724e-27 7.527413299194134e-199): 0
* [misc]none:  (3.222113461096366e+139 9.80786621090237e-10): 0
* [misc]none:  (5.690021676770787e+31 5.357335632184978e-22): 0
* [misc]none:  (0.0006145505508753878 5.770600846660463e-216): 0
* [misc]none:  (2.781426133815738e-217 2.5557241024046246e-63): 0
* [misc]none:  (8.853831150429422e+166 1.8423314112002953e-90): 0
* [misc]none:  (9.534360742444564e-26 1.2538968992553631e-96): 0
* [misc]none:  (1.2604501780655313e-299 33610193246.41273): 0
* [misc]none:  (4.652749385182812e-160 9.610215461209792e+222): 0
* [misc]none:  (1.210749872776215e+51 1.6891927864876082e+182): 0
* [misc]none:  (1.0925860973280717e+242 6.780065323620223e+51): 0
* [misc]none:  (8.941083375942494e-36 4.642144231789124e-270): 0
* [misc]none:  (828.8901249590906 1.5119164597499585e-296): 0
* [misc]none:  (2.7649254953715813e+30 1.7565696205023296e+163): 0
* [misc]none:  (6.736957928891058e-59 6.778069248120988e-280): 0
* [misc]none:  (7.562514089530741e+267 9.005651289406815e-62): 0
* [misc]none:  (2.871912084447183e+263 7.11105366855096e-210): 0
* [misc]none:  (8.449175444180646e-202 1.4761245695485948e+283): 0
* [misc]none:  (2.5999866956432144e-15 1.1466100384783977e-24): 0
* [misc]none:  (2.142503598854727e-40 1.0088540675564157e+34): 0
* [misc]none:  (2.1384236993204545e+173 3.783480527344059e-158): 0
* [misc]none:  (4.285789409051915e-41 1.6550163405824941e-100): 0
* [misc]none:  (9.568527921939742e-273 2.654414227492494e+20): 0
* [misc]none:  (1.7090726067739176e-227 7.696162327562603e-152): 0
* [misc]none:  (2.3623052767393814e+153 4.4633600804799425e+142): 0
* [misc]none:  (1.2790861077923577e+68 1.0592112097552954e+143): 0
* [misc]none:  (1.6780592368033288e-262 1.5331200777386884e+269): 0
* [misc]none:  (2.973444851318118e-169 1.6828576275377584e-98): 0
* [misc]none:  (4.5525663232975395e+86 4.922686678959719e-213): 0
* [misc]none:  (9.601043864442096e+176 5.752669291865014e-257): 0
* [misc]none:  (9.424239481611678e-294 1.5096638452158614e-71): 0
* [misc]none:  (6.967234360883543e-112 2.0770495361468835e+203): 0
* [misc]none:  (8.40469635347052e+100 2.1321881547753267e-44): 0
* [misc]none:  (6.866799226360426e-109 6.417434319517234e+231): 0
* [misc]none:  (1.430295312965348e-149 3.112001531242655e+80): 0
* [misc]none:  (1.4966275592591335e-123 6.384545099874781e-168): 0
* [misc]none:  (4.232269734875141e-205 4.1020469956028986e+24): 0
* [misc]none:  (2.68866513359689e-174 8.96636707501737e-13): 0
* [misc]none:  (2.7230496615379425e-188 7.15832835948139e-179): 0
* [misc]none:  (3.9088008390110404e+59 6.754325943853309e-283): 0
* [misc]none:  (6.354961149716869e-97 2.8293820765322485e-296): 0
* [misc]none:  (5.123849747663666e+133 4.007761912625816e-148): 0
* [misc]none:  (7.175557259725409e-49 4.4800031186106794e-70): 0
* [misc]none:  (1.5780761566396397e+125 1.534059348183312e-189): 0
* [misc]none:  (8.976998414840432e+184 3.9122094377392414e+59): 0
* [misc]none:  (4.588817619865515e-83 6.908716276621429e+42): 0
* [misc]none:  (1.6570172448601563e-137 2.4048926517811354e+66): 0
* [misc]none:  (1.5982222044177176e+181 8.398043771606399e+47): 0
* [misc]none:  (6.724679859609688e-169 1.4230714989143866e-75): 0
* [misc]none:  (1.3610327499536486e+226 4.84788597345363e+32): 0
* [misc]none:  (1.9963004369674967e-80 1.4604179220567222e+231): 0
* [misc]none:  (1.5216315041338872e-218 1.6707151526371295e-190): 0
* [misc]none:  (8.044445972631143e-28 2.635030752287841e+186): 0
* [misc]none:  (4.12100928340286e-184 9.74865050931635e+298): 0
* [misc]none:  (1.782256728493473e+35 6.657191501816709e+167): 0
* [misc]none:  (2.0703305241322436e+71 6.099737398723264e-279): 0
* [misc]none:  (2.6679523035634032e-104 8.366391802268445e+167): 0
* [misc]none:  (5.0588074473585105e-110 3.742291531299835e+250): 0
* [misc]none:  (1.4351275309127672e-234 4.416557773834991e-25): 0
* [misc]none:  (1.0684729481870001e-64 6.3073426358942834e+75): 0
* [misc]none:  (0.19659739803111875 7.786539791485611e+181): 0
* [misc]none:  (3.209451012414084e+270 3.7907433031673317e-256): 0
* [misc]none:  (8.76720870691781e-247 6.160331831501279e+241): 0
* [misc]none:  (3.0044088767799776e-30 4.7140908881238785e+103): 0
* [misc]none:  (2.3604863517900675e+30 6.476730028728146e-228): 0
* [misc]none:  (4.097601147132013e-78 4.194634882433556e+107): 0
* [misc]none:  (6.283729883572828e+84 3.6636765762957594e-187): 0
* [misc]none:  (1.7036347403091437e+117 9.645064592867311e+67): 0
* [misc]none:  (1.6465279540530418e+78 2.43524332605807e-278): 0
* [misc]none:  (8.2625435987749e+74 5.2790261762422465e+19): 0
* [misc]none:  (2.0179287053921742e+58 2.884705125857619e-274): 0
* [misc]none:  (2.031068672850261e-255 2.4294527094706238e+82): 0
* [misc]none:  (7.274711555473555e+146 1.5565784464325313e+71): 0
* [misc]none:  (1.5276944825842992e+272 2.1335024129380783e-97): 0
* [misc]none:  (1.0953112641111952e+229 3.2587696828142436e+75): 0
* [misc]none:  (8.949756960721031e-195 2.722605535602291e+155): 0
* [misc]none:  (4.178563936936926e-127 2.1657839461347663e+307): 0
* [misc]none:  (7.808994559121766e-111 8.788013174305029e-230): 0
* [misc]none:  (4.896551008070313e-307 1.2607016124581028e+98): 0
* [misc]none:  (6.351701463874224e-34 1.1127979592570306e-297): 0
* [misc]none:  (2.0134175477923286e-117 3.3910436622012204e+183): 0
* [misc]none:  (8.06210226572923e-308 1.3704592194822044e+306): 0
* [misc]none:  (2.0724540688985427e-14 7.930730410937821e+23): 0
* [misc]none:  (4.870593988390179e-194 5.0297272719312193e+287): 0
* [misc]none:  (1.7531612809893653e+136 8.844853331262414e+38): 0
* [misc]none:  (1.178943808525994e-266 9.178781884958768e+207): 0
* [misc]none:  (4.3776582898304966e+81 1.5274484190953342e-17): 0
* [misc]none:  (3.0568938748675284e-154 2.0291756699515804e-73): 0
* [misc]none:  (1.2307420681126962e+74 2.4920454965720488e-241): 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 6242 additional inputs, on iter 1 have 1758 / 8000
* * * * [misc]points:  Computing exacts on every 390 of 6242 points 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 6242 points 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 6242 points 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 6242 points 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 6242 points 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 6242 points 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 6242 points 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 6242 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 6242 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 4910 additional inputs, on iter 2 have 3090 / 8000
* * * * [misc]points:  Computing exacts on every 306 of 4910 points 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 4910 points 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 4910 points 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 4910 points 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 4910 points 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 4910 points 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 4910 points 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 4910 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 4910 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 3813 additional inputs, on iter 3 have 4187 / 8000
* * * * [misc]points:  Computing exacts on every 238 of 3813 points 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 3813 points 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 3813 points 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 3813 points 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 3813 points 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 3813 points 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 3813 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 3813 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 2981 additional inputs, on iter 4 have 5019 / 8000
* * * * [misc]points:  Computing exacts on every 186 of 2981 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 93 of 2981 points 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 2981 points 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 2981 points 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 2981 points 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 2981 points 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 2981 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 2981 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 2332 additional inputs, on iter 5 have 5668 / 8000
* * * * [misc]points:  Computing exacts on every 145 of 2332 points 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 2332 points 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 2332 points 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 2332 points 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 2332 points 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 2332 points 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 2332 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 2332 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 1825 additional inputs, on iter 6 have 6175 / 8000
* * * * [misc]points:  Computing exacts on every 114 of 1825 points 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 1825 points 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 1825 points 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 1825 points 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 1825 points 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 1825 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 1825 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 1436 additional inputs, on iter 7 have 6564 / 8000
* * * * [misc]points:  Computing exacts on every 89 of 1436 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 44 of 1436 points 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 1436 points 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 1436 points 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 1436 points 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 1436 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 1436 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 1078 additional inputs, on iter 8 have 6922 / 8000
* * * * [misc]points:  Computing exacts on every 67 of 1078 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 33 of 1078 points 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 1078 points 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 1078 points 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 1078 points 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 1078 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 1078 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 817 additional inputs, on iter 9 have 7183 / 8000
* * * * [misc]points:  Computing exacts on every 51 of 817 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 25 of 817 points 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 817 points 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 817 points 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 817 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 817 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 627 additional inputs, on iter 10 have 7373 / 8000
* * * * [misc]points:  Computing exacts on every 39 of 627 points 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 627 points 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 627 points 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 627 points 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 627 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 627 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 501 additional inputs, on iter 11 have 7499 / 8000
* * * * [misc]points:  Computing exacts on every 31 of 501 points 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 501 points 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 501 points 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 501 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 501 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 384 additional inputs, on iter 12 have 7616 / 8000
* * * * [misc]points:  Computing exacts on every 24 of 384 points 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 384 points 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 384 points 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 384 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 384 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 312 additional inputs, on iter 13 have 7688 / 8000
* * * * [misc]points:  Computing exacts on every 19 of 312 points 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 312 points 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 312 points 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 312 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 312 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 243 additional inputs, on iter 14 have 7757 / 8000
* * * * [misc]points:  Computing exacts on every 15 of 243 points 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 243 points 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 243 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 243 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 190 additional inputs, on iter 15 have 7810 / 8000
* * * * [misc]points:  Computing exacts on every 11 of 190 points 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 190 points 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 190 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 190 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 155 additional inputs, on iter 16 have 7845 / 8000
* * * * [misc]points:  Computing exacts on every 9 of 155 points 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 155 points 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 155 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 155 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 121 additional inputs, on iter 17 have 7879 / 8000
* * * * [misc]points:  Computing exacts on every 7 of 121 points 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 121 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 121 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 92 additional inputs, on iter 18 have 7908 / 8000
* * * * [misc]points:  Computing exacts on every 5 of 92 points 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 92 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 92 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 69 additional inputs, on iter 19 have 7931 / 8000
* * * * [misc]points:  Computing exacts on every 4 of 69 points 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 69 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 69 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 20 have 7950 / 8000
* * * * [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 38 additional inputs, on iter 21 have 7962 / 8000
* * * * [misc]points:  Computing exacts on every 2 of 38 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 38 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 27 additional inputs, on iter 22 have 7973 / 8000
* * * * [misc]points:  Computing exacts for 27 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 24 additional inputs, on iter 23 have 7976 / 8000
* * * * [misc]points:  Computing exacts for 24 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 17 additional inputs, on iter 24 have 7983 / 8000
* * * * [misc]points:  Computing exacts for 17 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 13 additional inputs, on iter 25 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 26 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 27 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 28 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 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 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 32 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 33 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 34 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 8001 points with exact outputs