0.074 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.039 * * * [progress]: [2/2] Setting up program.
0.048 * [progress]: [Phase 2 of 3] Improving.
0.048 * [simplify]: Simplifying:
  (+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
0.048 * * [simplify]: iteration 0: 13 enodes
0.053 * * [simplify]: iteration 1: 25 enodes
0.060 * * [simplify]: iteration 2: 50 enodes
0.074 * * [simplify]: iteration 3: 79 enodes
0.100 * * [simplify]: iteration 4: 156 enodes
0.151 * * [simplify]: iteration 5: 353 enodes
0.295 * * [simplify]: iteration 6: 757 enodes
0.555 * * [simplify]: iteration 7: 1565 enodes
3.014 * * [simplify]: iteration 8: 3804 enodes
4.477 * * [simplify]: iteration complete: 5000 enodes
4.477 * * [simplify]: Extracting #0: cost 1 inf + 0
4.480 * * [simplify]: Extracting #1: cost 410 inf + 0
4.484 * * [simplify]: Extracting #2: cost 435 inf + 46
4.491 * * [simplify]: Extracting #3: cost 70 inf + 2398
4.498 * * [simplify]: Extracting #4: cost 0 inf + 2897
4.505 * [simplify]: Simplified to:
  (- (fma (/ x 8.0) 1.0 t) (/ (* y z) 2.0))
4.516 * * [progress]: iteration 1 / 4
4.516 * * * [progress]: picking best candidate