1.626 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.069 * * * [progress]: [2/2] Setting up program.
0.078 * [progress]: [Phase 2 of 3] Improving.
0.078 * [simplify]: Simplifying:
  (* x (sqrt (- (* y y) (* z z))))
0.078 * * [simplify]: iteration 0: 8 enodes
0.081 * * [simplify]: iteration 1: 15 enodes
0.085 * * [simplify]: iteration 2: 22 enodes
0.091 * * [simplify]: iteration 3: 39 enodes
0.106 * * [simplify]: iteration 4: 71 enodes
0.140 * * [simplify]: iteration 5: 164 enodes
0.215 * * [simplify]: iteration 6: 369 enodes
0.427 * * [simplify]: iteration 7: 879 enodes
2.026 * * [simplify]: iteration 8: 3626 enodes
4.567 * * [simplify]: iteration complete: 5000 enodes
4.567 * * [simplify]: Extracting #0: cost 1 inf + 0
4.567 * * [simplify]: Extracting #1: cost 3 inf + 0
4.567 * * [simplify]: Extracting #2: cost 3 inf + 1
4.568 * * [simplify]: Extracting #3: cost 222 inf + 1
4.574 * * [simplify]: Extracting #4: cost 556 inf + 402
4.579 * * [simplify]: Extracting #5: cost 127 inf + 4569
4.583 * * [simplify]: Extracting #6: cost 0 inf + 5803
4.587 * * [simplify]: Extracting #7: cost 0 inf + 5788
4.591 * [simplify]: Simplified to:
  (* x (sqrt (- (* y y) (* z z))))
4.592 * * [progress]: iteration 1 / 4
4.592 * * * [progress]: picking best candidate