* [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:  Setting MPFR precision to 832
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 256 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 56 additional inputs, on iter 1 have 200 / 256
* * * * [misc]points:  Computing exacts on every 3 of 56 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 56 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 17 additional inputs, on iter 2 have 239 / 256
* * * * [misc]points:  Computing exacts for 17 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 3 have 254 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 258 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (log (+ 1 x))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (8 enodes)
* [exit]simplify:  Simplified to (log1p 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) (log1p x))
* [misc]none:  Fresh alt indexes
* [misc]none:  (λ (x) (log1p x)): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (-2.9451802210491167e-226): 0
* [misc]none:  (4.5690448860660455e-67): 0
* [misc]none:  (1.2792918576789026e+83): 0
* [misc]none:  (-4.213852294319719e-45): 0
* [misc]none:  (3.108236652528406e-297): 0
* [misc]none:  (7.181266914182018e-165): 0
* [misc]none:  (7.579416102405756e+264): 0
* [misc]none:  (-4.054936013280633e-214): 0
* [misc]none:  (522133630.66589946): 0
* [misc]none:  (-5.931595524156171e-137): 0
* [misc]none:  (7.707611608802171e+62): 0
* [misc]none:  (1.152518328416828e+180): 0
* [misc]none:  (8.804518541136453e+46): 0
* [misc]none:  (1.1353295840851429e-96): 0
* [misc]none:  (-1.9487210599798821e-283): 0
* [misc]none:  (2.347768069961951e-79): 0
* [misc]none:  (7.595028648060239e-286): 0
* [misc]none:  (-1.7004214918492403e-195): 0
* [misc]none:  (257428378187.19754): 0
* [misc]none:  (4.0029288312831376e+229): 0
* [misc]none:  (-5.689324367802329e-246): 0
* [misc]none:  (-4.3909971879838963e-305): 0
* [misc]none:  (1.1909630224861144e-308): 0
* [misc]none:  (2.5976261349663673e+194): 0
* [misc]none:  (4.713564345937309e+51): 0
* [misc]none:  (2.4339041047854203e+128): 0
* [misc]none:  (-2.930048407292739e-56): 0
* [misc]none:  (4.807691125223642e+307): 0
* [misc]none:  (2.4189569765995642e+235): 0
* [misc]none:  (-6.427869387517747e-307): 0
* [misc]none:  (9.212199844523645e-229): 0
* [misc]none:  (-1.2461956087023843e-38): 0
* [misc]none:  (5.0806815187366375e+166): 0
* [misc]none:  (4.873854048773888e+106): 0
* [misc]none:  (2.5837312003366534e+84): 0
* [misc]none:  (1.2300916721937489e+185): 0
* [misc]none:  (5.9776582784273185e+256): 0
* [misc]none:  (3.003386221248247e-77): 0
* [misc]none:  (7.613990227232114e-101): 0
* [misc]none:  (1.4369290385678577e-161): 0
* [misc]none:  (-1.8419406107088546e-16): 0
* [misc]none:  (2.3887736368263357e-225): 0
* [misc]none:  (-6.168974554229468e-230): 0
* [misc]none:  (2.116370076668309e-191): 0
* [misc]none:  (-1.1883563404969162e-50): 0
* [misc]none:  (-6.903597812238514e-236): 0
* [misc]none:  (1.1142271720543672e-206): 0
* [misc]none:  (4.324852362991129e+210): 0
* [misc]none:  (2.8003106991789085e-69): 0
* [misc]none:  (-3.912955183972641e-245): 0
* [misc]none:  (7.640371856720311e+193): 0
* [misc]none:  (3.438873899519122e+171): 0
* [misc]none:  (1.8186504690640068e+223): 0
* [misc]none:  (5.515506992492392e-277): 0
* [misc]none:  (2.595646488837273e-219): 0
* [misc]none:  (-1.0403226659956264e-12): 0
* [misc]none:  (5.476456469319565e+77): 0
* [misc]none:  (9.915398041121362e+277): 0
* [misc]none:  (4.116349531400419e+59): 0
* [misc]none:  (3.7023764599519414e+64): 0
* [misc]none:  (1.1375933635893308e+160): 0
* [misc]none:  (-5.655718042216706e-88): 0
* [misc]none:  (3.19314088639968e-300): 0
* [misc]none:  (7.10649025136688e+263): 0
* [misc]none:  (3.308825514112168e+294): 0
* [misc]none:  (-2.460746881557577e-120): 0
* [misc]none:  (2.6209483109511002e-99): 0
* [misc]none:  (1.0152763243033748e+142): 0
* [misc]none:  (3.1947368360544475e+37): 0
* [misc]none:  (-1.184307734105162e-152): 0
* [misc]none:  (3.9436987604242746e-188): 0
* [misc]none:  (1.2987545615858837e-229): 0
* [misc]none:  (4.072041399031216e+135): 0
* [misc]none:  (3.886264623793198e+50): 0
* [misc]none:  (1.3556558330338219e-279): 0
* [misc]none:  (2.0115211857947715e+45): 0
* [misc]none:  (5.600091178152213e-210): 0
* [misc]none:  (7.360949206952843e-212): 0
* [misc]none:  (3.6323351005324725e+74): 0
* [misc]none:  (-4.623471500501843e-242): 0
* [misc]none:  (5.1613450216466796e+222): 0
* [misc]none:  (5.235172412726717e+152): 0
* [misc]none:  (3.9088394890922115e+223): 0
* [misc]none:  (3.345926165056854e+246): 0
* [misc]none:  (2.924154450481512e-86): 0
* [misc]none:  (1.1766044207630259e-195): 0
* [misc]none:  (3.799449287593535e+246): 0
* [misc]none:  (-0.014763539181529813): 0
* [misc]none:  (-2.5295585364629736e-253): 0
* [misc]none:  (3.125863179986306e-134): 0
* [misc]none:  (-8.950192398328319e-216): 0
* [misc]none:  (1.2265182674709907e+198): 0
* [misc]none:  (3.136601910786915e+46): 0
* [misc]none:  (-1.7783570294902284e-29): 0
* [misc]none:  (4.1738948781395064e+263): 0
* [misc]none:  (4.319230432601922e-289): 0
* [misc]none:  (1.878611753272109e+229): 0
* [misc]none:  (6.0910080487156845e-145): 0
* [misc]none:  (1.716393032678617e+87): 0
* [misc]none:  (-3.2028793163485514e-267): 0
* [misc]none:  (-5.767560760391122e-80): 0
* [misc]none:  (3.087465078472461e-297): 0
* [misc]none:  (11105828726598036.0): 0
* [misc]none:  (1.8641835944090122e-68): 0
* [misc]none:  (4.082771820413304e+20): 0
* [misc]none:  (2.9298628929536803e-07): 0
* [misc]none:  (2.112352033422511e-76): 0
* [misc]none:  (-1.4985268459995148e-46): 0
* [misc]none:  (5.682432409793209e-103): 0
* [misc]none:  (3.763740454339611e-154): 0
* [misc]none:  (2.296991649120878e+37): 0
* [misc]none:  (3.5701416837580245e+199): 0
* [misc]none:  (2.337605690906294e-85): 0
* [misc]none:  (-4.885442056107934e-227): 0
* [misc]none:  (3.9227841234365035e+76): 0
* [misc]none:  (-3.356284453668777e-114): 0
* [misc]none:  (4.984374966308376e+225): 0
* [misc]none:  (1.882765755995834e+18): 0
* [misc]none:  (1.939469755263449e-274): 0
* [misc]none:  (2.0558821145728443e-244): 0
* [misc]none:  (7.118304679887613e-64): 0
* [misc]none:  (2.3966615634258388e-54): 0
* [misc]none:  (-5.628195320915282e-68): 0
* [misc]none:  (2.8183580936830136e+173): 0
* [misc]none:  (-3.2549065076282373e-223): 0
* [misc]none:  (-2.9085637996437565e-109): 0
* [misc]none:  (-6.751934028520499e-153): 0
* [misc]none:  (1.0609576781328471e-51): 0
* [misc]none:  (-2.9598382711916395e-27): 0
* [misc]none:  (1.953450184014831e+240): 0
* [misc]none:  (1.9357477509582754e-93): 0
* [misc]none:  (-3.868414697676859e-187): 0
* [misc]none:  (127403.86295705284): 0
* [misc]none:  (-0.00034026123764188893): 0
* [misc]none:  (-6.976081079926557e-283): 0
* [misc]none:  (-3.37039684741933e-178): 0
* [misc]none:  (-2.4597612805403014e-225): 0
* [misc]none:  (3.703142739667792e+145): 0
* [misc]none:  (2.0217918620332625e-85): 0
* [misc]none:  (5.6334012743355e-180): 0
* [misc]none:  (2.2204044591450003e+49): 0
* [misc]none:  (2.872174301870785e-238): 0
* [misc]none:  (-7.645827496994951e-25): 0
* [misc]none:  (5.725707728057964e+165): 0
* [misc]none:  (1.0486772986933419e+51): 0
* [misc]none:  (2.885576028912994e-235): 0
* [misc]none:  (-4.494398935743406e-151): 0
* [misc]none:  (1.6819327664275566e+227): 0
* [misc]none:  (2.7377399598585416e-269): 0
* [misc]none:  (656785701220.522): 0
* [misc]none:  (1.2391428993123195e-53): 0
* [misc]none:  (3.206221419912265e+51): 0
* [misc]none:  (-9.565609472547322e-124): 0
* [misc]none:  (-7.966969819213301e-111): 0
* [misc]none:  (3.221198963762039e+166): 0
* [misc]none:  (4.1941250065146804e+123): 0
* [misc]none:  (5.834035641946906e-257): 0
* [misc]none:  (3.906362661689762e+158): 0
* [misc]none:  (-2.0517902863946083e-102): 0
* [misc]none:  (-1.7127652241866663e-27): 0
* [misc]none:  (1.1525212824649757e+173): 0
* [misc]none:  (2.1519168903719224e-48): 0
* [misc]none:  (-1.933548091484468e-204): 0
* [misc]none:  (-1.9108430739228874e-168): 0
* [misc]none:  (2.5954317092090663e+188): 0
* [misc]none:  (1.2296515355157788e+308): 0
* [misc]none:  (2.467422452934927e-37): 0
* [misc]none:  (5.976566162781828e-262): 0
* [misc]none:  (4.0522267480412145e+189): 0
* [misc]none:  (-4.452114039611652e-132): 0
* [misc]none:  (1.638426277474575e-287): 0
* [misc]none:  (1.1394954880619105e+204): 0
* [misc]none:  (7.12002652771949e+38): 0
* [misc]none:  (-1.0864842934460505e-25): 0
* [misc]none:  (3.1888170814308676e+138): 0
* [misc]none:  (-1.142257873712315e-49): 0
* [misc]none:  (-3.0074667053035266e-198): 0
* [misc]none:  (7.549936203493533e-264): 0
* [misc]none:  (-7.706007717334245e-133): 0
* [misc]none:  (1.9142734474564412e+250): 0
* [misc]none:  (-1.917715355857765e-213): 0
* [misc]none:  (-1.2153695779764702e-107): 0
* [misc]none:  (-5.6718708555151934e-182): 0
* [misc]none:  (1.2321306439728458e+129): 0
* [misc]none:  (1.9978503540907537e+101): 0
* [misc]none:  (8.837317626991618e+153): 0
* [misc]none:  (-4.077199751463202e-279): 0
* [misc]none:  (3.561052370274286e+222): 0
* [misc]none:  (1.3132191418449429e+272): 0
* [misc]none:  (161670548.36131597): 0
* [misc]none:  (1.2154965615643017e-95): 0
* [misc]none:  (3.335747506626598e+164): 0
* [misc]none:  (1.7054753386147003e-193): 0
* [misc]none:  (1.417395857982962e+112): 0
* [misc]none:  (1.0400546097675973e-191): 0
* [misc]none:  (-1.7028093168367145e-212): 0
* [misc]none:  (-3.61122588585932e-122): 0
* [misc]none:  (-4.1072671632900297e-249): 0
* [misc]none:  (1.2926844442603449e-272): 0
* [misc]none:  (6.777020097920311e+216): 0
* [misc]none:  (-4.994865514247891e-53): 0
* [misc]none:  (8.02593234133885e-135): 0
* [misc]none:  (2.416983450303648e+283): 0
* [misc]none:  (4.3691114851826394e+164): 0
* [misc]none:  (-3.2452411716841134e-254): 0
* [misc]none:  (4.693484541613577e-225): 0
* [misc]none:  (-6.27613587070019e-241): 0
* [misc]none:  (1.488087021136329e-285): 0
* [misc]none:  (1.9700593229138827e-50): 0
* [misc]none:  (-7.343076758450515e-245): 0
* [misc]none:  (976625461889127.8): 0
* [misc]none:  (1.6501972239963874e-258): 0
* [misc]none:  (-1.9062985237621918e-44): 0
* [misc]none:  (-7.188940579708169e-182): 0
* [misc]none:  (-3.5617683302613897e-208): 0
* [misc]none:  (3.049268063166789e-38): 0
* [misc]none:  (-3.2414750156447513e-81): 0
* [misc]none:  (-9.695048812228804e-33): 0
* [misc]none:  (4.3191412376834275e+249): 0
* [misc]none:  (1.2650453722225915e+227): 0
* [misc]none:  (-3.468803990975246e-114): 0
* [misc]none:  (-1.4358426706351876e-229): 0
* [misc]none:  (1.4932339006735016e+157): 0
* [misc]none:  (3.1812804254524387e+233): 0
* [misc]none:  (-1.367452993894295e-129): 0
* [misc]none:  (6.343584508561789e+87): 0
* [misc]none:  (3.388041199273477e-265): 0
* [misc]none:  (3.7476721237841876e-281): 0
* [misc]none:  (4.811543151950025e-33): 0
* [misc]none:  (-9.85118113779452e-207): 0
* [misc]none:  (1.7265727720717877e-65): 0
* [misc]none:  (6.525431496731668e-64): 0
* [misc]none:  (1.0982823072397984e+136): 0
* [misc]none:  (2.704077310435608e-253): 0
* [misc]none:  (3.1639399211332326e+205): 0
* [misc]none:  (2.7511202385052856e-18): 0
* [misc]none:  (3.82956155404422e-299): 0
* [misc]none:  (5.765366200121622e+260): 0
* [misc]none:  (-8.2157022007629e-58): 0
* [misc]none:  (-8.347536812100916e-44): 0
* [misc]none:  (-2.710750607360271e-260): 0
* [misc]none:  (4.296582624822391e-200): 0
* [misc]none:  (1.733700273392293e+77): 0
* [misc]none:  (-2.8582758774924267e-140): 0
* [misc]none:  (9.139158849230913e-305): 0
* [misc]none:  (6.683383915725252e-271): 0
* [misc]none:  (1.830961252259433e-59): 0
* [misc]none:  (-1.7614646333235536e-68): 0
* [misc]none:  (4.068667347744151e-179): 0
* [misc]none:  (8.630725328355339e+266): 0
* [misc]none:  (2.0934780804159847e+108): 0
* [misc]none:  (-2.7764650204569527e-216): 0
* [misc]none:  (-3.81685776062912e-89): 0
* [misc]none:  (3.853952974089327e-228): 0
* [misc]none:  (-5.100815418059268e-90): 0
* [misc]none:  (6.487293944891719e+78): 0
* [misc]none:  All alt indexes
* [misc]none:  (λ (x) (log1p x)): 0
* [misc]none:  Best alt per point
* [misc]none:  (-2.9451802210491167e-226): 0
* [misc]none:  (4.5690448860660455e-67): 0
* [misc]none:  (1.2792918576789026e+83): 0
* [misc]none:  (-4.213852294319719e-45): 0
* [misc]none:  (3.108236652528406e-297): 0
* [misc]none:  (7.181266914182018e-165): 0
* [misc]none:  (7.579416102405756e+264): 0
* [misc]none:  (-4.054936013280633e-214): 0
* [misc]none:  (522133630.66589946): 0
* [misc]none:  (-5.931595524156171e-137): 0
* [misc]none:  (7.707611608802171e+62): 0
* [misc]none:  (1.152518328416828e+180): 0
* [misc]none:  (8.804518541136453e+46): 0
* [misc]none:  (1.1353295840851429e-96): 0
* [misc]none:  (-1.9487210599798821e-283): 0
* [misc]none:  (2.347768069961951e-79): 0
* [misc]none:  (7.595028648060239e-286): 0
* [misc]none:  (-1.7004214918492403e-195): 0
* [misc]none:  (257428378187.19754): 0
* [misc]none:  (4.0029288312831376e+229): 0
* [misc]none:  (-5.689324367802329e-246): 0
* [misc]none:  (-4.3909971879838963e-305): 0
* [misc]none:  (1.1909630224861144e-308): 0
* [misc]none:  (2.5976261349663673e+194): 0
* [misc]none:  (4.713564345937309e+51): 0
* [misc]none:  (2.4339041047854203e+128): 0
* [misc]none:  (-2.930048407292739e-56): 0
* [misc]none:  (4.807691125223642e+307): 0
* [misc]none:  (2.4189569765995642e+235): 0
* [misc]none:  (-6.427869387517747e-307): 0
* [misc]none:  (9.212199844523645e-229): 0
* [misc]none:  (-1.2461956087023843e-38): 0
* [misc]none:  (5.0806815187366375e+166): 0
* [misc]none:  (4.873854048773888e+106): 0
* [misc]none:  (2.5837312003366534e+84): 0
* [misc]none:  (1.2300916721937489e+185): 0
* [misc]none:  (5.9776582784273185e+256): 0
* [misc]none:  (3.003386221248247e-77): 0
* [misc]none:  (7.613990227232114e-101): 0
* [misc]none:  (1.4369290385678577e-161): 0
* [misc]none:  (-1.8419406107088546e-16): 0
* [misc]none:  (2.3887736368263357e-225): 0
* [misc]none:  (-6.168974554229468e-230): 0
* [misc]none:  (2.116370076668309e-191): 0
* [misc]none:  (-1.1883563404969162e-50): 0
* [misc]none:  (-6.903597812238514e-236): 0
* [misc]none:  (1.1142271720543672e-206): 0
* [misc]none:  (4.324852362991129e+210): 0
* [misc]none:  (2.8003106991789085e-69): 0
* [misc]none:  (-3.912955183972641e-245): 0
* [misc]none:  (7.640371856720311e+193): 0
* [misc]none:  (3.438873899519122e+171): 0
* [misc]none:  (1.8186504690640068e+223): 0
* [misc]none:  (5.515506992492392e-277): 0
* [misc]none:  (2.595646488837273e-219): 0
* [misc]none:  (-1.0403226659956264e-12): 0
* [misc]none:  (5.476456469319565e+77): 0
* [misc]none:  (9.915398041121362e+277): 0
* [misc]none:  (4.116349531400419e+59): 0
* [misc]none:  (3.7023764599519414e+64): 0
* [misc]none:  (1.1375933635893308e+160): 0
* [misc]none:  (-5.655718042216706e-88): 0
* [misc]none:  (3.19314088639968e-300): 0
* [misc]none:  (7.10649025136688e+263): 0
* [misc]none:  (3.308825514112168e+294): 0
* [misc]none:  (-2.460746881557577e-120): 0
* [misc]none:  (2.6209483109511002e-99): 0
* [misc]none:  (1.0152763243033748e+142): 0
* [misc]none:  (3.1947368360544475e+37): 0
* [misc]none:  (-1.184307734105162e-152): 0
* [misc]none:  (3.9436987604242746e-188): 0
* [misc]none:  (1.2987545615858837e-229): 0
* [misc]none:  (4.072041399031216e+135): 0
* [misc]none:  (3.886264623793198e+50): 0
* [misc]none:  (1.3556558330338219e-279): 0
* [misc]none:  (2.0115211857947715e+45): 0
* [misc]none:  (5.600091178152213e-210): 0
* [misc]none:  (7.360949206952843e-212): 0
* [misc]none:  (3.6323351005324725e+74): 0
* [misc]none:  (-4.623471500501843e-242): 0
* [misc]none:  (5.1613450216466796e+222): 0
* [misc]none:  (5.235172412726717e+152): 0
* [misc]none:  (3.9088394890922115e+223): 0
* [misc]none:  (3.345926165056854e+246): 0
* [misc]none:  (2.924154450481512e-86): 0
* [misc]none:  (1.1766044207630259e-195): 0
* [misc]none:  (3.799449287593535e+246): 0
* [misc]none:  (-0.014763539181529813): 0
* [misc]none:  (-2.5295585364629736e-253): 0
* [misc]none:  (3.125863179986306e-134): 0
* [misc]none:  (-8.950192398328319e-216): 0
* [misc]none:  (1.2265182674709907e+198): 0
* [misc]none:  (3.136601910786915e+46): 0
* [misc]none:  (-1.7783570294902284e-29): 0
* [misc]none:  (4.1738948781395064e+263): 0
* [misc]none:  (4.319230432601922e-289): 0
* [misc]none:  (1.878611753272109e+229): 0
* [misc]none:  (6.0910080487156845e-145): 0
* [misc]none:  (1.716393032678617e+87): 0
* [misc]none:  (-3.2028793163485514e-267): 0
* [misc]none:  (-5.767560760391122e-80): 0
* [misc]none:  (3.087465078472461e-297): 0
* [misc]none:  (11105828726598036.0): 0
* [misc]none:  (1.8641835944090122e-68): 0
* [misc]none:  (4.082771820413304e+20): 0
* [misc]none:  (2.9298628929536803e-07): 0
* [misc]none:  (2.112352033422511e-76): 0
* [misc]none:  (-1.4985268459995148e-46): 0
* [misc]none:  (5.682432409793209e-103): 0
* [misc]none:  (3.763740454339611e-154): 0
* [misc]none:  (2.296991649120878e+37): 0
* [misc]none:  (3.5701416837580245e+199): 0
* [misc]none:  (2.337605690906294e-85): 0
* [misc]none:  (-4.885442056107934e-227): 0
* [misc]none:  (3.9227841234365035e+76): 0
* [misc]none:  (-3.356284453668777e-114): 0
* [misc]none:  (4.984374966308376e+225): 0
* [misc]none:  (1.882765755995834e+18): 0
* [misc]none:  (1.939469755263449e-274): 0
* [misc]none:  (2.0558821145728443e-244): 0
* [misc]none:  (7.118304679887613e-64): 0
* [misc]none:  (2.3966615634258388e-54): 0
* [misc]none:  (-5.628195320915282e-68): 0
* [misc]none:  (2.8183580936830136e+173): 0
* [misc]none:  (-3.2549065076282373e-223): 0
* [misc]none:  (-2.9085637996437565e-109): 0
* [misc]none:  (-6.751934028520499e-153): 0
* [misc]none:  (1.0609576781328471e-51): 0
* [misc]none:  (-2.9598382711916395e-27): 0
* [misc]none:  (1.953450184014831e+240): 0
* [misc]none:  (1.9357477509582754e-93): 0
* [misc]none:  (-3.868414697676859e-187): 0
* [misc]none:  (127403.86295705284): 0
* [misc]none:  (-0.00034026123764188893): 0
* [misc]none:  (-6.976081079926557e-283): 0
* [misc]none:  (-3.37039684741933e-178): 0
* [misc]none:  (-2.4597612805403014e-225): 0
* [misc]none:  (3.703142739667792e+145): 0
* [misc]none:  (2.0217918620332625e-85): 0
* [misc]none:  (5.6334012743355e-180): 0
* [misc]none:  (2.2204044591450003e+49): 0
* [misc]none:  (2.872174301870785e-238): 0
* [misc]none:  (-7.645827496994951e-25): 0
* [misc]none:  (5.725707728057964e+165): 0
* [misc]none:  (1.0486772986933419e+51): 0
* [misc]none:  (2.885576028912994e-235): 0
* [misc]none:  (-4.494398935743406e-151): 0
* [misc]none:  (1.6819327664275566e+227): 0
* [misc]none:  (2.7377399598585416e-269): 0
* [misc]none:  (656785701220.522): 0
* [misc]none:  (1.2391428993123195e-53): 0
* [misc]none:  (3.206221419912265e+51): 0
* [misc]none:  (-9.565609472547322e-124): 0
* [misc]none:  (-7.966969819213301e-111): 0
* [misc]none:  (3.221198963762039e+166): 0
* [misc]none:  (4.1941250065146804e+123): 0
* [misc]none:  (5.834035641946906e-257): 0
* [misc]none:  (3.906362661689762e+158): 0
* [misc]none:  (-2.0517902863946083e-102): 0
* [misc]none:  (-1.7127652241866663e-27): 0
* [misc]none:  (1.1525212824649757e+173): 0
* [misc]none:  (2.1519168903719224e-48): 0
* [misc]none:  (-1.933548091484468e-204): 0
* [misc]none:  (-1.9108430739228874e-168): 0
* [misc]none:  (2.5954317092090663e+188): 0
* [misc]none:  (1.2296515355157788e+308): 0
* [misc]none:  (2.467422452934927e-37): 0
* [misc]none:  (5.976566162781828e-262): 0
* [misc]none:  (4.0522267480412145e+189): 0
* [misc]none:  (-4.452114039611652e-132): 0
* [misc]none:  (1.638426277474575e-287): 0
* [misc]none:  (1.1394954880619105e+204): 0
* [misc]none:  (7.12002652771949e+38): 0
* [misc]none:  (-1.0864842934460505e-25): 0
* [misc]none:  (3.1888170814308676e+138): 0
* [misc]none:  (-1.142257873712315e-49): 0
* [misc]none:  (-3.0074667053035266e-198): 0
* [misc]none:  (7.549936203493533e-264): 0
* [misc]none:  (-7.706007717334245e-133): 0
* [misc]none:  (1.9142734474564412e+250): 0
* [misc]none:  (-1.917715355857765e-213): 0
* [misc]none:  (-1.2153695779764702e-107): 0
* [misc]none:  (-5.6718708555151934e-182): 0
* [misc]none:  (1.2321306439728458e+129): 0
* [misc]none:  (1.9978503540907537e+101): 0
* [misc]none:  (8.837317626991618e+153): 0
* [misc]none:  (-4.077199751463202e-279): 0
* [misc]none:  (3.561052370274286e+222): 0
* [misc]none:  (1.3132191418449429e+272): 0
* [misc]none:  (161670548.36131597): 0
* [misc]none:  (1.2154965615643017e-95): 0
* [misc]none:  (3.335747506626598e+164): 0
* [misc]none:  (1.7054753386147003e-193): 0
* [misc]none:  (1.417395857982962e+112): 0
* [misc]none:  (1.0400546097675973e-191): 0
* [misc]none:  (-1.7028093168367145e-212): 0
* [misc]none:  (-3.61122588585932e-122): 0
* [misc]none:  (-4.1072671632900297e-249): 0
* [misc]none:  (1.2926844442603449e-272): 0
* [misc]none:  (6.777020097920311e+216): 0
* [misc]none:  (-4.994865514247891e-53): 0
* [misc]none:  (8.02593234133885e-135): 0
* [misc]none:  (2.416983450303648e+283): 0
* [misc]none:  (4.3691114851826394e+164): 0
* [misc]none:  (-3.2452411716841134e-254): 0
* [misc]none:  (4.693484541613577e-225): 0
* [misc]none:  (-6.27613587070019e-241): 0
* [misc]none:  (1.488087021136329e-285): 0
* [misc]none:  (1.9700593229138827e-50): 0
* [misc]none:  (-7.343076758450515e-245): 0
* [misc]none:  (976625461889127.8): 0
* [misc]none:  (1.6501972239963874e-258): 0
* [misc]none:  (-1.9062985237621918e-44): 0
* [misc]none:  (-7.188940579708169e-182): 0
* [misc]none:  (-3.5617683302613897e-208): 0
* [misc]none:  (3.049268063166789e-38): 0
* [misc]none:  (-3.2414750156447513e-81): 0
* [misc]none:  (-9.695048812228804e-33): 0
* [misc]none:  (4.3191412376834275e+249): 0
* [misc]none:  (1.2650453722225915e+227): 0
* [misc]none:  (-3.468803990975246e-114): 0
* [misc]none:  (-1.4358426706351876e-229): 0
* [misc]none:  (1.4932339006735016e+157): 0
* [misc]none:  (3.1812804254524387e+233): 0
* [misc]none:  (-1.367452993894295e-129): 0
* [misc]none:  (6.343584508561789e+87): 0
* [misc]none:  (3.388041199273477e-265): 0
* [misc]none:  (3.7476721237841876e-281): 0
* [misc]none:  (4.811543151950025e-33): 0
* [misc]none:  (-9.85118113779452e-207): 0
* [misc]none:  (1.7265727720717877e-65): 0
* [misc]none:  (6.525431496731668e-64): 0
* [misc]none:  (1.0982823072397984e+136): 0
* [misc]none:  (2.704077310435608e-253): 0
* [misc]none:  (3.1639399211332326e+205): 0
* [misc]none:  (2.7511202385052856e-18): 0
* [misc]none:  (3.82956155404422e-299): 0
* [misc]none:  (5.765366200121622e+260): 0
* [misc]none:  (-8.2157022007629e-58): 0
* [misc]none:  (-8.347536812100916e-44): 0
* [misc]none:  (-2.710750607360271e-260): 0
* [misc]none:  (4.296582624822391e-200): 0
* [misc]none:  (1.733700273392293e+77): 0
* [misc]none:  (-2.8582758774924267e-140): 0
* [misc]none:  (9.139158849230913e-305): 0
* [misc]none:  (6.683383915725252e-271): 0
* [misc]none:  (1.830961252259433e-59): 0
* [misc]none:  (-1.7614646333235536e-68): 0
* [misc]none:  (4.068667347744151e-179): 0
* [misc]none:  (8.630725328355339e+266): 0
* [misc]none:  (2.0934780804159847e+108): 0
* [misc]none:  (-2.7764650204569527e-216): 0
* [misc]none:  (-3.81685776062912e-89): 0
* [misc]none:  (3.853952974089327e-228): 0
* [misc]none:  (-5.100815418059268e-90): 0
* [misc]none:  (6.487293944891719e+78): 0
* [misc]none:  Picked alt (λ (x) (log1p x))
* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (log1p 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.
* * * * [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 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 1962 additional inputs, on iter 1 have 6038 / 8000
* * * * [misc]points:  Computing exacts on every 122 of 1962 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 61 of 1962 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 30 of 1962 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 15 of 1962 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 7 of 1962 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 3 of 1962 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 1962 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 492 additional inputs, on iter 2 have 7508 / 8000
* * * * [misc]points:  Computing exacts on every 30 of 492 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 15 of 492 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 7 of 492 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 3 of 492 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 492 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 148 additional inputs, on iter 3 have 7852 / 8000
* * * * [misc]points:  Computing exacts on every 9 of 148 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 4 of 148 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 2 of 148 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 148 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 39 additional inputs, on iter 4 have 7961 / 8000
* * * * [misc]points:  Computing exacts on every 2 of 39 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 39 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 13 additional inputs, on iter 5 have 7987 / 8000
* * * * [misc]points:  Computing exacts for 13 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 7998 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8002 points with exact outputs