17.409 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.144 * * * [progress]: [2/2] Setting up program.
0.150 * [progress]: [Phase 2 of 3] Improving.
0.150 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- (+ (- (+ (* (* 27.0 (pow A 2.0)) (pow D 2.0)) (* (* 4.0 (pow B 3.0)) D)) (* (* (* (* 18.0 A) B) C) D)) (* (* 4.0 A) (pow C 3.0))) (* (pow B 2.0) (pow C 2.0))) (* 108.0 (pow A 4.0)))
0.152 * * [simplify]: iteration  0 :  93  enodes  (cost  24 )
0.154 * * [simplify]: iteration  1 :  313  enodes  (cost  23 )
0.161 * * [simplify]: iteration  2 :  1354  enodes  (cost  23 )
0.196 * * [simplify]: iteration  3 :  5001  enodes  (cost  23 )
0.197 * [simplify]: Simplified to:
   (/ (/ (+ (* (* 27.0 (pow A 2.0)) (pow D 2.0)) (+ (* D (- (* 4.0 (pow B 3.0)) (* (* (* 18.0 A) B) C))) (- (* (* 4.0 A) (pow C 3.0)) (* (pow B 2.0) (pow C 2.0))))) (pow A 4.0)) 108.0)
0.204 * [progress]: [Phase 3 of 3] Extracting.
0.204 * * [regime]: Finding splitpoints for: (#<alt (λ (A D B C) (/ (- (+ (- (+ (* (* 27.0 (pow A 2.0)) (pow D 2.0)) (* (* 4.0 (pow B 3.0)) D)) (* (* (* (* 18.0 A) B) C) D)) (* (* 4.0 A) (pow C 3.0))) (* (pow B 2.0) (pow C 2.0))) (* 108.0 (pow A 4.0))))> #<alt (λ (A D B C) (/ (/ (+ (* (* 27.0 (pow A 2.0)) (pow D 2.0)) (+ (* D (- (* 4.0 (pow B 3.0)) (* (* (* 18.0 A) B) C))) (- (* (* 4.0 A) (pow C 3.0)) (* (pow B 2.0) (pow C 2.0))))) (pow A 4.0)) 108.0))>)
0.207 * * * [regime-changes]: Trying 5 branch expressions: ((/ (- (+ (- (+ (* (* 27.0 (pow A 2.0)) (pow D 2.0)) (* (* 4.0 (pow B 3.0)) D)) (* (* (* (* 18.0 A) B) C) D)) (* (* 4.0 A) (pow C 3.0))) (* (pow B 2.0) (pow C 2.0))) (* 108.0 (pow A 4.0))) C B D A)
0.207 * * * * [regimes]: Trying to branch on (/ (- (+ (- (+ (* (* 27.0 (pow A 2.0)) (pow D 2.0)) (* (* 4.0 (pow B 3.0)) D)) (* (* (* (* 18.0 A) B) C) D)) (* (* 4.0 A) (pow C 3.0))) (* (pow B 2.0) (pow C 2.0))) (* 108.0 (pow A 4.0))) from (#<alt (λ (A D B C) (/ (- (+ (- (+ (* (* 27.0 (pow A 2.0)) (pow D 2.0)) (* (* 4.0 (pow B 3.0)) D)) (* (* (* (* 18.0 A) B) C) D)) (* (* 4.0 A) (pow C 3.0))) (* (pow B 2.0) (pow C 2.0))) (* 108.0 (pow A 4.0))))> #<alt (λ (A D B C) (/ (/ (+ (* (* 27.0 (pow A 2.0)) (pow D 2.0)) (+ (* D (- (* 4.0 (pow B 3.0)) (* (* (* 18.0 A) B) C))) (- (* (* 4.0 A) (pow C 3.0)) (* (pow B 2.0) (pow C 2.0))))) (pow A 4.0)) 108.0))>)
0.270 * * * * [regimes]: Trying to branch on C from (#<alt (λ (A D B C) (/ (- (+ (- (+ (* (* 27.0 (pow A 2.0)) (pow D 2.0)) (* (* 4.0 (pow B 3.0)) D)) (* (* (* (* 18.0 A) B) C) D)) (* (* 4.0 A) (pow C 3.0))) (* (pow B 2.0) (pow C 2.0))) (* 108.0 (pow A 4.0))))> #<alt (λ (A D B C) (/ (/ (+ (* (* 27.0 (pow A 2.0)) (pow D 2.0)) (+ (* D (- (* 4.0 (pow B 3.0)) (* (* (* 18.0 A) B) C))) (- (* (* 4.0 A) (pow C 3.0)) (* (pow B 2.0) (pow C 2.0))))) (pow A 4.0)) 108.0))>)
0.320 * * * * [regimes]: Trying to branch on B from (#<alt (λ (A D B C) (/ (- (+ (- (+ (* (* 27.0 (pow A 2.0)) (pow D 2.0)) (* (* 4.0 (pow B 3.0)) D)) (* (* (* (* 18.0 A) B) C) D)) (* (* 4.0 A) (pow C 3.0))) (* (pow B 2.0) (pow C 2.0))) (* 108.0 (pow A 4.0))))> #<alt (λ (A D B C) (/ (/ (+ (* (* 27.0 (pow A 2.0)) (pow D 2.0)) (+ (* D (- (* 4.0 (pow B 3.0)) (* (* (* 18.0 A) B) C))) (- (* (* 4.0 A) (pow C 3.0)) (* (pow B 2.0) (pow C 2.0))))) (pow A 4.0)) 108.0))>)
0.370 * * * * [regimes]: Trying to branch on D from (#<alt (λ (A D B C) (/ (- (+ (- (+ (* (* 27.0 (pow A 2.0)) (pow D 2.0)) (* (* 4.0 (pow B 3.0)) D)) (* (* (* (* 18.0 A) B) C) D)) (* (* 4.0 A) (pow C 3.0))) (* (pow B 2.0) (pow C 2.0))) (* 108.0 (pow A 4.0))))> #<alt (λ (A D B C) (/ (/ (+ (* (* 27.0 (pow A 2.0)) (pow D 2.0)) (+ (* D (- (* 4.0 (pow B 3.0)) (* (* (* 18.0 A) B) C))) (- (* (* 4.0 A) (pow C 3.0)) (* (pow B 2.0) (pow C 2.0))))) (pow A 4.0)) 108.0))>)
0.419 * * * * [regimes]: Trying to branch on A from (#<alt (λ (A D B C) (/ (- (+ (- (+ (* (* 27.0 (pow A 2.0)) (pow D 2.0)) (* (* 4.0 (pow B 3.0)) D)) (* (* (* (* 18.0 A) B) C) D)) (* (* 4.0 A) (pow C 3.0))) (* (pow B 2.0) (pow C 2.0))) (* 108.0 (pow A 4.0))))> #<alt (λ (A D B C) (/ (/ (+ (* (* 27.0 (pow A 2.0)) (pow D 2.0)) (+ (* D (- (* 4.0 (pow B 3.0)) (* (* (* 18.0 A) B) C))) (- (* (* 4.0 A) (pow C 3.0)) (* (pow B 2.0) (pow C 2.0))))) (pow A 4.0)) 108.0))>)
0.469 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.469 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- (+ (- (+ (* (* 27.0 (pow A 2.0)) (pow D 2.0)) (* (* 4.0 (pow B 3.0)) D)) (* (* (* (* 18.0 A) B) C) D)) (* (* 4.0 A) (pow C 3.0))) (* (pow B 2.0) (pow C 2.0))) (* 108.0 (pow A 4.0)))
0.470 * * [simplify]: iteration  0 :  48  enodes  (cost  24 )
0.470 * * [simplify]: iteration  1 :  48  enodes  (cost  24 )
0.470 * [simplify]: Simplified to:
   (/ (- (+ (- (+ (* (* 27.0 (pow A 2.0)) (pow D 2.0)) (* (* 4.0 (pow B 3.0)) D)) (* (* (* (* 18.0 A) B) C) D)) (* (* 4.0 A) (pow C 3.0))) (* (pow B 2.0) (pow C 2.0))) (* 108.0 (pow A 4.0)))
5.292 * [regime-testing]: End program error score: 51.95290592024597