0.117 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.073 * * * [progress]: [2/2] Setting up program.
0.081 * [progress]: [Phase 2 of 3] Improving.
0.082 * [simplify]: Simplifying:
  (- (- (+ (* x y) (* y y)) (* y z)) (* y y))
0.082 * * [simplify]: iteration 0: 9 enodes
0.085 * * [simplify]: iteration 1: 23 enodes
0.093 * * [simplify]: iteration 2: 75 enodes
0.131 * * [simplify]: iteration 3: 217 enodes
0.248 * * [simplify]: iteration 4: 741 enodes
2.217 * * [simplify]: iteration 5: 4705 enodes
5.791 * * [simplify]: iteration complete: 5000 enodes
5.791 * * [simplify]: Extracting #0: cost 1 inf + 0
5.793 * * [simplify]: Extracting #1: cost 508 inf + 0
5.800 * * [simplify]: Extracting #2: cost 1182 inf + 857
5.808 * * [simplify]: Extracting #3: cost 47 inf + 7331
5.816 * * [simplify]: Extracting #4: cost 0 inf + 7718
5.832 * [simplify]: Simplified to:
  (* y (- x z))
5.839 * * [progress]: iteration 1 / 4
5.839 * * * [progress]: picking best candidate