3.205 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
2.076 * * * [progress]: [2/2] Setting up program.
2.090 * [progress]: [Phase 2 of 3] Improving.
2.090 * [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.091 * * [simplify]: Extracting # 0 : cost  0
2.091 * * [simplify]: Extracting # 1 : cost  0
2.091 * * [simplify]: Extracting # 2 : cost  0
2.091 * * [simplify]: Extracting # 3 : cost  0
2.091 * * [simplify]: Extracting # 4 : cost  0
2.091 * * [simplify]: Extracting # 5 : cost  0
2.091 * * [simplify]: Extracting # 6 : cost  0
2.091 * * [simplify]: Extracting # 7 : cost  0
2.091 * * [simplify]: Extracting # 8 : cost  0
2.091 * * [simplify]: Extracting # 9 : cost  0
2.091 * * [simplify]: Extracting # 10 : cost  0
2.091 * * [simplify]: Extracting # 11 : cost  0
2.091 * * [simplify]: Extracting # 12 : cost  0
2.091 * * [simplify]: Extracting # 13 : cost  0
2.091 * * [simplify]: Extracting # 14 : cost  0
2.091 * * [simplify]: Extracting # 15 : cost  0
2.091 * * [simplify]: Extracting # 16 : cost  0
2.092 * * [simplify]: Extracting # 17 : cost  0
2.092 * * [simplify]: Extracting # 18 : cost  0
2.092 * * [simplify]: iteration  0 :  60  enodes  (cost  123 )
2.135 * * [simplify]: Extracting # 0 : cost  0
2.135 * * [simplify]: Extracting # 1 : cost  0
2.135 * * [simplify]: Extracting # 2 : cost  0
2.135 * * [simplify]: Extracting # 3 : cost  0
2.135 * * [simplify]: Extracting # 4 : cost  0
2.136 * * [simplify]: iteration  1 :  148  enodes  (cost  123 )
2.186 * * [simplify]: Extracting # 0 : cost  0
2.187 * * [simplify]: Extracting # 1 : cost  0
2.188 * * [simplify]: Extracting # 2 : cost  0
2.188 * * [simplify]: Extracting # 3 : cost  0
2.189 * * [simplify]: Extracting # 4 : cost  0
2.190 * * [simplify]: iteration  2 :  611  enodes  (cost  121 )
2.808 * * [simplify]: Extracting # 0 : cost  0
2.813 * * [simplify]: Extracting # 1 : cost  0
2.818 * * [simplify]: Extracting # 2 : cost  0
2.823 * * [simplify]: Extracting # 3 : cost  0
2.828 * * [simplify]: Extracting # 4 : cost  0
2.832 * * [simplify]: Extracting # 5 : cost  0
2.837 * * [simplify]: Extracting # 6 : cost  0
2.842 * * [simplify]: iteration  3 :  3878  enodes  (cost  88 )
4.264 * * [simplify]: Extracting # 0 : cost  0
4.276 * * [simplify]: Extracting # 1 : cost  0
4.285 * * [simplify]: Extracting # 2 : cost  0
4.295 * * [simplify]: iteration done:  5001  enodes  (cost  88 )
4.295 * [simplify]: Simplified to:
  (* (/ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (+ 4.0 (- z)))) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (+ (/ 9.984369578019572e-06 (+ (- z) 7.0)) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (exp (+ 0.5 (+ (- z) 7.0)))) (* (* (/ PI (sin (* PI z))) (sqrt (* PI 2.0))) (pow (+ 0.5 (+ (- z) 7.0)) (+ (- z) 0.5))))
4.308 * * [progress]: iteration 1 / 4
4.308 * * * [progress]: picking best candidate
4.346 * * * * [pick]: Picked  #<alt (λ (z) (* (/ 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))))))>
4.346 * * * [progress]: localizing error
4.474 * * * [progress]: generating rewritten candidates
4.474 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1)
4.529 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1)
4.599 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1)
4.687 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1)
4.761 * * * [progress]: generating series expansions
4.761 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1)
4.761 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z)
4.761 * [approximate]: Taking taylor expansion of (- z) in (z) around 0
4.761 * [taylor]: Taking taylor expansion of (- z) in z
4.761 * [taylor]: Taking taylor expansion of z in z
4.761 * [backup-simplify]: Simplify 0 into 0
4.761 * [backup-simplify]: Simplify 1 into 1
4.761 * [taylor]: Taking taylor expansion of (- z) in z
4.761 * [taylor]: Taking taylor expansion of z in z
4.761 * [backup-simplify]: Simplify 0 into 0
4.761 * [backup-simplify]: Simplify 1 into 1
4.762 * [backup-simplify]: Simplify (- 0) into 0
4.762 * [backup-simplify]: Simplify 0 into 0
4.762 * [backup-simplify]: Simplify (- 1) into -1
4.763 * [backup-simplify]: Simplify -1 into -1
4.763 * [backup-simplify]: Simplify (- 0) into 0
4.763 * [backup-simplify]: Simplify 0 into 0
4.763 * [backup-simplify]: Simplify (- 0) into 0
4.763 * [backup-simplify]: Simplify 0 into 0
4.764 * [backup-simplify]: Simplify (- 0) into 0
4.764 * [backup-simplify]: Simplify 0 into 0
4.764 * [backup-simplify]: Simplify (- 0) into 0
4.764 * [backup-simplify]: Simplify 0 into 0
4.765 * [backup-simplify]: Simplify (- 0) into 0
4.765 * [backup-simplify]: Simplify 0 into 0
4.765 * [backup-simplify]: Simplify (- 0) into 0
4.765 * [backup-simplify]: Simplify 0 into 0
4.765 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
4.766 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z))
4.766 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0
4.766 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.766 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.766 * [taylor]: Taking taylor expansion of z in z
4.766 * [backup-simplify]: Simplify 0 into 0
4.766 * [backup-simplify]: Simplify 1 into 1
4.767 * [backup-simplify]: Simplify (/ 1 1) into 1
4.767 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.767 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.767 * [taylor]: Taking taylor expansion of z in z
4.767 * [backup-simplify]: Simplify 0 into 0
4.767 * [backup-simplify]: Simplify 1 into 1
4.767 * [backup-simplify]: Simplify (/ 1 1) into 1
4.768 * [backup-simplify]: Simplify (- 1) into -1
4.768 * [backup-simplify]: Simplify -1 into -1
4.769 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.769 * [backup-simplify]: Simplify (- 0) into 0
4.769 * [backup-simplify]: Simplify 0 into 0
4.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.770 * [backup-simplify]: Simplify (- 0) into 0
4.770 * [backup-simplify]: Simplify 0 into 0
4.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.772 * [backup-simplify]: Simplify (- 0) into 0
4.772 * [backup-simplify]: Simplify 0 into 0
4.773 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.773 * [backup-simplify]: Simplify (- 0) into 0
4.773 * [backup-simplify]: Simplify 0 into 0
4.774 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.775 * [backup-simplify]: Simplify (- 0) into 0
4.775 * [backup-simplify]: Simplify 0 into 0
4.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.776 * [backup-simplify]: Simplify (- 0) into 0
4.776 * [backup-simplify]: Simplify 0 into 0
4.776 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z)
4.777 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z)
4.777 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0
4.777 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.777 * [taylor]: Taking taylor expansion of z in z
4.777 * [backup-simplify]: Simplify 0 into 0
4.777 * [backup-simplify]: Simplify 1 into 1
4.777 * [backup-simplify]: Simplify (/ 1 1) into 1
4.777 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.777 * [taylor]: Taking taylor expansion of z in z
4.777 * [backup-simplify]: Simplify 0 into 0
4.777 * [backup-simplify]: Simplify 1 into 1
4.778 * [backup-simplify]: Simplify (/ 1 1) into 1
4.778 * [backup-simplify]: Simplify 1 into 1
4.779 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.779 * [backup-simplify]: Simplify 0 into 0
4.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.780 * [backup-simplify]: Simplify 0 into 0
4.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.781 * [backup-simplify]: Simplify 0 into 0
4.782 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.782 * [backup-simplify]: Simplify 0 into 0
4.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.783 * [backup-simplify]: Simplify 0 into 0
4.784 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.784 * [backup-simplify]: Simplify 0 into 0
4.784 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z)
4.784 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1)
4.784 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z)
4.784 * [approximate]: Taking taylor expansion of (- z) in (z) around 0
4.784 * [taylor]: Taking taylor expansion of (- z) in z
4.784 * [taylor]: Taking taylor expansion of z in z
4.784 * [backup-simplify]: Simplify 0 into 0
4.784 * [backup-simplify]: Simplify 1 into 1
4.784 * [taylor]: Taking taylor expansion of (- z) in z
4.784 * [taylor]: Taking taylor expansion of z in z
4.784 * [backup-simplify]: Simplify 0 into 0
4.784 * [backup-simplify]: Simplify 1 into 1
4.785 * [backup-simplify]: Simplify (- 0) into 0
4.785 * [backup-simplify]: Simplify 0 into 0
4.785 * [backup-simplify]: Simplify (- 1) into -1
4.785 * [backup-simplify]: Simplify -1 into -1
4.786 * [backup-simplify]: Simplify (- 0) into 0
4.786 * [backup-simplify]: Simplify 0 into 0
4.786 * [backup-simplify]: Simplify (- 0) into 0
4.786 * [backup-simplify]: Simplify 0 into 0
4.786 * [backup-simplify]: Simplify (- 0) into 0
4.787 * [backup-simplify]: Simplify 0 into 0
4.787 * [backup-simplify]: Simplify (- 0) into 0
4.787 * [backup-simplify]: Simplify 0 into 0
4.787 * [backup-simplify]: Simplify (- 0) into 0
4.787 * [backup-simplify]: Simplify 0 into 0
4.788 * [backup-simplify]: Simplify (- 0) into 0
4.788 * [backup-simplify]: Simplify 0 into 0
4.788 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
4.788 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z))
4.788 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0
4.788 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.788 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.788 * [taylor]: Taking taylor expansion of z in z
4.788 * [backup-simplify]: Simplify 0 into 0
4.788 * [backup-simplify]: Simplify 1 into 1
4.789 * [backup-simplify]: Simplify (/ 1 1) into 1
4.789 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.789 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.789 * [taylor]: Taking taylor expansion of z in z
4.789 * [backup-simplify]: Simplify 0 into 0
4.789 * [backup-simplify]: Simplify 1 into 1
4.789 * [backup-simplify]: Simplify (/ 1 1) into 1
4.789 * [backup-simplify]: Simplify (- 1) into -1
4.789 * [backup-simplify]: Simplify -1 into -1
4.790 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.790 * [backup-simplify]: Simplify (- 0) into 0
4.790 * [backup-simplify]: Simplify 0 into 0
4.790 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.791 * [backup-simplify]: Simplify (- 0) into 0
4.791 * [backup-simplify]: Simplify 0 into 0
4.791 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.791 * [backup-simplify]: Simplify (- 0) into 0
4.791 * [backup-simplify]: Simplify 0 into 0
4.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.792 * [backup-simplify]: Simplify (- 0) into 0
4.792 * [backup-simplify]: Simplify 0 into 0
4.793 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.793 * [backup-simplify]: Simplify (- 0) into 0
4.793 * [backup-simplify]: Simplify 0 into 0
4.794 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.794 * [backup-simplify]: Simplify (- 0) into 0
4.794 * [backup-simplify]: Simplify 0 into 0
4.794 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z)
4.794 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z)
4.794 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0
4.794 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.794 * [taylor]: Taking taylor expansion of z in z
4.794 * [backup-simplify]: Simplify 0 into 0
4.794 * [backup-simplify]: Simplify 1 into 1
4.794 * [backup-simplify]: Simplify (/ 1 1) into 1
4.794 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.794 * [taylor]: Taking taylor expansion of z in z
4.794 * [backup-simplify]: Simplify 0 into 0
4.794 * [backup-simplify]: Simplify 1 into 1
4.795 * [backup-simplify]: Simplify (/ 1 1) into 1
4.795 * [backup-simplify]: Simplify 1 into 1
4.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.795 * [backup-simplify]: Simplify 0 into 0
4.796 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.796 * [backup-simplify]: Simplify 0 into 0
4.800 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.800 * [backup-simplify]: Simplify 0 into 0
4.801 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.801 * [backup-simplify]: Simplify 0 into 0
4.802 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.802 * [backup-simplify]: Simplify 0 into 0
4.803 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.803 * [backup-simplify]: Simplify 0 into 0
4.803 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z)
4.803 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1)
4.803 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z)
4.803 * [approximate]: Taking taylor expansion of (- z) in (z) around 0
4.803 * [taylor]: Taking taylor expansion of (- z) in z
4.803 * [taylor]: Taking taylor expansion of z in z
4.803 * [backup-simplify]: Simplify 0 into 0
4.803 * [backup-simplify]: Simplify 1 into 1
4.803 * [taylor]: Taking taylor expansion of (- z) in z
4.803 * [taylor]: Taking taylor expansion of z in z
4.803 * [backup-simplify]: Simplify 0 into 0
4.803 * [backup-simplify]: Simplify 1 into 1
4.804 * [backup-simplify]: Simplify (- 0) into 0
4.804 * [backup-simplify]: Simplify 0 into 0
4.804 * [backup-simplify]: Simplify (- 1) into -1
4.804 * [backup-simplify]: Simplify -1 into -1
4.804 * [backup-simplify]: Simplify (- 0) into 0
4.804 * [backup-simplify]: Simplify 0 into 0
4.805 * [backup-simplify]: Simplify (- 0) into 0
4.805 * [backup-simplify]: Simplify 0 into 0
4.805 * [backup-simplify]: Simplify (- 0) into 0
4.805 * [backup-simplify]: Simplify 0 into 0
4.805 * [backup-simplify]: Simplify (- 0) into 0
4.805 * [backup-simplify]: Simplify 0 into 0
4.805 * [backup-simplify]: Simplify (- 0) into 0
4.805 * [backup-simplify]: Simplify 0 into 0
4.806 * [backup-simplify]: Simplify (- 0) into 0
4.806 * [backup-simplify]: Simplify 0 into 0
4.806 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
4.806 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z))
4.806 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0
4.806 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.806 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.806 * [taylor]: Taking taylor expansion of z in z
4.806 * [backup-simplify]: Simplify 0 into 0
4.806 * [backup-simplify]: Simplify 1 into 1
4.806 * [backup-simplify]: Simplify (/ 1 1) into 1
4.806 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.806 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.806 * [taylor]: Taking taylor expansion of z in z
4.806 * [backup-simplify]: Simplify 0 into 0
4.806 * [backup-simplify]: Simplify 1 into 1
4.807 * [backup-simplify]: Simplify (/ 1 1) into 1
4.807 * [backup-simplify]: Simplify (- 1) into -1
4.807 * [backup-simplify]: Simplify -1 into -1
4.807 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.807 * [backup-simplify]: Simplify (- 0) into 0
4.807 * [backup-simplify]: Simplify 0 into 0
4.808 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.808 * [backup-simplify]: Simplify (- 0) into 0
4.808 * [backup-simplify]: Simplify 0 into 0
4.809 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.809 * [backup-simplify]: Simplify (- 0) into 0
4.809 * [backup-simplify]: Simplify 0 into 0
4.809 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.810 * [backup-simplify]: Simplify (- 0) into 0
4.810 * [backup-simplify]: Simplify 0 into 0
4.810 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.810 * [backup-simplify]: Simplify (- 0) into 0
4.811 * [backup-simplify]: Simplify 0 into 0
4.811 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.811 * [backup-simplify]: Simplify (- 0) into 0
4.811 * [backup-simplify]: Simplify 0 into 0
4.811 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z)
4.811 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z)
4.811 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0
4.812 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.812 * [taylor]: Taking taylor expansion of z in z
4.812 * [backup-simplify]: Simplify 0 into 0
4.812 * [backup-simplify]: Simplify 1 into 1
4.812 * [backup-simplify]: Simplify (/ 1 1) into 1
4.812 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.812 * [taylor]: Taking taylor expansion of z in z
4.812 * [backup-simplify]: Simplify 0 into 0
4.812 * [backup-simplify]: Simplify 1 into 1
4.812 * [backup-simplify]: Simplify (/ 1 1) into 1
4.812 * [backup-simplify]: Simplify 1 into 1
4.813 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.813 * [backup-simplify]: Simplify 0 into 0
4.813 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.813 * [backup-simplify]: Simplify 0 into 0
4.814 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.814 * [backup-simplify]: Simplify 0 into 0
4.814 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.814 * [backup-simplify]: Simplify 0 into 0
4.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.815 * [backup-simplify]: Simplify 0 into 0
4.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.815 * [backup-simplify]: Simplify 0 into 0
4.815 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z)
4.816 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1)
4.816 * [backup-simplify]: Simplify (- (- 1.0 z) 1.0) into (- z)
4.816 * [approximate]: Taking taylor expansion of (- z) in (z) around 0
4.816 * [taylor]: Taking taylor expansion of (- z) in z
4.816 * [taylor]: Taking taylor expansion of z in z
4.816 * [backup-simplify]: Simplify 0 into 0
4.816 * [backup-simplify]: Simplify 1 into 1
4.816 * [taylor]: Taking taylor expansion of (- z) in z
4.816 * [taylor]: Taking taylor expansion of z in z
4.816 * [backup-simplify]: Simplify 0 into 0
4.816 * [backup-simplify]: Simplify 1 into 1
4.816 * [backup-simplify]: Simplify (- 0) into 0
4.816 * [backup-simplify]: Simplify 0 into 0
4.816 * [backup-simplify]: Simplify (- 1) into -1
4.816 * [backup-simplify]: Simplify -1 into -1
4.817 * [backup-simplify]: Simplify (- 0) into 0
4.817 * [backup-simplify]: Simplify 0 into 0
4.817 * [backup-simplify]: Simplify (- 0) into 0
4.817 * [backup-simplify]: Simplify 0 into 0
4.817 * [backup-simplify]: Simplify (- 0) into 0
4.817 * [backup-simplify]: Simplify 0 into 0
4.817 * [backup-simplify]: Simplify (- 0) into 0
4.817 * [backup-simplify]: Simplify 0 into 0
4.818 * [backup-simplify]: Simplify (- 0) into 0
4.818 * [backup-simplify]: Simplify 0 into 0
4.818 * [backup-simplify]: Simplify (- 0) into 0
4.818 * [backup-simplify]: Simplify 0 into 0
4.818 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
4.818 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 z)) 1.0) into (- (/ 1 z))
4.818 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0
4.818 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.818 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.818 * [taylor]: Taking taylor expansion of z in z
4.818 * [backup-simplify]: Simplify 0 into 0
4.818 * [backup-simplify]: Simplify 1 into 1
4.818 * [backup-simplify]: Simplify (/ 1 1) into 1
4.818 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.818 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.818 * [taylor]: Taking taylor expansion of z in z
4.818 * [backup-simplify]: Simplify 0 into 0
4.818 * [backup-simplify]: Simplify 1 into 1
4.819 * [backup-simplify]: Simplify (/ 1 1) into 1
4.819 * [backup-simplify]: Simplify (- 1) into -1
4.819 * [backup-simplify]: Simplify -1 into -1
4.819 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.820 * [backup-simplify]: Simplify (- 0) into 0
4.820 * [backup-simplify]: Simplify 0 into 0
4.820 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.820 * [backup-simplify]: Simplify (- 0) into 0
4.820 * [backup-simplify]: Simplify 0 into 0
4.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.821 * [backup-simplify]: Simplify (- 0) into 0
4.821 * [backup-simplify]: Simplify 0 into 0
4.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.822 * [backup-simplify]: Simplify (- 0) into 0
4.822 * [backup-simplify]: Simplify 0 into 0
4.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.823 * [backup-simplify]: Simplify (- 0) into 0
4.823 * [backup-simplify]: Simplify 0 into 0
4.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.823 * [backup-simplify]: Simplify (- 0) into 0
4.823 * [backup-simplify]: Simplify 0 into 0
4.823 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z)
4.824 * [backup-simplify]: Simplify (- (- 1.0 (/ 1 (- z))) 1.0) into (/ 1 z)
4.824 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0
4.824 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.824 * [taylor]: Taking taylor expansion of z in z
4.824 * [backup-simplify]: Simplify 0 into 0
4.824 * [backup-simplify]: Simplify 1 into 1
4.824 * [backup-simplify]: Simplify (/ 1 1) into 1
4.824 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.824 * [taylor]: Taking taylor expansion of z in z
4.824 * [backup-simplify]: Simplify 0 into 0
4.824 * [backup-simplify]: Simplify 1 into 1
4.824 * [backup-simplify]: Simplify (/ 1 1) into 1
4.824 * [backup-simplify]: Simplify 1 into 1
4.825 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.825 * [backup-simplify]: Simplify 0 into 0
4.825 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.825 * [backup-simplify]: Simplify 0 into 0
4.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.826 * [backup-simplify]: Simplify 0 into 0
4.827 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.827 * [backup-simplify]: Simplify 0 into 0
4.827 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.827 * [backup-simplify]: Simplify 0 into 0
4.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.828 * [backup-simplify]: Simplify 0 into 0
4.828 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z)
4.828 * * * [progress]: simplifying candidates
4.832 * [simplify]: Simplifying:
  (fma (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (sqrt (- 1.0 z)) (sqrt (- 1.0 z)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (sqrt (- 1.0 z)) (sqrt (- 1.0 z)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (sqrt (- 1.0 z)) (sqrt (- 1.0 z)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 1 (- 1.0 z) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 1 (- 1.0 z) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 1 (- 1.0 z) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 1 (- 1.0 z) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 1 (- 1.0 z) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 1 (- 1.0 z) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (expm1 (- (- 1.0 z) 1.0))
  (log1p (- (- 1.0 z) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (/ (/ (exp 1.0) (exp z)) (exp 1.0))
  (/ (exp (- 1.0 z)) (exp 1.0))
  (log (- (- 1.0 z) 1.0))
  (exp (- (- 1.0 z) 1.0))
  (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0)))
  (cbrt (- (- 1.0 z) 1.0))
  (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0))
  (sqrt (- (- 1.0 z) 1.0))
  (sqrt (- (- 1.0 z) 1.0))
  (- (pow (- 1.0 z) 3) (pow 1.0 3))
  (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0)))
  (- 1.0)
  (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0))
  (+ (- 1.0 z) 1.0)
  (+ (sqrt (- 1.0 z)) (sqrt 1.0))
  (- (sqrt (- 1.0 z)) (sqrt 1.0))
  (- (- 1.0 z) 1.0)
  (- (- 1.0 z) 1.0)
  (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1.0)
  (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1.0)
  (- (fma (- z) 1 (* z 1)) 1.0)
  (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1.0)
  (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1.0)
  (- (fma (- z) 1 (* z 1)) 1.0)
  (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1.0)
  (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1.0)
  (- (fma (- z) 1 (* z 1)) 1.0)
  (- (- z) 1.0)
  (- (- z) 1.0)
  (+ z 1.0)
  (- 1.0)
  (fma (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (sqrt (- 1.0 z)) (sqrt (- 1.0 z)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (sqrt (- 1.0 z)) (sqrt (- 1.0 z)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (sqrt (- 1.0 z)) (sqrt (- 1.0 z)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 1 (- 1.0 z) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 1 (- 1.0 z) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 1 (- 1.0 z) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 1 (- 1.0 z) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 1 (- 1.0 z) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 1 (- 1.0 z) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (expm1 (- (- 1.0 z) 1.0))
  (log1p (- (- 1.0 z) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (/ (/ (exp 1.0) (exp z)) (exp 1.0))
  (/ (exp (- 1.0 z)) (exp 1.0))
  (log (- (- 1.0 z) 1.0))
  (exp (- (- 1.0 z) 1.0))
  (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0)))
  (cbrt (- (- 1.0 z) 1.0))
  (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0))
  (sqrt (- (- 1.0 z) 1.0))
  (sqrt (- (- 1.0 z) 1.0))
  (- (pow (- 1.0 z) 3) (pow 1.0 3))
  (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0)))
  (- 1.0)
  (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0))
  (+ (- 1.0 z) 1.0)
  (+ (sqrt (- 1.0 z)) (sqrt 1.0))
  (- (sqrt (- 1.0 z)) (sqrt 1.0))
  (- (- 1.0 z) 1.0)
  (- (- 1.0 z) 1.0)
  (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1.0)
  (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1.0)
  (- (fma (- z) 1 (* z 1)) 1.0)
  (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1.0)
  (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1.0)
  (- (fma (- z) 1 (* z 1)) 1.0)
  (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1.0)
  (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1.0)
  (- (fma (- z) 1 (* z 1)) 1.0)
  (- (- z) 1.0)
  (- (- z) 1.0)
  (+ z 1.0)
  (- 1.0)
  (fma (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (sqrt (- 1.0 z)) (sqrt (- 1.0 z)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (sqrt (- 1.0 z)) (sqrt (- 1.0 z)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (sqrt (- 1.0 z)) (sqrt (- 1.0 z)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 1 (- 1.0 z) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 1 (- 1.0 z) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 1 (- 1.0 z) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 1 (- 1.0 z) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 1 (- 1.0 z) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 1 (- 1.0 z) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (expm1 (- (- 1.0 z) 1.0))
  (log1p (- (- 1.0 z) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (/ (/ (exp 1.0) (exp z)) (exp 1.0))
  (/ (exp (- 1.0 z)) (exp 1.0))
  (log (- (- 1.0 z) 1.0))
  (exp (- (- 1.0 z) 1.0))
  (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0)))
  (cbrt (- (- 1.0 z) 1.0))
  (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0))
  (sqrt (- (- 1.0 z) 1.0))
  (sqrt (- (- 1.0 z) 1.0))
  (- (pow (- 1.0 z) 3) (pow 1.0 3))
  (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0)))
  (- 1.0)
  (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0))
  (+ (- 1.0 z) 1.0)
  (+ (sqrt (- 1.0 z)) (sqrt 1.0))
  (- (sqrt (- 1.0 z)) (sqrt 1.0))
  (- (- 1.0 z) 1.0)
  (- (- 1.0 z) 1.0)
  (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1.0)
  (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1.0)
  (- (fma (- z) 1 (* z 1)) 1.0)
  (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1.0)
  (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1.0)
  (- (fma (- z) 1 (* z 1)) 1.0)
  (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1.0)
  (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1.0)
  (- (fma (- z) 1 (* z 1)) 1.0)
  (- (- z) 1.0)
  (- (- z) 1.0)
  (+ z 1.0)
  (- 1.0)
  (fma (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (* (cbrt (- 1.0 z)) (cbrt (- 1.0 z))) (cbrt (- 1.0 z)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (sqrt (- 1.0 z)) (sqrt (- 1.0 z)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (sqrt (- 1.0 z)) (sqrt (- 1.0 z)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (sqrt (- 1.0 z)) (sqrt (- 1.0 z)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 1 (- 1.0 z) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 1 (- 1.0 z) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 1 (- 1.0 z) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 1 (- 1.0 z) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 1 (- 1.0 z) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 1 (- 1.0 z) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (expm1 (- (- 1.0 z) 1.0))
  (log1p (- (- 1.0 z) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (/ (/ (exp 1.0) (exp z)) (exp 1.0))
  (/ (exp (- 1.0 z)) (exp 1.0))
  (log (- (- 1.0 z) 1.0))
  (exp (- (- 1.0 z) 1.0))
  (* (cbrt (- (- 1.0 z) 1.0)) (cbrt (- (- 1.0 z) 1.0)))
  (cbrt (- (- 1.0 z) 1.0))
  (* (* (- (- 1.0 z) 1.0) (- (- 1.0 z) 1.0)) (- (- 1.0 z) 1.0))
  (sqrt (- (- 1.0 z) 1.0))
  (sqrt (- (- 1.0 z) 1.0))
  (- (pow (- 1.0 z) 3) (pow 1.0 3))
  (+ (* (- 1.0 z) (- 1.0 z)) (+ (* 1.0 1.0) (* (- 1.0 z) 1.0)))
  (- 1.0)
  (- (* (- 1.0 z) (- 1.0 z)) (* 1.0 1.0))
  (+ (- 1.0 z) 1.0)
  (+ (sqrt (- 1.0 z)) (sqrt 1.0))
  (- (sqrt (- 1.0 z)) (sqrt 1.0))
  (- (- 1.0 z) 1.0)
  (- (- 1.0 z) 1.0)
  (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1.0)
  (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1.0)
  (- (fma (- z) 1 (* z 1)) 1.0)
  (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1.0)
  (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1.0)
  (- (fma (- z) 1 (* z 1)) 1.0)
  (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1.0)
  (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1.0)
  (- (fma (- z) 1 (* z 1)) 1.0)
  (- (- z) 1.0)
  (- (- z) 1.0)
  (+ z 1.0)
  (- 1.0)
  (* -1 z)
  (* -1 z)
  (* -1 z)
  (* -1 z)
  (* -1 z)
  (* -1 z)
  (* -1 z)
  (* -1 z)
  (* -1 z)
  (* -1 z)
  (* -1 z)
  (* -1 z)
4.835 * * [simplify]: Extracting # 0 : cost  0
4.835 * * [simplify]: Extracting # 1 : cost  0
4.835 * * [simplify]: Extracting # 2 : cost  0
4.835 * * [simplify]: Extracting # 3 : cost  0
4.836 * * [simplify]: Extracting # 4 : cost  0
4.836 * * [simplify]: Extracting # 5 : cost  0
4.836 * * [simplify]: iteration  0 :  84  enodes  (cost  2848 )
4.856 * * [simplify]: Extracting # 0 : cost  0
4.857 * * [simplify]: Extracting # 1 : cost  0
4.857 * * [simplify]: Extracting # 2 : cost  0
4.857 * * [simplify]: Extracting # 3 : cost  0
4.857 * * [simplify]: iteration  1 :  169  enodes  (cost  2152 )
4.906 * * [simplify]: Extracting # 0 : cost  0
4.907 * * [simplify]: Extracting # 1 : cost  0
4.907 * * [simplify]: Extracting # 2 : cost  0
4.907 * * [simplify]: Extracting # 3 : cost  0
4.908 * * [simplify]: Extracting # 4 : cost  0
4.908 * * [simplify]: iteration  2 :  321  enodes  (cost  1656 )
5.181 * * [simplify]: Extracting # 0 : cost  0
5.183 * * [simplify]: Extracting # 1 : cost  0
5.186 * * [simplify]: Extracting # 2 : cost  0
5.189 * * [simplify]: Extracting # 3 : cost  0
5.192 * * [simplify]: iteration  3 :  1240  enodes  (cost  1132 )
7.613 * * [simplify]: Extracting # 0 : cost  0
7.622 * * [simplify]: Extracting # 1 : cost  0
7.627 * * [simplify]: Extracting # 2 : cost  0
7.632 * * [simplify]: Extracting # 3 : cost  0
7.643 * * [simplify]: Extracting # 4 : cost  0
7.654 * * [simplify]: iteration done:  5000  enodes  (cost  904 )
7.657 * [simplify]: Simplified to:
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- 1.0))
  0
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- 1.0))
  0
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- 1.0))
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (expm1 (- z))
  (log1p (- z))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (exp (- z))
  (exp (- z))
  (log (- z))
  (exp (- z))
  (* (cbrt (- z)) (cbrt (- z)))
  (cbrt (- z))
  (pow (- z) 3)
  (sqrt (- z))
  (sqrt (- z))
  (- (pow (- 1.0 z) 3) (pow 1.0 3))
  (fma 1.0 1.0 (* (+ (- 1.0 z) 1.0) (- 1.0 z)))
  (- 1.0)
  (* (+ (- 1.0 z) 1.0) (- z))
  (+ (- 1.0 z) 1.0)
  (+ (sqrt (- 1.0 z)) (sqrt 1.0))
  (- (sqrt (- 1.0 z)) (sqrt 1.0))
  (- z)
  (- z)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- (- 1.0) z)
  (- (- 1.0) z)
  (+ z 1.0)
  (- 1.0)
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- 1.0))
  0
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- 1.0))
  0
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- 1.0))
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (expm1 (- z))
  (log1p (- z))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (exp (- z))
  (exp (- z))
  (log (- z))
  (exp (- z))
  (* (cbrt (- z)) (cbrt (- z)))
  (cbrt (- z))
  (pow (- z) 3)
  (sqrt (- z))
  (sqrt (- z))
  (- (pow (- 1.0 z) 3) (pow 1.0 3))
  (fma 1.0 1.0 (* (+ (- 1.0 z) 1.0) (- 1.0 z)))
  (- 1.0)
  (* (+ (- 1.0 z) 1.0) (- z))
  (+ (- 1.0 z) 1.0)
  (+ (sqrt (- 1.0 z)) (sqrt 1.0))
  (- (sqrt (- 1.0 z)) (sqrt 1.0))
  (- z)
  (- z)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- (- 1.0) z)
  (- (- 1.0) z)
  (+ z 1.0)
  (- 1.0)
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- 1.0))
  0
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- 1.0))
  0
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- 1.0))
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (expm1 (- z))
  (log1p (- z))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (exp (- z))
  (exp (- z))
  (log (- z))
  (exp (- z))
  (* (cbrt (- z)) (cbrt (- z)))
  (cbrt (- z))
  (pow (- z) 3)
  (sqrt (- z))
  (sqrt (- z))
  (- (pow (- 1.0 z) 3) (pow 1.0 3))
  (fma 1.0 1.0 (* (+ (- 1.0 z) 1.0) (- 1.0 z)))
  (- 1.0)
  (* (+ (- 1.0 z) 1.0) (- z))
  (+ (- 1.0 z) 1.0)
  (+ (sqrt (- 1.0 z)) (sqrt 1.0))
  (- (sqrt (- 1.0 z)) (sqrt 1.0))
  (- z)
  (- z)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- (- 1.0) z)
  (- (- 1.0) z)
  (+ z 1.0)
  (- 1.0)
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- 1.0))
  0
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- 1.0))
  0
  (fma (+ (sqrt 1.0) (sqrt z)) (- (sqrt 1.0) (sqrt z)) (- 1.0))
  0
  (- z)
  0
  (- z)
  0
  (- z)
  0
  (expm1 (- z))
  (log1p (- z))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (exp (- z))
  (exp (- z))
  (log (- z))
  (exp (- z))
  (* (cbrt (- z)) (cbrt (- z)))
  (cbrt (- z))
  (pow (- z) 3)
  (sqrt (- z))
  (sqrt (- z))
  (- (pow (- 1.0 z) 3) (pow 1.0 3))
  (fma 1.0 1.0 (* (+ (- 1.0 z) 1.0) (- 1.0 z)))
  (- 1.0)
  (* (+ (- 1.0 z) 1.0) (- z))
  (+ (- 1.0 z) 1.0)
  (+ (sqrt (- 1.0 z)) (sqrt 1.0))
  (- (sqrt (- 1.0 z)) (sqrt 1.0))
  (- z)
  (- z)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- 0 1.0)
  (- (- 1.0) z)
  (- (- 1.0) z)
  (+ z 1.0)
  (- 1.0)
  (- z)
  (- z)
  (- z)
  (- z)
  (- z)
  (- z)
  (- z)
  (- z)
  (- z)
  (- z)
  (- z)
  (- z)
7.662 * * * [progress]: adding candidates to table
10.906 * * [progress]: iteration 2 / 4
10.906 * * * [progress]: picking best candidate
10.928 * * * * [pick]: Picked  #<alt (λ (z) (* (/ (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (+ 4.0 (- z)))) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (+ (/ 9.984369578019572e-06 (+ (- z) 7.0)) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) (exp (+ 0.5 (+ (- z) 7.0)))) (* (* (/ PI (sin (* PI z))) (sqrt (* PI 2.0))) (pow (+ 0.5 (+ (- z) 7.0)) (+ (- z) 0.5)))))>
10.929 * * * [progress]: localizing error
11.061 * * * [progress]: generating rewritten candidates
11.061 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2)
11.067 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
36.399 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1)
37.992 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
100.975 * * * [progress]: generating series expansions
100.975 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2)
100.975 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
100.976 * [backup-simplify]: Simplify (+ (/ -1259.1392167224028 (+ (- z) 2.0)) (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1.0 z))) (/ -176.6150291621406 (+ 4.0 (- z)))) (/ 771.3234287776531 (+ 3.0 (- z)))) (+ (/ 12.507343278686905 (+ 5.0 (- z))) (+ (/ 1.5056327351493116e-07 (+ 8.0 (- z))) (+ (/ 9.984369578019572e-06 (+ (- z) 7.0)) (/ -0.13857109526572012 (+ 6.0 (- z)))))))) into (- (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) 0.9999999999998099))))) (+ (* 176.6150291621406 (/ 1 (- 4.0 z))) (+ (* 0.13857109526572012 (/ 1 (- 6.0 z))) (* 1259.1392167224028 (/ 1 (- 2.0 z))))))
100.976 * [approximate]: Taking taylor expansion of (- (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) 0.9999999999998099))))) (+ (* 176.6150291621406 (/ 1 (- 4.0 z))) (+ (* 0.13857109526572012 (/ 1 (- 6.0 z))) (* 1259.1392167224028 (/ 1 (- 2.0 z)))))) in (z) around 0
100.976 * [taylor]: Taking taylor expansion of (- (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) 0.9999999999998099))))) (+ (* 176.6150291621406 (/ 1 (- 4.0 z))) (+ (* 0.13857109526572012 (/ 1 (- 6.0 z))) (* 1259.1392167224028 (/ 1 (- 2.0 z)))))) in z
100.976 * [taylor]: Taking taylor expansion of (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) 0.9999999999998099))))) in z
100.976 * [taylor]: Taking taylor expansion of (* 12.507343278686905 (/ 1 (- 5.0 z))) in z
100.976 * [taylor]: Taking taylor expansion of 12.507343278686905 in z
100.976 * [backup-simplify]: Simplify 12.507343278686905 into 12.507343278686905
100.976 * [taylor]: Taking taylor expansion of (/ 1 (- 5.0 z)) in z
100.976 * [taylor]: Taking taylor expansion of (- 5.0 z) in z
100.976 * [taylor]: Taking taylor expansion of 5.0 in z
100.976 * [backup-simplify]: Simplify 5.0 into 5.0
100.976 * [taylor]: Taking taylor expansion of z in z
100.976 * [backup-simplify]: Simplify 0 into 0
100.976 * [backup-simplify]: Simplify 1 into 1
100.977 * [backup-simplify]: Simplify (- 0) into 0
100.977 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0
100.977 * [backup-simplify]: Simplify (/ 1 5.0) into 0.2
100.977 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) 0.9999999999998099)))) in z
100.977 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 z))) in z
100.977 * [taylor]: Taking taylor expansion of 676.5203681218851 in z
100.977 * [backup-simplify]: Simplify 676.5203681218851 into 676.5203681218851
100.977 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 z)) in z
100.977 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
100.977 * [taylor]: Taking taylor expansion of 1.0 in z
100.977 * [backup-simplify]: Simplify 1.0 into 1.0
100.977 * [taylor]: Taking taylor expansion of z in z
100.977 * [backup-simplify]: Simplify 0 into 0
100.977 * [backup-simplify]: Simplify 1 into 1
100.978 * [backup-simplify]: Simplify (- 0) into 0
100.978 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
100.978 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
100.978 * [taylor]: Taking taylor expansion of (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) 0.9999999999998099))) in z
100.978 * [taylor]: Taking taylor expansion of (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) in z
100.978 * [taylor]: Taking taylor expansion of 1.5056327351493116e-07 in z
100.978 * [backup-simplify]: Simplify 1.5056327351493116e-07 into 1.5056327351493116e-07
100.978 * [taylor]: Taking taylor expansion of (/ 1 (- 8.0 z)) in z
100.978 * [taylor]: Taking taylor expansion of (- 8.0 z) in z
100.978 * [taylor]: Taking taylor expansion of 8.0 in z
100.978 * [backup-simplify]: Simplify 8.0 into 8.0
100.978 * [taylor]: Taking taylor expansion of z in z
100.978 * [backup-simplify]: Simplify 0 into 0
100.978 * [backup-simplify]: Simplify 1 into 1
100.978 * [backup-simplify]: Simplify (- 0) into 0
100.979 * [backup-simplify]: Simplify (+ 8.0 0) into 8.0
100.979 * [backup-simplify]: Simplify (/ 1 8.0) into 0.125
100.979 * [taylor]: Taking taylor expansion of (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) 0.9999999999998099)) in z
100.979 * [taylor]: Taking taylor expansion of (* 771.3234287776531 (/ 1 (- 3.0 z))) in z
100.979 * [taylor]: Taking taylor expansion of 771.3234287776531 in z
100.979 * [backup-simplify]: Simplify 771.3234287776531 into 771.3234287776531
100.979 * [taylor]: Taking taylor expansion of (/ 1 (- 3.0 z)) in z
100.979 * [taylor]: Taking taylor expansion of (- 3.0 z) in z
100.979 * [taylor]: Taking taylor expansion of 3.0 in z
100.979 * [backup-simplify]: Simplify 3.0 into 3.0
100.979 * [taylor]: Taking taylor expansion of z in z
100.979 * [backup-simplify]: Simplify 0 into 0
100.979 * [backup-simplify]: Simplify 1 into 1
100.979 * [backup-simplify]: Simplify (- 0) into 0
100.980 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
100.980 * [backup-simplify]: Simplify (/ 1 3.0) into 0.3333333333333333
100.980 * [taylor]: Taking taylor expansion of (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) 0.9999999999998099) in z
100.980 * [taylor]: Taking taylor expansion of (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) in z
100.980 * [taylor]: Taking taylor expansion of 9.984369578019572e-06 in z
100.980 * [backup-simplify]: Simplify 9.984369578019572e-06 into 9.984369578019572e-06
100.980 * [taylor]: Taking taylor expansion of (/ 1 (- 7.0 z)) in z
100.980 * [taylor]: Taking taylor expansion of (- 7.0 z) in z
100.980 * [taylor]: Taking taylor expansion of 7.0 in z
100.980 * [backup-simplify]: Simplify 7.0 into 7.0
100.980 * [taylor]: Taking taylor expansion of z in z
100.980 * [backup-simplify]: Simplify 0 into 0
100.980 * [backup-simplify]: Simplify 1 into 1
100.980 * [backup-simplify]: Simplify (- 0) into 0
100.981 * [backup-simplify]: Simplify (+ 7.0 0) into 7.0
100.981 * [backup-simplify]: Simplify (/ 1 7.0) into 0.14285714285714285
100.981 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z
100.981 * [backup-simplify]: Simplify 0.9999999999998099 into 0.9999999999998099
100.981 * [taylor]: Taking taylor expansion of (+ (* 176.6150291621406 (/ 1 (- 4.0 z))) (+ (* 0.13857109526572012 (/ 1 (- 6.0 z))) (* 1259.1392167224028 (/ 1 (- 2.0 z))))) in z
100.981 * [taylor]: Taking taylor expansion of (* 176.6150291621406 (/ 1 (- 4.0 z))) in z
100.981 * [taylor]: Taking taylor expansion of 176.6150291621406 in z
100.981 * [backup-simplify]: Simplify 176.6150291621406 into 176.6150291621406
100.981 * [taylor]: Taking taylor expansion of (/ 1 (- 4.0 z)) in z
100.981 * [taylor]: Taking taylor expansion of (- 4.0 z) in z
100.981 * [taylor]: Taking taylor expansion of 4.0 in z
100.981 * [backup-simplify]: Simplify 4.0 into 4.0
100.981 * [taylor]: Taking taylor expansion of z in z
100.981 * [backup-simplify]: Simplify 0 into 0
100.981 * [backup-simplify]: Simplify 1 into 1
100.981 * [backup-simplify]: Simplify (- 0) into 0
100.982 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
100.982 * [backup-simplify]: Simplify (/ 1 4.0) into 0.25
100.982 * [taylor]: Taking taylor expansion of (+ (* 0.13857109526572012 (/ 1 (- 6.0 z))) (* 1259.1392167224028 (/ 1 (- 2.0 z)))) in z
100.982 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 z))) in z
100.982 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z
100.982 * [backup-simplify]: Simplify 0.13857109526572012 into 0.13857109526572012
100.982 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 z)) in z
100.982 * [taylor]: Taking taylor expansion of (- 6.0 z) in z
100.982 * [taylor]: Taking taylor expansion of 6.0 in z
100.982 * [backup-simplify]: Simplify 6.0 into 6.0
100.982 * [taylor]: Taking taylor expansion of z in z
100.982 * [backup-simplify]: Simplify 0 into 0
100.982 * [backup-simplify]: Simplify 1 into 1
100.982 * [backup-simplify]: Simplify (- 0) into 0
100.983 * [backup-simplify]: Simplify (+ 6.0 0) into 6.0
100.983 * [backup-simplify]: Simplify (/ 1 6.0) into 0.16666666666666666
100.983 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 z))) in z
100.983 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z
100.983 * [backup-simplify]: Simplify 1259.1392167224028 into 1259.1392167224028
100.983 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 z)) in z
100.983 * [taylor]: Taking taylor expansion of (- 2.0 z) in z
100.983 * [taylor]: Taking taylor expansion of 2.0 in z
100.983 * [backup-simplify]: Simplify 2.0 into 2.0
100.983 * [taylor]: Taking taylor expansion of z in z
100.983 * [backup-simplify]: Simplify 0 into 0
100.983 * [backup-simplify]: Simplify 1 into 1
100.983 * [backup-simplify]: Simplify (- 0) into 0
100.983 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
100.984 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5
100.984 * [taylor]: Taking taylor expansion of (- (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) 0.9999999999998099))))) (+ (* 176.6150291621406 (/ 1 (- 4.0 z))) (+ (* 0.13857109526572012 (/ 1 (- 6.0 z))) (* 1259.1392167224028 (/ 1 (- 2.0 z)))))) in z
100.984 * [taylor]: Taking taylor expansion of (+ (* 12.507343278686905 (/ 1 (- 5.0 z))) (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) 0.9999999999998099))))) in z
100.984 * [taylor]: Taking taylor expansion of (* 12.507343278686905 (/ 1 (- 5.0 z))) in z
100.984 * [taylor]: Taking taylor expansion of 12.507343278686905 in z
100.984 * [backup-simplify]: Simplify 12.507343278686905 into 12.507343278686905
100.984 * [taylor]: Taking taylor expansion of (/ 1 (- 5.0 z)) in z
100.984 * [taylor]: Taking taylor expansion of (- 5.0 z) in z
100.984 * [taylor]: Taking taylor expansion of 5.0 in z
100.984 * [backup-simplify]: Simplify 5.0 into 5.0
100.984 * [taylor]: Taking taylor expansion of z in z
100.984 * [backup-simplify]: Simplify 0 into 0
100.984 * [backup-simplify]: Simplify 1 into 1
100.984 * [backup-simplify]: Simplify (- 0) into 0
100.984 * [backup-simplify]: Simplify (+ 5.0 0) into 5.0
100.985 * [backup-simplify]: Simplify (/ 1 5.0) into 0.2
100.985 * [taylor]: Taking taylor expansion of (+ (* 676.5203681218851 (/ 1 (- 1.0 z))) (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) 0.9999999999998099)))) in z
100.985 * [taylor]: Taking taylor expansion of (* 676.5203681218851 (/ 1 (- 1.0 z))) in z
100.985 * [taylor]: Taking taylor expansion of 676.5203681218851 in z
100.985 * [backup-simplify]: Simplify 676.5203681218851 into 676.5203681218851
100.985 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 z)) in z
100.985 * [taylor]: Taking taylor expansion of (- 1.0 z) in z
100.985 * [taylor]: Taking taylor expansion of 1.0 in z
100.985 * [backup-simplify]: Simplify 1.0 into 1.0
100.985 * [taylor]: Taking taylor expansion of z in z
100.985 * [backup-simplify]: Simplify 0 into 0
100.985 * [backup-simplify]: Simplify 1 into 1
100.985 * [backup-simplify]: Simplify (- 0) into 0
100.985 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
100.986 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
100.986 * [taylor]: Taking taylor expansion of (+ (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) 0.9999999999998099))) in z
100.986 * [taylor]: Taking taylor expansion of (* 1.5056327351493116e-07 (/ 1 (- 8.0 z))) in z
100.986 * [taylor]: Taking taylor expansion of 1.5056327351493116e-07 in z
100.986 * [backup-simplify]: Simplify 1.5056327351493116e-07 into 1.5056327351493116e-07
100.986 * [taylor]: Taking taylor expansion of (/ 1 (- 8.0 z)) in z
100.986 * [taylor]: Taking taylor expansion of (- 8.0 z) in z
100.986 * [taylor]: Taking taylor expansion of 8.0 in z
100.986 * [backup-simplify]: Simplify 8.0 into 8.0
100.986 * [taylor]: Taking taylor expansion of z in z
100.986 * [backup-simplify]: Simplify 0 into 0
100.986 * [backup-simplify]: Simplify 1 into 1
100.986 * [backup-simplify]: Simplify (- 0) into 0
100.987 * [backup-simplify]: Simplify (+ 8.0 0) into 8.0
100.987 * [backup-simplify]: Simplify (/ 1 8.0) into 0.125
100.987 * [taylor]: Taking taylor expansion of (+ (* 771.3234287776531 (/ 1 (- 3.0 z))) (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) 0.9999999999998099)) in z
100.987 * [taylor]: Taking taylor expansion of (* 771.3234287776531 (/ 1 (- 3.0 z))) in z
100.987 * [taylor]: Taking taylor expansion of 771.3234287776531 in z
100.987 * [backup-simplify]: Simplify 771.3234287776531 into 771.3234287776531
100.987 * [taylor]: Taking taylor expansion of (/ 1 (- 3.0 z)) in z
100.987 * [taylor]: Taking taylor expansion of (- 3.0 z) in z
100.987 * [taylor]: Taking taylor expansion of 3.0 in z
100.987 * [backup-simplify]: Simplify 3.0 into 3.0
100.987 * [taylor]: Taking taylor expansion of z in z
100.987 * [backup-simplify]: Simplify 0 into 0
100.987 * [backup-simplify]: Simplify 1 into 1
100.987 * [backup-simplify]: Simplify (- 0) into 0
100.987 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
100.988 * [backup-simplify]: Simplify (/ 1 3.0) into 0.3333333333333333
100.988 * [taylor]: Taking taylor expansion of (+ (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) 0.9999999999998099) in z
100.988 * [taylor]: Taking taylor expansion of (* 9.984369578019572e-06 (/ 1 (- 7.0 z))) in z
100.988 * [taylor]: Taking taylor expansion of 9.984369578019572e-06 in z
100.988 * [backup-simplify]: Simplify 9.984369578019572e-06 into 9.984369578019572e-06
100.988 * [taylor]: Taking taylor expansion of (/ 1 (- 7.0 z)) in z
100.988 * [taylor]: Taking taylor expansion of (- 7.0 z) in z
100.988 * [taylor]: Taking taylor expansion of 7.0 in z
100.988 * [backup-simplify]: Simplify 7.0 into 7.0
100.988 * [taylor]: Taking taylor expansion of z in z
100.988 * [backup-simplify]: Simplify 0 into 0
100.988 * [backup-simplify]: Simplify 1 into 1
100.988 * [backup-simplify]: Simplify (- 0) into 0
100.988 * [backup-simplify]: Simplify (+ 7.0 0) into 7.0
100.989 * [backup-simplify]: Simplify (/ 1 7.0) into 0.14285714285714285
100.989 * [taylor]: Taking taylor expansion of 0.9999999999998099 in z
100.989 * [backup-simplify]: Simplify 0.9999999999998099 into 0.9999999999998099
100.989 * [taylor]: Taking taylor expansion of (+ (* 176.6150291621406 (/ 1 (- 4.0 z))) (+ (* 0.13857109526572012 (/ 1 (- 6.0 z))) (* 1259.1392167224028 (/ 1 (- 2.0 z))))) in z
100.989 * [taylor]: Taking taylor expansion of (* 176.6150291621406 (/ 1 (- 4.0 z))) in z
100.989 * [taylor]: Taking taylor expansion of 176.6150291621406 in z
100.989 * [backup-simplify]: Simplify 176.6150291621406 into 176.6150291621406
100.989 * [taylor]: Taking taylor expansion of (/ 1 (- 4.0 z)) in z
100.989 * [taylor]: Taking taylor expansion of (- 4.0 z) in z
100.989 * [taylor]: Taking taylor expansion of 4.0 in z
100.989 * [backup-simplify]: Simplify 4.0 into 4.0
100.989 * [taylor]: Taking taylor expansion of z in z
100.989 * [backup-simplify]: Simplify 0 into 0
100.989 * [backup-simplify]: Simplify 1 into 1
100.989 * [backup-simplify]: Simplify (- 0) into 0
100.989 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
100.990 * [backup-simplify]: Simplify (/ 1 4.0) into 0.25
100.990 * [taylor]: Taking taylor expansion of (+ (* 0.13857109526572012 (/ 1 (- 6.0 z))) (* 1259.1392167224028 (/ 1 (- 2.0 z)))) in z
100.990 * [taylor]: Taking taylor expansion of (* 0.13857109526572012 (/ 1 (- 6.0 z))) in z
100.990 * [taylor]: Taking taylor expansion of 0.13857109526572012 in z
100.990 * [backup-simplify]: Simplify 0.13857109526572012 into 0.13857109526572012
100.990 * [taylor]: Taking taylor expansion of (/ 1 (- 6.0 z)) in z
100.990 * [taylor]: Taking taylor expansion of (- 6.0 z) in z
100.990 * [taylor]: Taking taylor expansion of 6.0 in z
100.990 * [backup-simplify]: Simplify 6.0 into 6.0
100.990 * [taylor]: Taking taylor expansion of z in z
100.990 * [backup-simplify]: Simplify 0 into 0
100.990 * [backup-simplify]: Simplify 1 into 1
100.990 * [backup-simplify]: Simplify (- 0) into 0
100.990 * [backup-simplify]: Simplify (+ 6.0 0) into 6.0
100.991 * [backup-simplify]: Simplify (/ 1 6.0) into 0.16666666666666666
100.991 * [taylor]: Taking taylor expansion of (* 1259.1392167224028 (/ 1 (- 2.0 z))) in z
100.991 * [taylor]: Taking taylor expansion of 1259.1392167224028 in z
100.991 * [backup-simplify]: Simplify 1259.1392167224028 into 1259.1392167224028
100.991 * [taylor]: Taking taylor expansion of (/ 1 (- 2.0 z)) in z
100.991 * [taylor]: Taking taylor expansion of (- 2.0 z) in z
100.991 * [taylor]: Taking taylor expansion of 2.0 in z
100.991 * [backup-simplify]: Simplify 2.0 into 2.0
100.991 * [taylor]: Taking taylor expansion of z in z
100.991 * [backup-simplify]: Simplify 0 into 0
100.991 * [backup-simplify]: Simplify 1 into 1
100.991 * [backup-simplify]: Simplify (- 0) into 0
100.991 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
100.991 * [backup-simplify]: Simplify (/ 1 2.0) into 0.5
100.992 * [backup-simplify]: Simplify (* 12.507343278686905 0.2) into 2.5014686557373813
100.992 * [backup-simplify]: Simplify (* 676.5203681218851 1.0) into 676.5203681218851
100.992 * [backup-simplify]: Simplify (* 1.5056327351493116e-07 0.125) into 1.8820409189366395e-08
100.993 * [backup-simplify]: Simplify (* 771.3234287776531 0.3333333333333333) into 257.107809592551
100.993 * [backup-simplify]: Simplify (* 9.984369578019572e-06 0.14285714285714285) into 1.426338511145653e-06
100.993 * [backup-simplify]: Simplify (+ 1.426338511145653e-06 0.9999999999998099) into 1.000001426338321
100.993 * [backup-simplify]: Simplify (+ 257.107809592551 1.000001426338321) into 258.1078110188893
100.994 * [backup-simplify]: Simplify (+ 1.8820409189366395e-08 258.1078110188893) into 258.1078110377097
100.994 * [backup-simplify]: Simplify (+ 676.5203681218851 258.1078110377097) into 934.6281791595948
100.994 * [backup-simplify]: Simplify (+ 2.5014686557373813 934.6281791595948) into 937.1296478153322
101.000 * [backup-simplify]: Simplify (* 176.6150291621406 0.25) into 44.15375729053515
101.000 * [backup-simplify]: Simplify (* 0.13857109526572012 0.16666666666666666) into 0.023095182544286684
101.000 * [backup-simplify]: Simplify (* 1259.1392167224028 0.5) into 629.5696083612014
101.001 * [backup-simplify]: Simplify (+ 0.023095182544286684 629.5696083612014) into 629.5927035437456
101.001 * [backup-simplify]: Simplify (+ 44.15375729053515 629.5927035437456) into 673.7464608342808
101.001 * [backup-simplify]: Simplify (- 673.7464608342808) into (- 673.7464608342808)
101.002 * [backup-simplify]: Simplify (+ 937.1296478153322 (- 673.7464608342808)) into 263.3831869810514
101.002 * [backup-simplify]: Simplify 263.3831869810514 into 263.3831869810514
101.002 * [backup-simplify]: Simplify (- 1) into -1
101.002 * [backup-simplify]: Simplify (+ 0 -1) into -1
101.003 * [backup-simplify]: Simplify (- (+ (* 0.2 (/ -1 5.0)))) into 0.04000000000000001
101.004 * [backup-simplify]: Simplify (+ (* 12.507343278686905 0.04000000000000001) (* 0 0.2)) into 0.5002937311474763
101.005 * [backup-simplify]: Simplify (- 1) into -1
101.005 * [backup-simplify]: Simplify (+ 0 -1) into -1
101.006 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ -1 1.0)))) into 1.0
101.007 * [backup-simplify]: Simplify (+ (* 676.5203681218851 1.0) (* 0 1.0)) into 676.5203681218851
101.007 * [backup-simplify]: Simplify (- 1) into -1
101.007 * [backup-simplify]: Simplify (+ 0 -1) into -1
101.009 * [backup-simplify]: Simplify (- (+ (* 0.125 (/ -1 8.0)))) into 0.015625
101.009 * [backup-simplify]: Simplify (+ (* 1.5056327351493116e-07 0.015625) (* 0 0.125)) into 2.3525511486707994e-09
101.010 * [backup-simplify]: Simplify (- 1) into -1
101.010 * [backup-simplify]: Simplify (+ 0 -1) into -1
101.011 * [backup-simplify]: Simplify (- (+ (* 0.3333333333333333 (/ -1 3.0)))) into 0.1111111111111111
101.012 * [backup-simplify]: Simplify (+ (* 771.3234287776531 0.1111111111111111) (* 0 0.3333333333333333)) into 85.702603197517
101.012 * [backup-simplify]: Simplify (- 1) into -1
101.012 * [backup-simplify]: Simplify (+ 0 -1) into -1
101.014 * [backup-simplify]: Simplify (- (+ (* 0.14285714285714285 (/ -1 7.0)))) into 0.02040816326530612
101.015 * [backup-simplify]: Simplify (+ (* 9.984369578019572e-06 0.02040816326530612) (* 0 0.14285714285714285)) into 2.0376264444937899e-07
101.015 * [backup-simplify]: Simplify (+ 2.0376264444937899e-07 0) into 2.0376264444937899e-07
101.015 * [backup-simplify]: Simplify (+ 85.702603197517 2.0376264444937899e-07) into 85.70260340127965
101.015 * [backup-simplify]: Simplify (+ 2.3525511486707994e-09 85.70260340127965) into 85.7026034036322
101.016 * [backup-simplify]: Simplify (+ 676.5203681218851 85.7026034036322) into 762.2229715255173
101.016 * [backup-simplify]: Simplify (+ 0.5002937311474763 762.2229715255173) into 762.7232652566648
101.016 * [backup-simplify]: Simplify (- 1) into -1
101.016 * [backup-simplify]: Simplify (+ 0 -1) into -1
101.018 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ -1 4.0)))) into 0.0625
101.019 * [backup-simplify]: Simplify (+ (* 176.6150291621406 0.0625) (* 0 0.25)) into 11.038439322633787
101.019 * [backup-simplify]: Simplify (- 1) into -1
101.019 * [backup-simplify]: Simplify (+ 0 -1) into -1
101.020 * [backup-simplify]: Simplify (- (+ (* 0.16666666666666666 (/ -1 6.0)))) into 0.027777777777777776
101.021 * [backup-simplify]: Simplify (+ (* 0.13857109526572012 0.027777777777777776) (* 0 0.16666666666666666)) into 0.0038491970907144476
101.021 * [backup-simplify]: Simplify (- 1) into -1
101.022 * [backup-simplify]: Simplify (+ 0 -1) into -1
101.023 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ -1 2.0)))) into 0.25
101.024 * [backup-simplify]: Simplify (+ (* 1259.1392167224028 0.25) (* 0 0.5)) into 314.7848041806007
101.024 * [backup-simplify]: Simplify (+ 0.0038491970907144476 314.7848041806007) into 314.7886533776914
101.024 * [backup-simplify]: Simplify (+ 11.038439322633787 314.7886533776914) into 325.8270927003252
101.025 * [backup-simplify]: Simplify (- 325.8270927003252) into (- 325.8270927003252)
101.025 * [backup-simplify]: Simplify (+ 762.7232652566648 (- 325.8270927003252)) into 436.89617255633965
101.025 * [backup-simplify]: Simplify 436.89617255633965 into 436.89617255633965
101.025 * [backup-simplify]: Simplify (- 0) into 0
101.025 * [backup-simplify]: Simplify (+ 0 0) into 0
101.028 * [backup-simplify]: Simplify (- (+ (* 0.2 (/ 0 5.0)) (* 0.04000000000000001 (/ -1 5.0)))) into 0.008000000000000002
101.029 * [backup-simplify]: Simplify (+ (* 12.507343278686905 0.008000000000000002) (+ (* 0 0.04000000000000001) (* 0 0.2))) into 0.10005874622949526
101.029 * [backup-simplify]: Simplify (- 0) into 0
101.029 * [backup-simplify]: Simplify (+ 0 0) into 0
101.031 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* 1.0 (/ -1 1.0)))) into 1.0
101.032 * [backup-simplify]: Simplify (+ (* 676.5203681218851 1.0) (+ (* 0 1.0) (* 0 1.0))) into 676.5203681218851
101.032 * [backup-simplify]: Simplify (- 0) into 0
101.032 * [backup-simplify]: Simplify (+ 0 0) into 0
101.034 * [backup-simplify]: Simplify (- (+ (* 0.125 (/ 0 8.0)) (* 0.015625 (/ -1 8.0)))) into 0.001953125
101.036 * [backup-simplify]: Simplify (+ (* 1.5056327351493116e-07 0.001953125) (+ (* 0 0.015625) (* 0 0.125))) into 2.940688935838499e-10
101.036 * [backup-simplify]: Simplify (- 0) into 0
101.036 * [backup-simplify]: Simplify (+ 0 0) into 0
101.038 * [backup-simplify]: Simplify (- (+ (* 0.3333333333333333 (/ 0 3.0)) (* 0.1111111111111111 (/ -1 3.0)))) into 0.037037037037037035
101.039 * [backup-simplify]: Simplify (+ (* 771.3234287776531 0.037037037037037035) (+ (* 0 0.1111111111111111) (* 0 0.3333333333333333))) into 28.567534399172338
101.040 * [backup-simplify]: Simplify (- 0) into 0
101.040 * [backup-simplify]: Simplify (+ 0 0) into 0
101.042 * [backup-simplify]: Simplify (- (+ (* 0.14285714285714285 (/ 0 7.0)) (* 0.02040816326530612 (/ -1 7.0)))) into 0.0029154518950437313
101.043 * [backup-simplify]: Simplify (+ (* 9.984369578019572e-06 0.0029154518950437313) (+ (* 0 0.02040816326530612) (* 0 0.14285714285714285))) into 2.910894920705414e-08
101.043 * [backup-simplify]: Simplify (+ 2.910894920705414e-08 0) into 2.910894920705414e-08
101.044 * [backup-simplify]: Simplify (+ 28.567534399172338 2.910894920705414e-08) into 28.567534428281288
101.044 * [backup-simplify]: Simplify (+ 2.940688935838499e-10 28.567534428281288) into 28.567534428575357
101.044 * [backup-simplify]: Simplify (+ 676.5203681218851 28.567534428575357) into 705.0879025504605
101.044 * [backup-simplify]: Simplify (+ 0.10005874622949526 705.0879025504605) into 705.18796129669
101.045 * [backup-simplify]: Simplify (- 0) into 0
101.045 * [backup-simplify]: Simplify (+ 0 0) into 0
101.047 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 0 4.0)) (* 0.0625 (/ -1 4.0)))) into 0.015625
101.048 * [backup-simplify]: Simplify (+ (* 176.6150291621406 0.015625) (+ (* 0 0.0625) (* 0 0.25))) into 2.7596098306584467
101.048 * [backup-simplify]: Simplify (- 0) into 0
101.049 * [backup-simplify]: Simplify (+ 0 0) into 0
101.051 * [backup-simplify]: Simplify (- (+ (* 0.16666666666666666 (/ 0 6.0)) (* 0.027777777777777776 (/ -1 6.0)))) into 0.004629629629629629
101.052 * [backup-simplify]: Simplify (+ (* 0.13857109526572012 0.004629629629629629) (+ (* 0 0.027777777777777776) (* 0 0.16666666666666666))) into 0.0006415328484524079
101.052 * [backup-simplify]: Simplify (- 0) into 0
101.052 * [backup-simplify]: Simplify (+ 0 0) into 0
101.054 * [backup-simplify]: Simplify (- (+ (* 0.5 (/ 0 2.0)) (* 0.25 (/ -1 2.0)))) into 0.125
101.056 * [backup-simplify]: Simplify (+ (* 1259.1392167224028 0.125) (+ (* 0 0.25) (* 0 0.5))) into 157.39240209030035
101.056 * [backup-simplify]: Simplify (+ 0.0006415328484524079 157.39240209030035) into 157.3930436231488
101.056 * [backup-simplify]: Simplify (+ 2.7596098306584467 157.3930436231488) into 160.15265345380723
101.056 * [backup-simplify]: Simplify (- 160.15265345380723) into (- 160.15265345380723)
101.057 * [backup-simplify]: Simplify (+ 705.18796129669 (- 160.15265345380723)) into 545.0353078428827
101.057 * [backup-simplify]: Simplify 545.0353078428827 into 545.0353078428827