9.980 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.122 * * * [progress]: [2/2] Setting up program.
0.128 * [progress]: [Phase 2 of 3] Improving.
0.128 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- (- (- (- (+ (- (* (* (* q q) q) f3) (* (* (* (* 3.0 q) q) f2) q1)) (* (* (* (* 6.0 q) f1) q1) q1)) (* (* (* (* 6.0 f) q1) q1) q1)) (* (* (* f q) q) q3)) (* (* (* 3.0 q) q) f1)) (* (* (* (* 2.0 f) q) q1) q2)) (* (* q q) (* q q)))
0.132 * * [simplify]: iteration  0 :  118  enodes  (cost  35 )
0.134 * * [simplify]: iteration  1 :  483  enodes  (cost  32 )
0.147 * * [simplify]: iteration  2 :  2962  enodes  (cost  32 )
0.217 * * [simplify]: iteration  3 :  5001  enodes  (cost  31 )
0.217 * [simplify]: Simplified to:
   (- (/ (* (* (* q q) q) f3) (pow q 4)) (/ (+ (* q1 (- (* (* (* 3.0 q) q) f2) (* (* q1 6.0) (- (* q f1) (* f q1))))) (+ (* (* (* f q) q) q3) (+ (* (* (* 3.0 q) q) f1) (* (* (* (* 2.0 f) q) q1) q2)))) (pow q 4)))
0.226 * [progress]: [Phase 3 of 3] Extracting.
0.226 * * [regime]: Finding splitpoints for: (#<alt (λ (q f3 f2 q1 f1 f q3 q2) (- (/ (* (* (* q q) q) f3) (pow q 4)) (/ (+ (* q1 (- (* (* (* 3.0 q) q) f2) (* (* q1 6.0) (- (* q f1) (* f q1))))) (+ (* (* (* f q) q) q3) (+ (* (* (* 3.0 q) q) f1) (* (* (* (* 2.0 f) q) q1) q2)))) (pow q 4))))> #<alt (λ (q f3 f2 q1 f1 f q3 q2) (/ (- (- (- (- (+ (- (* (* (* q q) q) f3) (* (* (* (* 3.0 q) q) f2) q1)) (* (* (* (* 6.0 q) f1) q1) q1)) (* (* (* (* 6.0 f) q1) q1) q1)) (* (* (* f q) q) q3)) (* (* (* 3.0 q) q) f1)) (* (* (* (* 2.0 f) q) q1) q2)) (* (* q q) (* q q))))>)
0.233 * * * [regime-changes]: Trying 9 branch expressions: ((/ (- (- (- (- (+ (- (* (* (* q q) q) f3) (* (* (* (* 3.0 q) q) f2) q1)) (* (* (* (* 6.0 q) f1) q1) q1)) (* (* (* (* 6.0 f) q1) q1) q1)) (* (* (* f q) q) q3)) (* (* (* 3.0 q) q) f1)) (* (* (* (* 2.0 f) q) q1) q2)) (* (* q q) (* q q))) q2 q3 f f1 q1 f2 f3 q)
0.233 * * * * [regimes]: Trying to branch on (/ (- (- (- (- (+ (- (* (* (* q q) q) f3) (* (* (* (* 3.0 q) q) f2) q1)) (* (* (* (* 6.0 q) f1) q1) q1)) (* (* (* (* 6.0 f) q1) q1) q1)) (* (* (* f q) q) q3)) (* (* (* 3.0 q) q) f1)) (* (* (* (* 2.0 f) q) q1) q2)) (* (* q q) (* q q))) from (#<alt (λ (q f3 f2 q1 f1 f q3 q2) (- (/ (* (* (* q q) q) f3) (pow q 4)) (/ (+ (* q1 (- (* (* (* 3.0 q) q) f2) (* (* q1 6.0) (- (* q f1) (* f q1))))) (+ (* (* (* f q) q) q3) (+ (* (* (* 3.0 q) q) f1) (* (* (* (* 2.0 f) q) q1) q2)))) (pow q 4))))> #<alt (λ (q f3 f2 q1 f1 f q3 q2) (/ (- (- (- (- (+ (- (* (* (* q q) q) f3) (* (* (* (* 3.0 q) q) f2) q1)) (* (* (* (* 6.0 q) f1) q1) q1)) (* (* (* (* 6.0 f) q1) q1) q1)) (* (* (* f q) q) q3)) (* (* (* 3.0 q) q) f1)) (* (* (* (* 2.0 f) q) q1) q2)) (* (* q q) (* q q))))>)
0.302 * * * * [regimes]: Trying to branch on q2 from (#<alt (λ (q f3 f2 q1 f1 f q3 q2) (- (/ (* (* (* q q) q) f3) (pow q 4)) (/ (+ (* q1 (- (* (* (* 3.0 q) q) f2) (* (* q1 6.0) (- (* q f1) (* f q1))))) (+ (* (* (* f q) q) q3) (+ (* (* (* 3.0 q) q) f1) (* (* (* (* 2.0 f) q) q1) q2)))) (pow q 4))))> #<alt (λ (q f3 f2 q1 f1 f q3 q2) (/ (- (- (- (- (+ (- (* (* (* q q) q) f3) (* (* (* (* 3.0 q) q) f2) q1)) (* (* (* (* 6.0 q) f1) q1) q1)) (* (* (* (* 6.0 f) q1) q1) q1)) (* (* (* f q) q) q3)) (* (* (* 3.0 q) q) f1)) (* (* (* (* 2.0 f) q) q1) q2)) (* (* q q) (* q q))))>)
0.382 * * * * [regimes]: Trying to branch on q3 from (#<alt (λ (q f3 f2 q1 f1 f q3 q2) (- (/ (* (* (* q q) q) f3) (pow q 4)) (/ (+ (* q1 (- (* (* (* 3.0 q) q) f2) (* (* q1 6.0) (- (* q f1) (* f q1))))) (+ (* (* (* f q) q) q3) (+ (* (* (* 3.0 q) q) f1) (* (* (* (* 2.0 f) q) q1) q2)))) (pow q 4))))> #<alt (λ (q f3 f2 q1 f1 f q3 q2) (/ (- (- (- (- (+ (- (* (* (* q q) q) f3) (* (* (* (* 3.0 q) q) f2) q1)) (* (* (* (* 6.0 q) f1) q1) q1)) (* (* (* (* 6.0 f) q1) q1) q1)) (* (* (* f q) q) q3)) (* (* (* 3.0 q) q) f1)) (* (* (* (* 2.0 f) q) q1) q2)) (* (* q q) (* q q))))>)
0.465 * * * * [regimes]: Trying to branch on f from (#<alt (λ (q f3 f2 q1 f1 f q3 q2) (- (/ (* (* (* q q) q) f3) (pow q 4)) (/ (+ (* q1 (- (* (* (* 3.0 q) q) f2) (* (* q1 6.0) (- (* q f1) (* f q1))))) (+ (* (* (* f q) q) q3) (+ (* (* (* 3.0 q) q) f1) (* (* (* (* 2.0 f) q) q1) q2)))) (pow q 4))))> #<alt (λ (q f3 f2 q1 f1 f q3 q2) (/ (- (- (- (- (+ (- (* (* (* q q) q) f3) (* (* (* (* 3.0 q) q) f2) q1)) (* (* (* (* 6.0 q) f1) q1) q1)) (* (* (* (* 6.0 f) q1) q1) q1)) (* (* (* f q) q) q3)) (* (* (* 3.0 q) q) f1)) (* (* (* (* 2.0 f) q) q1) q2)) (* (* q q) (* q q))))>)
0.546 * * * * [regimes]: Trying to branch on f1 from (#<alt (λ (q f3 f2 q1 f1 f q3 q2) (- (/ (* (* (* q q) q) f3) (pow q 4)) (/ (+ (* q1 (- (* (* (* 3.0 q) q) f2) (* (* q1 6.0) (- (* q f1) (* f q1))))) (+ (* (* (* f q) q) q3) (+ (* (* (* 3.0 q) q) f1) (* (* (* (* 2.0 f) q) q1) q2)))) (pow q 4))))> #<alt (λ (q f3 f2 q1 f1 f q3 q2) (/ (- (- (- (- (+ (- (* (* (* q q) q) f3) (* (* (* (* 3.0 q) q) f2) q1)) (* (* (* (* 6.0 q) f1) q1) q1)) (* (* (* (* 6.0 f) q1) q1) q1)) (* (* (* f q) q) q3)) (* (* (* 3.0 q) q) f1)) (* (* (* (* 2.0 f) q) q1) q2)) (* (* q q) (* q q))))>)
0.626 * * * * [regimes]: Trying to branch on q1 from (#<alt (λ (q f3 f2 q1 f1 f q3 q2) (- (/ (* (* (* q q) q) f3) (pow q 4)) (/ (+ (* q1 (- (* (* (* 3.0 q) q) f2) (* (* q1 6.0) (- (* q f1) (* f q1))))) (+ (* (* (* f q) q) q3) (+ (* (* (* 3.0 q) q) f1) (* (* (* (* 2.0 f) q) q1) q2)))) (pow q 4))))> #<alt (λ (q f3 f2 q1 f1 f q3 q2) (/ (- (- (- (- (+ (- (* (* (* q q) q) f3) (* (* (* (* 3.0 q) q) f2) q1)) (* (* (* (* 6.0 q) f1) q1) q1)) (* (* (* (* 6.0 f) q1) q1) q1)) (* (* (* f q) q) q3)) (* (* (* 3.0 q) q) f1)) (* (* (* (* 2.0 f) q) q1) q2)) (* (* q q) (* q q))))>)
0.707 * * * * [regimes]: Trying to branch on f2 from (#<alt (λ (q f3 f2 q1 f1 f q3 q2) (- (/ (* (* (* q q) q) f3) (pow q 4)) (/ (+ (* q1 (- (* (* (* 3.0 q) q) f2) (* (* q1 6.0) (- (* q f1) (* f q1))))) (+ (* (* (* f q) q) q3) (+ (* (* (* 3.0 q) q) f1) (* (* (* (* 2.0 f) q) q1) q2)))) (pow q 4))))> #<alt (λ (q f3 f2 q1 f1 f q3 q2) (/ (- (- (- (- (+ (- (* (* (* q q) q) f3) (* (* (* (* 3.0 q) q) f2) q1)) (* (* (* (* 6.0 q) f1) q1) q1)) (* (* (* (* 6.0 f) q1) q1) q1)) (* (* (* f q) q) q3)) (* (* (* 3.0 q) q) f1)) (* (* (* (* 2.0 f) q) q1) q2)) (* (* q q) (* q q))))>)
0.790 * * * * [regimes]: Trying to branch on f3 from (#<alt (λ (q f3 f2 q1 f1 f q3 q2) (- (/ (* (* (* q q) q) f3) (pow q 4)) (/ (+ (* q1 (- (* (* (* 3.0 q) q) f2) (* (* q1 6.0) (- (* q f1) (* f q1))))) (+ (* (* (* f q) q) q3) (+ (* (* (* 3.0 q) q) f1) (* (* (* (* 2.0 f) q) q1) q2)))) (pow q 4))))> #<alt (λ (q f3 f2 q1 f1 f q3 q2) (/ (- (- (- (- (+ (- (* (* (* q q) q) f3) (* (* (* (* 3.0 q) q) f2) q1)) (* (* (* (* 6.0 q) f1) q1) q1)) (* (* (* (* 6.0 f) q1) q1) q1)) (* (* (* f q) q) q3)) (* (* (* 3.0 q) q) f1)) (* (* (* (* 2.0 f) q) q1) q2)) (* (* q q) (* q q))))>)
0.872 * * * * [regimes]: Trying to branch on q from (#<alt (λ (q f3 f2 q1 f1 f q3 q2) (- (/ (* (* (* q q) q) f3) (pow q 4)) (/ (+ (* q1 (- (* (* (* 3.0 q) q) f2) (* (* q1 6.0) (- (* q f1) (* f q1))))) (+ (* (* (* f q) q) q3) (+ (* (* (* 3.0 q) q) f1) (* (* (* (* 2.0 f) q) q1) q2)))) (pow q 4))))> #<alt (λ (q f3 f2 q1 f1 f q3 q2) (/ (- (- (- (- (+ (- (* (* (* q q) q) f3) (* (* (* (* 3.0 q) q) f2) q1)) (* (* (* (* 6.0 q) f1) q1) q1)) (* (* (* (* 6.0 f) q1) q1) q1)) (* (* (* f q) q) q3)) (* (* (* 3.0 q) q) f1)) (* (* (* (* 2.0 f) q) q1) q2)) (* (* q q) (* q q))))>)
0.953 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.954 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (/ (* (* (* q q) q) f3) (pow q 4)) (/ (+ (* q1 (- (* (* (* 3.0 q) q) f2) (* (* q1 6.0) (- (* q f1) (* f q1))))) (+ (* (* (* f q) q) q3) (+ (* (* (* 3.0 q) q) f1) (* (* (* (* 2.0 f) q) q1) q2)))) (pow q 4)))
0.955 * * [simplify]: iteration  0 :  61  enodes  (cost  31 )
0.955 * * [simplify]: iteration  1 :  61  enodes  (cost  31 )
0.955 * [simplify]: Simplified to:
   (- (/ (* (* (* q q) q) f3) (pow q 4)) (/ (+ (* q1 (- (* (* (* 3.0 q) q) f2) (* (* q1 6.0) (- (* q f1) (* f q1))))) (+ (* (* (* f q) q) q3) (+ (* (* (* 3.0 q) q) f1) (* (* (* (* 2.0 f) q) q1) q2)))) (pow q 4)))
5.403 * [regime-testing]: End program error score: 53.65806770817903