1.091 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.093 * * * [progress]: [2/2] Setting up program.
0.102 * [progress]: [Phase 2 of 3] Improving.
0.103 * [simplify]: Simplifying:
  (- (+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a)))))) 1.0)
0.103 * * [simplify]: iteration 0: 19 enodes
0.110 * * [simplify]: iteration 1: 53 enodes
0.158 * * [simplify]: iteration 2: 161 enodes
0.204 * * [simplify]: iteration 3: 492 enodes
0.827 * * [simplify]: iteration 4: 1716 enodes
1.542 * * [simplify]: iteration complete: 5000 enodes
1.542 * * [simplify]: Extracting #0: cost 1 inf + 0
1.543 * * [simplify]: Extracting #1: cost 243 inf + 0
1.546 * * [simplify]: Extracting #2: cost 1335 inf + 3
1.551 * * [simplify]: Extracting #3: cost 1471 inf + 199
1.557 * * [simplify]: Extracting #4: cost 934 inf + 8350
1.562 * * [simplify]: Extracting #5: cost 214 inf + 20773
1.567 * * [simplify]: Extracting #6: cost 25 inf + 24810
1.573 * * [simplify]: Extracting #7: cost 0 inf + 25311
1.578 * * [simplify]: Extracting #8: cost 0 inf + 25283
1.582 * [simplify]: Simplified to:
  (- (* (+ (* (* b b) (- 1.0 (* 3.0 a))) (* (* a a) (+ a 1.0))) 4.0) (- 1.0 (pow (+ (* a a) (* b b)) 2.0)))
1.590 * * [progress]: iteration 1 / 4
1.590 * * * [progress]: picking best candidate