33.904 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.048 * * * [progress]: [2/2] Setting up program.
0.054 * [progress]: [Phase 2 of 3] Improving.
0.054 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (neg (- (- az dz) (* (/ vz vx) (- ax dx)))) (- bz az))
0.056 * * [simplify]: iteration  0 :  32  enodes  (cost  8 )
0.058 * * [simplify]: iteration  1 :  81  enodes  (cost  8 )
0.061 * * [simplify]: iteration  2 :  232  enodes  (cost  8 )
0.065 * * [simplify]: iteration  3 :  852  enodes  (cost  7 )
0.080 * * [simplify]: iteration  4 :  3692  enodes  (cost  7 )
0.122 * * [simplify]: iteration  5 :  5001  enodes  (cost  6 )
0.123 * [simplify]: Simplified to:
   (+ (+ dz (- (* (/ vz vx) (- ax dx)) bz)) 0)
0.130 * [progress]: [Phase 3 of 3] Extracting.
0.130 * * [regime]: Finding splitpoints for: (#<alt (λ (az dz vz vx ax dx bz) (- (neg (- (- az dz) (* (/ vz vx) (- ax dx)))) (- bz az)))> #<alt (λ (az dz vz vx ax dx bz) (+ (+ dz (- (* (/ vz vx) (- ax dx)) bz)) 0))>)
0.130 * * * [regime-changes]: Trying 11 branch expressions: ((- ax dx) (/ vz vx) (* (/ vz vx) (- ax dx)) (- (neg (- (- az dz) (* (/ vz vx) (- ax dx)))) (- bz az)) bz dx ax vx vz dz az)
0.130 * * * * [regimes]: Trying to branch on (- ax dx) from (#<alt (λ (az dz vz vx ax dx bz) (- (neg (- (- az dz) (* (/ vz vx) (- ax dx)))) (- bz az)))> #<alt (λ (az dz vz vx ax dx bz) (+ (+ dz (- (* (/ vz vx) (- ax dx)) bz)) 0))>)
0.204 * * * * [regimes]: Trying to branch on (/ vz vx) from (#<alt (λ (az dz vz vx ax dx bz) (- (neg (- (- az dz) (* (/ vz vx) (- ax dx)))) (- bz az)))> #<alt (λ (az dz vz vx ax dx bz) (+ (+ dz (- (* (/ vz vx) (- ax dx)) bz)) 0))>)
0.274 * * * * [regimes]: Trying to branch on (* (/ vz vx) (- ax dx)) from (#<alt (λ (az dz vz vx ax dx bz) (- (neg (- (- az dz) (* (/ vz vx) (- ax dx)))) (- bz az)))> #<alt (λ (az dz vz vx ax dx bz) (+ (+ dz (- (* (/ vz vx) (- ax dx)) bz)) 0))>)
0.346 * * * * [regimes]: Trying to branch on (- (neg (- (- az dz) (* (/ vz vx) (- ax dx)))) (- bz az)) from (#<alt (λ (az dz vz vx ax dx bz) (- (neg (- (- az dz) (* (/ vz vx) (- ax dx)))) (- bz az)))> #<alt (λ (az dz vz vx ax dx bz) (+ (+ dz (- (* (/ vz vx) (- ax dx)) bz)) 0))>)
0.419 * * * * [regimes]: Trying to branch on bz from (#<alt (λ (az dz vz vx ax dx bz) (- (neg (- (- az dz) (* (/ vz vx) (- ax dx)))) (- bz az)))> #<alt (λ (az dz vz vx ax dx bz) (+ (+ dz (- (* (/ vz vx) (- ax dx)) bz)) 0))>)
0.492 * * * * [regimes]: Trying to branch on dx from (#<alt (λ (az dz vz vx ax dx bz) (- (neg (- (- az dz) (* (/ vz vx) (- ax dx)))) (- bz az)))> #<alt (λ (az dz vz vx ax dx bz) (+ (+ dz (- (* (/ vz vx) (- ax dx)) bz)) 0))>)
0.563 * * * * [regimes]: Trying to branch on ax from (#<alt (λ (az dz vz vx ax dx bz) (- (neg (- (- az dz) (* (/ vz vx) (- ax dx)))) (- bz az)))> #<alt (λ (az dz vz vx ax dx bz) (+ (+ dz (- (* (/ vz vx) (- ax dx)) bz)) 0))>)
0.637 * * * * [regimes]: Trying to branch on vx from (#<alt (λ (az dz vz vx ax dx bz) (- (neg (- (- az dz) (* (/ vz vx) (- ax dx)))) (- bz az)))> #<alt (λ (az dz vz vx ax dx bz) (+ (+ dz (- (* (/ vz vx) (- ax dx)) bz)) 0))>)
0.710 * * * * [regimes]: Trying to branch on vz from (#<alt (λ (az dz vz vx ax dx bz) (- (neg (- (- az dz) (* (/ vz vx) (- ax dx)))) (- bz az)))> #<alt (λ (az dz vz vx ax dx bz) (+ (+ dz (- (* (/ vz vx) (- ax dx)) bz)) 0))>)
0.784 * * * * [regimes]: Trying to branch on dz from (#<alt (λ (az dz vz vx ax dx bz) (- (neg (- (- az dz) (* (/ vz vx) (- ax dx)))) (- bz az)))> #<alt (λ (az dz vz vx ax dx bz) (+ (+ dz (- (* (/ vz vx) (- ax dx)) bz)) 0))>)
0.858 * * * * [regimes]: Trying to branch on az from (#<alt (λ (az dz vz vx ax dx bz) (- (neg (- (- az dz) (* (/ vz vx) (- ax dx)))) (- bz az)))> #<alt (λ (az dz vz vx ax dx bz) (+ (+ dz (- (* (/ vz vx) (- ax dx)) bz)) 0))>)
0.931 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
0.931 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ dz (- (* (/ vz vx) (- ax dx)) bz)) 0)
0.932 * * [simplify]: iteration  0 :  16  enodes  (cost  5 )
0.933 * * [simplify]: iteration  1 :  18  enodes  (cost  5 )
0.933 * * [simplify]: iteration  2 :  18  enodes  (cost  5 )
0.933 * [simplify]: Simplified to:
   (+ dz (- (* (/ vz vx) (- ax dx)) bz))
2.993 * [regime-testing]: End program error score: 1.6507422951263484