4.314 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.040 * * * [progress]: [2/2] Setting up program.
0.043 * [progress]: [Phase 2 of 3] Improving.
0.043 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (+ (log (/ 100.0 x)) (* (+ (- 0.05 0.01) (/ (* 0.15 0.15) 2.0)) 2.0)) (* 0.15 (sqrt 2.0)))
0.045 * * [simplify]: iteration  0 :  32  enodes  (cost  11 )
0.046 * * [simplify]: iteration  1 :  60  enodes  (cost  11 )
0.048 * * [simplify]: iteration  2 :  169  enodes  (cost  11 )
0.050 * * [simplify]: iteration  3 :  487  enodes  (cost  11 )
0.056 * * [simplify]: iteration  4 :  1183  enodes  (cost  11 )
0.073 * * [simplify]: iteration  5 :  3369  enodes  (cost  10 )
0.124 * * [simplify]: iteration  6 :  5002  enodes  (cost  10 )
0.125 * [simplify]: Simplified to:
   (/ (/ (+ (+ (log (/ 100.0 x)) (* 2.0 (- 0.05 0.01))) (* 0.15 0.15)) 0.15) (sqrt 2.0))
0.128 * [progress]: [Phase 3 of 3] Extracting.
0.128 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ (+ (log (/ 100.0 x)) (* (+ (- 0.05 0.01) (/ (* 0.15 0.15) 2.0)) 2.0)) (* 0.15 (sqrt 2.0))))> #<alt (λ (x) (/ (/ (+ (+ (log (/ 100.0 x)) (* 2.0 (- 0.05 0.01))) (* 0.15 0.15)) 0.15) (sqrt 2.0)))>)
0.129 * * * [regime-changes]: Trying 5 branch expressions: ((/ 100.0 x) (log (/ 100.0 x)) (+ (log (/ 100.0 x)) (* (+ (- 0.05 0.01) (/ (* 0.15 0.15) 2.0)) 2.0)) (/ (+ (log (/ 100.0 x)) (* (+ (- 0.05 0.01) (/ (* 0.15 0.15) 2.0)) 2.0)) (* 0.15 (sqrt 2.0))) x)
0.129 * * * * [regimes]: Trying to branch on (/ 100.0 x) from (#<alt (λ (x) (/ (+ (log (/ 100.0 x)) (* (+ (- 0.05 0.01) (/ (* 0.15 0.15) 2.0)) 2.0)) (* 0.15 (sqrt 2.0))))> #<alt (λ (x) (/ (/ (+ (+ (log (/ 100.0 x)) (* 2.0 (- 0.05 0.01))) (* 0.15 0.15)) 0.15) (sqrt 2.0)))>)
0.155 * * * * [regimes]: Trying to branch on (log (/ 100.0 x)) from (#<alt (λ (x) (/ (+ (log (/ 100.0 x)) (* (+ (- 0.05 0.01) (/ (* 0.15 0.15) 2.0)) 2.0)) (* 0.15 (sqrt 2.0))))> #<alt (λ (x) (/ (/ (+ (+ (log (/ 100.0 x)) (* 2.0 (- 0.05 0.01))) (* 0.15 0.15)) 0.15) (sqrt 2.0)))>)
0.184 * * * * [regimes]: Trying to branch on (+ (log (/ 100.0 x)) (* (+ (- 0.05 0.01) (/ (* 0.15 0.15) 2.0)) 2.0)) from (#<alt (λ (x) (/ (+ (log (/ 100.0 x)) (* (+ (- 0.05 0.01) (/ (* 0.15 0.15) 2.0)) 2.0)) (* 0.15 (sqrt 2.0))))> #<alt (λ (x) (/ (/ (+ (+ (log (/ 100.0 x)) (* 2.0 (- 0.05 0.01))) (* 0.15 0.15)) 0.15) (sqrt 2.0)))>)
0.217 * * * * [regimes]: Trying to branch on (/ (+ (log (/ 100.0 x)) (* (+ (- 0.05 0.01) (/ (* 0.15 0.15) 2.0)) 2.0)) (* 0.15 (sqrt 2.0))) from (#<alt (λ (x) (/ (+ (log (/ 100.0 x)) (* (+ (- 0.05 0.01) (/ (* 0.15 0.15) 2.0)) 2.0)) (* 0.15 (sqrt 2.0))))> #<alt (λ (x) (/ (/ (+ (+ (log (/ 100.0 x)) (* 2.0 (- 0.05 0.01))) (* 0.15 0.15)) 0.15) (sqrt 2.0)))>)
0.257 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ (+ (log (/ 100.0 x)) (* (+ (- 0.05 0.01) (/ (* 0.15 0.15) 2.0)) 2.0)) (* 0.15 (sqrt 2.0))))> #<alt (λ (x) (/ (/ (+ (+ (log (/ 100.0 x)) (* 2.0 (- 0.05 0.01))) (* 0.15 0.15)) 0.15) (sqrt 2.0)))>)
0.280 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.281 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (+ (log (/ 100.0 x)) (* (+ (- 0.05 0.01) (/ (* 0.15 0.15) 2.0)) 2.0)) (* 0.15 (sqrt 2.0)))
0.281 * * [simplify]: iteration  0 :  21  enodes  (cost  11 )
0.281 * * [simplify]: iteration  1 :  21  enodes  (cost  11 )
0.282 * [simplify]: Simplified to:
   (/ (+ (log (/ 100.0 x)) (* (+ (- 0.05 0.01) (/ (* 0.15 0.15) 2.0)) 2.0)) (* 0.15 (sqrt 2.0)))
1.806 * [regime-testing]: End program error score: 0.6552994096927603