* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
* * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Setting MPFR precision to 832
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 256 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 69 additional inputs, on iter 1 have 187 / 256
* * * * [misc]points:  Computing exacts on every 4 of 69 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 2 of 69 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 69 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 20 additional inputs, on iter 2 have 236 / 256
* * * * [misc]points:  Computing exacts for 20 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 6 additional inputs, on iter 3 have 250 / 256
* * * * [misc]points:  Computing exacts for 6 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 256 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (23 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (38 enodes)
* * [misc]simplify:  iters left: 2 (56 enodes)
* * [misc]simplify:  iters left: 1 (95 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
"ALT DATA: "{"picked-error":0.00390625,"picked":"(λ (x) (sqrt (+ (exp x) 1)))","all-alts":["#<alt-delta (λ (x) (sqrt (+ (exp x) 1)))>"],"best-fresh-alt-per-point":[[[-1.7974655786609252e+207],0,0],[[-75238988958791.81],0,0],[[-6.350494934637132e-162],0,0],[[2.3083337283722852e-148],0,0],[[-4.026346445617249e+177],0,0],[[-4.5211614543129065e+289],0,0],[[-2.454684817904395e+257],0,0],[[-1.0019789949166419e+67],0,0],[[-2.773803522833278e-257],0,0],[[-2.373554704208159e-277],0,0],[[-2.1916750051718287e-274],0,0],[[-1.6021888708425382e-141],0,0],[[-1.1547210519535511e-141],0,0],[[-1.98313259892985e+164],0,0],[[4.5927380970889396e-135],0,0],[[1.7704110706278e-94],0,0],[[1.561548355990017e-262],0,0],[[-4.340081923739729e+206],0,0],[[-5.507779249159462e+285],0,0],[[-6.454564632864562e+155],0,0],[[-7.51999677278861e+250],0,0],[[5.5510445437854375e-230],0,0],[[-2.7160148794838657e+151],0,0],[[5.270057962127254e-225],0,0],[[-1.9967941607328995e-106],0,0],[[-1.2872870432113335e+181],0,0],[[-2.9314311895004064e+32],0,0],[[5.06748533843499e-162],0,0],[[-9.785729011056341e+105],0,0],[[5.3963114687587035e-226],0,0],[[-2.779043885238467e-207],0,0],[[1.3709502567489576e-97],0,0],[[-1.7480364447417596e-228],0,0],[[1.0597724474707798e-128],0,0],[[-1.9510262991995693e+112],0,0],[[2.2999903268614278e-290],0,0],[[1.0741122062961354e-261],0,0],[[5.859557539322906e-140],0,0],[[-3.202599098547416e+262],0,0],[[4.253353698909665e-216],0,0],[[-1.7601754576655714e-112],0,0],[[-2.3489526626381347e-269],0,0],[[-1.852314336868911e-141],0,0],[[-6.021214886712076e+305],0,0],[[-3.5464567771875936e-137],0,0],[[6.95907319775547e-142],0,0],[[4.491404959780394e-61],0,0],[[-4.005724837481887e+86],0,0],[[-4.355892554578831e-23],0,0],[[-1.651433716140738e-197],0,0],[[9.637197271073901e-211],0,0],[[-7.726179853886465e-162],0,0],[[-6.083630220807599e+233],0,0],[[1.2043966215849866e-117],0,0],[[-2.34733545246029e+196],0,0],[[-6.4568883585384e+140],0,0],[[-2.6432840315259835e-167],0,0],[[-5.9602886229394335e-164],0,0],[[-4.033635775055423e+210],0,0],[[-2.771175998241097e-282],0,0],[[-4.946267744070056e+127],0,0],[[-9.823978453361338e+107],0,0],[[4.160824839625464e-162],0,0],[[-4.24212429405597e+265],0,0],[[-9.693540441080036e-13],0,0],[[3.1487471921760063e-57],0,0],[[-2.977880242215281e+187],0,0],[[-2.5605208342375893e+151],0,0],[[-2.4900168344742183e-72],0,0],[[-5.967504609531294e-77],0,0],[[-2.029570071102755e+97],0,0],[[-1.7161275953211883e-174],0,0],[[-5.5646263164782176e-223],0,0],[[-8.180940553092265e+33],0,0],[[-4.885314233897337e+222],0,0],[[3.663172596950764e-123],0,0],[[-1.374556859806548e-261],0,0],[[-1.380285857262137e-35],0,0],[[-2.8587941319848644e-177],0,0],[[-2.84097347513644e-291],0,0],[[1.775499846150115e-189],0,0],[[-1.619539121961887e-203],0,0],[[8.63596361370883e-168],0,0],[[3.1003420231048053e-198],0,0],[[-274927.84602583235],0,0],[[-7.754374499374627e-128],0,0],[[-2.8757450638421546e+275],0,0],[[4.837988086823738e-223],0,0],[[-5.075532709869747e+166],0,0],[[-3.7651275735493285e+99],0,0],[[-2.0755431209235275e+37],0,0],[[1.6482233490718935e-213],0,0],[[-6.920197829965478e-54],0,0],[[-1.8465286574354045e-08],0,0],[[-1.5062863859087e-170],0,0],[[2.33191497780421e-111],0,0],[[-3.407626954669935e+236],0,0],[[-3.900210593962189e+241],0,0],[[2.0583492621633517e-132],0,0],[[-9.72242600606208e-115],0,0],[[-3.568993208845613e-77],0,0],[[-5.712505602207327e+178],0,0],[[6.6295219985120325e-183],0,0],[[-3.577076923658427e+105],0,0],[[3.783167595046686e-155],0,0],[[-3.2642710207591386e-194],0,0],[[-4.870404977044875e-198],0,0],[[1.6662800714135864e-218],0,0],[[-1.1202048404749235e-215],0,0],[[-1.0358355091148686e-278],0,0],[[-1.1423228006386598e-168],0,0],[[-2.6234285145138236e-302],0,0],[[-2.626755070032605e+272],0,0],[[-1.6666445293959045e-19],0,0],[[-173036.98939585892],0,0],[[-1.72018159214991e+42],0,0],[[1.7147925947267055e-94],0,0],[[-6.98400217622458e+210],0,0],[[4.0703515080559954e-283],0,0],[[-2.4094148605116898e-71],0,0],[[-8.522235120830623e+139],0,0],[[-9.124761575189952e+223],0,0],[[-2.907835079052472e-162],0,0],[[-1.3126589281126071e-180],0,0],[[2.1610785345312164e-77],0,0],[[-3.4840827655589074e+170],0,0],[[-4.5698595924674815e-41],0,0],[[1.3797898346213585e-261],0,0],[[-68192552835.54769],0,0],[[8.567538977582658e-198],0,0],[[-4.745743187038751e-236],0,0],[[-5.4823449965902654e-247],0,0],[[1.0962964976346659e-08],0,0],[[1.7909913857676524e-234],0,0],[[4.184907550158769e-217],0,0],[[-2.823112783246906e-160],0,0],[[-2.1189921349291594e-90],0,0],[[5.765917461741543e-177],0,0],[[-2.1601700324087214e+239],0,0],[[-1.7851335690272436e-118],0,0],[[3.6107901403921284e-233],0,0],[[-8.024347822647855e+214],0,0],[[1.9327027802753637e-202],0,0],[[-3.5611198987654533e-281],0,0],[[-3.5829211941866875e-192],0,0],[[-2.014137988229197e+52],0,0],[[2.2586277236353973e-239],0,0],[[-8.868856845711779e+119],0,0],[[5.556148241691299e-119],0,0],[[1.5213816359492715e-307],0,0],[[-1.6859585865544744e-246],0,0],[[5.821204232402082e-193],0,0],[[-1.8762152117521778e-223],0,0],[[-2.2892566621587075e+154],0,0],[[-5.250537787491817e-124],0,0],[[-1.6952171705608182e+115],0,0],[[4.750171216619508e-73],0,0],[[1.0938841522691449e-182],0,0],[[9.985233354827504e-56],0,0],[[-5.1167504337574626e+199],0,0],[[-1.2972076833210354e-243],0,0],[[3.950026893987416e-118],0,0],[[-2.294473340925908e-99],0,0],[[-1.904583231690064e+97],0,0],[[2.5619403929352076e-295],0,0],[[-3.91790688565277e-170],0,0],[[-3.350876917565793e+236],0,0],[[-4.3546020711282113e-72],0,0],[[-1.3499936523535982e-57],0,0],[[1.0670135568992559e-184],0,0],[[1.4304241357191177e-199],0,0],[[-2.511393753900827e-169],0,0],[[-3.701783848889662e-189],0,0],[[-5.431902774374102e-262],0,0],[[1.2263489992282429e-201],0,0],[[-3.198759731467493e-128],0,0],[[-2.5729428009391437e+95],0,0],[[-5.478420012818748e-199],0,0],[[2.524309035730919e-48],0,0],[[-1.0214301568538723e-236],0,0],[[-1.6791604274945628e-115],0,0],[[-2.823818017388331],0,0],[[-1.962420053162622e-121],0,0],[[-2.954987173135622e-51],0,0],[[-8.297174001156304e+75],0,0],[[-9.883750689403901e+213],0,0],[[9.069576208127305e-269],0,0],[[1.23229902882752e-232],0,0],[[-124016442.09153165],0,0],[[2.427769796556236e-78],0,0],[[-5.879572388948755e+34],0,0],[[-2.3961070704976586e+136],0,0],[[-6.111231636098851e+305],0,0],[[-7.09858385461274e+280],0,0],[[1.3214717591908378e-130],0,0],[[-4.7364515595661375e-231],0,0],[[-7.271096717980544e+106],0,0],[[2.4635782245727523e-208],0,0],[[2.727021877346581e-178],0,0],[[1.860064553198903e-67],0,0],[[-2.226128313785923e+22],0,0],[[-8.298405443849659e-11],0,0],[[-6.563763753942498e-288],0,0],[[2.2902549915951485e-178],0,0],[[3.2429349037230544e-264],0,0],[[2.667413108648081e-185],0,0],[[-1.3825054086160473e+258],0,0],[[8.657759546694974e-157],0,0],[[-2.4264684579574925e-69],0,0],[[1.0138639698135428e-172],0,0],[[-1.795687265611928e-76],0,0],[[-9.441025523234461e-95],0,0],[[-8.823517979915115e-275],0,0],[[2.4359209768004262e-80],0,0],[[-1.2986190410846544e+132],0,0],[[-7.262479430802023e-80],0,0],[[-1.704445593248875e-137],0,0],[[-8.079572085939796e+62],0,0],[[-5.014702845822206e+23],0,0],[[2.412016495848343e-259],0,0],[[2.1622905926715047e-231],0,0],[[-1.138570595022504e+112],0,0],[[-4.904338319107589e+243],0,0],[[-3.468216462137634e+264],0,0],[[3.12961498124956e-281],0,0],[[-2.0306330112186374e+236],0,0],[[-7.06766310183449e+233],0,0],[[-2.2353681919926253e+288],0,0],[[-218468.59457214232],0,0],[[-8.582786619504858e-307],0,0],[[1.542984322219514e-13],0,1.0],[[3.0489294036502483e-215],0,0],[[-1.8571008731182118e+160],0,0],[[1.434512172815064e-89],0,0],[[1.095382951219098e-121],0,0],[[4.4403690793251364e-66],0,0],[[-1.4152323733690032e-71],0,0],[[-2.1521573832310456e-60],0,0],[[3.0292511751059167e-285],0,0],[[-1.7764225205103598e-40],0,0],[[-2.2133570847894536e-21],0,0],[[-1.5231846384497747e+241],0,0],[[-5.633958029554214e+72],0,0],[[-8.705569923143921e-256],0,0],[[-1.6865217572146204e-158],0,0],[[-7.1083179947333e+96],0,0],[[-6.558351034244574e-59],0,0],[[-2.6211080531091074e-206],0,0],[[-8.79916969398652e-38],0,0],[[-3.5828871804215725e-182],0,0],[[-6.861319032017174e-63],0,0],[[4.357977932807522e-152],0,0],[[-9.4041220967993e+208],0,0],[[-3.3993174919178938e-49],0,0],[[-6.415779835408304e-164],0,0],[[1.013327533564468e-142],0,0]],"best-alt-per-point":[[[-1.7974655786609252e+207],0,0],[[-75238988958791.81],0,0],[[-6.350494934637132e-162],0,0],[[2.3083337283722852e-148],0,0],[[-4.026346445617249e+177],0,0],[[-4.5211614543129065e+289],0,0],[[-2.454684817904395e+257],0,0],[[-1.0019789949166419e+67],0,0],[[-2.773803522833278e-257],0,0],[[-2.373554704208159e-277],0,0],[[-2.1916750051718287e-274],0,0],[[-1.6021888708425382e-141],0,0],[[-1.1547210519535511e-141],0,0],[[-1.98313259892985e+164],0,0],[[4.5927380970889396e-135],0,0],[[1.7704110706278e-94],0,0],[[1.561548355990017e-262],0,0],[[-4.340081923739729e+206],0,0],[[-5.507779249159462e+285],0,0],[[-6.454564632864562e+155],0,0],[[-7.51999677278861e+250],0,0],[[5.5510445437854375e-230],0,0],[[-2.7160148794838657e+151],0,0],[[5.270057962127254e-225],0,0],[[-1.9967941607328995e-106],0,0],[[-1.2872870432113335e+181],0,0],[[-2.9314311895004064e+32],0,0],[[5.06748533843499e-162],0,0],[[-9.785729011056341e+105],0,0],[[5.3963114687587035e-226],0,0],[[-2.779043885238467e-207],0,0],[[1.3709502567489576e-97],0,0],[[-1.7480364447417596e-228],0,0],[[1.0597724474707798e-128],0,0],[[-1.9510262991995693e+112],0,0],[[2.2999903268614278e-290],0,0],[[1.0741122062961354e-261],0,0],[[5.859557539322906e-140],0,0],[[-3.202599098547416e+262],0,0],[[4.253353698909665e-216],0,0],[[-1.7601754576655714e-112],0,0],[[-2.3489526626381347e-269],0,0],[[-1.852314336868911e-141],0,0],[[-6.021214886712076e+305],0,0],[[-3.5464567771875936e-137],0,0],[[6.95907319775547e-142],0,0],[[4.491404959780394e-61],0,0],[[-4.005724837481887e+86],0,0],[[-4.355892554578831e-23],0,0],[[-1.651433716140738e-197],0,0],[[9.637197271073901e-211],0,0],[[-7.726179853886465e-162],0,0],[[-6.083630220807599e+233],0,0],[[1.2043966215849866e-117],0,0],[[-2.34733545246029e+196],0,0],[[-6.4568883585384e+140],0,0],[[-2.6432840315259835e-167],0,0],[[-5.9602886229394335e-164],0,0],[[-4.033635775055423e+210],0,0],[[-2.771175998241097e-282],0,0],[[-4.946267744070056e+127],0,0],[[-9.823978453361338e+107],0,0],[[4.160824839625464e-162],0,0],[[-4.24212429405597e+265],0,0],[[-9.693540441080036e-13],0,0],[[3.1487471921760063e-57],0,0],[[-2.977880242215281e+187],0,0],[[-2.5605208342375893e+151],0,0],[[-2.4900168344742183e-72],0,0],[[-5.967504609531294e-77],0,0],[[-2.029570071102755e+97],0,0],[[-1.7161275953211883e-174],0,0],[[-5.5646263164782176e-223],0,0],[[-8.180940553092265e+33],0,0],[[-4.885314233897337e+222],0,0],[[3.663172596950764e-123],0,0],[[-1.374556859806548e-261],0,0],[[-1.380285857262137e-35],0,0],[[-2.8587941319848644e-177],0,0],[[-2.84097347513644e-291],0,0],[[1.775499846150115e-189],0,0],[[-1.619539121961887e-203],0,0],[[8.63596361370883e-168],0,0],[[3.1003420231048053e-198],0,0],[[-274927.84602583235],0,0],[[-7.754374499374627e-128],0,0],[[-2.8757450638421546e+275],0,0],[[4.837988086823738e-223],0,0],[[-5.075532709869747e+166],0,0],[[-3.7651275735493285e+99],0,0],[[-2.0755431209235275e+37],0,0],[[1.6482233490718935e-213],0,0],[[-6.920197829965478e-54],0,0],[[-1.8465286574354045e-08],0,0],[[-1.5062863859087e-170],0,0],[[2.33191497780421e-111],0,0],[[-3.407626954669935e+236],0,0],[[-3.900210593962189e+241],0,0],[[2.0583492621633517e-132],0,0],[[-9.72242600606208e-115],0,0],[[-3.568993208845613e-77],0,0],[[-5.712505602207327e+178],0,0],[[6.6295219985120325e-183],0,0],[[-3.577076923658427e+105],0,0],[[3.783167595046686e-155],0,0],[[-3.2642710207591386e-194],0,0],[[-4.870404977044875e-198],0,0],[[1.6662800714135864e-218],0,0],[[-1.1202048404749235e-215],0,0],[[-1.0358355091148686e-278],0,0],[[-1.1423228006386598e-168],0,0],[[-2.6234285145138236e-302],0,0],[[-2.626755070032605e+272],0,0],[[-1.6666445293959045e-19],0,0],[[-173036.98939585892],0,0],[[-1.72018159214991e+42],0,0],[[1.7147925947267055e-94],0,0],[[-6.98400217622458e+210],0,0],[[4.0703515080559954e-283],0,0],[[-2.4094148605116898e-71],0,0],[[-8.522235120830623e+139],0,0],[[-9.124761575189952e+223],0,0],[[-2.907835079052472e-162],0,0],[[-1.3126589281126071e-180],0,0],[[2.1610785345312164e-77],0,0],[[-3.4840827655589074e+170],0,0],[[-4.5698595924674815e-41],0,0],[[1.3797898346213585e-261],0,0],[[-68192552835.54769],0,0],[[8.567538977582658e-198],0,0],[[-4.745743187038751e-236],0,0],[[-5.4823449965902654e-247],0,0],[[1.0962964976346659e-08],0,0],[[1.7909913857676524e-234],0,0],[[4.184907550158769e-217],0,0],[[-2.823112783246906e-160],0,0],[[-2.1189921349291594e-90],0,0],[[5.765917461741543e-177],0,0],[[-2.1601700324087214e+239],0,0],[[-1.7851335690272436e-118],0,0],[[3.6107901403921284e-233],0,0],[[-8.024347822647855e+214],0,0],[[1.9327027802753637e-202],0,0],[[-3.5611198987654533e-281],0,0],[[-3.5829211941866875e-192],0,0],[[-2.014137988229197e+52],0,0],[[2.2586277236353973e-239],0,0],[[-8.868856845711779e+119],0,0],[[5.556148241691299e-119],0,0],[[1.5213816359492715e-307],0,0],[[-1.6859585865544744e-246],0,0],[[5.821204232402082e-193],0,0],[[-1.8762152117521778e-223],0,0],[[-2.2892566621587075e+154],0,0],[[-5.250537787491817e-124],0,0],[[-1.6952171705608182e+115],0,0],[[4.750171216619508e-73],0,0],[[1.0938841522691449e-182],0,0],[[9.985233354827504e-56],0,0],[[-5.1167504337574626e+199],0,0],[[-1.2972076833210354e-243],0,0],[[3.950026893987416e-118],0,0],[[-2.294473340925908e-99],0,0],[[-1.904583231690064e+97],0,0],[[2.5619403929352076e-295],0,0],[[-3.91790688565277e-170],0,0],[[-3.350876917565793e+236],0,0],[[-4.3546020711282113e-72],0,0],[[-1.3499936523535982e-57],0,0],[[1.0670135568992559e-184],0,0],[[1.4304241357191177e-199],0,0],[[-2.511393753900827e-169],0,0],[[-3.701783848889662e-189],0,0],[[-5.431902774374102e-262],0,0],[[1.2263489992282429e-201],0,0],[[-3.198759731467493e-128],0,0],[[-2.5729428009391437e+95],0,0],[[-5.478420012818748e-199],0,0],[[2.524309035730919e-48],0,0],[[-1.0214301568538723e-236],0,0],[[-1.6791604274945628e-115],0,0],[[-2.823818017388331],0,0],[[-1.962420053162622e-121],0,0],[[-2.954987173135622e-51],0,0],[[-8.297174001156304e+75],0,0],[[-9.883750689403901e+213],0,0],[[9.069576208127305e-269],0,0],[[1.23229902882752e-232],0,0],[[-124016442.09153165],0,0],[[2.427769796556236e-78],0,0],[[-5.879572388948755e+34],0,0],[[-2.3961070704976586e+136],0,0],[[-6.111231636098851e+305],0,0],[[-7.09858385461274e+280],0,0],[[1.3214717591908378e-130],0,0],[[-4.7364515595661375e-231],0,0],[[-7.271096717980544e+106],0,0],[[2.4635782245727523e-208],0,0],[[2.727021877346581e-178],0,0],[[1.860064553198903e-67],0,0],[[-2.226128313785923e+22],0,0],[[-8.298405443849659e-11],0,0],[[-6.563763753942498e-288],0,0],[[2.2902549915951485e-178],0,0],[[3.2429349037230544e-264],0,0],[[2.667413108648081e-185],0,0],[[-1.3825054086160473e+258],0,0],[[8.657759546694974e-157],0,0],[[-2.4264684579574925e-69],0,0],[[1.0138639698135428e-172],0,0],[[-1.795687265611928e-76],0,0],[[-9.441025523234461e-95],0,0],[[-8.823517979915115e-275],0,0],[[2.4359209768004262e-80],0,0],[[-1.2986190410846544e+132],0,0],[[-7.262479430802023e-80],0,0],[[-1.704445593248875e-137],0,0],[[-8.079572085939796e+62],0,0],[[-5.014702845822206e+23],0,0],[[2.412016495848343e-259],0,0],[[2.1622905926715047e-231],0,0],[[-1.138570595022504e+112],0,0],[[-4.904338319107589e+243],0,0],[[-3.468216462137634e+264],0,0],[[3.12961498124956e-281],0,0],[[-2.0306330112186374e+236],0,0],[[-7.06766310183449e+233],0,0],[[-2.2353681919926253e+288],0,0],[[-218468.59457214232],0,0],[[-8.582786619504858e-307],0,0],[[1.542984322219514e-13],0,1.0],[[3.0489294036502483e-215],0,0],[[-1.8571008731182118e+160],0,0],[[1.434512172815064e-89],0,0],[[1.095382951219098e-121],0,0],[[4.4403690793251364e-66],0,0],[[-1.4152323733690032e-71],0,0],[[-2.1521573832310456e-60],0,0],[[3.0292511751059167e-285],0,0],[[-1.7764225205103598e-40],0,0],[[-2.2133570847894536e-21],0,0],[[-1.5231846384497747e+241],0,0],[[-5.633958029554214e+72],0,0],[[-8.705569923143921e-256],0,0],[[-1.6865217572146204e-158],0,0],[[-7.1083179947333e+96],0,0],[[-6.558351034244574e-59],0,0],[[-2.6211080531091074e-206],0,0],[[-8.79916969398652e-38],0,0],[[-3.5828871804215725e-182],0,0],[[-6.861319032017174e-63],0,0],[[4.357977932807522e-152],0,0],[[-9.4041220967993e+208],0,0],[[-3.3993174919178938e-49],0,0],[[-6.415779835408304e-164],0,0],[[1.013327533564468e-142],0,0]],"fresh-alts":["#<alt-delta (λ (x) (sqrt (+ (exp x) 1)))>"]}* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (sqrt (+ (exp x) 1)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1)
* * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1)
* [misc]approximate:  Taking taylor expansion of (+ (exp x) 1) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp 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 (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp 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 (exp 0) 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 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
* [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ (* 1/2 (pow x 2)) (+ 2 x))
* [misc]approximate:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 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) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ 1 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ 1 x))) into (+ 1 (exp (/ 1 x)))
* [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 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 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 0 into 0
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ 1 (/ 1 x)))) into (+ 1 (exp x))
* [misc]approximate:  Taking taylor expansion of (+ (exp (/ 1 (- x))) 1) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 (- x))) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 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) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ 1 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ -1 x))) into (+ 1 (exp (/ -1 x)))
* [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 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 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 0 into 0
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ -1 (/ 1 (- x))))) into (+ 1 (exp x))
* * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp 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 (exp 0) 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 2
* [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp 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 (exp 0) 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 2
* [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
* [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
* [misc]backup-simplify:  Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
* [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
* [misc]backup-simplify:  Simplify (/ (- 1/2 (pow (/ 1/2 (sqrt 2)) 2) (+)) (* 2 (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2)))
* [misc]backup-simplify:  Simplify (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2)))
* [misc]backup-simplify:  Simplify (+ (* (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) (pow x 2)) (+ (* (/ 1/2 (sqrt 2)) x) (sqrt 2))) into (- (+ (* 1/2 (/ x (sqrt 2))) (+ (sqrt 2) (* 1/4 (/ (pow x 2) (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
* [misc]approximate:  Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ 1 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (sqrt (+ 1 (exp (/ 1 x)))) into (sqrt (+ 1 (exp (/ 1 x))))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ 1 (exp (/ 1 x)))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ 1 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (sqrt (+ 1 (exp (/ 1 x)))) into (sqrt (+ 1 (exp (/ 1 x))))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ 1 (exp (/ 1 x)))))) into 0
* [misc]backup-simplify:  Simplify (sqrt (+ 1 (exp (/ 1 x)))) into (sqrt (+ 1 (exp (/ 1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ 1 (exp (/ 1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ 1 (exp (/ 1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ 1 (exp (/ 1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ 1 (exp (/ 1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ 1 (exp (/ 1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqrt (+ 1 (exp (/ 1 (/ 1 x))))) into (sqrt (+ 1 (exp x)))
* [misc]approximate:  Taking taylor expansion of (sqrt (+ (exp (/ 1 (- x))) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp (/ 1 (- x))) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 (- x))) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ 1 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (sqrt (+ 1 (exp (/ -1 x)))) into (sqrt (+ 1 (exp (/ -1 x))))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ 1 (exp (/ -1 x)))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (+ (exp (/ 1 (- x))) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 (- x))) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ 1 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (sqrt (+ 1 (exp (/ -1 x)))) into (sqrt (+ 1 (exp (/ -1 x))))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ 0 (* 2 (sqrt (+ 1 (exp (/ -1 x)))))) into 0
* [misc]backup-simplify:  Simplify (sqrt (+ 1 (exp (/ -1 x)))) into (sqrt (+ 1 (exp (/ -1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ 1 (exp (/ -1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ 1 (exp (/ -1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ 1 (exp (/ -1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ 1 (exp (/ -1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ 1 (exp (/ -1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqrt (+ 1 (exp (/ -1 (/ 1 (- x)))))) into (sqrt (+ 1 (exp x)))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 37 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (log1p (expm1 (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (expm1 (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (expm1 (+ (exp x) 1))
* [exit]simplify:  Simplified to (expm1 (+ (exp x) 1))
* * * * [misc]progress:  [ 2 / 37 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (log1p (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (log1p (+ (exp x) 1))
* [exit]simplify:  Simplified to (log1p (+ (exp x) 1))
* * * * [misc]progress:  [ 3 / 37 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) 1)))>
* * * * [misc]progress:  [ 4 / 37 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)))>
* * * * [misc]progress:  [ 5 / 37 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (fma 1 (exp x) 1)))>
* * * * [misc]progress:  [ 6 / 37 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (pow (+ (exp x) 1) 1)))>
* * * * [misc]progress:  [ 7 / 37 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (exp (log (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (log (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* [exit]simplify:  Simplified to (log1p (exp x))
* [exit]simplify:  Simplified to (log1p (exp x))
* * * * [misc]progress:  [ 8 / 37 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (log (exp (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (exp (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* [exit]simplify:  Simplified to (exp (+ (exp x) 1))
* [exit]simplify:  Simplified to (exp (+ (exp x) 1))
* * * * [misc]progress:  [ 9 / 37 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (* (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (cbrt (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
* [enter]simplify:  Simplifying (cbrt (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (cbrt (+ (exp x) 1))
* [exit]simplify:  Simplified to (cbrt (+ (exp x) 1))
* * * * [misc]progress:  [ 10 / 37 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (cbrt (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (51 enodes)
* * [misc]simplify:  iters left: 3 (186 enodes)
* [exit]simplify:  Simplified to (pow (+ (exp x) 1) 3)
* [exit]simplify:  Simplified to (pow (+ (exp x) 1) 3)
* * * * [misc]progress:  [ 11 / 37 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
* [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
* [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
* [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
* * * * [misc]progress:  [ 12 / 37 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
* [enter]simplify:  Simplifying (+ (pow (exp x) 3) (pow 1 3))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* * [misc]simplify:  iters left: 1 (23 enodes)
* [exit]simplify:  Simplified to (fma (exp (+ x x)) (exp x) 1)
* [exit]simplify:  Simplified to (fma (exp (+ x x)) (exp x) 1)
* [enter]simplify:  Simplifying (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (33 enodes)
* * [misc]simplify:  iters left: 3 (54 enodes)
* * [misc]simplify:  iters left: 2 (93 enodes)
* * [misc]simplify:  iters left: 1 (135 enodes)
* [exit]simplify:  Simplified to (fma (expm1 x) (exp x) 1)
* [exit]simplify:  Simplified to (fma (expm1 x) (exp x) 1)
* * * * [misc]progress:  [ 13 / 37 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (* 1 (+ (exp x) 1))))>
* * * * [misc]progress:  [ 14 / 37 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (- (* (exp x) (exp x)) (* 1 1)) (- (exp x) 1))))>
* [enter]simplify:  Simplifying (- (* (exp x) (exp x)) (* 1 1))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (47 enodes)
* [exit]simplify:  Simplified to (expm1 (+ x x))
* [exit]simplify:  Simplified to (expm1 (+ x x))
* [enter]simplify:  Simplifying (- (exp x) 1)
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* * [misc]simplify:  iters left: 1 (10 enodes)
* [exit]simplify:  Simplified to (expm1 x)
* [exit]simplify:  Simplified to (expm1 x)
* * * * [misc]progress:  [ 15 / 37 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (+ 1 (exp x))))>
* * * * [misc]progress:  [ 16 / 37 ] simplifiying candidate #<alt-delta (λ (x) (log1p (expm1 (sqrt (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (expm1 (sqrt (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (expm1 (sqrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (expm1 (sqrt (+ (exp x) 1)))
* * * * [misc]progress:  [ 17 / 37 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (sqrt (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (log1p (sqrt (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (log1p (sqrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (log1p (sqrt (+ (exp x) 1)))
* * * * [misc]progress:  [ 18 / 37 ] simplifiying candidate #<alt-delta (λ (x) (pow (+ (exp x) 1) 1/2))>
* * * * [misc]progress:  [ 19 / 37 ] simplifiying candidate #<alt-delta (λ (x) (pow (sqrt (+ (exp x) 1)) 1))>
* * * * [misc]progress:  [ 20 / 37 ] simplifiying candidate #<alt-delta (λ (x) (exp (log (sqrt (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (log (sqrt (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (log (sqrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (log (sqrt (+ (exp x) 1)))
* * * * [misc]progress:  [ 21 / 37 ] simplifiying candidate #<alt-delta (λ (x) (log (exp (sqrt (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (exp (sqrt (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (exp (sqrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (exp (sqrt (+ (exp x) 1)))
* * * * [misc]progress:  [ 22 / 37 ] simplifiying candidate #<alt-delta (λ (x) (* (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))) (cbrt (sqrt (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))
* [exit]simplify:  Simplified to (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))
* [enter]simplify:  Simplifying (cbrt (sqrt (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (cbrt (sqrt (+ (exp x) 1)))
* * * * [misc]progress:  [ 23 / 37 ] simplifiying candidate #<alt-delta (λ (x) (cbrt (* (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (* (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (exp x) 1)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* * [misc]simplify:  iters left: 4 (22 enodes)
* * [misc]simplify:  iters left: 3 (26 enodes)
* * [misc]simplify:  iters left: 2 (42 enodes)
* * [misc]simplify:  iters left: 1 (55 enodes)
* [exit]simplify:  Simplified to (* (+ 1 (exp x)) (sqrt (+ 1 (exp x))))
* [exit]simplify:  Simplified to (* (+ 1 (exp x)) (sqrt (+ 1 (exp x))))
* * * * [misc]progress:  [ 24 / 37 ] simplifiying candidate #<alt-delta (λ (x) (* (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) (sqrt (cbrt (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* [exit]simplify:  Simplified to (fabs (cbrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (fabs (cbrt (+ (exp x) 1)))
* [enter]simplify:  Simplifying (sqrt (cbrt (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (sqrt (cbrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (sqrt (cbrt (+ (exp x) 1)))
* * * * [misc]progress:  [ 25 / 37 ] simplifiying candidate #<alt-delta (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (sqrt (sqrt (+ (exp x) 1)))
* [enter]simplify:  Simplifying (sqrt (sqrt (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (sqrt (sqrt (+ (exp x) 1)))
* * * * [misc]progress:  [ 26 / 37 ] simplifiying candidate #<alt-delta (λ (x) (* (sqrt 1) (sqrt (+ (exp x) 1))))>
* [enter]simplify:  Simplifying (sqrt 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (sqrt 1)
* [exit]simplify:  Simplified to (sqrt 1)
* [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
* [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
* * * * [misc]progress:  [ 27 / 37 ] simplifiying candidate #<alt-delta (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
* [enter]simplify:  Simplifying (sqrt (+ (pow (exp x) 3) (pow 1 3)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* [exit]simplify:  Simplified to (sqrt (fma (* (exp x) (exp x)) (exp x) 1))
* [exit]simplify:  Simplified to (sqrt (fma (* (exp x) (exp x)) (exp x) 1))
* [enter]simplify:  Simplifying (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (34 enodes)
* * [misc]simplify:  iters left: 3 (55 enodes)
* * [misc]simplify:  iters left: 2 (94 enodes)
* * [misc]simplify:  iters left: 1 (136 enodes)
* [exit]simplify:  Simplified to (sqrt (fma (expm1 x) (exp x) 1))
* [exit]simplify:  Simplified to (sqrt (fma (expm1 x) (exp x) 1))
* * * * [misc]progress:  [ 28 / 37 ] simplifiying candidate #<alt-delta (λ (x) (/ (sqrt (- (* (exp x) (exp x)) (* 1 1))) (sqrt (- (exp x) 1))))>
* [enter]simplify:  Simplifying (sqrt (- (* (exp x) (exp x)) (* 1 1)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (24 enodes)
* * [misc]simplify:  iters left: 3 (30 enodes)
* * [misc]simplify:  iters left: 2 (48 enodes)
* * [misc]simplify:  iters left: 1 (83 enodes)
* [exit]simplify:  Simplified to (sqrt (expm1 (+ x x)))
* [exit]simplify:  Simplified to (sqrt (expm1 (+ x x)))
* [enter]simplify:  Simplifying (sqrt (- (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* * [misc]simplify:  iters left: 2 (11 enodes)
* [exit]simplify:  Simplified to (sqrt (expm1 x))
* [exit]simplify:  Simplified to (sqrt (expm1 x))
* * * * [misc]progress:  [ 29 / 37 ] simplifiying candidate #<alt-delta (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (sqrt (sqrt (+ (exp x) 1)))
* [enter]simplify:  Simplifying (sqrt (sqrt (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (sqrt (sqrt (+ (exp x) 1)))
* * * * [misc]progress:  [ 30 / 37 ] simplifiying candidate #<alt-delta (λ (x) (fabs (sqrt (+ (exp x) 1))))>
* * * * [misc]progress:  [ 31 / 37 ] simplifiying candidate #<alt-delta (λ (x) (* 1 (sqrt (+ (exp x) 1))))>
* * * * [misc]progress:  [ 32 / 37 ] simplifiying candidate #<alt-event (λ (x) (sqrt (+ (* 1/2 (pow x 2)) (+ 2 x))))>
* [enter]simplify:  Simplifying (sqrt (+ (* 1/2 (pow x 2)) (+ 2 x)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (40 enodes)
* * [misc]simplify:  iters left: 2 (46 enodes)
* * [misc]simplify:  iters left: 1 (50 enodes)
* [exit]simplify:  Simplified to (sqrt (fma (* x x) 1/2 (+ x 2)))
* * * * [misc]progress:  [ 33 / 37 ] simplifiying candidate #<alt-event (λ (x) (sqrt (+ 1 (exp x))))>
* [enter]simplify:  Simplifying (sqrt (+ 1 (exp x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* * * * [misc]progress:  [ 34 / 37 ] simplifiying candidate #<alt-event (λ (x) (sqrt (+ 1 (exp x))))>
* [enter]simplify:  Simplifying (sqrt (+ 1 (exp x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* * * * [misc]progress:  [ 35 / 37 ] simplifiying candidate #<alt-event (λ (x) (- (+ (* 1/2 (/ x (sqrt 2))) (+ (sqrt 2) (* 1/4 (/ (pow x 2) (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))))>
* [enter]simplify:  Simplifying (- (+ (* 1/2 (/ x (sqrt 2))) (+ (sqrt 2) (* 1/4 (/ (pow x 2) (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
* * [misc]simplify:  iters left: 6 (18 enodes)
* * [misc]simplify:  iters left: 5 (40 enodes)
* * [misc]simplify:  iters left: 4 (113 enodes)
* * [misc]simplify:  iters left: 3 (298 enodes)
* [exit]simplify:  Simplified to (+ (fma (/ x (sqrt 2)) 1/2 (sqrt 2)) (* (- 1/4 (/ 1/8 2)) (/ (* x x) (sqrt 2))))
* * * * [misc]progress:  [ 36 / 37 ] simplifiying candidate #<alt-event (λ (x) (sqrt (+ 1 (exp x))))>
* [enter]simplify:  Simplifying (sqrt (+ 1 (exp x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* * * * [misc]progress:  [ 37 / 37 ] simplifiying candidate #<alt-event (λ (x) (sqrt (+ 1 (exp x))))>
* [enter]simplify:  Simplifying (sqrt (+ 1 (exp x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 4
* * * [misc]progress:  picking best candidate
"ALT DATA: "{"picked-error":0.65234375,"picked":"(λ (x) (sqrt (expm1 (log1p (+ (exp x) 1)))))","all-alts":["#<alt-delta (λ (x) (sqrt (+ (exp x) 1)))>","#<alt-delta (λ (x) (sqrt (expm1 (log1p (+ (exp x) 1)))))>"],"best-fresh-alt-per-point":[[[-1.7974655786609252e+207],0,0],[[-75238988958791.81],0,0],[[-6.350494934637132e-162],0,1.0],[[2.3083337283722852e-148],0,1.0],[[-4.026346445617249e+177],0,0],[[-4.5211614543129065e+289],0,0],[[-2.454684817904395e+257],0,0],[[-1.0019789949166419e+67],0,0],[[-2.773803522833278e-257],0,1.0],[[-2.373554704208159e-277],0,1.0],[[-2.1916750051718287e-274],0,1.0],[[-1.6021888708425382e-141],0,1.0],[[-1.1547210519535511e-141],0,1.0],[[-1.98313259892985e+164],0,0],[[4.5927380970889396e-135],0,1.0],[[1.7704110706278e-94],0,1.0],[[1.561548355990017e-262],0,1.0],[[-4.340081923739729e+206],0,0],[[-5.507779249159462e+285],0,0],[[-6.454564632864562e+155],0,0],[[-7.51999677278861e+250],0,0],[[5.5510445437854375e-230],0,1.0],[[-2.7160148794838657e+151],0,0],[[5.270057962127254e-225],0,1.0],[[-1.9967941607328995e-106],0,1.0],[[-1.2872870432113335e+181],0,0],[[-2.9314311895004064e+32],0,0],[[5.06748533843499e-162],0,1.0],[[-9.785729011056341e+105],0,0],[[5.3963114687587035e-226],0,1.0],[[-2.779043885238467e-207],0,1.0],[[1.3709502567489576e-97],0,1.0],[[-1.7480364447417596e-228],0,1.0],[[1.0597724474707798e-128],0,1.0],[[-1.9510262991995693e+112],0,0],[[2.2999903268614278e-290],0,1.0],[[1.0741122062961354e-261],0,1.0],[[5.859557539322906e-140],0,1.0],[[-3.202599098547416e+262],0,0],[[4.253353698909665e-216],0,1.0],[[-1.7601754576655714e-112],0,1.0],[[-2.3489526626381347e-269],0,1.0],[[-1.852314336868911e-141],0,1.0],[[-6.021214886712076e+305],0,0],[[-3.5464567771875936e-137],0,1.0],[[6.95907319775547e-142],0,1.0],[[4.491404959780394e-61],0,1.0],[[-4.005724837481887e+86],0,0],[[-4.355892554578831e-23],0,1.0],[[-1.651433716140738e-197],0,1.0],[[9.637197271073901e-211],0,1.0],[[-7.726179853886465e-162],0,1.0],[[-6.083630220807599e+233],0,0],[[1.2043966215849866e-117],0,1.0],[[-2.34733545246029e+196],0,0],[[-6.4568883585384e+140],0,0],[[-2.6432840315259835e-167],0,1.0],[[-5.9602886229394335e-164],0,1.0],[[-4.033635775055423e+210],0,0],[[-2.771175998241097e-282],0,1.0],[[-4.946267744070056e+127],0,0],[[-9.823978453361338e+107],0,0],[[4.160824839625464e-162],0,1.0],[[-4.24212429405597e+265],0,0],[[-9.693540441080036e-13],0,0],[[3.1487471921760063e-57],0,1.0],[[-2.977880242215281e+187],0,0],[[-2.5605208342375893e+151],0,0],[[-2.4900168344742183e-72],0,1.0],[[-5.967504609531294e-77],0,1.0],[[-2.029570071102755e+97],0,0],[[-1.7161275953211883e-174],0,1.0],[[-5.5646263164782176e-223],0,1.0],[[-8.180940553092265e+33],0,0],[[-4.885314233897337e+222],0,0],[[3.663172596950764e-123],0,1.0],[[-1.374556859806548e-261],0,1.0],[[-1.380285857262137e-35],0,1.0],[[-2.8587941319848644e-177],0,1.0],[[-2.84097347513644e-291],0,1.0],[[1.775499846150115e-189],0,1.0],[[-1.619539121961887e-203],0,1.0],[[8.63596361370883e-168],0,1.0],[[3.1003420231048053e-198],0,1.0],[[-274927.84602583235],0,0],[[-7.754374499374627e-128],0,1.0],[[-2.8757450638421546e+275],0,0],[[4.837988086823738e-223],0,1.0],[[-5.075532709869747e+166],0,0],[[-3.7651275735493285e+99],0,0],[[-2.0755431209235275e+37],0,0],[[1.6482233490718935e-213],0,1.0],[[-6.920197829965478e-54],0,1.0],[[-1.8465286574354045e-08],0,0],[[-1.5062863859087e-170],0,1.0],[[2.33191497780421e-111],0,1.0],[[-3.407626954669935e+236],0,0],[[-3.900210593962189e+241],0,0],[[2.0583492621633517e-132],0,1.0],[[-9.72242600606208e-115],0,1.0],[[-3.568993208845613e-77],0,1.0],[[-5.712505602207327e+178],0,0],[[6.6295219985120325e-183],0,1.0],[[-3.577076923658427e+105],0,0],[[3.783167595046686e-155],0,1.0],[[-3.2642710207591386e-194],0,1.0],[[-4.870404977044875e-198],0,1.0],[[1.6662800714135864e-218],0,1.0],[[-1.1202048404749235e-215],0,1.0],[[-1.0358355091148686e-278],0,1.0],[[-1.1423228006386598e-168],0,1.0],[[-2.6234285145138236e-302],0,1.0],[[-2.626755070032605e+272],0,0],[[-1.6666445293959045e-19],0,1.0],[[-173036.98939585892],0,0],[[-1.72018159214991e+42],0,0],[[1.7147925947267055e-94],0,1.0],[[-6.98400217622458e+210],0,0],[[4.0703515080559954e-283],0,1.0],[[-2.4094148605116898e-71],0,1.0],[[-8.522235120830623e+139],0,0],[[-9.124761575189952e+223],0,0],[[-2.907835079052472e-162],0,1.0],[[-1.3126589281126071e-180],0,1.0],[[2.1610785345312164e-77],0,1.0],[[-3.4840827655589074e+170],0,0],[[-4.5698595924674815e-41],0,1.0],[[1.3797898346213585e-261],0,1.0],[[-68192552835.54769],0,0],[[8.567538977582658e-198],0,1.0],[[-4.745743187038751e-236],0,1.0],[[-5.4823449965902654e-247],0,1.0],[[1.0962964976346659e-08],0,0],[[1.7909913857676524e-234],0,1.0],[[4.184907550158769e-217],0,1.0],[[-2.823112783246906e-160],0,1.0],[[-2.1189921349291594e-90],0,1.0],[[5.765917461741543e-177],0,1.0],[[-2.1601700324087214e+239],0,0],[[-1.7851335690272436e-118],0,1.0],[[3.6107901403921284e-233],0,1.0],[[-8.024347822647855e+214],0,0],[[1.9327027802753637e-202],0,1.0],[[-3.5611198987654533e-281],0,1.0],[[-3.5829211941866875e-192],0,1.0],[[-2.014137988229197e+52],0,0],[[2.2586277236353973e-239],0,1.0],[[-8.868856845711779e+119],0,0],[[5.556148241691299e-119],0,1.0],[[1.5213816359492715e-307],0,1.0],[[-1.6859585865544744e-246],0,1.0],[[5.821204232402082e-193],0,1.0],[[-1.8762152117521778e-223],0,1.0],[[-2.2892566621587075e+154],0,0],[[-5.250537787491817e-124],0,1.0],[[-1.6952171705608182e+115],0,0],[[4.750171216619508e-73],0,1.0],[[1.0938841522691449e-182],0,1.0],[[9.985233354827504e-56],0,1.0],[[-5.1167504337574626e+199],0,0],[[-1.2972076833210354e-243],0,1.0],[[3.950026893987416e-118],0,1.0],[[-2.294473340925908e-99],0,1.0],[[-1.904583231690064e+97],0,0],[[2.5619403929352076e-295],0,1.0],[[-3.91790688565277e-170],0,1.0],[[-3.350876917565793e+236],0,0],[[-4.3546020711282113e-72],0,1.0],[[-1.3499936523535982e-57],0,1.0],[[1.0670135568992559e-184],0,1.0],[[1.4304241357191177e-199],0,1.0],[[-2.511393753900827e-169],0,1.0],[[-3.701783848889662e-189],0,1.0],[[-5.431902774374102e-262],0,1.0],[[1.2263489992282429e-201],0,1.0],[[-3.198759731467493e-128],0,1.0],[[-2.5729428009391437e+95],0,0],[[-5.478420012818748e-199],0,1.0],[[2.524309035730919e-48],0,1.0],[[-1.0214301568538723e-236],0,1.0],[[-1.6791604274945628e-115],0,1.0],[[-2.823818017388331],0,0],[[-1.962420053162622e-121],0,1.0],[[-2.954987173135622e-51],0,1.0],[[-8.297174001156304e+75],0,0],[[-9.883750689403901e+213],0,0],[[9.069576208127305e-269],0,1.0],[[1.23229902882752e-232],0,1.0],[[-124016442.09153165],0,0],[[2.427769796556236e-78],0,1.0],[[-5.879572388948755e+34],0,0],[[-2.3961070704976586e+136],0,0],[[-6.111231636098851e+305],0,0],[[-7.09858385461274e+280],0,0],[[1.3214717591908378e-130],0,1.0],[[-4.7364515595661375e-231],0,1.0],[[-7.271096717980544e+106],0,0],[[2.4635782245727523e-208],0,1.0],[[2.727021877346581e-178],0,1.0],[[1.860064553198903e-67],0,1.0],[[-2.226128313785923e+22],0,0],[[-8.298405443849659e-11],0,0],[[-6.563763753942498e-288],0,1.0],[[2.2902549915951485e-178],0,1.0],[[3.2429349037230544e-264],0,1.0],[[2.667413108648081e-185],0,1.0],[[-1.3825054086160473e+258],0,0],[[8.657759546694974e-157],0,1.0],[[-2.4264684579574925e-69],0,1.0],[[1.0138639698135428e-172],0,1.0],[[-1.795687265611928e-76],0,1.0],[[-9.441025523234461e-95],0,1.0],[[-8.823517979915115e-275],0,1.0],[[2.4359209768004262e-80],0,1.0],[[-1.2986190410846544e+132],0,0],[[-7.262479430802023e-80],0,1.0],[[-1.704445593248875e-137],0,1.0],[[-8.079572085939796e+62],0,0],[[-5.014702845822206e+23],0,0],[[2.412016495848343e-259],0,1.0],[[2.1622905926715047e-231],0,1.0],[[-1.138570595022504e+112],0,0],[[-4.904338319107589e+243],0,0],[[-3.468216462137634e+264],0,0],[[3.12961498124956e-281],0,1.0],[[-2.0306330112186374e+236],0,0],[[-7.06766310183449e+233],0,0],[[-2.2353681919926253e+288],0,0],[[-218468.59457214232],0,0],[[-8.582786619504858e-307],0,1.0],[[1.542984322219514e-13],0,0],[[3.0489294036502483e-215],0,1.0],[[-1.8571008731182118e+160],0,0],[[1.434512172815064e-89],0,1.0],[[1.095382951219098e-121],0,1.0],[[4.4403690793251364e-66],0,1.0],[[-1.4152323733690032e-71],0,1.0],[[-2.1521573832310456e-60],0,1.0],[[3.0292511751059167e-285],0,1.0],[[-1.7764225205103598e-40],0,1.0],[[-2.2133570847894536e-21],0,1.0],[[-1.5231846384497747e+241],0,0],[[-5.633958029554214e+72],0,0],[[-8.705569923143921e-256],0,1.0],[[-1.6865217572146204e-158],0,1.0],[[-7.1083179947333e+96],0,0],[[-6.558351034244574e-59],0,1.0],[[-2.6211080531091074e-206],0,1.0],[[-8.79916969398652e-38],0,1.0],[[-3.5828871804215725e-182],0,1.0],[[-6.861319032017174e-63],0,1.0],[[4.357977932807522e-152],0,1.0],[[-9.4041220967993e+208],0,0],[[-3.3993174919178938e-49],0,1.0],[[-6.415779835408304e-164],0,1.0],[[1.013327533564468e-142],0,1.0]],"best-alt-per-point":[[[-1.7974655786609252e+207],0,0],[[-75238988958791.81],0,0],[[-6.350494934637132e-162],0,0],[[2.3083337283722852e-148],0,0],[[-4.026346445617249e+177],0,0],[[-4.5211614543129065e+289],0,0],[[-2.454684817904395e+257],0,0],[[-1.0019789949166419e+67],0,0],[[-2.773803522833278e-257],0,0],[[-2.373554704208159e-277],0,0],[[-2.1916750051718287e-274],0,0],[[-1.6021888708425382e-141],0,0],[[-1.1547210519535511e-141],0,0],[[-1.98313259892985e+164],0,0],[[4.5927380970889396e-135],0,0],[[1.7704110706278e-94],0,0],[[1.561548355990017e-262],0,0],[[-4.340081923739729e+206],0,0],[[-5.507779249159462e+285],0,0],[[-6.454564632864562e+155],0,0],[[-7.51999677278861e+250],0,0],[[5.5510445437854375e-230],0,0],[[-2.7160148794838657e+151],0,0],[[5.270057962127254e-225],0,0],[[-1.9967941607328995e-106],0,0],[[-1.2872870432113335e+181],0,0],[[-2.9314311895004064e+32],0,0],[[5.06748533843499e-162],0,0],[[-9.785729011056341e+105],0,0],[[5.3963114687587035e-226],0,0],[[-2.779043885238467e-207],0,0],[[1.3709502567489576e-97],0,0],[[-1.7480364447417596e-228],0,0],[[1.0597724474707798e-128],0,0],[[-1.9510262991995693e+112],0,0],[[2.2999903268614278e-290],0,0],[[1.0741122062961354e-261],0,0],[[5.859557539322906e-140],0,0],[[-3.202599098547416e+262],0,0],[[4.253353698909665e-216],0,0],[[-1.7601754576655714e-112],0,0],[[-2.3489526626381347e-269],0,0],[[-1.852314336868911e-141],0,0],[[-6.021214886712076e+305],0,0],[[-3.5464567771875936e-137],0,0],[[6.95907319775547e-142],0,0],[[4.491404959780394e-61],0,0],[[-4.005724837481887e+86],0,0],[[-4.355892554578831e-23],0,0],[[-1.651433716140738e-197],0,0],[[9.637197271073901e-211],0,0],[[-7.726179853886465e-162],0,0],[[-6.083630220807599e+233],0,0],[[1.2043966215849866e-117],0,0],[[-2.34733545246029e+196],0,0],[[-6.4568883585384e+140],0,0],[[-2.6432840315259835e-167],0,0],[[-5.9602886229394335e-164],0,0],[[-4.033635775055423e+210],0,0],[[-2.771175998241097e-282],0,0],[[-4.946267744070056e+127],0,0],[[-9.823978453361338e+107],0,0],[[4.160824839625464e-162],0,0],[[-4.24212429405597e+265],0,0],[[-9.693540441080036e-13],0,0],[[3.1487471921760063e-57],0,0],[[-2.977880242215281e+187],0,0],[[-2.5605208342375893e+151],0,0],[[-2.4900168344742183e-72],0,0],[[-5.967504609531294e-77],0,0],[[-2.029570071102755e+97],0,0],[[-1.7161275953211883e-174],0,0],[[-5.5646263164782176e-223],0,0],[[-8.180940553092265e+33],0,0],[[-4.885314233897337e+222],0,0],[[3.663172596950764e-123],0,0],[[-1.374556859806548e-261],0,0],[[-1.380285857262137e-35],0,0],[[-2.8587941319848644e-177],0,0],[[-2.84097347513644e-291],0,0],[[1.775499846150115e-189],0,0],[[-1.619539121961887e-203],0,0],[[8.63596361370883e-168],0,0],[[3.1003420231048053e-198],0,0],[[-274927.84602583235],0,0],[[-7.754374499374627e-128],0,0],[[-2.8757450638421546e+275],0,0],[[4.837988086823738e-223],0,0],[[-5.075532709869747e+166],0,0],[[-3.7651275735493285e+99],0,0],[[-2.0755431209235275e+37],0,0],[[1.6482233490718935e-213],0,0],[[-6.920197829965478e-54],0,0],[[-1.8465286574354045e-08],0,0],[[-1.5062863859087e-170],0,0],[[2.33191497780421e-111],0,0],[[-3.407626954669935e+236],0,0],[[-3.900210593962189e+241],0,0],[[2.0583492621633517e-132],0,0],[[-9.72242600606208e-115],0,0],[[-3.568993208845613e-77],0,0],[[-5.712505602207327e+178],0,0],[[6.6295219985120325e-183],0,0],[[-3.577076923658427e+105],0,0],[[3.783167595046686e-155],0,0],[[-3.2642710207591386e-194],0,0],[[-4.870404977044875e-198],0,0],[[1.6662800714135864e-218],0,0],[[-1.1202048404749235e-215],0,0],[[-1.0358355091148686e-278],0,0],[[-1.1423228006386598e-168],0,0],[[-2.6234285145138236e-302],0,0],[[-2.626755070032605e+272],0,0],[[-1.6666445293959045e-19],0,0],[[-173036.98939585892],0,0],[[-1.72018159214991e+42],0,0],[[1.7147925947267055e-94],0,0],[[-6.98400217622458e+210],0,0],[[4.0703515080559954e-283],0,0],[[-2.4094148605116898e-71],0,0],[[-8.522235120830623e+139],0,0],[[-9.124761575189952e+223],0,0],[[-2.907835079052472e-162],0,0],[[-1.3126589281126071e-180],0,0],[[2.1610785345312164e-77],0,0],[[-3.4840827655589074e+170],0,0],[[-4.5698595924674815e-41],0,0],[[1.3797898346213585e-261],0,0],[[-68192552835.54769],0,0],[[8.567538977582658e-198],0,0],[[-4.745743187038751e-236],0,0],[[-5.4823449965902654e-247],0,0],[[1.0962964976346659e-08],0,0],[[1.7909913857676524e-234],0,0],[[4.184907550158769e-217],0,0],[[-2.823112783246906e-160],0,0],[[-2.1189921349291594e-90],0,0],[[5.765917461741543e-177],0,0],[[-2.1601700324087214e+239],0,0],[[-1.7851335690272436e-118],0,0],[[3.6107901403921284e-233],0,0],[[-8.024347822647855e+214],0,0],[[1.9327027802753637e-202],0,0],[[-3.5611198987654533e-281],0,0],[[-3.5829211941866875e-192],0,0],[[-2.014137988229197e+52],0,0],[[2.2586277236353973e-239],0,0],[[-8.868856845711779e+119],0,0],[[5.556148241691299e-119],0,0],[[1.5213816359492715e-307],0,0],[[-1.6859585865544744e-246],0,0],[[5.821204232402082e-193],0,0],[[-1.8762152117521778e-223],0,0],[[-2.2892566621587075e+154],0,0],[[-5.250537787491817e-124],0,0],[[-1.6952171705608182e+115],0,0],[[4.750171216619508e-73],0,0],[[1.0938841522691449e-182],0,0],[[9.985233354827504e-56],0,0],[[-5.1167504337574626e+199],0,0],[[-1.2972076833210354e-243],0,0],[[3.950026893987416e-118],0,0],[[-2.294473340925908e-99],0,0],[[-1.904583231690064e+97],0,0],[[2.5619403929352076e-295],0,0],[[-3.91790688565277e-170],0,0],[[-3.350876917565793e+236],0,0],[[-4.3546020711282113e-72],0,0],[[-1.3499936523535982e-57],0,0],[[1.0670135568992559e-184],0,0],[[1.4304241357191177e-199],0,0],[[-2.511393753900827e-169],0,0],[[-3.701783848889662e-189],0,0],[[-5.431902774374102e-262],0,0],[[1.2263489992282429e-201],0,0],[[-3.198759731467493e-128],0,0],[[-2.5729428009391437e+95],0,0],[[-5.478420012818748e-199],0,0],[[2.524309035730919e-48],0,0],[[-1.0214301568538723e-236],0,0],[[-1.6791604274945628e-115],0,0],[[-2.823818017388331],0,0],[[-1.962420053162622e-121],0,0],[[-2.954987173135622e-51],0,0],[[-8.297174001156304e+75],0,0],[[-9.883750689403901e+213],0,0],[[9.069576208127305e-269],0,0],[[1.23229902882752e-232],0,0],[[-124016442.09153165],0,0],[[2.427769796556236e-78],0,0],[[-5.879572388948755e+34],0,0],[[-2.3961070704976586e+136],0,0],[[-6.111231636098851e+305],0,0],[[-7.09858385461274e+280],0,0],[[1.3214717591908378e-130],0,0],[[-4.7364515595661375e-231],0,0],[[-7.271096717980544e+106],0,0],[[2.4635782245727523e-208],0,0],[[2.727021877346581e-178],0,0],[[1.860064553198903e-67],0,0],[[-2.226128313785923e+22],0,0],[[-8.298405443849659e-11],0,0],[[-6.563763753942498e-288],0,0],[[2.2902549915951485e-178],0,0],[[3.2429349037230544e-264],0,0],[[2.667413108648081e-185],0,0],[[-1.3825054086160473e+258],0,0],[[8.657759546694974e-157],0,0],[[-2.4264684579574925e-69],0,0],[[1.0138639698135428e-172],0,0],[[-1.795687265611928e-76],0,0],[[-9.441025523234461e-95],0,0],[[-8.823517979915115e-275],0,0],[[2.4359209768004262e-80],0,0],[[-1.2986190410846544e+132],0,0],[[-7.262479430802023e-80],0,0],[[-1.704445593248875e-137],0,0],[[-8.079572085939796e+62],0,0],[[-5.014702845822206e+23],0,0],[[2.412016495848343e-259],0,0],[[2.1622905926715047e-231],0,0],[[-1.138570595022504e+112],0,0],[[-4.904338319107589e+243],0,0],[[-3.468216462137634e+264],0,0],[[3.12961498124956e-281],0,0],[[-2.0306330112186374e+236],0,0],[[-7.06766310183449e+233],0,0],[[-2.2353681919926253e+288],0,0],[[-218468.59457214232],0,0],[[-8.582786619504858e-307],0,0],[[1.542984322219514e-13],1,0],[[3.0489294036502483e-215],0,0],[[-1.8571008731182118e+160],0,0],[[1.434512172815064e-89],0,0],[[1.095382951219098e-121],0,0],[[4.4403690793251364e-66],0,0],[[-1.4152323733690032e-71],0,0],[[-2.1521573832310456e-60],0,0],[[3.0292511751059167e-285],0,0],[[-1.7764225205103598e-40],0,0],[[-2.2133570847894536e-21],0,0],[[-1.5231846384497747e+241],0,0],[[-5.633958029554214e+72],0,0],[[-8.705569923143921e-256],0,0],[[-1.6865217572146204e-158],0,0],[[-7.1083179947333e+96],0,0],[[-6.558351034244574e-59],0,0],[[-2.6211080531091074e-206],0,0],[[-8.79916969398652e-38],0,0],[[-3.5828871804215725e-182],0,0],[[-6.861319032017174e-63],0,0],[[4.357977932807522e-152],0,0],[[-9.4041220967993e+208],0,0],[[-3.3993174919178938e-49],0,0],[[-6.415779835408304e-164],0,0],[[1.013327533564468e-142],0,0]],"fresh-alts":["#<alt-delta (λ (x) (sqrt (expm1 (log1p (+ (exp x) 1)))))>"]}* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (sqrt (expm1 (log1p (+ (exp x) 1)))))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
* * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
* * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1)
* * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
* [misc]approximate:  Taking taylor expansion of (log1p (+ (exp x) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp x) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp x) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp 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) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp 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 (exp 0) 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 2
* [misc]backup-simplify:  Simplify (+ 1 2) into 3
* [misc]backup-simplify:  Simplify (log 3) into (log 3)
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp x) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp x) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp 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) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp 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 (exp 0) 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 2
* [misc]backup-simplify:  Simplify (+ 1 2) into 3
* [misc]backup-simplify:  Simplify (log 3) into (log 3)
* [misc]backup-simplify:  Simplify (log 3) into (log 3)
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 3 1)))) 1) into 1/3
* [misc]backup-simplify:  Simplify 1/3 into 1/3
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
* [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
* [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 3 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 3 1)))) 2) into 1/9
* [misc]backup-simplify:  Simplify 1/9 into 1/9
* [misc]backup-simplify:  Simplify (+ (* 1/9 (pow x 2)) (+ (* 1/3 x) (log 3))) into (+ (* 1/9 (pow x 2)) (+ (* 1/3 x) (log 3)))
* [misc]approximate:  Taking taylor expansion of (log1p (+ (exp (/ 1 x)) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp (/ 1 x)) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp (/ 1 x)) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp (/ 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) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ 1 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (+ 1 (exp (/ 1 x)))) into (+ 2 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (log (+ 2 (exp (/ 1 x)))) into (log (+ 2 (exp (/ 1 x))))
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp (/ 1 x)) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp (/ 1 x)) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp (/ 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) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ 1 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (+ 1 (exp (/ 1 x)))) into (+ 2 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (log (+ 2 (exp (/ 1 x)))) into (log (+ 2 (exp (/ 1 x))))
* [misc]backup-simplify:  Simplify (log (+ 2 (exp (/ 1 x)))) into (log (+ 2 (exp (/ 1 x))))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ 2 (exp (/ 1 x))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ 2 (exp (/ 1 x))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ 2 (exp (/ 1 x))) 1)))) 2) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ 2 (exp (/ 1 x))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ 1 x))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ 1 x))) 1)))) 6) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ 2 (exp (/ 1 x))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ 1 x))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ 2 (exp (/ 1 x))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ 1 x))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ 1 x))) 1)))) 24) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ 2 (exp (/ 1 x))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ 1 x))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ 2 (exp (/ 1 x))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ 1 x))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 2 (exp (/ 1 x))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ 1 x))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ 2 (exp (/ 1 x))) 1)))) 120) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ 2 (exp (/ 1 x))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ 1 x))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ 2 (exp (/ 1 x))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ 1 x))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ 2 (exp (/ 1 x))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 2 (exp (/ 1 x))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ 1 x))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ 2 (exp (/ 1 x))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ 1 x))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ 2 (exp (/ 1 x))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ 2 (exp (/ 1 x))) 1)))) 720) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (log (+ 2 (exp (/ 1 (/ 1 x))))) into (log (+ 2 (exp x)))
* [misc]approximate:  Taking taylor expansion of (log1p (+ (exp (/ 1 (- x))) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp (/ 1 (- x))) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp (/ 1 (- x))) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp (/ 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) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ 1 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (+ 1 (exp (/ -1 x)))) into (+ 2 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (log (+ 2 (exp (/ -1 x)))) into (log (+ 2 (exp (/ -1 x))))
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp (/ 1 (- x))) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp (/ 1 (- x))) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp (/ 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) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ 1 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (+ 1 (exp (/ -1 x)))) into (+ 2 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (log (+ 2 (exp (/ -1 x)))) into (log (+ 2 (exp (/ -1 x))))
* [misc]backup-simplify:  Simplify (log (+ 2 (exp (/ -1 x)))) into (log (+ 2 (exp (/ -1 x))))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ 2 (exp (/ -1 x))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ 2 (exp (/ -1 x))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ 2 (exp (/ -1 x))) 1)))) 2) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ 2 (exp (/ -1 x))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ -1 x))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ -1 x))) 1)))) 6) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ 2 (exp (/ -1 x))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ -1 x))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ 2 (exp (/ -1 x))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ -1 x))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ -1 x))) 1)))) 24) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ 2 (exp (/ -1 x))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ -1 x))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ 2 (exp (/ -1 x))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ -1 x))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 2 (exp (/ -1 x))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ -1 x))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ 2 (exp (/ -1 x))) 1)))) 120) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ 2 (exp (/ -1 x))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ -1 x))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ 2 (exp (/ -1 x))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ -1 x))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ 2 (exp (/ -1 x))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 2 (exp (/ -1 x))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ -1 x))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ 2 (exp (/ -1 x))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ -1 x))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ 2 (exp (/ -1 x))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ 2 (exp (/ -1 x))) 1)))) 720) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (log (+ 2 (exp (/ -1 (/ 1 (- x)))))) into (log (+ 2 (exp x)))
* * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
* [misc]approximate:  Taking taylor expansion of (expm1 (log1p (+ (exp x) 1))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (+ (exp x) 1))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (+ (exp x) 1))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (+ (exp x) 1))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp x) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp x) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp 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) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp 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 (exp 0) 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 2
* [misc]backup-simplify:  Simplify (+ 1 2) into 3
* [misc]backup-simplify:  Simplify (log 3) into (log 3)
* [misc]backup-simplify:  Simplify (exp (log 3)) into 3
* [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) 1))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (+ (exp x) 1))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (+ (exp x) 1))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp x) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp x) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp 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) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp 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 (exp 0) 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 2
* [misc]backup-simplify:  Simplify (+ 1 2) into 3
* [misc]backup-simplify:  Simplify (log 3) into (log 3)
* [misc]backup-simplify:  Simplify (exp (log 3)) into 3
* [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 (+ 3 -1) into 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 3 1)))) 1) into 1/3
* [misc]backup-simplify:  Simplify (* (exp (log 3)) (+ (* (/ (pow 1/3 1) 1)))) into 1
* [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 (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
* [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
* [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 3 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 3 1)))) 2) into 1/9
* [misc]backup-simplify:  Simplify (* (exp (log 3)) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow 1/9 1) 1)))) into 1/2
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ (* 1/2 (pow x 2)) (+ 2 x))
* [misc]approximate:  Taking taylor expansion of (expm1 (log1p (+ (exp (/ 1 x)) 1))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (+ (exp (/ 1 x)) 1))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (+ (exp (/ 1 x)) 1))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (+ (exp (/ 1 x)) 1))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp (/ 1 x)) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp (/ 1 x)) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp (/ 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) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ 1 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (+ 1 (exp (/ 1 x)))) into (+ 2 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (log (+ 2 (exp (/ 1 x)))) into (log (+ 2 (exp (/ 1 x))))
* [misc]backup-simplify:  Simplify (exp (log (+ 2 (exp (/ 1 x))))) into (+ 2 (exp (/ 1 x)))
* [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))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (+ (exp (/ 1 x)) 1))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (+ (exp (/ 1 x)) 1))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp (/ 1 x)) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp (/ 1 x)) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp (/ 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) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ 1 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (+ 1 (exp (/ 1 x)))) into (+ 2 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (log (+ 2 (exp (/ 1 x)))) into (log (+ 2 (exp (/ 1 x))))
* [misc]backup-simplify:  Simplify (exp (log (+ 2 (exp (/ 1 x))))) into (+ 2 (exp (/ 1 x)))
* [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 (+ (+ 2 (exp (/ 1 x))) -1) into (+ 1 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ 1 x))) into (+ 1 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ 2 (exp (/ 1 x))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ 1 x))))) (+ (* (/ (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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ 2 (exp (/ 1 x))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ 2 (exp (/ 1 x))) 1)))) 2) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ 1 x))))) (+ (* (/ (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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ 2 (exp (/ 1 x))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ 1 x))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ 1 x))) 1)))) 6) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ 1 x))))) (+ (* (/ (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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ 2 (exp (/ 1 x))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ 1 x))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ 2 (exp (/ 1 x))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ 1 x))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ 1 x))) 1)))) 24) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ 1 x))))) (+ (* (/ (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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ 2 (exp (/ 1 x))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ 1 x))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ 2 (exp (/ 1 x))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ 1 x))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 2 (exp (/ 1 x))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ 1 x))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ 2 (exp (/ 1 x))) 1)))) 120) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ 1 x))))) (+ (* (/ (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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ 2 (exp (/ 1 x))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ 1 x))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ 2 (exp (/ 1 x))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ 1 x))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ 2 (exp (/ 1 x))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 2 (exp (/ 1 x))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ 1 x))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ 2 (exp (/ 1 x))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ 1 x))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ 2 (exp (/ 1 x))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ 2 (exp (/ 1 x))) 1)))) 720) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ 1 x))))) (+ (* (/ (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 (+ 1 (exp (/ 1 (/ 1 x)))) into (+ 1 (exp x))
* [misc]approximate:  Taking taylor expansion of (expm1 (log1p (+ (exp (/ 1 (- x))) 1))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (+ (exp (/ 1 (- x))) 1))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (+ (exp (/ 1 (- x))) 1))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (+ (exp (/ 1 (- x))) 1))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp (/ 1 (- x))) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp (/ 1 (- x))) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp (/ 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) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ 1 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (+ 1 (exp (/ -1 x)))) into (+ 2 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (log (+ 2 (exp (/ -1 x)))) into (log (+ 2 (exp (/ -1 x))))
* [misc]backup-simplify:  Simplify (exp (log (+ 2 (exp (/ -1 x))))) into (+ 2 (exp (/ -1 x)))
* [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))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (+ (exp (/ 1 (- x))) 1))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (+ (exp (/ 1 (- x))) 1))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp (/ 1 (- x))) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp (/ 1 (- x))) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp (/ 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) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ 1 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (+ 1 (exp (/ -1 x)))) into (+ 2 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (log (+ 2 (exp (/ -1 x)))) into (log (+ 2 (exp (/ -1 x))))
* [misc]backup-simplify:  Simplify (exp (log (+ 2 (exp (/ -1 x))))) into (+ 2 (exp (/ -1 x)))
* [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 (+ (+ 2 (exp (/ -1 x))) -1) into (+ 1 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ -1 x))) into (+ 1 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ 2 (exp (/ -1 x))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ -1 x))))) (+ (* (/ (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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ 2 (exp (/ -1 x))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ 2 (exp (/ -1 x))) 1)))) 2) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ -1 x))))) (+ (* (/ (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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ 2 (exp (/ -1 x))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ -1 x))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ -1 x))) 1)))) 6) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ -1 x))))) (+ (* (/ (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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ 2 (exp (/ -1 x))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ -1 x))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ 2 (exp (/ -1 x))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ -1 x))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ -1 x))) 1)))) 24) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ -1 x))))) (+ (* (/ (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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ 2 (exp (/ -1 x))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ -1 x))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ 2 (exp (/ -1 x))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ -1 x))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 2 (exp (/ -1 x))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ -1 x))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ 2 (exp (/ -1 x))) 1)))) 120) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ -1 x))))) (+ (* (/ (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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ 2 (exp (/ -1 x))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ -1 x))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ 2 (exp (/ -1 x))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ -1 x))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ 2 (exp (/ -1 x))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 2 (exp (/ -1 x))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ -1 x))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ 2 (exp (/ -1 x))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ -1 x))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ 2 (exp (/ -1 x))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ 2 (exp (/ -1 x))) 1)))) 720) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ -1 x))))) (+ (* (/ (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 (+ 1 (exp (/ -1 (/ 1 (- x))))) into (+ 1 (exp x))
* * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1)
* [misc]approximate:  Taking taylor expansion of (+ (exp x) 1) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp 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 (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (exp x) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp 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 (exp 0) 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 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
* [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ (* 1/2 (pow x 2)) (+ 2 x))
* [misc]approximate:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 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) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ 1 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ 1 x))) into (+ 1 (exp (/ 1 x)))
* [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 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 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 0 into 0
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ 1 (/ 1 x)))) into (+ 1 (exp x))
* [misc]approximate:  Taking taylor expansion of (+ (exp (/ 1 (- x))) 1) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 (- x))) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 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) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ 1 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ -1 x))) into (+ 1 (exp (/ -1 x)))
* [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 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 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 0 into 0
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ -1 (/ 1 (- x))))) into (+ 1 (exp x))
* * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (sqrt (expm1 (log1p (+ (exp x) 1)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (expm1 (log1p (+ (exp x) 1)))) in x
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (+ (exp x) 1))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (+ (exp x) 1))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (+ (exp x) 1))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp x) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp x) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp 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) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp 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 (exp 0) 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 2
* [misc]backup-simplify:  Simplify (+ 1 2) into 3
* [misc]backup-simplify:  Simplify (log 3) into (log 3)
* [misc]backup-simplify:  Simplify (exp (log 3)) into 3
* [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 (+ 3 -1) into 2
* [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 3 1)))) 1) into 1/3
* [misc]backup-simplify:  Simplify (* (exp (log 3)) (+ (* (/ (pow 1/3 1) 1)))) into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
* [misc]taylor:  Taking taylor expansion of (sqrt (expm1 (log1p (+ (exp x) 1)))) in x
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (+ (exp x) 1))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (+ (exp x) 1))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (+ (exp x) 1))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp x) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp x) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp 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) 1) in x
* [misc]taylor:  Taking taylor expansion of (exp 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 (exp 0) 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 2
* [misc]backup-simplify:  Simplify (+ 1 2) into 3
* [misc]backup-simplify:  Simplify (log 3) into (log 3)
* [misc]backup-simplify:  Simplify (exp (log 3)) into 3
* [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 (+ 3 -1) into 2
* [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 3 1)))) 1) into 1/3
* [misc]backup-simplify:  Simplify (* (exp (log 3)) (+ (* (/ (pow 1/3 1) 1)))) into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
* [misc]backup-simplify:  Simplify (sqrt 2) into (sqrt 2)
* [misc]backup-simplify:  Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
* [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
* [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 3 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 3 1)))) 2) into 1/9
* [misc]backup-simplify:  Simplify (* (exp (log 3)) (+ (* (/ (pow 1/3 2) 2)) (* (/ (pow 1/9 1) 1)))) into 1/2
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
* [misc]backup-simplify:  Simplify (/ (- 1/2 (pow (/ 1/2 (sqrt 2)) 2) (+)) (* 2 (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2)))
* [misc]backup-simplify:  Simplify (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2)))
* [misc]backup-simplify:  Simplify (+ (* (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) (pow x 2)) (+ (* (/ 1/2 (sqrt 2)) x) (sqrt 2))) into (- (+ (* 1/2 (/ x (sqrt 2))) (+ (sqrt 2) (* 1/4 (/ (pow x 2) (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
* [misc]approximate:  Taking taylor expansion of (sqrt (expm1 (log1p (+ (exp (/ 1 x)) 1)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (expm1 (log1p (+ (exp (/ 1 x)) 1)))) in x
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (+ (exp (/ 1 x)) 1))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (+ (exp (/ 1 x)) 1))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (+ (exp (/ 1 x)) 1))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp (/ 1 x)) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp (/ 1 x)) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp (/ 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) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ 1 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (+ 1 (exp (/ 1 x)))) into (+ 2 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (log (+ 2 (exp (/ 1 x)))) into (log (+ 2 (exp (/ 1 x))))
* [misc]backup-simplify:  Simplify (exp (log (+ 2 (exp (/ 1 x))))) into (+ 2 (exp (/ 1 x)))
* [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 (+ (+ 2 (exp (/ 1 x))) -1) into (+ 1 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (sqrt (+ 1 (exp (/ 1 x)))) into (sqrt (+ 1 (exp (/ 1 x))))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ 2 (exp (/ 1 x))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ 1 x))))) (+ (* (/ (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 (* 2 (sqrt (+ 1 (exp (/ 1 x)))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (expm1 (log1p (+ (exp (/ 1 x)) 1)))) in x
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (+ (exp (/ 1 x)) 1))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (+ (exp (/ 1 x)) 1))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (+ (exp (/ 1 x)) 1))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp (/ 1 x)) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp (/ 1 x)) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp (/ 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) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) 1) into (+ 1 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (+ 1 (exp (/ 1 x)))) into (+ 2 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (log (+ 2 (exp (/ 1 x)))) into (log (+ 2 (exp (/ 1 x))))
* [misc]backup-simplify:  Simplify (exp (log (+ 2 (exp (/ 1 x))))) into (+ 2 (exp (/ 1 x)))
* [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 (+ (+ 2 (exp (/ 1 x))) -1) into (+ 1 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (sqrt (+ 1 (exp (/ 1 x)))) into (sqrt (+ 1 (exp (/ 1 x))))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ 2 (exp (/ 1 x))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ 1 x))))) (+ (* (/ (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 (* 2 (sqrt (+ 1 (exp (/ 1 x)))))) into 0
* [misc]backup-simplify:  Simplify (sqrt (+ 1 (exp (/ 1 x)))) into (sqrt (+ 1 (exp (/ 1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ 2 (exp (/ 1 x))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ 2 (exp (/ 1 x))) 1)))) 2) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ 1 x))))) (+ (* (/ (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 (pow 0 2) (+)) (* 2 (sqrt (+ 1 (exp (/ 1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ 2 (exp (/ 1 x))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ 1 x))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ 1 x))) 1)))) 6) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ 1 x))))) (+ (* (/ (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 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ 1 (exp (/ 1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ 2 (exp (/ 1 x))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ 1 x))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ 2 (exp (/ 1 x))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ 1 x))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ 1 x))) 1)))) 24) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ 1 x))))) (+ (* (/ (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 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ 1 (exp (/ 1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ 2 (exp (/ 1 x))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ 1 x))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ 2 (exp (/ 1 x))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ 1 x))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 2 (exp (/ 1 x))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ 1 x))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ 2 (exp (/ 1 x))) 1)))) 120) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ 1 x))))) (+ (* (/ (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 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ 1 (exp (/ 1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ 2 (exp (/ 1 x))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ 1 x))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ 2 (exp (/ 1 x))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ 1 x))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ 2 (exp (/ 1 x))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 2 (exp (/ 1 x))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ 1 x))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ 2 (exp (/ 1 x))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ 1 x))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ 2 (exp (/ 1 x))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ 2 (exp (/ 1 x))) 1)))) 720) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ 1 x))))) (+ (* (/ (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 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ 1 (exp (/ 1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqrt (+ 1 (exp (/ 1 (/ 1 x))))) into (sqrt (+ 1 (exp x)))
* [misc]approximate:  Taking taylor expansion of (sqrt (expm1 (log1p (+ (exp (/ 1 (- x))) 1)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (sqrt (expm1 (log1p (+ (exp (/ 1 (- x))) 1)))) in x
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (+ (exp (/ 1 (- x))) 1))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (+ (exp (/ 1 (- x))) 1))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (+ (exp (/ 1 (- x))) 1))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp (/ 1 (- x))) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp (/ 1 (- x))) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp (/ 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) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ 1 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (+ 1 (exp (/ -1 x)))) into (+ 2 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (log (+ 2 (exp (/ -1 x)))) into (log (+ 2 (exp (/ -1 x))))
* [misc]backup-simplify:  Simplify (exp (log (+ 2 (exp (/ -1 x))))) into (+ 2 (exp (/ -1 x)))
* [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 (+ (+ 2 (exp (/ -1 x))) -1) into (+ 1 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (sqrt (+ 1 (exp (/ -1 x)))) into (sqrt (+ 1 (exp (/ -1 x))))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ 2 (exp (/ -1 x))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ -1 x))))) (+ (* (/ (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 (* 2 (sqrt (+ 1 (exp (/ -1 x)))))) into 0
* [misc]taylor:  Taking taylor expansion of (sqrt (expm1 (log1p (+ (exp (/ 1 (- x))) 1)))) in x
* [misc]taylor:  Taking taylor expansion of (expm1 (log1p (+ (exp (/ 1 (- x))) 1))) in x
* [misc]taylor:  Rewrote expression to (- (exp (log1p (+ (exp (/ 1 (- x))) 1))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (log1p (+ (exp (/ 1 (- x))) 1))) in x
* [misc]taylor:  Taking taylor expansion of (log1p (+ (exp (/ 1 (- x))) 1)) in x
* [misc]taylor:  Rewrote expression to (log (+ 1 (+ (exp (/ 1 (- x))) 1)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (+ (exp (/ 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) in x
* [misc]taylor:  Taking taylor expansion of (exp (/ 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]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) 1) into (+ 1 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (+ 1 (exp (/ -1 x)))) into (+ 2 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (log (+ 2 (exp (/ -1 x)))) into (log (+ 2 (exp (/ -1 x))))
* [misc]backup-simplify:  Simplify (exp (log (+ 2 (exp (/ -1 x))))) into (+ 2 (exp (/ -1 x)))
* [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 (+ (+ 2 (exp (/ -1 x))) -1) into (+ 1 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (sqrt (+ 1 (exp (/ -1 x)))) into (sqrt (+ 1 (exp (/ -1 x))))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ 2 (exp (/ -1 x))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ -1 x))))) (+ (* (/ (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 (* 2 (sqrt (+ 1 (exp (/ -1 x)))))) into 0
* [misc]backup-simplify:  Simplify (sqrt (+ 1 (exp (/ -1 x)))) into (sqrt (+ 1 (exp (/ -1 x))))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ 2 (exp (/ -1 x))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ 2 (exp (/ -1 x))) 1)))) 2) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ -1 x))))) (+ (* (/ (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 (pow 0 2) (+)) (* 2 (sqrt (+ 1 (exp (/ -1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ 2 (exp (/ -1 x))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ -1 x))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ -1 x))) 1)))) 6) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ -1 x))))) (+ (* (/ (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 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ 1 (exp (/ -1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ 2 (exp (/ -1 x))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ -1 x))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ 2 (exp (/ -1 x))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ -1 x))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ -1 x))) 1)))) 24) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ -1 x))))) (+ (* (/ (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 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ 1 (exp (/ -1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ 2 (exp (/ -1 x))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ -1 x))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ 2 (exp (/ -1 x))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ -1 x))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 2 (exp (/ -1 x))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ -1 x))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ 2 (exp (/ -1 x))) 1)))) 120) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ -1 x))))) (+ (* (/ (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 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ 1 (exp (/ -1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ 2 (exp (/ -1 x))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ 2 (exp (/ -1 x))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ 2 (exp (/ -1 x))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ 2 (exp (/ -1 x))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ 2 (exp (/ -1 x))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ 2 (exp (/ -1 x))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ -1 x))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ 2 (exp (/ -1 x))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ 2 (exp (/ -1 x))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ 2 (exp (/ -1 x))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ 2 (exp (/ -1 x))) 1)))) 720) into 0
* [misc]backup-simplify:  Simplify (* (exp (log (+ 2 (exp (/ -1 x))))) (+ (* (/ (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 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ 1 (exp (/ -1 x)))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (sqrt (+ 1 (exp (/ -1 (/ 1 (- x)))))) into (sqrt (+ 1 (exp x)))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log (+ 1 (+ (exp x) 1))))))>
* [enter]simplify:  Simplifying (+ 1 (+ (exp x) 1))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (12 enodes)
* [exit]simplify:  Simplified to (+ (exp x) (+ 1 1))
* [exit]simplify:  Simplified to (+ (exp x) (+ 1 1))
* * * * [misc]progress:  [ 2 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (expm1 (log1p (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (+ (exp x) 1)
* [exit]simplify:  Simplified to (+ (exp x) 1)
* * * * [misc]progress:  [ 3 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (expm1 (log1p (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (log1p (log1p (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (log1p (log1p (+ (exp x) 1)))
* [exit]simplify:  Simplified to (log1p (log1p (+ (exp x) 1)))
* * * * [misc]progress:  [ 4 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (+ (exp x) 1)))))>
* * * * [misc]progress:  [ 5 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (pow (log1p (+ (exp x) 1)) 1))))>
* * * * [misc]progress:  [ 6 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (exp (log (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (log (log1p (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (log (log1p (+ (exp x) 1)))
* [exit]simplify:  Simplified to (log (log1p (+ (exp x) 1)))
* * * * [misc]progress:  [ 7 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log (exp (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (exp (log1p (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (exp (log1p (+ (exp x) 1)))
* [exit]simplify:  Simplified to (exp (log1p (+ (exp x) 1)))
* * * * [misc]progress:  [ 8 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (* (* (cbrt (log1p (+ (exp x) 1))) (cbrt (log1p (+ (exp x) 1)))) (cbrt (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (* (cbrt (log1p (+ (exp x) 1))) (cbrt (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (* (cbrt (log1p (+ (exp x) 1))) (cbrt (log1p (+ (exp x) 1))))
* [exit]simplify:  Simplified to (* (cbrt (log1p (+ (exp x) 1))) (cbrt (log1p (+ (exp x) 1))))
* [enter]simplify:  Simplifying (cbrt (log1p (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (cbrt (log1p (+ (exp x) 1)))
* [exit]simplify:  Simplified to (cbrt (log1p (+ (exp x) 1)))
* * * * [misc]progress:  [ 9 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (cbrt (* (* (log1p (+ (exp x) 1)) (log1p (+ (exp x) 1))) (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (* (* (log1p (+ (exp x) 1)) (log1p (+ (exp x) 1))) (log1p (+ (exp x) 1)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* [exit]simplify:  Simplified to (pow (log1p (+ (exp x) 1)) 3)
* [exit]simplify:  Simplified to (pow (log1p (+ (exp x) 1)) 3)
* * * * [misc]progress:  [ 10 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (* (sqrt (log1p (+ (exp x) 1))) (sqrt (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (sqrt (log1p (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (sqrt (log1p (+ (exp x) 1)))
* [exit]simplify:  Simplified to (sqrt (log1p (+ (exp x) 1)))
* [enter]simplify:  Simplifying (sqrt (log1p (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (sqrt (log1p (+ (exp x) 1)))
* [exit]simplify:  Simplified to (sqrt (log1p (+ (exp x) 1)))
* * * * [misc]progress:  [ 11 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (* 1 (log1p (+ (exp x) 1))))))>
* * * * [misc]progress:  [ 12 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (- (exp (log1p (+ (exp x) 1))) 1)))>
* [enter]simplify:  Simplifying (exp (log1p (+ (exp x) 1)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (exp (log1p (+ (exp x) 1)))
* [exit]simplify:  Simplified to (exp (log1p (+ (exp x) 1)))
* * * * [misc]progress:  [ 13 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (log1p (expm1 (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (expm1 (expm1 (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (expm1 (+ (exp x) 1))
* [exit]simplify:  Simplified to (expm1 (+ (exp x) 1))
* * * * [misc]progress:  [ 14 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (log1p (expm1 (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (log1p (+ (exp x) 1))
* [exit]simplify:  Simplified to (log1p (+ (exp x) 1))
* * * * [misc]progress:  [ 15 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (+ (exp x) 1)))>
* * * * [misc]progress:  [ 16 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (pow (expm1 (log1p (+ (exp x) 1))) 1)))>
* * * * [misc]progress:  [ 17 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (exp (log (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (log (expm1 (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* [exit]simplify:  Simplified to (log1p (exp x))
* [exit]simplify:  Simplified to (log1p (exp x))
* * * * [misc]progress:  [ 18 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (log (exp (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (exp (expm1 (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* [exit]simplify:  Simplified to (* (exp (exp x)) E)
* [exit]simplify:  Simplified to (* (exp (exp x)) E)
* * * * [misc]progress:  [ 19 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (* (* (cbrt (expm1 (log1p (+ (exp x) 1)))) (cbrt (expm1 (log1p (+ (exp x) 1))))) (cbrt (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (* (cbrt (expm1 (log1p (+ (exp x) 1)))) (cbrt (expm1 (log1p (+ (exp x) 1)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
* [enter]simplify:  Simplifying (cbrt (expm1 (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (cbrt (+ (exp x) 1))
* [exit]simplify:  Simplified to (cbrt (+ (exp x) 1))
* * * * [misc]progress:  [ 20 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (cbrt (* (* (expm1 (log1p (+ (exp x) 1))) (expm1 (log1p (+ (exp x) 1)))) (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (* (* (expm1 (log1p (+ (exp x) 1))) (expm1 (log1p (+ (exp x) 1)))) (expm1 (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (52 enodes)
* * [misc]simplify:  iters left: 2 (135 enodes)
* * [misc]simplify:  iters left: 1 (431 enodes)
* [exit]simplify:  Simplified to (fma (+ (exp x) (+ 1 1)) (fma (exp x) (exp x) (exp x)) (+ 1 (exp x)))
* [exit]simplify:  Simplified to (fma (+ (exp x) (+ 1 1)) (fma (exp x) (exp x) (exp x)) (+ 1 (exp x)))
* * * * [misc]progress:  [ 21 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (* (sqrt (expm1 (log1p (+ (exp x) 1)))) (sqrt (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (sqrt (expm1 (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
* [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
* [enter]simplify:  Simplifying (sqrt (expm1 (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
* [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
* * * * [misc]progress:  [ 22 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (* 1 (expm1 (log1p (+ (exp x) 1))))))>
* * * * [misc]progress:  [ 23 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (log1p (expm1 (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (expm1 (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (expm1 (+ (exp x) 1))
* [exit]simplify:  Simplified to (expm1 (+ (exp x) 1))
* * * * [misc]progress:  [ 24 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (log1p (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (log1p (+ (exp x) 1))
* [exit]simplify:  Simplified to (log1p (+ (exp x) 1))
* * * * [misc]progress:  [ 25 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) 1)))))>
* * * * [misc]progress:  [ 26 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (fma (sqrt (exp x)) (sqrt (exp x)) 1)))))>
* * * * [misc]progress:  [ 27 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (fma 1 (exp x) 1)))))>
* * * * [misc]progress:  [ 28 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (pow (+ (exp x) 1) 1)))))>
* * * * [misc]progress:  [ 29 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (exp (log (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (log (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* [exit]simplify:  Simplified to (log1p (exp x))
* [exit]simplify:  Simplified to (log1p (exp x))
* * * * [misc]progress:  [ 30 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (log (exp (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (exp (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* [exit]simplify:  Simplified to (exp (+ (exp x) 1))
* [exit]simplify:  Simplified to (exp (+ (exp x) 1))
* * * * [misc]progress:  [ 31 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (* (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (cbrt (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
* [enter]simplify:  Simplifying (cbrt (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (cbrt (+ (exp x) 1))
* [exit]simplify:  Simplified to (cbrt (+ (exp x) 1))
* * * * [misc]progress:  [ 32 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (cbrt (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (51 enodes)
* * [misc]simplify:  iters left: 3 (186 enodes)
* [exit]simplify:  Simplified to (pow (+ (exp x) 1) 3)
* [exit]simplify:  Simplified to (pow (+ (exp x) 1) 3)
* * * * [misc]progress:  [ 33 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
* [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
* [enter]simplify:  Simplifying (sqrt (+ (exp x) 1))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
* [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
* * * * [misc]progress:  [ 34 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
* [enter]simplify:  Simplifying (+ (pow (exp x) 3) (pow 1 3))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* * [misc]simplify:  iters left: 1 (23 enodes)
* [exit]simplify:  Simplified to (fma (exp (+ x x)) (exp x) 1)
* [exit]simplify:  Simplified to (fma (exp (+ x x)) (exp x) 1)
* [enter]simplify:  Simplifying (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (33 enodes)
* * [misc]simplify:  iters left: 3 (54 enodes)
* * [misc]simplify:  iters left: 2 (93 enodes)
* * [misc]simplify:  iters left: 1 (135 enodes)
* [exit]simplify:  Simplified to (fma (expm1 x) (exp x) 1)
* [exit]simplify:  Simplified to (fma (expm1 x) (exp x) 1)
* * * * [misc]progress:  [ 35 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (* 1 (+ (exp x) 1))))))>
* * * * [misc]progress:  [ 36 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (/ (- (* (exp x) (exp x)) (* 1 1)) (- (exp x) 1))))))>
* [enter]simplify:  Simplifying (- (* (exp x) (exp x)) (* 1 1))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (23 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (47 enodes)
* [exit]simplify:  Simplified to (expm1 (+ x x))
* [exit]simplify:  Simplified to (expm1 (+ x x))
* [enter]simplify:  Simplifying (- (exp x) 1)
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* * [misc]simplify:  iters left: 1 (10 enodes)
* [exit]simplify:  Simplified to (expm1 x)
* [exit]simplify:  Simplified to (expm1 x)
* * * * [misc]progress:  [ 37 / 63 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (expm1 (log1p (+ 1 (exp x))))))>
* * * * [misc]progress:  [ 38 / 63 ] simplifiying candidate #<alt-delta (λ (x) (log1p (expm1 (sqrt (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (expm1 (sqrt (expm1 (log1p (+ (exp x) 1)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* [exit]simplify:  Simplified to (expm1 (sqrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (expm1 (sqrt (+ (exp x) 1)))
* * * * [misc]progress:  [ 39 / 63 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (sqrt (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (log1p (sqrt (expm1 (log1p (+ (exp x) 1)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* [exit]simplify:  Simplified to (log1p (sqrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (log1p (sqrt (+ (exp x) 1)))
* * * * [misc]progress:  [ 40 / 63 ] simplifiying candidate #<alt-delta (λ (x) (pow (expm1 (log1p (+ (exp x) 1))) 1/2))>
* * * * [misc]progress:  [ 41 / 63 ] simplifiying candidate #<alt-delta (λ (x) (pow (sqrt (expm1 (log1p (+ (exp x) 1)))) 1))>
* * * * [misc]progress:  [ 42 / 63 ] simplifiying candidate #<alt-delta (λ (x) (exp (log (sqrt (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (log (sqrt (expm1 (log1p (+ (exp x) 1)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* [exit]simplify:  Simplified to (log (sqrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (log (sqrt (+ (exp x) 1)))
* * * * [misc]progress:  [ 43 / 63 ] simplifiying candidate #<alt-delta (λ (x) (log (exp (sqrt (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (exp (sqrt (expm1 (log1p (+ (exp x) 1)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* [exit]simplify:  Simplified to (exp (sqrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (exp (sqrt (+ (exp x) 1)))
* * * * [misc]progress:  [ 44 / 63 ] simplifiying candidate #<alt-delta (λ (x) (* (* (cbrt (sqrt (expm1 (log1p (+ (exp x) 1))))) (cbrt (sqrt (expm1 (log1p (+ (exp x) 1)))))) (cbrt (sqrt (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (* (cbrt (sqrt (expm1 (log1p (+ (exp x) 1))))) (cbrt (sqrt (expm1 (log1p (+ (exp x) 1))))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* [exit]simplify:  Simplified to (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))
* [exit]simplify:  Simplified to (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))
* [enter]simplify:  Simplifying (cbrt (sqrt (expm1 (log1p (+ (exp x) 1)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* [exit]simplify:  Simplified to (cbrt (sqrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (cbrt (sqrt (+ (exp x) 1)))
* * * * [misc]progress:  [ 45 / 63 ] simplifiying candidate #<alt-delta (λ (x) (cbrt (* (* (sqrt (expm1 (log1p (+ (exp x) 1)))) (sqrt (expm1 (log1p (+ (exp x) 1))))) (sqrt (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (* (* (sqrt (expm1 (log1p (+ (exp x) 1)))) (sqrt (expm1 (log1p (+ (exp x) 1))))) (sqrt (expm1 (log1p (+ (exp x) 1)))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (29 enodes)
* * [misc]simplify:  iters left: 2 (47 enodes)
* * [misc]simplify:  iters left: 1 (60 enodes)
* [exit]simplify:  Simplified to (* (sqrt (+ (exp x) 1)) (+ (exp x) 1))
* [exit]simplify:  Simplified to (* (sqrt (+ (exp x) 1)) (+ (exp x) 1))
* * * * [misc]progress:  [ 46 / 63 ] simplifiying candidate #<alt-delta (λ (x) (* (sqrt (* (cbrt (expm1 (log1p (+ (exp x) 1)))) (cbrt (expm1 (log1p (+ (exp x) 1)))))) (sqrt (cbrt (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (sqrt (* (cbrt (expm1 (log1p (+ (exp x) 1)))) (cbrt (expm1 (log1p (+ (exp x) 1))))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* [exit]simplify:  Simplified to (fabs (cbrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (fabs (cbrt (+ (exp x) 1)))
* [enter]simplify:  Simplifying (sqrt (cbrt (expm1 (log1p (+ (exp x) 1)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* [exit]simplify:  Simplified to (sqrt (cbrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (sqrt (cbrt (+ (exp x) 1)))
* * * * [misc]progress:  [ 47 / 63 ] simplifiying candidate #<alt-delta (λ (x) (* (sqrt (sqrt (expm1 (log1p (+ (exp x) 1))))) (sqrt (sqrt (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (expm1 (log1p (+ (exp x) 1)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (sqrt (sqrt (+ (exp x) 1)))
* [enter]simplify:  Simplifying (sqrt (sqrt (expm1 (log1p (+ (exp x) 1)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (sqrt (sqrt (+ (exp x) 1)))
* * * * [misc]progress:  [ 48 / 63 ] simplifiying candidate #<alt-delta (λ (x) (* (sqrt 1) (sqrt (expm1 (log1p (+ (exp x) 1))))))>
* [enter]simplify:  Simplifying (sqrt 1)
* * [misc]simplify:  iters left: 1 (2 enodes)
* [exit]simplify:  Simplified to (sqrt 1)
* [exit]simplify:  Simplified to (sqrt 1)
* [enter]simplify:  Simplifying (sqrt (expm1 (log1p (+ (exp x) 1))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
* [exit]simplify:  Simplified to (sqrt (+ (exp x) 1))
* * * * [misc]progress:  [ 49 / 63 ] simplifiying candidate #<alt-delta (λ (x) (* (sqrt (sqrt (expm1 (log1p (+ (exp x) 1))))) (sqrt (sqrt (expm1 (log1p (+ (exp x) 1)))))))>
* [enter]simplify:  Simplifying (sqrt (sqrt (expm1 (log1p (+ (exp x) 1)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (sqrt (sqrt (+ (exp x) 1)))
* [enter]simplify:  Simplifying (sqrt (sqrt (expm1 (log1p (+ (exp x) 1)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* [exit]simplify:  Simplified to (sqrt (sqrt (+ (exp x) 1)))
* [exit]simplify:  Simplified to (sqrt (sqrt (+ (exp x) 1)))
* * * * [misc]progress:  [ 50 / 63 ] simplifiying candidate #<alt-delta (λ (x) (fabs (sqrt (expm1 (log1p (+ (exp x) 1))))))>
* * * * [misc]progress:  [ 51 / 63 ] simplifiying candidate #<alt-delta (λ (x) (* 1 (sqrt (expm1 (log1p (+ (exp x) 1))))))>
* * * * [misc]progress:  [ 52 / 63 ] simplifiying candidate #<alt-event (λ (x) (sqrt (expm1 (+ (* 1/9 (pow x 2)) (+ (* 1/3 x) (log 3))))))>
* [enter]simplify:  Simplifying (sqrt (expm1 (+ (* 1/9 (pow x 2)) (+ (* 1/3 x) (log 3)))))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (36 enodes)
* * [misc]simplify:  iters left: 3 (59 enodes)
* * [misc]simplify:  iters left: 2 (71 enodes)
* * [misc]simplify:  iters left: 1 (73 enodes)
* [exit]simplify:  Simplified to (sqrt (expm1 (fma x (fma 1/9 x 1/3) (log 3))))
* * * * [misc]progress:  [ 53 / 63 ] simplifiying candidate #<alt-event (λ (x) (sqrt (expm1 (log (+ 2 (exp x))))))>
* [enter]simplify:  Simplifying (sqrt (expm1 (log (+ 2 (exp x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (expm1 (log (+ 2 (exp x)))))
* * * * [misc]progress:  [ 54 / 63 ] simplifiying candidate #<alt-event (λ (x) (sqrt (expm1 (log (+ 2 (exp x))))))>
* [enter]simplify:  Simplifying (sqrt (expm1 (log (+ 2 (exp x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (expm1 (log (+ 2 (exp x)))))
* * * * [misc]progress:  [ 55 / 63 ] simplifiying candidate #<alt-event (λ (x) (sqrt (+ (* 1/2 (pow x 2)) (+ 2 x))))>
* [enter]simplify:  Simplifying (sqrt (+ (* 1/2 (pow x 2)) (+ 2 x)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (40 enodes)
* * [misc]simplify:  iters left: 2 (46 enodes)
* * [misc]simplify:  iters left: 1 (50 enodes)
* [exit]simplify:  Simplified to (sqrt (fma (* x x) 1/2 (+ x 2)))
* * * * [misc]progress:  [ 56 / 63 ] simplifiying candidate #<alt-event (λ (x) (sqrt (+ 1 (exp x))))>
* [enter]simplify:  Simplifying (sqrt (+ 1 (exp x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* * * * [misc]progress:  [ 57 / 63 ] simplifiying candidate #<alt-event (λ (x) (sqrt (+ 1 (exp x))))>
* [enter]simplify:  Simplifying (sqrt (+ 1 (exp x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* * * * [misc]progress:  [ 58 / 63 ] simplifiying candidate #<alt-event (λ (x) (sqrt (expm1 (log1p (+ (* 1/2 (pow x 2)) (+ 2 x))))))>
* [enter]simplify:  Simplifying (sqrt (expm1 (log1p (+ (* 1/2 (pow x 2)) (+ 2 x)))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (42 enodes)
* * [misc]simplify:  iters left: 2 (48 enodes)
* * [misc]simplify:  iters left: 1 (52 enodes)
* [exit]simplify:  Simplified to (sqrt (fma (* x x) 1/2 (+ x 2)))
* * * * [misc]progress:  [ 59 / 63 ] simplifiying candidate #<alt-event (λ (x) (sqrt (expm1 (log1p (+ 1 (exp x))))))>
* [enter]simplify:  Simplifying (sqrt (expm1 (log1p (+ 1 (exp x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* * * * [misc]progress:  [ 60 / 63 ] simplifiying candidate #<alt-event (λ (x) (sqrt (expm1 (log1p (+ 1 (exp x))))))>
* [enter]simplify:  Simplifying (sqrt (expm1 (log1p (+ 1 (exp x)))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* * * * [misc]progress:  [ 61 / 63 ] simplifiying candidate #<alt-event (λ (x) (- (+ (* 1/2 (/ x (sqrt 2))) (+ (sqrt 2) (* 1/4 (/ (pow x 2) (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))))>
* [enter]simplify:  Simplifying (- (+ (* 1/2 (/ x (sqrt 2))) (+ (sqrt 2) (* 1/4 (/ (pow x 2) (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
* * [misc]simplify:  iters left: 6 (18 enodes)
* * [misc]simplify:  iters left: 5 (40 enodes)
* * [misc]simplify:  iters left: 4 (113 enodes)
* * [misc]simplify:  iters left: 3 (298 enodes)
* [exit]simplify:  Simplified to (+ (fma (/ x (sqrt 2)) 1/2 (sqrt 2)) (* (- 1/4 (/ 1/8 2)) (/ (* x x) (sqrt 2))))
* * * * [misc]progress:  [ 62 / 63 ] simplifiying candidate #<alt-event (λ (x) (sqrt (+ 1 (exp x))))>
* [enter]simplify:  Simplifying (sqrt (+ 1 (exp x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* * * * [misc]progress:  [ 63 / 63 ] simplifiying candidate #<alt-event (λ (x) (sqrt (+ 1 (exp x))))>
* [enter]simplify:  Simplifying (sqrt (+ 1 (exp x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime-changes:  Finding splitpoints for: (#<alt-delta (λ (x) (sqrt (+ (exp x) 1)))> #<alt-delta (λ (x) (sqrt (expm1 (log1p (+ (exp x) 1)))))>)
* [misc]regimes:  Found splitpoints: (#s(sp 0 (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) +nan.0)) , with alts (#<alt-delta (λ (x) (sqrt (+ (exp x) 1)))>)
* [enter]simplify:  Simplifying (+ (exp x) 1)
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (7 enodes)
* [exit]simplify:  Simplified to (+ (exp x) 1)
* [exit]simplify:  Simplified to (+ (exp x) 1)
* * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
* * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 1953 additional inputs, on iter 1 have 6047 / 8000
* * * * [misc]points:  Computing exacts on every 122 of 1953 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 61 of 1953 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 30 of 1953 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 15 of 1953 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 7 of 1953 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 3 of 1953 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 1953 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 482 additional inputs, on iter 2 have 7518 / 8000
* * * * [misc]points:  Computing exacts on every 30 of 482 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 15 of 482 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 7 of 482 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 3 of 482 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 482 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 123 additional inputs, on iter 3 have 7877 / 8000
* * * * [misc]points:  Computing exacts on every 7 of 123 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 3 of 123 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 123 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 33 additional inputs, on iter 4 have 7967 / 8000
* * * * [misc]points:  Computing exacts on every 2 of 33 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 33 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 9 additional inputs, on iter 5 have 7991 / 8000
* * * * [misc]points:  Computing exacts for 9 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 5 additional inputs, on iter 6 have 7995 / 8000
* * * * [misc]points:  Computing exacts for 5 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 7998 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8000 points with exact outputs