2.383 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.057 * * * [progress]: [2/2] Setting up program.
0.061 * [progress]: [Phase 2 of 3] Improving.
0.061 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (+ (* 333.75 (pow 33096.0 6.0)) (* (* 77617.0 77617.0) (+ (+ (+ (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0))) (* -121.0 (pow 33096.0 4.0))) -2.0))) (* 5.5 (pow 33096.0 8.0))) (/ 77617.0 (* 2.0 33096.0)))
0.064 * * [simplify]: iteration  0 :  81  enodes  (cost  21 )
0.066 * * [simplify]: iteration  1 :  267  enodes  (cost  19 )
0.072 * * [simplify]: iteration  2 :  1006  enodes  (cost  18 )
0.092 * * [simplify]: iteration  3 :  4044  enodes  (cost  18 )
0.160 * * [simplify]: iteration  4 :  5001  enodes  (cost  18 )
0.161 * [simplify]: Simplified to:
   (fma (* 77617.0 77617.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
0.165 * * [progress]: iteration 1 / 4
0.165 * * * [progress]: picking best candidate
0.169 * * * * [pick]: Picked  #<alt (λ () (fma (* 77617.0 77617.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))>
0.169 * * * [progress]: localizing error
0.197 * * * [progress]: generating rewritten candidates
0.197 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.198 * * * * [progress]: [ 2 / 4 ] rewriting at (2 3 2)
0.199 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
0.203 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3 1)
0.206 * * * [progress]: generating series expansions
0.206 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.206 * * * * [progress]: [ 2 / 4 ] generating series at (2 3 2)
0.206 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
0.206 * * * * [progress]: [ 4 / 4 ] generating series at (2 3 1)
0.206 * * * [progress]: simplifying candidates
0.206 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* 77617.0 77617.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0))))
  (* (pow 33096.0 8.0) 5.5)
  (- (fma (pow 33096.0 4.0) -121.0 -2.0))
  (- (pow (pow 33096.0 6.0) 3) (pow (fma (pow 33096.0 4.0) -121.0 -2.0) 3))
  (+ (* (pow 33096.0 6.0) (pow 33096.0 6.0)) (+ (* (fma (pow 33096.0 4.0) -121.0 -2.0) (fma (pow 33096.0 4.0) -121.0 -2.0)) (* (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0))))
  (- (fma (pow 33096.0 4.0) -121.0 -2.0))
  (- (* (pow 33096.0 6.0) (pow 33096.0 6.0)) (* (fma (pow 33096.0 4.0) -121.0 -2.0) (fma (pow 33096.0 4.0) -121.0 -2.0)))
  (+ (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0))
  (- (pow 33096.0 6.0) (* (pow 33096.0 4.0) -121.0))
  (- (fma (pow 33096.0 4.0) -121.0 -2.0))
  (* 333.75 (pow 33096.0 (/ 6.0 2)))
  (fma (* 77617.0 77617.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (fma (* 77617.0 77617.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (fma (* 77617.0 77617.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (fma (* 77617.0 77617.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0))) (+ (* 333.75 (pow 33096.0 6.0)) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
0.210 * * [simplify]: iteration  0 :  112  enodes  (cost  130 )
0.212 * * [simplify]: iteration  1 :  331  enodes  (cost  125 )
0.219 * * [simplify]: iteration  2 :  1328  enodes  (cost  124 )
0.250 * * [simplify]: iteration  3 :  5001  enodes  (cost  124 )
0.252 * [simplify]: Simplified to:
   (* (* 77617.0 77617.0) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0))))
  (* (pow 33096.0 8.0) 5.5)
  (- (fma (pow 33096.0 4.0) -121.0 -2.0))
  (- (pow (pow 33096.0 6.0) 3) (pow (fma (pow 33096.0 4.0) -121.0 -2.0) 3))
  (fma (fma (pow 33096.0 4.0) -121.0 -2.0) (+ (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0)) (pow 33096.0 (* 2 6.0)))
  (- (fma (pow 33096.0 4.0) -121.0 -2.0))
  (fma (- (fma (pow 33096.0 4.0) -121.0 -2.0)) (fma (pow 33096.0 4.0) -121.0 -2.0) (pow 33096.0 (* 2 6.0)))
  (+ (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0))
  (- (pow 33096.0 6.0) (* (pow 33096.0 4.0) -121.0))
  (- (fma (pow 33096.0 4.0) -121.0 -2.0))
  (* 333.75 (pow 33096.0 (/ 6.0 2)))
  (fma 77617.0 (* 77617.0 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (fma 77617.0 (* 77617.0 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (fma 77617.0 (* 77617.0 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (fma 77617.0 (* 77617.0 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
0.252 * * * [progress]: adding candidates to table
0.299 * * [progress]: iteration 2 / 4
0.299 * * * [progress]: picking best candidate
0.306 * * * * [pick]: Picked  #<alt (λ () (fma 77617.0 (* 77617.0 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0))))))>
0.306 * * * [progress]: localizing error
0.329 * * * [progress]: generating rewritten candidates
0.329 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.330 * * * * [progress]: [ 2 / 3 ] rewriting at (2 3 3)
0.331 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2 2)
0.335 * * * [progress]: generating series expansions
0.335 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.335 * * * * [progress]: [ 2 / 3 ] generating series at (2 3 3)
0.335 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2 2)
0.335 * * * [progress]: simplifying candidates
0.335 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* 77617.0 (* 77617.0 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0)))))
  (* (pow 33096.0 8.0) 5.5)
  (- (fma (pow 33096.0 4.0) -121.0 -2.0))
  (- (pow (pow 33096.0 6.0) 3) (pow (fma (pow 33096.0 4.0) -121.0 -2.0) 3))
  (+ (* (pow 33096.0 6.0) (pow 33096.0 6.0)) (+ (* (fma (pow 33096.0 4.0) -121.0 -2.0) (fma (pow 33096.0 4.0) -121.0 -2.0)) (* (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0))))
  (- (fma (pow 33096.0 4.0) -121.0 -2.0))
  (- (* (pow 33096.0 6.0) (pow 33096.0 6.0)) (* (fma (pow 33096.0 4.0) -121.0 -2.0) (fma (pow 33096.0 4.0) -121.0 -2.0)))
  (+ (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0))
  (- (pow 33096.0 6.0) (* (pow 33096.0 4.0) -121.0))
  (- (fma (pow 33096.0 4.0) -121.0 -2.0))
  (fma 77617.0 (* 77617.0 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (fma 77617.0 (* 77617.0 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (fma 77617.0 (* 77617.0 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
0.338 * * [simplify]: iteration  0 :  106  enodes  (cost  106 )
0.341 * * [simplify]: iteration  1 :  308  enodes  (cost  105 )
0.347 * * [simplify]: iteration  2 :  1180  enodes  (cost  104 )
0.374 * * [simplify]: iteration  3 :  5001  enodes  (cost  104 )
0.375 * [simplify]: Simplified to:
   (* 77617.0 (* 77617.0 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0)))))
  (* (pow 33096.0 8.0) 5.5)
  (- (fma (pow 33096.0 4.0) -121.0 -2.0))
  (- (pow (pow 33096.0 6.0) 3) (pow (fma (pow 33096.0 4.0) -121.0 -2.0) 3))
  (fma (fma (pow 33096.0 4.0) -121.0 -2.0) (+ (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0)) (pow 33096.0 (* 2 6.0)))
  (- (fma (pow 33096.0 4.0) -121.0 -2.0))
  (fma (- (fma (pow 33096.0 4.0) -121.0 -2.0)) (fma (pow 33096.0 4.0) -121.0 -2.0) (pow 33096.0 (* 2 6.0)))
  (+ (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0))
  (- (pow 33096.0 6.0) (* (pow 33096.0 4.0) -121.0))
  (- (fma (pow 33096.0 4.0) -121.0 -2.0))
  (fma 77617.0 (* 77617.0 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (fma 77617.0 (* 77617.0 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
  (fma 77617.0 (* 77617.0 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
0.375 * * * [progress]: adding candidates to table
0.410 * [progress]: [Phase 3 of 3] Extracting.
0.416 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fma 77617.0 (* 77617.0 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
0.417 * * [simplify]: iteration  0 :  31  enodes  (cost  17 )
0.417 * * [simplify]: iteration  1 :  31  enodes  (cost  17 )
0.417 * [simplify]: Simplified to:
   (fma 77617.0 (* 77617.0 (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (- (pow 33096.0 6.0) (fma (pow 33096.0 4.0) -121.0 -2.0)))) (fma 333.75 (pow 33096.0 6.0) (fma (pow 33096.0 8.0) 5.5 (/ 77617.0 (* 2.0 33096.0)))))
1.876 * [regime-testing]: End program error score: 58.06274169396678