11.630 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.051 * * * [progress]: [2/2] Setting up program.
0.055 * [progress]: [Phase 2 of 3] Improving.
0.055 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (+ (* (- y Y) Stride) (* (- x1 X) 4.0)) (* (- y Y) Stride)) (* (- (- x2 x1) X) 4.0))
0.057 * * [simplify]: iteration  0 :  35  enodes  (cost  12 )
0.059 * * [simplify]: iteration  1 :  78  enodes  (cost  12 )
0.063 * * [simplify]: iteration  2 :  246  enodes  (cost  10 )
0.066 * * [simplify]: iteration  3 :  775  enodes  (cost  9 )
0.081 * * [simplify]: iteration  4 :  3305  enodes  (cost  9 )
0.141 * * [simplify]: iteration  5 :  5001  enodes  (cost  9 )
0.142 * [simplify]: Simplified to:
   (+ (* 4.0 (+ (- x1 X) (- (- x2 x1) X))) (* (- y Y) (+ Stride Stride)))
0.147 * [progress]: [Phase 3 of 3] Extracting.
0.147 * * [regime]: Finding splitpoints for: (#<alt (λ (y Y Stride x1 X x2) (+ (* 4.0 (+ (- x1 X) (- (- x2 x1) X))) (* (- y Y) (+ Stride Stride))))> #<alt (λ (y Y Stride x1 X x2) (+ (+ (+ (* (- y Y) Stride) (* (- x1 X) 4.0)) (* (- y Y) Stride)) (* (- (- x2 x1) X) 4.0)))>)
0.148 * * * [regime-changes]: Trying 9 branch expressions: ((- y Y) (* (- y Y) Stride) (+ (+ (+ (* (- y Y) Stride) (* (- x1 X) 4.0)) (* (- y Y) Stride)) (* (- (- x2 x1) X) 4.0)) x2 X x1 Stride Y y)
0.148 * * * * [regimes]: Trying to branch on (- y Y) from (#<alt (λ (y Y Stride x1 X x2) (+ (* 4.0 (+ (- x1 X) (- (- x2 x1) X))) (* (- y Y) (+ Stride Stride))))> #<alt (λ (y Y Stride x1 X x2) (+ (+ (+ (* (- y Y) Stride) (* (- x1 X) 4.0)) (* (- y Y) Stride)) (* (- (- x2 x1) X) 4.0)))>)
0.212 * * * * [regimes]: Trying to branch on (* (- y Y) Stride) from (#<alt (λ (y Y Stride x1 X x2) (+ (* 4.0 (+ (- x1 X) (- (- x2 x1) X))) (* (- y Y) (+ Stride Stride))))> #<alt (λ (y Y Stride x1 X x2) (+ (+ (+ (* (- y Y) Stride) (* (- x1 X) 4.0)) (* (- y Y) Stride)) (* (- (- x2 x1) X) 4.0)))>)
0.277 * * * * [regimes]: Trying to branch on (+ (+ (+ (* (- y Y) Stride) (* (- x1 X) 4.0)) (* (- y Y) Stride)) (* (- (- x2 x1) X) 4.0)) from (#<alt (λ (y Y Stride x1 X x2) (+ (* 4.0 (+ (- x1 X) (- (- x2 x1) X))) (* (- y Y) (+ Stride Stride))))> #<alt (λ (y Y Stride x1 X x2) (+ (+ (+ (* (- y Y) Stride) (* (- x1 X) 4.0)) (* (- y Y) Stride)) (* (- (- x2 x1) X) 4.0)))>)
0.346 * * * * [regimes]: Trying to branch on x2 from (#<alt (λ (y Y Stride x1 X x2) (+ (* 4.0 (+ (- x1 X) (- (- x2 x1) X))) (* (- y Y) (+ Stride Stride))))> #<alt (λ (y Y Stride x1 X x2) (+ (+ (+ (* (- y Y) Stride) (* (- x1 X) 4.0)) (* (- y Y) Stride)) (* (- (- x2 x1) X) 4.0)))>)
0.407 * * * * [regimes]: Trying to branch on X from (#<alt (λ (y Y Stride x1 X x2) (+ (* 4.0 (+ (- x1 X) (- (- x2 x1) X))) (* (- y Y) (+ Stride Stride))))> #<alt (λ (y Y Stride x1 X x2) (+ (+ (+ (* (- y Y) Stride) (* (- x1 X) 4.0)) (* (- y Y) Stride)) (* (- (- x2 x1) X) 4.0)))>)
0.468 * * * * [regimes]: Trying to branch on x1 from (#<alt (λ (y Y Stride x1 X x2) (+ (* 4.0 (+ (- x1 X) (- (- x2 x1) X))) (* (- y Y) (+ Stride Stride))))> #<alt (λ (y Y Stride x1 X x2) (+ (+ (+ (* (- y Y) Stride) (* (- x1 X) 4.0)) (* (- y Y) Stride)) (* (- (- x2 x1) X) 4.0)))>)
0.530 * * * * [regimes]: Trying to branch on Stride from (#<alt (λ (y Y Stride x1 X x2) (+ (* 4.0 (+ (- x1 X) (- (- x2 x1) X))) (* (- y Y) (+ Stride Stride))))> #<alt (λ (y Y Stride x1 X x2) (+ (+ (+ (* (- y Y) Stride) (* (- x1 X) 4.0)) (* (- y Y) Stride)) (* (- (- x2 x1) X) 4.0)))>)
0.592 * * * * [regimes]: Trying to branch on Y from (#<alt (λ (y Y Stride x1 X x2) (+ (* 4.0 (+ (- x1 X) (- (- x2 x1) X))) (* (- y Y) (+ Stride Stride))))> #<alt (λ (y Y Stride x1 X x2) (+ (+ (+ (* (- y Y) Stride) (* (- x1 X) 4.0)) (* (- y Y) Stride)) (* (- (- x2 x1) X) 4.0)))>)
0.653 * * * * [regimes]: Trying to branch on y from (#<alt (λ (y Y Stride x1 X x2) (+ (* 4.0 (+ (- x1 X) (- (- x2 x1) X))) (* (- y Y) (+ Stride Stride))))> #<alt (λ (y Y Stride x1 X x2) (+ (+ (+ (* (- y Y) Stride) (* (- x1 X) 4.0)) (* (- y Y) Stride)) (* (- (- x2 x1) X) 4.0)))>)
0.716 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.716 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* 4.0 (+ (- x1 X) (- (- x2 x1) X))) (* (- y Y) (+ Stride Stride)))
0.716 * * [simplify]: iteration  0 :  20  enodes  (cost  9 )
0.717 * * [simplify]: iteration  1 :  20  enodes  (cost  9 )
0.717 * [simplify]: Simplified to:
   (+ (* 4.0 (+ (- x1 X) (- (- x2 x1) X))) (* (- y Y) (+ Stride Stride)))
2.627 * [regime-testing]: End program error score: 8.563253016741609