* [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 87 additional inputs, on iter 1 have 169 / 256
* * * * [misc]points:  Computing exacts on every 5 of 87 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 87 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 87 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 29 additional inputs, on iter 2 have 227 / 256
* * * * [misc]points:  Computing exacts for 29 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 14 additional inputs, on iter 3 have 242 / 256
* * * * [misc]points:  Computing exacts for 14 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 4 have 249 / 256
* * * * [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 5 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 257 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (- (exp x) 1)
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* * [misc]simplify:  iters left: 1 (10 enodes)
* [exit]simplify:  Simplified to (expm1 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) (expm1 x))
* [misc]none:  Fresh alt indexes
* [misc]none:  (λ (x) (expm1 x)): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (7.008065582928744e-107): 0
* [misc]none:  (-2.2375594869311094e-33): 0
* [misc]none:  (4.231762305724298e-215): 0
* [misc]none:  (4.413732089844526e-86): 0
* [misc]none:  (7.671586242393459e-52): 0
* [misc]none:  (-2.029967302660937e-59): 0
* [misc]none:  (-5.163626308621522e-189): 0
* [misc]none:  (-2.985844857843601e-206): 0
* [misc]none:  (1.1679658304361753e-22): 0
* [misc]none:  (-2.6273741950137503e-149): 0
* [misc]none:  (4.2746278924563793e-150): 0
* [misc]none:  (-5.624245742251199e-148): 0
* [misc]none:  (-1.0600756269389395e-303): 0
* [misc]none:  (-4.3728097487629926e-265): 0
* [misc]none:  (1.2574369874598925e-26): 0
* [misc]none:  (7.825800217934168e-33): 0
* [misc]none:  (-1.7897808519925493e-19): 0
* [misc]none:  (-1.9669673790197512e-73): 0
* [misc]none:  (631.2945537630187): 0
* [misc]none:  (3.447019309635866e-27): 0
* [misc]none:  (-2.9569757568679218e-146): 0
* [misc]none:  (1.2874748384198818e-266): 0
* [misc]none:  (-1.0011714169193018e-22): 0
* [misc]none:  (-3.254535406415803e-254): 0
* [misc]none:  (-1.4365327807810237e-98): 0
* [misc]none:  (-1.1963912136986736e-169): 0
* [misc]none:  (-8.431979730938787e-178): 0
* [misc]none:  (-3.7271953104767906e-31): 0
* [misc]none:  (3.6691886290484444e-121): 0
* [misc]none:  (-2.471105468745198e-124): 0
* [misc]none:  (-4.532025718873545e-259): 0
* [misc]none:  (4.6092475451384074e-179): 0
* [misc]none:  (-1.0703371155336321e-250): 0
* [misc]none:  (-4.127138262788262e-26): 0
* [misc]none:  (3.0974567403522193e-127): 0
* [misc]none:  (2.716938177625975e-147): 0
* [misc]none:  (-2.4591540058096982e-98): 0
* [misc]none:  (2.2288415833150275e-288): 0
* [misc]none:  (4.216410384508775e-143): 0
* [misc]none:  (-9.660914511053525e-222): 0
* [misc]none:  (1.2788094741201863e-108): 0
* [misc]none:  (-1.8980475121214167e-269): 0
* [misc]none:  (-1.5227050233498503e-178): 0
* [misc]none:  (-1.2342964494247604e-214): 0
* [misc]none:  (2.9364105966303006e-268): 0
* [misc]none:  (2.1169364825684158e-113): 0
* [misc]none:  (-2.8411778742538957e-213): 0
* [misc]none:  (9.721068376955025e-263): 0
* [misc]none:  (8.276125968507373e-230): 0
* [misc]none:  (-9.697481094784224e-201): 0
* [misc]none:  (1.318783342604824e-25): 0
* [misc]none:  (1.2084505545727934e-288): 0
* [misc]none:  (-3.080467139704337e-18): 0
* [misc]none:  (-1.9636249120683087e-216): 0
* [misc]none:  (1.8390886877293424e-105): 0
* [misc]none:  (4.928922405154234e-22): 0
* [misc]none:  (4.662562190941851e-308): 0
* [misc]none:  (-7.559001487961716e-31): 0
* [misc]none:  (1.6622075912743594e-271): 0
* [misc]none:  (-1.6261017326455893e-81): 0
* [misc]none:  (1.3368955870059207e-176): 0
* [misc]none:  (3.9716062348418644e-228): 0
* [misc]none:  (-1.2162021777137614e-33): 0
* [misc]none:  (-1.6059151585232398e-161): 0
* [misc]none:  (2.3158409677562567e-301): 0
* [misc]none:  (-4.74009987579655e-105): 0
* [misc]none:  (1.1766252082498293e-265): 0
* [misc]none:  (0.014340871479916603): 0
* [misc]none:  (-2.696543492908348e-223): 0
* [misc]none:  (-1.455842667858529e-201): 0
* [misc]none:  (-1.9293031923788988e-110): 0
* [misc]none:  (9.061175990029349e-250): 0
* [misc]none:  (-6.93972259345503e-184): 0
* [misc]none:  (-3.4815424368281756e-221): 0
* [misc]none:  (2.5275060874932145e-259): 0
* [misc]none:  (5.536968658368334e-08): 0
* [misc]none:  (-2.3115227989998136e-217): 0
* [misc]none:  (-1.7737213313482205e-190): 0
* [misc]none:  (4.409759636964285e-59): 0
* [misc]none:  (1.3965205488686864e-197): 0
* [misc]none:  (3.7187157901891875e-176): 0
* [misc]none:  (-5.1933343239548773e-191): 0
* [misc]none:  (-1.6352794345099398e-298): 0
* [misc]none:  (4.68285097683242e-25): 0
* [misc]none:  (3.8632189081759707e-271): 0
* [misc]none:  (-6.330288807857006e-277): 0
* [misc]none:  (-1.271356681300141e-40): 0
* [misc]none:  (-5.196440439757807e-99): 0
* [misc]none:  (8.278976687568103e-243): 0
* [misc]none:  (4.926197380275076e-129): 0
* [misc]none:  (1.9372337538406547e-188): 0
* [misc]none:  (-1.4962684123924882e-202): 0
* [misc]none:  (-3.4358317691518166e-55): 0
* [misc]none:  (9.80519494326381e-284): 0
* [misc]none:  (-3.4835821312033813e-152): 0
* [misc]none:  (1.6297614495122077e-50): 0
* [misc]none:  (9.205033908567993e-266): 0
* [misc]none:  (-8.908871162746668e-23): 0
* [misc]none:  (3.23736956842816e-187): 0
* [misc]none:  (3.207236890558793e-23): 0
* [misc]none:  (1.0226926724586414e-303): 0
* [misc]none:  (-4.365895907679559e-52): 0
* [misc]none:  (1.2720325325369804e-12): 0
* [misc]none:  (5.045062335089674e-242): 0
* [misc]none:  (-6.988667614263455e-280): 0
* [misc]none:  (6.797357547558155e-187): 0
* [misc]none:  (-1.4168983728195127e-279): 0
* [misc]none:  (1.888162490300675e-299): 0
* [misc]none:  (-2.846125126095736e-111): 0
* [misc]none:  (1.5643732295368784e-287): 0
* [misc]none:  (1.1433174846928746): 0
* [misc]none:  (-9.218191447243853e-117): 0
* [misc]none:  (-4.166402016025471e-152): 0
* [misc]none:  (-6.536132923604219e-258): 0
* [misc]none:  (4.359984660463014e-183): 0
* [misc]none:  (2.2095180429243664e-167): 0
* [misc]none:  (-2.9697723979567063e-71): 0
* [misc]none:  (-6.6436628394750494e-65): 0
* [misc]none:  (-1.4351656964657967e-244): 0
* [misc]none:  (3.0148784080421464e-308): 0
* [misc]none:  (-7.825448469904989e-113): 0
* [misc]none:  (7.410996786333772e-132): 0
* [misc]none:  (-1.2255723785605881e-217): 0
* [misc]none:  (1.8007323005275687e-276): 0
* [misc]none:  (-3.4692960366514987e-39): 0
* [misc]none:  (1.6602210394719612e-63): 0
* [misc]none:  (7.488026617268344e-283): 0
* [misc]none:  (2.093770302127606e-309): 0
* [misc]none:  (-9.491988541359278e-192): 0
* [misc]none:  (9.312097635491897e-97): 0
* [misc]none:  (2.6884827621594285e-13): 0
* [misc]none:  (4.3626896738518533e-302): 0
* [misc]none:  (-1.606249812411686e-108): 0
* [misc]none:  (-6.213837120841049e-289): 0
* [misc]none:  (-3.411157462755136e-71): 0
* [misc]none:  (1.0675955000076024e-195): 0
* [misc]none:  (1.1542467595559137e-10): 0
* [misc]none:  (-1.0856321069122405e-21): 0
* [misc]none:  (-2.4628120922836638e-189): 0
* [misc]none:  (1.138350920298687e-155): 0
* [misc]none:  (-1.4953535743237377e-52): 0
* [misc]none:  (-2.710561266068261e-58): 0
* [misc]none:  (-6.550143576246624e-16): 0
* [misc]none:  (-9.977897667174774e-23): 0
* [misc]none:  (6.477187629915835e-228): 0
* [misc]none:  (7.536703517955729e-247): 0
* [misc]none:  (-1.4950735869612174e-72): 0
* [misc]none:  (1.7129802282586383e-189): 0
* [misc]none:  (-6.490238971444553e-226): 0
* [misc]none:  (-7.135092039488536e-159): 0
* [misc]none:  (-1.6865084677747065e-07): 0
* [misc]none:  (-7.012730960166046e-43): 0
* [misc]none:  (-2.5838385419731034e-110): 0
* [misc]none:  (-9.051151262967743e-194): 0
* [misc]none:  (-3.791906657235732e-239): 0
* [misc]none:  (3.217506600092015e-290): 0
* [misc]none:  (4.863351004791256e-05): 0
* [misc]none:  (2.075097119430207e-62): 0
* [misc]none:  (-5.4891075847357225e-298): 0
* [misc]none:  (4.65369322727353e-287): 0
* [misc]none:  (6.3889852321973895e-18): 0
* [misc]none:  (-1.2077947607388347e-90): 0
* [misc]none:  (-1.0020419823684643e-192): 0
* [misc]none:  (-2.2619119457333473e-25): 0
* [misc]none:  (1.8882956642602604e-261): 0
* [misc]none:  (5.968475709687557e-195): 0
* [misc]none:  (3.0710089450248964e-267): 0
* [misc]none:  (-7.028301738359926e-269): 0
* [misc]none:  (-1.1792423263249642e-64): 0
* [misc]none:  (-1.11788165726508e-137): 0
* [misc]none:  (4.7485663158046646e-61): 0
* [misc]none:  (-4.3267712142418447e-178): 0
* [misc]none:  (8.229311363464808e-288): 0
* [misc]none:  (6.554838462271585e-173): 0
* [misc]none:  (-8.643997105853251e-262): 0
* [misc]none:  (2.075409963901302e-294): 0
* [misc]none:  (-1.0845149958118471e-128): 0
* [misc]none:  (-1.806262342370329e-145): 0
* [misc]none:  (5.736880608483549e-139): 0
* [misc]none:  (6.219875744086801e-145): 0
* [misc]none:  (1.3696771810064992e-112): 0
* [misc]none:  (-3.3055713930789994e-92): 0
* [misc]none:  (-1.2144501597983986e-13): 0
* [misc]none:  (-1.581823879419755e-136): 0
* [misc]none:  (-1.7986891255475455e-104): 0
* [misc]none:  (2.1851511215968207e-281): 0
* [misc]none:  (6.1085621867253354e-195): 0
* [misc]none:  (-1.8531666353371716e-53): 0
* [misc]none:  (2.5385660385522797e-256): 0
* [misc]none:  (-2.277031241289094e-133): 0
* [misc]none:  (-1.9260281052392176e-304): 0
* [misc]none:  (-2.0726817131865985e-201): 0
* [misc]none:  (-7.716439701223457e-71): 0
* [misc]none:  (-1.102870509722008e-26): 0
* [misc]none:  (1.4680022426382546e-177): 0
* [misc]none:  (2.268435764876698e-68): 0
* [misc]none:  (6.875129186281727e-127): 0
* [misc]none:  (1.2680879361856948e-49): 0
* [misc]none:  (-2.6952656961428918e-05): 0
* [misc]none:  (2.0467542646291597e-277): 0
* [misc]none:  (-3.184765353191898e-43): 0
* [misc]none:  (7.641930252313532e-57): 0
* [misc]none:  (5.869327572460678e-139): 0
* [misc]none:  (-4.459835803405037e-196): 0
* [misc]none:  (1.157567515381598e-209): 0
* [misc]none:  (-3.6818613782696346e-215): 0
* [misc]none:  (3.3905349904596893e-215): 0
* [misc]none:  (-1.2238991274683262e-182): 0
* [misc]none:  (-1.1822607219380286e-150): 0
* [misc]none:  (6.14467172999871e-58): 0
* [misc]none:  (9.190133007855072e-297): 0
* [misc]none:  (3.1481286275305565e-257): 0
* [misc]none:  (1.0769400985995392e-54): 0
* [misc]none:  (-7.81953969785643e-23): 0
* [misc]none:  (-5.579063422437748e-288): 0
* [misc]none:  (-4.313639343246409e-198): 0
* [misc]none:  (-2.5722404832750865e-101): 0
* [misc]none:  (2.0449768315006983e-26): 0
* [misc]none:  (4.1005306420224836e-185): 0
* [misc]none:  (-1.2356400619691299e-172): 0
* [misc]none:  (4.710639876342762e-63): 0
* [misc]none:  (-9.619742042160305e-155): 0
* [misc]none:  (1.055537791706204e-303): 0
* [misc]none:  (1.1106064286651226e-17): 0
* [misc]none:  (7.383710374884169e-193): 0
* [misc]none:  (1.0270744508306543e-213): 0
* [misc]none:  (1.2775788395736409e-194): 0
* [misc]none:  (7.269718397033224e-54): 0
* [misc]none:  (3.3416046219261034e-255): 0
* [misc]none:  (-6.611971213929703e-140): 0
* [misc]none:  (-4.6693782454558786e-153): 0
* [misc]none:  (1.0405101718565832e-275): 0
* [misc]none:  (-2.794555103361575e-07): 0
* [misc]none:  (3.775700671901137e-118): 0
* [misc]none:  (-5.1533896126572324e-52): 0
* [misc]none:  (3.708045544647398e-268): 0
* [misc]none:  (2.3602781807909666e-147): 0
* [misc]none:  (-4.0551226122891474e-293): 0
* [misc]none:  (-2.8740799260456037e-13): 0
* [misc]none:  (4.9351443487095645e-28): 0
* [misc]none:  (3.9267861932656446e-222): 0
* [misc]none:  (-2.726468917242477e-47): 0
* [misc]none:  (1.6267677340782734e-78): 0
* [misc]none:  (1.5319297057858613e-238): 0
* [misc]none:  (9.013672644101836e-229): 0
* [misc]none:  (3.7505543523667064e-165): 0
* [misc]none:  (-3.602337930454237e-135): 0
* [misc]none:  (-3.6482856562771724e-64): 0
* [misc]none:  (-1.492737605362763e-157): 0
* [misc]none:  (-5.027606941658362e-25): 0
* [misc]none:  (-8.087857019134225e-216): 0
* [misc]none:  (1.9433532427949253e-222): 0
* [misc]none:  (8.654750055710302e-167): 0
* [misc]none:  (-5.269981022208534e-121): 0
* [misc]none:  (-1.1548519240434911e-163): 0
* [misc]none:  (-7.011207599126097e-153): 0
* [misc]none:  All alt indexes
* [misc]none:  (λ (x) (expm1 x)): 0
* [misc]none:  Best alt per point
* [misc]none:  (7.008065582928744e-107): 0
* [misc]none:  (-2.2375594869311094e-33): 0
* [misc]none:  (4.231762305724298e-215): 0
* [misc]none:  (4.413732089844526e-86): 0
* [misc]none:  (7.671586242393459e-52): 0
* [misc]none:  (-2.029967302660937e-59): 0
* [misc]none:  (-5.163626308621522e-189): 0
* [misc]none:  (-2.985844857843601e-206): 0
* [misc]none:  (1.1679658304361753e-22): 0
* [misc]none:  (-2.6273741950137503e-149): 0
* [misc]none:  (4.2746278924563793e-150): 0
* [misc]none:  (-5.624245742251199e-148): 0
* [misc]none:  (-1.0600756269389395e-303): 0
* [misc]none:  (-4.3728097487629926e-265): 0
* [misc]none:  (1.2574369874598925e-26): 0
* [misc]none:  (7.825800217934168e-33): 0
* [misc]none:  (-1.7897808519925493e-19): 0
* [misc]none:  (-1.9669673790197512e-73): 0
* [misc]none:  (631.2945537630187): 0
* [misc]none:  (3.447019309635866e-27): 0
* [misc]none:  (-2.9569757568679218e-146): 0
* [misc]none:  (1.2874748384198818e-266): 0
* [misc]none:  (-1.0011714169193018e-22): 0
* [misc]none:  (-3.254535406415803e-254): 0
* [misc]none:  (-1.4365327807810237e-98): 0
* [misc]none:  (-1.1963912136986736e-169): 0
* [misc]none:  (-8.431979730938787e-178): 0
* [misc]none:  (-3.7271953104767906e-31): 0
* [misc]none:  (3.6691886290484444e-121): 0
* [misc]none:  (-2.471105468745198e-124): 0
* [misc]none:  (-4.532025718873545e-259): 0
* [misc]none:  (4.6092475451384074e-179): 0
* [misc]none:  (-1.0703371155336321e-250): 0
* [misc]none:  (-4.127138262788262e-26): 0
* [misc]none:  (3.0974567403522193e-127): 0
* [misc]none:  (2.716938177625975e-147): 0
* [misc]none:  (-2.4591540058096982e-98): 0
* [misc]none:  (2.2288415833150275e-288): 0
* [misc]none:  (4.216410384508775e-143): 0
* [misc]none:  (-9.660914511053525e-222): 0
* [misc]none:  (1.2788094741201863e-108): 0
* [misc]none:  (-1.8980475121214167e-269): 0
* [misc]none:  (-1.5227050233498503e-178): 0
* [misc]none:  (-1.2342964494247604e-214): 0
* [misc]none:  (2.9364105966303006e-268): 0
* [misc]none:  (2.1169364825684158e-113): 0
* [misc]none:  (-2.8411778742538957e-213): 0
* [misc]none:  (9.721068376955025e-263): 0
* [misc]none:  (8.276125968507373e-230): 0
* [misc]none:  (-9.697481094784224e-201): 0
* [misc]none:  (1.318783342604824e-25): 0
* [misc]none:  (1.2084505545727934e-288): 0
* [misc]none:  (-3.080467139704337e-18): 0
* [misc]none:  (-1.9636249120683087e-216): 0
* [misc]none:  (1.8390886877293424e-105): 0
* [misc]none:  (4.928922405154234e-22): 0
* [misc]none:  (4.662562190941851e-308): 0
* [misc]none:  (-7.559001487961716e-31): 0
* [misc]none:  (1.6622075912743594e-271): 0
* [misc]none:  (-1.6261017326455893e-81): 0
* [misc]none:  (1.3368955870059207e-176): 0
* [misc]none:  (3.9716062348418644e-228): 0
* [misc]none:  (-1.2162021777137614e-33): 0
* [misc]none:  (-1.6059151585232398e-161): 0
* [misc]none:  (2.3158409677562567e-301): 0
* [misc]none:  (-4.74009987579655e-105): 0
* [misc]none:  (1.1766252082498293e-265): 0
* [misc]none:  (0.014340871479916603): 0
* [misc]none:  (-2.696543492908348e-223): 0
* [misc]none:  (-1.455842667858529e-201): 0
* [misc]none:  (-1.9293031923788988e-110): 0
* [misc]none:  (9.061175990029349e-250): 0
* [misc]none:  (-6.93972259345503e-184): 0
* [misc]none:  (-3.4815424368281756e-221): 0
* [misc]none:  (2.5275060874932145e-259): 0
* [misc]none:  (5.536968658368334e-08): 0
* [misc]none:  (-2.3115227989998136e-217): 0
* [misc]none:  (-1.7737213313482205e-190): 0
* [misc]none:  (4.409759636964285e-59): 0
* [misc]none:  (1.3965205488686864e-197): 0
* [misc]none:  (3.7187157901891875e-176): 0
* [misc]none:  (-5.1933343239548773e-191): 0
* [misc]none:  (-1.6352794345099398e-298): 0
* [misc]none:  (4.68285097683242e-25): 0
* [misc]none:  (3.8632189081759707e-271): 0
* [misc]none:  (-6.330288807857006e-277): 0
* [misc]none:  (-1.271356681300141e-40): 0
* [misc]none:  (-5.196440439757807e-99): 0
* [misc]none:  (8.278976687568103e-243): 0
* [misc]none:  (4.926197380275076e-129): 0
* [misc]none:  (1.9372337538406547e-188): 0
* [misc]none:  (-1.4962684123924882e-202): 0
* [misc]none:  (-3.4358317691518166e-55): 0
* [misc]none:  (9.80519494326381e-284): 0
* [misc]none:  (-3.4835821312033813e-152): 0
* [misc]none:  (1.6297614495122077e-50): 0
* [misc]none:  (9.205033908567993e-266): 0
* [misc]none:  (-8.908871162746668e-23): 0
* [misc]none:  (3.23736956842816e-187): 0
* [misc]none:  (3.207236890558793e-23): 0
* [misc]none:  (1.0226926724586414e-303): 0
* [misc]none:  (-4.365895907679559e-52): 0
* [misc]none:  (1.2720325325369804e-12): 0
* [misc]none:  (5.045062335089674e-242): 0
* [misc]none:  (-6.988667614263455e-280): 0
* [misc]none:  (6.797357547558155e-187): 0
* [misc]none:  (-1.4168983728195127e-279): 0
* [misc]none:  (1.888162490300675e-299): 0
* [misc]none:  (-2.846125126095736e-111): 0
* [misc]none:  (1.5643732295368784e-287): 0
* [misc]none:  (1.1433174846928746): 0
* [misc]none:  (-9.218191447243853e-117): 0
* [misc]none:  (-4.166402016025471e-152): 0
* [misc]none:  (-6.536132923604219e-258): 0
* [misc]none:  (4.359984660463014e-183): 0
* [misc]none:  (2.2095180429243664e-167): 0
* [misc]none:  (-2.9697723979567063e-71): 0
* [misc]none:  (-6.6436628394750494e-65): 0
* [misc]none:  (-1.4351656964657967e-244): 0
* [misc]none:  (3.0148784080421464e-308): 0
* [misc]none:  (-7.825448469904989e-113): 0
* [misc]none:  (7.410996786333772e-132): 0
* [misc]none:  (-1.2255723785605881e-217): 0
* [misc]none:  (1.8007323005275687e-276): 0
* [misc]none:  (-3.4692960366514987e-39): 0
* [misc]none:  (1.6602210394719612e-63): 0
* [misc]none:  (7.488026617268344e-283): 0
* [misc]none:  (2.093770302127606e-309): 0
* [misc]none:  (-9.491988541359278e-192): 0
* [misc]none:  (9.312097635491897e-97): 0
* [misc]none:  (2.6884827621594285e-13): 0
* [misc]none:  (4.3626896738518533e-302): 0
* [misc]none:  (-1.606249812411686e-108): 0
* [misc]none:  (-6.213837120841049e-289): 0
* [misc]none:  (-3.411157462755136e-71): 0
* [misc]none:  (1.0675955000076024e-195): 0
* [misc]none:  (1.1542467595559137e-10): 0
* [misc]none:  (-1.0856321069122405e-21): 0
* [misc]none:  (-2.4628120922836638e-189): 0
* [misc]none:  (1.138350920298687e-155): 0
* [misc]none:  (-1.4953535743237377e-52): 0
* [misc]none:  (-2.710561266068261e-58): 0
* [misc]none:  (-6.550143576246624e-16): 0
* [misc]none:  (-9.977897667174774e-23): 0
* [misc]none:  (6.477187629915835e-228): 0
* [misc]none:  (7.536703517955729e-247): 0
* [misc]none:  (-1.4950735869612174e-72): 0
* [misc]none:  (1.7129802282586383e-189): 0
* [misc]none:  (-6.490238971444553e-226): 0
* [misc]none:  (-7.135092039488536e-159): 0
* [misc]none:  (-1.6865084677747065e-07): 0
* [misc]none:  (-7.012730960166046e-43): 0
* [misc]none:  (-2.5838385419731034e-110): 0
* [misc]none:  (-9.051151262967743e-194): 0
* [misc]none:  (-3.791906657235732e-239): 0
* [misc]none:  (3.217506600092015e-290): 0
* [misc]none:  (4.863351004791256e-05): 0
* [misc]none:  (2.075097119430207e-62): 0
* [misc]none:  (-5.4891075847357225e-298): 0
* [misc]none:  (4.65369322727353e-287): 0
* [misc]none:  (6.3889852321973895e-18): 0
* [misc]none:  (-1.2077947607388347e-90): 0
* [misc]none:  (-1.0020419823684643e-192): 0
* [misc]none:  (-2.2619119457333473e-25): 0
* [misc]none:  (1.8882956642602604e-261): 0
* [misc]none:  (5.968475709687557e-195): 0
* [misc]none:  (3.0710089450248964e-267): 0
* [misc]none:  (-7.028301738359926e-269): 0
* [misc]none:  (-1.1792423263249642e-64): 0
* [misc]none:  (-1.11788165726508e-137): 0
* [misc]none:  (4.7485663158046646e-61): 0
* [misc]none:  (-4.3267712142418447e-178): 0
* [misc]none:  (8.229311363464808e-288): 0
* [misc]none:  (6.554838462271585e-173): 0
* [misc]none:  (-8.643997105853251e-262): 0
* [misc]none:  (2.075409963901302e-294): 0
* [misc]none:  (-1.0845149958118471e-128): 0
* [misc]none:  (-1.806262342370329e-145): 0
* [misc]none:  (5.736880608483549e-139): 0
* [misc]none:  (6.219875744086801e-145): 0
* [misc]none:  (1.3696771810064992e-112): 0
* [misc]none:  (-3.3055713930789994e-92): 0
* [misc]none:  (-1.2144501597983986e-13): 0
* [misc]none:  (-1.581823879419755e-136): 0
* [misc]none:  (-1.7986891255475455e-104): 0
* [misc]none:  (2.1851511215968207e-281): 0
* [misc]none:  (6.1085621867253354e-195): 0
* [misc]none:  (-1.8531666353371716e-53): 0
* [misc]none:  (2.5385660385522797e-256): 0
* [misc]none:  (-2.277031241289094e-133): 0
* [misc]none:  (-1.9260281052392176e-304): 0
* [misc]none:  (-2.0726817131865985e-201): 0
* [misc]none:  (-7.716439701223457e-71): 0
* [misc]none:  (-1.102870509722008e-26): 0
* [misc]none:  (1.4680022426382546e-177): 0
* [misc]none:  (2.268435764876698e-68): 0
* [misc]none:  (6.875129186281727e-127): 0
* [misc]none:  (1.2680879361856948e-49): 0
* [misc]none:  (-2.6952656961428918e-05): 0
* [misc]none:  (2.0467542646291597e-277): 0
* [misc]none:  (-3.184765353191898e-43): 0
* [misc]none:  (7.641930252313532e-57): 0
* [misc]none:  (5.869327572460678e-139): 0
* [misc]none:  (-4.459835803405037e-196): 0
* [misc]none:  (1.157567515381598e-209): 0
* [misc]none:  (-3.6818613782696346e-215): 0
* [misc]none:  (3.3905349904596893e-215): 0
* [misc]none:  (-1.2238991274683262e-182): 0
* [misc]none:  (-1.1822607219380286e-150): 0
* [misc]none:  (6.14467172999871e-58): 0
* [misc]none:  (9.190133007855072e-297): 0
* [misc]none:  (3.1481286275305565e-257): 0
* [misc]none:  (1.0769400985995392e-54): 0
* [misc]none:  (-7.81953969785643e-23): 0
* [misc]none:  (-5.579063422437748e-288): 0
* [misc]none:  (-4.313639343246409e-198): 0
* [misc]none:  (-2.5722404832750865e-101): 0
* [misc]none:  (2.0449768315006983e-26): 0
* [misc]none:  (4.1005306420224836e-185): 0
* [misc]none:  (-1.2356400619691299e-172): 0
* [misc]none:  (4.710639876342762e-63): 0
* [misc]none:  (-9.619742042160305e-155): 0
* [misc]none:  (1.055537791706204e-303): 0
* [misc]none:  (1.1106064286651226e-17): 0
* [misc]none:  (7.383710374884169e-193): 0
* [misc]none:  (1.0270744508306543e-213): 0
* [misc]none:  (1.2775788395736409e-194): 0
* [misc]none:  (7.269718397033224e-54): 0
* [misc]none:  (3.3416046219261034e-255): 0
* [misc]none:  (-6.611971213929703e-140): 0
* [misc]none:  (-4.6693782454558786e-153): 0
* [misc]none:  (1.0405101718565832e-275): 0
* [misc]none:  (-2.794555103361575e-07): 0
* [misc]none:  (3.775700671901137e-118): 0
* [misc]none:  (-5.1533896126572324e-52): 0
* [misc]none:  (3.708045544647398e-268): 0
* [misc]none:  (2.3602781807909666e-147): 0
* [misc]none:  (-4.0551226122891474e-293): 0
* [misc]none:  (-2.8740799260456037e-13): 0
* [misc]none:  (4.9351443487095645e-28): 0
* [misc]none:  (3.9267861932656446e-222): 0
* [misc]none:  (-2.726468917242477e-47): 0
* [misc]none:  (1.6267677340782734e-78): 0
* [misc]none:  (1.5319297057858613e-238): 0
* [misc]none:  (9.013672644101836e-229): 0
* [misc]none:  (3.7505543523667064e-165): 0
* [misc]none:  (-3.602337930454237e-135): 0
* [misc]none:  (-3.6482856562771724e-64): 0
* [misc]none:  (-1.492737605362763e-157): 0
* [misc]none:  (-5.027606941658362e-25): 0
* [misc]none:  (-8.087857019134225e-216): 0
* [misc]none:  (1.9433532427949253e-222): 0
* [misc]none:  (8.654750055710302e-167): 0
* [misc]none:  (-5.269981022208534e-121): 0
* [misc]none:  (-1.1548519240434911e-163): 0
* [misc]none:  (-7.011207599126097e-153): 0
* [misc]none:  Picked alt (λ (x) (expm1 x))
* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (expm1 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 2645 additional inputs, on iter 1 have 5355 / 8000
* * * * [misc]points:  Computing exacts on every 165 of 2645 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 82 of 2645 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 41 of 2645 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 20 of 2645 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 10 of 2645 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 5 of 2645 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 2645 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 2645 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 914 additional inputs, on iter 2 have 7086 / 8000
* * * * [misc]points:  Computing exacts on every 57 of 914 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 28 of 914 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 914 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 914 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 914 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 914 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 303 additional inputs, on iter 3 have 7697 / 8000
* * * * [misc]points:  Computing exacts on every 18 of 303 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 9 of 303 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 303 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 303 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 303 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 101 additional inputs, on iter 4 have 7899 / 8000
* * * * [misc]points:  Computing exacts on every 6 of 101 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 101 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 101 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 32 additional inputs, on iter 5 have 7968 / 8000
* * * * [misc]points:  Computing exacts on every 2 of 32 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 32 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 9 additional inputs, on iter 6 have 7991 / 8000
* * * * [misc]points:  Computing exacts for 9 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 8000 points with exact outputs