0.642 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.072 * * * [progress]: [2/2] Setting up program.
0.082 * [progress]: [Phase 2 of 3] Improving.
0.082 * [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.082 * * [simplify]: iteration 0: 20 enodes
0.087 * * [simplify]: iteration 1: 38 enodes
0.098 * * [simplify]: iteration 2: 78 enodes
0.120 * * [simplify]: iteration 3: 136 enodes
0.175 * * [simplify]: iteration 4: 163 enodes
0.211 * * [simplify]: iteration 5: 175 enodes
0.236 * * [simplify]: iteration 6: 179 enodes
0.262 * * [simplify]: iteration complete: 179 enodes
0.262 * * [simplify]: Extracting #0: cost 1 inf + 0
0.262 * * [simplify]: Extracting #1: cost 4 inf + 0
0.262 * * [simplify]: Extracting #2: cost 27 inf + 0
0.262 * * [simplify]: Extracting #3: cost 41 inf + 5
0.263 * * [simplify]: Extracting #4: cost 34 inf + 31
0.263 * * [simplify]: Extracting #5: cost 33 inf + 48
0.263 * * [simplify]: Extracting #6: cost 42 inf + 51
0.264 * * [simplify]: Extracting #7: cost 35 inf + 71
0.264 * * [simplify]: Extracting #8: cost 20 inf + 217
0.264 * * [simplify]: Extracting #9: cost 3 inf + 463
0.265 * * [simplify]: Extracting #10: cost 0 inf + 536
0.265 * [simplify]: Simplified to:
  (if (>= b 0.0) (/ (/ (- (- b) (sqrt (- (* b b) (* (* a c) 4.0)))) a) 2.0) (* (/ c (- (sqrt (- (* b b) (* (* a c) 4.0))) b)) 2.0))
0.279 * * [progress]: iteration 1 / 4
0.279 * * * [progress]: picking best candidate