* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
* * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 256 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 181 additional inputs, on iter 1 have 75 / 256
* * * * [misc]points:  Computing exacts on every 11 of 181 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 5 of 181 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 181 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 181 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 128 additional inputs, on iter 2 have 128 / 256
* * * * [misc]points:  Computing exacts on every 8 of 128 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 4 of 128 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 128 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 128 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 93 additional inputs, on iter 3 have 163 / 256
* * * * [misc]points:  Computing exacts on every 5 of 93 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 93 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 93 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 77 additional inputs, on iter 4 have 179 / 256
* * * * [misc]points:  Computing exacts on every 4 of 77 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 77 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 77 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 58 additional inputs, on iter 5 have 198 / 256
* * * * [misc]points:  Computing exacts on every 3 of 58 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 58 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 39 additional inputs, on iter 6 have 217 / 256
* * * * [misc]points:  Computing exacts on every 2 of 39 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 39 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 28 additional inputs, on iter 7 have 228 / 256
* * * * [misc]points:  Computing exacts for 28 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 24 additional inputs, on iter 8 have 232 / 256
* * * * [misc]points:  Computing exacts for 24 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 21 additional inputs, on iter 9 have 235 / 256
* * * * [misc]points:  Computing exacts for 21 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 14 additional inputs, on iter 10 have 242 / 256
* * * * [misc]points:  Computing exacts for 14 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 11 additional inputs, on iter 11 have 245 / 256
* * * * [misc]points:  Computing exacts for 11 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 8 additional inputs, on iter 12 have 248 / 256
* * * * [misc]points:  Computing exacts for 8 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 6 additional inputs, on iter 13 have 250 / 256
* * * * [misc]points:  Computing exacts for 6 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 252 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 253 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [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 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 255 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [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 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [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 (- (log (- (/ 1 x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* [exit]simplify:  Simplified to (- (log (- (/ 1 x) 1)))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* [misc]none:  Fresh alts: 1
* [misc]none:  All alts: 1
* [misc]none:  Fresh alt: (λ (x) (- (log (- (/ 1 x) 1))))
* [misc]none:  Fresh alt indices
* [misc]none:  (λ (x) (- (log (- (/ 1 x) 1)))): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (1.3795570882391649e-101): 0
* [misc]none:  (9.487301173220957e-148): 0
* [misc]none:  (1.0635671918662361e-134): 0
* [misc]none:  (5.400299016066932e-120): 0
* [misc]none:  (2.1811945854006548e-306): 0
* [misc]none:  (6.281351069712371e-40): 0
* [misc]none:  (1.3940476019414208e-243): 0
* [misc]none:  (7.162982178700667e-143): 0
* [misc]none:  (7.723714893984014e-53): 0
* [misc]none:  (2.0456932367196893e-188): 0
* [misc]none:  (4.351554933921603e-249): 0
* [misc]none:  (1.6015687094578885e-114): 0
* [misc]none:  (1.3470733434393441e-14): 0
* [misc]none:  (5.189166453459553e-135): 0
* [misc]none:  (4.823582423963228e-35): 0
* [misc]none:  (1.7285940697086523e-215): 0
* [misc]none:  (9.362478858841445e-196): 0
* [misc]none:  (2.4361480422576433e-266): 0
* [misc]none:  (3.1328191882752216e-288): 0
* [misc]none:  (1.7619646197506943e-217): 0
* [misc]none:  (0.001153502653320492): 0
* [misc]none:  (9.828142580013114e-63): 0
* [misc]none:  (4.885415499003671e-269): 0
* [misc]none:  (4.285789409051915e-41): 0
* [misc]none:  (1.6550163405824941e-100): 0
* [misc]none:  (7.731756003446193e-09): 0
* [misc]none:  (2.142503598854727e-40): 0
* [misc]none:  (9.866134064169792e-88): 0
* [misc]none:  (3.783480527344059e-158): 0
* [misc]none:  (6.736957928891058e-59): 0
* [misc]none:  (6.778069248120988e-280): 0
* [misc]none:  (9.005651289406815e-62): 0
* [misc]none:  (3.931300633875158e-124): 0
* [misc]none:  (7.11105366855096e-210): 0
* [misc]none:  (2.3410825034903317e-60): 0
* [misc]none:  (1.1487791112707728e-172): 0
* [misc]none:  (8.449175444180646e-202): 0
* [misc]none:  (4.231630731957443e-97): 0
* [misc]none:  (2.5999866956432144e-15): 0
* [misc]none:  (1.1466100384783977e-24): 0
* [misc]none:  (5.770600846660463e-216): 0
* [misc]none:  (2.781426133815738e-217): 0
* [misc]none:  (2.5557241024046246e-63): 0
* [misc]none:  (5.223765227005569e-152): 0
* [misc]none:  (7.351668255412019e-155): 0
* [misc]none:  (3.666021857234008e-105): 0
* [misc]none:  (2.1884482458744437e-81): 0
* [misc]none:  (1.8423314112002953e-90): 0
* [misc]none:  (1.4318039063168714e-09): 0
* [misc]none:  (9.534360742444564e-26): 0
* [misc]none:  (1.2538968992553631e-96): 0
* [misc]none:  (1.2604501780655313e-299): 0
* [misc]none:  (4.652749385182812e-160): 0
* [misc]none:  (1.9017996774234949e-59): 0
* [misc]none:  (1.6994385984079385e-287): 0
* [misc]none:  (1.2465965306617038e-32): 0
* [misc]none:  (8.941083375942494e-36): 0
* [misc]none:  (4.642144231789124e-270): 0
* [misc]none:  (1.5119164597499585e-296): 0
* [misc]none:  (2.333964054476269e-230): 0
* [misc]none:  (2.6282948365587408e-27): 0
* [misc]none:  (1.0985453227849344e-170): 0
* [misc]none:  (6.19863515953618e-206): 0
* [misc]none:  (3.1166104193766994e-137): 0
* [misc]none:  (1.2423686537018865e-16): 0
* [misc]none:  (4.559321205979136e-29): 0
* [misc]none:  (8.913124246398817e-290): 0
* [misc]none:  (4.4061588303824944e-303): 0
* [misc]none:  (2.3040347636911724e-27): 0
* [misc]none:  (7.527413299194134e-199): 0
* [misc]none:  (9.80786621090237e-10): 0
* [misc]none:  (4.5779060099920917e-17): 0
* [misc]none:  (8.583739956121865e-308): 0
* [misc]none:  (4.460218679195514e-149): 0
* [misc]none:  (5.357335632184978e-22): 0
* [misc]none:  (6.103872924194278e-110): 0
* [misc]none:  (2.4991141371272513e-282): 0
* [misc]none:  (0.0006145505508753878): 0
* [misc]none:  (5.160642497006506e-106): 0
* [misc]none:  (2.501487961589971e-186): 0
* [misc]none:  (3.1707458428990324e-50): 0
* [misc]none:  (6.309071689177259e-279): 0
* [misc]none:  (3.321782785676469e-255): 0
* [misc]none:  (1.5087150874010425e-211): 0
* [misc]none:  (6.863804525144902e-237): 0
* [misc]none:  (3.676700438802301e-44): 0
* [misc]none:  (6.180426682633145e-231): 0
* [misc]none:  (1.0083640164314813e-92): 0
* [misc]none:  (2.2629994924347574e-07): 0
* [misc]none:  (3.6950126077692746e-159): 0
* [misc]none:  (4.6359994596022095e-153): 0
* [misc]none:  (3.802591719422796e-187): 0
* [misc]none:  (1.1606607614301422e-05): 0
* [misc]none:  (3.292067705150785e-57): 0
* [misc]none:  (8.06210226572923e-308): 0
* [misc]none:  (2.0724540688985427e-14): 0
* [misc]none:  (6.537529222720653e-92): 0
* [misc]none:  (3.5709688782890513e-43): 0
* [misc]none:  (4.870593988390179e-194): 0
* [misc]none:  (5.027897585816787e-27): 0
* [misc]none:  (0.3310558223342685): 0
* [misc]none:  (7.299372666988037e-80): 0
* [misc]none:  (1.178943808525994e-266): 0
* [misc]none:  (1.0483964125162862e-06): 0
* [misc]none:  (8.105463665693362e-194): 0
* [misc]none:  (4.513009124607983e-82): 0
* [misc]none:  (1.5274484190953342e-17): 0
* [misc]none:  (3.0568938748675284e-154): 0
* [misc]none:  (2.0291756699515804e-73): 0
* [misc]none:  (8.435011553475053e-247): 0
* [misc]none:  (2.4920454965720488e-241): 0
* [misc]none:  (8.63476246502244e-94): 0
* [misc]none:  (1.1480211985789131e-156): 0
* [misc]none:  (4.091190676322657e-21): 0
* [misc]none:  (1.1663715170234023e-33): 0
* [misc]none:  (1.821316082219445e-31): 0
* [misc]none:  (5.965572216773997e-266): 0
* [misc]none:  (1.1867578517998852e-122): 0
* [misc]none:  (4.388887965185748e-231): 0
* [misc]none:  (2.8402608015100704e-250): 0
* [misc]none:  (5.258242405229196e-247): 0
* [misc]none:  (2.5076686139270383e-164): 0
* [misc]none:  (1.0389358047373285e-37): 0
* [misc]none:  (1.3687590050193055e-147): 0
* [misc]none:  (1.6542751192792692e-300): 0
* [misc]none:  (2.602023429993787e-14): 0
* [misc]none:  (2.415026600632841e-155): 0
* [misc]none:  (6.08182357871597e-19): 0
* [misc]none:  (3.919727770092923e-28): 0
* [misc]none:  (1.0684729481870001e-64): 0
* [misc]none:  (3.1520683467019444e-71): 0
* [misc]none:  (0.19659739803111875): 0
* [misc]none:  (2.4995037253728046e-268): 0
* [misc]none:  (4.637177905335891e-10): 0
* [misc]none:  (8.652041834233969e-101): 0
* [misc]none:  (3.7907433031673317e-256): 0
* [misc]none:  (8.76720870691781e-247): 0
* [misc]none:  (3.0044088767799776e-30): 0
* [misc]none:  (6.476730028728146e-228): 0
* [misc]none:  (4.097601147132013e-78): 0
* [misc]none:  (3.3390334975960143e-07): 0
* [misc]none:  (2.2475155879831534e-92): 0
* [misc]none:  (1.030614327019319e-115): 0
* [misc]none:  (3.6636765762957594e-187): 0
* [misc]none:  (1.3872947227834175e-251): 0
* [misc]none:  (7.12145855246931e-10): 0
* [misc]none:  (2.693461062117409e-112): 0
* [misc]none:  (2.43524332605807e-278): 0
* [misc]none:  (1.0576788912710565e-08): 0
* [misc]none:  (4.764080499693186e-90): 0
* [misc]none:  (2.884705125857619e-274): 0
* [misc]none:  (2.031068672850261e-255): 0
* [misc]none:  (4.642568065399805e-260): 0
* [misc]none:  (7.178809205583962e-175): 0
* [misc]none:  (1.4235559851356953e-239): 0
* [misc]none:  (4.74667737826054e-29): 0
* [misc]none:  (2.1335024129380783e-97): 0
* [misc]none:  (1.0233799517176219e-267): 0
* [misc]none:  (5.348181441205713e-277): 0
* [misc]none:  (2.6631876145177815e-299): 0
* [misc]none:  (1.4781375733319608e-242): 0
* [misc]none:  (1.6609596531041104e-183): 0
* [misc]none:  (5.41731325733976e-115): 0
* [misc]none:  (1.0395093493101161e-28): 0
* [misc]none:  (5.540829799846932e-307): 0
* [misc]none:  (8.949756960721031e-195): 0
* [misc]none:  (1.0160216232612932e-143): 0
* [misc]none:  (4.178563936936926e-127): 0
* [misc]none:  (6.629963208070179e-180): 0
* [misc]none:  (1.7005338626981419e-143): 0
* [misc]none:  (7.808994559121766e-111): 0
* [misc]none:  (8.788013174305029e-230): 0
* [misc]none:  (3.2454192740264175e-113): 0
* [misc]none:  (4.896551008070313e-307): 0
* [misc]none:  (6.351701463874224e-34): 0
* [misc]none:  (1.1127979592570306e-297): 0
* [misc]none:  (2.0134175477923286e-117): 0
* [misc]none:  (2.1370924660732585e-137): 0
* [misc]none:  (4.172324580820008e-133): 0
* [misc]none:  (1.6563474243613627e-33): 0
* [misc]none:  (2.0971939106770033e-216): 0
* [misc]none:  (1.504878381563487e-123): 0
* [misc]none:  (9.568527921939742e-273): 0
* [misc]none:  (1.7090726067739176e-227): 0
* [misc]none:  (7.696162327562603e-152): 0
* [misc]none:  (5.106850318067203e-223): 0
* [misc]none:  (1.3381086996667414e-215): 0
* [misc]none:  (1.0224180420716733e-52): 0
* [misc]none:  (9.705038014433044e-175): 0
* [misc]none:  (6.028770352690154e-151): 0
* [misc]none:  (1.6780592368033288e-262): 0
* [misc]none:  (2.973444851318118e-169): 0
* [misc]none:  (1.6828576275377584e-98): 0
* [misc]none:  (4.922686678959719e-213): 0
* [misc]none:  (5.752669291865014e-257): 0
* [misc]none:  (3.0310347416413137e-258): 0
* [misc]none:  (2.4757193927168845e-307): 0
* [misc]none:  (1.457018723838865e-35): 0
* [misc]none:  (9.424239481611678e-294): 0
* [misc]none:  (1.5096638452158614e-71): 0
* [misc]none:  (6.967234360883543e-112): 0
* [misc]none:  (3.1401318723071353e-131): 0
* [misc]none:  (0.228970627026966): 0
* [misc]none:  (2.1321881547753267e-44): 0
* [misc]none:  (1.7739584018359304e-207): 0
* [misc]none:  (6.866799226360426e-109): 0
* [misc]none:  (1.430295312965348e-149): 0
* [misc]none:  (3.0475240801607222e-148): 0
* [misc]none:  (1.4966275592591335e-123): 0
* [misc]none:  (6.384545099874781e-168): 0
* [misc]none:  (4.232269734875141e-205): 0
* [misc]none:  (2.68866513359689e-174): 0
* [misc]none:  (8.96636707501737e-13): 0
* [misc]none:  (1.6082525618587168e-259): 0
* [misc]none:  (2.7230496615379425e-188): 0
* [misc]none:  (7.15832835948139e-179): 0
* [misc]none:  (8.990843056511833e-32): 0
* [misc]none:  (6.754325943853309e-283): 0
* [misc]none:  (6.354961149716869e-97): 0
* [misc]none:  (2.8293820765322485e-296): 0
* [misc]none:  (9.871143682146977e-239): 0
* [misc]none:  (4.007761912625816e-148): 0
* [misc]none:  (1.120554825473697e-298): 0
* [misc]none:  (7.175557259725409e-49): 0
* [misc]none:  (4.4800031186106794e-70): 0
* [misc]none:  (2.5265807746711182e-73): 0
* [misc]none:  (1.4440898226736705e-53): 0
* [misc]none:  (2.3912903471184356e-134): 0
* [misc]none:  (1.534059348183312e-189): 0
* [misc]none:  (4.588817619865515e-83): 0
* [misc]none:  (1.074034252081928e-96): 0
* [misc]none:  (1.6570172448601563e-137): 0
* [misc]none:  (4.0623211606609595e-228): 0
* [misc]none:  (6.730955893129463e-197): 0
* [misc]none:  (6.724679859609688e-169): 0
* [misc]none:  (1.4230714989143866e-75): 0
* [misc]none:  (3.493084834288097e-125): 0
* [misc]none:  (3.2574885636926814e-211): 0
* [misc]none:  (1.3680169753287455e-53): 0
* [misc]none:  (2.2957389429922706e-176): 0
* [misc]none:  (1.9963004369674967e-80): 0
* [misc]none:  (1.5216315041338872e-218): 0
* [misc]none:  (1.6707151526371295e-190): 0
* [misc]none:  (5.1990169359560766e-256): 0
* [misc]none:  (8.044445972631143e-28): 0
* [misc]none:  (4.12100928340286e-184): 0
* [misc]none:  (8.361834195928021e-55): 0
* [misc]none:  (7.311006071291519e-101): 0
* [misc]none:  (8.382633428275648e-297): 0
* [misc]none:  (6.099737398723264e-279): 0
* [misc]none:  (2.6679523035634032e-104): 0
* [misc]none:  (2.870509274337958e-101): 0
* [misc]none:  (5.0588074473585105e-110): 0
* [misc]none:  (1.4351275309127672e-234): 0
* [misc]none:  (4.416557773834991e-25): 0
* [misc]none:  (3.0442880854679596e-31): 0
* [misc]none:  All alt indices
* [misc]none:  (λ (x) (- (log (- (/ 1 x) 1)))): 0
* [misc]none:  Best alt per point
* [misc]none:  (1.3795570882391649e-101): 0
* [misc]none:  (9.487301173220957e-148): 0
* [misc]none:  (1.0635671918662361e-134): 0
* [misc]none:  (5.400299016066932e-120): 0
* [misc]none:  (2.1811945854006548e-306): 0
* [misc]none:  (6.281351069712371e-40): 0
* [misc]none:  (1.3940476019414208e-243): 0
* [misc]none:  (7.162982178700667e-143): 0
* [misc]none:  (7.723714893984014e-53): 0
* [misc]none:  (2.0456932367196893e-188): 0
* [misc]none:  (4.351554933921603e-249): 0
* [misc]none:  (1.6015687094578885e-114): 0
* [misc]none:  (1.3470733434393441e-14): 0
* [misc]none:  (5.189166453459553e-135): 0
* [misc]none:  (4.823582423963228e-35): 0
* [misc]none:  (1.7285940697086523e-215): 0
* [misc]none:  (9.362478858841445e-196): 0
* [misc]none:  (2.4361480422576433e-266): 0
* [misc]none:  (3.1328191882752216e-288): 0
* [misc]none:  (1.7619646197506943e-217): 0
* [misc]none:  (0.001153502653320492): 0
* [misc]none:  (9.828142580013114e-63): 0
* [misc]none:  (4.885415499003671e-269): 0
* [misc]none:  (4.285789409051915e-41): 0
* [misc]none:  (1.6550163405824941e-100): 0
* [misc]none:  (7.731756003446193e-09): 0
* [misc]none:  (2.142503598854727e-40): 0
* [misc]none:  (9.866134064169792e-88): 0
* [misc]none:  (3.783480527344059e-158): 0
* [misc]none:  (6.736957928891058e-59): 0
* [misc]none:  (6.778069248120988e-280): 0
* [misc]none:  (9.005651289406815e-62): 0
* [misc]none:  (3.931300633875158e-124): 0
* [misc]none:  (7.11105366855096e-210): 0
* [misc]none:  (2.3410825034903317e-60): 0
* [misc]none:  (1.1487791112707728e-172): 0
* [misc]none:  (8.449175444180646e-202): 0
* [misc]none:  (4.231630731957443e-97): 0
* [misc]none:  (2.5999866956432144e-15): 0
* [misc]none:  (1.1466100384783977e-24): 0
* [misc]none:  (5.770600846660463e-216): 0
* [misc]none:  (2.781426133815738e-217): 0
* [misc]none:  (2.5557241024046246e-63): 0
* [misc]none:  (5.223765227005569e-152): 0
* [misc]none:  (7.351668255412019e-155): 0
* [misc]none:  (3.666021857234008e-105): 0
* [misc]none:  (2.1884482458744437e-81): 0
* [misc]none:  (1.8423314112002953e-90): 0
* [misc]none:  (1.4318039063168714e-09): 0
* [misc]none:  (9.534360742444564e-26): 0
* [misc]none:  (1.2538968992553631e-96): 0
* [misc]none:  (1.2604501780655313e-299): 0
* [misc]none:  (4.652749385182812e-160): 0
* [misc]none:  (1.9017996774234949e-59): 0
* [misc]none:  (1.6994385984079385e-287): 0
* [misc]none:  (1.2465965306617038e-32): 0
* [misc]none:  (8.941083375942494e-36): 0
* [misc]none:  (4.642144231789124e-270): 0
* [misc]none:  (1.5119164597499585e-296): 0
* [misc]none:  (2.333964054476269e-230): 0
* [misc]none:  (2.6282948365587408e-27): 0
* [misc]none:  (1.0985453227849344e-170): 0
* [misc]none:  (6.19863515953618e-206): 0
* [misc]none:  (3.1166104193766994e-137): 0
* [misc]none:  (1.2423686537018865e-16): 0
* [misc]none:  (4.559321205979136e-29): 0
* [misc]none:  (8.913124246398817e-290): 0
* [misc]none:  (4.4061588303824944e-303): 0
* [misc]none:  (2.3040347636911724e-27): 0
* [misc]none:  (7.527413299194134e-199): 0
* [misc]none:  (9.80786621090237e-10): 0
* [misc]none:  (4.5779060099920917e-17): 0
* [misc]none:  (8.583739956121865e-308): 0
* [misc]none:  (4.460218679195514e-149): 0
* [misc]none:  (5.357335632184978e-22): 0
* [misc]none:  (6.103872924194278e-110): 0
* [misc]none:  (2.4991141371272513e-282): 0
* [misc]none:  (0.0006145505508753878): 0
* [misc]none:  (5.160642497006506e-106): 0
* [misc]none:  (2.501487961589971e-186): 0
* [misc]none:  (3.1707458428990324e-50): 0
* [misc]none:  (6.309071689177259e-279): 0
* [misc]none:  (3.321782785676469e-255): 0
* [misc]none:  (1.5087150874010425e-211): 0
* [misc]none:  (6.863804525144902e-237): 0
* [misc]none:  (3.676700438802301e-44): 0
* [misc]none:  (6.180426682633145e-231): 0
* [misc]none:  (1.0083640164314813e-92): 0
* [misc]none:  (2.2629994924347574e-07): 0
* [misc]none:  (3.6950126077692746e-159): 0
* [misc]none:  (4.6359994596022095e-153): 0
* [misc]none:  (3.802591719422796e-187): 0
* [misc]none:  (1.1606607614301422e-05): 0
* [misc]none:  (3.292067705150785e-57): 0
* [misc]none:  (8.06210226572923e-308): 0
* [misc]none:  (2.0724540688985427e-14): 0
* [misc]none:  (6.537529222720653e-92): 0
* [misc]none:  (3.5709688782890513e-43): 0
* [misc]none:  (4.870593988390179e-194): 0
* [misc]none:  (5.027897585816787e-27): 0
* [misc]none:  (0.3310558223342685): 0
* [misc]none:  (7.299372666988037e-80): 0
* [misc]none:  (1.178943808525994e-266): 0
* [misc]none:  (1.0483964125162862e-06): 0
* [misc]none:  (8.105463665693362e-194): 0
* [misc]none:  (4.513009124607983e-82): 0
* [misc]none:  (1.5274484190953342e-17): 0
* [misc]none:  (3.0568938748675284e-154): 0
* [misc]none:  (2.0291756699515804e-73): 0
* [misc]none:  (8.435011553475053e-247): 0
* [misc]none:  (2.4920454965720488e-241): 0
* [misc]none:  (8.63476246502244e-94): 0
* [misc]none:  (1.1480211985789131e-156): 0
* [misc]none:  (4.091190676322657e-21): 0
* [misc]none:  (1.1663715170234023e-33): 0
* [misc]none:  (1.821316082219445e-31): 0
* [misc]none:  (5.965572216773997e-266): 0
* [misc]none:  (1.1867578517998852e-122): 0
* [misc]none:  (4.388887965185748e-231): 0
* [misc]none:  (2.8402608015100704e-250): 0
* [misc]none:  (5.258242405229196e-247): 0
* [misc]none:  (2.5076686139270383e-164): 0
* [misc]none:  (1.0389358047373285e-37): 0
* [misc]none:  (1.3687590050193055e-147): 0
* [misc]none:  (1.6542751192792692e-300): 0
* [misc]none:  (2.602023429993787e-14): 0
* [misc]none:  (2.415026600632841e-155): 0
* [misc]none:  (6.08182357871597e-19): 0
* [misc]none:  (3.919727770092923e-28): 0
* [misc]none:  (1.0684729481870001e-64): 0
* [misc]none:  (3.1520683467019444e-71): 0
* [misc]none:  (0.19659739803111875): 0
* [misc]none:  (2.4995037253728046e-268): 0
* [misc]none:  (4.637177905335891e-10): 0
* [misc]none:  (8.652041834233969e-101): 0
* [misc]none:  (3.7907433031673317e-256): 0
* [misc]none:  (8.76720870691781e-247): 0
* [misc]none:  (3.0044088767799776e-30): 0
* [misc]none:  (6.476730028728146e-228): 0
* [misc]none:  (4.097601147132013e-78): 0
* [misc]none:  (3.3390334975960143e-07): 0
* [misc]none:  (2.2475155879831534e-92): 0
* [misc]none:  (1.030614327019319e-115): 0
* [misc]none:  (3.6636765762957594e-187): 0
* [misc]none:  (1.3872947227834175e-251): 0
* [misc]none:  (7.12145855246931e-10): 0
* [misc]none:  (2.693461062117409e-112): 0
* [misc]none:  (2.43524332605807e-278): 0
* [misc]none:  (1.0576788912710565e-08): 0
* [misc]none:  (4.764080499693186e-90): 0
* [misc]none:  (2.884705125857619e-274): 0
* [misc]none:  (2.031068672850261e-255): 0
* [misc]none:  (4.642568065399805e-260): 0
* [misc]none:  (7.178809205583962e-175): 0
* [misc]none:  (1.4235559851356953e-239): 0
* [misc]none:  (4.74667737826054e-29): 0
* [misc]none:  (2.1335024129380783e-97): 0
* [misc]none:  (1.0233799517176219e-267): 0
* [misc]none:  (5.348181441205713e-277): 0
* [misc]none:  (2.6631876145177815e-299): 0
* [misc]none:  (1.4781375733319608e-242): 0
* [misc]none:  (1.6609596531041104e-183): 0
* [misc]none:  (5.41731325733976e-115): 0
* [misc]none:  (1.0395093493101161e-28): 0
* [misc]none:  (5.540829799846932e-307): 0
* [misc]none:  (8.949756960721031e-195): 0
* [misc]none:  (1.0160216232612932e-143): 0
* [misc]none:  (4.178563936936926e-127): 0
* [misc]none:  (6.629963208070179e-180): 0
* [misc]none:  (1.7005338626981419e-143): 0
* [misc]none:  (7.808994559121766e-111): 0
* [misc]none:  (8.788013174305029e-230): 0
* [misc]none:  (3.2454192740264175e-113): 0
* [misc]none:  (4.896551008070313e-307): 0
* [misc]none:  (6.351701463874224e-34): 0
* [misc]none:  (1.1127979592570306e-297): 0
* [misc]none:  (2.0134175477923286e-117): 0
* [misc]none:  (2.1370924660732585e-137): 0
* [misc]none:  (4.172324580820008e-133): 0
* [misc]none:  (1.6563474243613627e-33): 0
* [misc]none:  (2.0971939106770033e-216): 0
* [misc]none:  (1.504878381563487e-123): 0
* [misc]none:  (9.568527921939742e-273): 0
* [misc]none:  (1.7090726067739176e-227): 0
* [misc]none:  (7.696162327562603e-152): 0
* [misc]none:  (5.106850318067203e-223): 0
* [misc]none:  (1.3381086996667414e-215): 0
* [misc]none:  (1.0224180420716733e-52): 0
* [misc]none:  (9.705038014433044e-175): 0
* [misc]none:  (6.028770352690154e-151): 0
* [misc]none:  (1.6780592368033288e-262): 0
* [misc]none:  (2.973444851318118e-169): 0
* [misc]none:  (1.6828576275377584e-98): 0
* [misc]none:  (4.922686678959719e-213): 0
* [misc]none:  (5.752669291865014e-257): 0
* [misc]none:  (3.0310347416413137e-258): 0
* [misc]none:  (2.4757193927168845e-307): 0
* [misc]none:  (1.457018723838865e-35): 0
* [misc]none:  (9.424239481611678e-294): 0
* [misc]none:  (1.5096638452158614e-71): 0
* [misc]none:  (6.967234360883543e-112): 0
* [misc]none:  (3.1401318723071353e-131): 0
* [misc]none:  (0.228970627026966): 0
* [misc]none:  (2.1321881547753267e-44): 0
* [misc]none:  (1.7739584018359304e-207): 0
* [misc]none:  (6.866799226360426e-109): 0
* [misc]none:  (1.430295312965348e-149): 0
* [misc]none:  (3.0475240801607222e-148): 0
* [misc]none:  (1.4966275592591335e-123): 0
* [misc]none:  (6.384545099874781e-168): 0
* [misc]none:  (4.232269734875141e-205): 0
* [misc]none:  (2.68866513359689e-174): 0
* [misc]none:  (8.96636707501737e-13): 0
* [misc]none:  (1.6082525618587168e-259): 0
* [misc]none:  (2.7230496615379425e-188): 0
* [misc]none:  (7.15832835948139e-179): 0
* [misc]none:  (8.990843056511833e-32): 0
* [misc]none:  (6.754325943853309e-283): 0
* [misc]none:  (6.354961149716869e-97): 0
* [misc]none:  (2.8293820765322485e-296): 0
* [misc]none:  (9.871143682146977e-239): 0
* [misc]none:  (4.007761912625816e-148): 0
* [misc]none:  (1.120554825473697e-298): 0
* [misc]none:  (7.175557259725409e-49): 0
* [misc]none:  (4.4800031186106794e-70): 0
* [misc]none:  (2.5265807746711182e-73): 0
* [misc]none:  (1.4440898226736705e-53): 0
* [misc]none:  (2.3912903471184356e-134): 0
* [misc]none:  (1.534059348183312e-189): 0
* [misc]none:  (4.588817619865515e-83): 0
* [misc]none:  (1.074034252081928e-96): 0
* [misc]none:  (1.6570172448601563e-137): 0
* [misc]none:  (4.0623211606609595e-228): 0
* [misc]none:  (6.730955893129463e-197): 0
* [misc]none:  (6.724679859609688e-169): 0
* [misc]none:  (1.4230714989143866e-75): 0
* [misc]none:  (3.493084834288097e-125): 0
* [misc]none:  (3.2574885636926814e-211): 0
* [misc]none:  (1.3680169753287455e-53): 0
* [misc]none:  (2.2957389429922706e-176): 0
* [misc]none:  (1.9963004369674967e-80): 0
* [misc]none:  (1.5216315041338872e-218): 0
* [misc]none:  (1.6707151526371295e-190): 0
* [misc]none:  (5.1990169359560766e-256): 0
* [misc]none:  (8.044445972631143e-28): 0
* [misc]none:  (4.12100928340286e-184): 0
* [misc]none:  (8.361834195928021e-55): 0
* [misc]none:  (7.311006071291519e-101): 0
* [misc]none:  (8.382633428275648e-297): 0
* [misc]none:  (6.099737398723264e-279): 0
* [misc]none:  (2.6679523035634032e-104): 0
* [misc]none:  (2.870509274337958e-101): 0
* [misc]none:  (5.0588074473585105e-110): 0
* [misc]none:  (1.4351275309127672e-234): 0
* [misc]none:  (4.416557773834991e-25): 0
* [misc]none:  (3.0442880854679596e-31): 0
* [misc]none:  Picked alt (λ (x) (- (log (- (/ 1 x) 1))))
* * * * [misc]pick:  Picked  #<alt-event (λ (x) (- (log (- (/ 1 x) 1))))>
* * * [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.
* [enter]simplify:  Simplifying (- (log (- (/ 1 x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (8 enodes)
* [exit]simplify:  Simplified to (- (log (- (/ 1 x) 1)))
* * * * [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 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 5956 additional inputs, on iter 1 have 2044 / 8000
* * * * [misc]points:  Computing exacts on every 372 of 5956 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 186 of 5956 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 93 of 5956 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 46 of 5956 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 23 of 5956 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 11 of 5956 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 5 of 5956 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 5956 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 5956 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 4458 additional inputs, on iter 2 have 3542 / 8000
* * * * [misc]points:  Computing exacts on every 278 of 4458 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 139 of 4458 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 69 of 4458 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 34 of 4458 points 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 4458 points 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 4458 points 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 4458 points 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 4458 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 4458 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 3402 additional inputs, on iter 3 have 4598 / 8000
* * * * [misc]points:  Computing exacts on every 212 of 3402 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 106 of 3402 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 53 of 3402 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 26 of 3402 points 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 3402 points 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 3402 points 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 3402 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 3402 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 2544 additional inputs, on iter 4 have 5456 / 8000
* * * * [misc]points:  Computing exacts on every 159 of 2544 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 79 of 2544 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 39 of 2544 points 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 2544 points 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 2544 points 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 2544 points 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 2544 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 2544 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 1926 additional inputs, on iter 5 have 6074 / 8000
* * * * [misc]points:  Computing exacts on every 120 of 1926 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 60 of 1926 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 30 of 1926 points 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 1926 points 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 1926 points 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 1926 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 1926 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 1469 additional inputs, on iter 6 have 6531 / 8000
* * * * [misc]points:  Computing exacts on every 91 of 1469 points 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 1469 points 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 1469 points 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 1469 points 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 1469 points 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 1469 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 1469 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 1111 additional inputs, on iter 7 have 6889 / 8000
* * * * [misc]points:  Computing exacts on every 69 of 1111 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 34 of 1111 points 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 1111 points 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 1111 points 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 1111 points 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 1111 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 1111 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 832 additional inputs, on iter 8 have 7168 / 8000
* * * * [misc]points:  Computing exacts on every 52 of 832 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts on every 26 of 832 points 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 832 points 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 832 points 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 832 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 832 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 605 additional inputs, on iter 9 have 7395 / 8000
* * * * [misc]points:  Computing exacts on every 37 of 605 points 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 605 points 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 605 points 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 605 points 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 605 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 605 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 461 additional inputs, on iter 10 have 7539 / 8000
* * * * [misc]points:  Computing exacts on every 28 of 461 points 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 461 points 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 461 points 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 461 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 461 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 345 additional inputs, on iter 11 have 7655 / 8000
* * * * [misc]points:  Computing exacts on every 21 of 345 points 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 345 points 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 345 points 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 345 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 345 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 266 additional inputs, on iter 12 have 7734 / 8000
* * * * [misc]points:  Computing exacts on every 16 of 266 points 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 266 points 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 266 points 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 266 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 266 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 196 additional inputs, on iter 13 have 7804 / 8000
* * * * [misc]points:  Computing exacts on every 12 of 196 points 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 196 points 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 196 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 196 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 14 have 7849 / 8000
* * * * [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 113 additional inputs, on iter 15 have 7887 / 8000
* * * * [misc]points:  Computing exacts on every 7 of 113 points 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 113 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 113 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 83 additional inputs, on iter 16 have 7917 / 8000
* * * * [misc]points:  Computing exacts on every 5 of 83 points 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 83 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 83 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 64 additional inputs, on iter 17 have 7936 / 8000
* * * * [misc]points:  Computing exacts on every 4 of 64 points 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 64 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 64 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 51 additional inputs, on iter 18 have 7949 / 8000
* * * * [misc]points:  Computing exacts on every 3 of 51 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 51 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 36 additional inputs, on iter 19 have 7964 / 8000
* * * * [misc]points:  Computing exacts on every 2 of 36 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Computing exacts for 36 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 26 additional inputs, on iter 20 have 7974 / 8000
* * * * [misc]points:  Computing exacts for 26 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 19 additional inputs, on iter 21 have 7981 / 8000
* * * * [misc]points:  Computing exacts for 19 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 22 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 11 additional inputs, on iter 23 have 7989 / 8000
* * * * [misc]points:  Computing exacts for 11 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 7 additional inputs, on iter 24 have 7993 / 8000
* * * * [misc]points:  Computing exacts for 7 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 7 additional inputs, on iter 25 have 7993 / 8000
* * * * [misc]points:  Computing exacts for 7 points
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 26 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 27 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 28 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 29 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 30 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 31 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