4.467 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.024 * [progress]: [Phase 2 of 3] Improving.
0.024 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (neg (* (* 2.0 far) near)) (- far near))
0.028 * * [simplify]: iteration  0 :  19  enodes  (cost  5 )
0.029 * * [simplify]: iteration  1 :  51  enodes  (cost  5 )
0.031 * * [simplify]: iteration  2 :  125  enodes  (cost  5 )
0.034 * * [simplify]: iteration  3 :  260  enodes  (cost  5 )
0.038 * * [simplify]: iteration  4 :  438  enodes  (cost  5 )
0.044 * * [simplify]: iteration  5 :  533  enodes  (cost  5 )
0.050 * * [simplify]: iteration  6 :  606  enodes  (cost  5 )
0.057 * * [simplify]: iteration  7 :  715  enodes  (cost  5 )
0.065 * * [simplify]: iteration  8 :  1442  enodes  (cost  5 )
0.076 * * [simplify]: iteration  9 :  1875  enodes  (cost  4 )
0.089 * * [simplify]: iteration  10 :  2227  enodes  (cost  4 )
0.102 * * [simplify]: iteration  11 :  2280  enodes  (cost  4 )
0.115 * * [simplify]: iteration  12 :  2330  enodes  (cost  4 )
0.129 * * [simplify]: iteration  13 :  2448  enodes  (cost  4 )
0.146 * * [simplify]: iteration  14 :  2528  enodes  (cost  4 )
0.161 * * [simplify]: iteration  15 :  2528  enodes  (cost  4 )
0.161 * [simplify]: Simplified to:
   (/ 2.0 (/ (+ (/ near far) -1) near))
0.167 * [progress]: [Phase 3 of 3] Extracting.
0.167 * * [regime]: Finding splitpoints for: (#<alt (λ (far near) (/ 2.0 (/ (+ (/ near far) -1) near)))> #<alt (λ (far near) (/ (neg (* (* 2.0 far) near)) (- far near)))>)
0.167 * * * [regime-changes]: Trying 3 branch expressions: ((/ (neg (* (* 2.0 far) near)) (- far near)) near far)
0.167 * * * * [regimes]: Trying to branch on (/ (neg (* (* 2.0 far) near)) (- far near)) from (#<alt (λ (far near) (/ 2.0 (/ (+ (/ near far) -1) near)))> #<alt (λ (far near) (/ (neg (* (* 2.0 far) near)) (- far near)))>)
0.246 * * * * [regimes]: Trying to branch on near from (#<alt (λ (far near) (/ 2.0 (/ (+ (/ near far) -1) near)))> #<alt (λ (far near) (/ (neg (* (* 2.0 far) near)) (- far near)))>)
0.299 * * * * [regimes]: Trying to branch on far from (#<alt (λ (far near) (/ 2.0 (/ (+ (/ near far) -1) near)))> #<alt (λ (far near) (/ (neg (* (* 2.0 far) near)) (- far near)))>)
0.351 * * * [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.352 * [binary-search]: Only using regimes for bounds on (/ (neg (* (* 2.0 far) near)) (- far near)) and (#<alt (λ (far near) (/ 2.0 (/ (+ (/ near far) -1) near)))> #<alt (λ (far near) (/ (neg (* (* 2.0 far) near)) (- far near)))>)
0.352 * [regimes]: Found splitpoints: (#s(sp 0 (/ (neg (* (* 2.0 far) near)) (- far near)) -4.768968193262873e+61) #s(sp 1 (/ (neg (* (* 2.0 far) near)) (- far near)) -1.32736955359934e-306) #s(sp 0 (/ (neg (* (* 2.0 far) near)) (- far near)) 0.0) #s(sp 1 (/ (neg (* (* 2.0 far) near)) (- far near)) 3.6648159455075746e+56) #s(sp 0 (/ (neg (* (* 2.0 far) near)) (- far near)) +nan.0)) , with alts (#<alt (λ (far near) (/ 2.0 (/ (+ (/ near far) -1) near)))> #<alt (λ (far near) (/ (neg (* (* 2.0 far) near)) (- far near)))>)
0.352 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (/ (neg (* (* 2.0 far) near)) (- far near)) -4.768968193262873e+61) (/ 2.0 (/ (+ (/ near far) -1) near)) (if (<= (/ (neg (* (* 2.0 far) near)) (- far near)) -1.32736955359934e-306) (/ (neg (* (* 2.0 far) near)) (- far near)) (if (<= (/ (neg (* (* 2.0 far) near)) (- far near)) 0.0) (/ 2.0 (/ (+ (/ near far) -1) near)) (if (<= (/ (neg (* (* 2.0 far) near)) (- far near)) 3.6648159455075746e+56) (/ (neg (* (* 2.0 far) near)) (- far near)) (/ 2.0 (/ (+ (/ near far) -1) near))))))
0.353 * * [simplify]: iteration  0 :  37  enodes  (cost  42 )
0.353 * * [simplify]: iteration  1 :  48  enodes  (cost  42 )
0.354 * * [simplify]: iteration  2 :  54  enodes  (cost  29 )
0.354 * * [simplify]: iteration  3 :  57  enodes  (cost  29 )
0.355 * * [simplify]: iteration  4 :  63  enodes  (cost  29 )
0.355 * * [simplify]: iteration  5 :  74  enodes  (cost  29 )
0.356 * * [simplify]: iteration  6 :  81  enodes  (cost  29 )
0.356 * * [simplify]: iteration  7 :  82  enodes  (cost  29 )
0.356 * * [simplify]: iteration  8 :  82  enodes  (cost  29 )
0.357 * [simplify]: Simplified to:
   (if (or (<= (/ (neg (* (* 2.0 far) near)) (- far near)) -4.768968193262873e+61) (not (or (<= (/ (neg (* (* 2.0 far) near)) (- far near)) -1.32736955359934e-306) (not (or (<= (/ (neg (* (* 2.0 far) near)) (- far near)) 0.0) (not (<= (/ (neg (* (* 2.0 far) near)) (- far near)) 3.6648159455075746e+56))))))) (/ 2.0 (/ (+ (/ near far) -1) near)) (/ (neg (* (* 2.0 far) near)) (- far near)))
1.052 * [regime-testing]: End program error score: 0.5205480937072938