1.669 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.152 * * * [progress]: [2/2] Setting up program.
0.161 * [progress]: [Phase 2 of 3] Improving.
0.161 * [simplify]: Simplifying:
  (+ (+ (- (* (- x 0.5) (log x)) x) 0.91893853320467) (/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x))
0.161 * * [simplify]: iteration 0: 20 enodes
0.166 * * [simplify]: iteration 1: 40 enodes
0.174 * * [simplify]: iteration 2: 92 enodes
0.231 * * [simplify]: iteration 3: 265 enodes
0.383 * * [simplify]: iteration 4: 921 enodes
1.480 * * [simplify]: iteration 5: 4181 enodes
3.077 * * [simplify]: iteration complete: 5000 enodes
3.078 * * [simplify]: Extracting #0: cost 1 inf + 0
3.080 * * [simplify]: Extracting #1: cost 336 inf + 0
3.086 * * [simplify]: Extracting #2: cost 675 inf + 163
3.094 * * [simplify]: Extracting #3: cost 488 inf + 1750
3.101 * * [simplify]: Extracting #4: cost 426 inf + 2261
3.108 * * [simplify]: Extracting #5: cost 370 inf + 2650
3.116 * * [simplify]: Extracting #6: cost 167 inf + 5946
3.128 * * [simplify]: Extracting #7: cost 4 inf + 9003
3.136 * * [simplify]: Extracting #8: cost 0 inf + 9079
3.143 * [simplify]: Simplified to:
  (+ (fma (log x) (- x 0.5) (/ (fma z (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) 0.083333333333333) x)) (- 0.91893853320467 x))
3.154 * * [progress]: iteration 1 / 4
3.154 * * * [progress]: picking best candidate