0.238 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.033 * * * [progress]: [2/2] Setting up program.
0.040 * [progress]: [Phase 2 of 3] Improving.
0.040 * [simplify]: Simplifying:
  (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))
0.040 * * [simplify]: iteration 0: 9 enodes
0.057 * * [simplify]: iteration 1: 23 enodes
0.060 * * [simplify]: iteration 2: 52 enodes
0.069 * * [simplify]: iteration 3: 115 enodes
0.091 * * [simplify]: iteration 4: 251 enodes
0.222 * * [simplify]: iteration 5: 522 enodes
0.475 * * [simplify]: iteration 6: 1116 enodes
1.813 * * [simplify]: iteration 7: 4574 enodes
3.413 * * [simplify]: iteration complete: 5000 enodes
3.413 * * [simplify]: Extracting #0: cost 1 inf + 0
3.414 * * [simplify]: Extracting #1: cost 267 inf + 0
3.416 * * [simplify]: Extracting #2: cost 919 inf + 37
3.420 * * [simplify]: Extracting #3: cost 821 inf + 1578
3.425 * * [simplify]: Extracting #4: cost 180 inf + 8960
3.429 * * [simplify]: Extracting #5: cost 0 inf + 12628
3.433 * [simplify]: Simplified to:
  (/ (* (- x y) (+ y x)) (fma x x (* y y)))
3.438 * * [progress]: iteration 1 / 4
3.438 * * * [progress]: picking best candidate