0.321 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.162 * * * [progress]: [2/2] Setting up program.
0.169 * [progress]: [Phase 2 of 3] Improving.
0.169 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0))))
0.174 * * [simplify]: iteration  0 :  116  enodes  (cost  31 )
0.177 * * [simplify]: iteration  1 :  465  enodes  (cost  30 )
0.188 * * [simplify]: iteration  2 :  2522  enodes  (cost  28 )
0.249 * * [simplify]: iteration  3 :  5001  enodes  (cost  28 )
0.250 * [simplify]: Simplified to:
   (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0)
0.257 * [progress]: [Phase 3 of 3] Extracting.
0.257 * * [regime]: Finding splitpoints for: (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
0.262 * * * [regime-changes]: Trying 22 branch expressions: ((- 0.0 m2) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0) (- 0.0 m1) (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)) (- 0.0 m0) (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0))) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))) a2 m2 w2 a1 m1 w1 a0 m0 w0)
0.262 * * * * [regimes]: Trying to branch on (- 0.0 m2) from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
0.350 * * * * [regimes]: Trying to branch on (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
0.434 * * * * [regimes]: Trying to branch on (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
0.520 * * * * [regimes]: Trying to branch on (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0) from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
0.604 * * * * [regimes]: Trying to branch on (- 0.0 m1) from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
0.694 * * * * [regimes]: Trying to branch on (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
0.781 * * * * [regimes]: Trying to branch on (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
0.866 * * * * [regimes]: Trying to branch on (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)) from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
0.956 * * * * [regimes]: Trying to branch on (- 0.0 m0) from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
1.042 * * * * [regimes]: Trying to branch on (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
1.128 * * * * [regimes]: Trying to branch on (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
1.216 * * * * [regimes]: Trying to branch on (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0))) from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
1.300 * * * * [regimes]: Trying to branch on (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))) from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
1.388 * * * * [regimes]: Trying to branch on a2 from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
1.475 * * * * [regimes]: Trying to branch on m2 from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
1.559 * * * * [regimes]: Trying to branch on w2 from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
1.647 * * * * [regimes]: Trying to branch on a1 from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
1.736 * * * * [regimes]: Trying to branch on m1 from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
1.819 * * * * [regimes]: Trying to branch on w1 from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
1.906 * * * * [regimes]: Trying to branch on a0 from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
1.990 * * * * [regimes]: Trying to branch on m0 from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
2.079 * * * * [regimes]: Trying to branch on w0 from (#<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ 0.0 (+ (* (* (* w0 (- 0.0 m0)) (* -3.0 (* (* 1.0 (/ a0 w0)) (/ a0 w0)))) 1.0) (+ (* (* (* w1 (- 0.0 m1)) (* -3.0 (* (* 1.0 (/ a1 w1)) (/ a1 w1)))) 1.0) (+ (* (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2)))) 1.0) 0.0)))))> #<alt (λ (w0 m0 a0 w1 m1 a1 w2 m2 a2) (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0))>)
2.165 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
2.165 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0)
2.166 * * [simplify]: iteration  0 :  56  enodes  (cost  28 )
2.166 * * [simplify]: iteration  1 :  56  enodes  (cost  28 )
2.166 * [simplify]: Simplified to:
   (+ (+ 0.0 (* 1.0 (+ (* -3.0 (+ (* (* (* 1.0 (/ a0 w0)) (/ a0 w0)) (* w0 (- 0.0 m0))) (* (* (* 1.0 (/ a1 w1)) (/ a1 w1)) (* w1 (- 0.0 m1))))) (* (* w2 (- 0.0 m2)) (* -3.0 (* (* 1.0 (/ a2 w2)) (/ a2 w2))))))) 0.0)
7.358 * [regime-testing]: End program error score: 38.106622723687686