* [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 73 additional inputs, on iter 1 have 183 / 256
* * * * [misc]points:  Computing exacts on every 4 of 73 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 73 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 73 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 23 additional inputs, on iter 2 have 233 / 256
* * * * [misc]points:  Computing exacts for 23 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 8 additional inputs, on iter 3 have 248 / 256
* * * * [misc]points:  Computing exacts for 8 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 4 have 252 / 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
* * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 255 / 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 259 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (26 enodes)
* * [misc]simplify:  iters left: 3 (35 enodes)
* * [misc]simplify:  iters left: 2 (52 enodes)
* * [misc]simplify:  iters left: 1 (86 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp 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) (sqrt (+ 1 (exp x))))
* [misc]none:  Fresh alt indexes
* [misc]none:  (λ (x) (sqrt (+ 1 (exp x)))): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (-1.2938315808507242e+196): 0
* [misc]none:  (-1.1522295036639537e+302): 0
* [misc]none:  (-117.59108153326831): 0
* [misc]none:  (-4.4926466776048186e+89): 0
* [misc]none:  (-6.387676171006472e+84): 0
* [misc]none:  (3.0718166030691505e-80): 0
* [misc]none:  (-3.665096485975149e+155): 0
* [misc]none:  (-2.222084476892157e-27): 0
* [misc]none:  (-393138236424.23865): 0
* [misc]none:  (2.9394468165964015e-257): 0
* [misc]none:  (3.271929098149761e-144): 0
* [misc]none:  (-2.9451802210491167e-226): 0
* [misc]none:  (4.5690448860660455e-67): 0
* [misc]none:  (-4.213852294319719e-45): 0
* [misc]none:  (1.0832199703372366e-253): 0
* [misc]none:  (-1.028098363509014e-206): 0
* [misc]none:  (3.934156464498665e-121): 0
* [misc]none:  (-1.5161407061059675e+185): 0
* [misc]none:  (-2.030003858554109e-299): 0
* [misc]none:  (0.0005921945720183679): 0
* [misc]none:  (2.8115284450926948e-120): 0
* [misc]none:  (-1.974683671133818e+111): 0
* [misc]none:  (-1.4914047823213697e-303): 0
* [misc]none:  (-5.51972060484157e-206): 0
* [misc]none:  (-1.0101892530174619e+296): 0
* [misc]none:  (-5.733715992923197e+208): 0
* [misc]none:  (-8.052164657329149e+249): 0
* [misc]none:  (-5.689324367802329e-246): 0
* [misc]none:  (-3.807287600161903e+145): 0
* [misc]none:  (-3.332016910782324e+143): 0
* [misc]none:  (-4.3909971879838963e-305): 0
* [misc]none:  (1.1909630224861144e-308): 0
* [misc]none:  (-3.036973607447883e+181): 0
* [misc]none:  (-2.930048407292739e-56): 0
* [misc]none:  (-7.53205818877362e+171): 0
* [misc]none:  (-1.909975404033537e+22): 0
* [misc]none:  (-8.943843456084399e+287): 0
* [misc]none:  (-6.427869387517747e-307): 0
* [misc]none:  (9.212199844523645e-229): 0
* [misc]none:  (-1.2461956087023843e-38): 0
* [misc]none:  (-9.778085318793345e+168): 0
* [misc]none:  (3.003386221248247e-77): 0
* [misc]none:  (7.613990227232114e-101): 0
* [misc]none:  (1.4369290385678577e-161): 0
* [misc]none:  (-4.620016485271843e+275): 0
* [misc]none:  (-1.8419406107088546e-16): 0
* [misc]none:  (-9.544921276384073e+204): 0
* [misc]none:  (2.3887736368263357e-225): 0
* [misc]none:  (-6.168974554229468e-230): 0
* [misc]none:  (2.116370076668309e-191): 0
* [misc]none:  (-6.052115395011814e+79): 0
* [misc]none:  (-1.1883563404969162e-50): 0
* [misc]none:  (-2.3731320528329528e+163): 0
* [misc]none:  (-6.903597812238514e-236): 0
* [misc]none:  (-2.3192639332694516e+265): 0
* [misc]none:  (-5.512692835732493e+272): 0
* [misc]none:  (1.1142271720543672e-206): 0
* [misc]none:  (-2.2649668876344433e+291): 0
* [misc]none:  (2.8003106991789085e-69): 0
* [misc]none:  (-3.912955183972641e-245): 0
* [misc]none:  (-4.2800304431808546e+195): 0
* [misc]none:  (5.515506992492392e-277): 0
* [misc]none:  (2.595646488837273e-219): 0
* [misc]none:  (-1.0403226659956264e-12): 0
* [misc]none:  (-1.6206847274577324e+56): 0
* [misc]none:  (3.108236652528406e-297): 0
* [misc]none:  (7.181266914182018e-165): 0
* [misc]none:  (-4.054936013280633e-214): 0
* [misc]none:  (-5.931595524156171e-137): 0
* [misc]none:  (-1.9705021169080373e+98): 0
* [misc]none:  (1.1353295840851429e-96): 0
* [misc]none:  (-1.9487210599798821e-283): 0
* [misc]none:  (-1.727133899069611e+273): 0
* [misc]none:  (2.347768069961951e-79): 0
* [misc]none:  (7.595028648060239e-286): 0
* [misc]none:  (-1.7004214918492403e-195): 0
* [misc]none:  (-6.814866840940998e+135): 0
* [misc]none:  (-5.655718042216706e-88): 0
* [misc]none:  (-1.454645223881282e+52): 0
* [misc]none:  (3.19314088639968e-300): 0
* [misc]none:  (-2.460746881557577e-120): 0
* [misc]none:  (2.6209483109511002e-99): 0
* [misc]none:  (-1.184307734105162e-152): 0
* [misc]none:  (3.9436987604242746e-188): 0
* [misc]none:  (1.2987545615858837e-229): 0
* [misc]none:  (1.3556558330338219e-279): 0
* [misc]none:  (-3.8277959540181416e+261): 0
* [misc]none:  (-1.1045058999604857e+216): 0
* [misc]none:  (5.600091178152213e-210): 0
* [misc]none:  (7.360949206952843e-212): 0
* [misc]none:  (-9.559208559238359e+170): 0
* [misc]none:  (-4.623471500501843e-242): 0
* [misc]none:  (2.924154450481512e-86): 0
* [misc]none:  (-2.4730898186525758e+92): 0
* [misc]none:  (1.1766044207630259e-195): 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:  (-2.304991300802574e+103): 0
* [misc]none:  (-7.336082833730887e+220): 0
* [misc]none:  (-1.7783570294902284e-29): 0
* [misc]none:  (4.319230432601922e-289): 0
* [misc]none:  (6.0910080487156845e-145): 0
* [misc]none:  (-3.2028793163485514e-267): 0
* [misc]none:  (-5.767560760391122e-80): 0
* [misc]none:  (3.087465078472461e-297): 0
* [misc]none:  (1.8641835944090122e-68): 0
* [misc]none:  (2.9298628929536803e-07): 0
* [misc]none:  (-5.923298684844267e+94): 0
* [misc]none:  (2.112352033422511e-76): 0
* [misc]none:  (-1.4985268459995148e-46): 0
* [misc]none:  (5.682432409793209e-103): 0
* [misc]none:  (-2.927239517009746e+252): 0
* [misc]none:  (3.763740454339611e-154): 0
* [misc]none:  (2.337605690906294e-85): 0
* [misc]none:  (-4.885442056107934e-227): 0
* [misc]none:  (-3.356284453668777e-114): 0
* [misc]none:  (1.939469755263449e-274): 0
* [misc]none:  (2.0558821145728443e-244): 0
* [misc]none:  (-1.1054341172121307e+140): 0
* [misc]none:  (-2.1503642873783828e+135): 0
* [misc]none:  (7.118304679887613e-64): 0
* [misc]none:  (2.3966615634258388e-54): 0
* [misc]none:  (-5.898930020082935e+214): 0
* [misc]none:  (-5.628195320915282e-68): 0
* [misc]none:  (-3.0745109023049084e+38): 0
* [misc]none:  (-2.745352039047204e+251): 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.9357477509582754e-93): 0
* [misc]none:  (-3.868414697676859e-187): 0
* [misc]none:  (-7.980669295696735e+44): 0
* [misc]none:  (-0.00034026123764188893): 0
* [misc]none:  (-4.6106017244707195e+85): 0
* [misc]none:  (-1.107092798905617e+261): 0
* [misc]none:  (-6.976081079926557e-283): 0
* [misc]none:  (-3.37039684741933e-178): 0
* [misc]none:  (-2.4597612805403014e-225): 0
* [misc]none:  (-1.0732537067454568e+260): 0
* [misc]none:  (2.0217918620332625e-85): 0
* [misc]none:  (5.6334012743355e-180): 0
* [misc]none:  (-4.3610333217031953e+170): 0
* [misc]none:  (-5.0919585379789005e+258): 0
* [misc]none:  (2.872174301870785e-238): 0
* [misc]none:  (-2.9327506918514952e+199): 0
* [misc]none:  (-7.645827496994951e-25): 0
* [misc]none:  (-24848314.999854505): 0
* [misc]none:  (2.885576028912994e-235): 0
* [misc]none:  (-4.494398935743406e-151): 0
* [misc]none:  (2.7377399598585416e-269): 0
* [misc]none:  (-3.093221131514378e+260): 0
* [misc]none:  (1.2391428993123195e-53): 0
* [misc]none:  (-9.565609472547322e-124): 0
* [misc]none:  (-7.966969819213301e-111): 0
* [misc]none:  (-2.0310019187041234e+101): 0
* [misc]none:  (5.834035641946906e-257): 0
* [misc]none:  (-2.0517902863946083e-102): 0
* [misc]none:  (-1.7127652241866663e-27): 0
* [misc]none:  (2.1519168903719224e-48): 0
* [misc]none:  (-1.933548091484468e-204): 0
* [misc]none:  (-1.947707196703237e+130): 0
* [misc]none:  (-1.2654394089404018e+152): 0
* [misc]none:  (-1.9108430739228874e-168): 0
* [misc]none:  (2.467422452934927e-37): 0
* [misc]none:  (5.976566162781828e-262): 0
* [misc]none:  (-4.452114039611652e-132): 0
* [misc]none:  (1.638426277474575e-287): 0
* [misc]none:  (-1.9937829353717472e+136): 0
* [misc]none:  (-1.0864842934460505e-25): 0
* [misc]none:  (-2.8684613953187015e+191): 0
* [misc]none:  (-1.142257873712315e-49): 0
* [misc]none:  (-2.488397426951592e+85): 0
* [misc]none:  (-3.0074667053035266e-198): 0
* [misc]none:  (7.549936203493533e-264): 0
* [misc]none:  (-7.706007717334245e-133): 0
* [misc]none:  (-3.852230944737251e+125): 0
* [misc]none:  (-2.669176676414129e+220): 0
* [misc]none:  (-1.917715355857765e-213): 0
* [misc]none:  (-1.2153695779764702e-107): 0
* [misc]none:  (-5.6718708555151934e-182): 0
* [misc]none:  (-6.791163764654487e+57): 0
* [misc]none:  (-8.306263539762776e+107): 0
* [misc]none:  (-36.06203897217008): 0
* [misc]none:  (-4.077199751463202e-279): 0
* [misc]none:  (-1.9803302250630132e+229): 0
* [misc]none:  (-1.2602406432951942e+242): 0
* [misc]none:  (1.2154965615643017e-95): 0
* [misc]none:  (1.7054753386147003e-193): 0
* [misc]none:  (-9.484486393474689e+224): 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:  (-4.994865514247891e-53): 0
* [misc]none:  (8.02593234133885e-135): 0
* [misc]none:  (-2.2431045278273084e+46): 0
* [misc]none:  (-1.1940600737652846e+124): 0
* [misc]none:  (-1.3488399650730669e+44): 0
* [misc]none:  (-3.2452411716841134e-254): 0
* [misc]none:  (4.693484541613577e-225): 0
* [misc]none:  (-6.27613587070019e-241): 0
* [misc]none:  (-3.384502355044081e+73): 0
* [misc]none:  (1.488087021136329e-285): 0
* [misc]none:  (1.9700593229138827e-50): 0
* [misc]none:  (-2.9685688564746695e+259): 0
* [misc]none:  (-7.343076758450515e-245): 0
* [misc]none:  (-2.1621255712627967e+96): 0
* [misc]none:  (-3.730183968226007e+95): 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:  (-7.454312585016396e+276): 0
* [misc]none:  (-3.468803990975246e-114): 0
* [misc]none:  (-1.4358426706351876e-229): 0
* [misc]none:  (-5.546827771104374e+87): 0
* [misc]none:  (-3.1207763882486933e+109): 0
* [misc]none:  (-1.367452993894295e-129): 0
* [misc]none:  (-1.0793047599221616e+192): 0
* [misc]none:  (-1.7397736048308963e+103): 0
* [misc]none:  (-72190905149076.94): 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.3584511753805632e+240): 0
* [misc]none:  (1.7265727720717877e-65): 0
* [misc]none:  (-2.2076426027359137e+164): 0
* [misc]none:  (6.525431496731668e-64): 0
* [misc]none:  (2.704077310435608e-253): 0
* [misc]none:  (2.7511202385052856e-18): 0
* [misc]none:  (3.82956155404422e-299): 0
* [misc]none:  (-3.302434769770763e+39): 0
* [misc]none:  (-8.2157022007629e-58): 0
* [misc]none:  (-7.731583384630845e+52): 0
* [misc]none:  (-8.347536812100916e-44): 0
* [misc]none:  (-2.710750607360271e-260): 0
* [misc]none:  (4.296582624822391e-200): 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.8390495199831918e+89): 0
* [misc]none:  (-1.7614646333235536e-68): 0
* [misc]none:  (4.068667347744151e-179): 0
* [misc]none:  (-2.7764650204569527e-216): 0
* [misc]none:  (-3.81685776062912e-89): 0
* [misc]none:  (3.853952974089327e-228): 0
* [misc]none:  All alt indexes
* [misc]none:  (λ (x) (sqrt (+ 1 (exp x)))): 0
* [misc]none:  Best alt per point
* [misc]none:  (-1.2938315808507242e+196): 0
* [misc]none:  (-1.1522295036639537e+302): 0
* [misc]none:  (-117.59108153326831): 0
* [misc]none:  (-4.4926466776048186e+89): 0
* [misc]none:  (-6.387676171006472e+84): 0
* [misc]none:  (3.0718166030691505e-80): 0
* [misc]none:  (-3.665096485975149e+155): 0
* [misc]none:  (-2.222084476892157e-27): 0
* [misc]none:  (-393138236424.23865): 0
* [misc]none:  (2.9394468165964015e-257): 0
* [misc]none:  (3.271929098149761e-144): 0
* [misc]none:  (-2.9451802210491167e-226): 0
* [misc]none:  (4.5690448860660455e-67): 0
* [misc]none:  (-4.213852294319719e-45): 0
* [misc]none:  (1.0832199703372366e-253): 0
* [misc]none:  (-1.028098363509014e-206): 0
* [misc]none:  (3.934156464498665e-121): 0
* [misc]none:  (-1.5161407061059675e+185): 0
* [misc]none:  (-2.030003858554109e-299): 0
* [misc]none:  (0.0005921945720183679): 0
* [misc]none:  (2.8115284450926948e-120): 0
* [misc]none:  (-1.974683671133818e+111): 0
* [misc]none:  (-1.4914047823213697e-303): 0
* [misc]none:  (-5.51972060484157e-206): 0
* [misc]none:  (-1.0101892530174619e+296): 0
* [misc]none:  (-5.733715992923197e+208): 0
* [misc]none:  (-8.052164657329149e+249): 0
* [misc]none:  (-5.689324367802329e-246): 0
* [misc]none:  (-3.807287600161903e+145): 0
* [misc]none:  (-3.332016910782324e+143): 0
* [misc]none:  (-4.3909971879838963e-305): 0
* [misc]none:  (1.1909630224861144e-308): 0
* [misc]none:  (-3.036973607447883e+181): 0
* [misc]none:  (-2.930048407292739e-56): 0
* [misc]none:  (-7.53205818877362e+171): 0
* [misc]none:  (-1.909975404033537e+22): 0
* [misc]none:  (-8.943843456084399e+287): 0
* [misc]none:  (-6.427869387517747e-307): 0
* [misc]none:  (9.212199844523645e-229): 0
* [misc]none:  (-1.2461956087023843e-38): 0
* [misc]none:  (-9.778085318793345e+168): 0
* [misc]none:  (3.003386221248247e-77): 0
* [misc]none:  (7.613990227232114e-101): 0
* [misc]none:  (1.4369290385678577e-161): 0
* [misc]none:  (-4.620016485271843e+275): 0
* [misc]none:  (-1.8419406107088546e-16): 0
* [misc]none:  (-9.544921276384073e+204): 0
* [misc]none:  (2.3887736368263357e-225): 0
* [misc]none:  (-6.168974554229468e-230): 0
* [misc]none:  (2.116370076668309e-191): 0
* [misc]none:  (-6.052115395011814e+79): 0
* [misc]none:  (-1.1883563404969162e-50): 0
* [misc]none:  (-2.3731320528329528e+163): 0
* [misc]none:  (-6.903597812238514e-236): 0
* [misc]none:  (-2.3192639332694516e+265): 0
* [misc]none:  (-5.512692835732493e+272): 0
* [misc]none:  (1.1142271720543672e-206): 0
* [misc]none:  (-2.2649668876344433e+291): 0
* [misc]none:  (2.8003106991789085e-69): 0
* [misc]none:  (-3.912955183972641e-245): 0
* [misc]none:  (-4.2800304431808546e+195): 0
* [misc]none:  (5.515506992492392e-277): 0
* [misc]none:  (2.595646488837273e-219): 0
* [misc]none:  (-1.0403226659956264e-12): 0
* [misc]none:  (-1.6206847274577324e+56): 0
* [misc]none:  (3.108236652528406e-297): 0
* [misc]none:  (7.181266914182018e-165): 0
* [misc]none:  (-4.054936013280633e-214): 0
* [misc]none:  (-5.931595524156171e-137): 0
* [misc]none:  (-1.9705021169080373e+98): 0
* [misc]none:  (1.1353295840851429e-96): 0
* [misc]none:  (-1.9487210599798821e-283): 0
* [misc]none:  (-1.727133899069611e+273): 0
* [misc]none:  (2.347768069961951e-79): 0
* [misc]none:  (7.595028648060239e-286): 0
* [misc]none:  (-1.7004214918492403e-195): 0
* [misc]none:  (-6.814866840940998e+135): 0
* [misc]none:  (-5.655718042216706e-88): 0
* [misc]none:  (-1.454645223881282e+52): 0
* [misc]none:  (3.19314088639968e-300): 0
* [misc]none:  (-2.460746881557577e-120): 0
* [misc]none:  (2.6209483109511002e-99): 0
* [misc]none:  (-1.184307734105162e-152): 0
* [misc]none:  (3.9436987604242746e-188): 0
* [misc]none:  (1.2987545615858837e-229): 0
* [misc]none:  (1.3556558330338219e-279): 0
* [misc]none:  (-3.8277959540181416e+261): 0
* [misc]none:  (-1.1045058999604857e+216): 0
* [misc]none:  (5.600091178152213e-210): 0
* [misc]none:  (7.360949206952843e-212): 0
* [misc]none:  (-9.559208559238359e+170): 0
* [misc]none:  (-4.623471500501843e-242): 0
* [misc]none:  (2.924154450481512e-86): 0
* [misc]none:  (-2.4730898186525758e+92): 0
* [misc]none:  (1.1766044207630259e-195): 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:  (-2.304991300802574e+103): 0
* [misc]none:  (-7.336082833730887e+220): 0
* [misc]none:  (-1.7783570294902284e-29): 0
* [misc]none:  (4.319230432601922e-289): 0
* [misc]none:  (6.0910080487156845e-145): 0
* [misc]none:  (-3.2028793163485514e-267): 0
* [misc]none:  (-5.767560760391122e-80): 0
* [misc]none:  (3.087465078472461e-297): 0
* [misc]none:  (1.8641835944090122e-68): 0
* [misc]none:  (2.9298628929536803e-07): 0
* [misc]none:  (-5.923298684844267e+94): 0
* [misc]none:  (2.112352033422511e-76): 0
* [misc]none:  (-1.4985268459995148e-46): 0
* [misc]none:  (5.682432409793209e-103): 0
* [misc]none:  (-2.927239517009746e+252): 0
* [misc]none:  (3.763740454339611e-154): 0
* [misc]none:  (2.337605690906294e-85): 0
* [misc]none:  (-4.885442056107934e-227): 0
* [misc]none:  (-3.356284453668777e-114): 0
* [misc]none:  (1.939469755263449e-274): 0
* [misc]none:  (2.0558821145728443e-244): 0
* [misc]none:  (-1.1054341172121307e+140): 0
* [misc]none:  (-2.1503642873783828e+135): 0
* [misc]none:  (7.118304679887613e-64): 0
* [misc]none:  (2.3966615634258388e-54): 0
* [misc]none:  (-5.898930020082935e+214): 0
* [misc]none:  (-5.628195320915282e-68): 0
* [misc]none:  (-3.0745109023049084e+38): 0
* [misc]none:  (-2.745352039047204e+251): 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.9357477509582754e-93): 0
* [misc]none:  (-3.868414697676859e-187): 0
* [misc]none:  (-7.980669295696735e+44): 0
* [misc]none:  (-0.00034026123764188893): 0
* [misc]none:  (-4.6106017244707195e+85): 0
* [misc]none:  (-1.107092798905617e+261): 0
* [misc]none:  (-6.976081079926557e-283): 0
* [misc]none:  (-3.37039684741933e-178): 0
* [misc]none:  (-2.4597612805403014e-225): 0
* [misc]none:  (-1.0732537067454568e+260): 0
* [misc]none:  (2.0217918620332625e-85): 0
* [misc]none:  (5.6334012743355e-180): 0
* [misc]none:  (-4.3610333217031953e+170): 0
* [misc]none:  (-5.0919585379789005e+258): 0
* [misc]none:  (2.872174301870785e-238): 0
* [misc]none:  (-2.9327506918514952e+199): 0
* [misc]none:  (-7.645827496994951e-25): 0
* [misc]none:  (-24848314.999854505): 0
* [misc]none:  (2.885576028912994e-235): 0
* [misc]none:  (-4.494398935743406e-151): 0
* [misc]none:  (2.7377399598585416e-269): 0
* [misc]none:  (-3.093221131514378e+260): 0
* [misc]none:  (1.2391428993123195e-53): 0
* [misc]none:  (-9.565609472547322e-124): 0
* [misc]none:  (-7.966969819213301e-111): 0
* [misc]none:  (-2.0310019187041234e+101): 0
* [misc]none:  (5.834035641946906e-257): 0
* [misc]none:  (-2.0517902863946083e-102): 0
* [misc]none:  (-1.7127652241866663e-27): 0
* [misc]none:  (2.1519168903719224e-48): 0
* [misc]none:  (-1.933548091484468e-204): 0
* [misc]none:  (-1.947707196703237e+130): 0
* [misc]none:  (-1.2654394089404018e+152): 0
* [misc]none:  (-1.9108430739228874e-168): 0
* [misc]none:  (2.467422452934927e-37): 0
* [misc]none:  (5.976566162781828e-262): 0
* [misc]none:  (-4.452114039611652e-132): 0
* [misc]none:  (1.638426277474575e-287): 0
* [misc]none:  (-1.9937829353717472e+136): 0
* [misc]none:  (-1.0864842934460505e-25): 0
* [misc]none:  (-2.8684613953187015e+191): 0
* [misc]none:  (-1.142257873712315e-49): 0
* [misc]none:  (-2.488397426951592e+85): 0
* [misc]none:  (-3.0074667053035266e-198): 0
* [misc]none:  (7.549936203493533e-264): 0
* [misc]none:  (-7.706007717334245e-133): 0
* [misc]none:  (-3.852230944737251e+125): 0
* [misc]none:  (-2.669176676414129e+220): 0
* [misc]none:  (-1.917715355857765e-213): 0
* [misc]none:  (-1.2153695779764702e-107): 0
* [misc]none:  (-5.6718708555151934e-182): 0
* [misc]none:  (-6.791163764654487e+57): 0
* [misc]none:  (-8.306263539762776e+107): 0
* [misc]none:  (-36.06203897217008): 0
* [misc]none:  (-4.077199751463202e-279): 0
* [misc]none:  (-1.9803302250630132e+229): 0
* [misc]none:  (-1.2602406432951942e+242): 0
* [misc]none:  (1.2154965615643017e-95): 0
* [misc]none:  (1.7054753386147003e-193): 0
* [misc]none:  (-9.484486393474689e+224): 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:  (-4.994865514247891e-53): 0
* [misc]none:  (8.02593234133885e-135): 0
* [misc]none:  (-2.2431045278273084e+46): 0
* [misc]none:  (-1.1940600737652846e+124): 0
* [misc]none:  (-1.3488399650730669e+44): 0
* [misc]none:  (-3.2452411716841134e-254): 0
* [misc]none:  (4.693484541613577e-225): 0
* [misc]none:  (-6.27613587070019e-241): 0
* [misc]none:  (-3.384502355044081e+73): 0
* [misc]none:  (1.488087021136329e-285): 0
* [misc]none:  (1.9700593229138827e-50): 0
* [misc]none:  (-2.9685688564746695e+259): 0
* [misc]none:  (-7.343076758450515e-245): 0
* [misc]none:  (-2.1621255712627967e+96): 0
* [misc]none:  (-3.730183968226007e+95): 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:  (-7.454312585016396e+276): 0
* [misc]none:  (-3.468803990975246e-114): 0
* [misc]none:  (-1.4358426706351876e-229): 0
* [misc]none:  (-5.546827771104374e+87): 0
* [misc]none:  (-3.1207763882486933e+109): 0
* [misc]none:  (-1.367452993894295e-129): 0
* [misc]none:  (-1.0793047599221616e+192): 0
* [misc]none:  (-1.7397736048308963e+103): 0
* [misc]none:  (-72190905149076.94): 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.3584511753805632e+240): 0
* [misc]none:  (1.7265727720717877e-65): 0
* [misc]none:  (-2.2076426027359137e+164): 0
* [misc]none:  (6.525431496731668e-64): 0
* [misc]none:  (2.704077310435608e-253): 0
* [misc]none:  (2.7511202385052856e-18): 0
* [misc]none:  (3.82956155404422e-299): 0
* [misc]none:  (-3.302434769770763e+39): 0
* [misc]none:  (-8.2157022007629e-58): 0
* [misc]none:  (-7.731583384630845e+52): 0
* [misc]none:  (-8.347536812100916e-44): 0
* [misc]none:  (-2.710750607360271e-260): 0
* [misc]none:  (4.296582624822391e-200): 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.8390495199831918e+89): 0
* [misc]none:  (-1.7614646333235536e-68): 0
* [misc]none:  (4.068667347744151e-179): 0
* [misc]none:  (-2.7764650204569527e-216): 0
* [misc]none:  (-3.81685776062912e-89): 0
* [misc]none:  (3.853952974089327e-228): 0
* [misc]none:  Picked alt (λ (x) (sqrt (+ 1 (exp x))))
* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (sqrt (+ 1 (exp 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 (+ 1 (exp x))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* [exit]simplify:  Simplified to (+ 1 (exp x))
* [exit]simplify:  Simplified to (+ 1 (exp 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 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 2025 additional inputs, on iter 1 have 5975 / 8000
* * * * [misc]points:  Computing exacts on every 126 of 2025 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 63 of 2025 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 2025 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 2025 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 2025 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 2025 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 2025 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 478 additional inputs, on iter 2 have 7522 / 8000
* * * * [misc]points:  Computing exacts on every 29 of 478 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 14 of 478 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 478 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 478 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 478 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 107 additional inputs, on iter 3 have 7893 / 8000
* * * * [misc]points:  Computing exacts on every 6 of 107 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 107 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 107 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 26 additional inputs, on iter 4 have 7974 / 8000
* * * * [misc]points:  Computing exacts for 26 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 7 additional inputs, on iter 5 have 7993 / 8000
* * * * [misc]points:  Computing exacts for 7 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 7999 / 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