6.135 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.059 * * * [progress]: [2/2] Setting up program.
0.064 * [progress]: [Phase 2 of 3] Improving.
0.065 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* xi1 (+ (* xi1 (- (* (* xi1 0.27385) f) (* 0.73369 f))) (* 0.46341 f))) (+ (* xi1 (- (* xi1 (+ (* (* xi1 0.093073) f) (* 0.30942 f))) (* 1.0 f))) (* 0.597999 f)))
0.068 * * [simplify]: iteration  0 :  70  enodes  (cost  19 )
0.071 * * [simplify]: iteration  1 :  157  enodes  (cost  19 )
0.075 * * [simplify]: iteration  2 :  372  enodes  (cost  17 )
0.086 * * [simplify]: iteration  3 :  863  enodes  (cost  17 )
0.110 * * [simplify]: iteration  4 :  1589  enodes  (cost  14 )
0.145 * * [simplify]: iteration  5 :  4441  enodes  (cost  14 )
0.192 * * [simplify]: iteration  6 :  5001  enodes  (cost  14 )
0.193 * [simplify]: Simplified to:
   (/ f (/ (* f (+ 0.597999 (* (- (* (+ (* xi1 0.093073) 0.30942) xi1) 1.0) xi1))) (* xi1 (+ 0.46341 (* (- (* xi1 0.27385) 0.73369) xi1)))))
0.197 * [progress]: [Phase 3 of 3] Extracting.
0.197 * * [regime]: Finding splitpoints for: (#<alt (λ (xi1 f) (/ f (/ (* f (+ 0.597999 (* (- (* (+ (* xi1 0.093073) 0.30942) xi1) 1.0) xi1))) (* xi1 (+ 0.46341 (* (- (* xi1 0.27385) 0.73369) xi1))))))> #<alt (λ (xi1 f) (/ (* xi1 (+ (* xi1 (- (* (* xi1 0.27385) f) (* 0.73369 f))) (* 0.46341 f))) (+ (* xi1 (- (* xi1 (+ (* (* xi1 0.093073) f) (* 0.30942 f))) (* 1.0 f))) (* 0.597999 f))))>)
0.199 * * * [regime-changes]: Trying 3 branch expressions: ((/ (* xi1 (+ (* xi1 (- (* (* xi1 0.27385) f) (* 0.73369 f))) (* 0.46341 f))) (+ (* xi1 (- (* xi1 (+ (* (* xi1 0.093073) f) (* 0.30942 f))) (* 1.0 f))) (* 0.597999 f))) f xi1)
0.199 * * * * [regimes]: Trying to branch on (/ (* xi1 (+ (* xi1 (- (* (* xi1 0.27385) f) (* 0.73369 f))) (* 0.46341 f))) (+ (* xi1 (- (* xi1 (+ (* (* xi1 0.093073) f) (* 0.30942 f))) (* 1.0 f))) (* 0.597999 f))) from (#<alt (λ (xi1 f) (/ f (/ (* f (+ 0.597999 (* (- (* (+ (* xi1 0.093073) 0.30942) xi1) 1.0) xi1))) (* xi1 (+ 0.46341 (* (- (* xi1 0.27385) 0.73369) xi1))))))> #<alt (λ (xi1 f) (/ (* xi1 (+ (* xi1 (- (* (* xi1 0.27385) f) (* 0.73369 f))) (* 0.46341 f))) (+ (* xi1 (- (* xi1 (+ (* (* xi1 0.093073) f) (* 0.30942 f))) (* 1.0 f))) (* 0.597999 f))))>)
0.243 * * * * [regimes]: Trying to branch on f from (#<alt (λ (xi1 f) (/ f (/ (* f (+ 0.597999 (* (- (* (+ (* xi1 0.093073) 0.30942) xi1) 1.0) xi1))) (* xi1 (+ 0.46341 (* (- (* xi1 0.27385) 0.73369) xi1))))))> #<alt (λ (xi1 f) (/ (* xi1 (+ (* xi1 (- (* (* xi1 0.27385) f) (* 0.73369 f))) (* 0.46341 f))) (+ (* xi1 (- (* xi1 (+ (* (* xi1 0.093073) f) (* 0.30942 f))) (* 1.0 f))) (* 0.597999 f))))>)
0.282 * * * * [regimes]: Trying to branch on xi1 from (#<alt (λ (xi1 f) (/ f (/ (* f (+ 0.597999 (* (- (* (+ (* xi1 0.093073) 0.30942) xi1) 1.0) xi1))) (* xi1 (+ 0.46341 (* (- (* xi1 0.27385) 0.73369) xi1))))))> #<alt (λ (xi1 f) (/ (* xi1 (+ (* xi1 (- (* (* xi1 0.27385) f) (* 0.73369 f))) (* 0.46341 f))) (+ (* xi1 (- (* xi1 (+ (* (* xi1 0.093073) f) (* 0.30942 f))) (* 1.0 f))) (* 0.597999 f))))>)
0.325 * * * [regime]: Found split indices: #<option (#s(si 1 45) #s(si 0 79) #s(si 1 255))>
0.326 * [binary-search]: Only using regimes for bounds on (/ (* xi1 (+ (* xi1 (- (* (* xi1 0.27385) f) (* 0.73369 f))) (* 0.46341 f))) (+ (* xi1 (- (* xi1 (+ (* (* xi1 0.093073) f) (* 0.30942 f))) (* 1.0 f))) (* 0.597999 f))) and (#<alt (λ (xi1 f) (/ f (/ (* f (+ 0.597999 (* (- (* (+ (* xi1 0.093073) 0.30942) xi1) 1.0) xi1))) (* xi1 (+ 0.46341 (* (- (* xi1 0.27385) 0.73369) xi1))))))> #<alt (λ (xi1 f) (/ (* xi1 (+ (* xi1 (- (* (* xi1 0.27385) f) (* 0.73369 f))) (* 0.46341 f))) (+ (* xi1 (- (* xi1 (+ (* (* xi1 0.093073) f) (* 0.30942 f))) (* 1.0 f))) (* 0.597999 f))))>)
0.326 * [regimes]: Found splitpoints: (#s(sp 1 (/ (* xi1 (+ (* xi1 (- (* (* xi1 0.27385) f) (* 0.73369 f))) (* 0.46341 f))) (+ (* xi1 (- (* xi1 (+ (* (* xi1 0.093073) f) (* 0.30942 f))) (* 1.0 f))) (* 0.597999 f))) -2.642506905543479e-304) #s(sp 0 (/ (* xi1 (+ (* xi1 (- (* (* xi1 0.27385) f) (* 0.73369 f))) (* 0.46341 f))) (+ (* xi1 (- (* xi1 (+ (* (* xi1 0.093073) f) (* 0.30942 f))) (* 1.0 f))) (* 0.597999 f))) 0.0) #s(sp 1 (/ (* xi1 (+ (* xi1 (- (* (* xi1 0.27385) f) (* 0.73369 f))) (* 0.46341 f))) (+ (* xi1 (- (* xi1 (+ (* (* xi1 0.093073) f) (* 0.30942 f))) (* 1.0 f))) (* 0.597999 f))) +nan.0)) , with alts (#<alt (λ (xi1 f) (/ f (/ (* f (+ 0.597999 (* (- (* (+ (* xi1 0.093073) 0.30942) xi1) 1.0) xi1))) (* xi1 (+ 0.46341 (* (- (* xi1 0.27385) 0.73369) xi1))))))> #<alt (λ (xi1 f) (/ (* xi1 (+ (* xi1 (- (* (* xi1 0.27385) f) (* 0.73369 f))) (* 0.46341 f))) (+ (* xi1 (- (* xi1 (+ (* (* xi1 0.093073) f) (* 0.30942 f))) (* 1.0 f))) (* 0.597999 f))))>)
0.326 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (/ (* xi1 (+ (* xi1 (- (* (* xi1 0.27385) f) (* 0.73369 f))) (* 0.46341 f))) (+ (* xi1 (- (* xi1 (+ (* (* xi1 0.093073) f) (* 0.30942 f))) (* 1.0 f))) (* 0.597999 f))) -2.642506905543479e-304) (/ (* xi1 (+ (* xi1 (- (* (* xi1 0.27385) f) (* 0.73369 f))) (* 0.46341 f))) (+ (* xi1 (- (* xi1 (+ (* (* xi1 0.093073) f) (* 0.30942 f))) (* 1.0 f))) (* 0.597999 f))) (if (<= (/ (* xi1 (+ (* xi1 (- (* (* xi1 0.27385) f) (* 0.73369 f))) (* 0.46341 f))) (+ (* xi1 (- (* xi1 (+ (* (* xi1 0.093073) f) (* 0.30942 f))) (* 1.0 f))) (* 0.597999 f))) 0.0) (/ f (/ (* f (+ 0.597999 (* (- (* (+ (* xi1 0.093073) 0.30942) xi1) 1.0) xi1))) (* xi1 (+ 0.46341 (* (- (* xi1 0.27385) 0.73369) xi1))))) (/ (* xi1 (+ (* xi1 (- (* (* xi1 0.27385) f) (* 0.73369 f))) (* 0.46341 f))) (+ (* xi1 (- (* xi1 (+ (* (* xi1 0.093073) f) (* 0.30942 f))) (* 1.0 f))) (* 0.597999 f)))))
0.327 * * [simplify]: iteration  0 :  73  enodes  (cost  71 )
0.327 * * [simplify]: iteration  1 :  73  enodes  (cost  71 )
0.328 * [simplify]: Simplified to:
   (if (or (<= (/ (* xi1 (+ (* xi1 (- (* (* xi1 0.27385) f) (* 0.73369 f))) (* 0.46341 f))) (+ (* xi1 (- (* xi1 (+ (* (* xi1 0.093073) f) (* 0.30942 f))) (* 1.0 f))) (* 0.597999 f))) -2.642506905543479e-304) (not (<= (/ (* xi1 (+ (* xi1 (- (* (* xi1 0.27385) f) (* 0.73369 f))) (* 0.46341 f))) (+ (* xi1 (- (* xi1 (+ (* (* xi1 0.093073) f) (* 0.30942 f))) (* 1.0 f))) (* 0.597999 f))) 0.0))) (/ (* xi1 (+ (* xi1 (- (* (* xi1 0.27385) f) (* 0.73369 f))) (* 0.46341 f))) (+ (* xi1 (- (* xi1 (+ (* (* xi1 0.093073) f) (* 0.30942 f))) (* 1.0 f))) (* 0.597999 f))) (/ f (/ (* f (+ 0.597999 (* (- (* (+ (* xi1 0.093073) 0.30942) xi1) 1.0) xi1))) (* xi1 (+ 0.46341 (* (- (* xi1 0.27385) 0.73369) xi1))))))
1.653 * [regime-testing]: End program error score: 22.270857391874305