* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
* * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 256 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 256 points with exact outputs
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (+ x (* x x))
* * [misc]simplify:  iters left: 4 (3 enodes)
* * [misc]simplify:  iters left: 3 (7 enodes)
* * [misc]simplify:  iters left: 2 (12 enodes)
* * [misc]simplify:  iters left: 1 (18 enodes)
* [exit]simplify:  Simplified to (fma x x x)
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
"ALT DATA: "{"all-alts":["#<alt-event (λ (x) (+ x (* x x)))>"],"best-fresh-alt-per-point":[[[2.8252633723317205e-219],0,0],[[3.9365656468068283e-253],0,0],[[8.466716979318575e-155],0,0],[[8.915762289399265e-198],0,0],[[3.052290961639656e-250],0,0],[[8.29638500693558e-62],0,0],[[3.204655573567121e-122],0,0],[[2.7664084082173318e-189],0,0],[[1.8970229516522904e-265],0,0],[[9.61961388412511e-139],0,0],[[6.672443870754294e-42],0,0],[[1.630599808646713e-139],0,0],[[2.8833584050883245e-211],0,0],[[1.03790339099275e-57],0,0],[[3.216398983399411e-240],0,0],[[1.1187074999903048e-206],0,0],[[5.159002624225301e-89],0,0],[[3.393392254410954e-20],0,0],[[1.6361181047657197e-218],0,0],[[1.4188131827095661e-08],0,0],[[1.7275930263009622e-89],0,0],[[5.376427237244428e-63],0,0],[[2.21260531228007e-285],0,0],[[8.029221331610962e-170],0,0],[[7.7462083216113e-186],0,0],[[3.4693826027298494e-151],0,0],[[4.0904963345303025e-298],0,0],[[8.928195698162125e-162],0,0],[[6.446130778807789e-23],0,0],[[8.372987823014669e-277],0,0],[[0.79765330133867],0,0],[[2.6619745450680083e-94],0,0],[[4.845235417122807e-217],0,0],[[3.843340258423419e-29],0,0],[[6.958614181600859e-128],0,0],[[9.759098441119529e-210],0,0],[[7.999151115756671e-103],0,0],[[2.1639163338984576e-156],0,0],[[7.035195719014985e-186],0,0],[[3.59520511770459e-58],0,0],[[1.4436979745778944e-273],0,0],[[3.98723104591939e-71],0,0],[[1.0254749449008035e-54],0,0],[[1.5997673205250316e-51],0,0],[[5.583128609124095e-170],0,0],[[7.93383558387776e-281],0,0],[[4.0613022998276255e-179],0,0],[[3.414138951355579e-159],0,0],[[6.228396102488848e-280],0,0],[[1.6903029896718204e-307],0,0],[[9.01107063371065e-177],0,0],[[1.9082375689399166e-283],0,0],[[1.3456671694756055e-191],0,0],[[1.155992962110042e-294],0,0],[[3.3083208292697187e-287],0,0],[[2.8199688847652364e-103],0,0],[[8.948820728246746e-131],0,0],[[0.028982506851716605],0,0],[[1.1720658330775668e-122],0,0],[[3.933609865592333e-307],0,0],[[8.536019387015088e-191],0,0],[[1.1050465141220056e-177],0,0],[[6.3623675048750265e-248],0,0],[[1.0359675750570556e-92],0,0],[[4.783984561473371e-230],0,0],[[4.6283077961059915e-294],0,0],[[1.5794408091433415e-72],0,0],[[1.2309953329648528e-244],0,0],[[2.380920100930323e-252],0,0],[[1.3793051377619676e-167],0,0],[[3.883073265519734e-207],0,0],[[1.0836748336466915e-293],0,0],[[6.960429144025406e-39],0,0],[[3.1114509657948045e-33],0,0],[[2.727611339618395e-182],0,0],[[1.620677925803744e-32],0,0],[[7.273001646224594e-169],0,0],[[4.965164306811104e-17],0,0],[[9.73427366947771e-177],0,0],[[5.020398595355674e-125],0,0],[[0.005342881044910972],0,0],[[2.5919141095164245e-06],0,0],[[4.118361290965491e-264],0,0],[[2.8549418821229017e-229],0,0],[[6.599455739958098e-222],0,0],[[8.054612282009471e-51],0,0],[[3.090098407068058e-251],0,0],[[6.036235902686596e-178],0,0],[[1.160231402170291e-83],0,0],[[5.706748092947345e-192],0,0],[[4.775103367028589e-252],0,0],[[6.265111507172267e-273],0,0],[[4.0611908685973606e-281],0,0],[[5.090373167889705e-207],0,0],[[3.5771000844553166e-35],0,0],[[4.6631426098356596e-98],0,0],[[3.93224374965361e-296],0,0],[[9.038886698507501e-141],0,0],[[1.0063548116314154e-70],0,0],[[1.280909591983974e-27],0,0],[[1.3784376637698355e-164],0,0],[[9.568816897882267e-104],0,0],[[4.676082026916329e-274],0,0],[[1.3246078250702689e-210],0,0],[[2.650228673637871e-190],0,0],[[2.579211072907017e-269],0,0],[[2.583503105197371e-240],0,0],[[6.930970545553075e-168],0,0],[[1.1194505353971236e-90],0,0],[[5.100528130880031e-223],0,0],[[9.372434958553245e-82],0,0],[[3.0856184132401774e-176],0,0],[[3.4035783898937958e-47],0,0],[[9.339039008021498e-293],0,0],[[2.1663791306356438e-178],0,0],[[6.055609216365977e-76],0,0],[[1.305924599683452e-281],0,0],[[3.800457235126937e-202],0,0],[[6.718045054038896e-30],0,0],[[1.4500893232217013e-77],0,0],[[7.059262043191615e-19],0,0],[[7.855206753767507e-288],0,0],[[2.6135450400697404e-303],0,0],[[9.4146796410731e-197],0,0],[[1.2438553801157575e-167],0,0],[[8.494431415740938e-137],0,0],[[1.7134673463364796e-273],0,0],[[5.884068185746809e-133],0,0],[[1.2550949015662775e-157],0,0],[[4.117130649642403e-132],0,0],[[9.838040402388644e-220],0,0],[[1.0677548691321692e-152],0,0],[[1.0154021887680376e-130],0,0],[[6.792156753775191e-277],0,0],[[5.606923518681179e-166],0,0],[[2.2023190755024228e-198],0,0],[[2.8124174479287804e-66],0,0],[[7.206295729109051e-264],0,0],[[1.014864938205234e-244],0,0],[[2.913520554348649e-191],0,0],[[1.7543614882118434e-86],0,0],[[4.464254311516106e-249],0,0],[[2.67466490829195e-95],0,0],[[2.3571163308261134e-204],0,0],[[3.760128551473927e-263],0,0],[[7.664913585324086e-82],0,0],[[1.6113351862545714e-141],0,0],[[2.5970959095586392e-14],0,0],[[5.710134688000304e-211],0,0],[[1.134148402906713e-144],0,0],[[4.1134406196022363e-255],0,0],[[3.6714385939095287e-246],0,0],[[9.403440792661034e-08],0,0],[[1.4849091381601982e-244],0,0],[[1.6844975860489788e-268],0,0],[[9.952053244895601e-197],0,0],[[8.535824229779308e-197],0,0],[[8.957187537244285e-157],0,0],[[1.6029252830143843e-137],0,0],[[2.7486295647458906e-80],0,0],[[8.962125387005656e-293],0,0],[[7.916054865331124e-180],0,0],[[7.57220183675356e-32],0,0],[[3.4727132800622673e-220],0,0],[[1.0675840590228555e-136],0,0],[[1.78167787400143e-16],0,0],[[1.0521386329058333e-32],0,0],[[1.1190878049267016e-109],0,0],[[9.395637397382227e-106],0,0],[[4.6693682656846336e-113],0,0],[[0.009301230905119242],0,0],[[1.3482013493727677e-16],0,0],[[3.844000166020978e-121],0,0],[[1.9332440995517666e-50],0,0],[[9.999873388133263e-183],0,0],[[2.8645523720307983e-253],0,0],[[3.2013853967606903e-105],0,0],[[1.6148474967263174e-282],0,0],[[1.1981509594212885e-212],0,0],[[3.7789776412045764e-12],0,0],[[3.2377509855353324e-243],0,0],[[1.0126618215686572e-62],0,0],[[2.4217925051686295e-169],0,0],[[2.7913635235711755e-121],0,0],[[2.137351262065283e-214],0,0],[[1.6998032490577738e-305],0,0],[[1.1246269588758336e-249],0,0],[[2.0637947884042615e-183],0,0],[[1.1373167899774537e-216],0,0],[[2.180189265167356e-111],0,0],[[0.012977700552536733],0,0],[[1.2722535003080377e-238],0,0],[[5.286353434644928e-260],0,0],[[3.0010902161901834e-205],0,0],[[3.965425977915368e-250],0,0],[[1.5395767514863562e-218],0,0],[[3.54902727777776e-99],0,0],[[8.759216974029291e-121],0,0],[[1.5490524887577295e-170],0,0],[[6.131907113903804e-15],0,0],[[4.9336056278824866e-204],0,0],[[1.848077465635466e-205],0,0],[[5.094437321598629e-258],0,0],[[5.2382733257760114e-188],0,0],[[8.685055265080682e-274],0,0],[[1.180416839069862e-156],0,0],[[6.525202048638343e-47],0,0],[[7.59799243069327e-283],0,0],[[8.394980530854891e-218],0,0],[[1.1303495464740448e-245],0,0],[[6.993593694381628e-293],0,0],[[2.9129215748123504e-122],0,0],[[3.9044651762243266e-286],0,0],[[1.0553344848441189e-231],0,0],[[2.8261331178323064e-45],0,0],[[9.034215355556701e-50],0,0],[[1.808220697784115e-217],0,0],[[2.3145801563588936e-35],0,0],[[6.304486835129973e-53],0,0],[[2.6085706620482783e-294],0,0],[[1.499431655012507e-234],0,0],[[1.3720183887515276e-261],0,0],[[7.009899320569394e-87],0,0],[[6.315358787982003e-78],0,0],[[3.706931598250878e-300],0,0],[[1.2650857022338585e-14],0,0],[[1.3083591300056032e-72],0,0],[[5.5252799597918654e-201],0,0],[[1.0911699398131999e-16],0,0],[[5.339144849135087e-22],0,0],[[9.13892561009062e-207],0,0],[[5.932823170258709e-27],0,0],[[4.796787461631947e-40],0,0],[[6.856516722028758e-297],0,0],[[1.4081877584714204e-98],0,0],[[1.2263334628710755e-119],0,0],[[0.8775274329703053],0,0],[[7.959955047662621e-169],0,0],[[3.4015338794937064e-184],0,0],[[4.208490693310551e-183],0,0],[[2.0394757704829074e-32],0,0],[[1.6224907319165237e-177],0,0],[[3.9728782810786413e-255],0,0],[[2.9946774549608838e-40],0,0],[[7.830420922501851e-219],0,0],[[2.9476526150106522e-294],0,0],[[1.6965079665664707e-53],0,0],[[5.301916084617999e-22],0,0],[[1.200710339784576e-123],0,0],[[2.2870195014845503e-107],0,0],[[9.985263092963998e-134],0,0],[[1.721874016836498e-156],0,0],[[2.2165574721726077e-20],0,0],[[3.6245316618893767e-265],0,0],[[1.2099283632113238e-220],0,0],[[3.370680193300046e-151],0,0]],"fresh-alts":["#<alt-event (λ (x) (+ x (* x x)))>"],"picked-error":0,"best-alt-per-point":[[[2.8252633723317205e-219],0,0],[[3.9365656468068283e-253],0,0],[[8.466716979318575e-155],0,0],[[8.915762289399265e-198],0,0],[[3.052290961639656e-250],0,0],[[8.29638500693558e-62],0,0],[[3.204655573567121e-122],0,0],[[2.7664084082173318e-189],0,0],[[1.8970229516522904e-265],0,0],[[9.61961388412511e-139],0,0],[[6.672443870754294e-42],0,0],[[1.630599808646713e-139],0,0],[[2.8833584050883245e-211],0,0],[[1.03790339099275e-57],0,0],[[3.216398983399411e-240],0,0],[[1.1187074999903048e-206],0,0],[[5.159002624225301e-89],0,0],[[3.393392254410954e-20],0,0],[[1.6361181047657197e-218],0,0],[[1.4188131827095661e-08],0,0],[[1.7275930263009622e-89],0,0],[[5.376427237244428e-63],0,0],[[2.21260531228007e-285],0,0],[[8.029221331610962e-170],0,0],[[7.7462083216113e-186],0,0],[[3.4693826027298494e-151],0,0],[[4.0904963345303025e-298],0,0],[[8.928195698162125e-162],0,0],[[6.446130778807789e-23],0,0],[[8.372987823014669e-277],0,0],[[0.79765330133867],0,0],[[2.6619745450680083e-94],0,0],[[4.845235417122807e-217],0,0],[[3.843340258423419e-29],0,0],[[6.958614181600859e-128],0,0],[[9.759098441119529e-210],0,0],[[7.999151115756671e-103],0,0],[[2.1639163338984576e-156],0,0],[[7.035195719014985e-186],0,0],[[3.59520511770459e-58],0,0],[[1.4436979745778944e-273],0,0],[[3.98723104591939e-71],0,0],[[1.0254749449008035e-54],0,0],[[1.5997673205250316e-51],0,0],[[5.583128609124095e-170],0,0],[[7.93383558387776e-281],0,0],[[4.0613022998276255e-179],0,0],[[3.414138951355579e-159],0,0],[[6.228396102488848e-280],0,0],[[1.6903029896718204e-307],0,0],[[9.01107063371065e-177],0,0],[[1.9082375689399166e-283],0,0],[[1.3456671694756055e-191],0,0],[[1.155992962110042e-294],0,0],[[3.3083208292697187e-287],0,0],[[2.8199688847652364e-103],0,0],[[8.948820728246746e-131],0,0],[[0.028982506851716605],0,0],[[1.1720658330775668e-122],0,0],[[3.933609865592333e-307],0,0],[[8.536019387015088e-191],0,0],[[1.1050465141220056e-177],0,0],[[6.3623675048750265e-248],0,0],[[1.0359675750570556e-92],0,0],[[4.783984561473371e-230],0,0],[[4.6283077961059915e-294],0,0],[[1.5794408091433415e-72],0,0],[[1.2309953329648528e-244],0,0],[[2.380920100930323e-252],0,0],[[1.3793051377619676e-167],0,0],[[3.883073265519734e-207],0,0],[[1.0836748336466915e-293],0,0],[[6.960429144025406e-39],0,0],[[3.1114509657948045e-33],0,0],[[2.727611339618395e-182],0,0],[[1.620677925803744e-32],0,0],[[7.273001646224594e-169],0,0],[[4.965164306811104e-17],0,0],[[9.73427366947771e-177],0,0],[[5.020398595355674e-125],0,0],[[0.005342881044910972],0,0],[[2.5919141095164245e-06],0,0],[[4.118361290965491e-264],0,0],[[2.8549418821229017e-229],0,0],[[6.599455739958098e-222],0,0],[[8.054612282009471e-51],0,0],[[3.090098407068058e-251],0,0],[[6.036235902686596e-178],0,0],[[1.160231402170291e-83],0,0],[[5.706748092947345e-192],0,0],[[4.775103367028589e-252],0,0],[[6.265111507172267e-273],0,0],[[4.0611908685973606e-281],0,0],[[5.090373167889705e-207],0,0],[[3.5771000844553166e-35],0,0],[[4.6631426098356596e-98],0,0],[[3.93224374965361e-296],0,0],[[9.038886698507501e-141],0,0],[[1.0063548116314154e-70],0,0],[[1.280909591983974e-27],0,0],[[1.3784376637698355e-164],0,0],[[9.568816897882267e-104],0,0],[[4.676082026916329e-274],0,0],[[1.3246078250702689e-210],0,0],[[2.650228673637871e-190],0,0],[[2.579211072907017e-269],0,0],[[2.583503105197371e-240],0,0],[[6.930970545553075e-168],0,0],[[1.1194505353971236e-90],0,0],[[5.100528130880031e-223],0,0],[[9.372434958553245e-82],0,0],[[3.0856184132401774e-176],0,0],[[3.4035783898937958e-47],0,0],[[9.339039008021498e-293],0,0],[[2.1663791306356438e-178],0,0],[[6.055609216365977e-76],0,0],[[1.305924599683452e-281],0,0],[[3.800457235126937e-202],0,0],[[6.718045054038896e-30],0,0],[[1.4500893232217013e-77],0,0],[[7.059262043191615e-19],0,0],[[7.855206753767507e-288],0,0],[[2.6135450400697404e-303],0,0],[[9.4146796410731e-197],0,0],[[1.2438553801157575e-167],0,0],[[8.494431415740938e-137],0,0],[[1.7134673463364796e-273],0,0],[[5.884068185746809e-133],0,0],[[1.2550949015662775e-157],0,0],[[4.117130649642403e-132],0,0],[[9.838040402388644e-220],0,0],[[1.0677548691321692e-152],0,0],[[1.0154021887680376e-130],0,0],[[6.792156753775191e-277],0,0],[[5.606923518681179e-166],0,0],[[2.2023190755024228e-198],0,0],[[2.8124174479287804e-66],0,0],[[7.206295729109051e-264],0,0],[[1.014864938205234e-244],0,0],[[2.913520554348649e-191],0,0],[[1.7543614882118434e-86],0,0],[[4.464254311516106e-249],0,0],[[2.67466490829195e-95],0,0],[[2.3571163308261134e-204],0,0],[[3.760128551473927e-263],0,0],[[7.664913585324086e-82],0,0],[[1.6113351862545714e-141],0,0],[[2.5970959095586392e-14],0,0],[[5.710134688000304e-211],0,0],[[1.134148402906713e-144],0,0],[[4.1134406196022363e-255],0,0],[[3.6714385939095287e-246],0,0],[[9.403440792661034e-08],0,0],[[1.4849091381601982e-244],0,0],[[1.6844975860489788e-268],0,0],[[9.952053244895601e-197],0,0],[[8.535824229779308e-197],0,0],[[8.957187537244285e-157],0,0],[[1.6029252830143843e-137],0,0],[[2.7486295647458906e-80],0,0],[[8.962125387005656e-293],0,0],[[7.916054865331124e-180],0,0],[[7.57220183675356e-32],0,0],[[3.4727132800622673e-220],0,0],[[1.0675840590228555e-136],0,0],[[1.78167787400143e-16],0,0],[[1.0521386329058333e-32],0,0],[[1.1190878049267016e-109],0,0],[[9.395637397382227e-106],0,0],[[4.6693682656846336e-113],0,0],[[0.009301230905119242],0,0],[[1.3482013493727677e-16],0,0],[[3.844000166020978e-121],0,0],[[1.9332440995517666e-50],0,0],[[9.999873388133263e-183],0,0],[[2.8645523720307983e-253],0,0],[[3.2013853967606903e-105],0,0],[[1.6148474967263174e-282],0,0],[[1.1981509594212885e-212],0,0],[[3.7789776412045764e-12],0,0],[[3.2377509855353324e-243],0,0],[[1.0126618215686572e-62],0,0],[[2.4217925051686295e-169],0,0],[[2.7913635235711755e-121],0,0],[[2.137351262065283e-214],0,0],[[1.6998032490577738e-305],0,0],[[1.1246269588758336e-249],0,0],[[2.0637947884042615e-183],0,0],[[1.1373167899774537e-216],0,0],[[2.180189265167356e-111],0,0],[[0.012977700552536733],0,0],[[1.2722535003080377e-238],0,0],[[5.286353434644928e-260],0,0],[[3.0010902161901834e-205],0,0],[[3.965425977915368e-250],0,0],[[1.5395767514863562e-218],0,0],[[3.54902727777776e-99],0,0],[[8.759216974029291e-121],0,0],[[1.5490524887577295e-170],0,0],[[6.131907113903804e-15],0,0],[[4.9336056278824866e-204],0,0],[[1.848077465635466e-205],0,0],[[5.094437321598629e-258],0,0],[[5.2382733257760114e-188],0,0],[[8.685055265080682e-274],0,0],[[1.180416839069862e-156],0,0],[[6.525202048638343e-47],0,0],[[7.59799243069327e-283],0,0],[[8.394980530854891e-218],0,0],[[1.1303495464740448e-245],0,0],[[6.993593694381628e-293],0,0],[[2.9129215748123504e-122],0,0],[[3.9044651762243266e-286],0,0],[[1.0553344848441189e-231],0,0],[[2.8261331178323064e-45],0,0],[[9.034215355556701e-50],0,0],[[1.808220697784115e-217],0,0],[[2.3145801563588936e-35],0,0],[[6.304486835129973e-53],0,0],[[2.6085706620482783e-294],0,0],[[1.499431655012507e-234],0,0],[[1.3720183887515276e-261],0,0],[[7.009899320569394e-87],0,0],[[6.315358787982003e-78],0,0],[[3.706931598250878e-300],0,0],[[1.2650857022338585e-14],0,0],[[1.3083591300056032e-72],0,0],[[5.5252799597918654e-201],0,0],[[1.0911699398131999e-16],0,0],[[5.339144849135087e-22],0,0],[[9.13892561009062e-207],0,0],[[5.932823170258709e-27],0,0],[[4.796787461631947e-40],0,0],[[6.856516722028758e-297],0,0],[[1.4081877584714204e-98],0,0],[[1.2263334628710755e-119],0,0],[[0.8775274329703053],0,0],[[7.959955047662621e-169],0,0],[[3.4015338794937064e-184],0,0],[[4.208490693310551e-183],0,0],[[2.0394757704829074e-32],0,0],[[1.6224907319165237e-177],0,0],[[3.9728782810786413e-255],0,0],[[2.9946774549608838e-40],0,0],[[7.830420922501851e-219],0,0],[[2.9476526150106522e-294],0,0],[[1.6965079665664707e-53],0,0],[[5.301916084617999e-22],0,0],[[1.200710339784576e-123],0,0],[[2.2870195014845503e-107],0,0],[[9.985263092963998e-134],0,0],[[1.721874016836498e-156],0,0],[[2.2165574721726077e-20],0,0],[[3.6245316618893767e-265],0,0],[[1.2099283632113238e-220],0,0],[[3.370680193300046e-151],0,0]],"picked":"(λ (x) (+ x (* x x)))"}* * * * [misc]pick:  Picked  #<alt-event (λ (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)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ x (* 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 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)) 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 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 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 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 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) 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 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 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 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 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 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 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (pow x 2)) (* 1 x)) into (+ (pow x 2) x)
* [misc]approximate:  Taking taylor expansion of (+ (/ 1 x) (* (/ 1 x) (/ 1 x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) (* (/ 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) (/ 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))) 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) (/ 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 (+ 0 1) 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 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)) (* 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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 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 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 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)) (* 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 (+ 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)) (* 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 (+ 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)) (* 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 (+ 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)) (* 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 (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 1 (/ 1 (/ 1 x))) (* 1 (pow (/ 1 (/ 1 x)) 2))) into (+ (pow x 2) x)
* [misc]approximate:  Taking taylor expansion of (+ (/ 1 (- x)) (* (/ 1 (- x)) (/ 1 (- x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- x)) (* (/ 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)) (/ 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)))) 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)) (/ 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 (+ 0 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) 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 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 (- 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 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 (- (+ (* -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 (- 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 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 (- 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 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 (- 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 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 (- 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 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 (- 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 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* -1 (/ 1 (/ 1 (- x)))) (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (pow x 2) x)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt-delta (λ (x) (log1p (expm1 (+ x (* x x)))))>
* [enter]simplify:  Simplifying (expm1 (+ x (* x x)))
* * [misc]simplify:  iters left: 5 (4 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 (23 enodes)
* [exit]simplify:  Simplified to (expm1 (fma x x x))
* [exit]simplify:  Simplified to (expm1 (fma x x x))
* * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt-delta (λ (x) (expm1 (log1p (+ x (* x x)))))>
* [enter]simplify:  Simplifying (log1p (+ x (* x x)))
* * [misc]simplify:  iters left: 5 (4 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 (23 enodes)
* [exit]simplify:  Simplified to (log1p (fma x x x))
* [exit]simplify:  Simplified to (log1p (fma x x x))
* * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt-delta (λ (x) (pow (+ x (* x x)) 1))>
* * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt-delta (λ (x) (exp (log (+ x (* x x)))))>
* [enter]simplify:  Simplifying (log (+ x (* x x)))
* * [misc]simplify:  iters left: 5 (4 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* * [misc]simplify:  iters left: 3 (16 enodes)
* * [misc]simplify:  iters left: 2 (24 enodes)
* * [misc]simplify:  iters left: 1 (28 enodes)
* [exit]simplify:  Simplified to (log (fma x x x))
* [exit]simplify:  Simplified to (log (fma x x x))
* * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt-delta (λ (x) (log (exp (+ x (* x x)))))>
* [enter]simplify:  Simplifying (exp (+ x (* x x)))
* * [misc]simplify:  iters left: 5 (4 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* * [misc]simplify:  iters left: 3 (20 enodes)
* * [misc]simplify:  iters left: 2 (30 enodes)
* * [misc]simplify:  iters left: 1 (37 enodes)
* [exit]simplify:  Simplified to (exp (fma x x x))
* [exit]simplify:  Simplified to (exp (fma x x x))
* * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt-delta (λ (x) (* (* (cbrt (+ x (* x x))) (cbrt (+ x (* x x)))) (cbrt (+ x (* x x)))))>
* [enter]simplify:  Simplifying (* (cbrt (+ x (* x x))) (cbrt (+ x (* x x))))
* * [misc]simplify:  iters left: 6 (5 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 (24 enodes)
* * [misc]simplify:  iters left: 1 (40 enodes)
* [exit]simplify:  Simplified to (* (cbrt (fma x x x)) (cbrt (fma x x x)))
* [exit]simplify:  Simplified to (* (cbrt (fma x x x)) (cbrt (fma x x x)))
* [enter]simplify:  Simplifying (cbrt (+ x (* x x)))
* * [misc]simplify:  iters left: 5 (4 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 (23 enodes)
* [exit]simplify:  Simplified to (cbrt (fma x x x))
* [exit]simplify:  Simplified to (cbrt (fma x x x))
* * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt-delta (λ (x) (cbrt (* (* (+ x (* x x)) (+ x (* x x))) (+ x (* x x)))))>
* [enter]simplify:  Simplifying (* (* (+ x (* x x)) (+ x (* x x))) (+ x (* x x)))
* * [misc]simplify:  iters left: 6 (5 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (96 enodes)
* * [misc]simplify:  iters left: 3 (376 enodes)
* [exit]simplify:  Simplified to (pow (fma x x x) 3)
* [exit]simplify:  Simplified to (pow (fma x x x) 3)
* * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt-delta (λ (x) (* (sqrt (+ x (* x x))) (sqrt (+ x (* x x)))))>
* [enter]simplify:  Simplifying (sqrt (+ x (* x x)))
* * [misc]simplify:  iters left: 5 (4 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 (23 enodes)
* [exit]simplify:  Simplified to (sqrt (fma x x x))
* [exit]simplify:  Simplified to (sqrt (fma x x x))
* [enter]simplify:  Simplifying (sqrt (+ x (* x x)))
* * [misc]simplify:  iters left: 5 (4 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 (23 enodes)
* [exit]simplify:  Simplified to (sqrt (fma x x x))
* [exit]simplify:  Simplified to (sqrt (fma x x x))
* * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt-delta (λ (x) (/ (+ (pow x 3) (pow (* x x) 3)) (+ (* x x) (- (* (* x x) (* x x)) (* x (* x x))))))>
* [enter]simplify:  Simplifying (+ (pow x 3) (pow (* x x) 3))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (37 enodes)
* * [misc]simplify:  iters left: 2 (74 enodes)
* * [misc]simplify:  iters left: 1 (98 enodes)
* [exit]simplify:  Simplified to (fma (pow x 3) (pow x 3) (pow x 3))
* [exit]simplify:  Simplified to (fma (pow x 3) (pow x 3) (pow x 3))
* [enter]simplify:  Simplifying (+ (* x x) (- (* (* x x) (* x x)) (* x (* x x))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (20 enodes)
* * [misc]simplify:  iters left: 4 (50 enodes)
* * [misc]simplify:  iters left: 3 (120 enodes)
* * [misc]simplify:  iters left: 2 (196 enodes)
* * [misc]simplify:  iters left: 1 (373 enodes)
* [exit]simplify:  Simplified to (fma (- (* x x) x) (* x x) (* x x))
* [exit]simplify:  Simplified to (fma (- (* x x) x) (* x x) (* x x))
* * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt-delta (λ (x) (* 1 (+ x (* x x))))>
* * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt-delta (λ (x) (/ (- (* x x) (* (* x x) (* x x))) (- x (* x x))))>
* [enter]simplify:  Simplifying (- (* x x) (* (* x x) (* x x)))
* * [misc]simplify:  iters left: 6 (4 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (37 enodes)
* * [misc]simplify:  iters left: 3 (82 enodes)
* * [misc]simplify:  iters left: 2 (152 enodes)
* * [misc]simplify:  iters left: 1 (394 enodes)
* [exit]simplify:  Simplified to (fma (pow x 3) (- x) (* x x))
* [exit]simplify:  Simplified to (fma (pow x 3) (- x) (* x x))
* [enter]simplify:  Simplifying (- x (* x x))
* * [misc]simplify:  iters left: 4 (3 enodes)
* * [misc]simplify:  iters left: 3 (5 enodes)
* * [misc]simplify:  iters left: 2 (9 enodes)
* * [misc]simplify:  iters left: 1 (14 enodes)
* [exit]simplify:  Simplified to (- x (* x x))
* [exit]simplify:  Simplified to (- x (* x x))
* * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt-delta (λ (x) (* (+ x 1) x))>
* [enter]simplify:  Simplifying (+ x 1)
* * [misc]simplify:  iters left: 2 (3 enodes)
* * [misc]simplify:  iters left: 1 (6 enodes)
* [exit]simplify:  Simplified to (+ x 1)
* [exit]simplify:  Simplified to (+ x 1)
* * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt-delta (λ (x) (+ (* x x) x))>
* * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt-event (λ (x) (+ (pow x 2) x))>
* [enter]simplify:  Simplifying (+ (pow x 2) x)
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (10 enodes)
* [exit]simplify:  Simplified to (fma x x x)
* * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt-event (λ (x) (+ (pow x 2) x))>
* [enter]simplify:  Simplifying (+ (pow x 2) x)
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (10 enodes)
* [exit]simplify:  Simplified to (fma x x x)
* * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt-event (λ (x) (+ (pow x 2) x))>
* [enter]simplify:  Simplifying (+ (pow x 2) x)
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* * [misc]simplify:  iters left: 1 (10 enodes)
* [exit]simplify:  Simplified to (fma x x x)
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* [enter]simplify:  Simplifying (+ x (* x x))
* * [misc]simplify:  iters left: 4 (3 enodes)
* * [misc]simplify:  iters left: 3 (4 enodes)
* [exit]simplify:  Simplified to (+ x (* x x))
* * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
* * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8000 points with exact outputs