0.261 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.045 * * * [progress]: [2/2] Setting up program.
0.050 * [progress]: [Phase 2 of 3] Improving.
0.051 * [simplify]: Simplifying:
  (if (>= b 0.0) (/ (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a)) (/ (* 2.0 c) (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
0.051 * * [simplify]: iteration 0: 20 enodes
0.505 * * [simplify]: iteration 1: 39 enodes
0.511 * * [simplify]: iteration 2: 79 enodes
0.525 * * [simplify]: iteration 3: 143 enodes
0.564 * * [simplify]: iteration 4: 179 enodes
0.608 * * [simplify]: iteration 5: 189 enodes
0.658 * * [simplify]: iteration 6: 193 enodes
0.703 * * [simplify]: iteration complete: 193 enodes
0.703 * * [simplify]: Extracting #0: cost 1 inf + 0
0.703 * * [simplify]: Extracting #1: cost 4 inf + 0
0.703 * * [simplify]: Extracting #2: cost 27 inf + 0
0.704 * * [simplify]: Extracting #3: cost 41 inf + 5
0.704 * * [simplify]: Extracting #4: cost 33 inf + 34
0.704 * * [simplify]: Extracting #5: cost 43 inf + 48
0.705 * * [simplify]: Extracting #6: cost 35 inf + 71
0.705 * * [simplify]: Extracting #7: cost 15 inf + 293
0.706 * * [simplify]: Extracting #8: cost 2 inf + 481
0.706 * * [simplify]: Extracting #9: cost 0 inf + 536
0.706 * [simplify]: Simplified to:
  (if (>= b 0.0) (/ (- (- b) (sqrt (fma (* 4.0 a) (- c) (* b b)))) (* 2.0 a)) (/ (* 2.0 c) (- (sqrt (fma (* 4.0 a) (- c) (* b b))) b)))
0.719 * * [progress]: iteration 1 / 4
0.719 * * * [progress]: picking best candidate