0.193 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.063 * * * [progress]: [2/2] Setting up program.
0.071 * [progress]: [Phase 2 of 3] Improving.
0.071 * [simplify]: Simplifying:
  (- (* x x) (* (* y 4.0) (- (* z z) t)))
0.071 * * [simplify]: iteration 0: 11 enodes
0.075 * * [simplify]: iteration 1: 21 enodes
0.081 * * [simplify]: iteration 2: 52 enodes
0.102 * * [simplify]: iteration 3: 171 enodes
0.182 * * [simplify]: iteration 4: 493 enodes
0.701 * * [simplify]: iteration 5: 1844 enodes
2.829 * * [simplify]: iteration complete: 5000 enodes
2.829 * * [simplify]: Extracting #0: cost 1 inf + 0
2.829 * * [simplify]: Extracting #1: cost 91 inf + 0
2.836 * * [simplify]: Extracting #2: cost 1183 inf + 79
2.845 * * [simplify]: Extracting #3: cost 616 inf + 3571
2.854 * * [simplify]: Extracting #4: cost 23 inf + 7109
2.863 * * [simplify]: Extracting #5: cost 0 inf + 7247
2.868 * [simplify]: Simplified to:
  (fma 4.0 (* (fma z (- z) t) y) (* x x))
2.877 * * [progress]: iteration 1 / 4
2.877 * * * [progress]: picking best candidate