24.004 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.534 * * * [progress]: [2/2] Setting up program.
0.546 * [progress]: [Phase 2 of 3] Improving.
0.546 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (/ (- (+ (+ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y)) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))) (* c0 p)) (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p)))
0.549 * * [simplify]: iteration  0 :  264  enodes  (cost  109 )
0.555 * * [simplify]: iteration  1 :  1154  enodes  (cost  106 )
0.586 * * [simplify]: iteration  2 :  5001  enodes  (cost  106 )
0.587 * [simplify]: Simplified to:
   (+ (neg (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))) (/ (/ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (+ (* (+ (* Bh0 y) 1.0) (+ (* (* (* 2.0 Bh0) a1) (* p (* p (- (* (neg Bh1) l) Bh0)))) (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))))) (- (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))))) p) c0))
0.599 * [progress]: [Phase 3 of 3] Extracting.
0.600 * * [regime]: Finding splitpoints for: (#<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (- (/ (- (+ (+ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y)) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))) (* c0 p)) (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))))> #<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (+ (neg (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))) (/ (/ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (+ (* (+ (* Bh0 y) 1.0) (+ (* (* (* 2.0 Bh0) a1) (* p (* p (- (* (neg Bh1) l) Bh0)))) (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))))) (- (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))))) p) c0)))>)
0.649 * * * [regime-changes]: Trying 11 branch expressions: ((- (/ (- (+ (+ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y)) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))) (* c0 p)) (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))) c1 c0 a2 y Bh0 Bh1 p l Bh2 a1)
0.649 * * * * [regimes]: Trying to branch on (- (/ (- (+ (+ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y)) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))) (* c0 p)) (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))) from (#<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (- (/ (- (+ (+ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y)) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))) (* c0 p)) (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))))> #<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (+ (neg (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))) (/ (/ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (+ (* (+ (* Bh0 y) 1.0) (+ (* (* (* 2.0 Bh0) a1) (* p (* p (- (* (neg Bh1) l) Bh0)))) (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))))) (- (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))))) p) c0)))>)
0.777 * * * * [regimes]: Trying to branch on c1 from (#<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (- (/ (- (+ (+ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y)) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))) (* c0 p)) (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))))> #<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (+ (neg (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))) (/ (/ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (+ (* (+ (* Bh0 y) 1.0) (+ (* (* (* 2.0 Bh0) a1) (* p (* p (- (* (neg Bh1) l) Bh0)))) (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))))) (- (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))))) p) c0)))>)
0.882 * * * * [regimes]: Trying to branch on c0 from (#<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (- (/ (- (+ (+ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y)) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))) (* c0 p)) (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))))> #<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (+ (neg (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))) (/ (/ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (+ (* (+ (* Bh0 y) 1.0) (+ (* (* (* 2.0 Bh0) a1) (* p (* p (- (* (neg Bh1) l) Bh0)))) (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))))) (- (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))))) p) c0)))>)
0.986 * * * * [regimes]: Trying to branch on a2 from (#<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (- (/ (- (+ (+ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y)) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))) (* c0 p)) (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))))> #<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (+ (neg (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))) (/ (/ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (+ (* (+ (* Bh0 y) 1.0) (+ (* (* (* 2.0 Bh0) a1) (* p (* p (- (* (neg Bh1) l) Bh0)))) (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))))) (- (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))))) p) c0)))>)
1.091 * * * * [regimes]: Trying to branch on y from (#<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (- (/ (- (+ (+ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y)) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))) (* c0 p)) (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))))> #<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (+ (neg (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))) (/ (/ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (+ (* (+ (* Bh0 y) 1.0) (+ (* (* (* 2.0 Bh0) a1) (* p (* p (- (* (neg Bh1) l) Bh0)))) (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))))) (- (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))))) p) c0)))>)
1.199 * * * * [regimes]: Trying to branch on Bh0 from (#<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (- (/ (- (+ (+ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y)) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))) (* c0 p)) (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))))> #<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (+ (neg (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))) (/ (/ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (+ (* (+ (* Bh0 y) 1.0) (+ (* (* (* 2.0 Bh0) a1) (* p (* p (- (* (neg Bh1) l) Bh0)))) (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))))) (- (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))))) p) c0)))>)
1.305 * * * * [regimes]: Trying to branch on Bh1 from (#<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (- (/ (- (+ (+ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y)) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))) (* c0 p)) (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))))> #<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (+ (neg (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))) (/ (/ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (+ (* (+ (* Bh0 y) 1.0) (+ (* (* (* 2.0 Bh0) a1) (* p (* p (- (* (neg Bh1) l) Bh0)))) (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))))) (- (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))))) p) c0)))>)
1.409 * * * * [regimes]: Trying to branch on p from (#<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (- (/ (- (+ (+ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y)) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))) (* c0 p)) (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))))> #<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (+ (neg (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))) (/ (/ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (+ (* (+ (* Bh0 y) 1.0) (+ (* (* (* 2.0 Bh0) a1) (* p (* p (- (* (neg Bh1) l) Bh0)))) (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))))) (- (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))))) p) c0)))>)
1.513 * * * * [regimes]: Trying to branch on l from (#<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (- (/ (- (+ (+ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y)) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))) (* c0 p)) (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))))> #<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (+ (neg (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))) (/ (/ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (+ (* (+ (* Bh0 y) 1.0) (+ (* (* (* 2.0 Bh0) a1) (* p (* p (- (* (neg Bh1) l) Bh0)))) (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))))) (- (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))))) p) c0)))>)
1.617 * * * * [regimes]: Trying to branch on Bh2 from (#<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (- (/ (- (+ (+ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y)) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))) (* c0 p)) (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))))> #<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (+ (neg (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))) (/ (/ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (+ (* (+ (* Bh0 y) 1.0) (+ (* (* (* 2.0 Bh0) a1) (* p (* p (- (* (neg Bh1) l) Bh0)))) (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))))) (- (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))))) p) c0)))>)
1.723 * * * * [regimes]: Trying to branch on a1 from (#<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (- (/ (- (+ (+ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y)) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))) (* c0 p)) (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))))> #<alt (λ (a1 Bh2 l p Bh1 Bh0 y a2 c0 c1) (+ (neg (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p))) (/ (/ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (+ (* (+ (* Bh0 y) 1.0) (+ (* (* (* 2.0 Bh0) a1) (* p (* p (- (* (neg Bh1) l) Bh0)))) (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))))) (- (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))))) p) c0)))>)
1.830 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.831 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (/ (- (+ (+ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y)) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))) (* c0 p)) (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p)))
1.832 * * [simplify]: iteration  0 :  140  enodes  (cost  109 )
1.833 * * [simplify]: iteration  1 :  170  enodes  (cost  109 )
1.833 * * [simplify]: iteration  2 :  185  enodes  (cost  109 )
1.834 * * [simplify]: iteration  3 :  191  enodes  (cost  109 )
1.835 * * [simplify]: iteration  4 :  191  enodes  (cost  109 )
1.835 * [simplify]: Simplified to:
   (- (/ (- (+ (+ (+ (* (neg (pow a1 2.0)) (- (- (* (neg (- (* (* (neg Bh2) l) p) (* (* 2.0 Bh1) p))) (+ (* Bh0 y) 1.0)) (* (* (* 2.0 Bh1) (- (* (* (neg Bh1) l) p) (* Bh0 p))) y)) (* (* Bh2 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* 2.0 Bh1) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (* (* (* (* 2.0 Bh0) Bh1) a1) p) (- a1 (* (* Bh0 l) p))) y)) (* (* (* (* 2.0 Bh0) Bh1) a2) (pow p 2.0))) (* c0 p)) (/ (* c1 (- (+ (* (neg (pow a1 2.0)) (- (* (neg (- (* (* (neg Bh1) l) p) (* Bh0 p))) (+ (* Bh0 y) 1.0)) (* (* Bh1 (- a1 (* (* Bh0 l) p))) y))) (* (* (* (* (* 2.0 Bh0) a1) p) (- a1 (* (* Bh0 l) p))) (+ (* Bh0 y) 1.0))) (* (* (pow Bh0 2.0) a2) (pow p 2.0)))) (* (pow c0 2.0) p)))
17.797 * [regime-testing]: End program error score: 47.60686588900723