1.003 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.045 * * * [progress]: [2/2] Setting up program.
0.053 * [progress]: [Phase 2 of 3] Improving.
0.054 * [simplify]: Simplifying:
  (+ x (/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304)))
0.054 * * [simplify]: iteration 0: 18 enodes
0.059 * * [simplify]: iteration 1: 38 enodes
0.070 * * [simplify]: iteration 2: 72 enodes
0.109 * * [simplify]: iteration 3: 167 enodes
0.148 * * [simplify]: iteration 4: 418 enodes
0.337 * * [simplify]: iteration 5: 966 enodes
0.696 * * [simplify]: iteration 6: 1547 enodes
1.103 * * [simplify]: iteration 7: 1902 enodes
1.791 * * [simplify]: iteration 8: 2267 enodes
2.597 * * [simplify]: iteration 9: 2852 enodes
3.596 * * [simplify]: iteration 10: 3779 enodes
4.655 * * [simplify]: iteration complete: 5000 enodes
4.655 * * [simplify]: Extracting #0: cost 1 inf + 0
4.655 * * [simplify]: Extracting #1: cost 155 inf + 0
4.658 * * [simplify]: Extracting #2: cost 523 inf + 40
4.661 * * [simplify]: Extracting #3: cost 517 inf + 110
4.664 * * [simplify]: Extracting #4: cost 416 inf + 1714
4.667 * * [simplify]: Extracting #5: cost 169 inf + 7224
4.670 * * [simplify]: Extracting #6: cost 15 inf + 10535
4.674 * * [simplify]: Extracting #7: cost 0 inf + 10568
4.677 * * [simplify]: Extracting #8: cost 0 inf + 10538
4.685 * [simplify]: Simplified to:
  (fma (/ (fma (fma 0.0692910599291889 z 0.4917317610505968) z 0.279195317918525) (fma (+ z 6.012459259764103) z 3.350343815022304)) y x)
4.691 * * [progress]: iteration 1 / 4
4.691 * * * [progress]: picking best candidate