2.888 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.022 * * * [progress]: [2/2] Setting up program.
0.024 * [progress]: [Phase 2 of 3] Improving.
0.025 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- (+ (* (* (* 15.0 x) x) x) (* (* 2.1 x) x)) (* 3.56 x)) 2.0)
0.027 * * [simplify]: iteration  0 :  34  enodes  (cost  8 )
0.030 * * [simplify]: iteration  1 :  84  enodes  (cost  7 )
0.032 * * [simplify]: iteration  2 :  158  enodes  (cost  7 )
0.035 * * [simplify]: iteration  3 :  260  enodes  (cost  6 )
0.039 * * [simplify]: iteration  4 :  439  enodes  (cost  6 )
0.045 * * [simplify]: iteration  5 :  746  enodes  (cost  6 )
0.055 * * [simplify]: iteration  6 :  1259  enodes  (cost  6 )
0.076 * * [simplify]: iteration  7 :  2783  enodes  (cost  6 )
0.125 * * [simplify]: iteration  8 :  5001  enodes  (cost  6 )
0.125 * [simplify]: Simplified to:
   (+ (* x (- (* x (+ (* 15.0 x) 2.1)) 3.56)) 2.0)
0.128 * [progress]: [Phase 3 of 3] Extracting.
0.128 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ (- (+ (* (* (* 15.0 x) x) x) (* (* 2.1 x) x)) (* 3.56 x)) 2.0))> #<alt (λ (x) (+ (* x (- (* x (+ (* 15.0 x) 2.1)) 3.56)) 2.0))>)
0.128 * * * [regime-changes]: Trying 3 branch expressions: ((- (+ (* (* (* 15.0 x) x) x) (* (* 2.1 x) x)) (* 3.56 x)) (+ (- (+ (* (* (* 15.0 x) x) x) (* (* 2.1 x) x)) (* 3.56 x)) 2.0) x)
0.128 * * * * [regimes]: Trying to branch on (- (+ (* (* (* 15.0 x) x) x) (* (* 2.1 x) x)) (* 3.56 x)) from (#<alt (λ (x) (+ (- (+ (* (* (* 15.0 x) x) x) (* (* 2.1 x) x)) (* 3.56 x)) 2.0))> #<alt (λ (x) (+ (* x (- (* x (+ (* 15.0 x) 2.1)) 3.56)) 2.0))>)
0.156 * * * * [regimes]: Trying to branch on (+ (- (+ (* (* (* 15.0 x) x) x) (* (* 2.1 x) x)) (* 3.56 x)) 2.0) from (#<alt (λ (x) (+ (- (+ (* (* (* 15.0 x) x) x) (* (* 2.1 x) x)) (* 3.56 x)) 2.0))> #<alt (λ (x) (+ (* x (- (* x (+ (* 15.0 x) 2.1)) 3.56)) 2.0))>)
0.179 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ (- (+ (* (* (* 15.0 x) x) x) (* (* 2.1 x) x)) (* 3.56 x)) 2.0))> #<alt (λ (x) (+ (* x (- (* x (+ (* 15.0 x) 2.1)) 3.56)) 2.0))>)
0.204 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.204 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- (+ (* (* (* 15.0 x) x) x) (* (* 2.1 x) x)) (* 3.56 x)) 2.0)
0.205 * * [simplify]: iteration  0 :  22  enodes  (cost  9 )
0.205 * * [simplify]: iteration  1 :  22  enodes  (cost  9 )
0.205 * [simplify]: Simplified to:
   (+ (- (+ (* (* (* 15.0 x) x) x) (* (* 2.1 x) x)) (* 3.56 x)) 2.0)
1.108 * [regime-testing]: End program error score: 0.08597070883932607