30.571 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.037 * * * [progress]: [2/2] Setting up program.
0.039 * [progress]: [Phase 2 of 3] Improving.
0.039 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* (* (* x x) x) (- 1.0 (* (* (* n n) n) n))) 720.0)
0.041 * * [simplify]: iteration  0 :  23  enodes  (cost  8 )
0.043 * * [simplify]: iteration  1 :  67  enodes  (cost  7 )
0.045 * * [simplify]: iteration  2 :  219  enodes  (cost  7 )
0.050 * * [simplify]: iteration  3 :  693  enodes  (cost  6 )
0.064 * * [simplify]: iteration  4 :  2567  enodes  (cost  6 )
0.119 * * [simplify]: iteration  5 :  5001  enodes  (cost  6 )
0.119 * [simplify]: Simplified to:
   (* (pow x 3) (- (/ 1.0 720.0) (/ (pow n 4) 720.0)))
0.126 * [progress]: [Phase 3 of 3] Extracting.
0.126 * * [regime]: Finding splitpoints for: (#<alt (λ (x n) (/ (* (* (* x x) x) (- 1.0 (* (* (* n n) n) n))) 720.0))> #<alt (λ (x n) (* (pow x 3) (- (/ 1.0 720.0) (/ (pow n 4) 720.0))))>)
0.127 * * * [regime-changes]: Trying 7 branch expressions: ((* (* (* n n) n) n) (- 1.0 (* (* (* n n) n) n)) (* (* x x) x) (* (* (* x x) x) (- 1.0 (* (* (* n n) n) n))) (/ (* (* (* x x) x) (- 1.0 (* (* (* n n) n) n))) 720.0) n x)
0.127 * * * * [regimes]: Trying to branch on (* (* (* n n) n) n) from (#<alt (λ (x n) (/ (* (* (* x x) x) (- 1.0 (* (* (* n n) n) n))) 720.0))> #<alt (λ (x n) (* (pow x 3) (- (/ 1.0 720.0) (/ (pow n 4) 720.0))))>)
0.169 * * * * [regimes]: Trying to branch on (- 1.0 (* (* (* n n) n) n)) from (#<alt (λ (x n) (/ (* (* (* x x) x) (- 1.0 (* (* (* n n) n) n))) 720.0))> #<alt (λ (x n) (* (pow x 3) (- (/ 1.0 720.0) (/ (pow n 4) 720.0))))>)
0.195 * * * * [regimes]: Trying to branch on (* (* x x) x) from (#<alt (λ (x n) (/ (* (* (* x x) x) (- 1.0 (* (* (* n n) n) n))) 720.0))> #<alt (λ (x n) (* (pow x 3) (- (/ 1.0 720.0) (/ (pow n 4) 720.0))))>)
0.224 * * * * [regimes]: Trying to branch on (* (* (* x x) x) (- 1.0 (* (* (* n n) n) n))) from (#<alt (λ (x n) (/ (* (* (* x x) x) (- 1.0 (* (* (* n n) n) n))) 720.0))> #<alt (λ (x n) (* (pow x 3) (- (/ 1.0 720.0) (/ (pow n 4) 720.0))))>)
0.256 * * * * [regimes]: Trying to branch on (/ (* (* (* x x) x) (- 1.0 (* (* (* n n) n) n))) 720.0) from (#<alt (λ (x n) (/ (* (* (* x x) x) (- 1.0 (* (* (* n n) n) n))) 720.0))> #<alt (λ (x n) (* (pow x 3) (- (/ 1.0 720.0) (/ (pow n 4) 720.0))))>)
0.288 * * * * [regimes]: Trying to branch on n from (#<alt (λ (x n) (/ (* (* (* x x) x) (- 1.0 (* (* (* n n) n) n))) 720.0))> #<alt (λ (x n) (* (pow x 3) (- (/ 1.0 720.0) (/ (pow n 4) 720.0))))>)
0.321 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x n) (/ (* (* (* x x) x) (- 1.0 (* (* (* n n) n) n))) 720.0))> #<alt (λ (x n) (* (pow x 3) (- (/ 1.0 720.0) (/ (pow n 4) 720.0))))>)
0.351 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.351 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* (* (* x x) x) (- 1.0 (* (* (* n n) n) n))) 720.0)
0.352 * * [simplify]: iteration  0 :  16  enodes  (cost  8 )
0.352 * * [simplify]: iteration  1 :  16  enodes  (cost  8 )
0.352 * [simplify]: Simplified to:
   (/ (* (* (* x x) x) (- 1.0 (* (* (* n n) n) n))) 720.0)
1.748 * [regime-testing]: End program error score: 13.235691698763862