0.733 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.324 * * * [progress]: [2/2] Setting up program.
0.330 * [progress]: [Phase 2 of 3] Improving.
0.333 * [simplify]: Simplifying:
  (+ (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))) (/ x (* 2.0 y)))
0.333 * [simplify]: Sending expressions to egg_math:
 (+ (+ (+ (* h9 (pow h0 h7)) (* (* h2 h2) (- (- (- (* (* (* (* h8 h2) h2) h0) h0) (pow h0 h7)) (* h6 (pow h0 h5))) h1))) (* h4 (pow h0 h3))) (/ h2 (* h1 h0)))
0.336 * * [simplify]: iteration  0 :  75  enodes  (cost  21 )
0.339 * * [simplify]: iteration  1 :  205  enodes  (cost  21 )
0.343 * * [simplify]: iteration  2 :  625  enodes  (cost  21 )
0.355 * * [simplify]: iteration  3 :  1931  enodes  (cost  21 )
0.396 * * [simplify]: iteration  4 :  5001  enodes  (cost  21 )
0.398 * * [progress]: iteration 1 / 4
0.398 * * * [progress]: picking best candidate
0.405 * * * * [pick]: Picked  #<alt (λ (x y) (+ (+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0))) (/ x (* 2.0 y))))>
0.405 * * * [progress]: localizing error
0.458 * * * [progress]: generating rewritten candidates
0.459 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)