5.119 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.044 * * * [progress]: [2/2] Setting up program.
0.049 * [progress]: [Phase 2 of 3] Improving.
0.049 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* (* (* a x) b) y) (* (* (* a z) b) w))
0.051 * * [simplify]: iteration  0 :  29  enodes  (cost  7 )
0.053 * * [simplify]: iteration  1 :  82  enodes  (cost  7 )
0.055 * * [simplify]: iteration  2 :  232  enodes  (cost  6 )
0.060 * * [simplify]: iteration  3 :  413  enodes  (cost  5 )
0.066 * * [simplify]: iteration  4 :  455  enodes  (cost  5 )
0.073 * * [simplify]: iteration  5 :  455  enodes  (cost  5 )
0.073 * [simplify]: Simplified to:
   (* (* b a) (- (* x y) (* z w)))
0.079 * [progress]: [Phase 3 of 3] Extracting.
0.079 * * [regime]: Finding splitpoints for: (#<alt (λ (a x b y z w) (* (* b a) (- (* x y) (* z w))))> #<alt (λ (a x b y z w) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))>)
0.080 * * * [regime-changes]: Trying 7 branch expressions: ((- (* (* (* a x) b) y) (* (* (* a z) b) w)) w z y b x a)
0.080 * * * * [regimes]: Trying to branch on (- (* (* (* a x) b) y) (* (* (* a z) b) w)) from (#<alt (λ (a x b y z w) (* (* b a) (- (* x y) (* z w))))> #<alt (λ (a x b y z w) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))>)
0.157 * * * * [regimes]: Trying to branch on w from (#<alt (λ (a x b y z w) (* (* b a) (- (* x y) (* z w))))> #<alt (λ (a x b y z w) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))>)
0.227 * * * * [regimes]: Trying to branch on z from (#<alt (λ (a x b y z w) (* (* b a) (- (* x y) (* z w))))> #<alt (λ (a x b y z w) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))>)
0.301 * * * * [regimes]: Trying to branch on y from (#<alt (λ (a x b y z w) (* (* b a) (- (* x y) (* z w))))> #<alt (λ (a x b y z w) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))>)
0.370 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a x b y z w) (* (* b a) (- (* x y) (* z w))))> #<alt (λ (a x b y z w) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))>)
0.443 * * * * [regimes]: Trying to branch on x from (#<alt (λ (a x b y z w) (* (* b a) (- (* x y) (* z w))))> #<alt (λ (a x b y z w) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))>)
0.516 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a x b y z w) (* (* b a) (- (* x y) (* z w))))> #<alt (λ (a x b y z w) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))>)
0.586 * * * [regime]: Found split indices: #<option (#s(si 0 14) #s(si 1 106) #s(si 0 168) #s(si 1 237) #s(si 0 255))>
0.587 * [binary-search]: Only using regimes for bounds on (- (* (* (* a x) b) y) (* (* (* a z) b) w)) and (#<alt (λ (a x b y z w) (* (* b a) (- (* x y) (* z w))))> #<alt (λ (a x b y z w) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))>)
0.587 * [regimes]: Found splitpoints: (#s(sp 0 (- (* (* (* a x) b) y) (* (* (* a z) b) w)) -5.90860830220268e+304) #s(sp 1 (- (* (* (* a x) b) y) (* (* (* a z) b) w)) -4.698198848029678e-288) #s(sp 0 (- (* (* (* a x) b) y) (* (* (* a z) b) w)) 4.7715395290706475e-99) #s(sp 1 (- (* (* (* a x) b) y) (* (* (* a z) b) w)) 7.241326730750233e+277) #s(sp 0 (- (* (* (* a x) b) y) (* (* (* a z) b) w)) +nan.0)) , with alts (#<alt (λ (a x b y z w) (* (* b a) (- (* x y) (* z w))))> #<alt (λ (a x b y z w) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))>)
0.587 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (- (* (* (* a x) b) y) (* (* (* a z) b) w)) -5.90860830220268e+304) (* (* b a) (- (* x y) (* z w))) (if (<= (- (* (* (* a x) b) y) (* (* (* a z) b) w)) -4.698198848029678e-288) (- (* (* (* a x) b) y) (* (* (* a z) b) w)) (if (<= (- (* (* (* a x) b) y) (* (* (* a z) b) w)) 4.7715395290706475e-99) (* (* b a) (- (* x y) (* z w))) (if (<= (- (* (* (* a x) b) y) (* (* (* a z) b) w)) 7.241326730750233e+277) (- (* (* (* a x) b) y) (* (* (* a z) b) w)) (* (* b a) (- (* x y) (* z w)))))))
0.588 * * [simplify]: iteration  0 :  43  enodes  (cost  57 )
0.588 * * [simplify]: iteration  1 :  46  enodes  (cost  57 )
0.589 * * [simplify]: iteration  2 :  52  enodes  (cost  40 )
0.589 * * [simplify]: iteration  3 :  55  enodes  (cost  40 )
0.590 * * [simplify]: iteration  4 :  61  enodes  (cost  40 )
0.590 * * [simplify]: iteration  5 :  72  enodes  (cost  40 )
0.591 * * [simplify]: iteration  6 :  79  enodes  (cost  40 )
0.591 * * [simplify]: iteration  7 :  80  enodes  (cost  40 )
0.592 * * [simplify]: iteration  8 :  80  enodes  (cost  40 )
0.592 * [simplify]: Simplified to:
   (if (or (<= (- (* (* (* a x) b) y) (* (* (* a z) b) w)) -5.90860830220268e+304) (not (or (<= (- (* (* (* a x) b) y) (* (* (* a z) b) w)) -4.698198848029678e-288) (not (or (<= (- (* (* (* a x) b) y) (* (* (* a z) b) w)) 4.7715395290706475e-99) (not (<= (- (* (* (* a x) b) y) (* (* (* a z) b) w)) 7.241326730750233e+277))))))) (* (* b a) (- (* x y) (* z w))) (- (* (* (* a x) b) y) (* (* (* a z) b) w)))
2.333 * [regime-testing]: End program error score: 6.134724120855795