0.674 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.395 * * * [progress]: [2/2] Setting up program.
0.401 * [progress]: [Phase 2 of 3] Improving.
0.404 * [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.404 * [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.407 * * [simplify]: iteration  0 :  103  enodes  (cost  63 )
0.410 * * [simplify]: iteration  1 :  372  enodes  (cost  62 )
0.418 * * [simplify]: iteration  2 :  1914  enodes  (cost  61 )
0.456 * * [simplify]: iteration  3 :  5002  enodes  (cost  61 )
0.464 * * [progress]: iteration 1 / 4
0.465 * * * [progress]: picking best candidate
0.474 * * * * [pick]: Picked  #<alt (λ (x1 x2) (+ (+ (+ x1 (* 3.0 (/ (- (- (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (+ 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)))) (* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))))>
0.474 * * * [progress]: localizing error
0.518 * * * [progress]: generating rewritten candidates
0.518 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1 2)