* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
* * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 256 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 129 additional inputs, on iter 1 have 127 / 256
* * * * [misc]points:  Computing exacts on every 8 of 129 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 4 of 129 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 129 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 129 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 72 additional inputs, on iter 2 have 184 / 256
* * * * [misc]points:  Computing exacts on every 4 of 72 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 72 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 72 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 42 additional inputs, on iter 3 have 214 / 256
* * * * [misc]points:  Computing exacts on every 2 of 42 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 42 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 16 additional inputs, on iter 4 have 240 / 256
* * * * [misc]points:  Computing exacts for 16 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 11 additional inputs, on iter 5 have 245 / 256
* * * * [misc]points:  Computing exacts for 11 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 8 additional inputs, on iter 6 have 248 / 256
* * * * [misc]points:  Computing exacts for 8 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 6 additional inputs, on iter 7 have 250 / 256
* * * * [misc]points:  Computing exacts for 6 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 5 additional inputs, on iter 8 have 251 / 256
* * * * [misc]points:  Computing exacts for 5 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 252 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 252 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 252 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 12 have 254 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 256 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (exp (- (- 1 (* x x))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (24 enodes)
* * [misc]simplify:  iters left: 3 (50 enodes)
* * [misc]simplify:  iters left: 2 (73 enodes)
* * [misc]simplify:  iters left: 1 (106 enodes)
* [exit]simplify:  Simplified to (exp (- (* x x) 1))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* [misc]none:  Fresh alts: 1
* [misc]none:  All alts: 1
* [misc]none:  Fresh alt: (λ (x) (exp (- (- 1 (* x x)))))
* [misc]none:  Fresh alt indexes
* [misc]none:  (λ (x) (exp (- (- 1 (* x x))))): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (-1.5896307370952378e-24): 0
* [misc]none:  (-2.381600975603585e-126): 0
* [misc]none:  (1.1078263738557817e-173): 0
* [misc]none:  (-4.8901493658439805e-257): 0
* [misc]none:  (-1.086848415384618e-149): 0
* [misc]none:  (1.5400917624685415e-295): 0
* [misc]none:  (1.389009890486587e-304): 0
* [misc]none:  (-0.07645769362495446): 0
* [misc]none:  (3.5836534998638334e-135): 0
* [misc]none:  (5.874263446950659e-136): 0
* [misc]none:  (-4.6360422655231974e-215): 0
* [misc]none:  (1.3639040980897921e-39): 0
* [misc]none:  (2.4497413502625085e-301): 0
* [misc]none:  (1.9836536473017196e-256): 0
* [misc]none:  (2.7441626242764893e-109): 0
* [misc]none:  (-1.2184545386686845e-292): 0
* [misc]none:  (-4.164360616471795e-297): 0
* [misc]none:  (1.1330111314315052e-297): 0
* [misc]none:  (6.333415879143823e-203): 0
* [misc]none:  (-1.1408068010697186e-09): 0
* [misc]none:  (6.534790094984563e-249): 0
* [misc]none:  (-6.136769236604219e-245): 0
* [misc]none:  (-1.5184287807448694e-256): 0
* [misc]none:  (9.20482191500962e-294): 0
* [misc]none:  (6.826390525782658e-164): 0
* [misc]none:  (1.4517955555700533e-57): 0
* [misc]none:  (-6.624186711279531e-158): 0
* [misc]none:  (-2.28428829200312e-74): 0
* [misc]none:  (6.319063013887454e-198): 0
* [misc]none:  (4.013577168037153e-101): 0
* [misc]none:  (-5.9357220490245764e-15): 0
* [misc]none:  (-1.423411965411883e-294): 0
* [misc]none:  (1.5130621813503031e-75): 0
* [misc]none:  (-3.3795898713138266e-300): 0
* [misc]none:  (-8.397564680171817e-171): 0
* [misc]none:  (-5.030258942894069e-286): 0
* [misc]none:  (7.700703882618771e-282): 0
* [misc]none:  (-4.182069781177431e-143): 0
* [misc]none:  (3.8976396927163173e-162): 0
* [misc]none:  (-4.334942407090635e-248): 0
* [misc]none:  (-5.434332993935807e-16): 0
* [misc]none:  (9.422179697047065e-164): 0
* [misc]none:  (2.0152844845402166e-297): 0
* [misc]none:  (8.604490187894414e-112): 0
* [misc]none:  (1.1753499799973743e-97): 0
* [misc]none:  (-1.4789327900215312e-68): 0
* [misc]none:  (1.7699153793529457e-292): 0
* [misc]none:  (-1.4258769564549258e-208): 0
* [misc]none:  (-7.278263595880122e-193): 0
* [misc]none:  (-2.126351281480013e-88): 0
* [misc]none:  (4.1993878019740277e-286): 0
* [misc]none:  (-0.00023602766722364432): 0
* [misc]none:  (-4.006330508771236e-123): 0
* [misc]none:  (1.3228826725861251e-83): 0
* [misc]none:  (-1.319380347151282e-215): 0
* [misc]none:  (1.1326695724237201e-117): 0
* [misc]none:  (2.0115496002781107e-145): 0
* [misc]none:  (-2.7349284820526125e-289): 0
* [misc]none:  (1.8862750447266752e-53): 0
* [misc]none:  (3.0319757073152243e-73): 0
* [misc]none:  (3.46946296425657e-151): 0
* [misc]none:  (-1.5345220119867362e-54): 0
* [misc]none:  (4.4617997614332734e-49): 0
* [misc]none:  (-4.576042298933677e-291): 0
* [misc]none:  (5.1841759100413795e-161): 0
* [misc]none:  (6.821311827045434e-30): 0
* [misc]none:  (-1.9929766413300646e-81): 0
* [misc]none:  (2.6830861914889714e-191): 0
* [misc]none:  (-1.9739730389420339e-53): 0
* [misc]none:  (-1.3992932767813926e-176): 0
* [misc]none:  (2.5419285128257477e-50): 0
* [misc]none:  (-5.652687215490466e-220): 0
* [misc]none:  (-5.689324367802329e-246): 0
* [misc]none:  (-4.3909971879838963e-305): 0
* [misc]none:  (1.1909630224861144e-308): 0
* [misc]none:  (-2.930048407292739e-56): 0
* [misc]none:  (-6.427869387517747e-307): 0
* [misc]none:  (9.212199844523645e-229): 0
* [misc]none:  (-1.2461956087023843e-38): 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:  (2.8003106991789085e-69): 0
* [misc]none:  (-3.912955183972641e-245): 0
* [misc]none:  (5.515506992492392e-277): 0
* [misc]none:  (2.595646488837273e-219): 0
* [misc]none:  (-1.0403226659956264e-12): 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.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:  (-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:  (-2.030003858554109e-299): 0
* [misc]none:  (0.0005921945720183679): 0
* [misc]none:  (2.8115284450926948e-120): 0
* [misc]none:  (-1.4914047823213697e-303): 0
* [misc]none:  (-5.51972060484157e-206): 0
* [misc]none:  (-2.222084476892157e-27): 0
* [misc]none:  (2.9394468165964015e-257): 0
* [misc]none:  (3.271929098149761e-144): 0
* [misc]none:  (3.0718166030691505e-80): 0
* [misc]none:  (6.604350361119279e-291): 0
* [misc]none:  (3.861477555295976e-66): 0
* [misc]none:  (7.835819247789118e-215): 0
* [misc]none:  (-1.7331826939437403e-32): 0
* [misc]none:  (1.5041078345043152e-175): 0
* [misc]none:  (-7.5213132710662e-74): 0
* [misc]none:  (3.0457736919219457e-222): 0
* [misc]none:  (-1.1587029546828107e-151): 0
* [misc]none:  (-2.4216252182489007e-26): 0
* [misc]none:  (-1.4390028162741748e-46): 0
* [misc]none:  (8.124998850854922e-91): 0
* [misc]none:  (-5.655718042216706e-88): 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:  (5.600091178152213e-210): 0
* [misc]none:  (7.360949206952843e-212): 0
* [misc]none:  (-4.623471500501843e-242): 0
* [misc]none:  (2.924154450481512e-86): 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:  (-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:  (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.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:  (7.118304679887613e-64): 0
* [misc]none:  (2.3966615634258388e-54): 0
* [misc]none:  (-5.628195320915282e-68): 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:  (-0.00034026123764188893): 0
* [misc]none:  (-6.976081079926557e-283): 0
* [misc]none:  (-3.37039684741933e-178): 0
* [misc]none:  (-2.4597612805403014e-225): 0
* [misc]none:  (2.0217918620332625e-85): 0
* [misc]none:  (5.6334012743355e-180): 0
* [misc]none:  (2.872174301870785e-238): 0
* [misc]none:  (-7.645827496994951e-25): 0
* [misc]none:  (2.885576028912994e-235): 0
* [misc]none:  (-4.494398935743406e-151): 0
* [misc]none:  (2.7377399598585416e-269): 0
* [misc]none:  (1.2391428993123195e-53): 0
* [misc]none:  (-9.565609472547322e-124): 0
* [misc]none:  (-7.966969819213301e-111): 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.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.0864842934460505e-25): 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.917715355857765e-213): 0
* [misc]none:  (-1.2153695779764702e-107): 0
* [misc]none:  (-5.6718708555151934e-182): 0
* [misc]none:  (-4.077199751463202e-279): 0
* [misc]none:  (1.2154965615643017e-95): 0
* [misc]none:  (1.7054753386147003e-193): 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:  (-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:  (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:  (-3.468803990975246e-114): 0
* [misc]none:  (-1.4358426706351876e-229): 0
* [misc]none:  (-1.367452993894295e-129): 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:  (2.704077310435608e-253): 0
* [misc]none:  (2.7511202385052856e-18): 0
* [misc]none:  (3.82956155404422e-299): 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:  (-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:  (-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.009493492582987e-296): 0
* [misc]none:  (-1.157925061166081e-58): 0
* [misc]none:  All alt indexes
* [misc]none:  (λ (x) (exp (- (- 1 (* x x))))): 0
* [misc]none:  Best alt per point
* [misc]none:  (-1.5896307370952378e-24): 0
* [misc]none:  (-2.381600975603585e-126): 0
* [misc]none:  (1.1078263738557817e-173): 0
* [misc]none:  (-4.8901493658439805e-257): 0
* [misc]none:  (-1.086848415384618e-149): 0
* [misc]none:  (1.5400917624685415e-295): 0
* [misc]none:  (1.389009890486587e-304): 0
* [misc]none:  (-0.07645769362495446): 0
* [misc]none:  (3.5836534998638334e-135): 0
* [misc]none:  (5.874263446950659e-136): 0
* [misc]none:  (-4.6360422655231974e-215): 0
* [misc]none:  (1.3639040980897921e-39): 0
* [misc]none:  (2.4497413502625085e-301): 0
* [misc]none:  (1.9836536473017196e-256): 0
* [misc]none:  (2.7441626242764893e-109): 0
* [misc]none:  (-1.2184545386686845e-292): 0
* [misc]none:  (-4.164360616471795e-297): 0
* [misc]none:  (1.1330111314315052e-297): 0
* [misc]none:  (6.333415879143823e-203): 0
* [misc]none:  (-1.1408068010697186e-09): 0
* [misc]none:  (6.534790094984563e-249): 0
* [misc]none:  (-6.136769236604219e-245): 0
* [misc]none:  (-1.5184287807448694e-256): 0
* [misc]none:  (9.20482191500962e-294): 0
* [misc]none:  (6.826390525782658e-164): 0
* [misc]none:  (1.4517955555700533e-57): 0
* [misc]none:  (-6.624186711279531e-158): 0
* [misc]none:  (-2.28428829200312e-74): 0
* [misc]none:  (6.319063013887454e-198): 0
* [misc]none:  (4.013577168037153e-101): 0
* [misc]none:  (-5.9357220490245764e-15): 0
* [misc]none:  (-1.423411965411883e-294): 0
* [misc]none:  (1.5130621813503031e-75): 0
* [misc]none:  (-3.3795898713138266e-300): 0
* [misc]none:  (-8.397564680171817e-171): 0
* [misc]none:  (-5.030258942894069e-286): 0
* [misc]none:  (7.700703882618771e-282): 0
* [misc]none:  (-4.182069781177431e-143): 0
* [misc]none:  (3.8976396927163173e-162): 0
* [misc]none:  (-4.334942407090635e-248): 0
* [misc]none:  (-5.434332993935807e-16): 0
* [misc]none:  (9.422179697047065e-164): 0
* [misc]none:  (2.0152844845402166e-297): 0
* [misc]none:  (8.604490187894414e-112): 0
* [misc]none:  (1.1753499799973743e-97): 0
* [misc]none:  (-1.4789327900215312e-68): 0
* [misc]none:  (1.7699153793529457e-292): 0
* [misc]none:  (-1.4258769564549258e-208): 0
* [misc]none:  (-7.278263595880122e-193): 0
* [misc]none:  (-2.126351281480013e-88): 0
* [misc]none:  (4.1993878019740277e-286): 0
* [misc]none:  (-0.00023602766722364432): 0
* [misc]none:  (-4.006330508771236e-123): 0
* [misc]none:  (1.3228826725861251e-83): 0
* [misc]none:  (-1.319380347151282e-215): 0
* [misc]none:  (1.1326695724237201e-117): 0
* [misc]none:  (2.0115496002781107e-145): 0
* [misc]none:  (-2.7349284820526125e-289): 0
* [misc]none:  (1.8862750447266752e-53): 0
* [misc]none:  (3.0319757073152243e-73): 0
* [misc]none:  (3.46946296425657e-151): 0
* [misc]none:  (-1.5345220119867362e-54): 0
* [misc]none:  (4.4617997614332734e-49): 0
* [misc]none:  (-4.576042298933677e-291): 0
* [misc]none:  (5.1841759100413795e-161): 0
* [misc]none:  (6.821311827045434e-30): 0
* [misc]none:  (-1.9929766413300646e-81): 0
* [misc]none:  (2.6830861914889714e-191): 0
* [misc]none:  (-1.9739730389420339e-53): 0
* [misc]none:  (-1.3992932767813926e-176): 0
* [misc]none:  (2.5419285128257477e-50): 0
* [misc]none:  (-5.652687215490466e-220): 0
* [misc]none:  (-5.689324367802329e-246): 0
* [misc]none:  (-4.3909971879838963e-305): 0
* [misc]none:  (1.1909630224861144e-308): 0
* [misc]none:  (-2.930048407292739e-56): 0
* [misc]none:  (-6.427869387517747e-307): 0
* [misc]none:  (9.212199844523645e-229): 0
* [misc]none:  (-1.2461956087023843e-38): 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:  (2.8003106991789085e-69): 0
* [misc]none:  (-3.912955183972641e-245): 0
* [misc]none:  (5.515506992492392e-277): 0
* [misc]none:  (2.595646488837273e-219): 0
* [misc]none:  (-1.0403226659956264e-12): 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.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:  (-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:  (-2.030003858554109e-299): 0
* [misc]none:  (0.0005921945720183679): 0
* [misc]none:  (2.8115284450926948e-120): 0
* [misc]none:  (-1.4914047823213697e-303): 0
* [misc]none:  (-5.51972060484157e-206): 0
* [misc]none:  (-2.222084476892157e-27): 0
* [misc]none:  (2.9394468165964015e-257): 0
* [misc]none:  (3.271929098149761e-144): 0
* [misc]none:  (3.0718166030691505e-80): 0
* [misc]none:  (6.604350361119279e-291): 0
* [misc]none:  (3.861477555295976e-66): 0
* [misc]none:  (7.835819247789118e-215): 0
* [misc]none:  (-1.7331826939437403e-32): 0
* [misc]none:  (1.5041078345043152e-175): 0
* [misc]none:  (-7.5213132710662e-74): 0
* [misc]none:  (3.0457736919219457e-222): 0
* [misc]none:  (-1.1587029546828107e-151): 0
* [misc]none:  (-2.4216252182489007e-26): 0
* [misc]none:  (-1.4390028162741748e-46): 0
* [misc]none:  (8.124998850854922e-91): 0
* [misc]none:  (-5.655718042216706e-88): 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:  (5.600091178152213e-210): 0
* [misc]none:  (7.360949206952843e-212): 0
* [misc]none:  (-4.623471500501843e-242): 0
* [misc]none:  (2.924154450481512e-86): 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:  (-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:  (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.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:  (7.118304679887613e-64): 0
* [misc]none:  (2.3966615634258388e-54): 0
* [misc]none:  (-5.628195320915282e-68): 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:  (-0.00034026123764188893): 0
* [misc]none:  (-6.976081079926557e-283): 0
* [misc]none:  (-3.37039684741933e-178): 0
* [misc]none:  (-2.4597612805403014e-225): 0
* [misc]none:  (2.0217918620332625e-85): 0
* [misc]none:  (5.6334012743355e-180): 0
* [misc]none:  (2.872174301870785e-238): 0
* [misc]none:  (-7.645827496994951e-25): 0
* [misc]none:  (2.885576028912994e-235): 0
* [misc]none:  (-4.494398935743406e-151): 0
* [misc]none:  (2.7377399598585416e-269): 0
* [misc]none:  (1.2391428993123195e-53): 0
* [misc]none:  (-9.565609472547322e-124): 0
* [misc]none:  (-7.966969819213301e-111): 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.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.0864842934460505e-25): 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.917715355857765e-213): 0
* [misc]none:  (-1.2153695779764702e-107): 0
* [misc]none:  (-5.6718708555151934e-182): 0
* [misc]none:  (-4.077199751463202e-279): 0
* [misc]none:  (1.2154965615643017e-95): 0
* [misc]none:  (1.7054753386147003e-193): 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:  (-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:  (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:  (-3.468803990975246e-114): 0
* [misc]none:  (-1.4358426706351876e-229): 0
* [misc]none:  (-1.367452993894295e-129): 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:  (2.704077310435608e-253): 0
* [misc]none:  (2.7511202385052856e-18): 0
* [misc]none:  (3.82956155404422e-299): 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:  (-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:  (-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.009493492582987e-296): 0
* [misc]none:  (-1.157925061166081e-58): 0
* [misc]none:  Picked alt (λ (x) (exp (- (- 1 (* x x)))))
* * * * [misc]pick:  Picked  #<alt-event (λ (x) (exp (- (- 1 (* x x)))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (exp (- (- 1 (* x x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (exp (- (- 1 (* x x)))) in x
* [misc]taylor:  Taking taylor expansion of (- (- 1 (* x x))) in x
* [misc]taylor:  Taking taylor expansion of (- 1 (* x x)) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
* [misc]taylor:  Taking taylor expansion of (exp (- (- 1 (* x x)))) in x
* [misc]taylor:  Taking taylor expansion of (- (- 1 (* x x))) in x
* [misc]taylor:  Taking taylor expansion of (- 1 (* x x)) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
* [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (- -1) into 1
* [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
* [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- -1) into 1
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- -1) into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- -1) into 1
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1))
* [misc]backup-simplify:  Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1))
* [misc]backup-simplify:  Simplify (+ (* (* 1/2 (exp -1)) (pow x 4)) (+ (* (exp -1) (pow x 2)) (exp -1))) into (+ (* 1/2 (* (exp -1) (pow x 4))) (+ (exp -1) (* (exp -1) (pow x 2))))
* [misc]approximate:  Taking taylor expansion of (exp (- (- 1 (* (/ 1 x) (/ 1 x))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (exp (- (- 1 (* (/ 1 x) (/ 1 x))))) in x
* [misc]taylor:  Taking taylor expansion of (- (- 1 (* (/ 1 x) (/ 1 x)))) in x
* [misc]taylor:  Taking taylor expansion of (- 1 (* (/ 1 x) (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (- -1) into 1
* [misc]backup-simplify:  Simplify (exp (- (- 1 (* (/ 1 x) (/ 1 x))))) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]taylor:  Taking taylor expansion of (exp (- (- 1 (* (/ 1 x) (/ 1 x))))) in x
* [misc]taylor:  Taking taylor expansion of (- (- 1 (* (/ 1 x) (/ 1 x)))) in x
* [misc]taylor:  Taking taylor expansion of (- 1 (* (/ 1 x) (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (- -1) into 1
* [misc]backup-simplify:  Simplify (exp (- (- 1 (* (/ 1 x) (/ 1 x))))) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1)) into (exp (- (pow x 2) 1))
* [misc]approximate:  Taking taylor expansion of (exp (- (- 1 (* (/ 1 (- x)) (/ 1 (- x)))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (exp (- (- 1 (* (/ 1 (- x)) (/ 1 (- x)))))) in x
* [misc]taylor:  Taking taylor expansion of (- (- 1 (* (/ 1 (- x)) (/ 1 (- x))))) in x
* [misc]taylor:  Taking taylor expansion of (- 1 (* (/ 1 (- x)) (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (- -1) into 1
* [misc]backup-simplify:  Simplify (exp (- (- 1 (* (/ 1 (- x)) (/ 1 (- x)))))) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]taylor:  Taking taylor expansion of (exp (- (- 1 (* (/ 1 (- x)) (/ 1 (- x)))))) in x
* [misc]taylor:  Taking taylor expansion of (- (- 1 (* (/ 1 (- x)) (/ 1 (- x))))) in x
* [misc]taylor:  Taking taylor expansion of (- 1 (* (/ 1 (- x)) (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (- -1) into 1
* [misc]backup-simplify:  Simplify (exp (- (- 1 (* (/ 1 (- x)) (/ 1 (- x)))))) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1)) into (exp (- (pow x 2) 1))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 28 ] simplifiying candidate #<alt-delta (λ (x) (log1p (expm1 (exp (- (- 1 (* x x)))))))>
* [enter]simplify:  Simplifying (expm1 (exp (- (- 1 (* x x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (51 enodes)
* * [misc]simplify:  iters left: 2 (74 enodes)
* * [misc]simplify:  iters left: 1 (107 enodes)
* [exit]simplify:  Simplified to (expm1 (exp (- (* x x) 1)))
* [exit]simplify:  Simplified to (expm1 (exp (- (* x x) 1)))
* * * * [misc]progress:  [ 2 / 28 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (exp (- (- 1 (* x x)))))))>
* [enter]simplify:  Simplifying (log1p (exp (- (- 1 (* x x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (51 enodes)
* * [misc]simplify:  iters left: 2 (74 enodes)
* * [misc]simplify:  iters left: 1 (107 enodes)
* [exit]simplify:  Simplified to (log1p (exp (- (* x x) 1)))
* [exit]simplify:  Simplified to (log1p (exp (- (* x x) 1)))
* * * * [misc]progress:  [ 3 / 28 ] simplifiying candidate #<alt-delta (λ (x) (pow (exp (- (- 1 (* x x)))) 1))>
* * * * [misc]progress:  [ 4 / 28 ] simplifiying candidate #<alt-delta (λ (x) (pow (exp (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x)))))) (cbrt (- (- 1 (* x x))))))>
* [enter]simplify:  Simplifying (exp (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x))))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* * [misc]simplify:  iters left: 3 (31 enodes)
* * [misc]simplify:  iters left: 2 (36 enodes)
* * [misc]simplify:  iters left: 1 (42 enodes)
* [exit]simplify:  Simplified to (exp (* (cbrt (- (* x x) 1)) (cbrt (- (* x x) 1))))
* [exit]simplify:  Simplified to (exp (* (cbrt (- (* x x) 1)) (cbrt (- (* x x) 1))))
* * * * [misc]progress:  [ 5 / 28 ] simplifiying candidate #<alt-delta (λ (x) (pow (exp (sqrt (- (- 1 (* x x))))) (sqrt (- (- 1 (* x x))))))>
* [enter]simplify:  Simplifying (exp (sqrt (- (- 1 (* x x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (28 enodes)
* * [misc]simplify:  iters left: 2 (33 enodes)
* * [misc]simplify:  iters left: 1 (39 enodes)
* [exit]simplify:  Simplified to (exp (sqrt (- (* x x) 1)))
* [exit]simplify:  Simplified to (exp (sqrt (- (* x x) 1)))
* * * * [misc]progress:  [ 6 / 28 ] simplifiying candidate #<alt-delta (λ (x) (pow (exp 1) (- (- 1 (* x x)))))>
* [enter]simplify:  Simplifying (exp 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to E
* [exit]simplify:  Simplified to E
* * * * [misc]progress:  [ 7 / 28 ] simplifiying candidate #<alt-delta (λ (x) (pow (exp -1) (- 1 (* x x))))>
* [enter]simplify:  Simplifying (exp -1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (exp -1)
* [exit]simplify:  Simplified to (exp -1)
* * * * [misc]progress:  [ 8 / 28 ] simplifiying candidate #<alt-delta (λ (x) (pow (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))) (cbrt (- 1 (* x x)))))>
* [enter]simplify:  Simplifying (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (26 enodes)
* * [misc]simplify:  iters left: 3 (29 enodes)
* [exit]simplify:  Simplified to (pow (exp (cbrt (- 1 (* x x)))) (- (cbrt (- 1 (* x x)))))
* [exit]simplify:  Simplified to (pow (exp (cbrt (- 1 (* x x)))) (- (cbrt (- 1 (* x x)))))
* * * * [misc]progress:  [ 9 / 28 ] simplifiying candidate #<alt-delta (λ (x) (pow (exp (- (sqrt (- 1 (* x x))))) (sqrt (- 1 (* x x)))))>
* [enter]simplify:  Simplifying (exp (- (sqrt (- 1 (* x x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (19 enodes)
* [exit]simplify:  Simplified to (/ 1 (exp (sqrt (- 1 (* x x)))))
* [exit]simplify:  Simplified to (/ 1 (exp (sqrt (- 1 (* x x)))))
* * * * [misc]progress:  [ 10 / 28 ] simplifiying candidate #<alt-delta (λ (x) (pow (exp (- 1)) (- 1 (* x x))))>
* [enter]simplify:  Simplifying (exp (- 1))
* * [misc]simplify:  iters left: 3 (3 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (/ 1 E)
* [exit]simplify:  Simplified to (/ 1 E)
* * * * [misc]progress:  [ 11 / 28 ] simplifiying candidate #<alt-delta (λ (x) (pow (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) (- (cbrt (- 1 (* x x))))))>
* [enter]simplify:  Simplifying (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (19 enodes)
* [exit]simplify:  Simplified to (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))
* [exit]simplify:  Simplified to (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))
* * * * [misc]progress:  [ 12 / 28 ] simplifiying candidate #<alt-delta (λ (x) (pow (exp (sqrt (- 1 (* x x)))) (- (sqrt (- 1 (* x x))))))>
* [enter]simplify:  Simplifying (exp (sqrt (- 1 (* x x))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* [exit]simplify:  Simplified to (exp (sqrt (- 1 (* x x))))
* [exit]simplify:  Simplified to (exp (sqrt (- 1 (* x x))))
* * * * [misc]progress:  [ 13 / 28 ] simplifiying candidate #<alt-delta (λ (x) (pow (exp 1) (- (- 1 (* x x)))))>
* [enter]simplify:  Simplifying (exp 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to E
* [exit]simplify:  Simplified to E
* * * * [misc]progress:  [ 14 / 28 ] simplifiying candidate #<alt-delta (λ (x) (* (exp (- 1)) (exp (- (- (* x x))))))>
* [enter]simplify:  Simplifying (exp (- 1))
* * [misc]simplify:  iters left: 3 (3 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (/ 1 E)
* [exit]simplify:  Simplified to (/ 1 E)
* [enter]simplify:  Simplifying (exp (- (- (* x x))))
* * [misc]simplify:  iters left: 6 (5 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* * [misc]simplify:  iters left: 4 (24 enodes)
* * [misc]simplify:  iters left: 3 (29 enodes)
* * [misc]simplify:  iters left: 2 (34 enodes)
* [exit]simplify:  Simplified to (exp (* x x))
* [exit]simplify:  Simplified to (exp (* x x))
* * * * [misc]progress:  [ 15 / 28 ] simplifiying candidate #<alt-delta (λ (x) (* (exp (- 1)) (exp (- (- (* x x))))))>
* [enter]simplify:  Simplifying (exp (- 1))
* * [misc]simplify:  iters left: 3 (3 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (/ 1 E)
* [exit]simplify:  Simplified to (/ 1 E)
* [enter]simplify:  Simplifying (exp (- (- (* x x))))
* * [misc]simplify:  iters left: 6 (5 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* * [misc]simplify:  iters left: 4 (24 enodes)
* * [misc]simplify:  iters left: 3 (29 enodes)
* * [misc]simplify:  iters left: 2 (34 enodes)
* [exit]simplify:  Simplified to (exp (* x x))
* [exit]simplify:  Simplified to (exp (* x x))
* * * * [misc]progress:  [ 16 / 28 ] simplifiying candidate #<alt-delta (λ (x) (/ 1 (exp (- 1 (* x x)))))>
* [enter]simplify:  Simplifying (exp (- 1 (* x x)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (21 enodes)
* * [misc]simplify:  iters left: 2 (27 enodes)
* * [misc]simplify:  iters left: 1 (31 enodes)
* [exit]simplify:  Simplified to (exp (- 1 (* x x)))
* [exit]simplify:  Simplified to (exp (- 1 (* x x)))
* * * * [misc]progress:  [ 17 / 28 ] simplifiying candidate #<alt-delta (λ (x) (/ (exp 0) (exp (- 1 (* x x)))))>
* [enter]simplify:  Simplifying (exp 0)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to 1
* [exit]simplify:  Simplified to 1
* [enter]simplify:  Simplifying (exp (- 1 (* x x)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (21 enodes)
* * [misc]simplify:  iters left: 2 (27 enodes)
* * [misc]simplify:  iters left: 1 (31 enodes)
* [exit]simplify:  Simplified to (exp (- 1 (* x x)))
* [exit]simplify:  Simplified to (exp (- 1 (* x x)))
* * * * [misc]progress:  [ 18 / 28 ] simplifiying candidate #<alt-delta (λ (x) (/ 1 (exp (- 1 (* x x)))))>
* * * * [misc]progress:  [ 19 / 28 ] simplifiying candidate #<alt-delta (λ (x) (exp (- (- 1 (* x x)))))>
* * * * [misc]progress:  [ 20 / 28 ] simplifiying candidate #<alt-delta (λ (x) (exp (log (exp (- (- 1 (* x x)))))))>
* [enter]simplify:  Simplifying (log (exp (- (- 1 (* x x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (29 enodes)
* * [misc]simplify:  iters left: 3 (64 enodes)
* * [misc]simplify:  iters left: 2 (121 enodes)
* * [misc]simplify:  iters left: 1 (220 enodes)
* [exit]simplify:  Simplified to (- (* x x) 1)
* [exit]simplify:  Simplified to (- (* x x) 1)
* * * * [misc]progress:  [ 21 / 28 ] simplifiying candidate #<alt-delta (λ (x) (log (exp (exp (- (- 1 (* x x)))))))>
* [enter]simplify:  Simplifying (exp (exp (- (- 1 (* x x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (51 enodes)
* * [misc]simplify:  iters left: 2 (76 enodes)
* * [misc]simplify:  iters left: 1 (109 enodes)
* [exit]simplify:  Simplified to (pow (exp (/ 1 E)) (exp (* x x)))
* [exit]simplify:  Simplified to (pow (exp (/ 1 E)) (exp (* x x)))
* * * * [misc]progress:  [ 22 / 28 ] simplifiying candidate #<alt-delta (λ (x) (* (* (cbrt (exp (- (- 1 (* x x))))) (cbrt (exp (- (- 1 (* x x)))))) (cbrt (exp (- (- 1 (* x x)))))))>
* [enter]simplify:  Simplifying (* (cbrt (exp (- (- 1 (* x x))))) (cbrt (exp (- (- 1 (* x x))))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (26 enodes)
* * [misc]simplify:  iters left: 3 (52 enodes)
* * [misc]simplify:  iters left: 2 (81 enodes)
* * [misc]simplify:  iters left: 1 (124 enodes)
* [exit]simplify:  Simplified to (* (cbrt (exp (- (* x x) 1))) (cbrt (exp (- (* x x) 1))))
* [exit]simplify:  Simplified to (* (cbrt (exp (- (* x x) 1))) (cbrt (exp (- (* x x) 1))))
* [enter]simplify:  Simplifying (cbrt (exp (- (- 1 (* x x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (51 enodes)
* * [misc]simplify:  iters left: 2 (74 enodes)
* * [misc]simplify:  iters left: 1 (107 enodes)
* [exit]simplify:  Simplified to (cbrt (exp (- (* x x) 1)))
* [exit]simplify:  Simplified to (cbrt (exp (- (* x x) 1)))
* * * * [misc]progress:  [ 23 / 28 ] simplifiying candidate #<alt-delta (λ (x) (cbrt (* (* (exp (- (- 1 (* x x)))) (exp (- (- 1 (* x x))))) (exp (- (- 1 (* x x)))))))>
* [enter]simplify:  Simplifying (* (* (exp (- (- 1 (* x x)))) (exp (- (- 1 (* x x))))) (exp (- (- 1 (* x x)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (46 enodes)
* * [misc]simplify:  iters left: 3 (131 enodes)
* * [misc]simplify:  iters left: 2 (445 enodes)
* [exit]simplify:  Simplified to (pow (exp (- (* x x) 1)) 3)
* [exit]simplify:  Simplified to (pow (exp (- (* x x) 1)) 3)
* * * * [misc]progress:  [ 24 / 28 ] simplifiying candidate #<alt-delta (λ (x) (* (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x)))))))>
* [enter]simplify:  Simplifying (sqrt (exp (- (- 1 (* x x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (51 enodes)
* * [misc]simplify:  iters left: 2 (74 enodes)
* * [misc]simplify:  iters left: 1 (107 enodes)
* [exit]simplify:  Simplified to (sqrt (exp (- (* x x) 1)))
* [exit]simplify:  Simplified to (sqrt (exp (- (* x x) 1)))
* [enter]simplify:  Simplifying (sqrt (exp (- (- 1 (* x x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (51 enodes)
* * [misc]simplify:  iters left: 2 (74 enodes)
* * [misc]simplify:  iters left: 1 (107 enodes)
* [exit]simplify:  Simplified to (sqrt (exp (- (* x x) 1)))
* [exit]simplify:  Simplified to (sqrt (exp (- (* x x) 1)))
* * * * [misc]progress:  [ 25 / 28 ] simplifiying candidate #<alt-delta (λ (x) (* 1 (exp (- (- 1 (* x x))))))>
* * * * [misc]progress:  [ 26 / 28 ] simplifiying candidate #<alt-event (λ (x) (+ (* 1/2 (* (exp -1) (pow x 4))) (+ (exp -1) (* (exp -1) (pow x 2)))))>
* [enter]simplify:  Simplifying (+ (* 1/2 (* (exp -1) (pow x 4))) (+ (exp -1) (* (exp -1) (pow x 2))))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (24 enodes)
* * [misc]simplify:  iters left: 4 (50 enodes)
* * [misc]simplify:  iters left: 3 (96 enodes)
* * [misc]simplify:  iters left: 2 (130 enodes)
* * [misc]simplify:  iters left: 1 (249 enodes)
* [exit]simplify:  Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))
* * * * [misc]progress:  [ 27 / 28 ] simplifiying candidate #<alt-event (λ (x) (exp (- (pow x 2) 1)))>
* [enter]simplify:  Simplifying (exp (- (pow x 2) 1))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* * [misc]simplify:  iters left: 1 (31 enodes)
* [exit]simplify:  Simplified to (exp (- (* x x) 1))
* * * * [misc]progress:  [ 28 / 28 ] simplifiying candidate #<alt-event (λ (x) (exp (- (pow x 2) 1)))>
* [enter]simplify:  Simplifying (exp (- (pow x 2) 1))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* * [misc]simplify:  iters left: 1 (31 enodes)
* [exit]simplify:  Simplified to (exp (- (* x x) 1))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 4
* * * [misc]progress:  picking best candidate
* [misc]none:  Fresh alts: 1
* [misc]none:  All alts: 2
* [misc]none:  Fresh alt: (λ (x) (expm1 (log1p (exp (- (* x x) 1)))))
* [misc]none:  Non-fresh alt: (λ (x) (exp (- (- 1 (* x x)))))
* [misc]none:  Fresh alt indexes
* [misc]none:  (λ (x) (expm1 (log1p (exp (- (* x x) 1))))): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (-1.5896307370952378e-24): 0
* [misc]none:  (-2.381600975603585e-126): 0
* [misc]none:  (1.1078263738557817e-173): 0
* [misc]none:  (-4.8901493658439805e-257): 0
* [misc]none:  (-1.086848415384618e-149): 0
* [misc]none:  (1.5400917624685415e-295): 0
* [misc]none:  (1.389009890486587e-304): 0
* [misc]none:  (-0.07645769362495446): 0
* [misc]none:  (3.5836534998638334e-135): 0
* [misc]none:  (5.874263446950659e-136): 0
* [misc]none:  (-4.6360422655231974e-215): 0
* [misc]none:  (1.3639040980897921e-39): 0
* [misc]none:  (2.4497413502625085e-301): 0
* [misc]none:  (1.9836536473017196e-256): 0
* [misc]none:  (2.7441626242764893e-109): 0
* [misc]none:  (-1.2184545386686845e-292): 0
* [misc]none:  (-4.164360616471795e-297): 0
* [misc]none:  (1.1330111314315052e-297): 0
* [misc]none:  (6.333415879143823e-203): 0
* [misc]none:  (-1.1408068010697186e-09): 0
* [misc]none:  (6.534790094984563e-249): 0
* [misc]none:  (-6.136769236604219e-245): 0
* [misc]none:  (-1.5184287807448694e-256): 0
* [misc]none:  (9.20482191500962e-294): 0
* [misc]none:  (6.826390525782658e-164): 0
* [misc]none:  (1.4517955555700533e-57): 0
* [misc]none:  (-6.624186711279531e-158): 0
* [misc]none:  (-2.28428829200312e-74): 0
* [misc]none:  (6.319063013887454e-198): 0
* [misc]none:  (4.013577168037153e-101): 0
* [misc]none:  (-5.9357220490245764e-15): 0
* [misc]none:  (-1.423411965411883e-294): 0
* [misc]none:  (1.5130621813503031e-75): 0
* [misc]none:  (-3.3795898713138266e-300): 0
* [misc]none:  (-8.397564680171817e-171): 0
* [misc]none:  (-5.030258942894069e-286): 0
* [misc]none:  (7.700703882618771e-282): 0
* [misc]none:  (-4.182069781177431e-143): 0
* [misc]none:  (3.8976396927163173e-162): 0
* [misc]none:  (-4.334942407090635e-248): 0
* [misc]none:  (-5.434332993935807e-16): 0
* [misc]none:  (9.422179697047065e-164): 0
* [misc]none:  (2.0152844845402166e-297): 0
* [misc]none:  (8.604490187894414e-112): 0
* [misc]none:  (1.1753499799973743e-97): 0
* [misc]none:  (-1.4789327900215312e-68): 0
* [misc]none:  (1.7699153793529457e-292): 0
* [misc]none:  (-1.4258769564549258e-208): 0
* [misc]none:  (-7.278263595880122e-193): 0
* [misc]none:  (-2.126351281480013e-88): 0
* [misc]none:  (4.1993878019740277e-286): 0
* [misc]none:  (-0.00023602766722364432): 0
* [misc]none:  (-4.006330508771236e-123): 0
* [misc]none:  (1.3228826725861251e-83): 0
* [misc]none:  (-1.319380347151282e-215): 0
* [misc]none:  (1.1326695724237201e-117): 0
* [misc]none:  (2.0115496002781107e-145): 0
* [misc]none:  (-2.7349284820526125e-289): 0
* [misc]none:  (1.8862750447266752e-53): 0
* [misc]none:  (3.0319757073152243e-73): 0
* [misc]none:  (3.46946296425657e-151): 0
* [misc]none:  (-1.5345220119867362e-54): 0
* [misc]none:  (4.4617997614332734e-49): 0
* [misc]none:  (-4.576042298933677e-291): 0
* [misc]none:  (5.1841759100413795e-161): 0
* [misc]none:  (6.821311827045434e-30): 0
* [misc]none:  (-1.9929766413300646e-81): 0
* [misc]none:  (2.6830861914889714e-191): 0
* [misc]none:  (-1.9739730389420339e-53): 0
* [misc]none:  (-1.3992932767813926e-176): 0
* [misc]none:  (2.5419285128257477e-50): 0
* [misc]none:  (-5.652687215490466e-220): 0
* [misc]none:  (-5.689324367802329e-246): 0
* [misc]none:  (-4.3909971879838963e-305): 0
* [misc]none:  (1.1909630224861144e-308): 0
* [misc]none:  (-2.930048407292739e-56): 0
* [misc]none:  (-6.427869387517747e-307): 0
* [misc]none:  (9.212199844523645e-229): 0
* [misc]none:  (-1.2461956087023843e-38): 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:  (2.8003106991789085e-69): 0
* [misc]none:  (-3.912955183972641e-245): 0
* [misc]none:  (5.515506992492392e-277): 0
* [misc]none:  (2.595646488837273e-219): 0
* [misc]none:  (-1.0403226659956264e-12): 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.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:  (-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:  (-2.030003858554109e-299): 0
* [misc]none:  (0.0005921945720183679): 0
* [misc]none:  (2.8115284450926948e-120): 0
* [misc]none:  (-1.4914047823213697e-303): 0
* [misc]none:  (-5.51972060484157e-206): 0
* [misc]none:  (-2.222084476892157e-27): 0
* [misc]none:  (2.9394468165964015e-257): 0
* [misc]none:  (3.271929098149761e-144): 0
* [misc]none:  (3.0718166030691505e-80): 0
* [misc]none:  (6.604350361119279e-291): 0
* [misc]none:  (3.861477555295976e-66): 0
* [misc]none:  (7.835819247789118e-215): 0
* [misc]none:  (-1.7331826939437403e-32): 0
* [misc]none:  (1.5041078345043152e-175): 0
* [misc]none:  (-7.5213132710662e-74): 0
* [misc]none:  (3.0457736919219457e-222): 0
* [misc]none:  (-1.1587029546828107e-151): 0
* [misc]none:  (-2.4216252182489007e-26): 0
* [misc]none:  (-1.4390028162741748e-46): 0
* [misc]none:  (8.124998850854922e-91): 0
* [misc]none:  (-5.655718042216706e-88): 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:  (5.600091178152213e-210): 0
* [misc]none:  (7.360949206952843e-212): 0
* [misc]none:  (-4.623471500501843e-242): 0
* [misc]none:  (2.924154450481512e-86): 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:  (-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:  (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.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:  (7.118304679887613e-64): 0
* [misc]none:  (2.3966615634258388e-54): 0
* [misc]none:  (-5.628195320915282e-68): 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:  (-0.00034026123764188893): 0
* [misc]none:  (-6.976081079926557e-283): 0
* [misc]none:  (-3.37039684741933e-178): 0
* [misc]none:  (-2.4597612805403014e-225): 0
* [misc]none:  (2.0217918620332625e-85): 0
* [misc]none:  (5.6334012743355e-180): 0
* [misc]none:  (2.872174301870785e-238): 0
* [misc]none:  (-7.645827496994951e-25): 0
* [misc]none:  (2.885576028912994e-235): 0
* [misc]none:  (-4.494398935743406e-151): 0
* [misc]none:  (2.7377399598585416e-269): 0
* [misc]none:  (1.2391428993123195e-53): 0
* [misc]none:  (-9.565609472547322e-124): 0
* [misc]none:  (-7.966969819213301e-111): 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.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.0864842934460505e-25): 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.917715355857765e-213): 0
* [misc]none:  (-1.2153695779764702e-107): 0
* [misc]none:  (-5.6718708555151934e-182): 0
* [misc]none:  (-4.077199751463202e-279): 0
* [misc]none:  (1.2154965615643017e-95): 0
* [misc]none:  (1.7054753386147003e-193): 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:  (-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:  (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:  (-3.468803990975246e-114): 0
* [misc]none:  (-1.4358426706351876e-229): 0
* [misc]none:  (-1.367452993894295e-129): 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:  (2.704077310435608e-253): 0
* [misc]none:  (2.7511202385052856e-18): 0
* [misc]none:  (3.82956155404422e-299): 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:  (-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:  (-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.009493492582987e-296): 0
* [misc]none:  (-1.157925061166081e-58): 0
* [misc]none:  All alt indexes
* [misc]none:  (λ (x) (expm1 (log1p (exp (- (* x x) 1))))): 0
* [misc]none:  (λ (x) (exp (- (- 1 (* x x))))): 1
* [misc]none:  Best alt per point
* [misc]none:  (-1.5896307370952378e-24): 0
* [misc]none:  (-2.381600975603585e-126): 0
* [misc]none:  (1.1078263738557817e-173): 0
* [misc]none:  (-4.8901493658439805e-257): 0
* [misc]none:  (-1.086848415384618e-149): 0
* [misc]none:  (1.5400917624685415e-295): 0
* [misc]none:  (1.389009890486587e-304): 0
* [misc]none:  (-0.07645769362495446): 0
* [misc]none:  (3.5836534998638334e-135): 0
* [misc]none:  (5.874263446950659e-136): 0
* [misc]none:  (-4.6360422655231974e-215): 0
* [misc]none:  (1.3639040980897921e-39): 0
* [misc]none:  (2.4497413502625085e-301): 0
* [misc]none:  (1.9836536473017196e-256): 0
* [misc]none:  (2.7441626242764893e-109): 0
* [misc]none:  (-1.2184545386686845e-292): 0
* [misc]none:  (-4.164360616471795e-297): 0
* [misc]none:  (1.1330111314315052e-297): 0
* [misc]none:  (6.333415879143823e-203): 0
* [misc]none:  (-1.1408068010697186e-09): 0
* [misc]none:  (6.534790094984563e-249): 0
* [misc]none:  (-6.136769236604219e-245): 0
* [misc]none:  (-1.5184287807448694e-256): 0
* [misc]none:  (9.20482191500962e-294): 0
* [misc]none:  (6.826390525782658e-164): 0
* [misc]none:  (1.4517955555700533e-57): 0
* [misc]none:  (-6.624186711279531e-158): 0
* [misc]none:  (-2.28428829200312e-74): 0
* [misc]none:  (6.319063013887454e-198): 0
* [misc]none:  (4.013577168037153e-101): 0
* [misc]none:  (-5.9357220490245764e-15): 0
* [misc]none:  (-1.423411965411883e-294): 0
* [misc]none:  (1.5130621813503031e-75): 0
* [misc]none:  (-3.3795898713138266e-300): 0
* [misc]none:  (-8.397564680171817e-171): 0
* [misc]none:  (-5.030258942894069e-286): 0
* [misc]none:  (7.700703882618771e-282): 0
* [misc]none:  (-4.182069781177431e-143): 0
* [misc]none:  (3.8976396927163173e-162): 0
* [misc]none:  (-4.334942407090635e-248): 0
* [misc]none:  (-5.434332993935807e-16): 0
* [misc]none:  (9.422179697047065e-164): 0
* [misc]none:  (2.0152844845402166e-297): 0
* [misc]none:  (8.604490187894414e-112): 0
* [misc]none:  (1.1753499799973743e-97): 0
* [misc]none:  (-1.4789327900215312e-68): 0
* [misc]none:  (1.7699153793529457e-292): 0
* [misc]none:  (-1.4258769564549258e-208): 0
* [misc]none:  (-7.278263595880122e-193): 0
* [misc]none:  (-2.126351281480013e-88): 0
* [misc]none:  (4.1993878019740277e-286): 0
* [misc]none:  (-0.00023602766722364432): 0
* [misc]none:  (-4.006330508771236e-123): 0
* [misc]none:  (1.3228826725861251e-83): 0
* [misc]none:  (-1.319380347151282e-215): 0
* [misc]none:  (1.1326695724237201e-117): 0
* [misc]none:  (2.0115496002781107e-145): 0
* [misc]none:  (-2.7349284820526125e-289): 0
* [misc]none:  (1.8862750447266752e-53): 0
* [misc]none:  (3.0319757073152243e-73): 0
* [misc]none:  (3.46946296425657e-151): 0
* [misc]none:  (-1.5345220119867362e-54): 0
* [misc]none:  (4.4617997614332734e-49): 0
* [misc]none:  (-4.576042298933677e-291): 0
* [misc]none:  (5.1841759100413795e-161): 0
* [misc]none:  (6.821311827045434e-30): 0
* [misc]none:  (-1.9929766413300646e-81): 0
* [misc]none:  (2.6830861914889714e-191): 0
* [misc]none:  (-1.9739730389420339e-53): 0
* [misc]none:  (-1.3992932767813926e-176): 0
* [misc]none:  (2.5419285128257477e-50): 0
* [misc]none:  (-5.652687215490466e-220): 0
* [misc]none:  (-5.689324367802329e-246): 0
* [misc]none:  (-4.3909971879838963e-305): 0
* [misc]none:  (1.1909630224861144e-308): 0
* [misc]none:  (-2.930048407292739e-56): 0
* [misc]none:  (-6.427869387517747e-307): 0
* [misc]none:  (9.212199844523645e-229): 0
* [misc]none:  (-1.2461956087023843e-38): 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:  (2.8003106991789085e-69): 0
* [misc]none:  (-3.912955183972641e-245): 0
* [misc]none:  (5.515506992492392e-277): 0
* [misc]none:  (2.595646488837273e-219): 0
* [misc]none:  (-1.0403226659956264e-12): 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.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:  (-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:  (-2.030003858554109e-299): 0
* [misc]none:  (0.0005921945720183679): 0
* [misc]none:  (2.8115284450926948e-120): 0
* [misc]none:  (-1.4914047823213697e-303): 0
* [misc]none:  (-5.51972060484157e-206): 0
* [misc]none:  (-2.222084476892157e-27): 0
* [misc]none:  (2.9394468165964015e-257): 0
* [misc]none:  (3.271929098149761e-144): 0
* [misc]none:  (3.0718166030691505e-80): 0
* [misc]none:  (6.604350361119279e-291): 0
* [misc]none:  (3.861477555295976e-66): 0
* [misc]none:  (7.835819247789118e-215): 0
* [misc]none:  (-1.7331826939437403e-32): 0
* [misc]none:  (1.5041078345043152e-175): 0
* [misc]none:  (-7.5213132710662e-74): 0
* [misc]none:  (3.0457736919219457e-222): 0
* [misc]none:  (-1.1587029546828107e-151): 0
* [misc]none:  (-2.4216252182489007e-26): 0
* [misc]none:  (-1.4390028162741748e-46): 0
* [misc]none:  (8.124998850854922e-91): 0
* [misc]none:  (-5.655718042216706e-88): 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:  (5.600091178152213e-210): 0
* [misc]none:  (7.360949206952843e-212): 0
* [misc]none:  (-4.623471500501843e-242): 0
* [misc]none:  (2.924154450481512e-86): 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:  (-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): 1
* [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.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:  (7.118304679887613e-64): 0
* [misc]none:  (2.3966615634258388e-54): 0
* [misc]none:  (-5.628195320915282e-68): 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:  (-0.00034026123764188893): 0
* [misc]none:  (-6.976081079926557e-283): 0
* [misc]none:  (-3.37039684741933e-178): 0
* [misc]none:  (-2.4597612805403014e-225): 0
* [misc]none:  (2.0217918620332625e-85): 0
* [misc]none:  (5.6334012743355e-180): 0
* [misc]none:  (2.872174301870785e-238): 0
* [misc]none:  (-7.645827496994951e-25): 0
* [misc]none:  (2.885576028912994e-235): 0
* [misc]none:  (-4.494398935743406e-151): 0
* [misc]none:  (2.7377399598585416e-269): 0
* [misc]none:  (1.2391428993123195e-53): 0
* [misc]none:  (-9.565609472547322e-124): 0
* [misc]none:  (-7.966969819213301e-111): 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.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.0864842934460505e-25): 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.917715355857765e-213): 0
* [misc]none:  (-1.2153695779764702e-107): 0
* [misc]none:  (-5.6718708555151934e-182): 0
* [misc]none:  (-4.077199751463202e-279): 0
* [misc]none:  (1.2154965615643017e-95): 0
* [misc]none:  (1.7054753386147003e-193): 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:  (-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:  (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:  (-3.468803990975246e-114): 0
* [misc]none:  (-1.4358426706351876e-229): 0
* [misc]none:  (-1.367452993894295e-129): 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:  (2.704077310435608e-253): 0
* [misc]none:  (2.7511202385052856e-18): 0
* [misc]none:  (3.82956155404422e-299): 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:  (-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:  (-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.009493492582987e-296): 0
* [misc]none:  (-1.157925061166081e-58): 0
* [misc]none:  Picked alt (λ (x) (expm1 (log1p (exp (- (* x x) 1)))))
* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (expm1 (log1p (exp (- (* x x) 1)))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
* * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
* * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1 1)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (expm1 (log1p (exp (- (* x x) 1)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (exp (- (* x x) 1)))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (exp (- (* x x) 1)))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (exp (- (* x x) 1)))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (exp (- (* x x) 1))) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (exp (- (* x x) 1))))
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (- (* x x) 1))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (- (* x x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* x x) 1) in x
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
* [misc]backup-simplify:  Simplify (+ 1 (exp -1)) into (+ (exp -1) 1)
* [misc]backup-simplify:  Simplify (log (+ (exp -1) 1)) into (log (+ (exp -1) 1))
* [misc]backup-simplify:  Simplify (exp (log (+ (exp -1) 1))) into (+ (exp -1) 1)
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (exp (- (* x x) 1)))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (exp (- (* x x) 1)))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (exp (- (* x x) 1)))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (exp (- (* x x) 1))) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (exp (- (* x x) 1))))
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (- (* x x) 1))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (- (* x x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* x x) 1) in x
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
* [misc]backup-simplify:  Simplify (+ 1 (exp -1)) into (+ (exp -1) 1)
* [misc]backup-simplify:  Simplify (log (+ (exp -1) 1)) into (log (+ (exp -1) 1))
* [misc]backup-simplify:  Simplify (exp (log (+ (exp -1) 1))) into (+ (exp -1) 1)
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ (+ (exp -1) 1) -1) into (exp -1)
* [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp -1) 1) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ (exp -1) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
* [misc]backup-simplify:  Simplify (+ 0 (exp -1)) into (exp -1)
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp -1) 1) 2))) (* 1 (/ (* 1 (pow (* 2 (exp -1)) 1)) (pow (+ (exp -1) 1) 1)))) 2) into (/ (exp -1) (+ (exp -1) 1))
* [misc]backup-simplify:  Simplify (* (exp (log (+ (exp -1) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow (/ (exp -1) (+ (exp -1) 1)) 1) 1)))) into (exp -1)
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (exp -1) 0) into (exp -1)
* [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp -1) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (exp -1)) 1)) (pow (+ (exp -1) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp -1) 1) 1)))) 6) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ (exp -1) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow (/ (exp -1) (+ (exp -1) 1)) 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1))
* [misc]backup-simplify:  Simplify (+ 0 (* 1/2 (exp -1))) into (* 1/2 (exp -1))
* [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp -1) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (exp -1)) 1)) (pow (+ (exp -1) 1) 3))) (* -3 (/ (* 1 (pow (* 2 (exp -1)) 2)) (pow (+ (exp -1) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp -1) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 1/2 (exp -1))) 1)) (pow (+ (exp -1) 1) 1)))) 24) into (* 1/24 (- (* 12 (/ (exp -1) (+ (exp -1) 1))) (* 12 (/ (pow (exp -1) 2) (pow (+ (exp -1) 1) 2)))))
* [misc]backup-simplify:  Simplify (* (exp (log (+ (exp -1) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow (/ (exp -1) (+ (exp -1) 1)) 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow (/ (exp -1) (+ (exp -1) 1)) 2) 2)) (* (/ (pow (* 1/24 (- (* 12 (/ (exp -1) (+ (exp -1) 1))) (* 12 (/ (pow (exp -1) 2) (pow (+ (exp -1) 1) 2))))) 1) 1)))) into (* 1/2 (exp -1))
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 1/2 (exp -1)) 0) into (* 1/2 (exp -1))
* [misc]backup-simplify:  Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1))
* [misc]backup-simplify:  Simplify (+ (* (* 1/2 (exp -1)) (pow x 4)) (+ (* (exp -1) (pow x 2)) (exp -1))) into (+ (* 1/2 (* (exp -1) (pow x 4))) (+ (exp -1) (* (exp -1) (pow x 2))))
* [misc]approximate:  Taking taylor expansion of (expm1 (log1p (exp (- (* (/ 1 x) (/ 1 x)) 1)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (exp (- (* (/ 1 x) (/ 1 x)) 1)))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (exp (- (* (/ 1 x) (/ 1 x)) 1)))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (exp (- (* (/ 1 x) (/ 1 x)) 1)))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (exp (- (* (/ 1 x) (/ 1 x)) 1))) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (exp (- (* (/ 1 x) (/ 1 x)) 1))))
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (- (* (/ 1 x) (/ 1 x)) 1))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (- (* (/ 1 x) (/ 1 x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 x) (/ 1 x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (exp (- (* (/ 1 x) (/ 1 x)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify (+ 1 (exp (- (/ 1 (pow x 2)) 1))) into (+ 1 (exp (- (/ 1 (pow x 2)) 1)))
* [misc]backup-simplify:  Simplify (log (+ 1 (exp (- (/ 1 (pow x 2)) 1)))) into (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))
* [misc]backup-simplify:  Simplify (exp (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))) into (+ 1 (exp (- (/ 1 (pow x 2)) 1)))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (exp (- (* (/ 1 x) (/ 1 x)) 1)))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (exp (- (* (/ 1 x) (/ 1 x)) 1)))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (exp (- (* (/ 1 x) (/ 1 x)) 1)))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (exp (- (* (/ 1 x) (/ 1 x)) 1))) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (exp (- (* (/ 1 x) (/ 1 x)) 1))))
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (- (* (/ 1 x) (/ 1 x)) 1))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (- (* (/ 1 x) (/ 1 x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 x) (/ 1 x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (exp (- (* (/ 1 x) (/ 1 x)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify (+ 1 (exp (- (/ 1 (pow x 2)) 1))) into (+ 1 (exp (- (/ 1 (pow x 2)) 1)))
* [misc]backup-simplify:  Simplify (log (+ 1 (exp (- (/ 1 (pow x 2)) 1)))) into (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))
* [misc]backup-simplify:  Simplify (exp (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))) into (+ 1 (exp (- (/ 1 (pow x 2)) 1)))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ (+ 1 (exp (- (/ 1 (pow x 2)) 1))) -1) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 2) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 6) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 24) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 120) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 720) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1)) into (exp (- (pow x 2) 1))
* [misc]approximate:  Taking taylor expansion of (expm1 (log1p (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1)))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1)))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1)))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1))) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1))))
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- x)) (/ 1 (- x))) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify (+ 1 (exp (- (/ 1 (pow x 2)) 1))) into (+ 1 (exp (- (/ 1 (pow x 2)) 1)))
* [misc]backup-simplify:  Simplify (log (+ 1 (exp (- (/ 1 (pow x 2)) 1)))) into (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))
* [misc]backup-simplify:  Simplify (exp (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))) into (+ 1 (exp (- (/ 1 (pow x 2)) 1)))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1)))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1)))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1)))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1))) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1))))
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- x)) (/ 1 (- x))) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify (+ 1 (exp (- (/ 1 (pow x 2)) 1))) into (+ 1 (exp (- (/ 1 (pow x 2)) 1)))
* [misc]backup-simplify:  Simplify (log (+ 1 (exp (- (/ 1 (pow x 2)) 1)))) into (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))
* [misc]backup-simplify:  Simplify (exp (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))) into (+ 1 (exp (- (/ 1 (pow x 2)) 1)))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ (+ 1 (exp (- (/ 1 (pow x 2)) 1))) -1) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 2) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 6) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 24) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 120) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 720) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1)) into (exp (- (pow x 2) 1))
* * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
* [misc]approximate:  Taking taylor expansion of (log1p (exp (- (* x x) 1))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (log1p (exp (- (* x x) 1))) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (exp (- (* x x) 1))))
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (- (* x x) 1))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (- (* x x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* x x) 1) in x
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
* [misc]backup-simplify:  Simplify (+ 1 (exp -1)) into (+ (exp -1) 1)
* [misc]backup-simplify:  Simplify (log (+ (exp -1) 1)) into (log (+ (exp -1) 1))
* [misc]taylor:  Taking taylor expansion of (log1p (exp (- (* x x) 1))) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (exp (- (* x x) 1))))
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (- (* x x) 1))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (- (* x x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* x x) 1) in x
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
* [misc]backup-simplify:  Simplify (+ 1 (exp -1)) into (+ (exp -1) 1)
* [misc]backup-simplify:  Simplify (log (+ (exp -1) 1)) into (log (+ (exp -1) 1))
* [misc]backup-simplify:  Simplify (log (+ (exp -1) 1)) into (log (+ (exp -1) 1))
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp -1) 1) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
* [misc]backup-simplify:  Simplify (+ 0 (exp -1)) into (exp -1)
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp -1) 1) 2))) (* 1 (/ (* 1 (pow (* 2 (exp -1)) 1)) (pow (+ (exp -1) 1) 1)))) 2) into (/ (exp -1) (+ (exp -1) 1))
* [misc]backup-simplify:  Simplify (/ (exp -1) (+ (exp -1) 1)) into (/ (exp -1) (+ (exp -1) 1))
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp -1) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (exp -1)) 1)) (pow (+ (exp -1) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp -1) 1) 1)))) 6) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1))
* [misc]backup-simplify:  Simplify (+ 0 (* 1/2 (exp -1))) into (* 1/2 (exp -1))
* [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp -1) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (exp -1)) 1)) (pow (+ (exp -1) 1) 3))) (* -3 (/ (* 1 (pow (* 2 (exp -1)) 2)) (pow (+ (exp -1) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp -1) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 1/2 (exp -1))) 1)) (pow (+ (exp -1) 1) 1)))) 24) into (* 1/24 (- (* 12 (/ (exp -1) (+ (exp -1) 1))) (* 12 (/ (pow (exp -1) 2) (pow (+ (exp -1) 1) 2)))))
* [misc]backup-simplify:  Simplify (* 1/24 (- (* 12 (/ (exp -1) (+ (exp -1) 1))) (* 12 (/ (pow (exp -1) 2) (pow (+ (exp -1) 1) 2))))) into (* 1/24 (- (* 12 (/ (exp -1) (+ (exp -1) 1))) (* 12 (/ (pow (exp -1) 2) (pow (+ (exp -1) 1) 2)))))
* [misc]backup-simplify:  Simplify (+ (* (* 1/24 (- (* 12 (/ (exp -1) (+ (exp -1) 1))) (* 12 (/ (pow (exp -1) 2) (pow (+ (exp -1) 1) 2))))) (pow x 4)) (+ (* (/ (exp -1) (+ (exp -1) 1)) (pow x 2)) (log (+ (exp -1) 1)))) into (- (+ (/ (* (exp -1) (pow x 2)) (+ (exp -1) 1)) (+ (* 1/2 (/ (* (exp -1) (pow x 4)) (+ (exp -1) 1))) (log (+ (exp -1) 1)))) (* 1/2 (/ (* (pow (exp -1) 2) (pow x 4)) (pow (+ (exp -1) 1) 2))))
* [misc]approximate:  Taking taylor expansion of (log1p (exp (- (* (/ 1 x) (/ 1 x)) 1))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (log1p (exp (- (* (/ 1 x) (/ 1 x)) 1))) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (exp (- (* (/ 1 x) (/ 1 x)) 1))))
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (- (* (/ 1 x) (/ 1 x)) 1))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (- (* (/ 1 x) (/ 1 x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 x) (/ 1 x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (exp (- (* (/ 1 x) (/ 1 x)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify (+ 1 (exp (- (/ 1 (pow x 2)) 1))) into (+ 1 (exp (- (/ 1 (pow x 2)) 1)))
* [misc]backup-simplify:  Simplify (log (+ 1 (exp (- (/ 1 (pow x 2)) 1)))) into (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))
* [misc]taylor:  Taking taylor expansion of (log1p (exp (- (* (/ 1 x) (/ 1 x)) 1))) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (exp (- (* (/ 1 x) (/ 1 x)) 1))))
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (- (* (/ 1 x) (/ 1 x)) 1))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (- (* (/ 1 x) (/ 1 x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 x) (/ 1 x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (exp (- (* (/ 1 x) (/ 1 x)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify (+ 1 (exp (- (/ 1 (pow x 2)) 1))) into (+ 1 (exp (- (/ 1 (pow x 2)) 1)))
* [misc]backup-simplify:  Simplify (log (+ 1 (exp (- (/ 1 (pow x 2)) 1)))) into (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))
* [misc]backup-simplify:  Simplify (log (+ 1 (exp (- (/ 1 (pow x 2)) 1)))) into (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 2) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 6) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 24) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 120) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 720) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (log (+ 1 (exp (- (/ 1 (pow (/ 1 x) 2)) 1)))) into (log (+ (exp (- (pow x 2) 1)) 1))
* [misc]approximate:  Taking taylor expansion of (log1p (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (log1p (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1))) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1))))
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- x)) (/ 1 (- x))) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify (+ 1 (exp (- (/ 1 (pow x 2)) 1))) into (+ 1 (exp (- (/ 1 (pow x 2)) 1)))
* [misc]backup-simplify:  Simplify (log (+ 1 (exp (- (/ 1 (pow x 2)) 1)))) into (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))
* [misc]taylor:  Taking taylor expansion of (log1p (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1))) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1))))
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- x)) (/ 1 (- x))) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify (+ 1 (exp (- (/ 1 (pow x 2)) 1))) into (+ 1 (exp (- (/ 1 (pow x 2)) 1)))
* [misc]backup-simplify:  Simplify (log (+ 1 (exp (- (/ 1 (pow x 2)) 1)))) into (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))
* [misc]backup-simplify:  Simplify (log (+ 1 (exp (- (/ 1 (pow x 2)) 1)))) into (log (+ 1 (exp (- (/ 1 (pow x 2)) 1))))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 2) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 6) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 24) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 120) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ 1 (exp (- (/ 1 (pow x 2)) 1))) 1)))) 720) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (log (+ 1 (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1)))) into (log (+ (exp (- (pow x 2) 1)) 1))
* * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1 1)
* [misc]approximate:  Taking taylor expansion of (exp (- (* x x) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (exp (- (* x x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* x x) 1) in x
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
* [misc]taylor:  Taking taylor expansion of (exp (- (* x x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* x x) 1) in x
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 0 -1) into -1
* [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
* [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
* [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1))
* [misc]backup-simplify:  Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1))
* [misc]backup-simplify:  Simplify (+ (* (* 1/2 (exp -1)) (pow x 4)) (+ (* (exp -1) (pow x 2)) (exp -1))) into (+ (* 1/2 (* (exp -1) (pow x 4))) (+ (exp -1) (* (exp -1) (pow x 2))))
* [misc]approximate:  Taking taylor expansion of (exp (- (* (/ 1 x) (/ 1 x)) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (exp (- (* (/ 1 x) (/ 1 x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 x) (/ 1 x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (exp (- (* (/ 1 x) (/ 1 x)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]taylor:  Taking taylor expansion of (exp (- (* (/ 1 x) (/ 1 x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 x) (/ 1 x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (exp (- (* (/ 1 x) (/ 1 x)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1)) into (exp (- (pow x 2) 1))
* [misc]approximate:  Taking taylor expansion of (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- x)) (/ 1 (- x))) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]taylor:  Taking taylor expansion of (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) in x
* [misc]taylor:  Taking taylor expansion of (- (* (/ 1 (- x)) (/ 1 (- x))) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (exp (- (* (/ 1 (- x)) (/ 1 (- x))) 1)) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1)) into (exp (- (pow x 2) 1))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 48 ] simplifiying candidate #<alt-delta (λ (x) (- (exp (log1p (exp (- (* x x) 1)))) 1))>
* [enter]simplify:  Simplifying (exp (log1p (exp (- (* x x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (29 enodes)
* * [misc]simplify:  iters left: 3 (50 enodes)
* * [misc]simplify:  iters left: 2 (104 enodes)
* * [misc]simplify:  iters left: 1 (232 enodes)
* [exit]simplify:  Simplified to (exp (log1p (exp (- (* x x) 1))))
* [exit]simplify:  Simplified to (exp (log1p (exp (- (* x x) 1))))
* * * * [misc]progress:  [ 2 / 48 ] simplifiying candidate #<alt-delta (λ (x) (log1p (expm1 (expm1 (log1p (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (expm1 (expm1 (log1p (exp (- (* x x) 1)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (51 enodes)
* * [misc]simplify:  iters left: 2 (105 enodes)
* * [misc]simplify:  iters left: 1 (233 enodes)
* [exit]simplify:  Simplified to (expm1 (exp (- (* x x) 1)))
* [exit]simplify:  Simplified to (expm1 (exp (- (* x x) 1)))
* * * * [misc]progress:  [ 3 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (expm1 (log1p (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (log1p (expm1 (log1p (exp (- (* x x) 1)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (51 enodes)
* * [misc]simplify:  iters left: 2 (105 enodes)
* * [misc]simplify:  iters left: 1 (233 enodes)
* [exit]simplify:  Simplified to (log1p (exp (- (* x x) 1)))
* [exit]simplify:  Simplified to (log1p (exp (- (* x x) 1)))
* * * * [misc]progress:  [ 4 / 48 ] simplifiying candidate #<alt-delta (λ (x) (exp (- (* x x) 1)))>
* * * * [misc]progress:  [ 5 / 48 ] simplifiying candidate #<alt-delta (λ (x) (pow (expm1 (log1p (exp (- (* x x) 1)))) 1))>
* * * * [misc]progress:  [ 6 / 48 ] simplifiying candidate #<alt-delta (λ (x) (exp (log (expm1 (log1p (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (log (expm1 (log1p (exp (- (* x x) 1)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (33 enodes)
* * [misc]simplify:  iters left: 3 (63 enodes)
* * [misc]simplify:  iters left: 2 (146 enodes)
* * [misc]simplify:  iters left: 1 (277 enodes)
* [exit]simplify:  Simplified to (- (* x x) 1)
* [exit]simplify:  Simplified to (- (* x x) 1)
* * * * [misc]progress:  [ 7 / 48 ] simplifiying candidate #<alt-delta (λ (x) (log (exp (expm1 (log1p (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (exp (expm1 (log1p (exp (- (* x x) 1)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (53 enodes)
* * [misc]simplify:  iters left: 2 (107 enodes)
* * [misc]simplify:  iters left: 1 (235 enodes)
* [exit]simplify:  Simplified to (exp (exp (- (* x x) 1)))
* [exit]simplify:  Simplified to (exp (exp (- (* x x) 1)))
* * * * [misc]progress:  [ 8 / 48 ] simplifiying candidate #<alt-delta (λ (x) (* (* (cbrt (expm1 (log1p (exp (- (* x x) 1))))) (cbrt (expm1 (log1p (exp (- (* x x) 1)))))) (cbrt (expm1 (log1p (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (* (cbrt (expm1 (log1p (exp (- (* x x) 1))))) (cbrt (expm1 (log1p (exp (- (* x x) 1))))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (31 enodes)
* * [misc]simplify:  iters left: 3 (52 enodes)
* * [misc]simplify:  iters left: 2 (106 enodes)
* * [misc]simplify:  iters left: 1 (234 enodes)
* [exit]simplify:  Simplified to (* (cbrt (/ (exp (* x x)) E)) (cbrt (/ (exp (* x x)) E)))
* [exit]simplify:  Simplified to (* (cbrt (/ (exp (* x x)) E)) (cbrt (/ (exp (* x x)) E)))
* [enter]simplify:  Simplifying (cbrt (expm1 (log1p (exp (- (* x x) 1)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (51 enodes)
* * [misc]simplify:  iters left: 2 (105 enodes)
* * [misc]simplify:  iters left: 1 (233 enodes)
* [exit]simplify:  Simplified to (cbrt (exp (- (* x x) 1)))
* [exit]simplify:  Simplified to (cbrt (exp (- (* x x) 1)))
* * * * [misc]progress:  [ 9 / 48 ] simplifiying candidate #<alt-delta (λ (x) (cbrt (* (* (expm1 (log1p (exp (- (* x x) 1)))) (expm1 (log1p (exp (- (* x x) 1))))) (expm1 (log1p (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (* (* (expm1 (log1p (exp (- (* x x) 1)))) (expm1 (log1p (exp (- (* x x) 1))))) (expm1 (log1p (exp (- (* x x) 1)))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (44 enodes)
* * [misc]simplify:  iters left: 3 (123 enodes)
* * [misc]simplify:  iters left: 2 (392 enodes)
* [exit]simplify:  Simplified to (exp (fma (+ (- x 1) (- x 1)) (+ x 1) (- (* x x) 1)))
* [exit]simplify:  Simplified to (exp (fma (+ (- x 1) (- x 1)) (+ x 1) (- (* x x) 1)))
* * * * [misc]progress:  [ 10 / 48 ] simplifiying candidate #<alt-delta (λ (x) (* (sqrt (expm1 (log1p (exp (- (* x x) 1))))) (sqrt (expm1 (log1p (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (sqrt (expm1 (log1p (exp (- (* x x) 1)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (51 enodes)
* * [misc]simplify:  iters left: 2 (105 enodes)
* * [misc]simplify:  iters left: 1 (233 enodes)
* [exit]simplify:  Simplified to (sqrt (exp (- (* x x) 1)))
* [exit]simplify:  Simplified to (sqrt (exp (- (* x x) 1)))
* [enter]simplify:  Simplifying (sqrt (expm1 (log1p (exp (- (* x x) 1)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (51 enodes)
* * [misc]simplify:  iters left: 2 (105 enodes)
* * [misc]simplify:  iters left: 1 (233 enodes)
* [exit]simplify:  Simplified to (sqrt (exp (- (* x x) 1)))
* [exit]simplify:  Simplified to (sqrt (exp (- (* x x) 1)))
* * * * [misc]progress:  [ 11 / 48 ] simplifiying candidate #<alt-delta (λ (x) (* 1 (expm1 (log1p (exp (- (* x x) 1))))))>
* * * * [misc]progress:  [ 12 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log (+ 1 (exp (- (* x x) 1))))))>
* [enter]simplify:  Simplifying (+ 1 (exp (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (29 enodes)
* * [misc]simplify:  iters left: 3 (51 enodes)
* * [misc]simplify:  iters left: 2 (105 enodes)
* * [misc]simplify:  iters left: 1 (233 enodes)
* [exit]simplify:  Simplified to (fma (exp (* x x)) (/ 1 E) 1)
* [exit]simplify:  Simplified to (fma (exp (* x x)) (/ 1 E) 1)
* * * * [misc]progress:  [ 13 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (expm1 (log1p (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (expm1 (log1p (exp (- (* x x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (29 enodes)
* * [misc]simplify:  iters left: 3 (50 enodes)
* * [misc]simplify:  iters left: 2 (104 enodes)
* * [misc]simplify:  iters left: 1 (216 enodes)
* [exit]simplify:  Simplified to (/ (exp (* x x)) E)
* [exit]simplify:  Simplified to (/ (exp (* x x)) E)
* * * * [misc]progress:  [ 14 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (expm1 (log1p (log1p (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (log1p (log1p (exp (- (* x x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (29 enodes)
* * [misc]simplify:  iters left: 3 (50 enodes)
* * [misc]simplify:  iters left: 2 (104 enodes)
* * [misc]simplify:  iters left: 1 (232 enodes)
* [exit]simplify:  Simplified to (log1p (log1p (exp (- (* x x) 1))))
* [exit]simplify:  Simplified to (log1p (log1p (exp (- (* x x) 1))))
* * * * [misc]progress:  [ 15 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (exp (- (* x x) 1)))))>
* * * * [misc]progress:  [ 16 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (pow (log1p (exp (- (* x x) 1))) 1)))>
* * * * [misc]progress:  [ 17 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (exp (log (log1p (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (log (log1p (exp (- (* x x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (29 enodes)
* * [misc]simplify:  iters left: 3 (50 enodes)
* * [misc]simplify:  iters left: 2 (104 enodes)
* * [misc]simplify:  iters left: 1 (232 enodes)
* [exit]simplify:  Simplified to (log (log1p (exp (- (* x x) 1))))
* [exit]simplify:  Simplified to (log (log1p (exp (- (* x x) 1))))
* * * * [misc]progress:  [ 18 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log (exp (log1p (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (exp (log1p (exp (- (* x x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (29 enodes)
* * [misc]simplify:  iters left: 3 (50 enodes)
* * [misc]simplify:  iters left: 2 (104 enodes)
* * [misc]simplify:  iters left: 1 (232 enodes)
* [exit]simplify:  Simplified to (exp (log1p (exp (- (* x x) 1))))
* [exit]simplify:  Simplified to (exp (log1p (exp (- (* x x) 1))))
* * * * [misc]progress:  [ 19 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (* (* (cbrt (log1p (exp (- (* x x) 1)))) (cbrt (log1p (exp (- (* x x) 1))))) (cbrt (log1p (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (* (cbrt (log1p (exp (- (* x x) 1)))) (cbrt (log1p (exp (- (* x x) 1)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (51 enodes)
* * [misc]simplify:  iters left: 2 (105 enodes)
* * [misc]simplify:  iters left: 1 (233 enodes)
* [exit]simplify:  Simplified to (* (cbrt (log1p (exp (- (* x x) 1)))) (cbrt (log1p (exp (- (* x x) 1)))))
* [exit]simplify:  Simplified to (* (cbrt (log1p (exp (- (* x x) 1)))) (cbrt (log1p (exp (- (* x x) 1)))))
* [enter]simplify:  Simplifying (cbrt (log1p (exp (- (* x x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (29 enodes)
* * [misc]simplify:  iters left: 3 (50 enodes)
* * [misc]simplify:  iters left: 2 (104 enodes)
* * [misc]simplify:  iters left: 1 (232 enodes)
* [exit]simplify:  Simplified to (cbrt (log1p (exp (- (* x x) 1))))
* [exit]simplify:  Simplified to (cbrt (log1p (exp (- (* x x) 1))))
* * * * [misc]progress:  [ 20 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (cbrt (* (* (log1p (exp (- (* x x) 1))) (log1p (exp (- (* x x) 1)))) (log1p (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (* (* (log1p (exp (- (* x x) 1))) (log1p (exp (- (* x x) 1)))) (log1p (exp (- (* x x) 1))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (33 enodes)
* * [misc]simplify:  iters left: 3 (54 enodes)
* * [misc]simplify:  iters left: 2 (108 enodes)
* * [misc]simplify:  iters left: 1 (220 enodes)
* [exit]simplify:  Simplified to (pow (log1p (/ (exp (* x x)) E)) 3)
* [exit]simplify:  Simplified to (pow (log1p (/ (exp (* x x)) E)) 3)
* * * * [misc]progress:  [ 21 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (* (sqrt (log1p (exp (- (* x x) 1)))) (sqrt (log1p (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (sqrt (log1p (exp (- (* x x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (29 enodes)
* * [misc]simplify:  iters left: 3 (50 enodes)
* * [misc]simplify:  iters left: 2 (104 enodes)
* * [misc]simplify:  iters left: 1 (232 enodes)
* [exit]simplify:  Simplified to (sqrt (log1p (exp (- (* x x) 1))))
* [exit]simplify:  Simplified to (sqrt (log1p (exp (- (* x x) 1))))
* [enter]simplify:  Simplifying (sqrt (log1p (exp (- (* x x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (29 enodes)
* * [misc]simplify:  iters left: 3 (50 enodes)
* * [misc]simplify:  iters left: 2 (104 enodes)
* * [misc]simplify:  iters left: 1 (232 enodes)
* [exit]simplify:  Simplified to (sqrt (log1p (exp (- (* x x) 1))))
* [exit]simplify:  Simplified to (sqrt (log1p (exp (- (* x x) 1))))
* * * * [misc]progress:  [ 22 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (* 1 (log1p (exp (- (* x x) 1))))))>
* * * * [misc]progress:  [ 23 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (log1p (expm1 (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (expm1 (exp (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (49 enodes)
* * [misc]simplify:  iters left: 2 (103 enodes)
* * [misc]simplify:  iters left: 1 (231 enodes)
* [exit]simplify:  Simplified to (expm1 (/ (exp (* x x)) E))
* [exit]simplify:  Simplified to (expm1 (/ (exp (* x x)) E))
* * * * [misc]progress:  [ 24 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (expm1 (log1p (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (log1p (exp (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (49 enodes)
* * [misc]simplify:  iters left: 2 (103 enodes)
* * [misc]simplify:  iters left: 1 (231 enodes)
* [exit]simplify:  Simplified to (log1p (/ (exp (* x x)) E))
* [exit]simplify:  Simplified to (log1p (/ (exp (* x x)) E))
* * * * [misc]progress:  [ 25 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (pow (exp (- (* x x) 1)) 1))))>
* * * * [misc]progress:  [ 26 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (pow (exp (* (cbrt (- (* x x) 1)) (cbrt (- (* x x) 1)))) (cbrt (- (* x x) 1))))))>
* [enter]simplify:  Simplifying (exp (* (cbrt (- (* x x) 1)) (cbrt (- (* x x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* * [misc]simplify:  iters left: 3 (36 enodes)
* * [misc]simplify:  iters left: 2 (69 enodes)
* * [misc]simplify:  iters left: 1 (132 enodes)
* [exit]simplify:  Simplified to (exp (* (cbrt (- (* x x) 1)) (cbrt (- (* x x) 1))))
* [exit]simplify:  Simplified to (exp (* (cbrt (- (* x x) 1)) (cbrt (- (* x x) 1))))
* * * * [misc]progress:  [ 27 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (pow (exp (sqrt (- (* x x) 1))) (sqrt (- (* x x) 1))))))>
* [enter]simplify:  Simplifying (exp (sqrt (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (66 enodes)
* * [misc]simplify:  iters left: 1 (125 enodes)
* [exit]simplify:  Simplified to (exp (sqrt (- (* x x) 1)))
* [exit]simplify:  Simplified to (exp (sqrt (- (* x x) 1)))
* * * * [misc]progress:  [ 28 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (pow (exp 1) (- (* x x) 1)))))>
* [enter]simplify:  Simplifying (exp 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to E
* [exit]simplify:  Simplified to E
* * * * [misc]progress:  [ 29 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (pow (exp (+ x 1)) (- x 1)))))>
* [enter]simplify:  Simplifying (exp (+ x 1))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (10 enodes)
* * [misc]simplify:  iters left: 1 (12 enodes)
* [exit]simplify:  Simplified to (exp (+ 1 x))
* [exit]simplify:  Simplified to (exp (+ 1 x))
* * * * [misc]progress:  [ 30 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (* (exp (* x x)) (exp (- 1))))))>
* [enter]simplify:  Simplifying (exp (* x x))
* * [misc]simplify:  iters left: 3 (3 enodes)
* * [misc]simplify:  iters left: 2 (5 enodes)
* [exit]simplify:  Simplified to (exp (* x x))
* [exit]simplify:  Simplified to (exp (* x x))
* [enter]simplify:  Simplifying (exp (- 1))
* * [misc]simplify:  iters left: 3 (3 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (/ 1 E)
* [exit]simplify:  Simplified to (/ 1 E)
* * * * [misc]progress:  [ 31 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (* (exp (* x x)) (exp (- 1))))))>
* [enter]simplify:  Simplifying (exp (* x x))
* * [misc]simplify:  iters left: 3 (3 enodes)
* * [misc]simplify:  iters left: 2 (5 enodes)
* [exit]simplify:  Simplified to (exp (* x x))
* [exit]simplify:  Simplified to (exp (* x x))
* [enter]simplify:  Simplifying (exp (- 1))
* * [misc]simplify:  iters left: 3 (3 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* * [misc]simplify:  iters left: 1 (8 enodes)
* [exit]simplify:  Simplified to (/ 1 E)
* [exit]simplify:  Simplified to (/ 1 E)
* * * * [misc]progress:  [ 32 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (/ (exp (* x x)) (exp 1)))))>
* [enter]simplify:  Simplifying (exp (* x x))
* * [misc]simplify:  iters left: 3 (3 enodes)
* * [misc]simplify:  iters left: 2 (5 enodes)
* [exit]simplify:  Simplified to (exp (* x x))
* [exit]simplify:  Simplified to (exp (* x x))
* [enter]simplify:  Simplifying (exp 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to E
* [exit]simplify:  Simplified to E
* * * * [misc]progress:  [ 33 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (exp (- (* x x) 1)))))>
* * * * [misc]progress:  [ 34 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (exp (log (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (log (exp (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (31 enodes)
* * [misc]simplify:  iters left: 3 (58 enodes)
* * [misc]simplify:  iters left: 2 (135 enodes)
* * [misc]simplify:  iters left: 1 (273 enodes)
* [exit]simplify:  Simplified to (- (* x x) 1)
* [exit]simplify:  Simplified to (- (* x x) 1)
* * * * [misc]progress:  [ 35 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (log (exp (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (exp (exp (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (51 enodes)
* * [misc]simplify:  iters left: 2 (105 enodes)
* * [misc]simplify:  iters left: 1 (233 enodes)
* [exit]simplify:  Simplified to (exp (/ (exp (* x x)) E))
* [exit]simplify:  Simplified to (exp (/ (exp (* x x)) E))
* * * * [misc]progress:  [ 36 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (* (* (cbrt (exp (- (* x x) 1))) (cbrt (exp (- (* x x) 1)))) (cbrt (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (* (cbrt (exp (- (* x x) 1))) (cbrt (exp (- (* x x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (29 enodes)
* * [misc]simplify:  iters left: 3 (50 enodes)
* * [misc]simplify:  iters left: 2 (104 enodes)
* * [misc]simplify:  iters left: 1 (232 enodes)
* [exit]simplify:  Simplified to (* (cbrt (exp (- (* x x) 1))) (cbrt (exp (- (* x x) 1))))
* [exit]simplify:  Simplified to (* (cbrt (exp (- (* x x) 1))) (cbrt (exp (- (* x x) 1))))
* [enter]simplify:  Simplifying (cbrt (exp (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (49 enodes)
* * [misc]simplify:  iters left: 2 (103 enodes)
* * [misc]simplify:  iters left: 1 (231 enodes)
* [exit]simplify:  Simplified to (cbrt (/ (exp (* x x)) E))
* [exit]simplify:  Simplified to (cbrt (/ (exp (* x x)) E))
* * * * [misc]progress:  [ 37 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (cbrt (* (* (exp (- (* x x) 1)) (exp (- (* x x) 1))) (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (* (* (exp (- (* x x) 1)) (exp (- (* x x) 1))) (exp (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (58 enodes)
* * [misc]simplify:  iters left: 3 (187 enodes)
* [exit]simplify:  Simplified to (exp (fma (+ (+ x 1) (+ x 1)) (- x 1) (- (* x x) 1)))
* [exit]simplify:  Simplified to (exp (fma (+ (+ x 1) (+ x 1)) (- x 1) (- (* x x) 1)))
* * * * [misc]progress:  [ 38 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (* (sqrt (exp (- (* x x) 1))) (sqrt (exp (- (* x x) 1)))))))>
* [enter]simplify:  Simplifying (sqrt (exp (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (49 enodes)
* * [misc]simplify:  iters left: 2 (103 enodes)
* * [misc]simplify:  iters left: 1 (231 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (exp (* x x)) E))
* [exit]simplify:  Simplified to (sqrt (/ (exp (* x x)) E))
* [enter]simplify:  Simplifying (sqrt (exp (- (* x x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (49 enodes)
* * [misc]simplify:  iters left: 2 (103 enodes)
* * [misc]simplify:  iters left: 1 (231 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (exp (* x x)) E))
* [exit]simplify:  Simplified to (sqrt (/ (exp (* x x)) E))
* * * * [misc]progress:  [ 39 / 48 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (* 1 (exp (- (* x x) 1))))))>
* * * * [misc]progress:  [ 40 / 48 ] simplifiying candidate #<alt-event (λ (x) (+ (* 1/2 (* (exp -1) (pow x 4))) (+ (exp -1) (* (exp -1) (pow x 2)))))>
* [enter]simplify:  Simplifying (+ (* 1/2 (* (exp -1) (pow x 4))) (+ (exp -1) (* (exp -1) (pow x 2))))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (24 enodes)
* * [misc]simplify:  iters left: 4 (50 enodes)
* * [misc]simplify:  iters left: 3 (96 enodes)
* * [misc]simplify:  iters left: 2 (130 enodes)
* * [misc]simplify:  iters left: 1 (249 enodes)
* [exit]simplify:  Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))
* * * * [misc]progress:  [ 41 / 48 ] simplifiying candidate #<alt-event (λ (x) (exp (- (pow x 2) 1)))>
* [enter]simplify:  Simplifying (exp (- (pow x 2) 1))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* * [misc]simplify:  iters left: 1 (31 enodes)
* [exit]simplify:  Simplified to (exp (- (* x x) 1))
* * * * [misc]progress:  [ 42 / 48 ] simplifiying candidate #<alt-event (λ (x) (exp (- (pow x 2) 1)))>
* [enter]simplify:  Simplifying (exp (- (pow x 2) 1))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (14 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* * [misc]simplify:  iters left: 1 (31 enodes)
* [exit]simplify:  Simplified to (exp (- (* x x) 1))
* * * * [misc]progress:  [ 43 / 48 ] simplifiying candidate #<alt-event (λ (x) (expm1 (- (+ (/ (* (exp -1) (pow x 2)) (+ (exp -1) 1)) (+ (* 1/2 (/ (* (exp -1) (pow x 4)) (+ (exp -1) 1))) (log (+ (exp -1) 1)))) (* 1/2 (/ (* (pow (exp -1) 2) (pow x 4)) (pow (+ (exp -1) 1) 2))))))>
* [enter]simplify:  Simplifying (expm1 (- (+ (/ (* (exp -1) (pow x 2)) (+ (exp -1) 1)) (+ (* 1/2 (/ (* (exp -1) (pow x 4)) (+ (exp -1) 1))) (log (+ (exp -1) 1)))) (* 1/2 (/ (* (pow (exp -1) 2) (pow x 4)) (pow (+ (exp -1) 1) 2)))))
* * [misc]simplify:  iters left: 6 (25 enodes)
* * [misc]simplify:  iters left: 5 (55 enodes)
* * [misc]simplify:  iters left: 4 (141 enodes)
* * [misc]simplify:  iters left: 3 (370 enodes)
* [exit]simplify:  Simplified to (expm1 (+ (* (/ (exp -1) (+ (exp -1) 1)) (+ (* (pow x 4) 1/2) (* x x))) (fma (/ (* (exp -1) (exp -1)) (+ (exp -1) 1)) (/ (* (- 1/2) (pow x 4)) (+ (exp -1) 1)) (log1p (exp -1)))))
* * * * [misc]progress:  [ 44 / 48 ] simplifiying candidate #<alt-event (λ (x) (expm1 (log (+ (exp (- (pow x 2) 1)) 1))))>
* [enter]simplify:  Simplifying (expm1 (log (+ (exp (- (pow x 2) 1)) 1)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (29 enodes)
* * [misc]simplify:  iters left: 3 (37 enodes)
* * [misc]simplify:  iters left: 2 (60 enodes)
* * [misc]simplify:  iters left: 1 (114 enodes)
* [exit]simplify:  Simplified to (exp (- (* x x) 1))
* * * * [misc]progress:  [ 45 / 48 ] simplifiying candidate #<alt-event (λ (x) (expm1 (log (+ (exp (- (pow x 2) 1)) 1))))>
* [enter]simplify:  Simplifying (expm1 (log (+ (exp (- (pow x 2) 1)) 1)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (29 enodes)
* * [misc]simplify:  iters left: 3 (37 enodes)
* * [misc]simplify:  iters left: 2 (60 enodes)
* * [misc]simplify:  iters left: 1 (114 enodes)
* [exit]simplify:  Simplified to (exp (- (* x x) 1))
* * * * [misc]progress:  [ 46 / 48 ] simplifiying candidate #<alt-event (λ (x) (expm1 (log1p (+ (* 1/2 (* (exp -1) (pow x 4))) (+ (exp -1) (* (exp -1) (pow x 2)))))))>
* [enter]simplify:  Simplifying (expm1 (log1p (+ (* 1/2 (* (exp -1) (pow x 4))) (+ (exp -1) (* (exp -1) (pow x 2))))))
* * [misc]simplify:  iters left: 6 (15 enodes)
* * [misc]simplify:  iters left: 5 (26 enodes)
* * [misc]simplify:  iters left: 4 (52 enodes)
* * [misc]simplify:  iters left: 3 (94 enodes)
* * [misc]simplify:  iters left: 2 (136 enodes)
* * [misc]simplify:  iters left: 1 (272 enodes)
* [exit]simplify:  Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))
* * * * [misc]progress:  [ 47 / 48 ] simplifiying candidate #<alt-event (λ (x) (expm1 (log1p (exp (- (pow x 2) 1)))))>
* [enter]simplify:  Simplifying (expm1 (log1p (exp (- (pow x 2) 1))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (26 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (56 enodes)
* * [misc]simplify:  iters left: 1 (110 enodes)
* [exit]simplify:  Simplified to (exp (- (* x x) 1))
* * * * [misc]progress:  [ 48 / 48 ] simplifiying candidate #<alt-event (λ (x) (expm1 (log1p (exp (- (pow x 2) 1)))))>
* [enter]simplify:  Simplifying (expm1 (log1p (exp (- (pow x 2) 1))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (26 enodes)
* * [misc]simplify:  iters left: 3 (33 enodes)
* * [misc]simplify:  iters left: 2 (56 enodes)
* * [misc]simplify:  iters left: 1 (110 enodes)
* [exit]simplify:  Simplified to (exp (- (* x x) 1))
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime-changes:  Finding splitpoints for: (#<alt-delta (λ (x) (expm1 (log1p (exp (- (* x x) 1)))))> #<alt-event (λ (x) (exp (- (- 1 (* x x)))))>)
* [misc]regimes:  Found splitpoints: (#s(sp 0 (exp (- (- 1 (* x x)))) +nan.0)) , with alts (#<alt-delta (λ (x) (expm1 (log1p (exp (- (* x x) 1)))))>)
* [enter]simplify:  Simplifying (exp (- (- 1 (* x x))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (8 enodes)
* [exit]simplify:  Simplified to (exp (- (- 1 (* x x))))
* * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
* * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 3991 additional inputs, on iter 1 have 4009 / 8000
* * * * [misc]points:  Computing exacts on every 249 of 3991 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 124 of 3991 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 62 of 3991 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 3991 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 3991 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 3991 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 3991 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 3991 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 2005 additional inputs, on iter 2 have 5995 / 8000
* * * * [misc]points:  Computing exacts on every 125 of 2005 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 62 of 2005 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 2005 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 2005 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 2005 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 2005 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 2005 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 994 additional inputs, on iter 3 have 7006 / 8000
* * * * [misc]points:  Computing exacts on every 62 of 994 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 994 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 994 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 994 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 994 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 994 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 492 additional inputs, on iter 4 have 7508 / 8000
* * * * [misc]points:  Computing exacts on every 30 of 492 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 492 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 492 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 492 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 492 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 223 additional inputs, on iter 5 have 7777 / 8000
* * * * [misc]points:  Computing exacts on every 13 of 223 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 6 of 223 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 223 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 223 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 117 additional inputs, on iter 6 have 7883 / 8000
* * * * [misc]points:  Computing exacts on every 7 of 117 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 117 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 117 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 61 additional inputs, on iter 7 have 7939 / 8000
* * * * [misc]points:  Computing exacts on every 3 of 61 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 61 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 35 additional inputs, on iter 8 have 7965 / 8000
* * * * [misc]points:  Computing exacts on every 2 of 35 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 35 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 21 additional inputs, on iter 9 have 7979 / 8000
* * * * [misc]points:  Computing exacts for 21 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 9 additional inputs, on iter 10 have 7991 / 8000
* * * * [misc]points:  Computing exacts for 9 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7997 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 12 have 7999 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8001 points with exact outputs