2.527 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.213 * * * [progress]: [2/2] Setting up program.
0.221 * [progress]: [Phase 2 of 3] Improving.
0.221 * [simplify]: Simplifying:
  (pow (atan (fmod a (asin a))) (* a a))
0.221 * * [simplify]: iteration 0: 6 enodes
0.223 * * [simplify]: iteration 1: 10 enodes
0.226 * * [simplify]: iteration 2: 17 enodes
0.277 * * [simplify]: iteration 3: 41 enodes
0.296 * * [simplify]: iteration 4: 108 enodes
0.375 * * [simplify]: iteration 5: 452 enodes
1.833 * * [simplify]: iteration 6: 4067 enodes
2.757 * * [simplify]: iteration complete: 5000 enodes
2.757 * * [simplify]: Extracting #0: cost 1 inf + 0
2.757 * * [simplify]: Extracting #1: cost 176 inf + 0
2.759 * * [simplify]: Extracting #2: cost 751 inf + 1
2.763 * * [simplify]: Extracting #3: cost 1401 inf + 85
2.771 * * [simplify]: Extracting #4: cost 735 inf + 2791
2.776 * * [simplify]: Extracting #5: cost 513 inf + 4070
2.781 * * [simplify]: Extracting #6: cost 358 inf + 8033
2.786 * * [simplify]: Extracting #7: cost 0 inf + 17769
2.790 * * [simplify]: Extracting #8: cost 0 inf + 17469
2.795 * [simplify]: Simplified to:
  (pow (atan (fmod a (asin a))) (* a a))
2.795 * * [progress]: iteration 1 / 4
2.795 * * * [progress]: picking best candidate