1.128 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
1.115 * * * [progress]: [2/2] Setting up program.
1.125 * [progress]: [Phase 2 of 3] Improving.
1.126 * [simplify]: Simplifying:
  (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- z 1.0) 1.0))) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
1.126 * * [simplify]: Extracting # 0 : cost  0
1.126 * * [simplify]: Extracting # 1 : cost  0
1.126 * * [simplify]: Extracting # 2 : cost  0
1.126 * * [simplify]: Extracting # 3 : cost  0
1.126 * * [simplify]: Extracting # 4 : cost  0
1.126 * * [simplify]: Extracting # 5 : cost  0
1.126 * * [simplify]: Extracting # 6 : cost  0
1.126 * * [simplify]: Extracting # 7 : cost  0
1.126 * * [simplify]: Extracting # 8 : cost  0
1.126 * * [simplify]: Extracting # 9 : cost  0
1.127 * * [simplify]: Extracting # 10 : cost  0
1.127 * * [simplify]: Extracting # 11 : cost  0
1.127 * * [simplify]: Extracting # 12 : cost  0
1.127 * * [simplify]: Extracting # 13 : cost  0
1.127 * * [simplify]: Extracting # 14 : cost  0
1.127 * * [simplify]: Extracting # 15 : cost  0
1.127 * * [simplify]: Extracting # 16 : cost  0
1.127 * * [simplify]: iteration  0 :  55  enodes  (cost  94 )
1.146 * * [simplify]: Extracting # 0 : cost  0
1.147 * * [simplify]: Extracting # 1 : cost  0
1.147 * * [simplify]: Extracting # 2 : cost  0
1.147 * * [simplify]: Extracting # 3 : cost  0
1.147 * * [simplify]: Extracting # 4 : cost  0
1.148 * * [simplify]: Extracting # 5 : cost  0
1.148 * * [simplify]: Extracting # 6 : cost  0
1.148 * * [simplify]: iteration  1 :  133  enodes  (cost  94 )
1.673 * * [simplify]: Extracting # 0 : cost  0
1.674 * * [simplify]: Extracting # 1 : cost  0
1.675 * * [simplify]: Extracting # 2 : cost  0
1.676 * * [simplify]: Extracting # 3 : cost  0
1.677 * * [simplify]: Extracting # 4 : cost  0
1.678 * * [simplify]: Extracting # 5 : cost  0
1.679 * * [simplify]: iteration  2 :  447  enodes  (cost  92 )
2.059 * * [simplify]: Extracting # 0 : cost  0
2.065 * * [simplify]: Extracting # 1 : cost  0
2.071 * * [simplify]: Extracting # 2 : cost  0
2.077 * * [simplify]: Extracting # 3 : cost  0
2.083 * * [simplify]: Extracting # 4 : cost  0
2.090 * * [simplify]: iteration  3 :  2474  enodes  (cost  89 )
3.381 * * [simplify]: Extracting # 0 : cost  0
3.388 * * [simplify]: Extracting # 1 : cost  0
3.394 * * [simplify]: Extracting # 2 : cost  0
3.400 * * [simplify]: Extracting # 3 : cost  0
3.406 * * [simplify]: Extracting # 4 : cost  0
3.422 * * [simplify]: iteration done:  5002  enodes  (cost  89 )
3.422 * [simplify]: Simplified to:
  (* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))))
3.447 * * [progress]: iteration 1 / 4
3.447 * * * [progress]: picking best candidate
3.487 * * * * [pick]: Picked  #<alt (λ (z) (* (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ 676.5203681218851 z) 0.9999999999998099) (/ -1259.1392167224028 (+ (- z 1.0) 2.0)))) (+ (/ 771.3234287776531 (+ (- z 1.0) 3.0)) (+ (+ (/ 12.507343278686905 (+ (- z 1.0) 5.0)) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))))))>
3.487 * * * [progress]: localizing error
3.616 * * * [progress]: generating rewritten candidates
3.616 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
3.623 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
4.687 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
5.681 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
72.892 * * * [progress]: generating series expansions
72.892 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
72.892 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
72.894 * [backup-simplify]: Simplify (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)) (sqrt (* PI 2.0))) into (* (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (sqrt PI))
72.894 * [approximate]: Taking taylor expansion of (* (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (sqrt PI)) in (z) around 0
72.894 * [taylor]: Taking taylor expansion of (* (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (sqrt PI)) in z
72.894 * [taylor]: Taking taylor expansion of (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) in z
72.894 * [taylor]: Taking taylor expansion of (pow (+ z 6.5) (- z 0.5)) in z
72.894 * [taylor]: Taking taylor expansion of (exp (* (- z 0.5) (log (+ z 6.5)))) in z
72.894 * [taylor]: Taking taylor expansion of (* (- z 0.5) (log (+ z 6.5))) in z
72.894 * [taylor]: Taking taylor expansion of (- z 0.5) in z
72.894 * [taylor]: Taking taylor expansion of z in z
72.894 * [backup-simplify]: Simplify 0 into 0
72.894 * [backup-simplify]: Simplify 1 into 1
72.894 * [taylor]: Taking taylor expansion of 0.5 in z
72.894 * [backup-simplify]: Simplify 0.5 into 0.5
72.894 * [taylor]: Taking taylor expansion of (log (+ z 6.5)) in z
72.894 * [taylor]: Taking taylor expansion of (+ z 6.5) in z
72.894 * [taylor]: Taking taylor expansion of z in z
72.894 * [backup-simplify]: Simplify 0 into 0
72.894 * [backup-simplify]: Simplify 1 into 1
72.894 * [taylor]: Taking taylor expansion of 6.5 in z
72.894 * [backup-simplify]: Simplify 6.5 into 6.5
72.894 * [backup-simplify]: Simplify (+ 0 6.5) into 6.5
72.895 * [backup-simplify]: Simplify (log 6.5) into (log 6.5)
72.895 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
72.895 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
72.896 * [backup-simplify]: Simplify (* (- 0.5) (log 6.5)) into (* -0.5 (log 6.5))
72.897 * [backup-simplify]: Simplify (exp (* -0.5 (log 6.5))) into (pow 6.5 -0.5)
72.897 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
72.897 * [taylor]: Taking taylor expansion of 2.0 in z
72.897 * [backup-simplify]: Simplify 2.0 into 2.0
72.898 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
72.898 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
72.898 * [taylor]: Taking taylor expansion of (sqrt PI) in z
72.898 * [taylor]: Taking taylor expansion of PI in z
72.898 * [backup-simplify]: Simplify PI into PI
72.898 * [backup-simplify]: Simplify (sqrt PI) into (sqrt PI)
72.899 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt PI))) into 0
72.899 * [taylor]: Taking taylor expansion of (* (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (sqrt PI)) in z
72.899 * [taylor]: Taking taylor expansion of (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) in z
72.899 * [taylor]: Taking taylor expansion of (pow (+ z 6.5) (- z 0.5)) in z
72.899 * [taylor]: Taking taylor expansion of (exp (* (- z 0.5) (log (+ z 6.5)))) in z
72.899 * [taylor]: Taking taylor expansion of (* (- z 0.5) (log (+ z 6.5))) in z
72.899 * [taylor]: Taking taylor expansion of (- z 0.5) in z
72.899 * [taylor]: Taking taylor expansion of z in z
72.899 * [backup-simplify]: Simplify 0 into 0
72.899 * [backup-simplify]: Simplify 1 into 1
72.899 * [taylor]: Taking taylor expansion of 0.5 in z
72.899 * [backup-simplify]: Simplify 0.5 into 0.5
72.899 * [taylor]: Taking taylor expansion of (log (+ z 6.5)) in z
72.899 * [taylor]: Taking taylor expansion of (+ z 6.5) in z
72.899 * [taylor]: Taking taylor expansion of z in z
72.899 * [backup-simplify]: Simplify 0 into 0
72.899 * [backup-simplify]: Simplify 1 into 1
72.899 * [taylor]: Taking taylor expansion of 6.5 in z
72.899 * [backup-simplify]: Simplify 6.5 into 6.5
72.899 * [backup-simplify]: Simplify (+ 0 6.5) into 6.5
72.900 * [backup-simplify]: Simplify (log 6.5) into (log 6.5)
72.900 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
72.901 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
72.901 * [backup-simplify]: Simplify (* (- 0.5) (log 6.5)) into (* -0.5 (log 6.5))
72.902 * [backup-simplify]: Simplify (exp (* -0.5 (log 6.5))) into (pow 6.5 -0.5)
72.902 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
72.902 * [taylor]: Taking taylor expansion of 2.0 in z
72.902 * [backup-simplify]: Simplify 2.0 into 2.0
72.903 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
72.903 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
72.903 * [taylor]: Taking taylor expansion of (sqrt PI) in z
72.903 * [taylor]: Taking taylor expansion of PI in z
72.903 * [backup-simplify]: Simplify PI into PI
72.903 * [backup-simplify]: Simplify (sqrt PI) into (sqrt PI)
72.904 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt PI))) into 0
72.905 * [backup-simplify]: Simplify (* (pow 6.5 -0.5) (sqrt 2.0)) into (* (sqrt 2.0) (pow (/ 1 (pow 6.5 1.0)) 0.5))
72.908 * [backup-simplify]: Simplify (* (* (sqrt 2.0) (pow (/ 1 (pow 6.5 1.0)) 0.5)) (sqrt PI)) into (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))
72.911 * [backup-simplify]: Simplify (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))) into (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))
72.912 * [backup-simplify]: Simplify (+ 1 0) into 1
72.915 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 6.5 1)))) 1) into 0.15384615384615385
72.915 * [backup-simplify]: Simplify (- 0) into 0
72.915 * [backup-simplify]: Simplify (+ 1 0) into 1
72.917 * [backup-simplify]: Simplify (+ (* (- 0.5) 0.15384615384615385) (* 1 (log 6.5))) into (- (log 6.5) 0.07692307692307693)
72.921 * [backup-simplify]: Simplify (* (exp (* -0.5 (log 6.5))) (+ (* (/ (pow (- (log 6.5) 0.07692307692307693) 1) 1)))) into (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (- (log 6.5) 0.07692307692307693))
72.927 * [backup-simplify]: Simplify (+ (* (pow 6.5 -0.5) 0) (* (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (- (log 6.5) 0.07692307692307693)) (sqrt 2.0))) into (- (* (* (log 6.5) (sqrt 2.0)) (pow (/ 1 (pow 6.5 1.0)) 0.5)) (* 0.07692307692307693 (* (sqrt 2.0) (pow (/ 1 (pow 6.5 1.0)) 0.5))))
72.939 * [backup-simplify]: Simplify (+ (* (* (sqrt 2.0) (pow (/ 1 (pow 6.5 1.0)) 0.5)) 0) (* (- (* (* (log 6.5) (sqrt 2.0)) (pow (/ 1 (pow 6.5 1.0)) 0.5)) (* 0.07692307692307693 (* (sqrt 2.0) (pow (/ 1 (pow 6.5 1.0)) 0.5)))) (sqrt PI))) into (- (* (* (log 6.5) (sqrt 2.0)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))) (* 0.07692307692307693 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))))
72.948 * [backup-simplify]: Simplify (- (* (* (log 6.5) (sqrt 2.0)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))) (* 0.07692307692307693 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))))) into (- (* (* (log 6.5) (sqrt 2.0)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))) (* 0.07692307692307693 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))))
72.949 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt PI))) into 0
72.950 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0
72.951 * [backup-simplify]: Simplify (+ 0 0) into 0
72.957 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 6.5 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 6.5 1)))) 2) into (/ -1/2 (pow 6.5 2))
72.957 * [backup-simplify]: Simplify (- 0) into 0
72.957 * [backup-simplify]: Simplify (+ 0 0) into 0
72.966 * [backup-simplify]: Simplify (+ (* (- 0.5) (/ -1/2 (pow 6.5 2))) (+ (* 1 0.15384615384615385) (* 0 (log 6.5)))) into (+ 0.15384615384615385 (* 0.25 (/ 1 (pow 6.5 2))))
72.976 * [backup-simplify]: Simplify (* (exp (* -0.5 (log 6.5))) (+ (* (/ (pow (- (log 6.5) 0.07692307692307693) 2) 2)) (* (/ (pow (+ 0.15384615384615385 (* 0.25 (/ 1 (pow 6.5 2)))) 1) 1)))) into (* (- (+ 0.15680473372781065 (+ (* 0.25 (/ 1 (pow 6.5 2))) (* 1/2 (pow (log 6.5) 2)))) (* 0.07692307692307693 (log 6.5))) (pow (/ 1 (pow 6.5 1.0)) 0.5))
72.997 * [backup-simplify]: Simplify (+ (* (pow 6.5 -0.5) 0) (+ (* (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (- (log 6.5) 0.07692307692307693)) 0) (* (* (- (+ 0.15680473372781065 (+ (* 0.25 (/ 1 (pow 6.5 2))) (* 1/2 (pow (log 6.5) 2)))) (* 0.07692307692307693 (log 6.5))) (pow (/ 1 (pow 6.5 1.0)) 0.5)) (sqrt 2.0)))) into (- (+ (* 0.15680473372781065 (* (sqrt 2.0) (pow (/ 1 (pow 6.5 1.0)) 0.5))) (+ (* 0.25 (* (sqrt 2.0) (pow (/ 1 (pow 6.5 5.0)) 0.5))) (* 1/2 (* (* (pow (log 6.5) 2) (sqrt 2.0)) (pow (/ 1 (pow 6.5 1.0)) 0.5))))) (* 0.07692307692307693 (* (* (log 6.5) (sqrt 2.0)) (pow (/ 1 (pow 6.5 1.0)) 0.5))))
73.038 * [backup-simplify]: Simplify (+ (* (* (sqrt 2.0) (pow (/ 1 (pow 6.5 1.0)) 0.5)) 0) (+ (* (- (* (* (log 6.5) (sqrt 2.0)) (pow (/ 1 (pow 6.5 1.0)) 0.5)) (* 0.07692307692307693 (* (sqrt 2.0) (pow (/ 1 (pow 6.5 1.0)) 0.5)))) 0) (* (- (+ (* 0.15680473372781065 (* (sqrt 2.0) (pow (/ 1 (pow 6.5 1.0)) 0.5))) (+ (* 0.25 (* (sqrt 2.0) (pow (/ 1 (pow 6.5 5.0)) 0.5))) (* 1/2 (* (* (pow (log 6.5) 2) (sqrt 2.0)) (pow (/ 1 (pow 6.5 1.0)) 0.5))))) (* 0.07692307692307693 (* (* (log 6.5) (sqrt 2.0)) (pow (/ 1 (pow 6.5 1.0)) 0.5)))) (sqrt PI)))) into (- (+ (* 0.25 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 5.0)) 0.5) (sqrt PI)))) (+ (* 0.15680473372781065 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))) (* 1/2 (* (* (pow (log 6.5) 2) (sqrt 2.0)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))))) (* 0.07692307692307693 (* (* (log 6.5) (sqrt 2.0)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))))
73.071 * [backup-simplify]: Simplify (- (+ (* 0.25 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 5.0)) 0.5) (sqrt PI)))) (+ (* 0.15680473372781065 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))) (* 1/2 (* (* (pow (log 6.5) 2) (sqrt 2.0)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))))) (* 0.07692307692307693 (* (* (log 6.5) (sqrt 2.0)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI))))) into (- (+ (* 0.25 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 5.0)) 0.5) (sqrt PI)))) (+ (* 0.15680473372781065 (* (sqrt 2.0) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))) (* 1/2 (* (* (pow (log 6.5) 2) (sqrt 2.0)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))))) (* 0.07692307692307693 (* (* (log 6.5) (sqrt 2.0)) (* (pow (/ 1 (pow 6.5 1.0)) 0.5) (sqrt PI)))))