16.357 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
1.324 * * * [progress]: [2/2] Setting up program.
1.341 * [progress]: [Phase 2 of 3] Improving.
1.342 * [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.342 * * [simplify]: Extracting # 0 : cost  0
1.342 * * [simplify]: Extracting # 1 : cost  0
1.342 * * [simplify]: Extracting # 2 : cost  0
1.342 * * [simplify]: Extracting # 3 : cost  0
1.343 * * [simplify]: Extracting # 4 : cost  0
1.343 * * [simplify]: Extracting # 5 : cost  0
1.343 * * [simplify]: Extracting # 6 : cost  0
1.343 * * [simplify]: Extracting # 7 : cost  0
1.343 * * [simplify]: Extracting # 8 : cost  0
1.343 * * [simplify]: Extracting # 9 : cost  0
1.343 * * [simplify]: Extracting # 10 : cost  0
1.343 * * [simplify]: Extracting # 11 : cost  0
1.343 * * [simplify]: Extracting # 12 : cost  0
1.344 * * [simplify]: Extracting # 13 : cost  0
1.344 * * [simplify]: Extracting # 14 : cost  0
1.344 * * [simplify]: Extracting # 15 : cost  0
1.344 * * [simplify]: Extracting # 16 : cost  0
1.344 * * [simplify]: iteration  0 :  55  enodes  (cost  94 )
1.413 * * [simplify]: Extracting # 0 : cost  0
1.413 * * [simplify]: Extracting # 1 : cost  0
1.414 * * [simplify]: Extracting # 2 : cost  0
1.414 * * [simplify]: Extracting # 3 : cost  0
1.414 * * [simplify]: Extracting # 4 : cost  0
1.414 * * [simplify]: Extracting # 5 : cost  0
1.415 * * [simplify]: Extracting # 6 : cost  0
1.415 * * [simplify]: iteration  1 :  133  enodes  (cost  94 )
1.488 * * [simplify]: Extracting # 0 : cost  0
1.489 * * [simplify]: Extracting # 1 : cost  0
1.490 * * [simplify]: Extracting # 2 : cost  0
1.492 * * [simplify]: Extracting # 3 : cost  0
1.493 * * [simplify]: Extracting # 4 : cost  0
1.494 * * [simplify]: Extracting # 5 : cost  0
1.495 * * [simplify]: iteration  2 :  449  enodes  (cost  92 )
1.865 * * [simplify]: Extracting # 0 : cost  0
1.868 * * [simplify]: Extracting # 1 : cost  0
1.876 * * [simplify]: Extracting # 2 : cost  0
1.880 * * [simplify]: Extracting # 3 : cost  0
1.883 * * [simplify]: Extracting # 4 : cost  0
1.886 * * [simplify]: iteration  3 :  2515  enodes  (cost  89 )
3.208 * * [simplify]: Extracting # 0 : cost  0
3.215 * * [simplify]: Extracting # 1 : cost  0
3.222 * * [simplify]: Extracting # 2 : cost  0
3.229 * * [simplify]: Extracting # 3 : cost  0
3.236 * * [simplify]: Extracting # 4 : cost  0
3.242 * * [simplify]: iteration done:  5001  enodes  (cost  89 )
3.244 * [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))) (+ (+ (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) 0.9999999999998099))))))
3.265 * * [progress]: iteration 1 / 4
3.265 * * * [progress]: picking best candidate
3.280 * * * * [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))) (+ (+ (+ (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0)) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (+ (/ -176.6150291621406 (+ (- z 1.0) 4.0)) (+ (+ (/ -0.13857109526572012 (+ (- z 1.0) 6.0)) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (+ (/ 676.5203681218851 z) (+ (/ -1259.1392167224028 (+ (- z 1.0) 2.0)) 0.9999999999998099)))))))>
3.280 * * * [progress]: localizing error
3.372 * * * [progress]: generating rewritten candidates
3.372 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2)
3.379 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
4.278 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
5.254 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
83.990 * * * [progress]: generating series expansions
83.990 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2)
83.991 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
83.996 * [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))
83.996 * [approximate]: Taking taylor expansion of (* (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (sqrt PI)) in (z) around 0
83.997 * [taylor]: Taking taylor expansion of (* (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (sqrt PI)) in z
83.997 * [taylor]: Taking taylor expansion of (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) in z
83.997 * [taylor]: Taking taylor expansion of (pow (+ z 6.5) (- z 0.5)) in z
83.997 * [taylor]: Taking taylor expansion of (exp (* (- z 0.5) (log (+ z 6.5)))) in z
83.997 * [taylor]: Taking taylor expansion of (* (- z 0.5) (log (+ z 6.5))) in z
83.997 * [taylor]: Taking taylor expansion of (- z 0.5) in z
83.997 * [taylor]: Taking taylor expansion of z in z
83.997 * [backup-simplify]: Simplify 0 into 0
83.997 * [backup-simplify]: Simplify 1 into 1
83.997 * [taylor]: Taking taylor expansion of 0.5 in z
83.997 * [backup-simplify]: Simplify 0.5 into 0.5
83.997 * [taylor]: Taking taylor expansion of (log (+ z 6.5)) in z
83.997 * [taylor]: Taking taylor expansion of (+ z 6.5) in z
83.997 * [taylor]: Taking taylor expansion of z in z
83.997 * [backup-simplify]: Simplify 0 into 0
83.998 * [backup-simplify]: Simplify 1 into 1
83.998 * [taylor]: Taking taylor expansion of 6.5 in z
83.998 * [backup-simplify]: Simplify 6.5 into 6.5
83.998 * [backup-simplify]: Simplify (+ 0 6.5) into 6.5
83.998 * [backup-simplify]: Simplify (log 6.5) into (log 6.5)
83.999 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
83.999 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
84.000 * [backup-simplify]: Simplify (* (- 0.5) (log 6.5)) into (* -0.5 (log 6.5))
84.001 * [backup-simplify]: Simplify (exp (* -0.5 (log 6.5))) into (pow 6.5 -0.5)
84.001 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
84.001 * [taylor]: Taking taylor expansion of 2.0 in z
84.001 * [backup-simplify]: Simplify 2.0 into 2.0
84.001 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
84.002 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
84.002 * [taylor]: Taking taylor expansion of (sqrt PI) in z
84.002 * [taylor]: Taking taylor expansion of PI in z
84.002 * [backup-simplify]: Simplify PI into PI
84.002 * [backup-simplify]: Simplify (sqrt PI) into (sqrt PI)
84.002 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt PI))) into 0
84.002 * [taylor]: Taking taylor expansion of (* (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (sqrt PI)) in z
84.002 * [taylor]: Taking taylor expansion of (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) in z
84.002 * [taylor]: Taking taylor expansion of (pow (+ z 6.5) (- z 0.5)) in z
84.003 * [taylor]: Taking taylor expansion of (exp (* (- z 0.5) (log (+ z 6.5)))) in z
84.003 * [taylor]: Taking taylor expansion of (* (- z 0.5) (log (+ z 6.5))) in z
84.003 * [taylor]: Taking taylor expansion of (- z 0.5) in z
84.003 * [taylor]: Taking taylor expansion of z in z
84.003 * [backup-simplify]: Simplify 0 into 0
84.003 * [backup-simplify]: Simplify 1 into 1
84.003 * [taylor]: Taking taylor expansion of 0.5 in z
84.003 * [backup-simplify]: Simplify 0.5 into 0.5
84.003 * [taylor]: Taking taylor expansion of (log (+ z 6.5)) in z
84.003 * [taylor]: Taking taylor expansion of (+ z 6.5) in z
84.003 * [taylor]: Taking taylor expansion of z in z
84.003 * [backup-simplify]: Simplify 0 into 0
84.003 * [backup-simplify]: Simplify 1 into 1
84.003 * [taylor]: Taking taylor expansion of 6.5 in z
84.003 * [backup-simplify]: Simplify 6.5 into 6.5
84.003 * [backup-simplify]: Simplify (+ 0 6.5) into 6.5
84.004 * [backup-simplify]: Simplify (log 6.5) into (log 6.5)
84.004 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
84.004 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5)
84.005 * [backup-simplify]: Simplify (* (- 0.5) (log 6.5)) into (* -0.5 (log 6.5))
84.006 * [backup-simplify]: Simplify (exp (* -0.5 (log 6.5))) into (pow 6.5 -0.5)
84.006 * [taylor]: Taking taylor expansion of (sqrt 2.0) in z
84.006 * [taylor]: Taking taylor expansion of 2.0 in z
84.006 * [backup-simplify]: Simplify 2.0 into 2.0
84.006 * [backup-simplify]: Simplify (sqrt 2.0) into (sqrt 2.0)
84.007 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 2.0))) into 0
84.007 * [taylor]: Taking taylor expansion of (sqrt PI) in z
84.007 * [taylor]: Taking taylor expansion of PI in z
84.007 * [backup-simplify]: Simplify PI into PI
84.007 * [backup-simplify]: Simplify (sqrt PI) into (sqrt PI)
84.007 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt PI))) into 0
84.009 * [backup-simplify]: Simplify (* (pow 6.5 -0.5) (sqrt 2.0)) into (* (sqrt 2.0) (pow (/ 1 (pow 6.5 1.0)) 0.5))
84.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)))
84.015 * [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)))
84.016 * [backup-simplify]: Simplify (+ 1 0) into 1
84.018 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 6.5 1)))) 1) into 0.15384615384615385
84.019 * [backup-simplify]: Simplify (- 0) into 0
84.019 * [backup-simplify]: Simplify (+ 1 0) into 1
84.020 * [backup-simplify]: Simplify (+ (* (- 0.5) 0.15384615384615385) (* 1 (log 6.5))) into (- (log 6.5) 0.07692307692307693)
84.025 * [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))
84.038 * [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))))
84.049 * [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)))))
84.059 * [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)))))
84.060 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt PI))) into 0
84.061 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 2.0))) into 0
84.062 * [backup-simplify]: Simplify (+ 0 0) into 0
84.067 * [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))
84.067 * [backup-simplify]: Simplify (- 0) into 0
84.068 * [backup-simplify]: Simplify (+ 0 0) into 0
84.071 * [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))))
84.081 * [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))
84.101 * [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))))
84.144 * [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)))))
84.174 * [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)))))