* [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
* * * * [exit]points:  Sampled 256 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (+ x (* x x))
* * [misc]simplify:  iters left: 4 (3 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (11 enodes)
* * [misc]simplify:  iters left: 1 (17 enodes)
* [exit]simplify:  Simplified to (+ x (* x x))
* * [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) (+ x (* x x)))
* [misc]none:  Fresh alt indexes
* [misc]none:  (λ (x) (+ x (* x x))): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (6.631533367668695e-247): 0
* [misc]none:  (3.874240769799003e-133): 0
* [misc]none:  (1.5266304577022476e-192): 0
* [misc]none:  (1.2817996835734779e-110): 0
* [misc]none:  (5.575914186525261e-258): 0
* [misc]none:  (7.9805417538578e-288): 0
* [misc]none:  (5.576955031531267e-161): 0
* [misc]none:  (1.2509370018435348e-54): 0
* [misc]none:  (7.104750382164828e-270): 0
* [misc]none:  (2.1931076500376673e-290): 0
* [misc]none:  (2.52671246906866e-191): 0
* [misc]none:  (2.5918861797118038e-27): 0
* [misc]none:  (7.989326705532859e-308): 0
* [misc]none:  (4.413949881343618e-261): 0
* [misc]none:  (9.943460279791887e-17): 0
* [misc]none:  (3.977761674566421e-246): 0
* [misc]none:  (2.7839793641991385e-33): 0
* [misc]none:  (5.250335589200452e-191): 0
* [misc]none:  (1.3752397951119046e-33): 0
* [misc]none:  (1.4387215411847704e-303): 0
* [misc]none:  (6.864719583665898e-202): 0
* [misc]none:  (1.269584310930574e-291): 0
* [misc]none:  (9.374740507158658e-05): 0
* [misc]none:  (2.075989192069703e-196): 0
* [misc]none:  (4.628954138540799e-161): 0
* [misc]none:  (2.972922037923013e-55): 0
* [misc]none:  (3.563519590883565e-187): 0
* [misc]none:  (1.7549858822578779e-171): 0
* [misc]none:  (6.572086615037371e-242): 0
* [misc]none:  (2.938197995501076e-248): 0
* [misc]none:  (1.3286045363839998e-68): 0
* [misc]none:  (0.00042665931497692835): 0
* [misc]none:  (2.465321421175191e-200): 0
* [misc]none:  (5.8738193881573685e-136): 0
* [misc]none:  (1.55907131617319e-95): 0
* [misc]none:  (1.5289683501769252e-280): 0
* [misc]none:  (5.601473590213656e-274): 0
* [misc]none:  (1.3045950461382674e-67): 0
* [misc]none:  (5.949705208087822e-287): 0
* [misc]none:  (0.00018148668364902768): 0
* [misc]none:  (2.0124072700083647e-121): 0
* [misc]none:  (7.896282574104056e-101): 0
* [misc]none:  (2.1858171151243497e-17): 0
* [misc]none:  (3.5957302191364324e-306): 0
* [misc]none:  (1.2012199890120182e-204): 0
* [misc]none:  (3.108123129741157e-24): 0
* [misc]none:  (5.658373008336374e-242): 0
* [misc]none:  (8.56789708808451e-200): 0
* [misc]none:  (9.77437390419773e-15): 0
* [misc]none:  (1.781227607984906e-291): 0
* [misc]none:  (7.722530676583148e-124): 0
* [misc]none:  (9.182167256994586e-160): 0
* [misc]none:  (1.302657454747692e-260): 0
* [misc]none:  (7.20853259304216e-255): 0
* [misc]none:  (2.9322442311584125e-297): 0
* [misc]none:  (1.9340941935238453e-290): 0
* [misc]none:  (5.21788791697211e-232): 0
* [misc]none:  (5.9710409585828124e-251): 0
* [misc]none:  (1.2859681950772455e-240): 0
* [misc]none:  (1.425431654591661e-193): 0
* [misc]none:  (2.9573418292637274e-87): 0
* [misc]none:  (2.7226660601602103e-154): 0
* [misc]none:  (1.1266459097042912e-305): 0
* [misc]none:  (2.721542315236283e-270): 0
* [misc]none:  (7.403720186273332e-203): 0
* [misc]none:  (2.1572832695227204e-119): 0
* [misc]none:  (5.0134834048604575e-74): 0
* [misc]none:  (2.5785888251529762e-294): 0
* [misc]none:  (3.699702876154331e-09): 0
* [misc]none:  (1.7325812341453667e-66): 0
* [misc]none:  (3.4757905829492203e-15): 0
* [misc]none:  (3.7331751531080535e-291): 0
* [misc]none:  (5.226784584300344e-22): 0
* [misc]none:  (1.6079717989219075e-222): 0
* [misc]none:  (1.9358323923255943e-120): 0
* [misc]none:  (8.529861205983646e-288): 0
* [misc]none:  (1.551606112638611e-265): 0
* [misc]none:  (4.746641403172098e-199): 0
* [misc]none:  (2.3389087184239444e-271): 0
* [misc]none:  (0.10737327115658818): 0
* [misc]none:  (2.7629644445083603e-44): 0
* [misc]none:  (1.6450069581014568e-248): 0
* [misc]none:  (1.709018084353698e-175): 0
* [misc]none:  (3.6439628144252707e-65): 0
* [misc]none:  (4.51081977787008e-135): 0
* [misc]none:  (6.596606378737596e-292): 0
* [misc]none:  (5.551060662652979e-177): 0
* [misc]none:  (2.260434257554647e-51): 0
* [misc]none:  (1.6419608205163905e-298): 0
* [misc]none:  (1.7806858303524817e-184): 0
* [misc]none:  (1.0725284359366768e-167): 0
* [misc]none:  (4.512690420089813e-143): 0
* [misc]none:  (5.217650686257504e-149): 0
* [misc]none:  (1.0851089782988162e-116): 0
* [misc]none:  (5.821807023727479e-221): 0
* [misc]none:  (1.5820963703404766e-299): 0
* [misc]none:  (1.2264327692341065e-176): 0
* [misc]none:  (1.0740884406186937e-208): 0
* [misc]none:  (1.6637671728799824e-285): 0
* [misc]none:  (4.917645403462354e-199): 0
* [misc]none:  (1.0521089396641819e-259): 0
* [misc]none:  (2.1112835974209018e-260): 0
* [misc]none:  (8.480174938708373e-180): 0
* [misc]none:  (9.953953962530213e-09): 0
* [misc]none:  (9.342660534208844e-112): 0
* [misc]none:  (2.4885627929416664e-242): 0
* [misc]none:  (1.771615853990402e-286): 0
* [misc]none:  (1.1325551965062618e-181): 0
* [misc]none:  (1.82899604271219e-72): 0
* [misc]none:  (5.654336461135729e-131): 0
* [misc]none:  (9.789470969435343e-54): 0
* [misc]none:  (7.237144724370767e-308): 0
* [misc]none:  (1.661990331482996e-281): 0
* [misc]none:  (6.121865316522518e-270): 0
* [misc]none:  (5.8859664293652825e-61): 0
* [misc]none:  (4.674368842913457e-143): 0
* [misc]none:  (4.285428732921059e-117): 0
* [misc]none:  (9.620123093212755e-214): 0
* [misc]none:  (5.284699347582276e-98): 0
* [misc]none:  (2.6255628889610684e-219): 0
* [misc]none:  (1.5936731382154005e-130): 0
* [misc]none:  (1.6199903964927782e-162): 0
* [misc]none:  (5.1385633834324916e-62): 0
* [misc]none:  (7.074958549603583e-301): 0
* [misc]none:  (2.608490579955091e-261): 0
* [misc]none:  (8.308339922255624e-59): 0
* [misc]none:  (2.457040776898191e-290): 0
* [misc]none:  (3.502253959900218e-25): 0
* [misc]none:  (4.478326749462224e-115): 0
* [misc]none:  (7.56766020007303e-212): 0
* [misc]none:  (1.5578931502087284e-30): 0
* [misc]none:  (3.2077622695109358e-189): 0
* [misc]none:  (1.5562054958581596e-140): 0
* [misc]none:  (3.948034059656013e-67): 0
* [misc]none:  (2.0081499816744523e-158): 0
* [misc]none:  (8.189797404065347e-308): 0
* [misc]none:  (8.441498772632665e-22): 0
* [misc]none:  (5.763276028389503e-197): 0
* [misc]none:  (8.048427550117031e-218): 0
* [misc]none:  (1.0517253724753978e-198): 0
* [misc]none:  (5.6881071985383154e-58): 0
* [misc]none:  (2.5502917181190157e-259): 0
* [misc]none:  (2.9399756957306702e-173): 0
* [misc]none:  (4.08617327928522e-160): 0
* [misc]none:  (8.081218138137267e-280): 0
* [misc]none:  (6.952304918908952e-306): 0
* [misc]none:  (3.1389737183775163e-122): 0
* [misc]none:  (3.7603718751569026e-261): 0
* [misc]none:  (2.8438534049673558e-272): 0
* [misc]none:  (1.9534758762932878e-151): 0
* [misc]none:  (4.808340591079663e-20): 0
* [misc]none:  (6.741037961874124e-300): 0
* [misc]none:  (3.980105395104109e-32): 0
* [misc]none:  (3.0596960673035198e-226): 0
* [misc]none:  (7.116920605548396e-266): 0
* [misc]none:  (1.2516057658461356e-82): 0
* [misc]none:  (1.3007464685783498e-242): 0
* [misc]none:  (7.082167090250198e-233): 0
* [misc]none:  (2.968970421238244e-169): 0
* [misc]none:  (5.347535943345998e-178): 0
* [misc]none:  (5.327515018895129e-249): 0
* [misc]none:  (1.2752884784551893e-155): 0
* [misc]none:  (3.864960673716047e-288): 0
* [misc]none:  (2.3391803199923206e-97): 0
* [misc]none:  (1.5176166775495279e-226): 0
* [misc]none:  (6.90805258909794e-171): 0
* [misc]none:  (3.618411464435581e-192): 0
* [misc]none:  (1.6912661852422659e-149): 0
* [misc]none:  (2.736750264103802e-160): 0
* [misc]none:  (5.128399966721702e-46): 0
* [misc]none:  (4.308261595835549e-54): 0
* [misc]none:  (3.5525043597448257e-183): 0
* [misc]none:  (1.808540390719477e-62): 0
* [misc]none:  (4.7179994734737566e-287): 0
* [misc]none:  (2.4119975118317263e-131): 0
* [misc]none:  (2.2580325688121586e-151): 0
* [misc]none:  (7.944897694270623e-215): 0
* [misc]none:  (1.7538352753782624e-292): 0
* [misc]none:  (3.5561150494420223e-147): 0
* [misc]none:  (2.02077472294371e-91): 0
* [misc]none:  (9.846060451881996e-113): 0
* [misc]none:  (1.0216966646148785e-43): 0
* [misc]none:  (1.2751772677772214e-134): 0
* [misc]none:  (1.555139156466472e-98): 0
* [misc]none:  (2.372884808765514e-272): 0
* [misc]none:  (1.6207482582527526e-117): 0
* [misc]none:  (6.765033019013738e-100): 0
* [misc]none:  (7.455387471525627e-267): 0
* [misc]none:  (7.027168801399221e-234): 0
* [misc]none:  (1.9834978401458913e-112): 0
* [misc]none:  (1.0527121504186095e-29): 0
* [misc]none:  (9.343088504059767e-293): 0
* [misc]none:  (6.3290681509710966e-295): 0
* [misc]none:  (9.726706752089465e-97): 0
* [misc]none:  (1.5404519920268786e-109): 0
* [misc]none:  (4.0233261030297096e-26): 0
* [misc]none:  (0.0007033066431594705): 0
* [misc]none:  (2.5413873362866328e-282): 0
* [misc]none:  (1.2980476084294932e-275): 0
* [misc]none:  (1.1917224334068572e-231): 0
* [misc]none:  (1.0464770491492816e-180): 0
* [misc]none:  (3.0563392342941283e-232): 0
* [misc]none:  (1.5988656946743313e-279): 0
* [misc]none:  (1.2116042088642305e-151): 0
* [misc]none:  (1.8607874890713283e-305): 0
* [misc]none:  (4.024696620765135e-208): 0
* [misc]none:  (9.764453801585808e-270): 0
* [misc]none:  (1.171371030263257e-06): 0
* [misc]none:  (7.198978757057632e-90): 0
* [misc]none:  (1.3386286938301e-111): 0
* [misc]none:  (9.914013317132138e-203): 0
* [misc]none:  (6.918912967613001e-254): 0
* [misc]none:  (2.7673831794249993e-129): 0
* [misc]none:  (5.582658182122792e-92): 0
* [misc]none:  (2.1209284282302555e-263): 0
* [misc]none:  (4.54943213602206e-12): 0
* [misc]none:  (8.37221863580538e-96): 0
* [misc]none:  (1.0964723241509145e-122): 0
* [misc]none:  (3.6459586529125364e-63): 0
* [misc]none:  (1.1729640104104262e-201): 0
* [misc]none:  (3.0267087417025897e-180): 0
* [misc]none:  (3.731059371494292e-122): 0
* [misc]none:  (1.1947716224480122e-14): 0
* [misc]none:  (3.8493481173074485e-29): 0
* [misc]none:  (2.9615988239690745e-275): 0
* [misc]none:  (2.9941544608439522e-36): 0
* [misc]none:  (1.4910230975187153e-272): 0
* [misc]none:  (3.6609012761455973e-214): 0
* [misc]none:  (6.253436916930921e-37): 0
* [misc]none:  (1.0909305503063087e-293): 0
* [misc]none:  (9.622129468728692e-240): 0
* [misc]none:  (0.05080116172869987): 0
* [misc]none:  (2.878239486168867e-31): 0
* [misc]none:  (6.4973719411009024e-167): 0
* [misc]none:  (9.967936979858178e-271): 0
* [misc]none:  (1.9259008240997282e-290): 0
* [misc]none:  (5.909472594243845e-59): 0
* [misc]none:  (1.3263586752810505e-214): 0
* [misc]none:  (1.6263560297169768e-143): 0
* [misc]none:  (2.3171725547281396e-135): 0
* [misc]none:  (5.174093519224944e-282): 0
* [misc]none:  (3.0434081010095254e-125): 0
* [misc]none:  (7.798409935799988e-189): 0
* [misc]none:  (9.666074224539708e-27): 0
* [misc]none:  (7.285258927947118e-164): 0
* [misc]none:  (3.406092495932963e-154): 0
* [misc]none:  (3.4616731323894443e-165): 0
* [misc]none:  (1.8055675524074408e-09): 0
* [misc]none:  (4.461574351856512e-48): 0
* [misc]none:  (1.0558347006878427e-30): 0
* [misc]none:  (3.4649308607787965e-90): 0
* [misc]none:  (6.283674366345189e-56): 0
* [misc]none:  (9.36536841772645e-254): 0
* [misc]none:  (3.6962239445376487e-124): 0
* [misc]none:  (6.509547911036244e-107): 0
* [misc]none:  (5.583512959565532e-111): 0
* [misc]none:  All alt indexes
* [misc]none:  (λ (x) (+ x (* x x))): 0
* [misc]none:  Best alt per point
* [misc]none:  (6.631533367668695e-247): 0
* [misc]none:  (3.874240769799003e-133): 0
* [misc]none:  (1.5266304577022476e-192): 0
* [misc]none:  (1.2817996835734779e-110): 0
* [misc]none:  (5.575914186525261e-258): 0
* [misc]none:  (7.9805417538578e-288): 0
* [misc]none:  (5.576955031531267e-161): 0
* [misc]none:  (1.2509370018435348e-54): 0
* [misc]none:  (7.104750382164828e-270): 0
* [misc]none:  (2.1931076500376673e-290): 0
* [misc]none:  (2.52671246906866e-191): 0
* [misc]none:  (2.5918861797118038e-27): 0
* [misc]none:  (7.989326705532859e-308): 0
* [misc]none:  (4.413949881343618e-261): 0
* [misc]none:  (9.943460279791887e-17): 0
* [misc]none:  (3.977761674566421e-246): 0
* [misc]none:  (2.7839793641991385e-33): 0
* [misc]none:  (5.250335589200452e-191): 0
* [misc]none:  (1.3752397951119046e-33): 0
* [misc]none:  (1.4387215411847704e-303): 0
* [misc]none:  (6.864719583665898e-202): 0
* [misc]none:  (1.269584310930574e-291): 0
* [misc]none:  (9.374740507158658e-05): 0
* [misc]none:  (2.075989192069703e-196): 0
* [misc]none:  (4.628954138540799e-161): 0
* [misc]none:  (2.972922037923013e-55): 0
* [misc]none:  (3.563519590883565e-187): 0
* [misc]none:  (1.7549858822578779e-171): 0
* [misc]none:  (6.572086615037371e-242): 0
* [misc]none:  (2.938197995501076e-248): 0
* [misc]none:  (1.3286045363839998e-68): 0
* [misc]none:  (0.00042665931497692835): 0
* [misc]none:  (2.465321421175191e-200): 0
* [misc]none:  (5.8738193881573685e-136): 0
* [misc]none:  (1.55907131617319e-95): 0
* [misc]none:  (1.5289683501769252e-280): 0
* [misc]none:  (5.601473590213656e-274): 0
* [misc]none:  (1.3045950461382674e-67): 0
* [misc]none:  (5.949705208087822e-287): 0
* [misc]none:  (0.00018148668364902768): 0
* [misc]none:  (2.0124072700083647e-121): 0
* [misc]none:  (7.896282574104056e-101): 0
* [misc]none:  (2.1858171151243497e-17): 0
* [misc]none:  (3.5957302191364324e-306): 0
* [misc]none:  (1.2012199890120182e-204): 0
* [misc]none:  (3.108123129741157e-24): 0
* [misc]none:  (5.658373008336374e-242): 0
* [misc]none:  (8.56789708808451e-200): 0
* [misc]none:  (9.77437390419773e-15): 0
* [misc]none:  (1.781227607984906e-291): 0
* [misc]none:  (7.722530676583148e-124): 0
* [misc]none:  (9.182167256994586e-160): 0
* [misc]none:  (1.302657454747692e-260): 0
* [misc]none:  (7.20853259304216e-255): 0
* [misc]none:  (2.9322442311584125e-297): 0
* [misc]none:  (1.9340941935238453e-290): 0
* [misc]none:  (5.21788791697211e-232): 0
* [misc]none:  (5.9710409585828124e-251): 0
* [misc]none:  (1.2859681950772455e-240): 0
* [misc]none:  (1.425431654591661e-193): 0
* [misc]none:  (2.9573418292637274e-87): 0
* [misc]none:  (2.7226660601602103e-154): 0
* [misc]none:  (1.1266459097042912e-305): 0
* [misc]none:  (2.721542315236283e-270): 0
* [misc]none:  (7.403720186273332e-203): 0
* [misc]none:  (2.1572832695227204e-119): 0
* [misc]none:  (5.0134834048604575e-74): 0
* [misc]none:  (2.5785888251529762e-294): 0
* [misc]none:  (3.699702876154331e-09): 0
* [misc]none:  (1.7325812341453667e-66): 0
* [misc]none:  (3.4757905829492203e-15): 0
* [misc]none:  (3.7331751531080535e-291): 0
* [misc]none:  (5.226784584300344e-22): 0
* [misc]none:  (1.6079717989219075e-222): 0
* [misc]none:  (1.9358323923255943e-120): 0
* [misc]none:  (8.529861205983646e-288): 0
* [misc]none:  (1.551606112638611e-265): 0
* [misc]none:  (4.746641403172098e-199): 0
* [misc]none:  (2.3389087184239444e-271): 0
* [misc]none:  (0.10737327115658818): 0
* [misc]none:  (2.7629644445083603e-44): 0
* [misc]none:  (1.6450069581014568e-248): 0
* [misc]none:  (1.709018084353698e-175): 0
* [misc]none:  (3.6439628144252707e-65): 0
* [misc]none:  (4.51081977787008e-135): 0
* [misc]none:  (6.596606378737596e-292): 0
* [misc]none:  (5.551060662652979e-177): 0
* [misc]none:  (2.260434257554647e-51): 0
* [misc]none:  (1.6419608205163905e-298): 0
* [misc]none:  (1.7806858303524817e-184): 0
* [misc]none:  (1.0725284359366768e-167): 0
* [misc]none:  (4.512690420089813e-143): 0
* [misc]none:  (5.217650686257504e-149): 0
* [misc]none:  (1.0851089782988162e-116): 0
* [misc]none:  (5.821807023727479e-221): 0
* [misc]none:  (1.5820963703404766e-299): 0
* [misc]none:  (1.2264327692341065e-176): 0
* [misc]none:  (1.0740884406186937e-208): 0
* [misc]none:  (1.6637671728799824e-285): 0
* [misc]none:  (4.917645403462354e-199): 0
* [misc]none:  (1.0521089396641819e-259): 0
* [misc]none:  (2.1112835974209018e-260): 0
* [misc]none:  (8.480174938708373e-180): 0
* [misc]none:  (9.953953962530213e-09): 0
* [misc]none:  (9.342660534208844e-112): 0
* [misc]none:  (2.4885627929416664e-242): 0
* [misc]none:  (1.771615853990402e-286): 0
* [misc]none:  (1.1325551965062618e-181): 0
* [misc]none:  (1.82899604271219e-72): 0
* [misc]none:  (5.654336461135729e-131): 0
* [misc]none:  (9.789470969435343e-54): 0
* [misc]none:  (7.237144724370767e-308): 0
* [misc]none:  (1.661990331482996e-281): 0
* [misc]none:  (6.121865316522518e-270): 0
* [misc]none:  (5.8859664293652825e-61): 0
* [misc]none:  (4.674368842913457e-143): 0
* [misc]none:  (4.285428732921059e-117): 0
* [misc]none:  (9.620123093212755e-214): 0
* [misc]none:  (5.284699347582276e-98): 0
* [misc]none:  (2.6255628889610684e-219): 0
* [misc]none:  (1.5936731382154005e-130): 0
* [misc]none:  (1.6199903964927782e-162): 0
* [misc]none:  (5.1385633834324916e-62): 0
* [misc]none:  (7.074958549603583e-301): 0
* [misc]none:  (2.608490579955091e-261): 0
* [misc]none:  (8.308339922255624e-59): 0
* [misc]none:  (2.457040776898191e-290): 0
* [misc]none:  (3.502253959900218e-25): 0
* [misc]none:  (4.478326749462224e-115): 0
* [misc]none:  (7.56766020007303e-212): 0
* [misc]none:  (1.5578931502087284e-30): 0
* [misc]none:  (3.2077622695109358e-189): 0
* [misc]none:  (1.5562054958581596e-140): 0
* [misc]none:  (3.948034059656013e-67): 0
* [misc]none:  (2.0081499816744523e-158): 0
* [misc]none:  (8.189797404065347e-308): 0
* [misc]none:  (8.441498772632665e-22): 0
* [misc]none:  (5.763276028389503e-197): 0
* [misc]none:  (8.048427550117031e-218): 0
* [misc]none:  (1.0517253724753978e-198): 0
* [misc]none:  (5.6881071985383154e-58): 0
* [misc]none:  (2.5502917181190157e-259): 0
* [misc]none:  (2.9399756957306702e-173): 0
* [misc]none:  (4.08617327928522e-160): 0
* [misc]none:  (8.081218138137267e-280): 0
* [misc]none:  (6.952304918908952e-306): 0
* [misc]none:  (3.1389737183775163e-122): 0
* [misc]none:  (3.7603718751569026e-261): 0
* [misc]none:  (2.8438534049673558e-272): 0
* [misc]none:  (1.9534758762932878e-151): 0
* [misc]none:  (4.808340591079663e-20): 0
* [misc]none:  (6.741037961874124e-300): 0
* [misc]none:  (3.980105395104109e-32): 0
* [misc]none:  (3.0596960673035198e-226): 0
* [misc]none:  (7.116920605548396e-266): 0
* [misc]none:  (1.2516057658461356e-82): 0
* [misc]none:  (1.3007464685783498e-242): 0
* [misc]none:  (7.082167090250198e-233): 0
* [misc]none:  (2.968970421238244e-169): 0
* [misc]none:  (5.347535943345998e-178): 0
* [misc]none:  (5.327515018895129e-249): 0
* [misc]none:  (1.2752884784551893e-155): 0
* [misc]none:  (3.864960673716047e-288): 0
* [misc]none:  (2.3391803199923206e-97): 0
* [misc]none:  (1.5176166775495279e-226): 0
* [misc]none:  (6.90805258909794e-171): 0
* [misc]none:  (3.618411464435581e-192): 0
* [misc]none:  (1.6912661852422659e-149): 0
* [misc]none:  (2.736750264103802e-160): 0
* [misc]none:  (5.128399966721702e-46): 0
* [misc]none:  (4.308261595835549e-54): 0
* [misc]none:  (3.5525043597448257e-183): 0
* [misc]none:  (1.808540390719477e-62): 0
* [misc]none:  (4.7179994734737566e-287): 0
* [misc]none:  (2.4119975118317263e-131): 0
* [misc]none:  (2.2580325688121586e-151): 0
* [misc]none:  (7.944897694270623e-215): 0
* [misc]none:  (1.7538352753782624e-292): 0
* [misc]none:  (3.5561150494420223e-147): 0
* [misc]none:  (2.02077472294371e-91): 0
* [misc]none:  (9.846060451881996e-113): 0
* [misc]none:  (1.0216966646148785e-43): 0
* [misc]none:  (1.2751772677772214e-134): 0
* [misc]none:  (1.555139156466472e-98): 0
* [misc]none:  (2.372884808765514e-272): 0
* [misc]none:  (1.6207482582527526e-117): 0
* [misc]none:  (6.765033019013738e-100): 0
* [misc]none:  (7.455387471525627e-267): 0
* [misc]none:  (7.027168801399221e-234): 0
* [misc]none:  (1.9834978401458913e-112): 0
* [misc]none:  (1.0527121504186095e-29): 0
* [misc]none:  (9.343088504059767e-293): 0
* [misc]none:  (6.3290681509710966e-295): 0
* [misc]none:  (9.726706752089465e-97): 0
* [misc]none:  (1.5404519920268786e-109): 0
* [misc]none:  (4.0233261030297096e-26): 0
* [misc]none:  (0.0007033066431594705): 0
* [misc]none:  (2.5413873362866328e-282): 0
* [misc]none:  (1.2980476084294932e-275): 0
* [misc]none:  (1.1917224334068572e-231): 0
* [misc]none:  (1.0464770491492816e-180): 0
* [misc]none:  (3.0563392342941283e-232): 0
* [misc]none:  (1.5988656946743313e-279): 0
* [misc]none:  (1.2116042088642305e-151): 0
* [misc]none:  (1.8607874890713283e-305): 0
* [misc]none:  (4.024696620765135e-208): 0
* [misc]none:  (9.764453801585808e-270): 0
* [misc]none:  (1.171371030263257e-06): 0
* [misc]none:  (7.198978757057632e-90): 0
* [misc]none:  (1.3386286938301e-111): 0
* [misc]none:  (9.914013317132138e-203): 0
* [misc]none:  (6.918912967613001e-254): 0
* [misc]none:  (2.7673831794249993e-129): 0
* [misc]none:  (5.582658182122792e-92): 0
* [misc]none:  (2.1209284282302555e-263): 0
* [misc]none:  (4.54943213602206e-12): 0
* [misc]none:  (8.37221863580538e-96): 0
* [misc]none:  (1.0964723241509145e-122): 0
* [misc]none:  (3.6459586529125364e-63): 0
* [misc]none:  (1.1729640104104262e-201): 0
* [misc]none:  (3.0267087417025897e-180): 0
* [misc]none:  (3.731059371494292e-122): 0
* [misc]none:  (1.1947716224480122e-14): 0
* [misc]none:  (3.8493481173074485e-29): 0
* [misc]none:  (2.9615988239690745e-275): 0
* [misc]none:  (2.9941544608439522e-36): 0
* [misc]none:  (1.4910230975187153e-272): 0
* [misc]none:  (3.6609012761455973e-214): 0
* [misc]none:  (6.253436916930921e-37): 0
* [misc]none:  (1.0909305503063087e-293): 0
* [misc]none:  (9.622129468728692e-240): 0
* [misc]none:  (0.05080116172869987): 0
* [misc]none:  (2.878239486168867e-31): 0
* [misc]none:  (6.4973719411009024e-167): 0
* [misc]none:  (9.967936979858178e-271): 0
* [misc]none:  (1.9259008240997282e-290): 0
* [misc]none:  (5.909472594243845e-59): 0
* [misc]none:  (1.3263586752810505e-214): 0
* [misc]none:  (1.6263560297169768e-143): 0
* [misc]none:  (2.3171725547281396e-135): 0
* [misc]none:  (5.174093519224944e-282): 0
* [misc]none:  (3.0434081010095254e-125): 0
* [misc]none:  (7.798409935799988e-189): 0
* [misc]none:  (9.666074224539708e-27): 0
* [misc]none:  (7.285258927947118e-164): 0
* [misc]none:  (3.406092495932963e-154): 0
* [misc]none:  (3.4616731323894443e-165): 0
* [misc]none:  (1.8055675524074408e-09): 0
* [misc]none:  (4.461574351856512e-48): 0
* [misc]none:  (1.0558347006878427e-30): 0
* [misc]none:  (3.4649308607787965e-90): 0
* [misc]none:  (6.283674366345189e-56): 0
* [misc]none:  (9.36536841772645e-254): 0
* [misc]none:  (3.6962239445376487e-124): 0
* [misc]none:  (6.509547911036244e-107): 0
* [misc]none:  (5.583512959565532e-111): 0
* [misc]none:  Picked alt (λ (x) (+ x (* x x)))
* * * * [misc]pick:  Picked  #<alt-event (λ (x) (+ x (* x x)))>
* * * [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 (+ x (* x x))
* * [misc]simplify:  iters left: 4 (3 enodes)
* * [misc]simplify:  iters left: 3 (4 enodes)
* [exit]simplify:  Simplified to (+ (* x x) x)
* * * * [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
* * * * [exit]points:  Sampled 8000 points with exact outputs