12.684 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.081 * * * [progress]: [2/2] Setting up program.
0.084 * [progress]: [Phase 2 of 3] Improving.
0.084 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (+ (* (- 333.75 (* a a)) (* (* (* b b) (* b b)) (* b b))) (* (* a a) (- (- (* (* 11.0 (* a a)) (* b b)) (* 121.0 (* (* b b) (* b b)))) 2.0))) (* 5.5 (* (* (* b b) (* b b)) (* (* b b) (* b b))))) (/ a (* 2.0 b)))
0.086 * * [simplify]: iteration  0 :  74  enodes  (cost  33 )
0.088 * * [simplify]: iteration  1 :  264  enodes  (cost  33 )
0.096 * * [simplify]: iteration  2 :  878  enodes  (cost  23 )
0.115 * * [simplify]: iteration  3 :  2662  enodes  (cost  23 )
0.177 * * [simplify]: iteration  4 :  5002  enodes  (cost  22 )
0.177 * [simplify]: Simplified to:
   (+ (+ (/ a (* 2.0 b)) (* (pow b 6) (+ (* 5.5 (* b b)) 333.75))) (* (* a a) (+ (neg (pow b 6)) (- (* (* b b) (- (* 11.0 (* a a)) (* 121.0 (* b b)))) 2.0))))
0.182 * [progress]: [Phase 3 of 3] Extracting.
0.182 * * [regime]: Finding splitpoints for: (#<alt (λ (a b) (+ (+ (+ (* (- 333.75 (* a a)) (* (* (* b b) (* b b)) (* b b))) (* (* a a) (- (- (* (* 11.0 (* a a)) (* b b)) (* 121.0 (* (* b b) (* b b)))) 2.0))) (* 5.5 (* (* (* b b) (* b b)) (* (* b b) (* b b))))) (/ a (* 2.0 b))))> #<alt (λ (a b) (+ (+ (/ a (* 2.0 b)) (* (pow b 6) (+ (* 5.5 (* b b)) 333.75))) (* (* a a) (+ (neg (pow b 6)) (- (* (* b b) (- (* 11.0 (* a a)) (* 121.0 (* b b)))) 2.0)))))>)
0.185 * * * [regime-changes]: Trying 3 branch expressions: ((+ (+ (+ (* (- 333.75 (* a a)) (* (* (* b b) (* b b)) (* b b))) (* (* a a) (- (- (* (* 11.0 (* a a)) (* b b)) (* 121.0 (* (* b b) (* b b)))) 2.0))) (* 5.5 (* (* (* b b) (* b b)) (* (* b b) (* b b))))) (/ a (* 2.0 b))) b a)
0.185 * * * * [regimes]: Trying to branch on (+ (+ (+ (* (- 333.75 (* a a)) (* (* (* b b) (* b b)) (* b b))) (* (* a a) (- (- (* (* 11.0 (* a a)) (* b b)) (* 121.0 (* (* b b) (* b b)))) 2.0))) (* 5.5 (* (* (* b b) (* b b)) (* (* b b) (* b b))))) (/ a (* 2.0 b))) from (#<alt (λ (a b) (+ (+ (+ (* (- 333.75 (* a a)) (* (* (* b b) (* b b)) (* b b))) (* (* a a) (- (- (* (* 11.0 (* a a)) (* b b)) (* 121.0 (* (* b b) (* b b)))) 2.0))) (* 5.5 (* (* (* b b) (* b b)) (* (* b b) (* b b))))) (/ a (* 2.0 b))))> #<alt (λ (a b) (+ (+ (/ a (* 2.0 b)) (* (pow b 6) (+ (* 5.5 (* b b)) 333.75))) (* (* a a) (+ (neg (pow b 6)) (- (* (* b b) (- (* 11.0 (* a a)) (* 121.0 (* b b)))) 2.0)))))>)
0.225 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b) (+ (+ (+ (* (- 333.75 (* a a)) (* (* (* b b) (* b b)) (* b b))) (* (* a a) (- (- (* (* 11.0 (* a a)) (* b b)) (* 121.0 (* (* b b) (* b b)))) 2.0))) (* 5.5 (* (* (* b b) (* b b)) (* (* b b) (* b b))))) (/ a (* 2.0 b))))> #<alt (λ (a b) (+ (+ (/ a (* 2.0 b)) (* (pow b 6) (+ (* 5.5 (* b b)) 333.75))) (* (* a a) (+ (neg (pow b 6)) (- (* (* b b) (- (* 11.0 (* a a)) (* 121.0 (* b b)))) 2.0)))))>)
0.259 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b) (+ (+ (+ (* (- 333.75 (* a a)) (* (* (* b b) (* b b)) (* b b))) (* (* a a) (- (- (* (* 11.0 (* a a)) (* b b)) (* 121.0 (* (* b b) (* b b)))) 2.0))) (* 5.5 (* (* (* b b) (* b b)) (* (* b b) (* b b))))) (/ a (* 2.0 b))))> #<alt (λ (a b) (+ (+ (/ a (* 2.0 b)) (* (pow b 6) (+ (* 5.5 (* b b)) 333.75))) (* (* a a) (+ (neg (pow b 6)) (- (* (* b b) (- (* 11.0 (* a a)) (* 121.0 (* b b)))) 2.0)))))>)
0.289 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
0.290 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (/ a (* 2.0 b)) (* (pow b 6) (+ (* 5.5 (* b b)) 333.75))) (* (* a a) (+ (neg (pow b 6)) (- (* (* b b) (- (* 11.0 (* a a)) (* 121.0 (* b b)))) 2.0))))
0.290 * * [simplify]: iteration  0 :  37  enodes  (cost  22 )
0.291 * * [simplify]: iteration  1 :  37  enodes  (cost  22 )
0.291 * [simplify]: Simplified to:
   (+ (+ (/ a (* 2.0 b)) (* (pow b 6) (+ (* 5.5 (* b b)) 333.75))) (* (* a a) (+ (neg (pow b 6)) (- (* (* b b) (- (* 11.0 (* a a)) (* 121.0 (* b b)))) 2.0))))
2.997 * [regime-testing]: End program error score: 0.09347897862629465