10.497 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
1.003 * * * [progress]: [2/2] Setting up program.
1.024 * [progress]: [Phase 2 of 3] Improving.
1.024 * [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.025 * * [simplify]: Extracting # 0 : cost  0
1.025 * * [simplify]: Extracting # 1 : cost  0
1.025 * * [simplify]: Extracting # 2 : cost  0
1.025 * * [simplify]: Extracting # 3 : cost  0
1.025 * * [simplify]: Extracting # 4 : cost  0
1.025 * * [simplify]: Extracting # 5 : cost  0
1.025 * * [simplify]: Extracting # 6 : cost  0
1.025 * * [simplify]: Extracting # 7 : cost  0
1.025 * * [simplify]: Extracting # 8 : cost  0
1.026 * * [simplify]: Extracting # 9 : cost  0
1.026 * * [simplify]: Extracting # 10 : cost  0
1.026 * * [simplify]: Extracting # 11 : cost  0
1.026 * * [simplify]: Extracting # 12 : cost  0
1.026 * * [simplify]: Extracting # 13 : cost  0
1.026 * * [simplify]: Extracting # 14 : cost  0
1.026 * * [simplify]: Extracting # 15 : cost  0
1.027 * * [simplify]: Extracting # 16 : cost  0
1.027 * * [simplify]: iteration  0 :  55  enodes  (cost  94 )
1.040 * * [simplify]: Extracting # 0 : cost  0
1.040 * * [simplify]: Extracting # 1 : cost  0
1.040 * * [simplify]: Extracting # 2 : cost  0
1.040 * * [simplify]: Extracting # 3 : cost  0
1.041 * * [simplify]: Extracting # 4 : cost  0
1.041 * * [simplify]: Extracting # 5 : cost  0
1.041 * * [simplify]: Extracting # 6 : cost  0
1.041 * * [simplify]: iteration  1 :  133  enodes  (cost  94 )
1.113 * * [simplify]: Extracting # 0 : cost  0
1.114 * * [simplify]: Extracting # 1 : cost  0
1.115 * * [simplify]: Extracting # 2 : cost  0
1.116 * * [simplify]: Extracting # 3 : cost  0
1.117 * * [simplify]: Extracting # 4 : cost  0
1.118 * * [simplify]: Extracting # 5 : cost  0
1.119 * * [simplify]: iteration  2 :  447  enodes  (cost  92 )
1.534 * * [simplify]: Extracting # 0 : cost  0
1.540 * * [simplify]: Extracting # 1 : cost  0
1.546 * * [simplify]: Extracting # 2 : cost  0
1.552 * * [simplify]: Extracting # 3 : cost  0
1.558 * * [simplify]: Extracting # 4 : cost  0
1.564 * * [simplify]: iteration  3 :  2474  enodes  (cost  89 )
3.177 * * [simplify]: Extracting # 0 : cost  0
3.187 * * [simplify]: Extracting # 1 : cost  0
3.194 * * [simplify]: Extracting # 2 : cost  0
3.201 * * [simplify]: Extracting # 3 : cost  0
3.207 * * [simplify]: Extracting # 4 : cost  0
3.213 * * [simplify]: iteration done:  5002  enodes  (cost  89 )
3.214 * [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.236 * * [progress]: iteration 1 / 4
3.236 * * * [progress]: picking best candidate
3.246 * * * * [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.246 * * * [progress]: localizing error
3.370 * * * [progress]: generating rewritten candidates
3.370 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
3.374 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
4.286 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
5.246 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
69.994 * * * [progress]: generating series expansions
69.994 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
69.994 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
69.995 * [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))
69.995 * [approximate]: Taking taylor expansion of (* (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (sqrt PI)) in (z) around 0
69.995 * [taylor]: Taking taylor expansion of (* (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (sqrt PI)) in z
69.995 * [taylor]: Taking taylor expansion of (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) in z
69.995 * [taylor]: Taking taylor expansion of (pow (+ z 6.5) (- z 0.5)) in z
69.995 * [taylor]: Taking taylor expansion of (exp (* (- z 0.5) (log (+ z 6.5)))) in z
69.995 * [taylor]: Taking taylor expansion of (* (- z 0.5) (log (+ z 6.5))) in z
69.995 * [taylor]: Taking taylor expansion of (- z 0.5) in z
69.995 * [taylor]: Taking taylor expansion of z in z
69.995 * [backup-simplify]: Simplify 0 into 0
69.995 * [backup-simplify]: Simplify 1 into 1
69.995 * [taylor]: Taking taylor expansion of 0.5 in z
69.995 * [backup-simplify]: Simplify 0.5 into 0.5
69.995 * [taylor]: Taking taylor expansion of (log (+ z 6.5)) in z
69.995 * [taylor]: Taking taylor expansion of (+ z 6.5) in z
69.995 * [taylor]: Taking taylor expansion of z in z
69.995 * [backup-simplify]: Simplify 0 into 0
69.996 * [backup-simplify]: Simplify 1 into 1
69.996 * [taylor]: Taking taylor expansion of 6.5 in z
69.996 * [backup-simplify]: Simplify 6.5 into 6.5
69.996 * [backup-simplify]: Simplify (+ 0 6.5) into 6.5
69.996 * [backup-simplify]: Simplify (log 6.5) into (log 6.5)
69.996 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
69.997 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
69.998 * [backup-simplify]: Simplify (* (- 0.5) (log 6.5)) into (* -0.5 (log 6.5))
69.999 * [backup-simplify]: Simplify (exp (* -0.5 (log 6.5))) into (pow 6.5 -0.5)
69.999 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
69.999 * [taylor]: Taking taylor expansion of 2.0 in z
69.999 * [backup-simplify]: Simplify 2.0 into 2.0
69.999 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
69.999 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
69.999 * [taylor]: Taking taylor expansion of (sqrt PI) in z
69.999 * [taylor]: Taking taylor expansion of PI in z
69.999 * [backup-simplify]: Simplify PI into PI
70.000 * [backup-simplify]: Simplify (sqrt PI) into (sqrt PI)
70.000 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt PI))) into 0
70.000 * [taylor]: Taking taylor expansion of (* (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (sqrt PI)) in z
70.000 * [taylor]: Taking taylor expansion of (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) in z
70.000 * [taylor]: Taking taylor expansion of (pow (+ z 6.5) (- z 0.5)) in z
70.000 * [taylor]: Taking taylor expansion of (exp (* (- z 0.5) (log (+ z 6.5)))) in z
70.000 * [taylor]: Taking taylor expansion of (* (- z 0.5) (log (+ z 6.5))) in z
70.000 * [taylor]: Taking taylor expansion of (- z 0.5) in z
70.000 * [taylor]: Taking taylor expansion of z in z
70.000 * [backup-simplify]: Simplify 0 into 0
70.000 * [backup-simplify]: Simplify 1 into 1
70.000 * [taylor]: Taking taylor expansion of 0.5 in z
70.000 * [backup-simplify]: Simplify 0.5 into 0.5
70.000 * [taylor]: Taking taylor expansion of (log (+ z 6.5)) in z
70.000 * [taylor]: Taking taylor expansion of (+ z 6.5) in z
70.000 * [taylor]: Taking taylor expansion of z in z
70.000 * [backup-simplify]: Simplify 0 into 0
70.000 * [backup-simplify]: Simplify 1 into 1
70.000 * [taylor]: Taking taylor expansion of 6.5 in z
70.000 * [backup-simplify]: Simplify 6.5 into 6.5
70.001 * [backup-simplify]: Simplify (+ 0 6.5) into 6.5
70.001 * [backup-simplify]: Simplify (log 6.5) into (log 6.5)
70.001 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
70.002 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
70.002 * [backup-simplify]: Simplify (* (- 0.5) (log 6.5)) into (* -0.5 (log 6.5))
70.003 * [backup-simplify]: Simplify (exp (* -0.5 (log 6.5))) into (pow 6.5 -0.5)
70.003 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
70.003 * [taylor]: Taking taylor expansion of 2.0 in z
70.003 * [backup-simplify]: Simplify 2.0 into 2.0
70.004 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
70.004 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
70.004 * [taylor]: Taking taylor expansion of (sqrt PI) in z
70.004 * [taylor]: Taking taylor expansion of PI in z
70.004 * [backup-simplify]: Simplify PI into PI
70.004 * [backup-simplify]: Simplify (sqrt PI) into (sqrt PI)
70.005 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt PI))) into 0
70.006 * [backup-simplify]: Simplify (* (pow 6.5 -0.5) (sqrt 2.0)) into (* (sqrt 2.0) (pow (/ 1 (pow 6.5 1.0)) 0.5))
70.009 * [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)))
70.012 * [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)))
70.013 * [backup-simplify]: Simplify (+ 1 0) into 1
70.015 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 6.5 1)))) 1) into 0.15384615384615385
70.016 * [backup-simplify]: Simplify (- 0) into 0
70.016 * [backup-simplify]: Simplify (+ 1 0) into 1
70.017 * [backup-simplify]: Simplify (+ (* (- 0.5) 0.15384615384615385) (* 1 (log 6.5))) into (- (log 6.5) 0.07692307692307693)
70.022 * [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))
70.027 * [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))))
70.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)))) (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)))))
70.048 * [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)))))
70.048 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt PI))) into 0
70.049 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0
70.050 * [backup-simplify]: Simplify (+ 0 0) into 0
70.056 * [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))
70.056 * [backup-simplify]: Simplify (- 0) into 0
70.056 * [backup-simplify]: Simplify (+ 0 0) into 0
70.060 * [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))))
70.070 * [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))
70.093 * [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))))
70.133 * [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)))))
70.168 * [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)))))