8.038 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
2.447 * * * [progress]: [2/2] Setting up program.
2.472 * [progress]: [Phase 2 of 3] Improving.
2.473 * [simplify]: Simplifying:
  (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5) (+ (- (- 1.0 z) 1.0) 0.5))) (exp (- (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1.0 z) 1.0) 1.0))) (/ -1259.1392167224028 (+ (- (- 1.0 z) 1.0) 2.0))) (/ 771.3234287776531 (+ (- (- 1.0 z) 1.0) 3.0))) (/ -176.6150291621406 (+ (- (- 1.0 z) 1.0) 4.0))) (/ 12.507343278686905 (+ (- (- 1.0 z) 1.0) 5.0))) (/ -0.13857109526572012 (+ (- (- 1.0 z) 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- (- 1.0 z) 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- (- 1.0 z) 1.0) 8.0)))))
2.473 * * [simplify]: Extracting # 0 : cost  0
2.473 * * [simplify]: Extracting # 1 : cost  0
2.473 * * [simplify]: Extracting # 2 : cost  0
2.473 * * [simplify]: Extracting # 3 : cost  0
2.473 * * [simplify]: Extracting # 4 : cost  0
2.474 * * [simplify]: Extracting # 5 : cost  0
2.474 * * [simplify]: Extracting # 6 : cost  0
2.474 * * [simplify]: Extracting # 7 : cost  0
2.474 * * [simplify]: Extracting # 8 : cost  0
2.474 * * [simplify]: Extracting # 9 : cost  0
2.474 * * [simplify]: Extracting # 10 : cost  0
2.474 * * [simplify]: Extracting # 11 : cost  0
2.474 * * [simplify]: Extracting # 12 : cost  0
2.475 * * [simplify]: Extracting # 13 : cost  0
2.475 * * [simplify]: Extracting # 14 : cost  0
2.475 * * [simplify]: Extracting # 15 : cost  0
2.475 * * [simplify]: Extracting # 16 : cost  0
2.475 * * [simplify]: Extracting # 17 : cost  0
2.475 * * [simplify]: Extracting # 18 : cost  0
2.476 * * [simplify]: iteration  0 :  60  enodes  (cost  123 )
2.498 * * [simplify]: Extracting # 0 : cost  0
2.499 * * [simplify]: Extracting # 1 : cost  0
2.499 * * [simplify]: Extracting # 2 : cost  0
2.499 * * [simplify]: Extracting # 3 : cost  0
2.500 * * [simplify]: Extracting # 4 : cost  0
2.500 * * [simplify]: iteration  1 :  148  enodes  (cost  123 )
2.581 * * [simplify]: Extracting # 0 : cost  0
2.582 * * [simplify]: Extracting # 1 : cost  0
2.583 * * [simplify]: Extracting # 2 : cost  0
2.583 * * [simplify]: Extracting # 3 : cost  0
2.584 * * [simplify]: Extracting # 4 : cost  0
2.585 * * [simplify]: iteration  2 :  614  enodes  (cost  121 )
3.504 * * [simplify]: Extracting # 0 : cost  0
3.513 * * [simplify]: Extracting # 1 : cost  0
3.520 * * [simplify]: Extracting # 2 : cost  0
3.526 * * [simplify]: Extracting # 3 : cost  0
3.533 * * [simplify]: Extracting # 4 : cost  0
3.539 * * [simplify]: Extracting # 5 : cost  0
3.546 * * [simplify]: Extracting # 6 : cost  0
3.552 * * [simplify]: iteration  3 :  4612  enodes  (cost  88 )
4.914 * * [simplify]: Extracting # 0 : cost  0
4.928 * * [simplify]: Extracting # 1 : cost  0
4.940 * * [simplify]: iteration done:  5000  enodes  (cost  88 )
4.940 * [simplify]: Simplified to:
  (/ (* (* (+ (+ (+ (+ (+ (/ 771.3234287776531 (+ 3.0 (- z))) (/ -176.6150291621406 (+ (- z) 4.0))) (/ 12.507343278686905 (+ 5.0 (- z)))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (+ (- z) 2.0))))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z))))) (/ PI (sin (* PI z)))) (* (sqrt (* PI 2.0)) (pow (+ (+ 7.0 (- z)) 0.5) (+ 0.5 (- z))))) (exp (+ (+ 7.0 (- z)) 0.5)))
4.965 * * [progress]: iteration 1 / 4
4.965 * * * [progress]: picking best candidate
5.005 * * * * [pick]: Picked  #<alt (λ (z) (/ (* (* (+ (+ (+ (+ (+ (/ 771.3234287776531 (+ 3.0 (- z))) (/ -176.6150291621406 (+ (- z) 4.0))) (/ 12.507343278686905 (+ 5.0 (- z)))) (/ -0.13857109526572012 (+ 6.0 (- z)))) (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (+ (- z) 2.0))))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (/ 9.984369578019572e-06 (+ 7.0 (- z))))) (/ PI (sin (* PI z)))) (* (sqrt (* PI 2.0)) (pow (+ (+ 7.0 (- z)) 0.5) (+ 0.5 (- z))))) (exp (+ (+ 7.0 (- z)) 0.5))))>
5.005 * * * [progress]: localizing error