1.504 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.037 * * * [progress]: [2/2] Setting up program.
0.044 * [progress]: [Phase 2 of 3] Improving.
0.044 * [simplify]: Simplifying:
  (* x (- 1.0 (* (- 1.0 y) z)))
0.044 * * [simplify]: iteration 0: 8 enodes
0.047 * * [simplify]: iteration 1: 14 enodes
0.051 * * [simplify]: iteration 2: 34 enodes
0.063 * * [simplify]: iteration 3: 92 enodes
0.112 * * [simplify]: iteration 4: 264 enodes
0.299 * * [simplify]: iteration 5: 943 enodes
1.592 * * [simplify]: iteration complete: 5000 enodes
1.593 * * [simplify]: Extracting #0: cost 1 inf + 0
1.593 * * [simplify]: Extracting #1: cost 153 inf + 0
1.599 * * [simplify]: Extracting #2: cost 1280 inf + 40
1.614 * * [simplify]: Extracting #3: cost 480 inf + 3492
1.622 * * [simplify]: Extracting #4: cost 10 inf + 6564
1.630 * * [simplify]: Extracting #5: cost 1 inf + 6618
1.639 * * [simplify]: Extracting #6: cost 0 inf + 6624
1.647 * [simplify]: Simplified to:
  (* x (fma z (- y 1.0) 1.0))
1.656 * * [progress]: iteration 1 / 4
1.656 * * * [progress]: picking best candidate