70.828 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.224 * * * [progress]: [2/2] Setting up program.
0.230 * [progress]: [Phase 2 of 3] Improving.
0.230 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- (- (- (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (* (* x3 x6) (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6))) (* (* x2 x3) x4)) (* (* x1 x3) x5)) (* (* x1 x2) x6)) (* (* x4 x5) x6))
0.232 * * [simplify]: iteration  0 :  142  enodes  (cost  36 )
0.236 * * [simplify]: iteration  1 :  597  enodes  (cost  35 )
0.249 * * [simplify]: iteration  2 :  3766  enodes  (cost  34 )
0.318 * * [simplify]: iteration  3 :  5001  enodes  (cost  34 )
0.319 * [simplify]: Simplified to:
   (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (- (* x3 (- (* x6 (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6)) (* x2 x4))) (+ (* (* x1 x3) x5) (* x6 (+ (* x1 x2) (* x4 x5))))))
0.330 * [progress]: [Phase 3 of 3] Extracting.
0.331 * * [regime]: Finding splitpoints for: (#<alt (λ (x1 x4 x2 x3 x5 x6) (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (- (* x3 (- (* x6 (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6)) (* x2 x4))) (+ (* (* x1 x3) x5) (* x6 (+ (* x1 x2) (* x4 x5)))))))> #<alt (λ (x1 x4 x2 x3 x5 x6) (- (- (- (- (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (* (* x3 x6) (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6))) (* (* x2 x3) x4)) (* (* x1 x3) x5)) (* (* x1 x2) x6)) (* (* x4 x5) x6)))>)
0.347 * * * [regime-changes]: Trying 7 branch expressions: ((- (- (- (- (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (* (* x3 x6) (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6))) (* (* x2 x3) x4)) (* (* x1 x3) x5)) (* (* x1 x2) x6)) (* (* x4 x5) x6)) x6 x5 x3 x2 x4 x1)
0.347 * * * * [regimes]: Trying to branch on (- (- (- (- (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (* (* x3 x6) (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6))) (* (* x2 x3) x4)) (* (* x1 x3) x5)) (* (* x1 x2) x6)) (* (* x4 x5) x6)) from (#<alt (λ (x1 x4 x2 x3 x5 x6) (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (- (* x3 (- (* x6 (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6)) (* x2 x4))) (+ (* (* x1 x3) x5) (* x6 (+ (* x1 x2) (* x4 x5)))))))> #<alt (λ (x1 x4 x2 x3 x5 x6) (- (- (- (- (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (* (* x3 x6) (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6))) (* (* x2 x3) x4)) (* (* x1 x3) x5)) (* (* x1 x2) x6)) (* (* x4 x5) x6)))>)
0.434 * * * * [regimes]: Trying to branch on x6 from (#<alt (λ (x1 x4 x2 x3 x5 x6) (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (- (* x3 (- (* x6 (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6)) (* x2 x4))) (+ (* (* x1 x3) x5) (* x6 (+ (* x1 x2) (* x4 x5)))))))> #<alt (λ (x1 x4 x2 x3 x5 x6) (- (- (- (- (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (* (* x3 x6) (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6))) (* (* x2 x3) x4)) (* (* x1 x3) x5)) (* (* x1 x2) x6)) (* (* x4 x5) x6)))>)
0.499 * * * * [regimes]: Trying to branch on x5 from (#<alt (λ (x1 x4 x2 x3 x5 x6) (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (- (* x3 (- (* x6 (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6)) (* x2 x4))) (+ (* (* x1 x3) x5) (* x6 (+ (* x1 x2) (* x4 x5)))))))> #<alt (λ (x1 x4 x2 x3 x5 x6) (- (- (- (- (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (* (* x3 x6) (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6))) (* (* x2 x3) x4)) (* (* x1 x3) x5)) (* (* x1 x2) x6)) (* (* x4 x5) x6)))>)
0.562 * * * * [regimes]: Trying to branch on x3 from (#<alt (λ (x1 x4 x2 x3 x5 x6) (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (- (* x3 (- (* x6 (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6)) (* x2 x4))) (+ (* (* x1 x3) x5) (* x6 (+ (* x1 x2) (* x4 x5)))))))> #<alt (λ (x1 x4 x2 x3 x5 x6) (- (- (- (- (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (* (* x3 x6) (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6))) (* (* x2 x3) x4)) (* (* x1 x3) x5)) (* (* x1 x2) x6)) (* (* x4 x5) x6)))>)
0.628 * * * * [regimes]: Trying to branch on x2 from (#<alt (λ (x1 x4 x2 x3 x5 x6) (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (- (* x3 (- (* x6 (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6)) (* x2 x4))) (+ (* (* x1 x3) x5) (* x6 (+ (* x1 x2) (* x4 x5)))))))> #<alt (λ (x1 x4 x2 x3 x5 x6) (- (- (- (- (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (* (* x3 x6) (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6))) (* (* x2 x3) x4)) (* (* x1 x3) x5)) (* (* x1 x2) x6)) (* (* x4 x5) x6)))>)
0.692 * * * * [regimes]: Trying to branch on x4 from (#<alt (λ (x1 x4 x2 x3 x5 x6) (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (- (* x3 (- (* x6 (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6)) (* x2 x4))) (+ (* (* x1 x3) x5) (* x6 (+ (* x1 x2) (* x4 x5)))))))> #<alt (λ (x1 x4 x2 x3 x5 x6) (- (- (- (- (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (* (* x3 x6) (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6))) (* (* x2 x3) x4)) (* (* x1 x3) x5)) (* (* x1 x2) x6)) (* (* x4 x5) x6)))>)
0.755 * * * * [regimes]: Trying to branch on x1 from (#<alt (λ (x1 x4 x2 x3 x5 x6) (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (- (* x3 (- (* x6 (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6)) (* x2 x4))) (+ (* (* x1 x3) x5) (* x6 (+ (* x1 x2) (* x4 x5)))))))> #<alt (λ (x1 x4 x2 x3 x5 x6) (- (- (- (- (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (* (* x3 x6) (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6))) (* (* x2 x3) x4)) (* (* x1 x3) x5)) (* (* x1 x2) x6)) (* (* x4 x5) x6)))>)
0.819 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
0.819 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- (- (- (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (* (* x3 x6) (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6))) (* (* x2 x3) x4)) (* (* x1 x3) x5)) (* (* x1 x2) x6)) (* (* x4 x5) x6))
0.820 * * [simplify]: iteration  0 :  68  enodes  (cost  36 )
0.820 * * [simplify]: iteration  1 :  68  enodes  (cost  36 )
0.820 * [simplify]: Simplified to:
   (- (- (- (- (+ (+ (* (* x1 x4) (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* (* x2 x5) (+ (- (+ (+ (- x1 x2) x3) x4) x5) x6))) (* (* x3 x6) (- (+ (+ (- (+ x1 x2) x3) x4) x5) x6))) (* (* x2 x3) x4)) (* (* x1 x3) x5)) (* (* x1 x2) x6)) (* (* x4 x5) x6))
8.487 * [regime-testing]: End program error score: 2.5132596412707686