6.672 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.016 * [progress]: [Phase 2 of 3] Improving.
0.016 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (neg (* (* 2.0 x) y)) (- x y))
0.018 * * [simplify]: iteration  0 :  19  enodes  (cost  5 )
0.019 * * [simplify]: iteration  1 :  51  enodes  (cost  5 )
0.021 * * [simplify]: iteration  2 :  125  enodes  (cost  5 )
0.024 * * [simplify]: iteration  3 :  260  enodes  (cost  5 )
0.027 * * [simplify]: iteration  4 :  438  enodes  (cost  5 )
0.030 * * [simplify]: iteration  5 :  533  enodes  (cost  5 )
0.034 * * [simplify]: iteration  6 :  606  enodes  (cost  5 )
0.039 * * [simplify]: iteration  7 :  715  enodes  (cost  5 )
0.044 * * [simplify]: iteration  8 :  1442  enodes  (cost  5 )
0.052 * * [simplify]: iteration  9 :  1875  enodes  (cost  4 )
0.061 * * [simplify]: iteration  10 :  2227  enodes  (cost  4 )
0.070 * * [simplify]: iteration  11 :  2280  enodes  (cost  4 )
0.080 * * [simplify]: iteration  12 :  2330  enodes  (cost  4 )
0.090 * * [simplify]: iteration  13 :  2448  enodes  (cost  4 )
0.100 * * [simplify]: iteration  14 :  2528  enodes  (cost  4 )
0.111 * * [simplify]: iteration  15 :  2528  enodes  (cost  4 )
0.111 * [simplify]: Simplified to:
   (/ 2.0 (/ (+ (/ y x) -1) y))
0.114 * [progress]: [Phase 3 of 3] Extracting.
0.114 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (/ 2.0 (/ (+ (/ y x) -1) y)))> #<alt (λ (x y) (/ (neg (* (* 2.0 x) y)) (- x y)))>)
0.115 * * * [regime-changes]: Trying 3 branch expressions: ((/ (neg (* (* 2.0 x) y)) (- x y)) y x)
0.115 * * * * [regimes]: Trying to branch on (/ (neg (* (* 2.0 x) y)) (- x y)) from (#<alt (λ (x y) (/ 2.0 (/ (+ (/ y x) -1) y)))> #<alt (λ (x y) (/ (neg (* (* 2.0 x) y)) (- x y)))>)
0.160 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (/ 2.0 (/ (+ (/ y x) -1) y)))> #<alt (λ (x y) (/ (neg (* (* 2.0 x) y)) (- x y)))>)
0.193 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (/ 2.0 (/ (+ (/ y x) -1) y)))> #<alt (λ (x y) (/ (neg (* (* 2.0 x) y)) (- x y)))>)
0.229 * * * [regime]: Found split indices: #<option (#s(si 0 25) #s(si 1 119) #s(si 0 146) #s(si 1 232) #s(si 0 255))>
0.229 * [binary-search]: Only using regimes for bounds on (/ (neg (* (* 2.0 x) y)) (- x y)) and (#<alt (λ (x y) (/ 2.0 (/ (+ (/ y x) -1) y)))> #<alt (λ (x y) (/ (neg (* (* 2.0 x) y)) (- x y)))>)
0.229 * [regimes]: Found splitpoints: (#s(sp 0 (/ (neg (* (* 2.0 x) y)) (- x y)) -4.768968193262873e+61) #s(sp 1 (/ (neg (* (* 2.0 x) y)) (- x y)) -1.32736955359934e-306) #s(sp 0 (/ (neg (* (* 2.0 x) y)) (- x y)) 0.0) #s(sp 1 (/ (neg (* (* 2.0 x) y)) (- x y)) 3.6648159455075746e+56) #s(sp 0 (/ (neg (* (* 2.0 x) y)) (- x y)) +nan.0)) , with alts (#<alt (λ (x y) (/ 2.0 (/ (+ (/ y x) -1) y)))> #<alt (λ (x y) (/ (neg (* (* 2.0 x) y)) (- x y)))>)
0.230 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (/ (neg (* (* 2.0 x) y)) (- x y)) -4.768968193262873e+61) (/ 2.0 (/ (+ (/ y x) -1) y)) (if (<= (/ (neg (* (* 2.0 x) y)) (- x y)) -1.32736955359934e-306) (/ (neg (* (* 2.0 x) y)) (- x y)) (if (<= (/ (neg (* (* 2.0 x) y)) (- x y)) 0.0) (/ 2.0 (/ (+ (/ y x) -1) y)) (if (<= (/ (neg (* (* 2.0 x) y)) (- x y)) 3.6648159455075746e+56) (/ (neg (* (* 2.0 x) y)) (- x y)) (/ 2.0 (/ (+ (/ y x) -1) y))))))
0.230 * * [simplify]: iteration  0 :  37  enodes  (cost  42 )
0.231 * * [simplify]: iteration  1 :  48  enodes  (cost  42 )
0.231 * * [simplify]: iteration  2 :  54  enodes  (cost  29 )
0.232 * * [simplify]: iteration  3 :  57  enodes  (cost  29 )
0.232 * * [simplify]: iteration  4 :  63  enodes  (cost  29 )
0.232 * * [simplify]: iteration  5 :  74  enodes  (cost  29 )
0.234 * * [simplify]: iteration  6 :  81  enodes  (cost  29 )
0.234 * * [simplify]: iteration  7 :  82  enodes  (cost  29 )
0.235 * * [simplify]: iteration  8 :  82  enodes  (cost  29 )
0.235 * [simplify]: Simplified to:
   (if (or (<= (/ (neg (* (* 2.0 x) y)) (- x y)) -4.768968193262873e+61) (not (or (<= (/ (neg (* (* 2.0 x) y)) (- x y)) -1.32736955359934e-306) (not (or (<= (/ (neg (* (* 2.0 x) y)) (- x y)) 0.0) (not (<= (/ (neg (* (* 2.0 x) y)) (- x y)) 3.6648159455075746e+56))))))) (/ 2.0 (/ (+ (/ y x) -1) y)) (/ (neg (* (* 2.0 x) y)) (- x y)))
1.051 * [regime-testing]: End program error score: 0.5205480937072938