20.293 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.056 * * * [progress]: [2/2] Setting up program.
0.060 * [progress]: [Phase 2 of 3] Improving.
0.061 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (+ (- 1.0 alphaD) (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD)))) (* 2.0 (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD)))))
0.063 * * [simplify]: iteration  0 :  38  enodes  (cost  20 )
0.065 * * [simplify]: iteration  1 :  97  enodes  (cost  20 )
0.067 * * [simplify]: iteration  2 :  223  enodes  (cost  20 )
0.071 * * [simplify]: iteration  3 :  438  enodes  (cost  20 )
0.080 * * [simplify]: iteration  4 :  802  enodes  (cost  13 )
0.089 * * [simplify]: iteration  5 :  1449  enodes  (cost  13 )
0.101 * * [simplify]: iteration  6 :  1816  enodes  (cost  13 )
0.117 * * [simplify]: iteration  7 :  2198  enodes  (cost  13 )
0.133 * * [simplify]: iteration  8 :  2771  enodes  (cost  12 )
0.150 * * [simplify]: iteration  9 :  2974  enodes  (cost  12 )
0.168 * * [simplify]: iteration  10 :  2974  enodes  (cost  12 )
0.169 * [simplify]: Simplified to:
   (/ (- 1 (/ (- alphaD 1.0) (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD))))) 2.0)
0.173 * [progress]: [Phase 3 of 3] Extracting.
0.173 * * [regime]: Finding splitpoints for: (#<alt (λ (alphaD Kp) (/ (- 1 (/ (- alphaD 1.0) (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD))))) 2.0))> #<alt (λ (alphaD Kp) (/ (+ (- 1.0 alphaD) (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD)))) (* 2.0 (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD))))))>)
0.174 * * * [regime-changes]: Trying 4 branch expressions: ((* 4.0 Kp) (/ (+ (- 1.0 alphaD) (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD)))) (* 2.0 (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD))))) Kp alphaD)
0.174 * * * * [regimes]: Trying to branch on (* 4.0 Kp) from (#<alt (λ (alphaD Kp) (/ (- 1 (/ (- alphaD 1.0) (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD))))) 2.0))> #<alt (λ (alphaD Kp) (/ (+ (- 1.0 alphaD) (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD)))) (* 2.0 (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD))))))>)
0.208 * * * * [regimes]: Trying to branch on (/ (+ (- 1.0 alphaD) (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD)))) (* 2.0 (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD))))) from (#<alt (λ (alphaD Kp) (/ (- 1 (/ (- alphaD 1.0) (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD))))) 2.0))> #<alt (λ (alphaD Kp) (/ (+ (- 1.0 alphaD) (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD)))) (* 2.0 (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD))))))>)
0.254 * * * * [regimes]: Trying to branch on Kp from (#<alt (λ (alphaD Kp) (/ (- 1 (/ (- alphaD 1.0) (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD))))) 2.0))> #<alt (λ (alphaD Kp) (/ (+ (- 1.0 alphaD) (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD)))) (* 2.0 (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD))))))>)
0.288 * * * * [regimes]: Trying to branch on alphaD from (#<alt (λ (alphaD Kp) (/ (- 1 (/ (- alphaD 1.0) (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD))))) 2.0))> #<alt (λ (alphaD Kp) (/ (+ (- 1.0 alphaD) (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD)))) (* 2.0 (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD))))))>)
0.324 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.324 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- 1 (/ (- alphaD 1.0) (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD))))) 2.0)
0.325 * * [simplify]: iteration  0 :  25  enodes  (cost  12 )
0.326 * * [simplify]: iteration  1 :  25  enodes  (cost  12 )
0.326 * [simplify]: Simplified to:
   (/ (- 1 (/ (- alphaD 1.0) (sqrt (+ (+ (- 1.0 (* 2.0 alphaD)) (* (* 4.0 Kp) alphaD)) (* alphaD alphaD))))) 2.0)
2.224 * [regime-testing]: End program error score: 18.62393591370713