* [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 64 additional inputs, on iter 1 have 192 / 256
* * * * [misc]points:  Computing exacts on every 4 of 64 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 64 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 64 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 13 additional inputs, on iter 2 have 243 / 256
* * * * [misc]points:  Computing exacts for 13 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 5 additional inputs, on iter 3 have 251 / 256
* * * * [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 4 have 254 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 256 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (- (* (+ x 1) (+ x 1)) 1)
* * [misc]simplify:  iters left: 6 (5 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (97 enodes)
* * [misc]simplify:  iters left: 2 (314 enodes)
* [exit]simplify:  Simplified to (+ (* x x) (+ x x))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
"ALT DATA: "{"picked-error":0.0078125,"picked":"(λ (x) (+ (* x x) (+ x x)))","all-alts":["#<alt-event (λ (x) (- (* (+ x 1) (+ x 1)) 1))>","#<alt-delta (λ (x) (+ (* x x) (+ x x)))>"],"best-fresh-alt-per-point":[[[1.7704110706278e-94],1,0],[[1.561548355990017e-262],1,0],[[-1.6021888708425382e-141],1,0],[[-1.1547210519535511e-141],1,0],[[4.5927380970889396e-135],1,0],[[3.1487471921760063e-57],1,0],[[-2.5605208342375893e+151],0,0],[[-2.4900168344742183e-72],1,0],[[-1.0019789949166419e+67],0,0],[[-2.773803522833278e-257],1,0],[[-2.373554704208159e-277],1,0],[[6.411662743035886e+150],0,0],[[-2.1916750051718287e-274],1,0],[[2.640686099073721e+125],0,0],[[1.3923535424222216e+28],0,0],[[5.5510445437854375e-230],1,0],[[-2.7160148794838657e+151],0,0],[[5.270057962127254e-225],1,0],[[-1.9967941607328995e-106],1,0],[[3.464681406099949e+35],0,0],[[-2.9314311895004064e+32],0,0],[[5.06748533843499e-162],1,0],[[-9.785729011056341e+105],0,0],[[9.192963269408065e+21],0,0],[[2.777083370991305e+43],0,0],[[5.3963114687587035e-226],1,0],[[5.365396337730866e+62],0,0],[[-2.779043885238467e-207],1,0],[[1.3709502567489576e-97],1,0],[[-1.7480364447417596e-228],1,0],[[1.0597724474707798e-128],1,0],[[1.0665063050078816e+94],0,0],[[-1.9510262991995693e+112],0,0],[[2.2999903268614278e-290],1,0],[[1.0741122062961354e-261],1,0],[[5.859557539322906e-140],1,0],[[12468368041124.15],0,0],[[4.253353698909665e-216],1,0],[[3.8535206051111415e+79],0,0],[[-1.7601754576655714e-112],1,0],[[-2.3489526626381347e-269],1,0],[[1.361219425464666e+47],0,0],[[3.29750078510446e+71],0,0],[[-1.852314336868911e-141],1,0],[[-3.5464567771875936e-137],1,0],[[6.95907319775547e-142],1,0],[[4.491404959780394e-61],1,0],[[-4.005724837481887e+86],0,0],[[-4.355892554578831e-23],1,0],[[1.1404087315953408e+62],0,0],[[-1.651433716140738e-197],1,0],[[9.637197271073901e-211],1,0],[[-7.726179853886465e-162],1,0],[[3094188499901330.5],0,0],[[5.913310941312482e+64],0,0],[[1.2043966215849866e-117],1,0],[[-6.4568883585384e+140],0,0],[[-2.6432840315259835e-167],1,0],[[-5.9602886229394335e-164],1,0],[[-2.771175998241097e-282],1,0],[[-4.946267744070056e+127],0,0],[[-9.823978453361338e+107],0,0],[[4.160824839625464e-162],1,0],[[-9.693540441080036e-13],1,0],[[-5.967504609531294e-77],1,0],[[-2.029570071102755e+97],0,0],[[-1.7161275953211883e-174],1,0],[[-5.5646263164782176e-223],1,0],[[-8.180940553092265e+33],0,0],[[3.432715613948316e+117],0,0],[[3.663172596950764e-123],1,0],[[-1.374556859806548e-261],1,0],[[-1.380285857262137e-35],1,0],[[-2.8587941319848644e-177],1,0],[[-2.84097347513644e-291],1,0],[[1.775499846150115e-189],1,0],[[-1.619539121961887e-203],1,0],[[8.63596361370883e-168],1,0],[[3.1003420231048053e-198],1,0],[[-274927.84602583235],0,0],[[-7.754374499374627e-128],1,0],[[546426909648982.94],0,0],[[4.837988086823738e-223],1,0],[[1.964366100528454e+151],0,0],[[-3.7651275735493285e+99],0,0],[[-2.0755431209235275e+37],0,0],[[1.6482233490718935e-213],1,0],[[-6.920197829965478e-54],1,0],[[-1.8465286574354045e-08],1,0],[[1.3266709965782604e+72],0,0],[[-1.5062863859087e-170],1,0],[[3.0276387508462578e+57],0,0],[[2.33191497780421e-111],1,0],[[2.0583492621633517e-132],1,0],[[1.73356572916747e+144],0,0],[[-9.72242600606208e-115],1,0],[[-3.568993208845613e-77],1,0],[[8.578157411883908e+114],0,0],[[1.857914695228711e+83],0,0],[[6.6295219985120325e-183],1,0],[[5.1529801158111525e+149],0,0],[[-3.577076923658427e+105],0,0],[[3.783167595046686e-155],1,0],[[-3.2642710207591386e-194],1,0],[[-4.870404977044875e-198],1,0],[[1.6662800714135864e-218],1,0],[[-1.1202048404749235e-215],1,0],[[-1.0358355091148686e-278],1,0],[[-1.1423228006386598e-168],1,0],[[-2.6234285145138236e-302],1,0],[[-1.6666445293959045e-19],1,0],[[-173036.98939585892],0,0],[[-1.72018159214991e+42],0,0],[[1.7147925947267055e-94],1,0],[[4.0703515080559954e-283],1,0],[[-2.4094148605116898e-71],1,0],[[-8.522235120830623e+139],0,0],[[-2.907835079052472e-162],1,0],[[-1.3126589281126071e-180],1,0],[[2.1610785345312164e-77],1,0],[[-4.5698595924674815e-41],1,0],[[6.11730473650524e+45],0,0],[[1.3797898346213585e-261],1,0],[[2.357787248093769e+141],0,0],[[-68192552835.54769],0,0],[[8.567538977582658e-198],1,0],[[-4.745743187038751e-236],1,0],[[-5.4823449965902654e-247],1,0],[[1.0962964976346659e-08],1,0],[[1.7909913857676524e-234],1,0],[[4.184907550158769e-217],1,0],[[-2.823112783246906e-160],1,0],[[-2.1189921349291594e-90],1,0],[[5.765917461741543e-177],1,0],[[4.899669604818634e+97],0,0],[[-1.7851335690272436e-118],1,0],[[3.6107901403921284e-233],1,0],[[1.9327027802753637e-202],1,0],[[-3.5611198987654533e-281],1,0],[[-3.5829211941866875e-192],1,0],[[-2.014137988229197e+52],0,0],[[5950.981016685814],0,0],[[2.2586277236353973e-239],1,0],[[-8.868856845711779e+119],0,0],[[5.976331336388173e+119],0,0],[[5.556148241691299e-119],1,0],[[1.5213816359492715e-307],1,0],[[3.486470059469502e+53],0,0],[[1.4785130640238136e+99],0,0],[[-1.6859585865544744e-246],1,0],[[5.821204232402082e-193],1,0],[[9.296392156153377e+138],0,0],[[-1.8762152117521778e-223],1,0],[[-5.250537787491817e-124],1,0],[[1.8856524446073647e+40],0,0],[[-1.6952171705608182e+115],0,0],[[4.750171216619508e-73],1,0],[[1.0938841522691449e-182],1,0],[[9.985233354827504e-56],1,0],[[6.918320731214305e+101],0,0],[[-1.2972076833210354e-243],1,0],[[3.950026893987416e-118],1,0],[[-2.294473340925908e-99],1,0],[[-1.904583231690064e+97],0,0],[[7.447177932334067e+137],0,0],[[2.5619403929352076e-295],1,0],[[-3.91790688565277e-170],1,0],[[-4.3546020711282113e-72],1,0],[[-1.3499936523535982e-57],1,0],[[1.3317345326737292e+144],0,0],[[5.1448581725267015e+35],0,0],[[1.0670135568992559e-184],1,0],[[1.4304241357191177e-199],1,0],[[-2.511393753900827e-169],1,0],[[-3.701783848889662e-189],1,0],[[-5.431902774374102e-262],1,0],[[1.2263489992282429e-201],1,0],[[-3.198759731467493e-128],1,0],[[-2.5729428009391437e+95],0,0],[[-5.478420012818748e-199],1,0],[[2.524309035730919e-48],1,0],[[-1.0214301568538723e-236],1,0],[[-1.6791604274945628e-115],1,0],[[4.0008908469448243e+93],0,0],[[-2.823818017388331],0,0],[[-1.962420053162622e-121],1,0],[[-2.954987173135622e-51],1,0],[[-8.297174001156304e+75],0,0],[[9.069576208127305e-269],1,0],[[1.23229902882752e-232],1,0],[[-124016442.09153165],1,0],[[2.427769796556236e-78],1,0],[[-5.879572388948755e+34],0,0],[[-2.3961070704976586e+136],0,0],[[1.3214717591908378e-130],1,0],[[-4.7364515595661375e-231],1,0],[[-7.271096717980544e+106],0,0],[[2.4635782245727523e-208],1,0],[[2.727021877346581e-178],1,0],[[1.860064553198903e-67],1,0],[[-2.226128313785923e+22],0,0],[[-8.298405443849659e-11],1,0],[[-6.563763753942498e-288],1,0],[[2.2902549915951485e-178],1,0],[[3.2429349037230544e-264],1,0],[[2.667413108648081e-185],1,0],[[8.657759546694974e-157],1,0],[[2.0568784750151953e+96],0,0],[[-2.4264684579574925e-69],1,0],[[1.4650797176352513e+94],0,0],[[1.0138639698135428e-172],1,0],[[-1.795687265611928e-76],1,0],[[-9.441025523234461e-95],1,0],[[-8.823517979915115e-275],1,0],[[2.4359209768004262e-80],1,0],[[-1.2986190410846544e+132],0,0],[[-7.262479430802023e-80],1,0],[[2.4582084287063607e+38],0,0],[[1.69483579164625e+87],0,0],[[-1.704445593248875e-137],1,0],[[-8.079572085939796e+62],0,0],[[-5.014702845822206e+23],0,0],[[2.412016495848343e-259],1,0],[[2.1622905926715047e-231],1,0],[[-1.138570595022504e+112],0,0],[[3.12961498124956e-281],1,0],[[-218468.59457214232],0,0],[[1.998141361266681e+100],0,0],[[-8.582786619504858e-307],1,0],[[1.542984322219514e-13],1,0],[[3.0489294036502483e-215],1,0],[[1.434512172815064e-89],1,0],[[1.095382951219098e-121],1,0],[[4.4403690793251364e-66],1,0],[[-1.4152323733690032e-71],1,0],[[55672.68718103453],0,0],[[-2.1521573832310456e-60],1,0],[[3.0292511751059167e-285],1,0],[[4.774911884404591e+104],0,0],[[-1.7764225205103598e-40],1,0],[[-2.2133570847894536e-21],1,0],[[-5.633958029554214e+72],0,0],[[-8.705569923143921e-256],1,0],[[7366.597199336127],0,0],[[-1.6865217572146204e-158],1,0],[[-7.1083179947333e+96],0,0],[[-6.558351034244574e-59],1,0],[[-2.6211080531091074e-206],1,0],[[-8.79916969398652e-38],1,0],[[-3.5828871804215725e-182],1,0],[[-6.861319032017174e-63],1,0],[[1.0627216233234831e+49],0,0],[[4.357977932807522e-152],1,0],[[-3.3993174919178938e-49],1,0],[[-6.415779835408304e-164],1,0],[[1.013327533564468e-142],1,0]],"best-alt-per-point":[[[1.7704110706278e-94],1,0],[[1.561548355990017e-262],1,0],[[-1.6021888708425382e-141],1,0],[[-1.1547210519535511e-141],1,0],[[4.5927380970889396e-135],1,0],[[3.1487471921760063e-57],1,0],[[-2.5605208342375893e+151],0,0],[[-2.4900168344742183e-72],1,0],[[-1.0019789949166419e+67],0,0],[[-2.773803522833278e-257],1,0],[[-2.373554704208159e-277],1,0],[[6.411662743035886e+150],0,0],[[-2.1916750051718287e-274],1,0],[[2.640686099073721e+125],0,0],[[1.3923535424222216e+28],0,0],[[5.5510445437854375e-230],1,0],[[-2.7160148794838657e+151],0,0],[[5.270057962127254e-225],1,0],[[-1.9967941607328995e-106],1,0],[[3.464681406099949e+35],0,0],[[-2.9314311895004064e+32],0,0],[[5.06748533843499e-162],1,0],[[-9.785729011056341e+105],0,0],[[9.192963269408065e+21],0,0],[[2.777083370991305e+43],0,0],[[5.3963114687587035e-226],1,0],[[5.365396337730866e+62],0,0],[[-2.779043885238467e-207],1,0],[[1.3709502567489576e-97],1,0],[[-1.7480364447417596e-228],1,0],[[1.0597724474707798e-128],1,0],[[1.0665063050078816e+94],0,0],[[-1.9510262991995693e+112],0,0],[[2.2999903268614278e-290],1,0],[[1.0741122062961354e-261],1,0],[[5.859557539322906e-140],1,0],[[12468368041124.15],0,0],[[4.253353698909665e-216],1,0],[[3.8535206051111415e+79],0,0],[[-1.7601754576655714e-112],1,0],[[-2.3489526626381347e-269],1,0],[[1.361219425464666e+47],0,0],[[3.29750078510446e+71],0,0],[[-1.852314336868911e-141],1,0],[[-3.5464567771875936e-137],1,0],[[6.95907319775547e-142],1,0],[[4.491404959780394e-61],1,0],[[-4.005724837481887e+86],0,0],[[-4.355892554578831e-23],1,0],[[1.1404087315953408e+62],0,0],[[-1.651433716140738e-197],1,0],[[9.637197271073901e-211],1,0],[[-7.726179853886465e-162],1,0],[[3094188499901330.5],0,0],[[5.913310941312482e+64],0,0],[[1.2043966215849866e-117],1,0],[[-6.4568883585384e+140],0,0],[[-2.6432840315259835e-167],1,0],[[-5.9602886229394335e-164],1,0],[[-2.771175998241097e-282],1,0],[[-4.946267744070056e+127],0,0],[[-9.823978453361338e+107],0,0],[[4.160824839625464e-162],1,0],[[-9.693540441080036e-13],1,0],[[-5.967504609531294e-77],1,0],[[-2.029570071102755e+97],0,0],[[-1.7161275953211883e-174],1,0],[[-5.5646263164782176e-223],1,0],[[-8.180940553092265e+33],0,0],[[3.432715613948316e+117],0,0],[[3.663172596950764e-123],1,0],[[-1.374556859806548e-261],1,0],[[-1.380285857262137e-35],1,0],[[-2.8587941319848644e-177],1,0],[[-2.84097347513644e-291],1,0],[[1.775499846150115e-189],1,0],[[-1.619539121961887e-203],1,0],[[8.63596361370883e-168],1,0],[[3.1003420231048053e-198],1,0],[[-274927.84602583235],0,0],[[-7.754374499374627e-128],1,0],[[546426909648982.94],0,0],[[4.837988086823738e-223],1,0],[[1.964366100528454e+151],0,0],[[-3.7651275735493285e+99],0,0],[[-2.0755431209235275e+37],0,0],[[1.6482233490718935e-213],1,0],[[-6.920197829965478e-54],1,0],[[-1.8465286574354045e-08],1,0],[[1.3266709965782604e+72],0,0],[[-1.5062863859087e-170],1,0],[[3.0276387508462578e+57],0,0],[[2.33191497780421e-111],1,0],[[2.0583492621633517e-132],1,0],[[1.73356572916747e+144],0,0],[[-9.72242600606208e-115],1,0],[[-3.568993208845613e-77],1,0],[[8.578157411883908e+114],0,0],[[1.857914695228711e+83],0,0],[[6.6295219985120325e-183],1,0],[[5.1529801158111525e+149],0,0],[[-3.577076923658427e+105],0,0],[[3.783167595046686e-155],1,0],[[-3.2642710207591386e-194],1,0],[[-4.870404977044875e-198],1,0],[[1.6662800714135864e-218],1,0],[[-1.1202048404749235e-215],1,0],[[-1.0358355091148686e-278],1,0],[[-1.1423228006386598e-168],1,0],[[-2.6234285145138236e-302],1,0],[[-1.6666445293959045e-19],1,0],[[-173036.98939585892],0,0],[[-1.72018159214991e+42],0,0],[[1.7147925947267055e-94],1,0],[[4.0703515080559954e-283],1,0],[[-2.4094148605116898e-71],1,0],[[-8.522235120830623e+139],0,0],[[-2.907835079052472e-162],1,0],[[-1.3126589281126071e-180],1,0],[[2.1610785345312164e-77],1,0],[[-4.5698595924674815e-41],1,0],[[6.11730473650524e+45],0,0],[[1.3797898346213585e-261],1,0],[[2.357787248093769e+141],0,0],[[-68192552835.54769],0,0],[[8.567538977582658e-198],1,0],[[-4.745743187038751e-236],1,0],[[-5.4823449965902654e-247],1,0],[[1.0962964976346659e-08],1,0],[[1.7909913857676524e-234],1,0],[[4.184907550158769e-217],1,0],[[-2.823112783246906e-160],1,0],[[-2.1189921349291594e-90],1,0],[[5.765917461741543e-177],1,0],[[4.899669604818634e+97],0,0],[[-1.7851335690272436e-118],1,0],[[3.6107901403921284e-233],1,0],[[1.9327027802753637e-202],1,0],[[-3.5611198987654533e-281],1,0],[[-3.5829211941866875e-192],1,0],[[-2.014137988229197e+52],0,0],[[5950.981016685814],0,0],[[2.2586277236353973e-239],1,0],[[-8.868856845711779e+119],0,0],[[5.976331336388173e+119],0,0],[[5.556148241691299e-119],1,0],[[1.5213816359492715e-307],1,0],[[3.486470059469502e+53],0,0],[[1.4785130640238136e+99],0,0],[[-1.6859585865544744e-246],1,0],[[5.821204232402082e-193],1,0],[[9.296392156153377e+138],0,0],[[-1.8762152117521778e-223],1,0],[[-5.250537787491817e-124],1,0],[[1.8856524446073647e+40],0,0],[[-1.6952171705608182e+115],0,0],[[4.750171216619508e-73],1,0],[[1.0938841522691449e-182],1,0],[[9.985233354827504e-56],1,0],[[6.918320731214305e+101],0,0],[[-1.2972076833210354e-243],1,0],[[3.950026893987416e-118],1,0],[[-2.294473340925908e-99],1,0],[[-1.904583231690064e+97],0,0],[[7.447177932334067e+137],0,0],[[2.5619403929352076e-295],1,0],[[-3.91790688565277e-170],1,0],[[-4.3546020711282113e-72],1,0],[[-1.3499936523535982e-57],1,0],[[1.3317345326737292e+144],0,0],[[5.1448581725267015e+35],0,0],[[1.0670135568992559e-184],1,0],[[1.4304241357191177e-199],1,0],[[-2.511393753900827e-169],1,0],[[-3.701783848889662e-189],1,0],[[-5.431902774374102e-262],1,0],[[1.2263489992282429e-201],1,0],[[-3.198759731467493e-128],1,0],[[-2.5729428009391437e+95],0,0],[[-5.478420012818748e-199],1,0],[[2.524309035730919e-48],1,0],[[-1.0214301568538723e-236],1,0],[[-1.6791604274945628e-115],1,0],[[4.0008908469448243e+93],0,0],[[-2.823818017388331],0,0],[[-1.962420053162622e-121],1,0],[[-2.954987173135622e-51],1,0],[[-8.297174001156304e+75],0,0],[[9.069576208127305e-269],1,0],[[1.23229902882752e-232],1,0],[[-124016442.09153165],1,0],[[2.427769796556236e-78],1,0],[[-5.879572388948755e+34],0,0],[[-2.3961070704976586e+136],0,0],[[1.3214717591908378e-130],1,0],[[-4.7364515595661375e-231],1,0],[[-7.271096717980544e+106],0,0],[[2.4635782245727523e-208],1,0],[[2.727021877346581e-178],1,0],[[1.860064553198903e-67],1,0],[[-2.226128313785923e+22],0,0],[[-8.298405443849659e-11],1,0],[[-6.563763753942498e-288],1,0],[[2.2902549915951485e-178],1,0],[[3.2429349037230544e-264],1,0],[[2.667413108648081e-185],1,0],[[8.657759546694974e-157],1,0],[[2.0568784750151953e+96],0,0],[[-2.4264684579574925e-69],1,0],[[1.4650797176352513e+94],0,0],[[1.0138639698135428e-172],1,0],[[-1.795687265611928e-76],1,0],[[-9.441025523234461e-95],1,0],[[-8.823517979915115e-275],1,0],[[2.4359209768004262e-80],1,0],[[-1.2986190410846544e+132],0,0],[[-7.262479430802023e-80],1,0],[[2.4582084287063607e+38],0,0],[[1.69483579164625e+87],0,0],[[-1.704445593248875e-137],1,0],[[-8.079572085939796e+62],0,0],[[-5.014702845822206e+23],0,0],[[2.412016495848343e-259],1,0],[[2.1622905926715047e-231],1,0],[[-1.138570595022504e+112],0,0],[[3.12961498124956e-281],1,0],[[-218468.59457214232],0,0],[[1.998141361266681e+100],0,0],[[-8.582786619504858e-307],1,0],[[1.542984322219514e-13],1,0],[[3.0489294036502483e-215],1,0],[[1.434512172815064e-89],1,0],[[1.095382951219098e-121],1,0],[[4.4403690793251364e-66],1,0],[[-1.4152323733690032e-71],1,0],[[55672.68718103453],0,0],[[-2.1521573832310456e-60],1,0],[[3.0292511751059167e-285],1,0],[[4.774911884404591e+104],0,0],[[-1.7764225205103598e-40],1,0],[[-2.2133570847894536e-21],1,0],[[-5.633958029554214e+72],0,0],[[-8.705569923143921e-256],1,0],[[7366.597199336127],0,0],[[-1.6865217572146204e-158],1,0],[[-7.1083179947333e+96],0,0],[[-6.558351034244574e-59],1,0],[[-2.6211080531091074e-206],1,0],[[-8.79916969398652e-38],1,0],[[-3.5828871804215725e-182],1,0],[[-6.861319032017174e-63],1,0],[[1.0627216233234831e+49],0,0],[[4.357977932807522e-152],1,0],[[-3.3993174919178938e-49],1,0],[[-6.415779835408304e-164],1,0],[[1.013327533564468e-142],1,0]],"fresh-alts":["#<alt-event (λ (x) (- (* (+ x 1) (+ x 1)) 1))>","#<alt-delta (λ (x) (+ (* x x) (+ x x)))>"]}* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (+ (* x x) (+ x x)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (+ (* x x) (+ x x)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ (* x x) (+ x x)) in x
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (* x x) (+ x x)) in x
* [misc]taylor:  Taking taylor expansion of (* x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ x x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ 1 1) into 2
* [misc]backup-simplify:  Simplify (+ 0 2) into 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (pow x 2)) (* 2 x)) into (+ (pow x 2) (* 2 x))
* [misc]approximate:  Taking taylor expansion of (+ (* (/ 1 x) (/ 1 x)) (+ (/ 1 x) (/ 1 x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 x) (/ 1 x)) (+ (/ 1 x) (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 x) (/ 1 x)) (+ (/ 1 x) (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
* [misc]backup-simplify:  Simplify (+ 1 1) into 2
* [misc]backup-simplify:  Simplify (+ 0 2) into 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 2 (/ 1 (/ 1 x))) (* 1 (pow (/ 1 (/ 1 x)) 2))) into (+ (pow x 2) (* 2 x))
* [misc]approximate:  Taking taylor expansion of (+ (* (/ 1 (- x)) (/ 1 (- x))) (+ (/ 1 (- x)) (/ 1 (- x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 (- x)) (/ 1 (- x))) (+ (/ 1 (- x)) (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (+ (* (/ 1 (- x)) (/ 1 (- x))) (+ (/ 1 (- x)) (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [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 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (* 0 -1)) into 0
* [misc]backup-simplify:  Simplify (+ -1 -1) into -2
* [misc]backup-simplify:  Simplify (+ 0 -2) into -2
* [misc]backup-simplify:  Simplify -2 into -2
* [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 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [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 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [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 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [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 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [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 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [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 (- 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 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [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 (- 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 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [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 (- 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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [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 (- 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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [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 (- 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 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [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 (- 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 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* -2 (/ 1 (/ 1 (- x)))) (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (pow x 2) (* 2 x))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 15 ] simplifiying candidate #<alt-delta (λ (x) (log (* (exp (* x x)) (exp (+ x x)))))>
* [enter]simplify:  Simplifying (* (exp (* x x)) (exp (+ x x)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* * [misc]simplify:  iters left: 2 (29 enodes)
* * [misc]simplify:  iters left: 1 (41 enodes)
* [exit]simplify:  Simplified to (exp (+ (+ x x) (* x x)))
* [exit]simplify:  Simplified to (exp (+ (+ x x) (* x x)))
* * * * [misc]progress:  [ 2 / 15 ] simplifiying candidate #<alt-delta (λ (x) (pow (+ (* x x) (+ x x)) 1))>
* * * * [misc]progress:  [ 3 / 15 ] simplifiying candidate #<alt-delta (λ (x) (exp (log (+ (* x x) (+ x x)))))>
* [enter]simplify:  Simplifying (log (+ (* x x) (+ x x)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* * [misc]simplify:  iters left: 1 (32 enodes)
* [exit]simplify:  Simplified to (log (+ (* x x) (+ x x)))
* [exit]simplify:  Simplified to (log (+ (* x x) (+ x x)))
* * * * [misc]progress:  [ 4 / 15 ] simplifiying candidate #<alt-delta (λ (x) (log (exp (+ (* x x) (+ x x)))))>
* [enter]simplify:  Simplifying (exp (+ (* x x) (+ x x)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* * [misc]simplify:  iters left: 2 (34 enodes)
* * [misc]simplify:  iters left: 1 (49 enodes)
* [exit]simplify:  Simplified to (exp (+ (+ x x) (* x x)))
* [exit]simplify:  Simplified to (exp (+ (+ x x) (* x x)))
* * * * [misc]progress:  [ 5 / 15 ] simplifiying candidate #<alt-delta (λ (x) (* (* (cbrt (+ (* x x) (+ x x))) (cbrt (+ (* x x) (+ x x)))) (cbrt (+ (* x x) (+ x x)))))>
* [enter]simplify:  Simplifying (* (cbrt (+ (* x x) (+ x x))) (cbrt (+ (* x x) (+ x x))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* * [misc]simplify:  iters left: 2 (30 enodes)
* * [misc]simplify:  iters left: 1 (41 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ (* x x) (+ x x))) (cbrt (+ (* x x) (+ x x))))
* [exit]simplify:  Simplified to (* (cbrt (+ (* x x) (+ x x))) (cbrt (+ (* x x) (+ x x))))
* [enter]simplify:  Simplifying (cbrt (+ (* x x) (+ x x)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* * [misc]simplify:  iters left: 1 (29 enodes)
* [exit]simplify:  Simplified to (cbrt (+ (* x x) (+ x x)))
* [exit]simplify:  Simplified to (cbrt (+ (* x x) (+ x x)))
* * * * [misc]progress:  [ 6 / 15 ] simplifiying candidate #<alt-delta (λ (x) (cbrt (* (* (+ (* x x) (+ x x)) (+ (* x x) (+ x x))) (+ (* x x) (+ x x)))))>
* [enter]simplify:  Simplifying (* (* (+ (* x x) (+ x x)) (+ (* x x) (+ x x))) (+ (* x x) (+ x x)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (111 enodes)
* [exit]simplify:  Simplified to (pow (+ (* x x) (+ x x)) 3)
* [exit]simplify:  Simplified to (pow (+ (* x x) (+ x x)) 3)
* * * * [misc]progress:  [ 7 / 15 ] simplifiying candidate #<alt-delta (λ (x) (* (sqrt (+ (* x x) (+ x x))) (sqrt (+ (* x x) (+ x x)))))>
* [enter]simplify:  Simplifying (sqrt (+ (* x x) (+ x x)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* * [misc]simplify:  iters left: 1 (29 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (* x x) (+ x x)))
* [exit]simplify:  Simplified to (sqrt (+ (* x x) (+ x x)))
* [enter]simplify:  Simplifying (sqrt (+ (* x x) (+ x x)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* * [misc]simplify:  iters left: 1 (29 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (* x x) (+ x x)))
* [exit]simplify:  Simplified to (sqrt (+ (* x x) (+ x x)))
* * * * [misc]progress:  [ 8 / 15 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (pow (* x x) 3) (pow (+ x x) 3)) (+ (* (* x x) (* x x)) (- (* (+ x x) (+ x x)) (* (* x x) (+ x x))))))>
* [enter]simplify:  Simplifying (+ (pow (* x x) 3) (pow (+ x x) 3))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (32 enodes)
* * [misc]simplify:  iters left: 2 (65 enodes)
* * [misc]simplify:  iters left: 1 (132 enodes)
* [exit]simplify:  Simplified to (+ (pow (+ x x) 3) (* (pow x 3) (pow x 3)))
* [exit]simplify:  Simplified to (+ (pow (+ x x) 3) (* (pow x 3) (pow x 3)))
* [enter]simplify:  Simplifying (+ (* (* x x) (* x x)) (- (* (+ x x) (+ x x)) (* (* x x) (+ x x))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (27 enodes)
* * [misc]simplify:  iters left: 4 (78 enodes)
* * [misc]simplify:  iters left: 3 (207 enodes)
* [exit]simplify:  Simplified to (+ (* (* x x) (* x x)) (* (+ x x) (- (+ x x) (* x x))))
* [exit]simplify:  Simplified to (+ (* (* x x) (* x x)) (* (+ x x) (- (+ x x) (* x x))))
* * * * [misc]progress:  [ 9 / 15 ] simplifiying candidate #<alt-delta (λ (x) (* 1 (+ (* x x) (+ x x))))>
* * * * [misc]progress:  [ 10 / 15 ] simplifiying candidate #<alt-delta (λ (x) (/ (- (* (* x x) (* x x)) (* (+ x x) (+ x x))) (- (* x x) (+ x x))))>
* [enter]simplify:  Simplifying (- (* (* x x) (* x x)) (* (+ x x) (+ x x)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (43 enodes)
* * [misc]simplify:  iters left: 3 (105 enodes)
* * [misc]simplify:  iters left: 2 (269 enodes)
* [exit]simplify:  Simplified to (* (- (* x x) (+ x x)) (+ (+ x x) (* x x)))
* [exit]simplify:  Simplified to (* (- (* x x) (+ x x)) (+ (+ x x) (* x x)))
* [enter]simplify:  Simplifying (- (* x x) (+ x x))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (12 enodes)
* * [misc]simplify:  iters left: 1 (17 enodes)
* [exit]simplify:  Simplified to (- (* x x) (+ x x))
* [exit]simplify:  Simplified to (- (* x x) (+ x x))
* * * * [misc]progress:  [ 11 / 15 ] simplifiying candidate #<alt-delta (λ (x) (+ (+ (* x x) x) x))>
* [enter]simplify:  Simplifying (+ (* x x) x)
* * [misc]simplify:  iters left: 4 (3 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (11 enodes)
* * [misc]simplify:  iters left: 1 (17 enodes)
* [exit]simplify:  Simplified to (+ x (* x x))
* [exit]simplify:  Simplified to (+ x (* x x))
* * * * [misc]progress:  [ 12 / 15 ] simplifiying candidate #<alt-delta (λ (x) (+ (+ x x) (* x x)))>
* * * * [misc]progress:  [ 13 / 15 ] simplifiying candidate #<alt-event (λ (x) (+ (pow x 2) (* 2 x)))>
* [enter]simplify:  Simplifying (+ (pow x 2) (* 2 x))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (12 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (* x (+ 2 x))
* * * * [misc]progress:  [ 14 / 15 ] simplifiying candidate #<alt-event (λ (x) (+ (pow x 2) (* 2 x)))>
* [enter]simplify:  Simplifying (+ (pow x 2) (* 2 x))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (12 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (* x (+ 2 x))
* * * * [misc]progress:  [ 15 / 15 ] simplifiying candidate #<alt-event (λ (x) (+ (pow x 2) (* 2 x)))>
* [enter]simplify:  Simplifying (+ (pow x 2) (* 2 x))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (12 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (* x (+ 2 x))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 4
* * * [misc]progress:  picking best candidate
"ALT DATA: "{"picked-error":39.63350072972751,"picked":"(λ (x) (- (* (+ x 1) (+ x 1)) 1))","all-alts":["#<alt-event (λ (x) (- (* (+ x 1) (+ x 1)) 1))>","#<alt-delta (λ (x) (+ (* x x) (+ x x)))>"],"best-fresh-alt-per-point":[[[1.7704110706278e-94],0,61.476699991949054],[[1.561548355990017e-262],0,59.268932895158216],[[-1.6021888708425382e-141],0,61.119514666775274],[[-1.1547210519535511e-141],0,61.11831853289158],[[4.5927380970889396e-135],0,61.17409949046065],[[3.1487471921760063e-57],0,61.70776515718908],[[-2.5605208342375893e+151],0,0],[[-2.4900168344742183e-72],0,61.61856880049897],[[-1.0019789949166419e+67],0,0],[[-2.773803522833278e-257],0,59.42346009952942],[[-2.373554704208159e-277],0,58.714958139205066],[[6.411662743035886e+150],0,0],[[-2.1916750051718287e-274],0,58.84419758653776],[[2.640686099073721e+125],0,0],[[1.3923535424222216e+28],0,0],[[5.5510445437854375e-230],0,60.03533015981525],[[-2.7160148794838657e+151],0,0],[[5.270057962127254e-225],0,60.12386640033735],[[-1.9967941607328995e-106],0,61.39410220702813],[[3.464681406099949e+35],0,0],[[-2.9314311895004064e+32],0,0],[[5.06748533843499e-162],0,60.93115089713121],[[-9.785729011056341e+105],0,0],[[9.192963269408065e+21],0,0],[[2.777083370991305e+43],0,0],[[5.3963114687587035e-226],0,60.10642135762865],[[5.365396337730866e+62],0,0],[[-2.779043885238467e-207],0,60.39995907022838],[[1.3709502567489576e-97],0,61.455679286982054],[[-1.7480364447417596e-228],0,60.06245163365435],[[1.0597724474707798e-128],0,61.22601834673457],[[1.0665063050078816e+94],0,0],[[-1.9510262991995693e+112],0,0],[[2.2999903268614278e-290],0,57.94937455236364],[[1.0741122062961354e-261],0,59.295144007950846],[[5.859557539322906e-140],0,61.13287387912523],[[12468368041124.15],0,0],[[4.253353698909665e-216],0,60.26896884504341],[[3.8535206051111415e+79],0,0],[[-1.7601754576655714e-112],0,61.350261251091396],[[-2.3489526626381347e-269],0,59.03948030849711],[[1.361219425464666e+47],0,0],[[3.29750078510446e+71],0,0],[[-1.852314336868911e-141],0,61.12000903272265],[[-3.5464567771875936e-137],0,61.1564616660494],[[6.95907319775547e-142],0,61.11650190940363],[[4.491404959780394e-61],0,61.68552582189978],[[-4.005724837481887e+86],0,0],[[-4.355892554578831e-23],0,61.8912454163292],[[1.1404087315953408e+62],0,0],[[-1.651433716140738e-197],0,60.53229538601894],[[9.637197271073901e-211],0,60.34991069789596],[[-7.726179853886465e-162],0,60.932917384062364],[[3094188499901330.5],0,0],[[5.913310941312482e+64],0,0],[[1.2043966215849866e-117],0,61.31179049552385],[[-6.4568883585384e+140],0,0],[[-2.6432840315259835e-167],0,60.878230881261054],[[-5.9602886229394335e-164],0,60.91203947860712],[[-2.771175998241097e-282],0,58.46939243712839],[[-4.946267744070056e+127],0,0],[[-9.823978453361338e+107],0,0],[[4.160824839625464e-162],0,60.93035863725643],[[-9.693540441080036e-13],0,36.40074483697882],[[-5.967504609531294e-77],0,61.590077010231376],[[-2.029570071102755e+97],0,0],[[-1.7161275953211883e-174],0,60.80315534592711],[[-5.5646263164782176e-223],0,60.157898506575286],[[-8.180940553092265e+33],0,0],[[3.432715613948316e+117],0,0],[[3.663172596950764e-123],0,61.269619452005294],[[-1.374556859806548e-261],0,59.297857194474815],[[-1.380285857262137e-35],0,61.82678155050939],[[-2.8587941319848644e-177],0,60.77296796135913],[[-2.84097347513644e-291],0,57.87705501275005],[[1.775499846150115e-189],0,60.6329141155],[[-1.619539121961887e-203],0,60.45232126837939],[[8.63596361370883e-168],0,60.87350100039102],[[3.1003420231048053e-198],0,60.522989586583584],[[-274927.84602583235],0,0],[[-7.754374499374627e-128],0,61.2328519022638],[[546426909648982.94],0,0],[[4.837988086823738e-223],0,60.15683669554063],[[1.964366100528454e+151],0,0],[[-3.7651275735493285e+99],0,0],[[-2.0755431209235275e+37],0,0],[[1.6482233490718935e-213],0,60.3088384005765],[[-6.920197829965478e-54],0,61.72677272645975],[[-1.8465286574354045e-08],0,23.800819641174094],[[1.3266709965782604e+72],0,0],[[-1.5062863859087e-170],0,60.844922564493615],[[3.0276387508462578e+57],0,0],[[2.33191497780421e-111],0,61.35843584641367],[[2.0583492621633517e-132],0,61.195891418693826],[[1.73356572916747e+144],0,0],[[-9.72242600606208e-115],0,61.333596221219935],[[-3.568993208845613e-77],0,61.58877675060483],[[8.578157411883908e+114],0,0],[[1.857914695228711e+83],0,0],[[6.6295219985120325e-183],0,60.70998188384425],[[5.1529801158111525e+149],0,0],[[-3.577076923658427e+105],0,0],[[3.783167595046686e-155],0,60.997220360547125],[[-3.2642710207591386e-194],0,60.57437192528499],[[-4.870404977044875e-198],0,60.525349598200705],[[1.6662800714135864e-218],0,60.23107954206517],[[-1.1202048404749235e-215],0,60.27580246855455],[[-1.0358355091148686e-278],0,58.650605883202054],[[-1.1423228006386598e-168],0,60.86442689622444],[[-2.6234285145138236e-302],0,56.46756710987968],[[-1.6666445293959045e-19],0,61.9091988758641],[[-173036.98939585892],0,0],[[-1.72018159214991e+42],0,0],[[1.7147925947267055e-94],0,61.47660602060111],[[4.0703515080559954e-283],0,58.42444283931831],[[-2.4094148605116898e-71],0,61.624485382199744],[[-8.522235120830623e+139],0,0],[[-2.907835079052472e-162],0,60.92869071834364],[[-1.3126589281126071e-180],0,60.735934120097596],[[2.1610785345312164e-77],0,61.58731093948138],[[-4.5698595924674815e-41],0,61.79764605258674],[[6.11730473650524e+45],0,0],[[1.3797898346213585e-261],0,59.29790440603999],[[2.357787248093769e+141],0,0],[[-68192552835.54769],0,0],[[8.567538977582658e-198],0,60.52857469696502],[[-4.745743187038751e-236],0,59.92009763749551],[[-5.4823449965902654e-247],0,59.685916368545264],[[1.0962964976346659e-08],0,24.982660240609288],[[1.7909913857676524e-234],0,59.950839537406246],[[4.184907550158769e-217],0,60.25339428109286],[[-2.823112783246906e-160],0,60.94832202849025],[[-2.1189921349291594e-90],0,61.50398294702888],[[5.765917461741543e-177],0,60.77630245280029],[[4.899669604818634e+97],0,0],[[-1.7851335690272436e-118],0,61.30560726876903],[[3.6107901403921284e-233],0,59.97609930139172],[[1.9327027802753637e-202],0,60.46717193093434],[[-3.5611198987654533e-281],0,58.52814672048037],[[-3.5829211941866875e-192],0,60.599993448937155],[[-2.014137988229197e+52],0,0],[[5950.981016685814],0,0],[[2.2586277236353973e-239],0,59.85285160361681],[[-8.868856845711779e+119],0,0],[[5.976331336388173e+119],0,0],[[5.556148241691299e-119],0,61.30177256177215],[[1.5213816359492715e-307],0,54.235531264728266],[[3.486470059469502e+53],0,0],[[1.4785130640238136e+99],0,0],[[-1.6859585865544744e-246],0,59.696783342631974],[[5.821204232402082e-193],0,60.58994300736418],[[9.296392156153377e+138],0,0],[[-1.8762152117521778e-223],0,60.15017947810405],[[-5.250537787491817e-124],0,61.263007072650126],[[1.8856524446073647e+40],0,0],[[-1.6952171705608182e+115],0,0],[[4.750171216619508e-73],0,61.61411822745584],[[1.0938841522691449e-182],0,60.71236366429899],[[9.985233354827504e-56],0,61.71634651938417],[[6.918320731214305e+101],0,0],[[-1.2972076833210354e-243],0,59.76226359061529],[[3.950026893987416e-118],0,61.30832123299175],[[-2.294473340925908e-99],0,61.44347124146095],[[-1.904583231690064e+97],0,0],[[7.447177932334067e+137],0,0],[[2.5619403929352076e-295],0,57.50172527741875],[[-3.91790688565277e-170],0,60.84919515648097],[[-4.3546020711282113e-72],0,61.62007954358234],[[-1.3499936523535982e-57],0,61.70573476486273],[[1.3317345326737292e+144],0,0],[[5.1448581725267015e+35],0,0],[[1.0670135568992559e-184],0,60.68934648282911],[[1.4304241357191177e-199],0,60.5052901392474],[[-2.511393753900827e-169],0,60.85765629354174],[[-3.701783848889662e-189],0,60.636736381829266],[[-5.431902774374102e-262],0,59.28604043224585],[[1.2263489992282429e-201],0,60.477766097692395],[[-3.198759731467493e-128],0,61.22974603934959],[[-2.5729428009391437e+95],0,0],[[-5.478420012818748e-199],0,60.51297923750256],[[2.524309035730919e-48],0,61.75796437417431],[[-1.0214301568538723e-236],0,59.90712659247965],[[-1.6791604274945628e-115],0,61.327898528864246],[[4.0008908469448243e+93],0,0],[[-2.823818017388331],0,0],[[-1.962420053162622e-121],0,61.283119595922486],[[-2.954987173135622e-51],0,61.74164493920646],[[-8.297174001156304e+75],0,0],[[9.069576208127305e-269],0,59.06066691374116],[[1.23229902882752e-232],0,59.986015694347444],[[-124016442.09153165],0,1.0],[[2.427769796556236e-78],0,61.58143498415329],[[-5.879572388948755e+34],0,0],[[-2.3961070704976586e+136],0,0],[[1.3214717591908378e-130],0,61.21058758439542],[[-4.7364515595661375e-231],0,60.015907612741664],[[-7.271096717980544e+106],0,0],[[2.4635782245727523e-208],0,60.38485066516826],[[2.727021877346581e-178],0,60.76190043048631],[[1.860064553198903e-67],0,61.64791469390138],[[-2.226128313785923e+22],0,0],[[-8.298405443849659e-11],0,29.47279469995414],[[-6.563763753942498e-288],0,58.12926107936273],[[2.2902549915951485e-178],0,60.76107294408601],[[3.2429349037230544e-264],0,59.2156189858422],[[2.667413108648081e-185],0,60.682339635737804],[[8.657759546694974e-157],0,60.98152688070176],[[2.0568784750151953e+96],0,0],[[-2.4264684579574925e-69],0,61.63670922118641],[[1.4650797176352513e+94],0,0],[[1.0138639698135428e-172],0,60.8219883653237],[[-1.795687265611928e-76],0,61.59301670161737],[[-9.441025523234461e-95],0,61.4748729504099],[[-8.823517979915115e-275],0,58.8268973979604],[[2.4359209768004262e-80],0,61.568800060071624],[[-1.2986190410846544e+132],0,0],[[-7.262479430802023e-80],0,61.5718974748778],[[2.4582084287063607e+38],0,0],[[1.69483579164625e+87],0,0],[[-1.704445593248875e-137],0,61.15376921009106],[[-8.079572085939796e+62],0,0],[[-5.014702845822206e+23],0,0],[[2.412016495848343e-259],0,59.36504757896314],[[2.1622905926715047e-231],0,60.00942834415285],[[-1.138570595022504e+112],0,0],[[3.12961498124956e-281],0,58.52569586836888],[[-218468.59457214232],0,0],[[1.998141361266681e+100],0,0],[[-8.582786619504858e-307],0,54.84908003309391],[[1.542984322219514e-13],0,39.701513802883554],[[3.0489294036502483e-215],0,60.28222579053406],[[1.434512172815064e-89],0,61.509431300299795],[[1.095382951219098e-121],0,61.28107556175953],[[4.4403690793251364e-66],0,61.656193337330585],[[-1.4152323733690032e-71],0,61.62308186542473],[[55672.68718103453],0,0],[[-2.1521573832310456e-60],0,61.689524899114765],[[3.0292511751059167e-285],0,58.30015702859756],[[4.774911884404591e+104],0,0],[[-1.7764225205103598e-40],0,61.80079372017896],[[-2.2133570847894536e-21],0,61.89981992414015],[[-5.633958029554214e+72],0,0],[[-8.705569923143921e-256],0,59.46461869243817],[[7366.597199336127],0,0],[[-1.6865217572146204e-158],0,60.96535839853],[[-7.1083179947333e+96],0,0],[[-6.558351034244574e-59],0,61.698091169542906],[[-2.6211080531091074e-206],0,60.413847464124366],[[-8.79916969398652e-38],0,61.815177327077755],[[-3.5828871804215725e-182],0,60.71832524897694],[[-6.861319032017174e-63],0,61.67491836221454],[[1.0627216233234831e+49],0,0],[[4.357977932807522e-152],0,61.0255305852044],[[-3.3993174919178938e-49],0,61.75319542326724],[[-6.415779835408304e-164],0,60.91243220660982],[[1.013327533564468e-142],0,61.10914030660086]],"best-alt-per-point":[[[1.7704110706278e-94],1,0],[[1.561548355990017e-262],1,0],[[-1.6021888708425382e-141],1,0],[[-1.1547210519535511e-141],1,0],[[4.5927380970889396e-135],1,0],[[3.1487471921760063e-57],1,0],[[-2.5605208342375893e+151],0,0],[[-2.4900168344742183e-72],1,0],[[-1.0019789949166419e+67],0,0],[[-2.773803522833278e-257],1,0],[[-2.373554704208159e-277],1,0],[[6.411662743035886e+150],0,0],[[-2.1916750051718287e-274],1,0],[[2.640686099073721e+125],0,0],[[1.3923535424222216e+28],0,0],[[5.5510445437854375e-230],1,0],[[-2.7160148794838657e+151],0,0],[[5.270057962127254e-225],1,0],[[-1.9967941607328995e-106],1,0],[[3.464681406099949e+35],0,0],[[-2.9314311895004064e+32],0,0],[[5.06748533843499e-162],1,0],[[-9.785729011056341e+105],0,0],[[9.192963269408065e+21],0,0],[[2.777083370991305e+43],0,0],[[5.3963114687587035e-226],1,0],[[5.365396337730866e+62],0,0],[[-2.779043885238467e-207],1,0],[[1.3709502567489576e-97],1,0],[[-1.7480364447417596e-228],1,0],[[1.0597724474707798e-128],1,0],[[1.0665063050078816e+94],0,0],[[-1.9510262991995693e+112],0,0],[[2.2999903268614278e-290],1,0],[[1.0741122062961354e-261],1,0],[[5.859557539322906e-140],1,0],[[12468368041124.15],0,0],[[4.253353698909665e-216],1,0],[[3.8535206051111415e+79],0,0],[[-1.7601754576655714e-112],1,0],[[-2.3489526626381347e-269],1,0],[[1.361219425464666e+47],0,0],[[3.29750078510446e+71],0,0],[[-1.852314336868911e-141],1,0],[[-3.5464567771875936e-137],1,0],[[6.95907319775547e-142],1,0],[[4.491404959780394e-61],1,0],[[-4.005724837481887e+86],0,0],[[-4.355892554578831e-23],1,0],[[1.1404087315953408e+62],0,0],[[-1.651433716140738e-197],1,0],[[9.637197271073901e-211],1,0],[[-7.726179853886465e-162],1,0],[[3094188499901330.5],0,0],[[5.913310941312482e+64],0,0],[[1.2043966215849866e-117],1,0],[[-6.4568883585384e+140],0,0],[[-2.6432840315259835e-167],1,0],[[-5.9602886229394335e-164],1,0],[[-2.771175998241097e-282],1,0],[[-4.946267744070056e+127],0,0],[[-9.823978453361338e+107],0,0],[[4.160824839625464e-162],1,0],[[-9.693540441080036e-13],1,0],[[-5.967504609531294e-77],1,0],[[-2.029570071102755e+97],0,0],[[-1.7161275953211883e-174],1,0],[[-5.5646263164782176e-223],1,0],[[-8.180940553092265e+33],0,0],[[3.432715613948316e+117],0,0],[[3.663172596950764e-123],1,0],[[-1.374556859806548e-261],1,0],[[-1.380285857262137e-35],1,0],[[-2.8587941319848644e-177],1,0],[[-2.84097347513644e-291],1,0],[[1.775499846150115e-189],1,0],[[-1.619539121961887e-203],1,0],[[8.63596361370883e-168],1,0],[[3.1003420231048053e-198],1,0],[[-274927.84602583235],0,0],[[-7.754374499374627e-128],1,0],[[546426909648982.94],0,0],[[4.837988086823738e-223],1,0],[[1.964366100528454e+151],0,0],[[-3.7651275735493285e+99],0,0],[[-2.0755431209235275e+37],0,0],[[1.6482233490718935e-213],1,0],[[-6.920197829965478e-54],1,0],[[-1.8465286574354045e-08],1,0],[[1.3266709965782604e+72],0,0],[[-1.5062863859087e-170],1,0],[[3.0276387508462578e+57],0,0],[[2.33191497780421e-111],1,0],[[2.0583492621633517e-132],1,0],[[1.73356572916747e+144],0,0],[[-9.72242600606208e-115],1,0],[[-3.568993208845613e-77],1,0],[[8.578157411883908e+114],0,0],[[1.857914695228711e+83],0,0],[[6.6295219985120325e-183],1,0],[[5.1529801158111525e+149],0,0],[[-3.577076923658427e+105],0,0],[[3.783167595046686e-155],1,0],[[-3.2642710207591386e-194],1,0],[[-4.870404977044875e-198],1,0],[[1.6662800714135864e-218],1,0],[[-1.1202048404749235e-215],1,0],[[-1.0358355091148686e-278],1,0],[[-1.1423228006386598e-168],1,0],[[-2.6234285145138236e-302],1,0],[[-1.6666445293959045e-19],1,0],[[-173036.98939585892],0,0],[[-1.72018159214991e+42],0,0],[[1.7147925947267055e-94],1,0],[[4.0703515080559954e-283],1,0],[[-2.4094148605116898e-71],1,0],[[-8.522235120830623e+139],0,0],[[-2.907835079052472e-162],1,0],[[-1.3126589281126071e-180],1,0],[[2.1610785345312164e-77],1,0],[[-4.5698595924674815e-41],1,0],[[6.11730473650524e+45],0,0],[[1.3797898346213585e-261],1,0],[[2.357787248093769e+141],0,0],[[-68192552835.54769],0,0],[[8.567538977582658e-198],1,0],[[-4.745743187038751e-236],1,0],[[-5.4823449965902654e-247],1,0],[[1.0962964976346659e-08],1,0],[[1.7909913857676524e-234],1,0],[[4.184907550158769e-217],1,0],[[-2.823112783246906e-160],1,0],[[-2.1189921349291594e-90],1,0],[[5.765917461741543e-177],1,0],[[4.899669604818634e+97],0,0],[[-1.7851335690272436e-118],1,0],[[3.6107901403921284e-233],1,0],[[1.9327027802753637e-202],1,0],[[-3.5611198987654533e-281],1,0],[[-3.5829211941866875e-192],1,0],[[-2.014137988229197e+52],0,0],[[5950.981016685814],0,0],[[2.2586277236353973e-239],1,0],[[-8.868856845711779e+119],0,0],[[5.976331336388173e+119],0,0],[[5.556148241691299e-119],1,0],[[1.5213816359492715e-307],1,0],[[3.486470059469502e+53],0,0],[[1.4785130640238136e+99],0,0],[[-1.6859585865544744e-246],1,0],[[5.821204232402082e-193],1,0],[[9.296392156153377e+138],0,0],[[-1.8762152117521778e-223],1,0],[[-5.250537787491817e-124],1,0],[[1.8856524446073647e+40],0,0],[[-1.6952171705608182e+115],0,0],[[4.750171216619508e-73],1,0],[[1.0938841522691449e-182],1,0],[[9.985233354827504e-56],1,0],[[6.918320731214305e+101],0,0],[[-1.2972076833210354e-243],1,0],[[3.950026893987416e-118],1,0],[[-2.294473340925908e-99],1,0],[[-1.904583231690064e+97],0,0],[[7.447177932334067e+137],0,0],[[2.5619403929352076e-295],1,0],[[-3.91790688565277e-170],1,0],[[-4.3546020711282113e-72],1,0],[[-1.3499936523535982e-57],1,0],[[1.3317345326737292e+144],0,0],[[5.1448581725267015e+35],0,0],[[1.0670135568992559e-184],1,0],[[1.4304241357191177e-199],1,0],[[-2.511393753900827e-169],1,0],[[-3.701783848889662e-189],1,0],[[-5.431902774374102e-262],1,0],[[1.2263489992282429e-201],1,0],[[-3.198759731467493e-128],1,0],[[-2.5729428009391437e+95],0,0],[[-5.478420012818748e-199],1,0],[[2.524309035730919e-48],1,0],[[-1.0214301568538723e-236],1,0],[[-1.6791604274945628e-115],1,0],[[4.0008908469448243e+93],0,0],[[-2.823818017388331],0,0],[[-1.962420053162622e-121],1,0],[[-2.954987173135622e-51],1,0],[[-8.297174001156304e+75],0,0],[[9.069576208127305e-269],1,0],[[1.23229902882752e-232],1,0],[[-124016442.09153165],1,0],[[2.427769796556236e-78],1,0],[[-5.879572388948755e+34],0,0],[[-2.3961070704976586e+136],0,0],[[1.3214717591908378e-130],1,0],[[-4.7364515595661375e-231],1,0],[[-7.271096717980544e+106],0,0],[[2.4635782245727523e-208],1,0],[[2.727021877346581e-178],1,0],[[1.860064553198903e-67],1,0],[[-2.226128313785923e+22],0,0],[[-8.298405443849659e-11],1,0],[[-6.563763753942498e-288],1,0],[[2.2902549915951485e-178],1,0],[[3.2429349037230544e-264],1,0],[[2.667413108648081e-185],1,0],[[8.657759546694974e-157],1,0],[[2.0568784750151953e+96],0,0],[[-2.4264684579574925e-69],1,0],[[1.4650797176352513e+94],0,0],[[1.0138639698135428e-172],1,0],[[-1.795687265611928e-76],1,0],[[-9.441025523234461e-95],1,0],[[-8.823517979915115e-275],1,0],[[2.4359209768004262e-80],1,0],[[-1.2986190410846544e+132],0,0],[[-7.262479430802023e-80],1,0],[[2.4582084287063607e+38],0,0],[[1.69483579164625e+87],0,0],[[-1.704445593248875e-137],1,0],[[-8.079572085939796e+62],0,0],[[-5.014702845822206e+23],0,0],[[2.412016495848343e-259],1,0],[[2.1622905926715047e-231],1,0],[[-1.138570595022504e+112],0,0],[[3.12961498124956e-281],1,0],[[-218468.59457214232],0,0],[[1.998141361266681e+100],0,0],[[-8.582786619504858e-307],1,0],[[1.542984322219514e-13],1,0],[[3.0489294036502483e-215],1,0],[[1.434512172815064e-89],1,0],[[1.095382951219098e-121],1,0],[[4.4403690793251364e-66],1,0],[[-1.4152323733690032e-71],1,0],[[55672.68718103453],0,0],[[-2.1521573832310456e-60],1,0],[[3.0292511751059167e-285],1,0],[[4.774911884404591e+104],0,0],[[-1.7764225205103598e-40],1,0],[[-2.2133570847894536e-21],1,0],[[-5.633958029554214e+72],0,0],[[-8.705569923143921e-256],1,0],[[7366.597199336127],0,0],[[-1.6865217572146204e-158],1,0],[[-7.1083179947333e+96],0,0],[[-6.558351034244574e-59],1,0],[[-2.6211080531091074e-206],1,0],[[-8.79916969398652e-38],1,0],[[-3.5828871804215725e-182],1,0],[[-6.861319032017174e-63],1,0],[[1.0627216233234831e+49],0,0],[[4.357977932807522e-152],1,0],[[-3.3993174919178938e-49],1,0],[[-6.415779835408304e-164],1,0],[[1.013327533564468e-142],1,0]],"fresh-alts":["#<alt-event (λ (x) (- (* (+ x 1) (+ x 1)) 1))>"]}* * * * [misc]pick:  Picked  #<alt-event (λ (x) (- (* (+ x 1) (+ x 1)) 1))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
* * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (- (* (+ x 1) (+ x 1)) 1) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (- (* (+ x 1) (+ x 1)) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (+ x 1) (+ x 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ x 1) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ x 1) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (- (* (+ x 1) (+ x 1)) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (+ x 1) (+ x 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ x 1) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ x 1) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 1 -1) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 2 0) into 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 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 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 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 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 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 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 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 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 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 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 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 (pow x 2)) (* 2 x)) into (+ (pow x 2) (* 2 x))
* [misc]approximate:  Taking taylor expansion of (- (* (+ (/ 1 x) 1) (+ (/ 1 x) 1)) 1) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (- (* (+ (/ 1 x) 1) (+ (/ 1 x) 1)) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 x) 1) (+ (/ 1 x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (- (* (+ (/ 1 x) 1) (+ (/ 1 x) 1)) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 x) 1) (+ (/ 1 x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
* [misc]backup-simplify:  Simplify (+ 2 0) into 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 1 -1) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 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 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 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 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 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 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 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 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 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 (+ (* 2 (/ 1 (/ 1 x))) (* 1 (pow (/ 1 (/ 1 x)) 2))) into (+ (pow x 2) (* 2 x))
* [misc]approximate:  Taking taylor expansion of (- (* (+ (/ 1 (- x)) 1) (+ (/ 1 (- x)) 1)) 1) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (- (* (+ (/ 1 (- x)) 1) (+ (/ 1 (- x)) 1)) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 (- x)) 1) (+ (/ 1 (- x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (- (* (+ (/ 1 (- x)) 1) (+ (/ 1 (- x)) 1)) 1) in x
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 (- x)) 1) (+ (/ 1 (- x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [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 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (+ (* -1 1) (* 1 -1)) into -2
* [misc]backup-simplify:  Simplify (+ -2 0) into -2
* [misc]backup-simplify:  Simplify -2 into -2
* [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 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 1 1) (* 0 -1))) into 1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 1 -1) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 1 0) (+ (* 0 1) (* 0 -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) 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 (- 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 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [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 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -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) 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 (- 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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -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) 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 (- 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 (- 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 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [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 (- 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 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -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) 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 (- 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 (- 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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [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 (- 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 (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -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 (+ (* -2 (/ 1 (/ 1 (- x)))) (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (pow x 2) (* 2 x))
* * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
* [misc]approximate:  Taking taylor expansion of (* (+ x 1) (+ x 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (* (+ x 1) (+ x 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ x 1) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ x 1) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* (+ x 1) (+ x 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ x 1) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ x 1) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (* 1 (pow x 2)) (+ (* 2 x) 1)) into (+ (pow x 2) (+ 1 (* 2 x)))
* [misc]approximate:  Taking taylor expansion of (* (+ (/ 1 x) 1) (+ (/ 1 x) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 x) 1) (+ (/ 1 x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 x) 1) (+ (/ 1 x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 1)) into 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 1))) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 (+ (* 2 (/ 1 (/ 1 x))) (* 1 (pow (/ 1 (/ 1 x)) 2)))) into (+ (pow x 2) (+ 1 (* 2 x)))
* [misc]approximate:  Taking taylor expansion of (* (+ (/ 1 (- x)) 1) (+ (/ 1 (- x)) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 (- x)) 1) (+ (/ 1 (- x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 (- x)) 1) (+ (/ 1 (- x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- x)) 1) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (+ -1 0) into -1
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [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 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (+ (* -1 1) (* 1 -1)) into -2
* [misc]backup-simplify:  Simplify -2 into -2
* [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 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* 0 (/ 0 -1)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 1 1) (* 0 -1))) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 (+ (* -2 (/ 1 (/ 1 (- x)))) (* 1 (pow (/ 1 (/ 1 (- x))) 2)))) into (+ (pow x 2) (+ 1 (* 2 x)))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 50 ] simplifiying candidate #<alt-delta (λ (x) (pow (- (* (+ x 1) (+ x 1)) 1) 1))>
* * * * [misc]progress:  [ 2 / 50 ] simplifiying candidate #<alt-delta (λ (x) (exp (log (- (* (+ x 1) (+ x 1)) 1))))>
* [enter]simplify:  Simplifying (log (- (* (+ x 1) (+ x 1)) 1))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (46 enodes)
* * [misc]simplify:  iters left: 3 (102 enodes)
* * [misc]simplify:  iters left: 2 (326 enodes)
* [exit]simplify:  Simplified to (log (+ (* x x) (+ x x)))
* [exit]simplify:  Simplified to (log (+ (* x x) (+ x x)))
* * * * [misc]progress:  [ 3 / 50 ] simplifiying candidate #<alt-delta (λ (x) (log (exp (- (* (+ x 1) (+ x 1)) 1))))>
* [enter]simplify:  Simplifying (exp (- (* (+ x 1) (+ x 1)) 1))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (23 enodes)
* * [misc]simplify:  iters left: 4 (59 enodes)
* * [misc]simplify:  iters left: 3 (154 enodes)
* [exit]simplify:  Simplified to (* (exp (* x x)) (* (exp x) (exp x)))
* [exit]simplify:  Simplified to (* (exp (* x x)) (* (exp x) (exp x)))
* * * * [misc]progress:  [ 4 / 50 ] simplifiying candidate #<alt-delta (λ (x) (* (* (cbrt (- (* (+ x 1) (+ x 1)) 1)) (cbrt (- (* (+ x 1) (+ x 1)) 1))) (cbrt (- (* (+ x 1) (+ x 1)) 1))))>
* [enter]simplify:  Simplifying (* (cbrt (- (* (+ x 1) (+ x 1)) 1)) (cbrt (- (* (+ x 1) (+ x 1)) 1)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (44 enodes)
* * [misc]simplify:  iters left: 3 (99 enodes)
* * [misc]simplify:  iters left: 2 (321 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ (* x x) (+ x x))) (cbrt (+ (* x x) (+ x x))))
* [exit]simplify:  Simplified to (* (cbrt (+ (* x x) (+ x x))) (cbrt (+ (* x x) (+ x x))))
* [enter]simplify:  Simplifying (cbrt (- (* (+ x 1) (+ x 1)) 1))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (43 enodes)
* * [misc]simplify:  iters left: 3 (98 enodes)
* * [misc]simplify:  iters left: 2 (318 enodes)
* [exit]simplify:  Simplified to (cbrt (+ (* x x) (+ x x)))
* [exit]simplify:  Simplified to (cbrt (+ (* x x) (+ x x)))
* * * * [misc]progress:  [ 5 / 50 ] simplifiying candidate #<alt-delta (λ (x) (cbrt (* (* (- (* (+ x 1) (+ x 1)) 1) (- (* (+ x 1) (+ x 1)) 1)) (- (* (+ x 1) (+ x 1)) 1))))>
* [enter]simplify:  Simplifying (* (* (- (* (+ x 1) (+ x 1)) 1) (- (* (+ x 1) (+ x 1)) 1)) (- (* (+ x 1) (+ x 1)) 1))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (65 enodes)
* * [misc]simplify:  iters left: 3 (306 enodes)
* [exit]simplify:  Simplified to (pow (+ (+ (* x x) x) x) 3)
* [exit]simplify:  Simplified to (pow (+ (+ (* x x) x) x) 3)
* * * * [misc]progress:  [ 6 / 50 ] simplifiying candidate #<alt-delta (λ (x) (* (sqrt (- (* (+ x 1) (+ x 1)) 1)) (sqrt (- (* (+ x 1) (+ x 1)) 1))))>
* [enter]simplify:  Simplifying (sqrt (- (* (+ x 1) (+ x 1)) 1))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (43 enodes)
* * [misc]simplify:  iters left: 3 (98 enodes)
* * [misc]simplify:  iters left: 2 (318 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (* x x) (+ x x)))
* [exit]simplify:  Simplified to (sqrt (+ (* x x) (+ x x)))
* [enter]simplify:  Simplifying (sqrt (- (* (+ x 1) (+ x 1)) 1))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (43 enodes)
* * [misc]simplify:  iters left: 3 (98 enodes)
* * [misc]simplify:  iters left: 2 (318 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (* x x) (+ x x)))
* [exit]simplify:  Simplified to (sqrt (+ (* x x) (+ x x)))
* * * * [misc]progress:  [ 7 / 50 ] simplifiying candidate #<alt-delta (λ (x) (/ (- (pow (* (+ x 1) (+ x 1)) 3) (pow 1 3)) (+ (* (* (+ x 1) (+ x 1)) (* (+ x 1) (+ x 1))) (+ (* 1 1) (* (* (+ x 1) (+ x 1)) 1)))))>
* [enter]simplify:  Simplifying (- (pow (* (+ x 1) (+ x 1)) 3) (pow 1 3))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (26 enodes)
* * [misc]simplify:  iters left: 4 (56 enodes)
* * [misc]simplify:  iters left: 3 (204 enodes)
* [exit]simplify:  Simplified to (- (* (pow (+ 1 x) 3) (pow (+ 1 x) 3)) 1)
* [exit]simplify:  Simplified to (- (* (pow (+ 1 x) 3) (pow (+ 1 x) 3)) 1)
* [enter]simplify:  Simplifying (+ (* (* (+ x 1) (+ x 1)) (* (+ x 1) (+ x 1))) (+ (* 1 1) (* (* (+ x 1) (+ x 1)) 1)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (28 enodes)
* * [misc]simplify:  iters left: 4 (74 enodes)
* * [misc]simplify:  iters left: 3 (231 enodes)
* [exit]simplify:  Simplified to (+ (* (+ 1 x) (+ 1 x)) (+ 1 (pow (+ 1 x) (+ 3 1))))
* [exit]simplify:  Simplified to (+ (* (+ 1 x) (+ 1 x)) (+ 1 (pow (+ 1 x) (+ 3 1))))
* * * * [misc]progress:  [ 8 / 50 ] simplifiying candidate #<alt-delta (λ (x) (+ (* (+ x 1) (+ x 1)) (- 1)))>
* [enter]simplify:  Simplifying (- 1)
* * [misc]simplify:  iters left: 2 (2 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (- 1)
* [exit]simplify:  Simplified to (- 1)
* * * * [misc]progress:  [ 9 / 50 ] simplifiying candidate #<alt-delta (λ (x) (* 1 (- (* (+ x 1) (+ x 1)) 1)))>
* * * * [misc]progress:  [ 10 / 50 ] simplifiying candidate #<alt-delta (λ (x) (/ (- (* (* (+ x 1) (+ x 1)) (* (+ x 1) (+ x 1))) (* 1 1)) (+ (* (+ x 1) (+ x 1)) 1)))>
* [enter]simplify:  Simplifying (- (* (* (+ x 1) (+ x 1)) (* (+ x 1) (+ x 1))) (* 1 1))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (68 enodes)
* * [misc]simplify:  iters left: 3 (285 enodes)
* [exit]simplify:  Simplified to (- (pow (+ 1 x) (+ 3 1)) 1)
* [exit]simplify:  Simplified to (- (pow (+ 1 x) (+ 3 1)) 1)
* [enter]simplify:  Simplifying (+ (* (+ x 1) (+ x 1)) 1)
* * [misc]simplify:  iters left: 6 (5 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (48 enodes)
* * [misc]simplify:  iters left: 2 (152 enodes)
* * [misc]simplify:  iters left: 1 (310 enodes)
* [exit]simplify:  Simplified to (+ (* (+ 1 x) (+ 1 x)) 1)
* [exit]simplify:  Simplified to (+ (* (+ 1 x) (+ 1 x)) 1)
* * * * [misc]progress:  [ 11 / 50 ] simplifiying candidate #<alt-delta (λ (x) (* (+ (+ x 1) 1) (- (+ x 1) 1)))>
* [enter]simplify:  Simplifying (+ (+ x 1) 1)
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (10 enodes)
* * [misc]simplify:  iters left: 2 (11 enodes)
* [exit]simplify:  Simplified to (+ 1 (+ 1 x))
* [exit]simplify:  Simplified to (+ 1 (+ 1 x))
* [enter]simplify:  Simplifying (- (+ x 1) 1)
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* * [misc]simplify:  iters left: 1 (19 enodes)
* [exit]simplify:  Simplified to x
* [exit]simplify:  Simplified to x
* * * * [misc]progress:  [ 12 / 50 ] simplifiying candidate #<alt-delta (λ (x) (+ (* (+ x 1) x) (- (* (+ x 1) 1) 1)))>
* [enter]simplify:  Simplifying (- (* (+ x 1) 1) 1)
* * [misc]simplify:  iters left: 6 (5 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* * [misc]simplify:  iters left: 4 (28 enodes)
* * [misc]simplify:  iters left: 3 (32 enodes)
* [exit]simplify:  Simplified to x
* [exit]simplify:  Simplified to x
* * * * [misc]progress:  [ 13 / 50 ] simplifiying candidate #<alt-delta (λ (x) (+ (* x (+ x 1)) (- (* 1 (+ x 1)) 1)))>
* [enter]simplify:  Simplifying (- (* 1 (+ x 1)) 1)
* * [misc]simplify:  iters left: 6 (5 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (29 enodes)
* [exit]simplify:  Simplified to x
* [exit]simplify:  Simplified to x
* * * * [misc]progress:  [ 14 / 50 ] simplifiying candidate #<alt-delta (λ (x) (+ (* (+ x 1) (+ x 1)) (- 1)))>
* [enter]simplify:  Simplifying (- 1)
* * [misc]simplify:  iters left: 2 (2 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (- 1)
* [exit]simplify:  Simplified to (- 1)
* * * * [misc]progress:  [ 15 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (pow (+ x 1) (+ 1 1)) 1))>
* [enter]simplify:  Simplifying (+ 1 1)
* * [misc]simplify:  iters left: 2 (2 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (+ 1 1)
* [exit]simplify:  Simplified to (+ 1 1)
* * * * [misc]progress:  [ 16 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (pow (* (+ x 1) (+ x 1)) 1) 1))>
* [enter]simplify:  Simplifying (* (+ x 1) (+ x 1))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (26 enodes)
* * [misc]simplify:  iters left: 1 (38 enodes)
* [exit]simplify:  Simplified to (* (+ 1 x) (+ 1 x))
* [exit]simplify:  Simplified to (* (+ 1 x) (+ 1 x))
* * * * [misc]progress:  [ 17 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (pow (+ x 1) 2) 1))>
* * * * [misc]progress:  [ 18 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (pow (+ x 1) (+ 1 1)) 1))>
* [enter]simplify:  Simplifying (+ 1 1)
* * [misc]simplify:  iters left: 2 (2 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to (+ 1 1)
* [exit]simplify:  Simplified to (+ 1 1)
* * * * [misc]progress:  [ 19 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (pow (* (+ x 1) (+ x 1)) 1) 1))>
* * * * [misc]progress:  [ 20 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (exp (+ (log (+ x 1)) (log (+ x 1)))) 1))>
* [enter]simplify:  Simplifying (+ (log (+ x 1)) (log (+ x 1)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* [exit]simplify:  Simplified to (+ (log (+ 1 x)) (log (+ 1 x)))
* [exit]simplify:  Simplified to (+ (log (+ 1 x)) (log (+ 1 x)))
* * * * [misc]progress:  [ 21 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (exp (log (* (+ x 1) (+ x 1)))) 1))>
* [enter]simplify:  Simplifying (log (* (+ x 1) (+ x 1)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (29 enodes)
* * [misc]simplify:  iters left: 2 (44 enodes)
* * [misc]simplify:  iters left: 1 (132 enodes)
* [exit]simplify:  Simplified to (+ (log (+ 1 x)) (log (+ 1 x)))
* [exit]simplify:  Simplified to (+ (log (+ 1 x)) (log (+ 1 x)))
* * * * [misc]progress:  [ 22 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (log (exp (* (+ x 1) (+ x 1)))) 1))>
* [enter]simplify:  Simplifying (exp (* (+ x 1) (+ x 1)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (39 enodes)
* * [misc]simplify:  iters left: 2 (79 enodes)
* * [misc]simplify:  iters left: 1 (259 enodes)
* [exit]simplify:  Simplified to (exp (* (+ 1 x) (+ 1 x)))
* [exit]simplify:  Simplified to (exp (* (+ 1 x) (+ 1 x)))
* * * * [misc]progress:  [ 23 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (cbrt (* (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (+ x 1) (+ x 1)) (+ x 1)))) 1))>
* [enter]simplify:  Simplifying (* (* (* (+ x 1) (+ x 1)) (+ x 1)) (* (* (+ x 1) (+ x 1)) (+ x 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (26 enodes)
* * [misc]simplify:  iters left: 4 (71 enodes)
* * [misc]simplify:  iters left: 3 (177 enodes)
* [exit]simplify:  Simplified to (* (pow (+ 1 x) 3) (pow (+ 1 x) 3))
* [exit]simplify:  Simplified to (* (pow (+ 1 x) 3) (pow (+ 1 x) 3))
* * * * [misc]progress:  [ 24 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (* (* (cbrt (* (+ x 1) (+ x 1))) (cbrt (* (+ x 1) (+ x 1)))) (cbrt (* (+ x 1) (+ x 1)))) 1))>
* [enter]simplify:  Simplifying (* (cbrt (* (+ x 1) (+ x 1))) (cbrt (* (+ x 1) (+ x 1))))
* * [misc]simplify:  iters left: 6 (6 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 (123 enodes)
* * [misc]simplify:  iters left: 1 (220 enodes)
* [exit]simplify:  Simplified to (* (cbrt (* (+ 1 x) (+ 1 x))) (cbrt (* (+ 1 x) (+ 1 x))))
* [exit]simplify:  Simplified to (* (cbrt (* (+ 1 x) (+ 1 x))) (cbrt (* (+ 1 x) (+ 1 x))))
* [enter]simplify:  Simplifying (cbrt (* (+ x 1) (+ x 1)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* * [misc]simplify:  iters left: 3 (27 enodes)
* * [misc]simplify:  iters left: 2 (39 enodes)
* * [misc]simplify:  iters left: 1 (122 enodes)
* [exit]simplify:  Simplified to (cbrt (* (+ 1 x) (+ 1 x)))
* [exit]simplify:  Simplified to (cbrt (* (+ 1 x) (+ 1 x)))
* * * * [misc]progress:  [ 25 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (cbrt (* (* (* (+ x 1) (+ x 1)) (* (+ x 1) (+ x 1))) (* (+ x 1) (+ x 1)))) 1))>
* [enter]simplify:  Simplifying (* (* (* (+ x 1) (+ x 1)) (* (+ x 1) (+ x 1))) (* (+ x 1) (+ x 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (87 enodes)
* [exit]simplify:  Simplified to (pow (* (+ 1 x) (+ 1 x)) 3)
* [exit]simplify:  Simplified to (pow (* (+ 1 x) (+ 1 x)) 3)
* * * * [misc]progress:  [ 26 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (* (sqrt (* (+ x 1) (+ x 1))) (sqrt (* (+ x 1) (+ x 1)))) 1))>
* [enter]simplify:  Simplifying (sqrt (* (+ x 1) (+ x 1)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (28 enodes)
* * [misc]simplify:  iters left: 2 (40 enodes)
* * [misc]simplify:  iters left: 1 (123 enodes)
* [exit]simplify:  Simplified to (fabs (+ 1 x))
* [exit]simplify:  Simplified to (fabs (+ 1 x))
* [enter]simplify:  Simplifying (sqrt (* (+ x 1) (+ x 1)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (28 enodes)
* * [misc]simplify:  iters left: 2 (40 enodes)
* * [misc]simplify:  iters left: 1 (123 enodes)
* [exit]simplify:  Simplified to (fabs (+ 1 x))
* [exit]simplify:  Simplified to (fabs (+ 1 x))
* * * * [misc]progress:  [ 27 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (/ (* (+ (pow x 3) (pow 1 3)) (+ (pow x 3) (pow 1 3))) (* (+ (* x x) (- (* 1 1) (* x 1))) (+ (* x x) (- (* 1 1) (* x 1))))) 1))>
* [enter]simplify:  Simplifying (* (+ (pow x 3) (pow 1 3)) (+ (pow x 3) (pow 1 3)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (21 enodes)
* * [misc]simplify:  iters left: 3 (47 enodes)
* * [misc]simplify:  iters left: 2 (94 enodes)
* * [misc]simplify:  iters left: 1 (224 enodes)
* [exit]simplify:  Simplified to (* (+ 1 (pow x 3)) (+ 1 (pow x 3)))
* [exit]simplify:  Simplified to (* (+ 1 (pow x 3)) (+ 1 (pow x 3)))
* [enter]simplify:  Simplifying (* (+ (* x x) (- (* 1 1) (* x 1))) (+ (* x x) (- (* 1 1) (* x 1))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (54 enodes)
* * [misc]simplify:  iters left: 3 (178 enodes)
* [exit]simplify:  Simplified to (* (+ (- 1 x) (* x x)) (+ (- 1 x) (* x x)))
* [exit]simplify:  Simplified to (* (+ (- 1 x) (* x x)) (+ (- 1 x) (* x x)))
* * * * [misc]progress:  [ 28 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (/ (* (+ (pow x 3) (pow 1 3)) (- (* x x) (* 1 1))) (* (+ (* x x) (- (* 1 1) (* x 1))) (- x 1))) 1))>
* [enter]simplify:  Simplifying (* (+ (pow x 3) (pow 1 3)) (- (* x x) (* 1 1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (39 enodes)
* * [misc]simplify:  iters left: 3 (102 enodes)
* * [misc]simplify:  iters left: 2 (320 enodes)
* [exit]simplify:  Simplified to (* (- (* x x) 1) (+ 1 (pow x 3)))
* [exit]simplify:  Simplified to (* (- (* x x) 1) (+ 1 (pow x 3)))
* [enter]simplify:  Simplifying (* (+ (* x x) (- (* 1 1) (* x 1))) (- x 1))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (43 enodes)
* * [misc]simplify:  iters left: 3 (119 enodes)
* * [misc]simplify:  iters left: 2 (378 enodes)
* [exit]simplify:  Simplified to (* (- x 1) (+ (* x x) (- 1 x)))
* [exit]simplify:  Simplified to (* (- x 1) (+ (* x x) (- 1 x)))
* * * * [misc]progress:  [ 29 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (/ (* (- (* x x) (* 1 1)) (+ (pow x 3) (pow 1 3))) (* (- x 1) (+ (* x x) (- (* 1 1) (* x 1))))) 1))>
* [enter]simplify:  Simplifying (* (- (* x x) (* 1 1)) (+ (pow x 3) (pow 1 3)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (61 enodes)
* * [misc]simplify:  iters left: 3 (222 enodes)
* * [misc]simplify:  iters left: 2 (490 enodes)
* [exit]simplify:  Simplified to (* (+ 1 (pow x 3)) (- (* x x) 1))
* [exit]simplify:  Simplified to (* (+ 1 (pow x 3)) (- (* x x) 1))
* [enter]simplify:  Simplifying (* (- x 1) (+ (* x x) (- (* 1 1) (* x 1))))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (25 enodes)
* * [misc]simplify:  iters left: 4 (65 enodes)
* * [misc]simplify:  iters left: 3 (168 enodes)
* * [misc]simplify:  iters left: 2 (492 enodes)
* [exit]simplify:  Simplified to (* (+ (- 1 x) (* x x)) (- x 1))
* [exit]simplify:  Simplified to (* (+ (- 1 x) (* x x)) (- x 1))
* * * * [misc]progress:  [ 30 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (/ (* (- (* x x) (* 1 1)) (- (* x x) (* 1 1))) (* (- x 1) (- x 1))) 1))>
* [enter]simplify:  Simplifying (* (- (* x x) (* 1 1)) (- (* x x) (* 1 1)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (57 enodes)
* * [misc]simplify:  iters left: 2 (175 enodes)
* [exit]simplify:  Simplified to (* (- (* x x) 1) (- (* x x) 1))
* [exit]simplify:  Simplified to (* (- (* x x) 1) (- (* x x) 1))
* [enter]simplify:  Simplifying (* (- x 1) (- x 1))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (15 enodes)
* * [misc]simplify:  iters left: 1 (33 enodes)
* [exit]simplify:  Simplified to (* (- x 1) (- x 1))
* [exit]simplify:  Simplified to (* (- x 1) (- x 1))
* * * * [misc]progress:  [ 31 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (* 1 (* (+ x 1) (+ x 1))) 1))>
* * * * [misc]progress:  [ 32 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (+ (* (+ x 1) x) (* (+ x 1) 1)) 1))>
* [enter]simplify:  Simplifying (* (+ x 1) x)
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (15 enodes)
* * [misc]simplify:  iters left: 1 (17 enodes)
* [exit]simplify:  Simplified to (+ (* x x) x)
* [exit]simplify:  Simplified to (+ (* x x) x)
* [enter]simplify:  Simplifying (* (+ x 1) 1)
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* [exit]simplify:  Simplified to (+ 1 x)
* [exit]simplify:  Simplified to (+ 1 x)
* * * * [misc]progress:  [ 33 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (+ (* x (+ x 1)) (* 1 (+ x 1))) 1))>
* [enter]simplify:  Simplifying (* x (+ x 1))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* * [misc]simplify:  iters left: 1 (26 enodes)
* [exit]simplify:  Simplified to (+ (* x x) x)
* [exit]simplify:  Simplified to (+ (* x x) x)
* [enter]simplify:  Simplifying (* 1 (+ x 1))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* [exit]simplify:  Simplified to (+ x 1)
* [exit]simplify:  Simplified to (+ x 1)
* * * * [misc]progress:  [ 34 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (* (* (+ x 1) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (cbrt (+ x 1))) 1))>
* [enter]simplify:  Simplifying (* (+ x 1) (* (cbrt (+ x 1)) (cbrt (+ x 1))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* * [misc]simplify:  iters left: 4 (22 enodes)
* * [misc]simplify:  iters left: 3 (54 enodes)
* * [misc]simplify:  iters left: 2 (96 enodes)
* * [misc]simplify:  iters left: 1 (153 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ 1 x)) (* (+ 1 x) (cbrt (+ 1 x))))
* [exit]simplify:  Simplified to (* (cbrt (+ 1 x)) (* (+ 1 x) (cbrt (+ 1 x))))
* * * * [misc]progress:  [ 35 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (* (* (+ x 1) (sqrt (+ x 1))) (sqrt (+ x 1))) 1))>
* [enter]simplify:  Simplifying (* (+ x 1) (sqrt (+ x 1)))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (33 enodes)
* * [misc]simplify:  iters left: 1 (49 enodes)
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (+ 1 x))
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (+ 1 x))
* * * * [misc]progress:  [ 36 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (* (* (+ x 1) 1) (+ x 1)) 1))>
* [enter]simplify:  Simplifying (* (+ x 1) 1)
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (16 enodes)
* [exit]simplify:  Simplified to (+ 1 x)
* [exit]simplify:  Simplified to (+ 1 x)
* * * * [misc]progress:  [ 37 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (* (* (cbrt (+ x 1)) (cbrt (+ x 1))) (* (cbrt (+ x 1)) (+ x 1))) 1))>
* [enter]simplify:  Simplifying (* (cbrt (+ x 1)) (+ x 1))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (35 enodes)
* * [misc]simplify:  iters left: 2 (57 enodes)
* * [misc]simplify:  iters left: 1 (82 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ 1 x)) (+ 1 x))
* [exit]simplify:  Simplified to (* (cbrt (+ 1 x)) (+ 1 x))
* * * * [misc]progress:  [ 38 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (* (sqrt (+ x 1)) (* (sqrt (+ x 1)) (+ x 1))) 1))>
* [enter]simplify:  Simplifying (* (sqrt (+ x 1)) (+ x 1))
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (15 enodes)
* * [misc]simplify:  iters left: 3 (35 enodes)
* * [misc]simplify:  iters left: 2 (57 enodes)
* * [misc]simplify:  iters left: 1 (82 enodes)
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (+ 1 x))
* [exit]simplify:  Simplified to (* (sqrt (+ 1 x)) (+ 1 x))
* * * * [misc]progress:  [ 39 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (* 1 (* (+ x 1) (+ x 1))) 1))>
* [enter]simplify:  Simplifying (* (+ x 1) (+ x 1))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (26 enodes)
* * [misc]simplify:  iters left: 1 (38 enodes)
* [exit]simplify:  Simplified to (* (+ 1 x) (+ 1 x))
* [exit]simplify:  Simplified to (* (+ 1 x) (+ 1 x))
* * * * [misc]progress:  [ 40 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (/ (* (+ x 1) (+ (pow x 3) (pow 1 3))) (+ (* x x) (- (* 1 1) (* x 1)))) 1))>
* [enter]simplify:  Simplifying (* (+ x 1) (+ (pow x 3) (pow 1 3)))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (24 enodes)
* * [misc]simplify:  iters left: 3 (60 enodes)
* * [misc]simplify:  iters left: 2 (138 enodes)
* * [misc]simplify:  iters left: 1 (234 enodes)
* [exit]simplify:  Simplified to (+ (* (+ 1 x) (pow x 3)) (+ 1 x))
* [exit]simplify:  Simplified to (+ (* (+ 1 x) (pow x 3)) (+ 1 x))
* * * * [misc]progress:  [ 41 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (/ (* (+ x 1) (- (* x x) (* 1 1))) (- x 1)) 1))>
* [enter]simplify:  Simplifying (* (+ x 1) (- (* x x) (* 1 1)))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (75 enodes)
* * [misc]simplify:  iters left: 2 (213 enodes)
* [exit]simplify:  Simplified to (* (+ 1 x) (- (* x x) 1))
* [exit]simplify:  Simplified to (* (+ 1 x) (- (* x x) 1))
* * * * [misc]progress:  [ 42 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (/ (* (+ (pow x 3) (pow 1 3)) (+ x 1)) (+ (* x x) (- (* 1 1) (* x 1)))) 1))>
* [enter]simplify:  Simplifying (* (+ (pow x 3) (pow 1 3)) (+ x 1))
* * [misc]simplify:  iters left: 5 (8 enodes)
* * [misc]simplify:  iters left: 4 (24 enodes)
* * [misc]simplify:  iters left: 3 (54 enodes)
* * [misc]simplify:  iters left: 2 (85 enodes)
* * [misc]simplify:  iters left: 1 (189 enodes)
* [exit]simplify:  Simplified to (+ (* (pow x 3) (+ x 1)) (+ x 1))
* [exit]simplify:  Simplified to (+ (* (pow x 3) (+ x 1)) (+ x 1))
* * * * [misc]progress:  [ 43 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (/ (* (- (* x x) (* 1 1)) (+ x 1)) (- x 1)) 1))>
* [enter]simplify:  Simplifying (* (- (* x x) (* 1 1)) (+ x 1))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (19 enodes)
* * [misc]simplify:  iters left: 4 (42 enodes)
* * [misc]simplify:  iters left: 3 (133 enodes)
* * [misc]simplify:  iters left: 2 (249 enodes)
* * [misc]simplify:  iters left: 1 (486 enodes)
* [exit]simplify:  Simplified to (* (* (+ x 1) (+ x 1)) (- x 1))
* [exit]simplify:  Simplified to (* (* (+ x 1) (+ x 1)) (- x 1))
* * * * [misc]progress:  [ 44 / 50 ] simplifiying candidate #<alt-delta (λ (x) (- (* (+ x 1) (+ x 1)) 1))>
* * * * [misc]progress:  [ 45 / 50 ] simplifiying candidate #<alt-event (λ (x) (+ (pow x 2) (* 2 x)))>
* [enter]simplify:  Simplifying (+ (pow x 2) (* 2 x))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (12 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (* x (+ 2 x))
* * * * [misc]progress:  [ 46 / 50 ] simplifiying candidate #<alt-event (λ (x) (+ (pow x 2) (* 2 x)))>
* [enter]simplify:  Simplifying (+ (pow x 2) (* 2 x))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (12 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (* x (+ 2 x))
* * * * [misc]progress:  [ 47 / 50 ] simplifiying candidate #<alt-event (λ (x) (+ (pow x 2) (* 2 x)))>
* [enter]simplify:  Simplifying (+ (pow x 2) (* 2 x))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (12 enodes)
* * [misc]simplify:  iters left: 1 (13 enodes)
* [exit]simplify:  Simplified to (* x (+ 2 x))
* * * * [misc]progress:  [ 48 / 50 ] simplifiying candidate #<alt-event (λ (x) (- (+ (pow x 2) (+ 1 (* 2 x))) 1))>
* [enter]simplify:  Simplifying (- (+ (pow x 2) (+ 1 (* 2 x))) 1)
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (41 enodes)
* * [misc]simplify:  iters left: 3 (90 enodes)
* * [misc]simplify:  iters left: 2 (209 enodes)
* * [misc]simplify:  iters left: 1 (465 enodes)
* [exit]simplify:  Simplified to (* (+ 2 x) x)
* * * * [misc]progress:  [ 49 / 50 ] simplifiying candidate #<alt-event (λ (x) (- (+ (pow x 2) (+ 1 (* 2 x))) 1))>
* [enter]simplify:  Simplifying (- (+ (pow x 2) (+ 1 (* 2 x))) 1)
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (41 enodes)
* * [misc]simplify:  iters left: 3 (90 enodes)
* * [misc]simplify:  iters left: 2 (209 enodes)
* * [misc]simplify:  iters left: 1 (465 enodes)
* [exit]simplify:  Simplified to (* (+ 2 x) x)
* * * * [misc]progress:  [ 50 / 50 ] simplifiying candidate #<alt-event (λ (x) (- (+ (pow x 2) (+ 1 (* 2 x))) 1))>
* [enter]simplify:  Simplifying (- (+ (pow x 2) (+ 1 (* 2 x))) 1)
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (41 enodes)
* * [misc]simplify:  iters left: 3 (90 enodes)
* * [misc]simplify:  iters left: 2 (209 enodes)
* * [misc]simplify:  iters left: 1 (465 enodes)
* [exit]simplify:  Simplified to (* (+ 2 x) x)
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime-changes:  Finding splitpoints for: (#<alt-event (λ (x) (- (* (+ x 1) (+ x 1)) 1))> #<alt-delta (λ (x) (+ (* x x) (+ x x)))>)
* [misc]regimes:  Found splitpoints: (#s(sp 0 (- (* (+ x 1) (+ x 1)) 1) +nan.0)) , with alts (#<alt-delta (λ (x) (+ (* x x) (+ x x)))>)
* [enter]simplify:  Simplifying (* x x)
* * [misc]simplify:  iters left: 2 (2 enodes)
* [exit]simplify:  Simplified to (* x x)
* [exit]simplify:  Simplified to (* x x)
* [enter]simplify:  Simplifying (+ x x)
* * [misc]simplify:  iters left: 2 (2 enodes)
* [exit]simplify:  Simplified to (+ x x)
* [exit]simplify:  Simplified to (+ x x)
* * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
* * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 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 2030 additional inputs, on iter 1 have 5970 / 8000
* * * * [misc]points:  Computing exacts on every 126 of 2030 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts on every 63 of 2030 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 2030 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 2030 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 2030 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 2030 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 2030 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 512 additional inputs, on iter 2 have 7488 / 8000
* * * * [misc]points:  Computing exacts on every 32 of 512 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 16 of 512 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 8 of 512 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 512 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 512 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 512 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 126 additional inputs, on iter 3 have 7874 / 8000
* * * * [misc]points:  Computing exacts on every 7 of 126 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 126 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 126 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 42 additional inputs, on iter 4 have 7958 / 8000
* * * * [misc]points:  Computing exacts on every 2 of 42 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 42 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 4 additional inputs, on iter 6 have 7999 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8002 points with exact outputs