* [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)) (* x x))
* * [misc]simplify:  iters left: 6 (4 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (25 enodes)
* * [misc]simplify:  iters left: 3 (34 enodes)
* * [misc]simplify:  iters left: 2 (70 enodes)
* * [misc]simplify:  iters left: 1 (145 enodes)
* [exit]simplify:  Simplified to (fma x (* x x) (* x x))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* [misc]none:  Fresh alts: 1
* [misc]none:  All alts: 1
* [misc]none:  Fresh alt: (λ (x) (+ (* x (* x x)) (* x x)))
* [misc]none:  Fresh alt indices
* [misc]none:  (λ (x) (+ (* x (* x x)) (* x x))): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (1.197048592414858e-44): 0
* [misc]none:  (6.389167960743055e-104): 0
* [misc]none:  (1.4234909229788447e-118): 0
* [misc]none:  (1.1870179113418184e-186): 0
* [misc]none:  (1.708850909162718e-92): 0
* [misc]none:  (2.2338625709637425e-49): 0
* [misc]none:  (3.9966656937407e-74): 0
* [misc]none:  (5.5667991488252575e-164): 0
* [misc]none:  (1.6263891594427068e-27): 0
* [misc]none:  (0.005231323660105887): 0
* [misc]none:  (1.5486292826172064e-122): 0
* [misc]none:  (9.790390150399868e-109): 0
* [misc]none:  (7.176234390446597e-87): 0
* [misc]none:  (4.7207585332033815e-37): 0
* [misc]none:  (1.6681565752645998e-250): 0
* [misc]none:  (5.0727720600262717e-253): 0
* [misc]none:  (1.1325396816423906e-185): 0
* [misc]none:  (9.957094740733235e-144): 0
* [misc]none:  (3.02861411152772e-251): 0
* [misc]none:  (9.677771463110656e-73): 0
* [misc]none:  (2.7496677138512053e-146): 0
* [misc]none:  (3.376698484612608e-06): 0
* [misc]none:  (4.2908408065065117e-268): 0
* [misc]none:  (2.7903530888062545e-74): 0
* [misc]none:  (6.524812896454005e-30): 0
* [misc]none:  (1.6312092838000275e-105): 0
* [misc]none:  (1.5191851592442706e-111): 0
* [misc]none:  (2.5115505922360334e-35): 0
* [misc]none:  (3.164900455146054e-227): 0
* [misc]none:  (7.919905925311658e-162): 0
* [misc]none:  (1.0437930809719812e-121): 0
* [misc]none:  (3.7115300432768954e-129): 0
* [misc]none:  (2.583618597888888e-222): 0
* [misc]none:  (6.428093013407932e-282): 0
* [misc]none:  (7.205991948268595e-20): 0
* [misc]none:  (1.2633901328254338e-263): 0
* [misc]none:  (9.888696006423215e-254): 0
* [misc]none:  (6.0176421051962594e-260): 0
* [misc]none:  (8.418647739763131e-70): 0
* [misc]none:  (6.17050484788217e-73): 0
* [misc]none:  (1.8841440607922374e-102): 0
* [misc]none:  (4.495212724445497e-54): 0
* [misc]none:  (1.0205937792003573e-264): 0
* [misc]none:  (7.901773140736686e-13): 0
* [misc]none:  (4.448300424374346e-280): 0
* [misc]none:  (7.846137693318415e-248): 0
* [misc]none:  (4.341046721815756e-33): 0
* [misc]none:  (2.303514965868568e-211): 0
* [misc]none:  (7.720654014198112e-307): 0
* [misc]none:  (9.35674660751706e-36): 0
* [misc]none:  (6.258023444911577e-13): 0
* [misc]none:  (1.4732492606552072e-47): 0
* [misc]none:  (2.4401918491396554e-262): 0
* [misc]none:  (5.12049841334756e-286): 0
* [misc]none:  (3.695959462164293e-119): 0
* [misc]none:  (1.622854828701395e-276): 0
* [misc]none:  (1.7122134796523298e-211): 0
* [misc]none:  (8.717868833304878e-185): 0
* [misc]none:  (1.0934384337759896e-16): 0
* [misc]none:  (1.9554018807903817e-157): 0
* [misc]none:  (2.6270254507697085e-09): 0
* [misc]none:  (5.5019862479113775e-77): 0
* [misc]none:  (4.117098219360247e-06): 0
* [misc]none:  (6.282374516784643e-290): 0
* [misc]none:  (6.081751582801009e-88): 0
* [misc]none:  (4.111985865001052e-142): 0
* [misc]none:  (1.691295571018478e-206): 0
* [misc]none:  (5.6705801494139594e-96): 0
* [misc]none:  (2.7353632223281115e-294): 0
* [misc]none:  (0.006458369868028203): 0
* [misc]none:  (5.649382841310704e-162): 0
* [misc]none:  (4.0357210904372297e-13): 0
* [misc]none:  (1.5899432782836892e-82): 0
* [misc]none:  (4.391429050811499e-286): 0
* [misc]none:  (1.6940006192586202e-279): 0
* [misc]none:  (7.710631434085085e-132): 0
* [misc]none:  (9.237265073528648e-29): 0
* [misc]none:  (3.410047914051874e-125): 0
* [misc]none:  (2.49967560393371e-242): 0
* [misc]none:  (2.667227292164438e-280): 0
* [misc]none:  (9.954162278424416e-91): 0
* [misc]none:  (5.498229429459013e-104): 0
* [misc]none:  (6.251899738340474e-71): 0
* [misc]none:  (1.782335619238574e-281): 0
* [misc]none:  (3.240375187915062e-219): 0
* [misc]none:  (9.138250551532955e-182): 0
* [misc]none:  (1.3617548678263602e-258): 0
* [misc]none:  (1.409679260408166e-304): 0
* [misc]none:  (1.311153641145857e-71): 0
* [misc]none:  (4.503079168695006e-116): 0
* [misc]none:  (7.36776039865883e-111): 0
* [misc]none:  (3.226032298145465e-76): 0
* [misc]none:  (7.424568519023038e-199): 0
* [misc]none:  (2.2851652420609476e-163): 0
* [misc]none:  (4.2914417177438296e-120): 0
* [misc]none:  (3.6353800384810127e-277): 0
* [misc]none:  (2.3001541578501865e-61): 0
* [misc]none:  (8.026810382162184e-187): 0
* [misc]none:  (3.620762514259264e-302): 0
* [misc]none:  (1.2669199252726818e-116): 0
* [misc]none:  (2.2975044268424514e-31): 0
* [misc]none:  (3.6397898507509057e-78): 0
* [misc]none:  (4.1462384512940063e-131): 0
* [misc]none:  (2.282167123017447e-302): 0
* [misc]none:  (2.959936170834263e-200): 0
* [misc]none:  (1.016605042045049e-116): 0
* [misc]none:  (2.1568069521722076e-257): 0
* [misc]none:  (4.893461567299806e-231): 0
* [misc]none:  (3.6844710958819885e-146): 0
* [misc]none:  (2.7596629011345744e-38): 0
* [misc]none:  (3.6023001910838544e-169): 0
* [misc]none:  (5.3563248530981785e-288): 0
* [misc]none:  (5.089159378755409e-73): 0
* [misc]none:  (8.249028089660374e-96): 0
* [misc]none:  (4.918647959707745e-292): 0
* [misc]none:  (3.916183816986473e-63): 0
* [misc]none:  (2.9745491778207217e-72): 0
* [misc]none:  (1.3174792551566853e-244): 0
* [misc]none:  (4.0934279980958245e-221): 0
* [misc]none:  (2.7717690789997993e-178): 0
* [misc]none:  (8.942381896216585e-303): 0
* [misc]none:  (1.1863391144760665e-194): 0
* [misc]none:  (1.557269734690448e-173): 0
* [misc]none:  (1.0141256439194013e-17): 0
* [misc]none:  (8.385693938048634e-17): 0
* [misc]none:  (1.774036084880371e-10): 0
* [misc]none:  (3.121909469038303e-120): 0
* [misc]none:  (2.677305271296432e-286): 0
* [misc]none:  (1.2412531553947285e-292): 0
* [misc]none:  (1.6676514320064695e-262): 0
* [misc]none:  (1.0233964677532408e-256): 0
* [misc]none:  (7.79273941916423e-248): 0
* [misc]none:  (2.254491553748098e-284): 0
* [misc]none:  (2.511194744584963e-121): 0
* [misc]none:  (1.940151057011967e-214): 0
* [misc]none:  (1.9066777581744584e-241): 0
* [misc]none:  (1.2217070134666303e-183): 0
* [misc]none:  (5.169960882435681e-247): 0
* [misc]none:  (3.422619477230439e-282): 0
* [misc]none:  (2.2277756564552377e-180): 0
* [misc]none:  (8.941842227493106e-299): 0
* [misc]none:  (3.636850063152442e-41): 0
* [misc]none:  (9.250395424910984e-45): 0
* [misc]none:  (3.971013898456652e-165): 0
* [misc]none:  (8.51289874168847e-133): 0
* [misc]none:  (1.6886586830896127e-104): 0
* [misc]none:  (4.2887521823462643e-119): 0
* [misc]none:  (5.153271427114977e-282): 0
* [misc]none:  (1.4794147111939057e-54): 0
* [misc]none:  (0.00011887722424706732): 0
* [misc]none:  (1.680724065404955e-295): 0
* [misc]none:  (1.5670767272689242e-48): 0
* [misc]none:  (6.360035433734438e-287): 0
* [misc]none:  (2.0239366348064024e-118): 0
* [misc]none:  (1.0375804046259939e-32): 0
* [misc]none:  (2.7482063131880367e-288): 0
* [misc]none:  (7.996915897487891e-106): 0
* [misc]none:  (2.2684761931166178e-104): 0
* [misc]none:  (3.2131475920169934e-29): 0
* [misc]none:  (5.336279003169399e-306): 0
* [misc]none:  (1.8004954007033816e-302): 0
* [misc]none:  (1.422166709767053e-11): 0
* [misc]none:  (4.505714792629337e-105): 0
* [misc]none:  (8.934857569020472e-173): 0
* [misc]none:  (7.98321756881755e-89): 0
* [misc]none:  (1.2018761099814178e-271): 0
* [misc]none:  (4.377682581163163e-116): 0
* [misc]none:  (1.3872884148702953e-195): 0
* [misc]none:  (1.6088622694636596e-228): 0
* [misc]none:  (3.247119126714314e-213): 0
* [misc]none:  (1.7841275852582967e-275): 0
* [misc]none:  (5.31502844293741e-290): 0
* [misc]none:  (3.5758921812526024e-250): 0
* [misc]none:  (1.0004327523983676e-256): 0
* [misc]none:  (2.724245613926288e-125): 0
* [misc]none:  (5.576913032743719e-34): 0
* [misc]none:  (2.0596982443634175e-116): 0
* [misc]none:  (1.910995471119852e-114): 0
* [misc]none:  (4.768073867118373e-288): 0
* [misc]none:  (3.567382276498594e-55): 0
* [misc]none:  (9.269076764309925e-36): 0
* [misc]none:  (6.0131817565342744e-186): 0
* [misc]none:  (2.8057682258926097e-232): 0
* [misc]none:  (1.1334948610553645e-165): 0
* [misc]none:  (9.682202686811077e-153): 0
* [misc]none:  (4.621008069137698e-92): 0
* [misc]none:  (2.8073350258352292e-201): 0
* [misc]none:  (2.123604941701861e-28): 0
* [misc]none:  (2.0783125188849014e-109): 0
* [misc]none:  (5.733974494229092e-156): 0
* [misc]none:  (2.830642300618756e-14): 0
* [misc]none:  (1.0849241231757671e-76): 0
* [misc]none:  (1.3708218517431854e-220): 0
* [misc]none:  (4.5300527106009253e-94): 0
* [misc]none:  (3.841316576758789e-259): 0
* [misc]none:  (1.5184570779188888e-22): 0
* [misc]none:  (9.321245330510887e-53): 0
* [misc]none:  (1.1840551710990052e-30): 0
* [misc]none:  (1.0872736992809513e-293): 0
* [misc]none:  (7.027083368721354e-220): 0
* [misc]none:  (8.291865206012611e-258): 0
* [misc]none:  (1.2006541567767156e-54): 0
* [misc]none:  (7.042179644070029e-158): 0
* [misc]none:  (1.5207024812382172e-91): 0
* [misc]none:  (7.150855335049722e-246): 0
* [misc]none:  (3.7392497819673926e-40): 0
* [misc]none:  (2.8253731884002173e-44): 0
* [misc]none:  (7.6583175492452e-91): 0
* [misc]none:  (1.3885883793122932e-240): 0
* [misc]none:  (5.275190234103335e-99): 0
* [misc]none:  (1.092459256068825e-269): 0
* [misc]none:  (1.1503637095493493e-247): 0
* [misc]none:  (6.015129565427065e-94): 0
* [misc]none:  (2.7785201060517135e-213): 0
* [misc]none:  (7.605616020396466e-302): 0
* [misc]none:  (2.8428346742029696e-74): 0
* [misc]none:  (1.0012400184432346e-84): 0
* [misc]none:  (3.2117836456739127e-31): 0
* [misc]none:  (1.4749975153323176e-259): 0
* [misc]none:  (1.239201552163507e-179): 0
* [misc]none:  (7.845387590754101e-25): 0
* [misc]none:  (7.277218374215988e-239): 0
* [misc]none:  (9.994745443921116e-52): 0
* [misc]none:  (3.1833933881987617e-79): 0
* [misc]none:  (7.295192121988394e-248): 0
* [misc]none:  (5.782298440743446e-85): 0
* [misc]none:  (5.4317681644738385e-213): 0
* [misc]none:  (1.0415884095152047e-168): 0
* [misc]none:  (6.83711846828479e-107): 0
* [misc]none:  (8.442747484894839e-243): 0
* [misc]none:  (1.6142437577696312e-224): 0
* [misc]none:  (7.265072315404724e-26): 0
* [misc]none:  (7.336153433145242e-68): 0
* [misc]none:  (1.4206231112535928e-200): 0
* [misc]none:  (2.0396675688141988e-23): 0
* [misc]none:  (2.7591449104116713e-255): 0
* [misc]none:  (4.1405201051420804e-179): 0
* [misc]none:  (2.5223489053925696e-40): 0
* [misc]none:  (2.840109110830429e-127): 0
* [misc]none:  (7.46556638511279e-167): 0
* [misc]none:  (5.818453462315962e-21): 0
* [misc]none:  (3.804991609604009e-57): 0
* [misc]none:  (1.9726466050765165e-86): 0
* [misc]none:  (1.391656717819022e-57): 0
* [misc]none:  (1.4346385472194732e-51): 0
* [misc]none:  (4.409448433837669e-186): 0
* [misc]none:  (1.3144334472728716e-282): 0
* [misc]none:  (2.5822360164534726e-294): 0
* [misc]none:  (1.8780079896440083e-35): 0
* [misc]none:  (2.858237900596346e-166): 0
* [misc]none:  (1.601870343231719e-87): 0
* [misc]none:  (1.208932432705747e-136): 0
* [misc]none:  (1.6129775607272704e-12): 0
* [misc]none:  (4.69158445025113e-195): 0
* [misc]none:  (1.3625632529091732e-61): 0
* [misc]none:  (3.1529183432817893e-286): 0
* [misc]none:  All alt indices
* [misc]none:  (λ (x) (+ (* x (* x x)) (* x x))): 0
* [misc]none:  Best alt per point
* [misc]none:  (1.197048592414858e-44): 0
* [misc]none:  (6.389167960743055e-104): 0
* [misc]none:  (1.4234909229788447e-118): 0
* [misc]none:  (1.1870179113418184e-186): 0
* [misc]none:  (1.708850909162718e-92): 0
* [misc]none:  (2.2338625709637425e-49): 0
* [misc]none:  (3.9966656937407e-74): 0
* [misc]none:  (5.5667991488252575e-164): 0
* [misc]none:  (1.6263891594427068e-27): 0
* [misc]none:  (0.005231323660105887): 0
* [misc]none:  (1.5486292826172064e-122): 0
* [misc]none:  (9.790390150399868e-109): 0
* [misc]none:  (7.176234390446597e-87): 0
* [misc]none:  (4.7207585332033815e-37): 0
* [misc]none:  (1.6681565752645998e-250): 0
* [misc]none:  (5.0727720600262717e-253): 0
* [misc]none:  (1.1325396816423906e-185): 0
* [misc]none:  (9.957094740733235e-144): 0
* [misc]none:  (3.02861411152772e-251): 0
* [misc]none:  (9.677771463110656e-73): 0
* [misc]none:  (2.7496677138512053e-146): 0
* [misc]none:  (3.376698484612608e-06): 0
* [misc]none:  (4.2908408065065117e-268): 0
* [misc]none:  (2.7903530888062545e-74): 0
* [misc]none:  (6.524812896454005e-30): 0
* [misc]none:  (1.6312092838000275e-105): 0
* [misc]none:  (1.5191851592442706e-111): 0
* [misc]none:  (2.5115505922360334e-35): 0
* [misc]none:  (3.164900455146054e-227): 0
* [misc]none:  (7.919905925311658e-162): 0
* [misc]none:  (1.0437930809719812e-121): 0
* [misc]none:  (3.7115300432768954e-129): 0
* [misc]none:  (2.583618597888888e-222): 0
* [misc]none:  (6.428093013407932e-282): 0
* [misc]none:  (7.205991948268595e-20): 0
* [misc]none:  (1.2633901328254338e-263): 0
* [misc]none:  (9.888696006423215e-254): 0
* [misc]none:  (6.0176421051962594e-260): 0
* [misc]none:  (8.418647739763131e-70): 0
* [misc]none:  (6.17050484788217e-73): 0
* [misc]none:  (1.8841440607922374e-102): 0
* [misc]none:  (4.495212724445497e-54): 0
* [misc]none:  (1.0205937792003573e-264): 0
* [misc]none:  (7.901773140736686e-13): 0
* [misc]none:  (4.448300424374346e-280): 0
* [misc]none:  (7.846137693318415e-248): 0
* [misc]none:  (4.341046721815756e-33): 0
* [misc]none:  (2.303514965868568e-211): 0
* [misc]none:  (7.720654014198112e-307): 0
* [misc]none:  (9.35674660751706e-36): 0
* [misc]none:  (6.258023444911577e-13): 0
* [misc]none:  (1.4732492606552072e-47): 0
* [misc]none:  (2.4401918491396554e-262): 0
* [misc]none:  (5.12049841334756e-286): 0
* [misc]none:  (3.695959462164293e-119): 0
* [misc]none:  (1.622854828701395e-276): 0
* [misc]none:  (1.7122134796523298e-211): 0
* [misc]none:  (8.717868833304878e-185): 0
* [misc]none:  (1.0934384337759896e-16): 0
* [misc]none:  (1.9554018807903817e-157): 0
* [misc]none:  (2.6270254507697085e-09): 0
* [misc]none:  (5.5019862479113775e-77): 0
* [misc]none:  (4.117098219360247e-06): 0
* [misc]none:  (6.282374516784643e-290): 0
* [misc]none:  (6.081751582801009e-88): 0
* [misc]none:  (4.111985865001052e-142): 0
* [misc]none:  (1.691295571018478e-206): 0
* [misc]none:  (5.6705801494139594e-96): 0
* [misc]none:  (2.7353632223281115e-294): 0
* [misc]none:  (0.006458369868028203): 0
* [misc]none:  (5.649382841310704e-162): 0
* [misc]none:  (4.0357210904372297e-13): 0
* [misc]none:  (1.5899432782836892e-82): 0
* [misc]none:  (4.391429050811499e-286): 0
* [misc]none:  (1.6940006192586202e-279): 0
* [misc]none:  (7.710631434085085e-132): 0
* [misc]none:  (9.237265073528648e-29): 0
* [misc]none:  (3.410047914051874e-125): 0
* [misc]none:  (2.49967560393371e-242): 0
* [misc]none:  (2.667227292164438e-280): 0
* [misc]none:  (9.954162278424416e-91): 0
* [misc]none:  (5.498229429459013e-104): 0
* [misc]none:  (6.251899738340474e-71): 0
* [misc]none:  (1.782335619238574e-281): 0
* [misc]none:  (3.240375187915062e-219): 0
* [misc]none:  (9.138250551532955e-182): 0
* [misc]none:  (1.3617548678263602e-258): 0
* [misc]none:  (1.409679260408166e-304): 0
* [misc]none:  (1.311153641145857e-71): 0
* [misc]none:  (4.503079168695006e-116): 0
* [misc]none:  (7.36776039865883e-111): 0
* [misc]none:  (3.226032298145465e-76): 0
* [misc]none:  (7.424568519023038e-199): 0
* [misc]none:  (2.2851652420609476e-163): 0
* [misc]none:  (4.2914417177438296e-120): 0
* [misc]none:  (3.6353800384810127e-277): 0
* [misc]none:  (2.3001541578501865e-61): 0
* [misc]none:  (8.026810382162184e-187): 0
* [misc]none:  (3.620762514259264e-302): 0
* [misc]none:  (1.2669199252726818e-116): 0
* [misc]none:  (2.2975044268424514e-31): 0
* [misc]none:  (3.6397898507509057e-78): 0
* [misc]none:  (4.1462384512940063e-131): 0
* [misc]none:  (2.282167123017447e-302): 0
* [misc]none:  (2.959936170834263e-200): 0
* [misc]none:  (1.016605042045049e-116): 0
* [misc]none:  (2.1568069521722076e-257): 0
* [misc]none:  (4.893461567299806e-231): 0
* [misc]none:  (3.6844710958819885e-146): 0
* [misc]none:  (2.7596629011345744e-38): 0
* [misc]none:  (3.6023001910838544e-169): 0
* [misc]none:  (5.3563248530981785e-288): 0
* [misc]none:  (5.089159378755409e-73): 0
* [misc]none:  (8.249028089660374e-96): 0
* [misc]none:  (4.918647959707745e-292): 0
* [misc]none:  (3.916183816986473e-63): 0
* [misc]none:  (2.9745491778207217e-72): 0
* [misc]none:  (1.3174792551566853e-244): 0
* [misc]none:  (4.0934279980958245e-221): 0
* [misc]none:  (2.7717690789997993e-178): 0
* [misc]none:  (8.942381896216585e-303): 0
* [misc]none:  (1.1863391144760665e-194): 0
* [misc]none:  (1.557269734690448e-173): 0
* [misc]none:  (1.0141256439194013e-17): 0
* [misc]none:  (8.385693938048634e-17): 0
* [misc]none:  (1.774036084880371e-10): 0
* [misc]none:  (3.121909469038303e-120): 0
* [misc]none:  (2.677305271296432e-286): 0
* [misc]none:  (1.2412531553947285e-292): 0
* [misc]none:  (1.6676514320064695e-262): 0
* [misc]none:  (1.0233964677532408e-256): 0
* [misc]none:  (7.79273941916423e-248): 0
* [misc]none:  (2.254491553748098e-284): 0
* [misc]none:  (2.511194744584963e-121): 0
* [misc]none:  (1.940151057011967e-214): 0
* [misc]none:  (1.9066777581744584e-241): 0
* [misc]none:  (1.2217070134666303e-183): 0
* [misc]none:  (5.169960882435681e-247): 0
* [misc]none:  (3.422619477230439e-282): 0
* [misc]none:  (2.2277756564552377e-180): 0
* [misc]none:  (8.941842227493106e-299): 0
* [misc]none:  (3.636850063152442e-41): 0
* [misc]none:  (9.250395424910984e-45): 0
* [misc]none:  (3.971013898456652e-165): 0
* [misc]none:  (8.51289874168847e-133): 0
* [misc]none:  (1.6886586830896127e-104): 0
* [misc]none:  (4.2887521823462643e-119): 0
* [misc]none:  (5.153271427114977e-282): 0
* [misc]none:  (1.4794147111939057e-54): 0
* [misc]none:  (0.00011887722424706732): 0
* [misc]none:  (1.680724065404955e-295): 0
* [misc]none:  (1.5670767272689242e-48): 0
* [misc]none:  (6.360035433734438e-287): 0
* [misc]none:  (2.0239366348064024e-118): 0
* [misc]none:  (1.0375804046259939e-32): 0
* [misc]none:  (2.7482063131880367e-288): 0
* [misc]none:  (7.996915897487891e-106): 0
* [misc]none:  (2.2684761931166178e-104): 0
* [misc]none:  (3.2131475920169934e-29): 0
* [misc]none:  (5.336279003169399e-306): 0
* [misc]none:  (1.8004954007033816e-302): 0
* [misc]none:  (1.422166709767053e-11): 0
* [misc]none:  (4.505714792629337e-105): 0
* [misc]none:  (8.934857569020472e-173): 0
* [misc]none:  (7.98321756881755e-89): 0
* [misc]none:  (1.2018761099814178e-271): 0
* [misc]none:  (4.377682581163163e-116): 0
* [misc]none:  (1.3872884148702953e-195): 0
* [misc]none:  (1.6088622694636596e-228): 0
* [misc]none:  (3.247119126714314e-213): 0
* [misc]none:  (1.7841275852582967e-275): 0
* [misc]none:  (5.31502844293741e-290): 0
* [misc]none:  (3.5758921812526024e-250): 0
* [misc]none:  (1.0004327523983676e-256): 0
* [misc]none:  (2.724245613926288e-125): 0
* [misc]none:  (5.576913032743719e-34): 0
* [misc]none:  (2.0596982443634175e-116): 0
* [misc]none:  (1.910995471119852e-114): 0
* [misc]none:  (4.768073867118373e-288): 0
* [misc]none:  (3.567382276498594e-55): 0
* [misc]none:  (9.269076764309925e-36): 0
* [misc]none:  (6.0131817565342744e-186): 0
* [misc]none:  (2.8057682258926097e-232): 0
* [misc]none:  (1.1334948610553645e-165): 0
* [misc]none:  (9.682202686811077e-153): 0
* [misc]none:  (4.621008069137698e-92): 0
* [misc]none:  (2.8073350258352292e-201): 0
* [misc]none:  (2.123604941701861e-28): 0
* [misc]none:  (2.0783125188849014e-109): 0
* [misc]none:  (5.733974494229092e-156): 0
* [misc]none:  (2.830642300618756e-14): 0
* [misc]none:  (1.0849241231757671e-76): 0
* [misc]none:  (1.3708218517431854e-220): 0
* [misc]none:  (4.5300527106009253e-94): 0
* [misc]none:  (3.841316576758789e-259): 0
* [misc]none:  (1.5184570779188888e-22): 0
* [misc]none:  (9.321245330510887e-53): 0
* [misc]none:  (1.1840551710990052e-30): 0
* [misc]none:  (1.0872736992809513e-293): 0
* [misc]none:  (7.027083368721354e-220): 0
* [misc]none:  (8.291865206012611e-258): 0
* [misc]none:  (1.2006541567767156e-54): 0
* [misc]none:  (7.042179644070029e-158): 0
* [misc]none:  (1.5207024812382172e-91): 0
* [misc]none:  (7.150855335049722e-246): 0
* [misc]none:  (3.7392497819673926e-40): 0
* [misc]none:  (2.8253731884002173e-44): 0
* [misc]none:  (7.6583175492452e-91): 0
* [misc]none:  (1.3885883793122932e-240): 0
* [misc]none:  (5.275190234103335e-99): 0
* [misc]none:  (1.092459256068825e-269): 0
* [misc]none:  (1.1503637095493493e-247): 0
* [misc]none:  (6.015129565427065e-94): 0
* [misc]none:  (2.7785201060517135e-213): 0
* [misc]none:  (7.605616020396466e-302): 0
* [misc]none:  (2.8428346742029696e-74): 0
* [misc]none:  (1.0012400184432346e-84): 0
* [misc]none:  (3.2117836456739127e-31): 0
* [misc]none:  (1.4749975153323176e-259): 0
* [misc]none:  (1.239201552163507e-179): 0
* [misc]none:  (7.845387590754101e-25): 0
* [misc]none:  (7.277218374215988e-239): 0
* [misc]none:  (9.994745443921116e-52): 0
* [misc]none:  (3.1833933881987617e-79): 0
* [misc]none:  (7.295192121988394e-248): 0
* [misc]none:  (5.782298440743446e-85): 0
* [misc]none:  (5.4317681644738385e-213): 0
* [misc]none:  (1.0415884095152047e-168): 0
* [misc]none:  (6.83711846828479e-107): 0
* [misc]none:  (8.442747484894839e-243): 0
* [misc]none:  (1.6142437577696312e-224): 0
* [misc]none:  (7.265072315404724e-26): 0
* [misc]none:  (7.336153433145242e-68): 0
* [misc]none:  (1.4206231112535928e-200): 0
* [misc]none:  (2.0396675688141988e-23): 0
* [misc]none:  (2.7591449104116713e-255): 0
* [misc]none:  (4.1405201051420804e-179): 0
* [misc]none:  (2.5223489053925696e-40): 0
* [misc]none:  (2.840109110830429e-127): 0
* [misc]none:  (7.46556638511279e-167): 0
* [misc]none:  (5.818453462315962e-21): 0
* [misc]none:  (3.804991609604009e-57): 0
* [misc]none:  (1.9726466050765165e-86): 0
* [misc]none:  (1.391656717819022e-57): 0
* [misc]none:  (1.4346385472194732e-51): 0
* [misc]none:  (4.409448433837669e-186): 0
* [misc]none:  (1.3144334472728716e-282): 0
* [misc]none:  (2.5822360164534726e-294): 0
* [misc]none:  (1.8780079896440083e-35): 0
* [misc]none:  (2.858237900596346e-166): 0
* [misc]none:  (1.601870343231719e-87): 0
* [misc]none:  (1.208932432705747e-136): 0
* [misc]none:  (1.6129775607272704e-12): 0
* [misc]none:  (4.69158445025113e-195): 0
* [misc]none:  (1.3625632529091732e-61): 0
* [misc]none:  (3.1529183432817893e-286): 0
* [misc]none:  Picked alt (λ (x) (+ (* x (* x x)) (* x x)))
* * * * [misc]pick:  Picked  #<alt-event (λ (x) (+ (* x (* x x)) (* x x)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1)
* [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 (+ (* 0 0) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (+ (* 0 1) (+ (* 1 0) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (+ (* 0 0) (* 0 0)))) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (+ (* 0 0) (* 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) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 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) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 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) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 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) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 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 0) (+ (* 0 1) (* 0 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) (* 0 0)))))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* 1 (pow x 3)) into (pow x 3)
* [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 (* 1 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 1)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) 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)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 1 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) (+ (* 0 0) (* 0 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 (- (+ (* 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)) (* 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 (/ 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)) (* 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 (/ 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)) (* 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 (/ 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)) (* 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 (pow (/ 1 (/ 1 x)) 3)) into (pow x 3)
* [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 (* -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) 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 (- 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 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 (- (+ (* -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 (- 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 (- 0) into 0
* [misc]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 (- 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 (- 0) into 0
* [misc]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 (- 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 (- 0) into 0
* [misc]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 (- 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 (- 0) into 0
* [misc]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 (- 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 (pow (/ 1 (/ 1 (- x))) 3)) into (pow x 3)
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 15 ] simplifiying candidate #<alt-delta (λ (x) (+ (log1p (expm1 (* x (* x x)))) (* x x)))>
* [enter]simplify:  Simplifying (expm1 (* x (* x x)))
* * [misc]simplify:  iters left: 5 (4 enodes)
* * [misc]simplify:  iters left: 4 (7 enodes)
* [exit]simplify:  Simplified to (expm1 (pow x 3))
* [exit]simplify:  Simplified to (expm1 (pow x 3))
* * * * [misc]progress:  [ 2 / 15 ] simplifiying candidate #<alt-delta (λ (x) (+ (expm1 (log1p (* x (* x x)))) (* x x)))>
* [enter]simplify:  Simplifying (log1p (* x (* x x)))
* * [misc]simplify:  iters left: 5 (4 enodes)
* * [misc]simplify:  iters left: 4 (7 enodes)
* [exit]simplify:  Simplified to (log1p (pow x 3))
* [exit]simplify:  Simplified to (log1p (pow x 3))
* * * * [misc]progress:  [ 3 / 15 ] simplifiying candidate #<alt-delta (λ (x) (+ (pow (* x (* x x)) 1) (* x x)))>
* * * * [misc]progress:  [ 4 / 15 ] simplifiying candidate #<alt-delta (λ (x) (+ (exp (log (* x (* x x)))) (* x x)))>
* [enter]simplify:  Simplifying (log (* x (* x x)))
* * [misc]simplify:  iters left: 5 (4 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* * [misc]simplify:  iters left: 3 (13 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* [exit]simplify:  Simplified to (* 3 (log x))
* [exit]simplify:  Simplified to (* 3 (log x))
* * * * [misc]progress:  [ 5 / 15 ] simplifiying candidate #<alt-delta (λ (x) (+ (log (exp (* x (* x x)))) (* x x)))>
* [enter]simplify:  Simplifying (exp (* x (* x x)))
* * [misc]simplify:  iters left: 5 (4 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (exp (pow x 3))
* [exit]simplify:  Simplified to (exp (pow x 3))
* * * * [misc]progress:  [ 6 / 15 ] simplifiying candidate #<alt-delta (λ (x) (+ (pow x 3) (* x x)))>
* * * * [misc]progress:  [ 7 / 15 ] simplifiying candidate #<alt-delta (λ (x) (+ (* (* (cbrt (* x (* x x))) (cbrt (* x (* x x)))) (cbrt (* x (* x 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 (8 enodes)
* [exit]simplify:  Simplified to (* x x)
* [exit]simplify:  Simplified to (* x x)
* [enter]simplify:  Simplifying (cbrt (* x (* x x)))
* * [misc]simplify:  iters left: 5 (4 enodes)
* * [misc]simplify:  iters left: 4 (7 enodes)
* [exit]simplify:  Simplified to x
* [exit]simplify:  Simplified to x
* * * * [misc]progress:  [ 8 / 15 ] simplifiying candidate #<alt-delta (λ (x) (+ (cbrt (* (* (* x (* x 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 (15 enodes)
* * [misc]simplify:  iters left: 4 (36 enodes)
* * [misc]simplify:  iters left: 3 (57 enodes)
* * [misc]simplify:  iters left: 2 (62 enodes)
* * [misc]simplify:  iters left: 1 (70 enodes)
* [exit]simplify:  Simplified to (pow (pow x 3) 3)
* [exit]simplify:  Simplified to (pow (pow x 3) 3)
* * * * [misc]progress:  [ 9 / 15 ] simplifiying candidate #<alt-delta (λ (x) (+ (* (sqrt (* x (* x x))) (sqrt (* x (* x x)))) (* x x)))>
* [enter]simplify:  Simplifying (sqrt (* x (* x x)))
* * [misc]simplify:  iters left: 5 (4 enodes)
* * [misc]simplify:  iters left: 4 (7 enodes)
* [exit]simplify:  Simplified to (sqrt (pow x 3))
* [exit]simplify:  Simplified to (sqrt (pow x 3))
* [enter]simplify:  Simplifying (sqrt (* x (* x x)))
* * [misc]simplify:  iters left: 5 (4 enodes)
* * [misc]simplify:  iters left: 4 (7 enodes)
* [exit]simplify:  Simplified to (sqrt (pow x 3))
* [exit]simplify:  Simplified to (sqrt (pow x 3))
* * * * [misc]progress:  [ 10 / 15 ] simplifiying candidate #<alt-delta (λ (x) (+ (* 1 (* x (* x x))) (* x x)))>
* * * * [misc]progress:  [ 11 / 15 ] simplifiying candidate #<alt-delta (λ (x) (+ (* (* 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)
* * * * [misc]progress:  [ 12 / 15 ] simplifiying candidate #<alt-delta (λ (x) (+ (* (* x x) x) (* x x)))>
* * * * [misc]progress:  [ 13 / 15 ] simplifiying candidate #<alt-event (λ (x) (+ (pow x 3) (* x x)))>
* [enter]simplify:  Simplifying (+ (pow x 3) (* x x))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* * [misc]simplify:  iters left: 1 (25 enodes)
* [exit]simplify:  Simplified to (fma x (* x x) (* x x))
* * * * [misc]progress:  [ 14 / 15 ] simplifiying candidate #<alt-event (λ (x) (+ (pow x 3) (* x x)))>
* [enter]simplify:  Simplifying (+ (pow x 3) (* x x))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* * [misc]simplify:  iters left: 1 (25 enodes)
* [exit]simplify:  Simplified to (fma x (* x x) (* x x))
* * * * [misc]progress:  [ 15 / 15 ] simplifiying candidate #<alt-event (λ (x) (+ (pow x 3) (* x x)))>
* [enter]simplify:  Simplifying (+ (pow x 3) (* x x))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* * [misc]simplify:  iters left: 2 (18 enodes)
* * [misc]simplify:  iters left: 1 (25 enodes)
* [exit]simplify:  Simplified to (fma x (* x x) (* x x))
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* [enter]simplify:  Simplifying (+ (* x (* x x)) (* x x))
* * [misc]simplify:  iters left: 6 (4 enodes)
* * [misc]simplify:  iters left: 5 (6 enodes)
* [exit]simplify:  Simplified to (+ (* x x) (* (* 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