5.865 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.084 * * * [progress]: [2/2] Setting up program.
0.087 * [progress]: [Phase 2 of 3] Improving.
0.088 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (+ (* 333.75 (* (* (* b b) (* b b)) (* b b))) (* (* a a) (- (- (- (* (* 11.0 (* a a)) (* b b)) (* (* (* b b) (* b b)) (* 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.090 * * [simplify]: iteration  0 :  78  enodes  (cost  35 )
0.092 * * [simplify]: iteration  1 :  295  enodes  (cost  35 )
0.099 * * [simplify]: iteration  2 :  1000  enodes  (cost  23 )
0.122 * * [simplify]: iteration  3 :  2875  enodes  (cost  23 )
0.183 * * [simplify]: iteration  4 :  5001  enodes  (cost  23 )
0.183 * [simplify]: Simplified to:
   (+ (+ (/ a (* 2.0 b)) (* (pow b 6) (+ (* (* b b) 5.5) 333.75))) (* (* (- (* (* 11.0 (* a a)) (* b b)) (+ (* (* (* b b) (* b b)) (+ (* b b) 121.0)) 2.0)) a) a))
0.187 * [progress]: [Phase 3 of 3] Extracting.
0.187 * * [regime]: Finding splitpoints for: (#<alt (λ (b a) (+ (+ (/ a (* 2.0 b)) (* (pow b 6) (+ (* (* b b) 5.5) 333.75))) (* (* (- (* (* 11.0 (* a a)) (* b b)) (+ (* (* (* b b) (* b b)) (+ (* b b) 121.0)) 2.0)) a) a)))> #<alt (λ (b a) (+ (+ (+ (* 333.75 (* (* (* b b) (* b b)) (* b b))) (* (* a a) (- (- (- (* (* 11.0 (* a a)) (* b b)) (* (* (* b b) (* b b)) (* 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.191 * * * [regime-changes]: Trying 3 branch expressions: ((+ (+ (+ (* 333.75 (* (* (* b b) (* b b)) (* b b))) (* (* a a) (- (- (- (* (* 11.0 (* a a)) (* b b)) (* (* (* b b) (* b b)) (* b b))) (* 121.0 (* (* b b) (* b b)))) 2.0))) (* 5.5 (* (* (* b b) (* b b)) (* (* b b) (* b b))))) (/ a (* 2.0 b))) a b)
0.191 * * * * [regimes]: Trying to branch on (+ (+ (+ (* 333.75 (* (* (* b b) (* b b)) (* b b))) (* (* a a) (- (- (- (* (* 11.0 (* a a)) (* b b)) (* (* (* b b) (* b b)) (* 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 (λ (b a) (+ (+ (/ a (* 2.0 b)) (* (pow b 6) (+ (* (* b b) 5.5) 333.75))) (* (* (- (* (* 11.0 (* a a)) (* b b)) (+ (* (* (* b b) (* b b)) (+ (* b b) 121.0)) 2.0)) a) a)))> #<alt (λ (b a) (+ (+ (+ (* 333.75 (* (* (* b b) (* b b)) (* b b))) (* (* a a) (- (- (- (* (* 11.0 (* a a)) (* b b)) (* (* (* b b) (* b b)) (* 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.232 * * * * [regimes]: Trying to branch on a from (#<alt (λ (b a) (+ (+ (/ a (* 2.0 b)) (* (pow b 6) (+ (* (* b b) 5.5) 333.75))) (* (* (- (* (* 11.0 (* a a)) (* b b)) (+ (* (* (* b b) (* b b)) (+ (* b b) 121.0)) 2.0)) a) a)))> #<alt (λ (b a) (+ (+ (+ (* 333.75 (* (* (* b b) (* b b)) (* b b))) (* (* a a) (- (- (- (* (* 11.0 (* a a)) (* b b)) (* (* (* b b) (* b b)) (* 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.265 * * * * [regimes]: Trying to branch on b from (#<alt (λ (b a) (+ (+ (/ a (* 2.0 b)) (* (pow b 6) (+ (* (* b b) 5.5) 333.75))) (* (* (- (* (* 11.0 (* a a)) (* b b)) (+ (* (* (* b b) (* b b)) (+ (* b b) 121.0)) 2.0)) a) a)))> #<alt (λ (b a) (+ (+ (+ (* 333.75 (* (* (* b b) (* b b)) (* b b))) (* (* a a) (- (- (- (* (* 11.0 (* a a)) (* b b)) (* (* (* b b) (* b b)) (* 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.299 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.299 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (/ a (* 2.0 b)) (* (pow b 6) (+ (* (* b b) 5.5) 333.75))) (* (* (- (* (* 11.0 (* a a)) (* b b)) (+ (* (* (* b b) (* b b)) (+ (* b b) 121.0)) 2.0)) a) a))
0.300 * * [simplify]: iteration  0 :  40  enodes  (cost  23 )
0.300 * * [simplify]: iteration  1 :  40  enodes  (cost  23 )
0.300 * [simplify]: Simplified to:
   (+ (+ (/ a (* 2.0 b)) (* (pow b 6) (+ (* (* b b) 5.5) 333.75))) (* (* (- (* (* 11.0 (* a a)) (* b b)) (+ (* (* (* b b) (* b b)) (+ (* b b) 121.0)) 2.0)) a) a))
2.983 * [regime-testing]: End program error score: 0.09208011939262842