0.669 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.402 * * * [progress]: [2/2] Setting up program.
0.409 * [progress]: [Phase 2 of 3] Improving.
0.412 * [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.412 * [simplify]: Sending expressions to egg_math:
 (+ h1 (+ (+ (+ (+ (* (+ (* (* (* h3 h1) (/ (- (+ (* (* h4 h1) h1) (* h3 h2)) h1) (+ (* h1 h1) h0))) (- (/ (- (+ (* (* h4 h1) h1) (* h3 h2)) h1) (+ (* h1 h1) h0)) h4)) (* (* h1 h1) (- (* h6 (/ (- (+ (* (* h4 h1) h1) (* h3 h2)) h1) (+ (* h1 h1) h0))) h5))) (+ (* h1 h1) h0)) (* (* (* h4 h1) h1) (/ (- (+ (* (* h4 h1) h1) (* h3 h2)) h1) (+ (* h1 h1) h0)))) (* (* h1 h1) h1)) h1) (* h4 (/ (- (- (* (* h4 h1) h1) (* h3 h2)) h1) (+ (* h1 h1) h0)))))
0.416 * * [simplify]: iteration  0 :  109  enodes  (cost  59 )
0.419 * * [simplify]: iteration  1 :  417  enodes  (cost  56 )
0.428 * * [simplify]: iteration  2 :  2136  enodes  (cost  53 )
0.472 * * [simplify]: iteration  3 :  5001  enodes  (cost  52 )
0.483 * * [progress]: iteration 1 / 4
0.483 * * * [progress]: picking best candidate
0.495 * * * * [pick]: Picked  #<alt (λ (x1 x2) (fma (/ 3.0 (fma x1 x1 1.0)) (fma 3.0 (* x1 x1) (- (fma x2 2.0 x1))) (+ (+ x1 (/ (* (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1)) (* (* 3.0 x1) x1)) (fma x1 x1 1.0))) (fma (fma (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) 2.0) (/ (* x1 (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1))) (fma x1 x1 1.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))) (fma x1 x1 1.0) (fma x1 (* x1 x1) x1)))))>
0.495 * * * [progress]: localizing error