0.627 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.154 * * * [progress]: [2/2] Setting up program.
0.167 * [progress]: [Phase 2 of 3] Improving.
0.167 * [simplify]: Simplifying:
  (if (>= b 0.0) (/ (* 2.0 c) (- (- b) (sqrt (- (* b b) (* (* 4.0 a) c))))) (/ (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a)))
0.167 * * [simplify]: iteration 0: 20 enodes
0.172 * * [simplify]: iteration 1: 35 enodes
0.186 * * [simplify]: iteration 2: 66 enodes
0.208 * * [simplify]: iteration 3: 116 enodes
0.485 * * [simplify]: iteration 4: 150 enodes
0.521 * * [simplify]: iteration 5: 164 enodes
0.541 * * [simplify]: iteration 6: 166 enodes
0.578 * * [simplify]: iteration complete: 166 enodes
0.578 * * [simplify]: Extracting #0: cost 1 inf + 0
0.578 * * [simplify]: Extracting #1: cost 4 inf + 0
0.578 * * [simplify]: Extracting #2: cost 22 inf + 0
0.578 * * [simplify]: Extracting #3: cost 36 inf + 5
0.579 * * [simplify]: Extracting #4: cost 26 inf + 42
0.579 * * [simplify]: Extracting #5: cost 28 inf + 48
0.579 * * [simplify]: Extracting #6: cost 37 inf + 51
0.580 * * [simplify]: Extracting #7: cost 32 inf + 63
0.580 * * [simplify]: Extracting #8: cost 13 inf + 247
0.580 * * [simplify]: Extracting #9: cost 3 inf + 387
0.583 * * [simplify]: Extracting #10: cost 0 inf + 451
0.583 * [simplify]: Simplified to:
  (if (>= b 0.0) (/ (* 2.0 c) (- (- b) (sqrt (- (* b b) (* (* c a) 4.0))))) (/ (- (sqrt (- (* b b) (* (* c a) 4.0))) b) (* 2.0 a)))
0.598 * * [progress]: iteration 1 / 4
0.599 * * * [progress]: picking best candidate