2.952 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.293 * * * [progress]: [2/2] Setting up program.
0.297 * [progress]: [Phase 2 of 3] Improving.
0.298 * [simplify]: Simplifying:
  (pow (atan (fmod a (asin a))) (* a a))
0.298 * * [simplify]: iteration 0: 6 enodes
0.299 * * [simplify]: iteration 1: 10 enodes
0.300 * * [simplify]: iteration 2: 17 enodes
0.302 * * [simplify]: iteration 3: 41 enodes
0.309 * * [simplify]: iteration 4: 108 enodes
0.415 * * [simplify]: iteration 5: 452 enodes
1.800 * * [simplify]: iteration 6: 4067 enodes
2.713 * * [simplify]: iteration complete: 5000 enodes
2.713 * * [simplify]: Extracting #0: cost 1 inf + 0
2.713 * * [simplify]: Extracting #1: cost 176 inf + 0
2.715 * * [simplify]: Extracting #2: cost 751 inf + 1
2.719 * * [simplify]: Extracting #3: cost 1401 inf + 85
2.725 * * [simplify]: Extracting #4: cost 735 inf + 2791
2.730 * * [simplify]: Extracting #5: cost 513 inf + 4070
2.739 * * [simplify]: Extracting #6: cost 358 inf + 8033
2.744 * * [simplify]: Extracting #7: cost 0 inf + 17769
2.749 * * [simplify]: Extracting #8: cost 0 inf + 17469
2.754 * [simplify]: Simplified to:
  (pow (atan (fmod a (asin a))) (* a a))
2.755 * * [progress]: iteration 1 / 4
2.755 * * * [progress]: picking best candidate