* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
* * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 64
* * * * [misc]points:  Setting MPFR precision to 320
* * * * [misc]points:  Setting MPFR precision to 576
* * * * [misc]points:  Setting MPFR precision to 832
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 832
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 832
* * * * [misc]points:  Setting MPFR precision to 1088
* * * * [misc]points:  Setting MPFR precision to 1344
* * * * [misc]points:  Setting MPFR precision to 1600
* * * * [misc]points:  Setting MPFR precision to 1856
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 256 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 194 additional inputs, on iter 1 have 62 / 256
* * * * [misc]points:  Computing exacts on every 12 of 194 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 6 of 194 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 3 of 194 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 194 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 149 additional inputs, on iter 2 have 107 / 256
* * * * [misc]points:  Computing exacts on every 9 of 149 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 4 of 149 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 2 of 149 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 149 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 118 additional inputs, on iter 3 have 138 / 256
* * * * [misc]points:  Computing exacts on every 7 of 118 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 3 of 118 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 118 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 94 additional inputs, on iter 4 have 162 / 256
* * * * [misc]points:  Computing exacts on every 5 of 94 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 2 of 94 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 94 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 71 additional inputs, on iter 5 have 185 / 256
* * * * [misc]points:  Computing exacts on every 4 of 71 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 2 of 71 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 71 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 50 additional inputs, on iter 6 have 206 / 256
* * * * [misc]points:  Computing exacts on every 3 of 50 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 50 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 35 additional inputs, on iter 7 have 221 / 256
* * * * [misc]points:  Computing exacts on every 2 of 35 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 35 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 27 additional inputs, on iter 8 have 229 / 256
* * * * [misc]points:  Computing exacts for 27 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 19 additional inputs, on iter 9 have 237 / 256
* * * * [misc]points:  Computing exacts for 19 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 15 additional inputs, on iter 10 have 241 / 256
* * * * [misc]points:  Computing exacts for 15 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 13 additional inputs, on iter 11 have 243 / 256
* * * * [misc]points:  Computing exacts for 13 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 9 additional inputs, on iter 12 have 247 / 256
* * * * [misc]points:  Computing exacts for 9 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 13 have 252 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 253 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 254 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 254 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 255 / 256
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [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 (pow (atan (fmod a (asin a))) (* a a))
* * [misc]simplify:  iters left: 4 (6 enodes)
* [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* [misc]none:  Fresh alts: 1
* [misc]none:  All alts: 1
* [misc]none:  Fresh alt: (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
* [misc]none:  Fresh alt indexes
* [misc]none:  (λ (a) (pow (atan (fmod a (asin a))) (* a a))): 0
* [misc]none:  Best fresh alt per point
* [misc]none:  (6.9283794454946695e-220): 0
* [misc]none:  (7.858951648222616e-145): 0
* [misc]none:  (1.2682140778650343e-160): 0
* [misc]none:  (6.736387170591557e-22): 0
* [misc]none:  (3.5199466243596854e-299): 0
* [misc]none:  (3.015356863579906e-306): 0
* [misc]none:  (3.0539888630764254e-239): 0
* [misc]none:  (4.438087084089409e-213): 0
* [misc]none:  (3.0509442478623603e-280): 0
* [misc]none:  (1.3773590471941116e-85): 0
* [misc]none:  (5.932902354540652e-124): 0
* [misc]none:  (2.053616853702732e-224): 0
* [misc]none:  (7.015751827940853e-06): 0
* [misc]none:  (3.891498638245715e-204): 0
* [misc]none:  (3.7593562727881465e-144): 0
* [misc]none:  (3.348006630378271e-280): 0
* [misc]none:  (6.365296636056406e-210): 0
* [misc]none:  (1.67686277315656e-251): 0
* [misc]none:  (1.3713007375624439e-145): 0
* [misc]none:  (1.0667290830168972e-214): 0
* [misc]none:  (5.291003268559521e-138): 0
* [misc]none:  (3.635166212473371e-300): 0
* [misc]none:  (3.966912435182195e-260): 0
* [misc]none:  (3.5927665975113976e-239): 0
* [misc]none:  (4.614798558690456e-297): 0
* [misc]none:  (4.3470242035285214e-217): 0
* [misc]none:  (2.3704965072138904e-155): 0
* [misc]none:  (3.7185602485274197e-196): 0
* [misc]none:  (7.775944736851254e-206): 0
* [misc]none:  (1.868195914590381e-206): 0
* [misc]none:  (5.5950620368202944e-145): 0
* [misc]none:  (1.2940880376764753e-219): 0
* [misc]none:  (3.861824393614253e-238): 0
* [misc]none:  (2.9754862723359673e-209): 0
* [misc]none:  (2.5416139134760705e-289): 0
* [misc]none:  (1.7880122882465386e-160): 0
* [misc]none:  (5.9404411007612226e-148): 0
* [misc]none:  (5.946958643597572e-214): 0
* [misc]none:  (9.722495709355246e-119): 0
* [misc]none:  (3.4485202867414925e-305): 0
* [misc]none:  (9.612946779766744e-152): 0
* [misc]none:  (6.79923859530497e-146): 0
* [misc]none:  (2.3199002928076114e-253): 0
* [misc]none:  (8.620532347324376e-08): 0
* [misc]none:  (3.9615177849779133e-143): 0
* [misc]none:  (1.1510307484496886e-51): 0
* [misc]none:  (3.693750774878426e-277): 0
* [misc]none:  (7.454704207949864e-57): 0
* [misc]none:  (7.526283173556059e-199): 0
* [misc]none:  (5.532920533179142e-152): 0
* [misc]none:  (2.376066765979685e-112): 0
* [misc]none:  (1.1698610931102194e-130): 0
* [misc]none:  (1.661221283132463e-65): 0
* [misc]none:  (4.4868661851147195e-129): 0
* [misc]none:  (6.919405587280887e-246): 0
* [misc]none:  (1.1395251390361844e-140): 0
* [misc]none:  (2.4110148371685504e-195): 0
* [misc]none:  (3.267420843732698e-278): 0
* [misc]none:  (6.357084440609873e-122): 0
* [misc]none:  (9.254023538292273e-258): 0
* [misc]none:  (2.617971147092364e-76): 0
* [misc]none:  (1.5886707158046732e-145): 0
* [misc]none:  (5.592901786443595e-28): 0
* [misc]none:  (6.673139894543714e-272): 0
* [misc]none:  (2.389729719307196e-186): 0
* [misc]none:  (1.5951305500453889e-112): 0
* [misc]none:  (5.038324220668273e-249): 0
* [misc]none:  (3.34193429381633e-274): 0
* [misc]none:  (5.316440102938414e-63): 0
* [misc]none:  (2.2458933586183572e-118): 0
* [misc]none:  (1.9670205245244736e-161): 0
* [misc]none:  (1.0943834228645564e-283): 0
* [misc]none:  (7.113635611234131e-284): 0
* [misc]none:  (3.1548761384348172e-109): 0
* [misc]none:  (9.821958098168882e-306): 0
* [misc]none:  (2.2232805721846523e-265): 0
* [misc]none:  (5.372727824328137e-28): 0
* [misc]none:  (5.651538156817781e-179): 0
* [misc]none:  (4.8458035413918555e-285): 0
* [misc]none:  (4.5943761374208534e-275): 0
* [misc]none:  (1.0704348800720866e-142): 0
* [misc]none:  (9.151015091612054e-197): 0
* [misc]none:  (1.6592153710205133e-269): 0
* [misc]none:  (2.8067853342065496e-36): 0
* [misc]none:  (6.922703552766224e-109): 0
* [misc]none:  (1.674827311439142e-232): 0
* [misc]none:  (1.1207405456452899e-163): 0
* [misc]none:  (6.700770922533326e-131): 0
* [misc]none:  (2.2584006382909978e-83): 0
* [misc]none:  (1.5567451015893508e-50): 0
* [misc]none:  (3.408101142682615e-113): 0
* [misc]none:  (1.6458733605865993e-55): 0
* [misc]none:  (1.1189646373235805e-58): 0
* [misc]none:  (4.656737006361128e-228): 0
* [misc]none:  (5.074843796746761e-264): 0
* [misc]none:  (1.7364409891568008e-267): 0
* [misc]none:  (1.7709814199603185e-248): 0
* [misc]none:  (2.0769573767287482e-304): 0
* [misc]none:  (5.306441188360666e-59): 0
* [misc]none:  (4.739581624122418e-235): 0
* [misc]none:  (3.241550165346134e-21): 0
* [misc]none:  (7.641034589777101e-98): 0
* [misc]none:  (3.870739942634173e-139): 0
* [misc]none:  (1.285043823429664e-88): 0
* [misc]none:  (5.105992271675965e-91): 0
* [misc]none:  (4.769518420383615e-198): 0
* [misc]none:  (6.798513332593515e-94): 0
* [misc]none:  (1.4806341275368096e-15): 0
* [misc]none:  (5.186987197606439e-95): 0
* [misc]none:  (9.166563210335683e-100): 0
* [misc]none:  (6.272380368196269e-197): 0
* [misc]none:  (1.2469806285072402e-28): 0
* [misc]none:  (2.7685178515126097e-185): 0
* [misc]none:  (1.169454058782927e-202): 0
* [misc]none:  (2.497681663913315e-296): 0
* [misc]none:  (1.09010428308076e-124): 0
* [misc]none:  (0.36218343358512595): 0
* [misc]none:  (2.748984383306802e-298): 0
* [misc]none:  (2.5419285128257477e-50): 0
* [misc]none:  (1.1330111314315052e-297): 0
* [misc]none:  (6.333415879143823e-203): 0
* [misc]none:  (6.534790094984563e-249): 0
* [misc]none:  (9.20482191500962e-294): 0
* [misc]none:  (6.826390525782658e-164): 0
* [misc]none:  (1.4517955555700533e-57): 0
* [misc]none:  (6.319063013887454e-198): 0
* [misc]none:  (4.013577168037153e-101): 0
* [misc]none:  (1.5130621813503031e-75): 0
* [misc]none:  (7.700703882618771e-282): 0
* [misc]none:  (3.8976396927163173e-162): 0
* [misc]none:  (9.422179697047065e-164): 0
* [misc]none:  (1.3639040980897921e-39): 0
* [misc]none:  (2.4497413502625085e-301): 0
* [misc]none:  (1.9836536473017196e-256): 0
* [misc]none:  (2.7441626242764893e-109): 0
* [misc]none:  (3.5836534998638334e-135): 0
* [misc]none:  (5.874263446950659e-136): 0
* [misc]none:  (1.389009890486587e-304): 0
* [misc]none:  (1.5400917624685415e-295): 0
* [misc]none:  (1.1078263738557817e-173): 0
* [misc]none:  (5.617389868143885e-251): 0
* [misc]none:  (5.3574914123082987e-182): 0
* [misc]none:  (7.304105671735325e-242): 0
* [misc]none:  (6.81321242648181e-289): 0
* [misc]none:  (1.45222983614977e-105): 0
* [misc]none:  (1.5262661067350401e-10): 0
* [misc]none:  (2.5307294479253995e-285): 0
* [misc]none:  (1.4426514360168247e-145): 0
* [misc]none:  (4.718938084187299e-44): 0
* [misc]none:  (1.1909630224861144e-308): 0
* [misc]none:  (9.212199844523645e-229): 0
* [misc]none:  (3.003386221248247e-77): 0
* [misc]none:  (7.613990227232114e-101): 0
* [misc]none:  (1.4369290385678577e-161): 0
* [misc]none:  (2.3887736368263357e-225): 0
* [misc]none:  (2.116370076668309e-191): 0
* [misc]none:  (1.1142271720543672e-206): 0
* [misc]none:  (2.8003106991789085e-69): 0
* [misc]none:  (5.515506992492392e-277): 0
* [misc]none:  (2.595646488837273e-219): 0
* [misc]none:  (3.108236652528406e-297): 0
* [misc]none:  (7.181266914182018e-165): 0
* [misc]none:  (1.1353295840851429e-96): 0
* [misc]none:  (2.347768069961951e-79): 0
* [misc]none:  (7.595028648060239e-286): 0
* [misc]none:  (4.5690448860660455e-67): 0
* [misc]none:  (1.0832199703372366e-253): 0
* [misc]none:  (3.934156464498665e-121): 0
* [misc]none:  (0.0005921945720183679): 0
* [misc]none:  (2.8115284450926948e-120): 0
* [misc]none:  (2.9394468165964015e-257): 0
* [misc]none:  (3.271929098149761e-144): 0
* [misc]none:  (3.0718166030691505e-80): 0
* [misc]none:  (6.604350361119279e-291): 0
* [misc]none:  (3.861477555295976e-66): 0
* [misc]none:  (7.835819247789118e-215): 0
* [misc]none:  (1.5041078345043152e-175): 0
* [misc]none:  (3.0457736919219457e-222): 0
* [misc]none:  (8.124998850854922e-91): 0
* [misc]none:  (2.0152844845402166e-297): 0
* [misc]none:  (8.604490187894414e-112): 0
* [misc]none:  (1.1753499799973743e-97): 0
* [misc]none:  (1.7699153793529457e-292): 0
* [misc]none:  (4.1993878019740277e-286): 0
* [misc]none:  (1.3228826725861251e-83): 0
* [misc]none:  (1.1326695724237201e-117): 0
* [misc]none:  (2.0115496002781107e-145): 0
* [misc]none:  (1.8862750447266752e-53): 0
* [misc]none:  (3.0319757073152243e-73): 0
* [misc]none:  (3.46946296425657e-151): 0
* [misc]none:  (4.4617997614332734e-49): 0
* [misc]none:  (5.1841759100413795e-161): 0
* [misc]none:  (6.821311827045434e-30): 0
* [misc]none:  (2.6830861914889714e-191): 0
* [misc]none:  (3.19314088639968e-300): 0
* [misc]none:  (2.6209483109511002e-99): 0
* [misc]none:  (3.9436987604242746e-188): 0
* [misc]none:  (1.2987545615858837e-229): 0
* [misc]none:  (1.3556558330338219e-279): 0
* [misc]none:  (5.600091178152213e-210): 0
* [misc]none:  (7.360949206952843e-212): 0
* [misc]none:  (2.924154450481512e-86): 0
* [misc]none:  (1.1766044207630259e-195): 0
* [misc]none:  (3.125863179986306e-134): 0
* [misc]none:  (4.319230432601922e-289): 0
* [misc]none:  (6.0910080487156845e-145): 0
* [misc]none:  (3.087465078472461e-297): 0
* [misc]none:  (1.8641835944090122e-68): 0
* [misc]none:  (2.9298628929536803e-07): 0
* [misc]none:  (2.112352033422511e-76): 0
* [misc]none:  (5.682432409793209e-103): 0
* [misc]none:  (3.763740454339611e-154): 0
* [misc]none:  (2.337605690906294e-85): 0
* [misc]none:  (1.939469755263449e-274): 0
* [misc]none:  (2.0558821145728443e-244): 0
* [misc]none:  (7.118304679887613e-64): 0
* [misc]none:  (2.3966615634258388e-54): 0
* [misc]none:  (1.0609576781328471e-51): 0
* [misc]none:  (1.9357477509582754e-93): 0
* [misc]none:  (2.0217918620332625e-85): 0
* [misc]none:  (5.6334012743355e-180): 0
* [misc]none:  (2.872174301870785e-238): 0
* [misc]none:  (2.885576028912994e-235): 0
* [misc]none:  (2.7377399598585416e-269): 0
* [misc]none:  (1.2391428993123195e-53): 0
* [misc]none:  (5.834035641946906e-257): 0
* [misc]none:  (2.1519168903719224e-48): 0
* [misc]none:  (2.467422452934927e-37): 0
* [misc]none:  (5.976566162781828e-262): 0
* [misc]none:  (1.638426277474575e-287): 0
* [misc]none:  (7.549936203493533e-264): 0
* [misc]none:  (1.2154965615643017e-95): 0
* [misc]none:  (1.7054753386147003e-193): 0
* [misc]none:  (1.0400546097675973e-191): 0
* [misc]none:  (1.2926844442603449e-272): 0
* [misc]none:  (8.02593234133885e-135): 0
* [misc]none:  (4.693484541613577e-225): 0
* [misc]none:  (1.488087021136329e-285): 0
* [misc]none:  (1.9700593229138827e-50): 0
* [misc]none:  (1.6501972239963874e-258): 0
* [misc]none:  (3.049268063166789e-38): 0
* [misc]none:  (3.388041199273477e-265): 0
* [misc]none:  (3.7476721237841876e-281): 0
* [misc]none:  (4.811543151950025e-33): 0
* [misc]none:  (1.7265727720717877e-65): 0
* [misc]none:  (6.525431496731668e-64): 0
* [misc]none:  (2.704077310435608e-253): 0
* [misc]none:  (2.7511202385052856e-18): 0
* [misc]none:  (3.82956155404422e-299): 0
* [misc]none:  (4.296582624822391e-200): 0
* [misc]none:  (9.139158849230913e-305): 0
* [misc]none:  (6.683383915725252e-271): 0
* [misc]none:  (1.830961252259433e-59): 0
* [misc]none:  (4.068667347744151e-179): 0
* [misc]none:  (3.853952974089327e-228): 0
* [misc]none:  (6.009493492582987e-296): 0
* [misc]none:  All alt indexes
* [misc]none:  (λ (a) (pow (atan (fmod a (asin a))) (* a a))): 0
* [misc]none:  Best alt per point
* [misc]none:  (6.9283794454946695e-220): 0
* [misc]none:  (7.858951648222616e-145): 0
* [misc]none:  (1.2682140778650343e-160): 0
* [misc]none:  (6.736387170591557e-22): 0
* [misc]none:  (3.5199466243596854e-299): 0
* [misc]none:  (3.015356863579906e-306): 0
* [misc]none:  (3.0539888630764254e-239): 0
* [misc]none:  (4.438087084089409e-213): 0
* [misc]none:  (3.0509442478623603e-280): 0
* [misc]none:  (1.3773590471941116e-85): 0
* [misc]none:  (5.932902354540652e-124): 0
* [misc]none:  (2.053616853702732e-224): 0
* [misc]none:  (7.015751827940853e-06): 0
* [misc]none:  (3.891498638245715e-204): 0
* [misc]none:  (3.7593562727881465e-144): 0
* [misc]none:  (3.348006630378271e-280): 0
* [misc]none:  (6.365296636056406e-210): 0
* [misc]none:  (1.67686277315656e-251): 0
* [misc]none:  (1.3713007375624439e-145): 0
* [misc]none:  (1.0667290830168972e-214): 0
* [misc]none:  (5.291003268559521e-138): 0
* [misc]none:  (3.635166212473371e-300): 0
* [misc]none:  (3.966912435182195e-260): 0
* [misc]none:  (3.5927665975113976e-239): 0
* [misc]none:  (4.614798558690456e-297): 0
* [misc]none:  (4.3470242035285214e-217): 0
* [misc]none:  (2.3704965072138904e-155): 0
* [misc]none:  (3.7185602485274197e-196): 0
* [misc]none:  (7.775944736851254e-206): 0
* [misc]none:  (1.868195914590381e-206): 0
* [misc]none:  (5.5950620368202944e-145): 0
* [misc]none:  (1.2940880376764753e-219): 0
* [misc]none:  (3.861824393614253e-238): 0
* [misc]none:  (2.9754862723359673e-209): 0
* [misc]none:  (2.5416139134760705e-289): 0
* [misc]none:  (1.7880122882465386e-160): 0
* [misc]none:  (5.9404411007612226e-148): 0
* [misc]none:  (5.946958643597572e-214): 0
* [misc]none:  (9.722495709355246e-119): 0
* [misc]none:  (3.4485202867414925e-305): 0
* [misc]none:  (9.612946779766744e-152): 0
* [misc]none:  (6.79923859530497e-146): 0
* [misc]none:  (2.3199002928076114e-253): 0
* [misc]none:  (8.620532347324376e-08): 0
* [misc]none:  (3.9615177849779133e-143): 0
* [misc]none:  (1.1510307484496886e-51): 0
* [misc]none:  (3.693750774878426e-277): 0
* [misc]none:  (7.454704207949864e-57): 0
* [misc]none:  (7.526283173556059e-199): 0
* [misc]none:  (5.532920533179142e-152): 0
* [misc]none:  (2.376066765979685e-112): 0
* [misc]none:  (1.1698610931102194e-130): 0
* [misc]none:  (1.661221283132463e-65): 0
* [misc]none:  (4.4868661851147195e-129): 0
* [misc]none:  (6.919405587280887e-246): 0
* [misc]none:  (1.1395251390361844e-140): 0
* [misc]none:  (2.4110148371685504e-195): 0
* [misc]none:  (3.267420843732698e-278): 0
* [misc]none:  (6.357084440609873e-122): 0
* [misc]none:  (9.254023538292273e-258): 0
* [misc]none:  (2.617971147092364e-76): 0
* [misc]none:  (1.5886707158046732e-145): 0
* [misc]none:  (5.592901786443595e-28): 0
* [misc]none:  (6.673139894543714e-272): 0
* [misc]none:  (2.389729719307196e-186): 0
* [misc]none:  (1.5951305500453889e-112): 0
* [misc]none:  (5.038324220668273e-249): 0
* [misc]none:  (3.34193429381633e-274): 0
* [misc]none:  (5.316440102938414e-63): 0
* [misc]none:  (2.2458933586183572e-118): 0
* [misc]none:  (1.9670205245244736e-161): 0
* [misc]none:  (1.0943834228645564e-283): 0
* [misc]none:  (7.113635611234131e-284): 0
* [misc]none:  (3.1548761384348172e-109): 0
* [misc]none:  (9.821958098168882e-306): 0
* [misc]none:  (2.2232805721846523e-265): 0
* [misc]none:  (5.372727824328137e-28): 0
* [misc]none:  (5.651538156817781e-179): 0
* [misc]none:  (4.8458035413918555e-285): 0
* [misc]none:  (4.5943761374208534e-275): 0
* [misc]none:  (1.0704348800720866e-142): 0
* [misc]none:  (9.151015091612054e-197): 0
* [misc]none:  (1.6592153710205133e-269): 0
* [misc]none:  (2.8067853342065496e-36): 0
* [misc]none:  (6.922703552766224e-109): 0
* [misc]none:  (1.674827311439142e-232): 0
* [misc]none:  (1.1207405456452899e-163): 0
* [misc]none:  (6.700770922533326e-131): 0
* [misc]none:  (2.2584006382909978e-83): 0
* [misc]none:  (1.5567451015893508e-50): 0
* [misc]none:  (3.408101142682615e-113): 0
* [misc]none:  (1.6458733605865993e-55): 0
* [misc]none:  (1.1189646373235805e-58): 0
* [misc]none:  (4.656737006361128e-228): 0
* [misc]none:  (5.074843796746761e-264): 0
* [misc]none:  (1.7364409891568008e-267): 0
* [misc]none:  (1.7709814199603185e-248): 0
* [misc]none:  (2.0769573767287482e-304): 0
* [misc]none:  (5.306441188360666e-59): 0
* [misc]none:  (4.739581624122418e-235): 0
* [misc]none:  (3.241550165346134e-21): 0
* [misc]none:  (7.641034589777101e-98): 0
* [misc]none:  (3.870739942634173e-139): 0
* [misc]none:  (1.285043823429664e-88): 0
* [misc]none:  (5.105992271675965e-91): 0
* [misc]none:  (4.769518420383615e-198): 0
* [misc]none:  (6.798513332593515e-94): 0
* [misc]none:  (1.4806341275368096e-15): 0
* [misc]none:  (5.186987197606439e-95): 0
* [misc]none:  (9.166563210335683e-100): 0
* [misc]none:  (6.272380368196269e-197): 0
* [misc]none:  (1.2469806285072402e-28): 0
* [misc]none:  (2.7685178515126097e-185): 0
* [misc]none:  (1.169454058782927e-202): 0
* [misc]none:  (2.497681663913315e-296): 0
* [misc]none:  (1.09010428308076e-124): 0
* [misc]none:  (0.36218343358512595): 0
* [misc]none:  (2.748984383306802e-298): 0
* [misc]none:  (2.5419285128257477e-50): 0
* [misc]none:  (1.1330111314315052e-297): 0
* [misc]none:  (6.333415879143823e-203): 0
* [misc]none:  (6.534790094984563e-249): 0
* [misc]none:  (9.20482191500962e-294): 0
* [misc]none:  (6.826390525782658e-164): 0
* [misc]none:  (1.4517955555700533e-57): 0
* [misc]none:  (6.319063013887454e-198): 0
* [misc]none:  (4.013577168037153e-101): 0
* [misc]none:  (1.5130621813503031e-75): 0
* [misc]none:  (7.700703882618771e-282): 0
* [misc]none:  (3.8976396927163173e-162): 0
* [misc]none:  (9.422179697047065e-164): 0
* [misc]none:  (1.3639040980897921e-39): 0
* [misc]none:  (2.4497413502625085e-301): 0
* [misc]none:  (1.9836536473017196e-256): 0
* [misc]none:  (2.7441626242764893e-109): 0
* [misc]none:  (3.5836534998638334e-135): 0
* [misc]none:  (5.874263446950659e-136): 0
* [misc]none:  (1.389009890486587e-304): 0
* [misc]none:  (1.5400917624685415e-295): 0
* [misc]none:  (1.1078263738557817e-173): 0
* [misc]none:  (5.617389868143885e-251): 0
* [misc]none:  (5.3574914123082987e-182): 0
* [misc]none:  (7.304105671735325e-242): 0
* [misc]none:  (6.81321242648181e-289): 0
* [misc]none:  (1.45222983614977e-105): 0
* [misc]none:  (1.5262661067350401e-10): 0
* [misc]none:  (2.5307294479253995e-285): 0
* [misc]none:  (1.4426514360168247e-145): 0
* [misc]none:  (4.718938084187299e-44): 0
* [misc]none:  (1.1909630224861144e-308): 0
* [misc]none:  (9.212199844523645e-229): 0
* [misc]none:  (3.003386221248247e-77): 0
* [misc]none:  (7.613990227232114e-101): 0
* [misc]none:  (1.4369290385678577e-161): 0
* [misc]none:  (2.3887736368263357e-225): 0
* [misc]none:  (2.116370076668309e-191): 0
* [misc]none:  (1.1142271720543672e-206): 0
* [misc]none:  (2.8003106991789085e-69): 0
* [misc]none:  (5.515506992492392e-277): 0
* [misc]none:  (2.595646488837273e-219): 0
* [misc]none:  (3.108236652528406e-297): 0
* [misc]none:  (7.181266914182018e-165): 0
* [misc]none:  (1.1353295840851429e-96): 0
* [misc]none:  (2.347768069961951e-79): 0
* [misc]none:  (7.595028648060239e-286): 0
* [misc]none:  (4.5690448860660455e-67): 0
* [misc]none:  (1.0832199703372366e-253): 0
* [misc]none:  (3.934156464498665e-121): 0
* [misc]none:  (0.0005921945720183679): 0
* [misc]none:  (2.8115284450926948e-120): 0
* [misc]none:  (2.9394468165964015e-257): 0
* [misc]none:  (3.271929098149761e-144): 0
* [misc]none:  (3.0718166030691505e-80): 0
* [misc]none:  (6.604350361119279e-291): 0
* [misc]none:  (3.861477555295976e-66): 0
* [misc]none:  (7.835819247789118e-215): 0
* [misc]none:  (1.5041078345043152e-175): 0
* [misc]none:  (3.0457736919219457e-222): 0
* [misc]none:  (8.124998850854922e-91): 0
* [misc]none:  (2.0152844845402166e-297): 0
* [misc]none:  (8.604490187894414e-112): 0
* [misc]none:  (1.1753499799973743e-97): 0
* [misc]none:  (1.7699153793529457e-292): 0
* [misc]none:  (4.1993878019740277e-286): 0
* [misc]none:  (1.3228826725861251e-83): 0
* [misc]none:  (1.1326695724237201e-117): 0
* [misc]none:  (2.0115496002781107e-145): 0
* [misc]none:  (1.8862750447266752e-53): 0
* [misc]none:  (3.0319757073152243e-73): 0
* [misc]none:  (3.46946296425657e-151): 0
* [misc]none:  (4.4617997614332734e-49): 0
* [misc]none:  (5.1841759100413795e-161): 0
* [misc]none:  (6.821311827045434e-30): 0
* [misc]none:  (2.6830861914889714e-191): 0
* [misc]none:  (3.19314088639968e-300): 0
* [misc]none:  (2.6209483109511002e-99): 0
* [misc]none:  (3.9436987604242746e-188): 0
* [misc]none:  (1.2987545615858837e-229): 0
* [misc]none:  (1.3556558330338219e-279): 0
* [misc]none:  (5.600091178152213e-210): 0
* [misc]none:  (7.360949206952843e-212): 0
* [misc]none:  (2.924154450481512e-86): 0
* [misc]none:  (1.1766044207630259e-195): 0
* [misc]none:  (3.125863179986306e-134): 0
* [misc]none:  (4.319230432601922e-289): 0
* [misc]none:  (6.0910080487156845e-145): 0
* [misc]none:  (3.087465078472461e-297): 0
* [misc]none:  (1.8641835944090122e-68): 0
* [misc]none:  (2.9298628929536803e-07): 0
* [misc]none:  (2.112352033422511e-76): 0
* [misc]none:  (5.682432409793209e-103): 0
* [misc]none:  (3.763740454339611e-154): 0
* [misc]none:  (2.337605690906294e-85): 0
* [misc]none:  (1.939469755263449e-274): 0
* [misc]none:  (2.0558821145728443e-244): 0
* [misc]none:  (7.118304679887613e-64): 0
* [misc]none:  (2.3966615634258388e-54): 0
* [misc]none:  (1.0609576781328471e-51): 0
* [misc]none:  (1.9357477509582754e-93): 0
* [misc]none:  (2.0217918620332625e-85): 0
* [misc]none:  (5.6334012743355e-180): 0
* [misc]none:  (2.872174301870785e-238): 0
* [misc]none:  (2.885576028912994e-235): 0
* [misc]none:  (2.7377399598585416e-269): 0
* [misc]none:  (1.2391428993123195e-53): 0
* [misc]none:  (5.834035641946906e-257): 0
* [misc]none:  (2.1519168903719224e-48): 0
* [misc]none:  (2.467422452934927e-37): 0
* [misc]none:  (5.976566162781828e-262): 0
* [misc]none:  (1.638426277474575e-287): 0
* [misc]none:  (7.549936203493533e-264): 0
* [misc]none:  (1.2154965615643017e-95): 0
* [misc]none:  (1.7054753386147003e-193): 0
* [misc]none:  (1.0400546097675973e-191): 0
* [misc]none:  (1.2926844442603449e-272): 0
* [misc]none:  (8.02593234133885e-135): 0
* [misc]none:  (4.693484541613577e-225): 0
* [misc]none:  (1.488087021136329e-285): 0
* [misc]none:  (1.9700593229138827e-50): 0
* [misc]none:  (1.6501972239963874e-258): 0
* [misc]none:  (3.049268063166789e-38): 0
* [misc]none:  (3.388041199273477e-265): 0
* [misc]none:  (3.7476721237841876e-281): 0
* [misc]none:  (4.811543151950025e-33): 0
* [misc]none:  (1.7265727720717877e-65): 0
* [misc]none:  (6.525431496731668e-64): 0
* [misc]none:  (2.704077310435608e-253): 0
* [misc]none:  (2.7511202385052856e-18): 0
* [misc]none:  (3.82956155404422e-299): 0
* [misc]none:  (4.296582624822391e-200): 0
* [misc]none:  (9.139158849230913e-305): 0
* [misc]none:  (6.683383915725252e-271): 0
* [misc]none:  (1.830961252259433e-59): 0
* [misc]none:  (4.068667347744151e-179): 0
* [misc]none:  (3.853952974089327e-228): 0
* [misc]none:  (6.009493492582987e-296): 0
* [misc]none:  Picked alt (λ (a) (pow (atan (fmod a (asin a))) (* a a)))
* * * * [misc]pick:  Picked  #<alt-event (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1)
* * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1)
* [misc]approximate:  Taking taylor expansion of (fmod a (asin a)) in (a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
* [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
* [misc]taylor:  Taking taylor expansion of (fmod a (asin a)) in a
* [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
* [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod a (asin a)) into (fmod a (asin a))
* [misc]approximate:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in (a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (/ 1 a) (asin (/ 1 a))) in a
* [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
* [misc]backup-simplify:  Simplify (fmod (/ 1 a) (asin (/ 1 a))) into (fmod (/ 1 a) (asin (/ 1 a)))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))) into (fmod a (asin a))
* [misc]approximate:  Taking taylor expansion of (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) in (a) around 0
* [misc]taylor:  Taking taylor expansion of (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) in a
* [misc]backup-simplify:  Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a)))
* [misc]taylor:  Taking taylor expansion of (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) in a
* [misc]backup-simplify:  Simplify (fmod (/ 1 (- a)) (asin (/ 1 (- a)))) into (fmod (/ -1 a) (asin (/ -1 a)))
* [misc]backup-simplify:  Simplify (fmod (/ -1 a) (asin (/ -1 a))) into (fmod (/ -1 a) (asin (/ -1 a)))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))) into (fmod a (asin a))
* * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
* [misc]approximate:  Taking taylor expansion of (pow (atan (fmod a (asin a))) (* a a)) in (a) around 0
* [misc]taylor:  Taking taylor expansion of (pow (atan (fmod a (asin a))) (* a a)) in a
* [misc]taylor:  Taking taylor expansion of (exp (* (* a a) (log (atan (fmod a (asin a)))))) in a
* [misc]taylor:  Taking taylor expansion of (* (* a a) (log (atan (fmod a (asin a))))) in a
* [misc]taylor:  Taking taylor expansion of (* a a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (log (atan (fmod a (asin a)))) in a
* [misc]taylor:  Taking taylor expansion of (atan (fmod a (asin a))) in a
* [misc]backup-simplify:  Simplify (atan (fmod a (asin a))) into (atan (fmod a (asin a)))
* [misc]backup-simplify:  Simplify (log (atan (fmod a (asin a)))) into (log (atan (fmod a (asin a))))
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (* 0 (log (atan (fmod a (asin a))))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (atan (fmod a (asin a))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 0 (log (atan (fmod a (asin a)))))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (atan (fmod a (asin a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (atan (fmod a (asin a))) 1)))) 2) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 0 0) (* 1 (log (atan (fmod a (asin a))))))) into (log (atan (fmod a (asin a))))
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of (pow (atan (fmod a (asin a))) (* a a)) in a
* [misc]taylor:  Taking taylor expansion of (exp (* (* a a) (log (atan (fmod a (asin a)))))) in a
* [misc]taylor:  Taking taylor expansion of (* (* a a) (log (atan (fmod a (asin a))))) in a
* [misc]taylor:  Taking taylor expansion of (* a a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (log (atan (fmod a (asin a)))) in a
* [misc]taylor:  Taking taylor expansion of (atan (fmod a (asin a))) in a
* [misc]backup-simplify:  Simplify (atan (fmod a (asin a))) into (atan (fmod a (asin a)))
* [misc]backup-simplify:  Simplify (log (atan (fmod a (asin a)))) into (log (atan (fmod a (asin a))))
* [misc]backup-simplify:  Simplify (* 0 0) into 0
* [misc]backup-simplify:  Simplify (* 0 (log (atan (fmod a (asin a))))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (atan (fmod a (asin a))) 1)))) 1) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (* 0 (log (atan (fmod a (asin a)))))) into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (atan (fmod a (asin a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (atan (fmod a (asin a))) 1)))) 2) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 0 0) (* 1 (log (atan (fmod a (asin a))))))) into (log (atan (fmod a (asin a))))
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow (log (atan (fmod a (asin a)))) 1) 1)))) into (log (atan (fmod a (asin a))))
* [misc]backup-simplify:  Simplify (log (atan (fmod a (asin a)))) into (log (atan (fmod a (asin a))))
* [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (atan (fmod a (asin a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (atan (fmod a (asin a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (atan (fmod a (asin a))) 1)))) 6) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 0 0) (+ (* 1 0) (* 0 (log (atan (fmod a (asin a)))))))) into 0
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow (log (atan (fmod a (asin a)))) 1) 1)) (* (/ (pow 0 1) 1)))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (atan (fmod a (asin a))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (atan (fmod a (asin a))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (atan (fmod a (asin a))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (atan (fmod a (asin a))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (atan (fmod a (asin a))) 1)))) 24) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
* [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (log (atan (fmod a (asin a))))))))) into 0
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow (log (atan (fmod a (asin a)))) 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow (log (atan (fmod a (asin a)))) 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (pow (log (atan (fmod a (asin a)))) 2))
* [misc]backup-simplify:  Simplify (* 1/2 (pow (log (atan (fmod a (asin a)))) 2)) into (* 1/2 (pow (log (atan (fmod a (asin a)))) 2))
* [misc]backup-simplify:  Simplify (+ (* (* 1/2 (pow (log (atan (fmod a (asin a)))) 2)) (pow a 4)) (+ (* (log (atan (fmod a (asin a)))) (pow a 2)) 1)) into (+ 1 (+ (* (log (atan (fmod a (asin a)))) (pow a 2)) (* 1/2 (* (pow (log (atan (fmod a (asin a)))) 2) (pow a 4)))))
* [misc]approximate:  Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (* (/ 1 a) (/ 1 a))) in (a) around 0
* [misc]taylor:  Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (* (/ 1 a) (/ 1 a))) in a
* [misc]taylor:  Taking taylor expansion of (exp (* (* (/ 1 a) (/ 1 a)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) in a
* [misc]taylor:  Taking taylor expansion of (* (* (/ 1 a) (/ 1 a)) (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) in a
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (/ 1 a)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) in a
* [misc]taylor:  Taking taylor expansion of (atan (fmod (/ 1 a) (asin (/ 1 a)))) in a
* [misc]backup-simplify:  Simplify (atan (fmod (/ 1 a) (asin (/ 1 a)))) into (atan (fmod (/ 1 a) (asin (/ 1 a))))
* [misc]backup-simplify:  Simplify (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) into (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) into (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))
* [misc]backup-simplify:  Simplify (exp (* (* (/ 1 a) (/ 1 a)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) into (exp (/ (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) (pow a 2)))
* [misc]taylor:  Taking taylor expansion of (pow (atan (fmod (/ 1 a) (asin (/ 1 a)))) (* (/ 1 a) (/ 1 a))) in a
* [misc]taylor:  Taking taylor expansion of (exp (* (* (/ 1 a) (/ 1 a)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) in a
* [misc]taylor:  Taking taylor expansion of (* (* (/ 1 a) (/ 1 a)) (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) in a
* [misc]taylor:  Taking taylor expansion of (* (/ 1 a) (/ 1 a)) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [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 (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) in a
* [misc]taylor:  Taking taylor expansion of (atan (fmod (/ 1 a) (asin (/ 1 a)))) in a
* [misc]backup-simplify:  Simplify (atan (fmod (/ 1 a) (asin (/ 1 a)))) into (atan (fmod (/ 1 a) (asin (/ 1 a))))
* [misc]backup-simplify:  Simplify (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) into (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))
* [misc]backup-simplify:  Simplify (* 1 1) into 1
* [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))) into (log (atan (fmod (/ 1 a) (asin (/ 1 a)))))
* [misc]backup-simplify:  Simplify (exp (* (* (/ 1 a) (/ 1 a)) (log (atan (fmod (/ 1 a) (asin (/ 1 a))))))) into (exp (/ (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) (pow a 2)))
* [misc]backup-simplify:  Simplify (exp (/ (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) (pow a 2))) into (exp (/ (log (atan (fmod (/ 1 a) (asin (/ 1 a))))) (pow a 2)))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (exp (/ (log (atan (fmod (/ 1 (/ 1 a)) (asin (/ 1 (/ 1 a)))))) (pow (/ 1 a) 2))) into (exp (* (log (atan (fmod a (asin a)))) (pow a 2)))
* [misc]approximate:  Taking taylor expansion of (pow (atan (fmod (/ 1 (- a)) (asin (/ 1 (- a))))) (* (/ 1 (- a)) (/ 1 (- a)))) in (a) around 0
* [misc]taylor:  Taking taylor expansion of (pow (atan (fmod (/ 1 (- a)) (asin (/ 1 (- a))))) (* (/ 1 (- a)) (/ 1 (- a)))) in a
* [misc]taylor:  Taking taylor expansion of (exp (* (* (/ 1 (- a)) (/ 1 (- a))) (log (atan (fmod (/ 1 (- a)) (asin (/ 1 (- a)))))))) in a
* [misc]taylor:  Taking taylor expansion of (* (* (/ 1 (- a)) (/ 1 (- a))) (log (atan (fmod (/ 1 (- a)) (asin (/ 1 (- a))))))) in a
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (/ 1 (- a))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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 (log (atan (fmod (/ 1 (- a)) (asin (/ 1 (- a)))))) in a
* [misc]taylor:  Taking taylor expansion of (atan (fmod (/ 1 (- a)) (asin (/ 1 (- a))))) in a
* [misc]backup-simplify:  Simplify (atan (fmod (/ 1 (- a)) (asin (/ 1 (- a))))) into (atan (fmod (/ -1 a) (asin (/ -1 a))))
* [misc]backup-simplify:  Simplify (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) into (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) into (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))
* [misc]backup-simplify:  Simplify (exp (* (* (/ 1 (- a)) (/ 1 (- a))) (log (atan (fmod (/ 1 (- a)) (asin (/ 1 (- a)))))))) into (exp (/ (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) (pow a 2)))
* [misc]taylor:  Taking taylor expansion of (pow (atan (fmod (/ 1 (- a)) (asin (/ 1 (- a))))) (* (/ 1 (- a)) (/ 1 (- a)))) in a
* [misc]taylor:  Taking taylor expansion of (exp (* (* (/ 1 (- a)) (/ 1 (- a))) (log (atan (fmod (/ 1 (- a)) (asin (/ 1 (- a)))))))) in a
* [misc]taylor:  Taking taylor expansion of (* (* (/ 1 (- a)) (/ 1 (- a))) (log (atan (fmod (/ 1 (- a)) (asin (/ 1 (- a))))))) in a
* [misc]taylor:  Taking taylor expansion of (* (/ 1 (- a)) (/ 1 (- a))) in a
* [misc]taylor:  Taking taylor expansion of (/ 1 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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 (- a)) in a
* [misc]taylor:  Taking taylor expansion of (- a) in a
* [misc]taylor:  Taking taylor expansion of a in a
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]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 (log (atan (fmod (/ 1 (- a)) (asin (/ 1 (- a)))))) in a
* [misc]taylor:  Taking taylor expansion of (atan (fmod (/ 1 (- a)) (asin (/ 1 (- a))))) in a
* [misc]backup-simplify:  Simplify (atan (fmod (/ 1 (- a)) (asin (/ 1 (- a))))) into (atan (fmod (/ -1 a) (asin (/ -1 a))))
* [misc]backup-simplify:  Simplify (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) into (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))
* [misc]backup-simplify:  Simplify (* -1 -1) into 1
* [misc]backup-simplify:  Simplify (* 1 (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))) into (log (atan (fmod (/ -1 a) (asin (/ -1 a)))))
* [misc]backup-simplify:  Simplify (exp (* (* (/ 1 (- a)) (/ 1 (- a))) (log (atan (fmod (/ 1 (- a)) (asin (/ 1 (- a)))))))) into (exp (/ (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) (pow a 2)))
* [misc]backup-simplify:  Simplify (exp (/ (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) (pow a 2))) into (exp (/ (log (atan (fmod (/ -1 a) (asin (/ -1 a))))) (pow a 2)))
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (exp (/ (log (atan (fmod (/ -1 (/ 1 (- a))) (asin (/ -1 (/ 1 (- a))))))) (pow (/ 1 (- a)) 2))) into (exp (* (log (atan (fmod a (asin a)))) (pow a 2)))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 27 ] simplifiying candidate #<alt-delta (λ (a) (pow (atan (pow (fmod a (asin a)) 1)) (* a a)))>
* * * * [misc]progress:  [ 2 / 27 ] simplifiying candidate #<alt-delta (λ (a) (pow (atan (exp (log (fmod a (asin a))))) (* a a)))>
* [enter]simplify:  Simplifying (log (fmod a (asin a)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* [exit]simplify:  Simplified to (log (fmod a (asin a)))
* [exit]simplify:  Simplified to (log (fmod a (asin a)))
* * * * [misc]progress:  [ 3 / 27 ] simplifiying candidate #<alt-delta (λ (a) (pow (atan (log (exp (fmod a (asin a))))) (* a a)))>
* [enter]simplify:  Simplifying (exp (fmod a (asin a)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* [exit]simplify:  Simplified to (exp (fmod a (asin a)))
* [exit]simplify:  Simplified to (exp (fmod a (asin a)))
* * * * [misc]progress:  [ 4 / 27 ] simplifiying candidate #<alt-delta (λ (a) (pow (atan (* (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a)))) (cbrt (fmod a (asin a))))) (* a a)))>
* [enter]simplify:  Simplifying (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a))))
* * [misc]simplify:  iters left: 5 (5 enodes)
* [exit]simplify:  Simplified to (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a))))
* [exit]simplify:  Simplified to (* (cbrt (fmod a (asin a))) (cbrt (fmod a (asin a))))
* [enter]simplify:  Simplifying (cbrt (fmod a (asin a)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* [exit]simplify:  Simplified to (cbrt (fmod a (asin a)))
* [exit]simplify:  Simplified to (cbrt (fmod a (asin a)))
* * * * [misc]progress:  [ 5 / 27 ] simplifiying candidate #<alt-delta (λ (a) (pow (atan (cbrt (* (* (fmod a (asin a)) (fmod a (asin a))) (fmod a (asin a))))) (* a a)))>
* [enter]simplify:  Simplifying (* (* (fmod a (asin a)) (fmod a (asin a))) (fmod a (asin a)))
* * [misc]simplify:  iters left: 6 (5 enodes)
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* [exit]simplify:  Simplified to (pow (fmod a (asin a)) 3)
* [exit]simplify:  Simplified to (pow (fmod a (asin a)) 3)
* * * * [misc]progress:  [ 6 / 27 ] simplifiying candidate #<alt-delta (λ (a) (pow (atan (* (sqrt (fmod a (asin a))) (sqrt (fmod a (asin a))))) (* a a)))>
* [enter]simplify:  Simplifying (sqrt (fmod a (asin a)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* [exit]simplify:  Simplified to (sqrt (fmod a (asin a)))
* [exit]simplify:  Simplified to (sqrt (fmod a (asin a)))
* [enter]simplify:  Simplifying (sqrt (fmod a (asin a)))
* * [misc]simplify:  iters left: 3 (4 enodes)
* [exit]simplify:  Simplified to (sqrt (fmod a (asin a)))
* [exit]simplify:  Simplified to (sqrt (fmod a (asin a)))
* * * * [misc]progress:  [ 7 / 27 ] simplifiying candidate #<alt-delta (λ (a) (pow (atan (* 1 (fmod a (asin a)))) (* a a)))>
* * * * [misc]progress:  [ 8 / 27 ] simplifiying candidate #<alt-delta (λ (a) (exp (* (log (atan (fmod a (asin a)))) (* a a))))>
* [enter]simplify:  Simplifying (* (log (atan (fmod a (asin a)))) (* a a))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* [exit]simplify:  Simplified to (* (* a a) (log (atan (fmod a (asin a)))))
* [exit]simplify:  Simplified to (* (* a a) (log (atan (fmod a (asin a)))))
* * * * [misc]progress:  [ 9 / 27 ] simplifiying candidate #<alt-delta (λ (a) (exp (* (log (atan (fmod a (asin a)))) (* a a))))>
* [enter]simplify:  Simplifying (* (log (atan (fmod a (asin a)))) (* a a))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* [exit]simplify:  Simplified to (* (* a a) (log (atan (fmod a (asin a)))))
* [exit]simplify:  Simplified to (* (* a a) (log (atan (fmod a (asin a)))))
* * * * [misc]progress:  [ 10 / 27 ] simplifiying candidate #<alt-delta (λ (a) (pow (atan (fmod a (asin a))) (* 1 (* a a))))>
* [enter]simplify:  Simplifying (* 1 (* a a))
* * [misc]simplify:  iters left: 4 (4 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* [exit]simplify:  Simplified to (* a a)
* [exit]simplify:  Simplified to (* a a)
* * * * [misc]progress:  [ 11 / 27 ] simplifiying candidate #<alt-delta (λ (a) (pow (pow (atan (fmod a (asin a))) a) a))>
* [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) a)
* * [misc]simplify:  iters left: 4 (5 enodes)
* [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) a)
* [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) a)
* * * * [misc]progress:  [ 12 / 27 ] simplifiying candidate #<alt-delta (λ (a) (* (pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (* a a)) (pow (cbrt (atan (fmod a (asin a)))) (* a a))))>
* [enter]simplify:  Simplifying (pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (* a a))
* * [misc]simplify:  iters left: 6 (8 enodes)
* [exit]simplify:  Simplified to (pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (* a a))
* [exit]simplify:  Simplified to (pow (* (cbrt (atan (fmod a (asin a)))) (cbrt (atan (fmod a (asin a))))) (* a a))
* [enter]simplify:  Simplifying (pow (cbrt (atan (fmod a (asin a)))) (* a a))
* * [misc]simplify:  iters left: 5 (7 enodes)
* [exit]simplify:  Simplified to (pow (cbrt (atan (fmod a (asin a)))) (* a a))
* [exit]simplify:  Simplified to (pow (cbrt (atan (fmod a (asin a)))) (* a a))
* * * * [misc]progress:  [ 13 / 27 ] simplifiying candidate #<alt-delta (λ (a) (* (pow (sqrt (atan (fmod a (asin a)))) (* a a)) (pow (sqrt (atan (fmod a (asin a)))) (* a a))))>
* [enter]simplify:  Simplifying (pow (sqrt (atan (fmod a (asin a)))) (* a a))
* * [misc]simplify:  iters left: 5 (7 enodes)
* [exit]simplify:  Simplified to (pow (sqrt (atan (fmod a (asin a)))) (* a a))
* [exit]simplify:  Simplified to (pow (sqrt (atan (fmod a (asin a)))) (* a a))
* [enter]simplify:  Simplifying (pow (sqrt (atan (fmod a (asin a)))) (* a a))
* * [misc]simplify:  iters left: 5 (7 enodes)
* [exit]simplify:  Simplified to (pow (sqrt (atan (fmod a (asin a)))) (* a a))
* [exit]simplify:  Simplified to (pow (sqrt (atan (fmod a (asin a)))) (* a a))
* * * * [misc]progress:  [ 14 / 27 ] simplifiying candidate #<alt-delta (λ (a) (* (pow 1 (* a a)) (pow (atan (fmod a (asin a))) (* a a))))>
* [enter]simplify:  Simplifying (pow 1 (* a a))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* [exit]simplify:  Simplified to 1
* [exit]simplify:  Simplified to 1
* [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) (* a a))
* * [misc]simplify:  iters left: 4 (6 enodes)
* [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
* [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
* * * * [misc]progress:  [ 15 / 27 ] simplifiying candidate #<alt-delta (λ (a) (pow (pow (atan (fmod a (asin a))) (* a a)) 1))>
* * * * [misc]progress:  [ 16 / 27 ] simplifiying candidate #<alt-delta (λ (a) (exp (log (pow (atan (fmod a (asin a))) (* a a)))))>
* [enter]simplify:  Simplifying (log (pow (atan (fmod a (asin a))) (* a a)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* * [misc]simplify:  iters left: 3 (12 enodes)
* * [misc]simplify:  iters left: 2 (14 enodes)
* [exit]simplify:  Simplified to (* (log (atan (fmod a (asin a)))) (* a a))
* [exit]simplify:  Simplified to (* (log (atan (fmod a (asin a)))) (* a a))
* * * * [misc]progress:  [ 17 / 27 ] simplifiying candidate #<alt-delta (λ (a) (log (exp (pow (atan (fmod a (asin a))) (* a a)))))>
* [enter]simplify:  Simplifying (exp (pow (atan (fmod a (asin a))) (* a a)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* [exit]simplify:  Simplified to (exp (pow (atan (fmod a (asin a))) (* a a)))
* [exit]simplify:  Simplified to (exp (pow (atan (fmod a (asin a))) (* a a)))
* * * * [misc]progress:  [ 18 / 27 ] simplifiying candidate #<alt-delta (λ (a) (* (* (cbrt (pow (atan (fmod a (asin a))) (* a a))) (cbrt (pow (atan (fmod a (asin a))) (* a a)))) (cbrt (pow (atan (fmod a (asin a))) (* a a)))))>
* [enter]simplify:  Simplifying (* (cbrt (pow (atan (fmod a (asin a))) (* a a))) (cbrt (pow (atan (fmod a (asin a))) (* a a))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* [exit]simplify:  Simplified to (* (cbrt (pow (atan (fmod a (asin a))) (* a a))) (cbrt (pow (atan (fmod a (asin a))) (* a a))))
* [exit]simplify:  Simplified to (* (cbrt (pow (atan (fmod a (asin a))) (* a a))) (cbrt (pow (atan (fmod a (asin a))) (* a a))))
* [enter]simplify:  Simplifying (cbrt (pow (atan (fmod a (asin a))) (* a a)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* [exit]simplify:  Simplified to (cbrt (pow (atan (fmod a (asin a))) (* a a)))
* [exit]simplify:  Simplified to (cbrt (pow (atan (fmod a (asin a))) (* a a)))
* * * * [misc]progress:  [ 19 / 27 ] simplifiying candidate #<alt-delta (λ (a) (cbrt (* (* (pow (atan (fmod a (asin a))) (* a a)) (pow (atan (fmod a (asin a))) (* a a))) (pow (atan (fmod a (asin a))) (* a a)))))>
* [enter]simplify:  Simplifying (* (* (pow (atan (fmod a (asin a))) (* a a)) (pow (atan (fmod a (asin a))) (* a a))) (pow (atan (fmod a (asin a))) (* a a)))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* [exit]simplify:  Simplified to (pow (pow (atan (fmod a (asin a))) (* a a)) 3)
* [exit]simplify:  Simplified to (pow (pow (atan (fmod a (asin a))) (* a a)) 3)
* * * * [misc]progress:  [ 20 / 27 ] simplifiying candidate #<alt-delta (λ (a) (* (sqrt (pow (atan (fmod a (asin a))) (* a a))) (sqrt (pow (atan (fmod a (asin a))) (* a a)))))>
* [enter]simplify:  Simplifying (sqrt (pow (atan (fmod a (asin a))) (* a a)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* [exit]simplify:  Simplified to (sqrt (pow (atan (fmod a (asin a))) (* a a)))
* [exit]simplify:  Simplified to (sqrt (pow (atan (fmod a (asin a))) (* a a)))
* [enter]simplify:  Simplifying (sqrt (pow (atan (fmod a (asin a))) (* a a)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* [exit]simplify:  Simplified to (sqrt (pow (atan (fmod a (asin a))) (* a a)))
* [exit]simplify:  Simplified to (sqrt (pow (atan (fmod a (asin a))) (* a a)))
* * * * [misc]progress:  [ 21 / 27 ] simplifiying candidate #<alt-delta (λ (a) (* 1 (pow (atan (fmod a (asin a))) (* a a))))>
* * * * [misc]progress:  [ 22 / 27 ] simplifiying candidate #<alt-event (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
* [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) (* a a))
* * [misc]simplify:  iters left: 4 (6 enodes)
* [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
* * * * [misc]progress:  [ 23 / 27 ] simplifiying candidate #<alt-event (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
* [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) (* a a))
* * [misc]simplify:  iters left: 4 (6 enodes)
* [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
* * * * [misc]progress:  [ 24 / 27 ] simplifiying candidate #<alt-event (λ (a) (pow (atan (fmod a (asin a))) (* a a)))>
* [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) (* a a))
* * [misc]simplify:  iters left: 4 (6 enodes)
* [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
* * * * [misc]progress:  [ 25 / 27 ] simplifiying candidate #<alt-event (λ (a) (+ 1 (+ (* (log (atan (fmod a (asin a)))) (pow a 2)) (* 1/2 (* (pow (log (atan (fmod a (asin a)))) 2) (pow a 4))))))>
* [enter]simplify:  Simplifying (+ 1 (+ (* (log (atan (fmod a (asin a)))) (pow a 2)) (* 1/2 (* (pow (log (atan (fmod a (asin a)))) 2) (pow a 4)))))
* * [misc]simplify:  iters left: 6 (17 enodes)
* * [misc]simplify:  iters left: 5 (30 enodes)
* * [misc]simplify:  iters left: 4 (52 enodes)
* * [misc]simplify:  iters left: 3 (67 enodes)
* * [misc]simplify:  iters left: 2 (85 enodes)
* * [misc]simplify:  iters left: 1 (108 enodes)
* [exit]simplify:  Simplified to (+ (+ (* (log (atan (fmod a (asin a)))) (* a a)) 1) (* (* 1/2 (pow a 4)) (* (log (atan (fmod a (asin a)))) (log (atan (fmod a (asin a)))))))
* * * * [misc]progress:  [ 26 / 27 ] simplifiying candidate #<alt-event (λ (a) (exp (* (log (atan (fmod a (asin a)))) (pow a 2))))>
* [enter]simplify:  Simplifying (exp (* (log (atan (fmod a (asin a)))) (pow a 2)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (19 enodes)
* [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
* * * * [misc]progress:  [ 27 / 27 ] simplifiying candidate #<alt-event (λ (a) (exp (* (log (atan (fmod a (asin a)))) (pow a 2))))>
* [enter]simplify:  Simplifying (exp (* (log (atan (fmod a (asin a)))) (pow a 2)))
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (19 enodes)
* [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* [enter]simplify:  Simplifying (pow (atan (fmod a (asin a))) (* a a))
* * [misc]simplify:  iters left: 4 (6 enodes)
* [exit]simplify:  Simplified to (pow (atan (fmod a (asin a))) (* a a))
* * * * [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 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 8000 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 6016 additional inputs, on iter 1 have 1984 / 8000
* * * * [misc]points:  Computing exacts on every 376 of 6016 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 188 of 6016 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 94 of 6016 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 47 of 6016 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 23 of 6016 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 11 of 6016 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 5 of 6016 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 2 of 6016 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 6016 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4521 additional inputs, on iter 2 have 3479 / 8000
* * * * [misc]points:  Computing exacts on every 282 of 4521 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 141 of 4521 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 70 of 4521 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 35 of 4521 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 17 of 4521 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 8 of 4521 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 4 of 4521 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 2 of 4521 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 4521 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 3386 additional inputs, on iter 3 have 4614 / 8000
* * * * [misc]points:  Computing exacts on every 211 of 3386 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 105 of 3386 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 52 of 3386 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 26 of 3386 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 13 of 3386 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 6 of 3386 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 3 of 3386 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 3386 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 2526 additional inputs, on iter 4 have 5474 / 8000
* * * * [misc]points:  Computing exacts on every 157 of 2526 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 78 of 2526 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 39 of 2526 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 19 of 2526 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 9 of 2526 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 4 of 2526 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 2 of 2526 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 2526 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 1920 additional inputs, on iter 5 have 6080 / 8000
* * * * [misc]points:  Computing exacts on every 120 of 1920 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 60 of 1920 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 30 of 1920 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 15 of 1920 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 7 of 1920 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 3 of 1920 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 1920 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 1424 additional inputs, on iter 6 have 6576 / 8000
* * * * [misc]points:  Computing exacts on every 89 of 1424 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 44 of 1424 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 22 of 1424 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 11 of 1424 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 5 of 1424 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 2 of 1424 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 1424 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 1064 additional inputs, on iter 7 have 6936 / 8000
* * * * [misc]points:  Computing exacts on every 66 of 1064 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 33 of 1064 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 16 of 1064 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 8 of 1064 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 4 of 1064 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 2 of 1064 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 1064 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 812 additional inputs, on iter 8 have 7188 / 8000
* * * * [misc]points:  Computing exacts on every 50 of 812 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 25 of 812 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 12 of 812 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 6 of 812 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 3 of 812 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 812 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 617 additional inputs, on iter 9 have 7383 / 8000
* * * * [misc]points:  Computing exacts on every 38 of 617 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 19 of 617 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 9 of 617 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 4 of 617 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 2 of 617 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 617 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 452 additional inputs, on iter 10 have 7548 / 8000
* * * * [misc]points:  Computing exacts on every 28 of 452 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 14 of 452 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 7 of 452 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 3 of 452 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 452 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 334 additional inputs, on iter 11 have 7666 / 8000
* * * * [misc]points:  Computing exacts on every 20 of 334 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 10 of 334 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 5 of 334 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 2 of 334 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 334 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 243 additional inputs, on iter 12 have 7757 / 8000
* * * * [misc]points:  Computing exacts on every 15 of 243 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 7 of 243 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 3 of 243 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 243 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 181 additional inputs, on iter 13 have 7819 / 8000
* * * * [misc]points:  Computing exacts on every 11 of 181 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 5 of 181 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 2 of 181 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 181 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 145 additional inputs, on iter 14 have 7855 / 8000
* * * * [misc]points:  Computing exacts on every 9 of 145 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 4 of 145 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 2 of 145 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 145 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 110 additional inputs, on iter 15 have 7890 / 8000
* * * * [misc]points:  Computing exacts on every 6 of 110 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 3 of 110 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 110 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 84 additional inputs, on iter 16 have 7916 / 8000
* * * * [misc]points:  Computing exacts on every 5 of 84 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 2 of 84 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 84 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 64 additional inputs, on iter 17 have 7936 / 8000
* * * * [misc]points:  Computing exacts on every 4 of 64 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts on every 2 of 64 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 64 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 54 additional inputs, on iter 18 have 7946 / 8000
* * * * [misc]points:  Computing exacts on every 3 of 54 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 54 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 39 additional inputs, on iter 19 have 7961 / 8000
* * * * [misc]points:  Computing exacts on every 2 of 39 points to ramp up precision
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Computing exacts for 39 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 25 additional inputs, on iter 20 have 7975 / 8000
* * * * [misc]points:  Computing exacts for 25 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 17 additional inputs, on iter 21 have 7983 / 8000
* * * * [misc]points:  Computing exacts for 17 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 12 additional inputs, on iter 22 have 7988 / 8000
* * * * [misc]points:  Computing exacts for 12 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 5 additional inputs, on iter 23 have 7995 / 8000
* * * * [misc]points:  Computing exacts for 5 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 5 additional inputs, on iter 24 have 7995 / 8000
* * * * [misc]points:  Computing exacts for 5 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 5 additional inputs, on iter 25 have 7995 / 8000
* * * * [misc]points:  Computing exacts for 5 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 5 additional inputs, on iter 26 have 7995 / 8000
* * * * [misc]points:  Computing exacts for 5 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7997 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7999 / 8000
* * * * [misc]points:  Computing exacts for 4 points
* * * * [misc]points:  Setting MPFR precision to 2112
* * * * [misc]points:  Setting MPFR precision to 2368
* * * * [misc]points:  Filtering points with unrepresentable outputs
* * * * [exit]points:  Sampled 8000 points with exact outputs