8.053 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.015 * * * [progress]: [2/2] Setting up program.
0.017 * [progress]: [Phase 2 of 3] Improving.
0.018 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (neg (* (* 2.0 far) near)) (- far near))
0.019 * * [simplify]: iteration  0 :  19  enodes  (cost  5 )
0.021 * * [simplify]: iteration  1 :  51  enodes  (cost  5 )
0.022 * * [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.031 * * [simplify]: iteration  5 :  533  enodes  (cost  5 )
0.036 * * [simplify]: iteration  6 :  606  enodes  (cost  5 )
0.041 * * [simplify]: iteration  7 :  715  enodes  (cost  5 )
0.046 * * [simplify]: iteration  8 :  1442  enodes  (cost  5 )
0.054 * * [simplify]: iteration  9 :  1875  enodes  (cost  4 )
0.063 * * [simplify]: iteration  10 :  2227  enodes  (cost  4 )
0.072 * * [simplify]: iteration  11 :  2280  enodes  (cost  4 )
0.082 * * [simplify]: iteration  12 :  2330  enodes  (cost  4 )
0.093 * * [simplify]: iteration  13 :  2448  enodes  (cost  4 )
0.104 * * [simplify]: iteration  14 :  2528  enodes  (cost  4 )
0.115 * * [simplify]: iteration  15 :  2528  enodes  (cost  4 )
0.115 * [simplify]: Simplified to:
   (/ 2.0 (/ (+ (/ near far) -1) near))
0.119 * [progress]: [Phase 3 of 3] Extracting.
0.119 * * [regime]: Finding splitpoints for: (#<alt (λ (far near) (/ 2.0 (/ (+ (/ near far) -1) near)))> #<alt (λ (far near) (/ (neg (* (* 2.0 far) near)) (- far near)))>)
0.119 * * * [regime-changes]: Trying 3 branch expressions: ((/ (neg (* (* 2.0 far) near)) (- far near)) near far)
0.119 * * * * [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.170 * * * * [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.207 * * * * [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.255 * * * [regime]: Found split indices: #<option (#s(si 0 12) #s(si 1 106) #s(si 0 140) #s(si 1 226) #s(si 0 255))>
0.255 * [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.255 * [regimes]: Found splitpoints: (#s(sp 0 (/ (neg (* (* 2.0 far) near)) (- far near)) -8.226693024815794e+76) #s(sp 1 (/ (neg (* (* 2.0 far) near)) (- far near)) -6.819949880270581e-304) #s(sp 0 (/ (neg (* (* 2.0 far) near)) (- far near)) 0.0) #s(sp 1 (/ (neg (* (* 2.0 far) near)) (- far near)) 4.405905074011377e+61) #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.255 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (/ (neg (* (* 2.0 far) near)) (- far near)) -8.226693024815794e+76) (/ 2.0 (/ (+ (/ near far) -1) near)) (if (<= (/ (neg (* (* 2.0 far) near)) (- far near)) -6.819949880270581e-304) (/ (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)) 4.405905074011377e+61) (/ (neg (* (* 2.0 far) near)) (- far near)) (/ 2.0 (/ (+ (/ near far) -1) near))))))
0.256 * * [simplify]: iteration  0 :  37  enodes  (cost  42 )
0.257 * * [simplify]: iteration  1 :  48  enodes  (cost  42 )
0.257 * * [simplify]: iteration  2 :  54  enodes  (cost  29 )
0.257 * * [simplify]: iteration  3 :  57  enodes  (cost  29 )
0.258 * * [simplify]: iteration  4 :  63  enodes  (cost  29 )
0.258 * * [simplify]: iteration  5 :  74  enodes  (cost  29 )
0.259 * * [simplify]: iteration  6 :  81  enodes  (cost  29 )
0.259 * * [simplify]: iteration  7 :  82  enodes  (cost  29 )
0.259 * * [simplify]: iteration  8 :  82  enodes  (cost  29 )
0.260 * [simplify]: Simplified to:
   (if (or (<= (/ (neg (* (* 2.0 far) near)) (- far near)) -8.226693024815794e+76) (not (or (<= (/ (neg (* (* 2.0 far) near)) (- far near)) -6.819949880270581e-304) (not (or (<= (/ (neg (* (* 2.0 far) near)) (- far near)) 0.0) (not (<= (/ (neg (* (* 2.0 far) near)) (- far near)) 4.405905074011377e+61))))))) (/ 2.0 (/ (+ (/ near far) -1) near)) (/ (neg (* (* 2.0 far) near)) (- far near)))
1.185 * [regime-testing]: End program error score: 0.532235517260512