* [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 76 additional inputs, on iter 1 have 180 / 256
* * * * [misc]points:  Computing exacts on every 4 of 76 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 76 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 76 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 17 additional inputs, on iter 2 have 239 / 256
* * * * [misc]points:  Computing exacts for 17 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 8 additional inputs, on iter 3 have 248 / 256
* * * * [misc]points:  Computing exacts for 8 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 4 have 253 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 257 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (- (* (+ 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 (109 enodes)
* * [misc]simplify:  iters left: 2 (372 enodes)
* [exit]simplify:  Simplified to (+ (* x x) (+ x x))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
"ALT DATA: "{"all-alts":["#<alt-delta (λ (x) (+ (* x x) (+ x x)))>","#<alt-event (λ (x) (- (* (+ x 1) (+ x 1)) 1))>"],"best-fresh-alt-per-point":[[[-8.05737758242569e-91],0,0],[[1.0057242501199301e-254],0,0],[[-3.222264666704597e-210],0,0],[[1.099315532911349e-23],0,0],[[1.1988791635038015e-56],0,0],[[-171.37335414723813],1,0],[[3.50550012204851e-33],0,0],[[1.708686197016133e+79],0,0],[[-3.1472164561505567e-59],0,0],[[1.705817703400908e+63],0,0],[[-1.1204577574966285e-246],0,0],[[-4.921050894675189e-140],0,0],[[2.0974429565133816e-215],0,0],[[-8.048358363486665e+120],0,0],[[1.51646550817889e-257],0,0],[[-0.0007363022252445651],0,0],[[-5.624997011130711e-126],0,0],[[-1.0155994341356255e+111],0,0],[[9.383817895669287e-283],0,0],[[3.611278323934413e-94],0,0],[[1.6564415223201099e+136],0,0],[[-6.602809642561733e-223],0,0],[[1.4448618247603424e-257],0,0],[[3.706054342154294e-129],0,0],[[7.195448856340728e-141],0,0],[[3384824.3314616154],0,0],[[-4.510161549039838e-214],0,0],[[1.1509772202461854e+130],0,0],[[7.876423561266471e+22],0,0],[[2.809919074811328e-300],0,0],[[2.1859104172563636e-264],0,0],[[-1.6313740517107182e-227],0,0],[[-7.512222795104406e-168],0,0],[[-82504272040715.1],0,0],[[-2.191896168863437e-98],0,0],[[-1.9194647450105577e+144],0,0],[[-3.3925149777052834e-63],0,0],[[8.359355849775862e-16],0,0],[[-1.3274409717698955e-301],0,0],[[-7.543647802930883e-65],0,0],[[4.6811315760090616e-144],0,0],[[2.043780925156358e+88],0,0],[[1.046624167704608e-163],0,0],[[-1.3964572346787755e-152],0,0],[[-7.807986006964459e-172],0,0],[[-4.519595929536516e-229],0,0],[[-1.3448163575524206e-16],0,0],[[-1.423542426143039e-129],0,0],[[-2.969699723262003e+31],0,0],[[5.903833024524204e-224],0,0],[[-2.0449888976508749e+136],0,0],[[6.75061600976492e-09],0,0],[[-6.990575505691825e-293],0,0],[[-2.097700040267997e+32],0,0],[[-1.0183335489303076e-199],0,0],[[-2.2046896841875876e+105],0,0],[[-4.630105582658964e+112],0,0],[[-231.6086328505263],0,0],[[-16083688965753228.0],0,0],[[-2.915269426177489e-188],0,0],[[-1.1146873205045003e+50],0,0],[[9.861253466270416e+140],0,0],[[6.509917256919526e-155],0,0],[[-1.235130140170164e-126],0,0],[[2.0740305822111617e-302],0,0],[[2.156659933698441e+65],0,0],[[-3.7138781240413885e-204],0,0],[[-7.263550849085613e-27],0,0],[[5.582278109308679e-72],0,0],[[-9.324073911343234e-97],0,0],[[1.329109205730971e+18],0,0],[[2.480190476546545e-246],0,0],[[7.542398567020551e-205],0,0],[[3.211003609332114e-292],0,0],[[-2.9988557709871706e-297],0,0],[[-3.841622556722524e-66],0,0],[[4.607613593823294e-213],0,0],[[2.03476018732095e+119],0,0],[[2.3993845233584173e-107],0,0],[[-1.3908305214282044e-154],0,0],[[-3.7981733760926524e-59],0,0],[[-2.485557599167403e+61],0,0],[[3.6070289902878433e-298],0,0],[[-6.924414872876826e+121],0,0],[[1.4680641340515712e+37],0,0],[[-6.59522455933465e-44],0,0],[[9.732025433837372e-298],0,0],[[4.717376995390811e-229],0,0],[[-2.3341562724578147e+138],0,0],[[-1.7808212315293658e-267],0,0],[[-1.260155462227717e+139],0,0],[[-4.3402484094339546e-98],0,0],[[-2.1518590613428118e+57],0,0],[[-3.8472878924535176e-69],0,0],[[-1.0752803839894087e-102],0,0],[[-2.4043032639901138e-220],0,0],[[7.317333208039203e-135],0,0],[[-3.5874867218821053e-289],0,0],[[7.51766164914667e-83],0,0],[[1.2494134226790036e-90],0,0],[[5.2370439997769816e-251],0,0],[[-147062523.161634],0,0],[[2.29835853317011e+39],0,0],[[3.8297412694520027e-72],0,0],[[-6.728931476030476e-220],0,0],[[-3.8960057277485095e+62],0,0],[[9.751429336071956e-111],0,0],[[3.4632829335752192e-251],0,0],[[-5.571648378152749e-24],0,0],[[-1.5013788162994641e-139],0,0],[[1.8598894186132259e+137],0,0],[[-3.3947387264781975e-158],0,0],[[2.9019277223709396e-286],0,0],[[-3.3667834592100016e+22],0,0],[[1.2810755089251013e+75],0,0],[[9.138814505421974e-66],0,0],[[2.6556986431700894e-172],0,0],[[-2.8093867946453197],0,0],[[9.597291263463799e+33],0,0],[[3.165542051316829e+57],0,0],[[1.579252672267158e+84],0,0],[[-7.8825607621194955e+93],0,0],[[1.1209809220161085e-271],0,0],[[-3.255819812723566e-280],0,0],[[2.34479875841816e+59],0,0],[[5.702786507831075e+76],0,0],[[-1.7985967492432066e-181],0,0],[[-2.7064948575317953e+102],0,0],[[-5.456612900256313e-153],0,0],[[-1.6440819958925954e-123],0,0],[[8.045725952292009e+27],0,0],[[-3.267629569827715e-251],0,0],[[-8.654617709875635e-36],0,0],[[-5.243244850188282e+70],0,0],[[-1.2177356660474435e-254],0,0],[[7.810899588463585e-172],0,0],[[-7.50461175805814e-258],0,0],[[-2.2074245476722926e-139],0,0],[[3.7649062113016876e-174],0,0],[[3.247555001847955e-09],0,0],[[-3.0357084245012946e-130],0,0],[[9.099484178294087e-276],0,0],[[-8.576640958071904e-118],0,0],[[-3.685865083311364e-22],0,0],[[3.264541092685341e+28],0,0],[[-7.779967944948024e+102],0,0],[[-1.2524242674835265e-178],0,0],[[6.950896233858705e-22],0,0],[[-4.076760961819094e-307],0,0],[[-9.77225532658453e-187],0,0],[[4.4532169971988716e-248],0,0],[[7.435874100938545e+127],0,0],[[1.7367008233662004e-146],0,0],[[-1.8989429074771432e-61],0,0],[[-1.196163833446424e-216],0,0],[[-2.482218997015813e-79],0,0],[[-7.885752610457983e-237],0,0],[[1.710179159392655e-230],0,0],[[-4.865962690031574e-57],0,0],[[-9.009421056215597e-142],0,0],[[-3.089328922376561e+38],0,0],[[-6.458816293530837e+32],0,0],[[1.2314425699492343e+144],0,0],[[-4.391490797054204e-127],0,0],[[-1.3671559872942241e+32],0,0],[[6.7889504343027e+141],0,0],[[3.717688415206528e-63],0,0],[[4.2329024975964494e-120],0,0],[[1.5110472870035968e-137],0,0],[[1.6394729264619353e-305],0,0],[[-2.427270407266838e-292],0,0],[[-2.2804753660027636e-184],0,0],[[-417.84894784071446],0,0],[[-860404.0745975035],1,0],[[9.790032000289722e-170],0,0],[[1.748601585802626e+143],0,0],[[-2.7501066713881833e-45],0,0],[[1.4196179692273589e+51],0,0],[[-1.816962027309807e-87],0,0],[[15210.1761529531],0,0],[[-2.7933732390832485e+50],0,0],[[3.865070822820752e-125],0,0],[[4.405711435557941e-18],0,0],[[6.86860201817031e+37],0,0],[[2.9793076670648235e+135],0,0],[[-1.0747586880572918e-225],0,0],[[3.4461982003189476e-271],0,0],[[2.9675638609500463e-266],0,0],[[-2.4291085511930378e-57],0,0],[[3.7184381896827443e-109],0,0],[[9.342278142177427e-261],0,0],[[-1.9641025336330274e-36],0,0],[[1.5030419663802974e-174],0,0],[[-3.0809655420404695e-28],0,0],[[-2.439062442778655e-102],0,0],[[0.18720893918478226],0,0],[[-3.4986244195491495e-274],0,0],[[8.713457448965708e+55],0,0],[[1.3423233293291483e-162],0,0],[[1.7094985902294833e-299],0,0],[[-4.806258092707348e+97],0,0],[[-3.1666396733025884e-13],0,0],[[6.443766269775323e+116],0,0],[[-2.4346037043150295e+140],0,0],[[1.2878875837081438e-81],0,0],[[-1.2369049141682215e-238],0,0],[[-1.7508318798883553e+27],0,0],[[-2.303287936653167e+103],0,0],[[3.802507995980374e-176],0,0],[[1.2952736416079913e-172],0,0],[[-4.5087835058803264e-119],0,0],[[-4.76358476622384e-40],0,0],[[-4.4587503598222035e-69],0,0],[[-1.894259608196097e+90],0,0],[[-2.3181506163130386e+81],0,0],[[4.678580995434083e-146],0,0],[[2.6773769570729964e-91],0,0],[[-3.685146484696044e-133],0,0],[[-6.601969142405229e+46],0,0],[[1.0258897434193047e+31],0,0],[[3.867922064222235e-78],0,0],[[6.811775981980025e+18],0,0],[[1.4782394318457476e-109],0,0],[[-5.609454405888344e-131],0,0],[[-1.9166323121487114e-233],0,0],[[-8.914664962649548e-28],0,0],[[2.738458460650558e+50],0,0],[[1.2054688632397534e+33],0,0],[[-1.7060173400540982e-279],0,0],[[1.692419472494387e-152],0,0],[[-8.508186045528442e-232],0,0],[[3.496596375732988e-212],0,0],[[-1.7601344029867343e-290],0,0],[[7.5963065745174464e-06],0,0],[[1.6348045764158446e-257],0,0],[[-4.607089829824939e-06],0,0],[[4.821955799677156e-289],0,0],[[1.7483065599934842e+85],0,0],[[-1.0057412795601501e-141],0,0],[[0.060556571647326925],0,0],[[1.8480052807692756e-77],0,0],[[8.452451609890028e+85],0,0],[[3.450903835999846e-213],0,0],[[4.495110039324184e-82],0,0],[[-1.3252476549554923e-172],0,0],[[-2.099587820327233e-176],0,0],[[2.229461735274287e-223],0,0],[[-5.461310186136003e+131],0,0],[[-1.265259404413343e-89],0,0],[[-1.0963427561332458e-156],0,0],[[5.741222418922647e-41],0,0],[[-1.1560520854064811e-178],0,0],[[3.6484688752466967e-69],0,0],[[5.094611782176626e-183],0,0],[[-4.253682617948995e-243],0,0],[[-1.6600604267765295e-45],0,0]],"fresh-alts":["#<alt-delta (λ (x) (+ (* x x) (+ x x)))>","#<alt-event (λ (x) (- (* (+ x 1) (+ x 1)) 1))>"],"picked-error":0.0078125,"best-alt-per-point":[[[-8.05737758242569e-91],0,0],[[1.0057242501199301e-254],0,0],[[-3.222264666704597e-210],0,0],[[1.099315532911349e-23],0,0],[[1.1988791635038015e-56],0,0],[[-171.37335414723813],1,0],[[3.50550012204851e-33],0,0],[[1.708686197016133e+79],0,0],[[-3.1472164561505567e-59],0,0],[[1.705817703400908e+63],0,0],[[-1.1204577574966285e-246],0,0],[[-4.921050894675189e-140],0,0],[[2.0974429565133816e-215],0,0],[[-8.048358363486665e+120],0,0],[[1.51646550817889e-257],0,0],[[-0.0007363022252445651],0,0],[[-5.624997011130711e-126],0,0],[[-1.0155994341356255e+111],0,0],[[9.383817895669287e-283],0,0],[[3.611278323934413e-94],0,0],[[1.6564415223201099e+136],0,0],[[-6.602809642561733e-223],0,0],[[1.4448618247603424e-257],0,0],[[3.706054342154294e-129],0,0],[[7.195448856340728e-141],0,0],[[3384824.3314616154],0,0],[[-4.510161549039838e-214],0,0],[[1.1509772202461854e+130],0,0],[[7.876423561266471e+22],0,0],[[2.809919074811328e-300],0,0],[[2.1859104172563636e-264],0,0],[[-1.6313740517107182e-227],0,0],[[-7.512222795104406e-168],0,0],[[-82504272040715.1],0,0],[[-2.191896168863437e-98],0,0],[[-1.9194647450105577e+144],0,0],[[-3.3925149777052834e-63],0,0],[[8.359355849775862e-16],0,0],[[-1.3274409717698955e-301],0,0],[[-7.543647802930883e-65],0,0],[[4.6811315760090616e-144],0,0],[[2.043780925156358e+88],0,0],[[1.046624167704608e-163],0,0],[[-1.3964572346787755e-152],0,0],[[-7.807986006964459e-172],0,0],[[-4.519595929536516e-229],0,0],[[-1.3448163575524206e-16],0,0],[[-1.423542426143039e-129],0,0],[[-2.969699723262003e+31],0,0],[[5.903833024524204e-224],0,0],[[-2.0449888976508749e+136],0,0],[[6.75061600976492e-09],0,0],[[-6.990575505691825e-293],0,0],[[-2.097700040267997e+32],0,0],[[-1.0183335489303076e-199],0,0],[[-2.2046896841875876e+105],0,0],[[-4.630105582658964e+112],0,0],[[-231.6086328505263],0,0],[[-16083688965753228.0],0,0],[[-2.915269426177489e-188],0,0],[[-1.1146873205045003e+50],0,0],[[9.861253466270416e+140],0,0],[[6.509917256919526e-155],0,0],[[-1.235130140170164e-126],0,0],[[2.0740305822111617e-302],0,0],[[2.156659933698441e+65],0,0],[[-3.7138781240413885e-204],0,0],[[-7.263550849085613e-27],0,0],[[5.582278109308679e-72],0,0],[[-9.324073911343234e-97],0,0],[[1.329109205730971e+18],0,0],[[2.480190476546545e-246],0,0],[[7.542398567020551e-205],0,0],[[3.211003609332114e-292],0,0],[[-2.9988557709871706e-297],0,0],[[-3.841622556722524e-66],0,0],[[4.607613593823294e-213],0,0],[[2.03476018732095e+119],0,0],[[2.3993845233584173e-107],0,0],[[-1.3908305214282044e-154],0,0],[[-3.7981733760926524e-59],0,0],[[-2.485557599167403e+61],0,0],[[3.6070289902878433e-298],0,0],[[-6.924414872876826e+121],0,0],[[1.4680641340515712e+37],0,0],[[-6.59522455933465e-44],0,0],[[9.732025433837372e-298],0,0],[[4.717376995390811e-229],0,0],[[-2.3341562724578147e+138],0,0],[[-1.7808212315293658e-267],0,0],[[-1.260155462227717e+139],0,0],[[-4.3402484094339546e-98],0,0],[[-2.1518590613428118e+57],0,0],[[-3.8472878924535176e-69],0,0],[[-1.0752803839894087e-102],0,0],[[-2.4043032639901138e-220],0,0],[[7.317333208039203e-135],0,0],[[-3.5874867218821053e-289],0,0],[[7.51766164914667e-83],0,0],[[1.2494134226790036e-90],0,0],[[5.2370439997769816e-251],0,0],[[-147062523.161634],0,0],[[2.29835853317011e+39],0,0],[[3.8297412694520027e-72],0,0],[[-6.728931476030476e-220],0,0],[[-3.8960057277485095e+62],0,0],[[9.751429336071956e-111],0,0],[[3.4632829335752192e-251],0,0],[[-5.571648378152749e-24],0,0],[[-1.5013788162994641e-139],0,0],[[1.8598894186132259e+137],0,0],[[-3.3947387264781975e-158],0,0],[[2.9019277223709396e-286],0,0],[[-3.3667834592100016e+22],0,0],[[1.2810755089251013e+75],0,0],[[9.138814505421974e-66],0,0],[[2.6556986431700894e-172],0,0],[[-2.8093867946453197],0,0],[[9.597291263463799e+33],0,0],[[3.165542051316829e+57],0,0],[[1.579252672267158e+84],0,0],[[-7.8825607621194955e+93],0,0],[[1.1209809220161085e-271],0,0],[[-3.255819812723566e-280],0,0],[[2.34479875841816e+59],0,0],[[5.702786507831075e+76],0,0],[[-1.7985967492432066e-181],0,0],[[-2.7064948575317953e+102],0,0],[[-5.456612900256313e-153],0,0],[[-1.6440819958925954e-123],0,0],[[8.045725952292009e+27],0,0],[[-3.267629569827715e-251],0,0],[[-8.654617709875635e-36],0,0],[[-5.243244850188282e+70],0,0],[[-1.2177356660474435e-254],0,0],[[7.810899588463585e-172],0,0],[[-7.50461175805814e-258],0,0],[[-2.2074245476722926e-139],0,0],[[3.7649062113016876e-174],0,0],[[3.247555001847955e-09],0,0],[[-3.0357084245012946e-130],0,0],[[9.099484178294087e-276],0,0],[[-8.576640958071904e-118],0,0],[[-3.685865083311364e-22],0,0],[[3.264541092685341e+28],0,0],[[-7.779967944948024e+102],0,0],[[-1.2524242674835265e-178],0,0],[[6.950896233858705e-22],0,0],[[-4.076760961819094e-307],0,0],[[-9.77225532658453e-187],0,0],[[4.4532169971988716e-248],0,0],[[7.435874100938545e+127],0,0],[[1.7367008233662004e-146],0,0],[[-1.8989429074771432e-61],0,0],[[-1.196163833446424e-216],0,0],[[-2.482218997015813e-79],0,0],[[-7.885752610457983e-237],0,0],[[1.710179159392655e-230],0,0],[[-4.865962690031574e-57],0,0],[[-9.009421056215597e-142],0,0],[[-3.089328922376561e+38],0,0],[[-6.458816293530837e+32],0,0],[[1.2314425699492343e+144],0,0],[[-4.391490797054204e-127],0,0],[[-1.3671559872942241e+32],0,0],[[6.7889504343027e+141],0,0],[[3.717688415206528e-63],0,0],[[4.2329024975964494e-120],0,0],[[1.5110472870035968e-137],0,0],[[1.6394729264619353e-305],0,0],[[-2.427270407266838e-292],0,0],[[-2.2804753660027636e-184],0,0],[[-417.84894784071446],0,0],[[-860404.0745975035],1,0],[[9.790032000289722e-170],0,0],[[1.748601585802626e+143],0,0],[[-2.7501066713881833e-45],0,0],[[1.4196179692273589e+51],0,0],[[-1.816962027309807e-87],0,0],[[15210.1761529531],0,0],[[-2.7933732390832485e+50],0,0],[[3.865070822820752e-125],0,0],[[4.405711435557941e-18],0,0],[[6.86860201817031e+37],0,0],[[2.9793076670648235e+135],0,0],[[-1.0747586880572918e-225],0,0],[[3.4461982003189476e-271],0,0],[[2.9675638609500463e-266],0,0],[[-2.4291085511930378e-57],0,0],[[3.7184381896827443e-109],0,0],[[9.342278142177427e-261],0,0],[[-1.9641025336330274e-36],0,0],[[1.5030419663802974e-174],0,0],[[-3.0809655420404695e-28],0,0],[[-2.439062442778655e-102],0,0],[[0.18720893918478226],0,0],[[-3.4986244195491495e-274],0,0],[[8.713457448965708e+55],0,0],[[1.3423233293291483e-162],0,0],[[1.7094985902294833e-299],0,0],[[-4.806258092707348e+97],0,0],[[-3.1666396733025884e-13],0,0],[[6.443766269775323e+116],0,0],[[-2.4346037043150295e+140],0,0],[[1.2878875837081438e-81],0,0],[[-1.2369049141682215e-238],0,0],[[-1.7508318798883553e+27],0,0],[[-2.303287936653167e+103],0,0],[[3.802507995980374e-176],0,0],[[1.2952736416079913e-172],0,0],[[-4.5087835058803264e-119],0,0],[[-4.76358476622384e-40],0,0],[[-4.4587503598222035e-69],0,0],[[-1.894259608196097e+90],0,0],[[-2.3181506163130386e+81],0,0],[[4.678580995434083e-146],0,0],[[2.6773769570729964e-91],0,0],[[-3.685146484696044e-133],0,0],[[-6.601969142405229e+46],0,0],[[1.0258897434193047e+31],0,0],[[3.867922064222235e-78],0,0],[[6.811775981980025e+18],0,0],[[1.4782394318457476e-109],0,0],[[-5.609454405888344e-131],0,0],[[-1.9166323121487114e-233],0,0],[[-8.914664962649548e-28],0,0],[[2.738458460650558e+50],0,0],[[1.2054688632397534e+33],0,0],[[-1.7060173400540982e-279],0,0],[[1.692419472494387e-152],0,0],[[-8.508186045528442e-232],0,0],[[3.496596375732988e-212],0,0],[[-1.7601344029867343e-290],0,0],[[7.5963065745174464e-06],0,0],[[1.6348045764158446e-257],0,0],[[-4.607089829824939e-06],0,0],[[4.821955799677156e-289],0,0],[[1.7483065599934842e+85],0,0],[[-1.0057412795601501e-141],0,0],[[0.060556571647326925],0,0],[[1.8480052807692756e-77],0,0],[[8.452451609890028e+85],0,0],[[3.450903835999846e-213],0,0],[[4.495110039324184e-82],0,0],[[-1.3252476549554923e-172],0,0],[[-2.099587820327233e-176],0,0],[[2.229461735274287e-223],0,0],[[-5.461310186136003e+131],0,0],[[-1.265259404413343e-89],0,0],[[-1.0963427561332458e-156],0,0],[[5.741222418922647e-41],0,0],[[-1.1560520854064811e-178],0,0],[[3.6484688752466967e-69],0,0],[[5.094611782176626e-183],0,0],[[-4.253682617948995e-243],0,0],[[-1.6600604267765295e-45],0,0]],"picked":"(λ (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 (33 enodes)
* * [misc]simplify:  iters left: 1 (48 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 3) (pow x 3)) (pow (+ x x) 3))
* [exit]simplify:  Simplified to (+ (* (pow x 3) (pow x 3)) (pow (+ x 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 (211 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 (+ x 2))
* * * * [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 (+ x 2))
* * * * [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 (+ x 2))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 4
* * * [misc]progress:  picking best candidate
"ALT DATA: "{"all-alts":["#<alt-delta (λ (x) (+ (* x x) (+ x x)))>","#<alt-event (λ (x) (- (* (+ x 1) (+ x 1)) 1))>"],"best-fresh-alt-per-point":[[[-8.05737758242569e-91],0,61.50112325590902],[[1.0057242501199301e-254],0,59.49329318352696],[[-3.222264666704597e-210],0,60.357813015906444],[[1.099315532911349e-23],0,61.88822761952954],[[1.1988791635038015e-56],0,61.711109156590666],[[-171.37335414723813],0,0],[[3.50550012204851e-33],0,61.839420490807456],[[1.708686197016133e+79],0,0],[[-3.1472164561505567e-59],0,61.69623805399052],[[1.705817703400908e+63],0,0],[[-1.1204577574966285e-246],0,59.6931979555078],[[-4.921050894675189e-140],0,61.132299342958646],[[2.0974429565133816e-215],0,60.279878062723455],[[-8.048358363486665e+120],0,0],[[1.51646550817889e-257],0,59.41634645354414],[[-0.0007363022252445651],0,5.129283016944966],[[-5.624997011130711e-126],0,61.24769932221117],[[-1.0155994341356255e+111],0,0],[[9.383817895669287e-283],0,58.44443762118604],[[3.611278323934413e-94],0,61.47878290602292],[[1.6564415223201099e+136],0,0],[[-6.602809642561733e-223],0,60.15941421294456],[[1.4448618247603424e-257],0,59.41561985785321],[[3.706054342154294e-129],0,61.22227437169628],[[7.195448856340728e-141],0,61.12508019138614],[[3384824.3314616154],0,0],[[-4.510161549039838e-214],0,60.30019087794064],[[1.1509772202461854e+130],0,0],[[7.876423561266471e+22],0,0],[[2.809919074811328e-300],0,56.85208789362445],[[2.1859104172563636e-264],0,59.21044056629568],[[-1.6313740517107182e-227],0,60.07972935687233],[[-7.512222795104406e-168],0,60.872742367303566],[[-82504272040715.1],0,0],[[-2.191896168863437e-98],0,61.45017652600962],[[-1.9194647450105577e+144],0,0],[[-3.3925149777052834e-63],0,61.673124596192785],[[8.359355849775862e-16],0,48.91245556728298],[[-1.3274409717698955e-301],0,56.610130975051575],[[-7.543647802930883e-65],0,61.663533372003684],[[4.6811315760090616e-144],0,61.0975756780773],[[2.043780925156358e+88],0,0],[[1.046624167704608e-163],0,60.91440538957409],[[-1.3964572346787755e-152],0,61.020876538811095],[[-7.807986006964459e-172],0,60.8313348392225],[[-4.519595929536516e-229],0,60.05186397346465],[[-1.3448163575524206e-16],0,49.757384399899976],[[-1.423542426143039e-129],0,61.219104388026686],[[-2.969699723262003e+31],0,0],[[5.903833024524204e-224],0,60.14142161058638],[[-2.0449888976508749e+136],0,0],[[6.75061600976492e-09],0,25.275341354407463],[[-6.990575505691825e-293],0,57.73863834608627],[[-2.097700040267997e+32],0,0],[[-1.0183335489303076e-199],0,60.50362187775696],[[-2.2046896841875876e+105],0,0],[[-4.630105582658964e+112],0,0],[[-231.6086328505263],0,0],[[-16083688965753228.0],0,1.0],[[-2.915269426177489e-188],0,60.64751155050185],[[-1.1146873205045003e+50],0,0],[[9.861253466270416e+140],0,0],[[6.509917256919526e-155],0,60.99928319251109],[[-1.235130140170164e-126],0,61.242393316725654],[[2.0740305822111617e-302],0,56.44479117039991],[[2.156659933698441e+65],0,0],[[-3.7138781240413885e-204],0,60.4436249119436],[[-7.263550849085613e-27],0,61.872096116608176],[[5.582278109308679e-72],0,61.62064666619905],[[-9.324073911343234e-97],0,61.46146227829376],[[1.329109205730971e+18],0,0],[[2.480190476546545e-246],0,59.70102105441998],[[7.542398567020551e-205],0,60.43417702601339],[[3.211003609332114e-292],0,57.797069091598175],[[-2.9988557709871706e-297],0,57.283967782866135],[[-3.841622556722524e-66],0,61.65574229152684],[[4.607613593823294e-213],0,60.315381222432734],[[2.03476018732095e+119],0,0],[[2.3993845233584173e-107],0,61.387502464083546],[[-1.3908305214282044e-154],0,61.00243474321486],[[-3.7981733760926524e-59],0,61.696806424964606],[[-2.485557599167403e+61],0,0],[[3.6070289902878433e-298],0,57.16539700883437],[[-6.924414872876826e+121],0,0],[[1.4680641340515712e+37],0,0],[[-6.59522455933465e-44],0,61.7821313231281],[[9.732025433837372e-298],0,57.22005683070048],[[4.717376995390811e-229],0,60.0521899785047],[[-2.3341562724578147e+138],0,0],[[-1.7808212315293658e-267],0,59.10682459161335],[[-1.260155462227717e+139],0,0],[[-4.3402484094339546e-98],0,61.45220687544506],[[-2.1518590613428118e+57],0,0],[[-3.8472878924535176e-69],0,61.63781953763642],[[-1.0752803839894087e-102],0,61.420390135447185],[[-2.4043032639901138e-220],0,60.20142781743083],[[7.317333208039203e-135],0,61.17574820918481],[[-3.5874867218821053e-289],0,58.03887640405442],[[7.51766164914667e-83],0,61.55293986669309],[[1.2494134226790036e-90],0,61.502379436914005],[[5.2370439997769816e-251],0,59.5887133764969],[[-147062523.161634],0,1.0],[[2.29835853317011e+39],0,0],[[3.8297412694520027e-72],0,61.61965444552019],[[-6.728931476030476e-220],0,60.20896715221873],[[-3.8960057277485095e+62],0,0],[[9.751429336071956e-111],0,61.36296449294043],[[3.4632829335752192e-251],0,59.584839960691305],[[-5.571648378152749e-24],0,61.8867390183268],[[-1.5013788162994641e-139],0,61.1364475539458],[[1.8598894186132259e+137],0,0],[[-3.3947387264781975e-158],0,60.96827607678191],[[2.9019277223709396e-286],0,58.23612652134049],[[-3.3667834592100016e+22],0,0],[[1.2810755089251013e+75],0,0],[[9.138814505421974e-66],0,61.658077311226066],[[2.6556986431700894e-172],0,60.82663207444734],[[-2.8093867946453197],0,0],[[9.597291263463799e+33],0,0],[[3.165542051316829e+57],0,0],[[1.579252672267158e+84],0,0],[[-7.8825607621194955e+93],0,0],[[1.1209809220161085e-271],0,58.952974923194745],[[-3.255819812723566e-280],0,58.5770888265874],[[2.34479875841816e+59],0,0],[[5.702786507831075e+76],0,0],[[-1.7985967492432066e-181],0,60.726193158224405],[[-2.7064948575317953e+102],0,0],[[-5.456612900256313e-153],0,61.01720690669994],[[-1.6440819958925954e-123],0,61.26698988597865],[[8.045725952292009e+27],0,0],[[-3.267629569827715e-251],0,59.58399757556346],[[-8.654617709875635e-36],0,61.82565525730782],[[-5.243244850188282e+70],0,0],[[-1.2177356660474435e-254],0,59.495283144494344],[[7.810899588463585e-172],0,60.83133662230848],[[-7.50461175805814e-258],0,59.40771738982514],[[-2.2074245476722926e-139],0,61.137796435375506],[[3.7649062113016876e-174],0,60.80691158437966],[[3.247555001847955e-09],0,28.056407353010748],[[-3.0357084245012946e-130],0,61.213549972344545],[[9.099484178294087e-276],0,58.78476806019017],[[-8.576640958071904e-118],0,61.31079770275647],[[-3.685865083311364e-22],0,61.89593965972517],[[3.264541092685341e+28],0,0],[[-7.779967944948024e+102],0,0],[[-1.2524242674835265e-178],0,60.75827329195984],[[6.950896233858705e-22],0,61.89730280682268],[[-4.076760961819094e-307],0,54.61944108042558],[[-9.77225532658453e-187],0,60.665559756388255],[[4.4532169971988716e-248],0,59.65996351764777],[[7.435874100938545e+127],0,0],[[1.7367008233662004e-146],0,61.0761071503026],[[-1.8989429074771432e-61],0,61.68338169605117],[[-1.196163833446424e-216],0,60.260446345873],[[-2.482218997015813e-79],0,61.575235731757644],[[-7.885752610457983e-237],0,59.90451230617446],[[1.710179159392655e-230],0,60.02602223017713],[[-4.865962690031574e-57],0,61.7089269672643],[[-9.009421056215597e-142],0,61.11731400524348],[[-3.089328922376561e+38],0,0],[[-6.458816293530837e+32],0,0],[[1.2314425699492343e+144],0,0],[[-4.391490797054204e-127],0,61.23885629307121],[[-1.3671559872942241e+32],0,0],[[6.7889504343027e+141],0,0],[[3.717688415206528e-63],0,61.67336096625318],[[4.2329024975964494e-120],0,61.29316422776717],[[1.5110472870035968e-137],0,61.15331339916498],[[1.6394729264619353e-305],0,55.51590117730168],[[-2.427270407266838e-292],0,57.786886728107255],[[-2.2804753660027636e-184],0,60.693270869416565],[[-417.84894784071446],0,0],[[-860404.0745975035],0,0],[[9.790032000289722e-170],0,60.853240580505314],[[1.748601585802626e+143],0,0],[[-2.7501066713881833e-45],0,61.77472536775407],[[1.4196179692273589e+51],0,0],[[-1.816962027309807e-87],0,61.52318405154664],[[15210.1761529531],0,0],[[-2.7933732390832485e+50],0,0],[[3.865070822820752e-125],0,61.25416698826148],[[4.405711435557941e-18],0,61.91628235100706],[[6.86860201817031e+37],0,0],[[2.9793076670648235e+135],0,0],[[-1.0747586880572918e-225],0,60.11161188496396],[[3.4461982003189476e-271],0,58.97104325012418],[[2.9675638609500463e-266],0,59.14887061507383],[[-2.4291085511930378e-57],0,61.70719685460073],[[3.7184381896827443e-109],0,61.374488716659044],[[9.342278142177427e-261],0,59.32327214779482],[[-1.9641025336330274e-36],0,61.822260701890535],[[1.5030419663802974e-174],0,60.80247433375187],[[-3.0809655420404695e-28],0,61.86499955234135],[[-2.439062442778655e-102],0,61.422833688705815],[[0.18720893918478226],0,2.321928094887362],[[-3.4986244195491495e-274],0,58.851925536020396],[[8.713457448965708e+55],0,0],[[1.3423233293291483e-162],0,60.92542922598181],[[1.7094985902294833e-299],0,56.974118507697625],[[-4.806258092707348e+97],0,0],[[-3.1666396733025884e-13],0,39.03111589048307],[[6.443766269775323e+116],0,0],[[-2.4346037043150295e+140],0,0],[[1.2878875837081438e-81],0,61.560756312871696],[[-1.2369049141682215e-238],0,59.86796364947153],[[-1.7508318798883553e+27],0,0],[[-2.303287936653167e+103],0,0],[[3.802507995980374e-176],0,60.78530143603115],[[1.2952736416079913e-172],0,60.82337082836547],[[-4.5087835058803264e-119],0,61.301082734756626],[[-4.76358476622384e-40],0,61.80299573700739],[[-4.4587503598222035e-69],0,61.63829710946182],[[-1.894259608196097e+90],0,0],[[-2.3181506163130386e+81],0,0],[[4.678580995434083e-146],0,61.079933864825655],[[2.6773769570729964e-91],0,61.49803297586935],[[-3.685146484696044e-133],0,61.189938912295574],[[-6.601969142405229e+46],0,0],[[1.0258897434193047e+31],0,0],[[3.867922064222235e-78],0,61.582690532696624],[[6.811775981980025e+18],0,0],[[1.4782394318457476e-109],0,61.37153421483936],[[-5.609454405888344e-131],0,61.20761044537886],[[-1.9166323121487114e-233],0,59.97099389198618],[[-8.914664962649548e-28],0,61.8674387279881],[[2.738458460650558e+50],0,0],[[1.2054688632397534e+33],0,0],[[-1.7060173400540982e-279],0,58.613759756166274],[[1.692419472494387e-152],0,61.02173728412069],[[-8.508186045528442e-232],0,60.00180737173914],[[3.496596375732988e-212],0,60.32854660823634],[[-1.7601344029867343e-290],0,57.93951445311329],[[7.5963065745174464e-06],0,16.881544180700086],[[1.6348045764158446e-257],0,59.41754649321788],[[-4.607089829824939e-06],0,15.763004829585979],[[4.821955799677156e-289],0,58.04820973735496],[[1.7483065599934842e+85],0,0],[[-1.0057412795601501e-141],0,61.117728914303036],[[0.060556571647326925],0,3.4594316186372978],[[1.8480052807692756e-77],0,61.58697096023992],[[8.452451609890028e+85],0,0],[[3.450903835999846e-213],0,60.31361655737973],[[4.495110039324184e-82],0,61.557857241251355],[[-1.3252476549554923e-172],0,60.823444608012345],[[-2.099587820327233e-176],0,60.78243932167117],[[2.229461735274287e-223],0,60.15121663537596],[[-5.461310186136003e+131],0,0],[[-1.265259404413343e-89],0,61.509004692115695],[[-1.0963427561332458e-156],0,60.982655792823145],[[5.741222418922647e-41],0,61.798067251129524],[[-1.1560520854064811e-178],0,60.75780283961271],[[3.6484688752466967e-69],0,61.63766421953366],[[5.094611782176626e-183],0,60.708576870212696],[[-4.253682617948995e-243],0,59.77356961958439],[[-1.6600604267765295e-45],0,61.773443638826805]],"fresh-alts":["#<alt-event (λ (x) (- (* (+ x 1) (+ x 1)) 1))>"],"picked-error":40.61042805509193,"best-alt-per-point":[[[-8.05737758242569e-91],0,0],[[1.0057242501199301e-254],0,0],[[-3.222264666704597e-210],0,0],[[1.099315532911349e-23],0,0],[[1.1988791635038015e-56],0,0],[[-171.37335414723813],1,0],[[3.50550012204851e-33],0,0],[[1.708686197016133e+79],0,0],[[-3.1472164561505567e-59],0,0],[[1.705817703400908e+63],0,0],[[-1.1204577574966285e-246],0,0],[[-4.921050894675189e-140],0,0],[[2.0974429565133816e-215],0,0],[[-8.048358363486665e+120],0,0],[[1.51646550817889e-257],0,0],[[-0.0007363022252445651],0,0],[[-5.624997011130711e-126],0,0],[[-1.0155994341356255e+111],0,0],[[9.383817895669287e-283],0,0],[[3.611278323934413e-94],0,0],[[1.6564415223201099e+136],0,0],[[-6.602809642561733e-223],0,0],[[1.4448618247603424e-257],0,0],[[3.706054342154294e-129],0,0],[[7.195448856340728e-141],0,0],[[3384824.3314616154],0,0],[[-4.510161549039838e-214],0,0],[[1.1509772202461854e+130],0,0],[[7.876423561266471e+22],0,0],[[2.809919074811328e-300],0,0],[[2.1859104172563636e-264],0,0],[[-1.6313740517107182e-227],0,0],[[-7.512222795104406e-168],0,0],[[-82504272040715.1],0,0],[[-2.191896168863437e-98],0,0],[[-1.9194647450105577e+144],0,0],[[-3.3925149777052834e-63],0,0],[[8.359355849775862e-16],0,0],[[-1.3274409717698955e-301],0,0],[[-7.543647802930883e-65],0,0],[[4.6811315760090616e-144],0,0],[[2.043780925156358e+88],0,0],[[1.046624167704608e-163],0,0],[[-1.3964572346787755e-152],0,0],[[-7.807986006964459e-172],0,0],[[-4.519595929536516e-229],0,0],[[-1.3448163575524206e-16],0,0],[[-1.423542426143039e-129],0,0],[[-2.969699723262003e+31],0,0],[[5.903833024524204e-224],0,0],[[-2.0449888976508749e+136],0,0],[[6.75061600976492e-09],0,0],[[-6.990575505691825e-293],0,0],[[-2.097700040267997e+32],0,0],[[-1.0183335489303076e-199],0,0],[[-2.2046896841875876e+105],0,0],[[-4.630105582658964e+112],0,0],[[-231.6086328505263],0,0],[[-16083688965753228.0],0,0],[[-2.915269426177489e-188],0,0],[[-1.1146873205045003e+50],0,0],[[9.861253466270416e+140],0,0],[[6.509917256919526e-155],0,0],[[-1.235130140170164e-126],0,0],[[2.0740305822111617e-302],0,0],[[2.156659933698441e+65],0,0],[[-3.7138781240413885e-204],0,0],[[-7.263550849085613e-27],0,0],[[5.582278109308679e-72],0,0],[[-9.324073911343234e-97],0,0],[[1.329109205730971e+18],0,0],[[2.480190476546545e-246],0,0],[[7.542398567020551e-205],0,0],[[3.211003609332114e-292],0,0],[[-2.9988557709871706e-297],0,0],[[-3.841622556722524e-66],0,0],[[4.607613593823294e-213],0,0],[[2.03476018732095e+119],0,0],[[2.3993845233584173e-107],0,0],[[-1.3908305214282044e-154],0,0],[[-3.7981733760926524e-59],0,0],[[-2.485557599167403e+61],0,0],[[3.6070289902878433e-298],0,0],[[-6.924414872876826e+121],0,0],[[1.4680641340515712e+37],0,0],[[-6.59522455933465e-44],0,0],[[9.732025433837372e-298],0,0],[[4.717376995390811e-229],0,0],[[-2.3341562724578147e+138],0,0],[[-1.7808212315293658e-267],0,0],[[-1.260155462227717e+139],0,0],[[-4.3402484094339546e-98],0,0],[[-2.1518590613428118e+57],0,0],[[-3.8472878924535176e-69],0,0],[[-1.0752803839894087e-102],0,0],[[-2.4043032639901138e-220],0,0],[[7.317333208039203e-135],0,0],[[-3.5874867218821053e-289],0,0],[[7.51766164914667e-83],0,0],[[1.2494134226790036e-90],0,0],[[5.2370439997769816e-251],0,0],[[-147062523.161634],0,0],[[2.29835853317011e+39],0,0],[[3.8297412694520027e-72],0,0],[[-6.728931476030476e-220],0,0],[[-3.8960057277485095e+62],0,0],[[9.751429336071956e-111],0,0],[[3.4632829335752192e-251],0,0],[[-5.571648378152749e-24],0,0],[[-1.5013788162994641e-139],0,0],[[1.8598894186132259e+137],0,0],[[-3.3947387264781975e-158],0,0],[[2.9019277223709396e-286],0,0],[[-3.3667834592100016e+22],0,0],[[1.2810755089251013e+75],0,0],[[9.138814505421974e-66],0,0],[[2.6556986431700894e-172],0,0],[[-2.8093867946453197],0,0],[[9.597291263463799e+33],0,0],[[3.165542051316829e+57],0,0],[[1.579252672267158e+84],0,0],[[-7.8825607621194955e+93],0,0],[[1.1209809220161085e-271],0,0],[[-3.255819812723566e-280],0,0],[[2.34479875841816e+59],0,0],[[5.702786507831075e+76],0,0],[[-1.7985967492432066e-181],0,0],[[-2.7064948575317953e+102],0,0],[[-5.456612900256313e-153],0,0],[[-1.6440819958925954e-123],0,0],[[8.045725952292009e+27],0,0],[[-3.267629569827715e-251],0,0],[[-8.654617709875635e-36],0,0],[[-5.243244850188282e+70],0,0],[[-1.2177356660474435e-254],0,0],[[7.810899588463585e-172],0,0],[[-7.50461175805814e-258],0,0],[[-2.2074245476722926e-139],0,0],[[3.7649062113016876e-174],0,0],[[3.247555001847955e-09],0,0],[[-3.0357084245012946e-130],0,0],[[9.099484178294087e-276],0,0],[[-8.576640958071904e-118],0,0],[[-3.685865083311364e-22],0,0],[[3.264541092685341e+28],0,0],[[-7.779967944948024e+102],0,0],[[-1.2524242674835265e-178],0,0],[[6.950896233858705e-22],0,0],[[-4.076760961819094e-307],0,0],[[-9.77225532658453e-187],0,0],[[4.4532169971988716e-248],0,0],[[7.435874100938545e+127],0,0],[[1.7367008233662004e-146],0,0],[[-1.8989429074771432e-61],0,0],[[-1.196163833446424e-216],0,0],[[-2.482218997015813e-79],0,0],[[-7.885752610457983e-237],0,0],[[1.710179159392655e-230],0,0],[[-4.865962690031574e-57],0,0],[[-9.009421056215597e-142],0,0],[[-3.089328922376561e+38],0,0],[[-6.458816293530837e+32],0,0],[[1.2314425699492343e+144],0,0],[[-4.391490797054204e-127],0,0],[[-1.3671559872942241e+32],0,0],[[6.7889504343027e+141],0,0],[[3.717688415206528e-63],0,0],[[4.2329024975964494e-120],0,0],[[1.5110472870035968e-137],0,0],[[1.6394729264619353e-305],0,0],[[-2.427270407266838e-292],0,0],[[-2.2804753660027636e-184],0,0],[[-417.84894784071446],0,0],[[-860404.0745975035],1,0],[[9.790032000289722e-170],0,0],[[1.748601585802626e+143],0,0],[[-2.7501066713881833e-45],0,0],[[1.4196179692273589e+51],0,0],[[-1.816962027309807e-87],0,0],[[15210.1761529531],0,0],[[-2.7933732390832485e+50],0,0],[[3.865070822820752e-125],0,0],[[4.405711435557941e-18],0,0],[[6.86860201817031e+37],0,0],[[2.9793076670648235e+135],0,0],[[-1.0747586880572918e-225],0,0],[[3.4461982003189476e-271],0,0],[[2.9675638609500463e-266],0,0],[[-2.4291085511930378e-57],0,0],[[3.7184381896827443e-109],0,0],[[9.342278142177427e-261],0,0],[[-1.9641025336330274e-36],0,0],[[1.5030419663802974e-174],0,0],[[-3.0809655420404695e-28],0,0],[[-2.439062442778655e-102],0,0],[[0.18720893918478226],0,0],[[-3.4986244195491495e-274],0,0],[[8.713457448965708e+55],0,0],[[1.3423233293291483e-162],0,0],[[1.7094985902294833e-299],0,0],[[-4.806258092707348e+97],0,0],[[-3.1666396733025884e-13],0,0],[[6.443766269775323e+116],0,0],[[-2.4346037043150295e+140],0,0],[[1.2878875837081438e-81],0,0],[[-1.2369049141682215e-238],0,0],[[-1.7508318798883553e+27],0,0],[[-2.303287936653167e+103],0,0],[[3.802507995980374e-176],0,0],[[1.2952736416079913e-172],0,0],[[-4.5087835058803264e-119],0,0],[[-4.76358476622384e-40],0,0],[[-4.4587503598222035e-69],0,0],[[-1.894259608196097e+90],0,0],[[-2.3181506163130386e+81],0,0],[[4.678580995434083e-146],0,0],[[2.6773769570729964e-91],0,0],[[-3.685146484696044e-133],0,0],[[-6.601969142405229e+46],0,0],[[1.0258897434193047e+31],0,0],[[3.867922064222235e-78],0,0],[[6.811775981980025e+18],0,0],[[1.4782394318457476e-109],0,0],[[-5.609454405888344e-131],0,0],[[-1.9166323121487114e-233],0,0],[[-8.914664962649548e-28],0,0],[[2.738458460650558e+50],0,0],[[1.2054688632397534e+33],0,0],[[-1.7060173400540982e-279],0,0],[[1.692419472494387e-152],0,0],[[-8.508186045528442e-232],0,0],[[3.496596375732988e-212],0,0],[[-1.7601344029867343e-290],0,0],[[7.5963065745174464e-06],0,0],[[1.6348045764158446e-257],0,0],[[-4.607089829824939e-06],0,0],[[4.821955799677156e-289],0,0],[[1.7483065599934842e+85],0,0],[[-1.0057412795601501e-141],0,0],[[0.060556571647326925],0,0],[[1.8480052807692756e-77],0,0],[[8.452451609890028e+85],0,0],[[3.450903835999846e-213],0,0],[[4.495110039324184e-82],0,0],[[-1.3252476549554923e-172],0,0],[[-2.099587820327233e-176],0,0],[[2.229461735274287e-223],0,0],[[-5.461310186136003e+131],0,0],[[-1.265259404413343e-89],0,0],[[-1.0963427561332458e-156],0,0],[[5.741222418922647e-41],0,0],[[-1.1560520854064811e-178],0,0],[[3.6484688752466967e-69],0,0],[[5.094611782176626e-183],0,0],[[-4.253682617948995e-243],0,0],[[-1.6600604267765295e-45],0,0]],"picked":"(λ (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) (+ (* 2 x) 1))
* [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) (+ (* 2 x) 1))
* [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) (+ (* 2 x) 1))
* * * [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 (114 enodes)
* * [misc]simplify:  iters left: 2 (366 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 (166 enodes)
* [exit]simplify:  Simplified to (exp (+ (+ x x) (* x x)))
* [exit]simplify:  Simplified to (exp (+ (+ x x) (* x 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 (111 enodes)
* * [misc]simplify:  iters left: 2 (371 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 (110 enodes)
* * [misc]simplify:  iters left: 2 (366 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 (318 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 (110 enodes)
* * [misc]simplify:  iters left: 2 (366 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 (110 enodes)
* * [misc]simplify:  iters left: 2 (366 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 (169 enodes)
* [exit]simplify:  Simplified to (- (* (pow (+ x 1) 3) (pow (+ x 1) 3)) 1)
* [exit]simplify:  Simplified to (- (* (pow (+ x 1) 3) (pow (+ x 1) 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 (202 enodes)
* [exit]simplify:  Simplified to (+ (+ (pow (+ x 1) (+ 1 3)) 1) (* (+ x 1) (+ x 1)))
* [exit]simplify:  Simplified to (+ (+ (pow (+ x 1) (+ 1 3)) 1) (* (+ x 1) (+ x 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 (62 enodes)
* * [misc]simplify:  iters left: 3 (175 enodes)
* [exit]simplify:  Simplified to (- (pow (+ x 1) (+ 1 3)) 1)
* [exit]simplify:  Simplified to (- (pow (+ x 1) (+ 1 3)) 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 (54 enodes)
* * [misc]simplify:  iters left: 2 (195 enodes)
* * [misc]simplify:  iters left: 1 (365 enodes)
* [exit]simplify:  Simplified to (+ (* (+ x 1) (+ x 1)) 1)
* [exit]simplify:  Simplified to (+ (* (+ x 1) (+ x 1)) 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 (+ (+ x 1) 1)
* [exit]simplify:  Simplified to (+ (+ x 1) 1)
* [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 (29 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 (46 enodes)
* [exit]simplify:  Simplified to (* (+ x 1) (+ x 1))
* [exit]simplify:  Simplified to (* (+ x 1) (+ x 1))
* * * * [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 (+ x 1)) (log (+ x 1)))
* [exit]simplify:  Simplified to (+ (log (+ x 1)) (log (+ x 1)))
* * * * [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 (52 enodes)
* * [misc]simplify:  iters left: 1 (167 enodes)
* [exit]simplify:  Simplified to (+ (log (+ x 1)) (log (+ x 1)))
* [exit]simplify:  Simplified to (+ (log (+ x 1)) (log (+ x 1)))
* * * * [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 (87 enodes)
* * [misc]simplify:  iters left: 1 (296 enodes)
* [exit]simplify:  Simplified to (exp (* (+ x 1) (+ x 1)))
* [exit]simplify:  Simplified to (exp (* (+ x 1) (+ x 1)))
* * * * [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 (201 enodes)
* [exit]simplify:  Simplified to (* (pow (+ x 1) 3) (pow (+ x 1) 3))
* [exit]simplify:  Simplified to (* (pow (+ x 1) 3) (pow (+ x 1) 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 (48 enodes)
* * [misc]simplify:  iters left: 2 (158 enodes)
* * [misc]simplify:  iters left: 1 (252 enodes)
* [exit]simplify:  Simplified to (* (cbrt (* (+ x 1) (+ x 1))) (cbrt (* (+ x 1) (+ x 1))))
* [exit]simplify:  Simplified to (* (cbrt (* (+ x 1) (+ x 1))) (cbrt (* (+ x 1) (+ x 1))))
* [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 (47 enodes)
* * [misc]simplify:  iters left: 1 (160 enodes)
* [exit]simplify:  Simplified to (cbrt (* (+ x 1) (+ x 1)))
* [exit]simplify:  Simplified to (cbrt (* (+ x 1) (+ x 1)))
* * * * [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)
* * [misc]simplify:  iters left: 3 (246 enodes)
* [exit]simplify:  Simplified to (pow (* (+ x 1) (+ x 1)) 3)
* [exit]simplify:  Simplified to (pow (* (+ x 1) (+ x 1)) 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 (48 enodes)
* * [misc]simplify:  iters left: 1 (158 enodes)
* [exit]simplify:  Simplified to (fabs (+ x 1))
* [exit]simplify:  Simplified to (fabs (+ x 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 (48 enodes)
* * [misc]simplify:  iters left: 1 (158 enodes)
* [exit]simplify:  Simplified to (fabs (+ x 1))
* [exit]simplify:  Simplified to (fabs (+ x 1))
* * * * [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 (46 enodes)
* * [misc]simplify:  iters left: 2 (89 enodes)
* * [misc]simplify:  iters left: 1 (210 enodes)
* [exit]simplify:  Simplified to (* (+ (pow x 3) 1) (+ (pow x 3) 1))
* [exit]simplify:  Simplified to (* (+ (pow x 3) 1) (+ (pow x 3) 1))
* [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 (37 enodes)
* * [misc]simplify:  iters left: 3 (99 enodes)
* * [misc]simplify:  iters left: 2 (313 enodes)
* [exit]simplify:  Simplified to (* (+ (pow x 3) 1) (- (* x x) 1))
* [exit]simplify:  Simplified to (* (+ (pow x 3) 1) (- (* x x) 1))
* [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) (+ (- 1 x) (* x x)))
* [exit]simplify:  Simplified to (* (- x 1) (+ (- 1 x) (* x 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 (218 enodes)
* [exit]simplify:  Simplified to (* (+ (pow x 3) 1) (- (* x x) 1))
* [exit]simplify:  Simplified to (* (+ (pow x 3) 1) (- (* 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 (491 enodes)
* [exit]simplify:  Simplified to (* (+ (* x x) (- 1 x)) (- x 1))
* [exit]simplify:  Simplified to (* (+ (* x x) (- 1 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 (+ x 1)
* [exit]simplify:  Simplified to (+ x 1)
* * * * [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 (+ 1 x)
* [exit]simplify:  Simplified to (+ 1 x)
* * * * [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 (98 enodes)
* * [misc]simplify:  iters left: 1 (181 enodes)
* [exit]simplify:  Simplified to (* (* (cbrt (+ x 1)) (cbrt (+ x 1))) (+ x 1))
* [exit]simplify:  Simplified to (* (* (cbrt (+ x 1)) (cbrt (+ x 1))) (+ x 1))
* * * * [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 (* (+ x 1) (sqrt (+ x 1)))
* [exit]simplify:  Simplified to (* (+ x 1) (sqrt (+ x 1)))
* * * * [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 (+ x 1)
* [exit]simplify:  Simplified to (+ x 1)
* * * * [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 (77 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ x 1)) (+ x 1))
* [exit]simplify:  Simplified to (* (cbrt (+ x 1)) (+ x 1))
* * * * [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 (77 enodes)
* [exit]simplify:  Simplified to (* (sqrt (+ x 1)) (+ x 1))
* [exit]simplify:  Simplified to (* (sqrt (+ x 1)) (+ x 1))
* * * * [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 (46 enodes)
* [exit]simplify:  Simplified to (* (+ x 1) (+ x 1))
* [exit]simplify:  Simplified to (* (+ x 1) (+ x 1))
* * * * [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 (114 enodes)
* * [misc]simplify:  iters left: 1 (214 enodes)
* [exit]simplify:  Simplified to (* (+ (pow x 3) 1) (+ x 1))
* [exit]simplify:  Simplified to (* (+ (pow x 3) 1) (+ x 1))
* * * * [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 (* (* (+ x 1) (+ x 1)) (- x 1))
* [exit]simplify:  Simplified to (* (* (+ x 1) (+ x 1)) (- 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 (50 enodes)
* * [misc]simplify:  iters left: 2 (81 enodes)
* * [misc]simplify:  iters left: 1 (183 enodes)
* [exit]simplify:  Simplified to (* (+ (pow x 3) 1) (+ 1 x))
* [exit]simplify:  Simplified to (* (+ (pow x 3) 1) (+ 1 x))
* * * * [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 (230 enodes)
* * [misc]simplify:  iters left: 1 (485 enodes)
* [exit]simplify:  Simplified to (* (* (+ 1 x) (+ 1 x)) (- x 1))
* [exit]simplify:  Simplified to (* (* (+ 1 x) (+ 1 x)) (- 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 (+ x 2))
* * * * [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 (+ x 2))
* * * * [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 (+ x 2))
* * * * [misc]progress:  [ 48 / 50 ] simplifiying candidate #<alt-event (λ (x) (- (+ (pow x 2) (+ (* 2 x) 1)) 1))>
* [enter]simplify:  Simplifying (- (+ (pow x 2) (+ (* 2 x) 1)) 1)
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (43 enodes)
* * [misc]simplify:  iters left: 3 (90 enodes)
* * [misc]simplify:  iters left: 2 (233 enodes)
* [exit]simplify:  Simplified to (* (+ x 2) x)
* * * * [misc]progress:  [ 49 / 50 ] simplifiying candidate #<alt-event (λ (x) (- (+ (pow x 2) (+ (* 2 x) 1)) 1))>
* [enter]simplify:  Simplifying (- (+ (pow x 2) (+ (* 2 x) 1)) 1)
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (43 enodes)
* * [misc]simplify:  iters left: 3 (90 enodes)
* * [misc]simplify:  iters left: 2 (233 enodes)
* [exit]simplify:  Simplified to (* (+ x 2) x)
* * * * [misc]progress:  [ 50 / 50 ] simplifiying candidate #<alt-event (λ (x) (- (+ (pow x 2) (+ (* 2 x) 1)) 1))>
* [enter]simplify:  Simplifying (- (+ (pow x 2) (+ (* 2 x) 1)) 1)
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (43 enodes)
* * [misc]simplify:  iters left: 3 (90 enodes)
* * [misc]simplify:  iters left: 2 (233 enodes)
* [exit]simplify:  Simplified to (* (+ x 2) x)
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime-changes:  Finding splitpoints for: (#<alt-delta (λ (x) (+ (* x x) (+ x x)))> #<alt-event (λ (x) (- (* (+ x 1) (+ x 1)) 1))>)
* [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 2057 additional inputs, on iter 1 have 5943 / 8000
* * * * [misc]points:  Computing exacts on every 128 of 2057 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 64 of 2057 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 32 of 2057 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 2057 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 2057 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 2057 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 2057 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 2057 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 519 additional inputs, on iter 2 have 7481 / 8000
* * * * [misc]points:  Computing exacts on every 32 of 519 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 519 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 519 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 519 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 519 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 519 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 125 additional inputs, on iter 3 have 7875 / 8000
* * * * [misc]points:  Computing exacts on every 7 of 125 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 125 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Computing exacts for 125 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 18 additional inputs, on iter 4 have 7982 / 8000
* * * * [misc]points:  Computing exacts for 18 points
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 7997 / 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 8001 points with exact outputs