0.598 * [progress]: [Phase 1 of 3] Setting up.
0.005 * * * [progress]: [1/2] Preparing points
0.359 * * * [progress]: [2/2] Setting up program.
0.375 * [progress]: [Phase 2 of 3] Improving.
0.432 * [simplify]: Simplifying:
  (+ x1 (+ (+ (+ (+ (* (+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))) (+ (* x1 x1) 1.0)) (* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) x1)) x1) (* 3.0 (/ (- (- (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))))
0.434 * * [simplify]: iteration 0: 35 enodes
0.456 * * [simplify]: iteration 1: 109 enodes
0.498 * * [simplify]: iteration 2: 415 enodes
0.852 * * [simplify]: iteration 3: 2119 enodes
2.594 * * [simplify]: iteration complete: 5000 enodes
2.595 * * [simplify]: Extracting #0: cost 1 inf + 0
2.595 * * [simplify]: Extracting #1: cost 73 inf + 0
2.600 * * [simplify]: Extracting #2: cost 387 inf + 3
2.609 * * [simplify]: Extracting #3: cost 776 inf + 215
2.620 * * [simplify]: Extracting #4: cost 743 inf + 4601
2.632 * * [simplify]: Extracting #5: cost 172 inf + 18866
2.644 * * [simplify]: Extracting #6: cost 2 inf + 25988
2.655 * * [simplify]: Extracting #7: cost 0 inf + 25944
2.674 * * [simplify]: Extracting #8: cost 0 inf + 25938
2.684 * [simplify]: Simplified to:
  (fma (fma x1 x1 1.0) (* x1 (fma x1 (- (/ (* 4.0 (- (fma x2 2.0 (* (* 3.0 x1) x1)) x1)) (fma x1 x1 1.0)) 6.0) (* (/ (* 2.0 (- (fma x2 2.0 (* (* 3.0 x1) x1)) x1)) (fma x1 x1 1.0)) (- (/ (- (fma x2 2.0 (* (* 3.0 x1) x1)) x1) (fma x1 x1 1.0)) 3.0)))) (fma (* x1 x1) (fma (/ (- (fma x2 2.0 (* (* 3.0 x1) x1)) x1) (fma x1 x1 1.0)) 3.0 x1) (fma (/ 3.0 (fma x1 x1 1.0)) (- (* (* 3.0 x1) x1) (fma 2.0 x2 x1)) (* 2 x1))))
2.696 * * [progress]: iteration 1 / 4
2.696 * * * [progress]: picking best candidate