62.214 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.041 * * * [progress]: [2/2] Setting up program.
0.045 * [progress]: [Phase 2 of 3] Improving.
0.045 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* (* (* a x) b) y) (* (* (* a z) b) w))
0.050 * * [simplify]: iteration  0 :  29  enodes  (cost  7 )
0.051 * * [simplify]: iteration  1 :  82  enodes  (cost  7 )
0.053 * * [simplify]: iteration  2 :  232  enodes  (cost  6 )
0.057 * * [simplify]: iteration  3 :  413  enodes  (cost  5 )
0.062 * * [simplify]: iteration  4 :  455  enodes  (cost  5 )
0.068 * * [simplify]: iteration  5 :  455  enodes  (cost  5 )
0.068 * [simplify]: Simplified to:
   (* (* b a) (- (* x y) (* z w)))
0.073 * [progress]: [Phase 3 of 3] Extracting.
0.073 * * [regime]: Finding splitpoints for: (#<alt (λ (a x b y z w) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))> #<alt (λ (a x b y z w) (* (* b a) (- (* x y) (* z w))))>)
0.074 * * * [regime-changes]: Trying 7 branch expressions: ((- (* (* (* a x) b) y) (* (* (* a z) b) w)) w z y b x a)
0.074 * * * * [regimes]: Trying to branch on (- (* (* (* a x) b) y) (* (* (* a z) b) w)) from (#<alt (λ (a x b y z w) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))> #<alt (λ (a x b y z w) (* (* b a) (- (* x y) (* z w))))>)
0.151 * * * * [regimes]: Trying to branch on w from (#<alt (λ (a x b y z w) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))> #<alt (λ (a x b y z w) (* (* b a) (- (* x y) (* z w))))>)
0.219 * * * * [regimes]: Trying to branch on z from (#<alt (λ (a x b y z w) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))> #<alt (λ (a x b y z w) (* (* b a) (- (* x y) (* z w))))>)
0.296 * * * * [regimes]: Trying to branch on y from (#<alt (λ (a x b y z w) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))> #<alt (λ (a x b y z w) (* (* b a) (- (* x y) (* z w))))>)
0.367 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a x b y z w) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))> #<alt (λ (a x b y z w) (* (* b a) (- (* x y) (* z w))))>)
0.447 * * * * [regimes]: Trying to branch on x from (#<alt (λ (a x b y z w) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))> #<alt (λ (a x b y z w) (* (* b a) (- (* x y) (* z w))))>)
0.513 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a x b y z w) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))> #<alt (λ (a x b y z w) (* (* b a) (- (* x y) (* z w))))>)
0.597 * * * [regime]: Found split indices: #<option (#s(si 1 12) #s(si 0 87) #s(si 1 158) #s(si 0 240) #s(si 1 255))>
0.597 * [binary-search]: Only using regimes for bounds on (- (* (* (* a x) b) y) (* (* (* a z) b) w)) and (#<alt (λ (a x b y z w) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))> #<alt (λ (a x b y z w) (* (* b a) (- (* x y) (* z w))))>)
0.597 * [regimes]: Found splitpoints: (#s(sp 1 (- (* (* (* a x) b) y) (* (* (* a z) b) w)) -inf.0) #s(sp 0 (- (* (* (* a x) b) y) (* (* (* a z) b) w)) -3.086339466385741e-261) #s(sp 1 (- (* (* (* a x) b) y) (* (* (* a z) b) w)) 5.568622045172896e-247) #s(sp 0 (- (* (* (* a x) b) y) (* (* (* a z) b) w)) 8.133780891349846e+266) #s(sp 1 (- (* (* (* a x) b) y) (* (* (* a z) b) w)) +nan.0)) , with alts (#<alt (λ (a x b y z w) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))> #<alt (λ (a x b y z w) (* (* b a) (- (* x y) (* z w))))>)
0.597 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (- (* (* (* a x) b) y) (* (* (* a z) b) w)) -inf.0) (* (* b a) (- (* x y) (* z w))) (if (<= (- (* (* (* a x) b) y) (* (* (* a z) b) w)) -3.086339466385741e-261) (- (* (* (* a x) b) y) (* (* (* a z) b) w)) (if (<= (- (* (* (* a x) b) y) (* (* (* a z) b) w)) 5.568622045172896e-247) (* (* b a) (- (* x y) (* z w))) (if (<= (- (* (* (* a x) b) y) (* (* (* a z) b) w)) 8.133780891349846e+266) (- (* (* (* a x) b) y) (* (* (* a z) b) w)) (* (* b a) (- (* x y) (* z w)))))))
0.598 * * [simplify]: iteration  0 :  43  enodes  (cost  57 )
0.599 * * [simplify]: iteration  1 :  46  enodes  (cost  57 )
0.599 * * [simplify]: iteration  2 :  52  enodes  (cost  40 )
0.600 * * [simplify]: iteration  3 :  55  enodes  (cost  40 )
0.600 * * [simplify]: iteration  4 :  61  enodes  (cost  40 )
0.600 * * [simplify]: iteration  5 :  72  enodes  (cost  40 )
0.601 * * [simplify]: iteration  6 :  79  enodes  (cost  40 )
0.601 * * [simplify]: iteration  7 :  80  enodes  (cost  40 )
0.602 * * [simplify]: iteration  8 :  80  enodes  (cost  40 )
0.602 * [simplify]: Simplified to:
   (if (or (<= (- (* (* (* a x) b) y) (* (* (* a z) b) w)) -inf.0) (not (or (<= (- (* (* (* a x) b) y) (* (* (* a z) b) w)) -3.086339466385741e-261) (not (or (<= (- (* (* (* a x) b) y) (* (* (* a z) b) w)) 5.568622045172896e-247) (not (<= (- (* (* (* a x) b) y) (* (* (* a z) b) w)) 8.133780891349846e+266))))))) (* (* b a) (- (* x y) (* z w))) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))
2.332 * [regime-testing]: End program error score: 5.767206694508317