0.722 * [progress]: [Phase 1 of 3] Setting up.
0.004 * * * [progress]: [1/2] Preparing points
0.316 * * * [progress]: [2/2] Setting up program.
0.328 * [progress]: [Phase 2 of 3] Improving.
0.332 * [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.333 * [simplify]: Sending expressions to egg_math:
 (+ h0 (+ (+ (+ (+ (* (+ (* (* (* 2.0 h0) (/ (- (+ (* (* 3.0 h0) h0) (* 2.0 h1)) h0) (+ (* h0 h0) 1.0))) (- (/ (- (+ (* (* 3.0 h0) h0) (* 2.0 h1)) h0) (+ (* h0 h0) 1.0)) 3.0)) (* (* h0 h0) (- (* 4.0 (/ (- (+ (* (* 3.0 h0) h0) (* 2.0 h1)) h0) (+ (* h0 h0) 1.0))) 6.0))) (+ (* h0 h0) 1.0)) (* (* (* 3.0 h0) h0) (/ (- (+ (* (* 3.0 h0) h0) (* 2.0 h1)) h0) (+ (* h0 h0) 1.0)))) (* (* h0 h0) h0)) h0) (* 3.0 (/ (- (- (* (* 3.0 h0) h0) (* 2.0 h1)) h0) (+ (* h0 h0) 1.0)))))