0.343 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.203 * * * [progress]: [2/2] Setting up program.
0.209 * [progress]: [Phase 2 of 3] Improving.
0.211 * [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.212 * [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)))))