1553946725.993 * [progress]: [Phase 1 of 3] Setting up. 1553946725.994 * * * [progress]: [1/2] Preparing points 1553946727.185 * * * [progress]: [2/2] Setting up program. 1553946727.198 * [progress]: [Phase 2 of 3] Improving. 1553946727.198 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553946727.198 * [simplify]: Simplifying (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))) 1553946727.199 * * [simplify]: iters left: 6 (60 enodes) 1553946727.245 * * [simplify]: iters left: 5 (272 enodes) 1553946727.376 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946727.376 * * [simplify]: Extracting #1: cost 29 inf + 0 1553946727.376 * * [simplify]: Extracting #2: cost 93 inf + 1 1553946727.377 * * [simplify]: Extracting #3: cost 185 inf + 1 1553946727.379 * * [simplify]: Extracting #4: cost 261 inf + 293 1553946727.381 * * [simplify]: Extracting #5: cost 279 inf + 1288 1553946727.386 * * [simplify]: Extracting #6: cost 198 inf + 8604 1553946727.395 * * [simplify]: Extracting #7: cost 133 inf + 23229 1553946727.418 * * [simplify]: Extracting #8: cost 51 inf + 72215 1553946727.465 * * [simplify]: Extracting #9: cost 5 inf + 131257 1553946727.523 * * [simplify]: Extracting #10: cost 0 inf + 138788 1553946727.584 * [simplify]: Simplified to (* (* (* (/ PI (sin (* PI z))) (sqrt (* 2 PI))) (/ (* (pow (+ (- 8 (+ z 1)) 0.5) (- 1 (+ z (- 1 0.5)))) 1) (exp (+ (- 8 (+ z 1)) 0.5)))) (+ (+ (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))) (+ (+ (/ 771.3234287776531 (+ (- 1 z) 2)) (/ -176.6150291621406 (+ (- 1 z) 3))) (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- 8 (+ z 1)))))) 1553946727.584 * [simplify]: Simplified (2) to (λ (z) (* (* (* (/ PI (sin (* PI z))) (sqrt (* 2 PI))) (/ (* (pow (+ (- 8 (+ z 1)) 0.5) (- 1 (+ z (- 1 0.5)))) 1) (exp (+ (- 8 (+ z 1)) 0.5)))) (+ (+ (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))) (+ (+ (/ 771.3234287776531 (+ (- 1 z) 2)) (/ -176.6150291621406 (+ (- 1 z) 3))) (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- 8 (+ z 1))))))) 1553946727.610 * * [progress]: iteration 1 / 4 1553946727.610 * * * [progress]: picking best candidate 1553946727.624 * * * * [pick]: Picked # 1553946727.624 * * * [progress]: localizing error 1553946727.788 * * * [progress]: generating rewritten candidates 1553946727.788 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 1553946727.792 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 1553946727.796 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 1553946727.801 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 1553946727.805 * * * [progress]: generating series expansions 1553946727.805 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 1553946727.805 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 1553946727.805 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1553946727.805 * [taylor]: Taking taylor expansion of (- z) in z 1553946727.806 * [taylor]: Taking taylor expansion of z in z 1553946727.806 * [backup-simplify]: Simplify 0 into 0 1553946727.806 * [backup-simplify]: Simplify 1 into 1 1553946727.806 * [taylor]: Taking taylor expansion of (- z) in z 1553946727.806 * [taylor]: Taking taylor expansion of z in z 1553946727.806 * [backup-simplify]: Simplify 0 into 0 1553946727.806 * [backup-simplify]: Simplify 1 into 1 1553946727.806 * [backup-simplify]: Simplify (- 0) into 0 1553946727.806 * [backup-simplify]: Simplify 0 into 0 1553946727.806 * [backup-simplify]: Simplify (- 1) into -1 1553946727.806 * [backup-simplify]: Simplify -1 into -1 1553946727.807 * [backup-simplify]: Simplify (- 0) into 0 1553946727.807 * [backup-simplify]: Simplify 0 into 0 1553946727.807 * [backup-simplify]: Simplify (- 0) into 0 1553946727.807 * [backup-simplify]: Simplify 0 into 0 1553946727.807 * [backup-simplify]: Simplify (- 0) into 0 1553946727.807 * [backup-simplify]: Simplify 0 into 0 1553946727.807 * [backup-simplify]: Simplify (- 0) into 0 1553946727.808 * [backup-simplify]: Simplify 0 into 0 1553946727.808 * [backup-simplify]: Simplify (- 0) into 0 1553946727.808 * [backup-simplify]: Simplify 0 into 0 1553946727.808 * [backup-simplify]: Simplify (- 0) into 0 1553946727.808 * [backup-simplify]: Simplify 0 into 0 1553946727.808 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 1553946727.808 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1553946727.808 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1553946727.808 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553946727.808 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553946727.808 * [taylor]: Taking taylor expansion of z in z 1553946727.808 * [backup-simplify]: Simplify 0 into 0 1553946727.808 * [backup-simplify]: Simplify 1 into 1 1553946727.808 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946727.809 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553946727.809 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553946727.809 * [taylor]: Taking taylor expansion of z in z 1553946727.809 * [backup-simplify]: Simplify 0 into 0 1553946727.809 * [backup-simplify]: Simplify 1 into 1 1553946727.809 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946727.809 * [backup-simplify]: Simplify (- 1) into -1 1553946727.809 * [backup-simplify]: Simplify -1 into -1 1553946727.810 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553946727.810 * [backup-simplify]: Simplify (- 0) into 0 1553946727.810 * [backup-simplify]: Simplify 0 into 0 1553946727.810 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.811 * [backup-simplify]: Simplify (- 0) into 0 1553946727.811 * [backup-simplify]: Simplify 0 into 0 1553946727.811 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.811 * [backup-simplify]: Simplify (- 0) into 0 1553946727.811 * [backup-simplify]: Simplify 0 into 0 1553946727.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.812 * [backup-simplify]: Simplify (- 0) into 0 1553946727.812 * [backup-simplify]: Simplify 0 into 0 1553946727.813 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.813 * [backup-simplify]: Simplify (- 0) into 0 1553946727.813 * [backup-simplify]: Simplify 0 into 0 1553946727.813 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.814 * [backup-simplify]: Simplify (- 0) into 0 1553946727.814 * [backup-simplify]: Simplify 0 into 0 1553946727.814 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1553946727.814 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1553946727.814 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1553946727.814 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553946727.814 * [taylor]: Taking taylor expansion of z in z 1553946727.814 * [backup-simplify]: Simplify 0 into 0 1553946727.814 * [backup-simplify]: Simplify 1 into 1 1553946727.814 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946727.814 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553946727.814 * [taylor]: Taking taylor expansion of z in z 1553946727.814 * [backup-simplify]: Simplify 0 into 0 1553946727.814 * [backup-simplify]: Simplify 1 into 1 1553946727.814 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946727.815 * [backup-simplify]: Simplify 1 into 1 1553946727.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553946727.815 * [backup-simplify]: Simplify 0 into 0 1553946727.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.816 * [backup-simplify]: Simplify 0 into 0 1553946727.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.816 * [backup-simplify]: Simplify 0 into 0 1553946727.817 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.817 * [backup-simplify]: Simplify 0 into 0 1553946727.817 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.818 * [backup-simplify]: Simplify 0 into 0 1553946727.818 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.818 * [backup-simplify]: Simplify 0 into 0 1553946727.818 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1553946727.818 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 1553946727.818 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 1553946727.818 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1553946727.818 * [taylor]: Taking taylor expansion of (- z) in z 1553946727.818 * [taylor]: Taking taylor expansion of z in z 1553946727.818 * [backup-simplify]: Simplify 0 into 0 1553946727.818 * [backup-simplify]: Simplify 1 into 1 1553946727.818 * [taylor]: Taking taylor expansion of (- z) in z 1553946727.818 * [taylor]: Taking taylor expansion of z in z 1553946727.818 * [backup-simplify]: Simplify 0 into 0 1553946727.818 * [backup-simplify]: Simplify 1 into 1 1553946727.819 * [backup-simplify]: Simplify (- 0) into 0 1553946727.819 * [backup-simplify]: Simplify 0 into 0 1553946727.819 * [backup-simplify]: Simplify (- 1) into -1 1553946727.819 * [backup-simplify]: Simplify -1 into -1 1553946727.819 * [backup-simplify]: Simplify (- 0) into 0 1553946727.819 * [backup-simplify]: Simplify 0 into 0 1553946727.819 * [backup-simplify]: Simplify (- 0) into 0 1553946727.819 * [backup-simplify]: Simplify 0 into 0 1553946727.820 * [backup-simplify]: Simplify (- 0) into 0 1553946727.820 * [backup-simplify]: Simplify 0 into 0 1553946727.820 * [backup-simplify]: Simplify (- 0) into 0 1553946727.820 * [backup-simplify]: Simplify 0 into 0 1553946727.820 * [backup-simplify]: Simplify (- 0) into 0 1553946727.820 * [backup-simplify]: Simplify 0 into 0 1553946727.821 * [backup-simplify]: Simplify (- 0) into 0 1553946727.821 * [backup-simplify]: Simplify 0 into 0 1553946727.821 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 1553946727.821 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1553946727.821 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1553946727.821 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553946727.821 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553946727.821 * [taylor]: Taking taylor expansion of z in z 1553946727.821 * [backup-simplify]: Simplify 0 into 0 1553946727.821 * [backup-simplify]: Simplify 1 into 1 1553946727.821 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946727.821 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553946727.821 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553946727.821 * [taylor]: Taking taylor expansion of z in z 1553946727.821 * [backup-simplify]: Simplify 0 into 0 1553946727.821 * [backup-simplify]: Simplify 1 into 1 1553946727.821 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946727.822 * [backup-simplify]: Simplify (- 1) into -1 1553946727.822 * [backup-simplify]: Simplify -1 into -1 1553946727.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553946727.822 * [backup-simplify]: Simplify (- 0) into 0 1553946727.822 * [backup-simplify]: Simplify 0 into 0 1553946727.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.823 * [backup-simplify]: Simplify (- 0) into 0 1553946727.823 * [backup-simplify]: Simplify 0 into 0 1553946727.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.824 * [backup-simplify]: Simplify (- 0) into 0 1553946727.824 * [backup-simplify]: Simplify 0 into 0 1553946727.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.825 * [backup-simplify]: Simplify (- 0) into 0 1553946727.825 * [backup-simplify]: Simplify 0 into 0 1553946727.825 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.825 * [backup-simplify]: Simplify (- 0) into 0 1553946727.825 * [backup-simplify]: Simplify 0 into 0 1553946727.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.826 * [backup-simplify]: Simplify (- 0) into 0 1553946727.826 * [backup-simplify]: Simplify 0 into 0 1553946727.826 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1553946727.826 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1553946727.826 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1553946727.826 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553946727.826 * [taylor]: Taking taylor expansion of z in z 1553946727.826 * [backup-simplify]: Simplify 0 into 0 1553946727.826 * [backup-simplify]: Simplify 1 into 1 1553946727.827 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946727.827 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553946727.827 * [taylor]: Taking taylor expansion of z in z 1553946727.827 * [backup-simplify]: Simplify 0 into 0 1553946727.827 * [backup-simplify]: Simplify 1 into 1 1553946727.827 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946727.827 * [backup-simplify]: Simplify 1 into 1 1553946727.827 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553946727.827 * [backup-simplify]: Simplify 0 into 0 1553946727.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.828 * [backup-simplify]: Simplify 0 into 0 1553946727.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.829 * [backup-simplify]: Simplify 0 into 0 1553946727.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.829 * [backup-simplify]: Simplify 0 into 0 1553946727.830 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.830 * [backup-simplify]: Simplify 0 into 0 1553946727.830 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.830 * [backup-simplify]: Simplify 0 into 0 1553946727.830 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1553946727.830 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 1553946727.830 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 1553946727.830 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1553946727.830 * [taylor]: Taking taylor expansion of (- z) in z 1553946727.830 * [taylor]: Taking taylor expansion of z in z 1553946727.831 * [backup-simplify]: Simplify 0 into 0 1553946727.831 * [backup-simplify]: Simplify 1 into 1 1553946727.831 * [taylor]: Taking taylor expansion of (- z) in z 1553946727.831 * [taylor]: Taking taylor expansion of z in z 1553946727.831 * [backup-simplify]: Simplify 0 into 0 1553946727.831 * [backup-simplify]: Simplify 1 into 1 1553946727.831 * [backup-simplify]: Simplify (- 0) into 0 1553946727.831 * [backup-simplify]: Simplify 0 into 0 1553946727.831 * [backup-simplify]: Simplify (- 1) into -1 1553946727.831 * [backup-simplify]: Simplify -1 into -1 1553946727.832 * [backup-simplify]: Simplify (- 0) into 0 1553946727.832 * [backup-simplify]: Simplify 0 into 0 1553946727.832 * [backup-simplify]: Simplify (- 0) into 0 1553946727.832 * [backup-simplify]: Simplify 0 into 0 1553946727.832 * [backup-simplify]: Simplify (- 0) into 0 1553946727.832 * [backup-simplify]: Simplify 0 into 0 1553946727.832 * [backup-simplify]: Simplify (- 0) into 0 1553946727.832 * [backup-simplify]: Simplify 0 into 0 1553946727.833 * [backup-simplify]: Simplify (- 0) into 0 1553946727.833 * [backup-simplify]: Simplify 0 into 0 1553946727.833 * [backup-simplify]: Simplify (- 0) into 0 1553946727.833 * [backup-simplify]: Simplify 0 into 0 1553946727.833 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 1553946727.833 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1553946727.833 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1553946727.833 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553946727.833 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553946727.833 * [taylor]: Taking taylor expansion of z in z 1553946727.833 * [backup-simplify]: Simplify 0 into 0 1553946727.833 * [backup-simplify]: Simplify 1 into 1 1553946727.833 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946727.833 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553946727.833 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553946727.833 * [taylor]: Taking taylor expansion of z in z 1553946727.833 * [backup-simplify]: Simplify 0 into 0 1553946727.833 * [backup-simplify]: Simplify 1 into 1 1553946727.834 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946727.834 * [backup-simplify]: Simplify (- 1) into -1 1553946727.834 * [backup-simplify]: Simplify -1 into -1 1553946727.834 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553946727.835 * [backup-simplify]: Simplify (- 0) into 0 1553946727.835 * [backup-simplify]: Simplify 0 into 0 1553946727.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.835 * [backup-simplify]: Simplify (- 0) into 0 1553946727.835 * [backup-simplify]: Simplify 0 into 0 1553946727.836 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.836 * [backup-simplify]: Simplify (- 0) into 0 1553946727.836 * [backup-simplify]: Simplify 0 into 0 1553946727.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.839 * [backup-simplify]: Simplify (- 0) into 0 1553946727.839 * [backup-simplify]: Simplify 0 into 0 1553946727.840 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.840 * [backup-simplify]: Simplify (- 0) into 0 1553946727.840 * [backup-simplify]: Simplify 0 into 0 1553946727.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.841 * [backup-simplify]: Simplify (- 0) into 0 1553946727.841 * [backup-simplify]: Simplify 0 into 0 1553946727.842 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1553946727.842 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1553946727.842 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1553946727.842 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553946727.842 * [taylor]: Taking taylor expansion of z in z 1553946727.842 * [backup-simplify]: Simplify 0 into 0 1553946727.842 * [backup-simplify]: Simplify 1 into 1 1553946727.842 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946727.842 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553946727.842 * [taylor]: Taking taylor expansion of z in z 1553946727.842 * [backup-simplify]: Simplify 0 into 0 1553946727.842 * [backup-simplify]: Simplify 1 into 1 1553946727.843 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946727.843 * [backup-simplify]: Simplify 1 into 1 1553946727.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553946727.844 * [backup-simplify]: Simplify 0 into 0 1553946727.845 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.845 * [backup-simplify]: Simplify 0 into 0 1553946727.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.846 * [backup-simplify]: Simplify 0 into 0 1553946727.847 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.847 * [backup-simplify]: Simplify 0 into 0 1553946727.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.848 * [backup-simplify]: Simplify 0 into 0 1553946727.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.849 * [backup-simplify]: Simplify 0 into 0 1553946727.849 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1553946727.849 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 1553946727.849 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 1553946727.849 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1553946727.849 * [taylor]: Taking taylor expansion of (- z) in z 1553946727.849 * [taylor]: Taking taylor expansion of z in z 1553946727.849 * [backup-simplify]: Simplify 0 into 0 1553946727.849 * [backup-simplify]: Simplify 1 into 1 1553946727.849 * [taylor]: Taking taylor expansion of (- z) in z 1553946727.849 * [taylor]: Taking taylor expansion of z in z 1553946727.849 * [backup-simplify]: Simplify 0 into 0 1553946727.849 * [backup-simplify]: Simplify 1 into 1 1553946727.850 * [backup-simplify]: Simplify (- 0) into 0 1553946727.850 * [backup-simplify]: Simplify 0 into 0 1553946727.850 * [backup-simplify]: Simplify (- 1) into -1 1553946727.850 * [backup-simplify]: Simplify -1 into -1 1553946727.850 * [backup-simplify]: Simplify (- 0) into 0 1553946727.850 * [backup-simplify]: Simplify 0 into 0 1553946727.851 * [backup-simplify]: Simplify (- 0) into 0 1553946727.851 * [backup-simplify]: Simplify 0 into 0 1553946727.851 * [backup-simplify]: Simplify (- 0) into 0 1553946727.851 * [backup-simplify]: Simplify 0 into 0 1553946727.852 * [backup-simplify]: Simplify (- 0) into 0 1553946727.852 * [backup-simplify]: Simplify 0 into 0 1553946727.852 * [backup-simplify]: Simplify (- 0) into 0 1553946727.852 * [backup-simplify]: Simplify 0 into 0 1553946727.852 * [backup-simplify]: Simplify (- 0) into 0 1553946727.852 * [backup-simplify]: Simplify 0 into 0 1553946727.853 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 1553946727.853 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1553946727.853 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1553946727.853 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553946727.853 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553946727.853 * [taylor]: Taking taylor expansion of z in z 1553946727.853 * [backup-simplify]: Simplify 0 into 0 1553946727.853 * [backup-simplify]: Simplify 1 into 1 1553946727.853 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946727.853 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553946727.853 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553946727.853 * [taylor]: Taking taylor expansion of z in z 1553946727.853 * [backup-simplify]: Simplify 0 into 0 1553946727.853 * [backup-simplify]: Simplify 1 into 1 1553946727.853 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946727.854 * [backup-simplify]: Simplify (- 1) into -1 1553946727.854 * [backup-simplify]: Simplify -1 into -1 1553946727.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553946727.854 * [backup-simplify]: Simplify (- 0) into 0 1553946727.854 * [backup-simplify]: Simplify 0 into 0 1553946727.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.855 * [backup-simplify]: Simplify (- 0) into 0 1553946727.855 * [backup-simplify]: Simplify 0 into 0 1553946727.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.856 * [backup-simplify]: Simplify (- 0) into 0 1553946727.856 * [backup-simplify]: Simplify 0 into 0 1553946727.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.857 * [backup-simplify]: Simplify (- 0) into 0 1553946727.857 * [backup-simplify]: Simplify 0 into 0 1553946727.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.857 * [backup-simplify]: Simplify (- 0) into 0 1553946727.857 * [backup-simplify]: Simplify 0 into 0 1553946727.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.858 * [backup-simplify]: Simplify (- 0) into 0 1553946727.858 * [backup-simplify]: Simplify 0 into 0 1553946727.858 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1553946727.858 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1553946727.858 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1553946727.858 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553946727.858 * [taylor]: Taking taylor expansion of z in z 1553946727.858 * [backup-simplify]: Simplify 0 into 0 1553946727.859 * [backup-simplify]: Simplify 1 into 1 1553946727.859 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946727.859 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553946727.859 * [taylor]: Taking taylor expansion of z in z 1553946727.859 * [backup-simplify]: Simplify 0 into 0 1553946727.859 * [backup-simplify]: Simplify 1 into 1 1553946727.859 * [backup-simplify]: Simplify (/ 1 1) into 1 1553946727.859 * [backup-simplify]: Simplify 1 into 1 1553946727.860 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553946727.860 * [backup-simplify]: Simplify 0 into 0 1553946727.860 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.860 * [backup-simplify]: Simplify 0 into 0 1553946727.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.861 * [backup-simplify]: Simplify 0 into 0 1553946727.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.861 * [backup-simplify]: Simplify 0 into 0 1553946727.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.862 * [backup-simplify]: Simplify 0 into 0 1553946727.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553946727.862 * [backup-simplify]: Simplify 0 into 0 1553946727.862 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1553946727.863 * * * [progress]: simplifying candidates 1553946727.863 * * * * [progress]: [ 1 / 100 ] simplifiying candidate # 1553946727.863 * * * * [progress]: [ 2 / 100 ] simplifiying candidate # 1553946727.863 * * * * [progress]: [ 3 / 100 ] simplifiying candidate # 1553946727.863 * [simplify]: Simplifying (log (- 1 z)) 1553946727.863 * * [simplify]: iters left: 3 (4 enodes) 1553946727.864 * * [simplify]: iters left: 2 (16 enodes) 1553946727.867 * * [simplify]: iters left: 1 (22 enodes) 1553946727.870 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946727.871 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946727.871 * * [simplify]: Extracting #2: cost 8 inf + 0 1553946727.871 * * [simplify]: Extracting #3: cost 4 inf + 84 1553946727.871 * * [simplify]: Extracting #4: cost 0 inf + 392 1553946727.871 * [simplify]: Simplified to (log (- 1 z)) 1553946727.871 * [simplify]: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (expm1 (log (- 1 z))) 8)))))) 1553946727.871 * * * * [progress]: [ 4 / 100 ] simplifiying candidate # 1553946727.871 * [simplify]: Simplifying (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1553946727.872 * * [simplify]: iters left: 5 (5 enodes) 1553946727.873 * * [simplify]: iters left: 4 (19 enodes) 1553946727.876 * * [simplify]: iters left: 3 (24 enodes) 1553946727.880 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946727.880 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946727.880 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946727.880 * * [simplify]: Extracting #3: cost 9 inf + 0 1553946727.880 * * [simplify]: Extracting #4: cost 7 inf + 43 1553946727.880 * * [simplify]: Extracting #5: cost 0 inf + 736 1553946727.880 * [simplify]: Simplified to (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1553946727.880 * [simplify]: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- 1)) 8)))))) 1553946727.881 * * * * [progress]: [ 5 / 100 ] simplifiying candidate # 1553946727.881 * [simplify]: Simplifying (sqrt (- 1 z)) 1553946727.881 * * [simplify]: iters left: 3 (4 enodes) 1553946727.882 * * [simplify]: iters left: 2 (16 enodes) 1553946727.885 * * [simplify]: iters left: 1 (21 enodes) 1553946727.891 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946727.891 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946727.891 * * [simplify]: Extracting #2: cost 7 inf + 0 1553946727.891 * * [simplify]: Extracting #3: cost 5 inf + 43 1553946727.892 * * [simplify]: Extracting #4: cost 0 inf + 332 1553946727.892 * [simplify]: Simplified to (sqrt (- 1 z)) 1553946727.892 * [simplify]: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- 1)) 8)))))) 1553946727.893 * * * * [progress]: [ 6 / 100 ] simplifiying candidate # 1553946727.893 * * * * [progress]: [ 7 / 100 ] simplifiying candidate # 1553946727.893 * * * * [progress]: [ 8 / 100 ] simplifiying candidate # 1553946727.893 * * * * [progress]: [ 9 / 100 ] simplifiying candidate # 1553946727.893 * * * * [progress]: [ 10 / 100 ] simplifiying candidate # 1553946727.893 * * * * [progress]: [ 11 / 100 ] simplifiying candidate # 1553946727.894 * * * * [progress]: [ 12 / 100 ] simplifiying candidate # 1553946727.894 * * * * [progress]: [ 13 / 100 ] simplifiying candidate # 1553946727.894 * * * * [progress]: [ 14 / 100 ] simplifiying candidate # 1553946727.894 * * * * [progress]: [ 15 / 100 ] simplifiying candidate # 1553946727.894 * * * * [progress]: [ 16 / 100 ] simplifiying candidate # 1553946727.894 * * * * [progress]: [ 17 / 100 ] simplifiying candidate # 1553946727.895 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 1553946727.895 * * [simplify]: iters left: 5 (5 enodes) 1553946727.897 * * [simplify]: iters left: 4 (20 enodes) 1553946727.900 * * [simplify]: iters left: 3 (25 enodes) 1553946727.904 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946727.904 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946727.904 * * [simplify]: Extracting #2: cost 5 inf + 1 1553946727.904 * * [simplify]: Extracting #3: cost 8 inf + 1 1553946727.904 * * [simplify]: Extracting #4: cost 1 inf + 535 1553946727.904 * * [simplify]: Extracting #5: cost 0 inf + 576 1553946727.905 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553946727.905 * [simplify]: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 8)))))) 1553946727.905 * * * * [progress]: [ 18 / 100 ] simplifiying candidate # 1553946727.905 * * * * [progress]: [ 19 / 100 ] simplifiying candidate # 1553946727.905 * * * * [progress]: [ 20 / 100 ] simplifiying candidate # 1553946727.905 * * * * [progress]: [ 21 / 100 ] simplifiying candidate # 1553946727.905 * * * * [progress]: [ 22 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553946727.906 * * * * [progress]: [ 23 / 100 ] simplifiying candidate # 1553946727.906 * * * * [progress]: [ 24 / 100 ] simplifiying candidate # 1553946727.906 * * * * [progress]: [ 25 / 100 ] simplifiying candidate # 1553946727.906 * [simplify]: Simplifying (log (- 1 z)) 1553946727.906 * * [simplify]: iters left: 3 (4 enodes) 1553946727.907 * * [simplify]: iters left: 2 (16 enodes) 1553946727.910 * * [simplify]: iters left: 1 (22 enodes) 1553946727.913 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946727.913 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946727.913 * * [simplify]: Extracting #2: cost 8 inf + 0 1553946727.913 * * [simplify]: Extracting #3: cost 4 inf + 84 1553946727.913 * * [simplify]: Extracting #4: cost 0 inf + 392 1553946727.913 * [simplify]: Simplified to (log (- 1 z)) 1553946727.913 * [simplify]: Simplified (2 2 2 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (expm1 (log (- 1 z))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946727.914 * * * * [progress]: [ 26 / 100 ] simplifiying candidate # 1553946727.914 * [simplify]: Simplifying (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1553946727.914 * * [simplify]: iters left: 5 (5 enodes) 1553946727.915 * * [simplify]: iters left: 4 (19 enodes) 1553946727.918 * * [simplify]: iters left: 3 (24 enodes) 1553946727.922 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946727.922 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946727.922 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946727.922 * * [simplify]: Extracting #3: cost 9 inf + 0 1553946727.923 * * [simplify]: Extracting #4: cost 7 inf + 43 1553946727.923 * * [simplify]: Extracting #5: cost 0 inf + 736 1553946727.923 * [simplify]: Simplified to (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1553946727.923 * [simplify]: Simplified (2 2 2 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- 1)) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946727.923 * * * * [progress]: [ 27 / 100 ] simplifiying candidate # 1553946727.924 * [simplify]: Simplifying (sqrt (- 1 z)) 1553946727.924 * * [simplify]: iters left: 3 (4 enodes) 1553946727.925 * * [simplify]: iters left: 2 (16 enodes) 1553946727.928 * * [simplify]: iters left: 1 (21 enodes) 1553946727.932 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946727.932 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946727.932 * * [simplify]: Extracting #2: cost 7 inf + 0 1553946727.932 * * [simplify]: Extracting #3: cost 5 inf + 43 1553946727.932 * * [simplify]: Extracting #4: cost 0 inf + 332 1553946727.932 * [simplify]: Simplified to (sqrt (- 1 z)) 1553946727.932 * [simplify]: Simplified (2 2 2 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- 1)) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946727.933 * * * * [progress]: [ 28 / 100 ] simplifiying candidate # 1553946727.933 * * * * [progress]: [ 29 / 100 ] simplifiying candidate # 1553946727.933 * * * * [progress]: [ 30 / 100 ] simplifiying candidate # 1553946727.933 * * * * [progress]: [ 31 / 100 ] simplifiying candidate # 1553946727.933 * * * * [progress]: [ 32 / 100 ] simplifiying candidate # 1553946727.933 * * * * [progress]: [ 33 / 100 ] simplifiying candidate # 1553946727.933 * * * * [progress]: [ 34 / 100 ] simplifiying candidate # 1553946727.933 * * * * [progress]: [ 35 / 100 ] simplifiying candidate # 1553946727.934 * * * * [progress]: [ 36 / 100 ] simplifiying candidate # 1553946727.934 * * * * [progress]: [ 37 / 100 ] simplifiying candidate # 1553946727.934 * * * * [progress]: [ 38 / 100 ] simplifiying candidate # 1553946727.934 * * * * [progress]: [ 39 / 100 ] simplifiying candidate # 1553946727.934 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 1553946727.934 * * [simplify]: iters left: 5 (5 enodes) 1553946727.936 * * [simplify]: iters left: 4 (20 enodes) 1553946727.941 * * [simplify]: iters left: 3 (25 enodes) 1553946727.945 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946727.945 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946727.945 * * [simplify]: Extracting #2: cost 5 inf + 1 1553946727.945 * * [simplify]: Extracting #3: cost 8 inf + 1 1553946727.945 * * [simplify]: Extracting #4: cost 1 inf + 535 1553946727.945 * * [simplify]: Extracting #5: cost 0 inf + 576 1553946727.945 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553946727.945 * [simplify]: Simplified (2 2 2 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946727.945 * * * * [progress]: [ 40 / 100 ] simplifiying candidate # 1553946727.946 * * * * [progress]: [ 41 / 100 ] simplifiying candidate # 1553946727.946 * * * * [progress]: [ 42 / 100 ] simplifiying candidate # 1553946727.946 * * * * [progress]: [ 43 / 100 ] simplifiying candidate # 1553946727.946 * * * * [progress]: [ 44 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1553946727.946 * * * * [progress]: [ 45 / 100 ] simplifiying candidate # 1553946727.946 * * * * [progress]: [ 46 / 100 ] simplifiying candidate # 1553946727.946 * * * * [progress]: [ 47 / 100 ] simplifiying candidate # 1553946727.946 * [simplify]: Simplifying (log (- 1 z)) 1553946727.946 * * [simplify]: iters left: 3 (4 enodes) 1553946727.948 * * [simplify]: iters left: 2 (16 enodes) 1553946727.951 * * [simplify]: iters left: 1 (22 enodes) 1553946727.954 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946727.955 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946727.955 * * [simplify]: Extracting #2: cost 8 inf + 0 1553946727.955 * * [simplify]: Extracting #3: cost 4 inf + 84 1553946727.955 * * [simplify]: Extracting #4: cost 0 inf + 392 1553946727.955 * [simplify]: Simplified to (log (- 1 z)) 1553946727.955 * [simplify]: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (expm1 (log (- 1 z))) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946727.955 * * * * [progress]: [ 48 / 100 ] simplifiying candidate # 1553946727.956 * [simplify]: Simplifying (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1553946727.956 * * [simplify]: iters left: 5 (5 enodes) 1553946727.958 * * [simplify]: iters left: 4 (19 enodes) 1553946727.963 * * [simplify]: iters left: 3 (24 enodes) 1553946727.971 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946727.971 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946727.971 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946727.971 * * [simplify]: Extracting #3: cost 9 inf + 0 1553946727.971 * * [simplify]: Extracting #4: cost 7 inf + 43 1553946727.971 * * [simplify]: Extracting #5: cost 0 inf + 736 1553946727.971 * [simplify]: Simplified to (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1553946727.971 * [simplify]: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- 1)) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946727.972 * * * * [progress]: [ 49 / 100 ] simplifiying candidate # 1553946727.973 * [simplify]: Simplifying (sqrt (- 1 z)) 1553946727.973 * * [simplify]: iters left: 3 (4 enodes) 1553946727.975 * * [simplify]: iters left: 2 (16 enodes) 1553946727.980 * * [simplify]: iters left: 1 (21 enodes) 1553946727.984 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946727.984 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946727.984 * * [simplify]: Extracting #2: cost 7 inf + 0 1553946727.984 * * [simplify]: Extracting #3: cost 5 inf + 43 1553946727.984 * * [simplify]: Extracting #4: cost 0 inf + 332 1553946727.984 * [simplify]: Simplified to (sqrt (- 1 z)) 1553946727.984 * [simplify]: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- 1)) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946727.985 * * * * [progress]: [ 50 / 100 ] simplifiying candidate # 1553946727.985 * * * * [progress]: [ 51 / 100 ] simplifiying candidate # 1553946727.985 * * * * [progress]: [ 52 / 100 ] simplifiying candidate # 1553946727.985 * * * * [progress]: [ 53 / 100 ] simplifiying candidate # 1553946727.985 * * * * [progress]: [ 54 / 100 ] simplifiying candidate # 1553946727.985 * * * * [progress]: [ 55 / 100 ] simplifiying candidate # 1553946727.985 * * * * [progress]: [ 56 / 100 ] simplifiying candidate # 1553946727.985 * * * * [progress]: [ 57 / 100 ] simplifiying candidate # 1553946727.985 * * * * [progress]: [ 58 / 100 ] simplifiying candidate # 1553946727.985 * * * * [progress]: [ 59 / 100 ] simplifiying candidate # 1553946727.985 * * * * [progress]: [ 60 / 100 ] simplifiying candidate # 1553946727.986 * * * * [progress]: [ 61 / 100 ] simplifiying candidate # 1553946727.986 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 1553946727.986 * * [simplify]: iters left: 5 (5 enodes) 1553946727.987 * * [simplify]: iters left: 4 (20 enodes) 1553946727.990 * * [simplify]: iters left: 3 (25 enodes) 1553946727.994 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946727.994 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946727.994 * * [simplify]: Extracting #2: cost 5 inf + 1 1553946727.994 * * [simplify]: Extracting #3: cost 8 inf + 1 1553946727.994 * * [simplify]: Extracting #4: cost 1 inf + 535 1553946727.994 * * [simplify]: Extracting #5: cost 0 inf + 576 1553946727.995 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553946727.995 * [simplify]: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946727.995 * * * * [progress]: [ 62 / 100 ] simplifiying candidate # 1553946727.995 * * * * [progress]: [ 63 / 100 ] simplifiying candidate # 1553946727.995 * * * * [progress]: [ 64 / 100 ] simplifiying candidate # 1553946727.995 * * * * [progress]: [ 65 / 100 ] simplifiying candidate # 1553946727.995 * * * * [progress]: [ 66 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1553946727.996 * * * * [progress]: [ 67 / 100 ] simplifiying candidate # 1553946727.996 * * * * [progress]: [ 68 / 100 ] simplifiying candidate # 1553946727.996 * * * * [progress]: [ 69 / 100 ] simplifiying candidate # 1553946727.996 * [simplify]: Simplifying (log (- 1 z)) 1553946727.996 * * [simplify]: iters left: 3 (4 enodes) 1553946727.997 * * [simplify]: iters left: 2 (16 enodes) 1553946728.000 * * [simplify]: iters left: 1 (22 enodes) 1553946728.003 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946728.003 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946728.003 * * [simplify]: Extracting #2: cost 8 inf + 0 1553946728.003 * * [simplify]: Extracting #3: cost 4 inf + 84 1553946728.003 * * [simplify]: Extracting #4: cost 0 inf + 392 1553946728.003 * [simplify]: Simplified to (log (- 1 z)) 1553946728.003 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (expm1 (log (- 1 z))) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946728.004 * * * * [progress]: [ 70 / 100 ] simplifiying candidate # 1553946728.004 * [simplify]: Simplifying (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1553946728.004 * * [simplify]: iters left: 5 (5 enodes) 1553946728.005 * * [simplify]: iters left: 4 (19 enodes) 1553946728.008 * * [simplify]: iters left: 3 (24 enodes) 1553946728.012 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946728.012 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946728.012 * * [simplify]: Extracting #2: cost 5 inf + 0 1553946728.012 * * [simplify]: Extracting #3: cost 9 inf + 0 1553946728.012 * * [simplify]: Extracting #4: cost 7 inf + 43 1553946728.012 * * [simplify]: Extracting #5: cost 0 inf + 736 1553946728.012 * [simplify]: Simplified to (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1553946728.012 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- 1)) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946728.013 * * * * [progress]: [ 71 / 100 ] simplifiying candidate # 1553946728.013 * [simplify]: Simplifying (sqrt (- 1 z)) 1553946728.013 * * [simplify]: iters left: 3 (4 enodes) 1553946728.016 * * [simplify]: iters left: 2 (16 enodes) 1553946728.021 * * [simplify]: iters left: 1 (21 enodes) 1553946728.027 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946728.027 * * [simplify]: Extracting #1: cost 3 inf + 0 1553946728.027 * * [simplify]: Extracting #2: cost 7 inf + 0 1553946728.027 * * [simplify]: Extracting #3: cost 5 inf + 43 1553946728.027 * * [simplify]: Extracting #4: cost 0 inf + 332 1553946728.028 * [simplify]: Simplified to (sqrt (- 1 z)) 1553946728.028 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- 1)) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946728.028 * * * * [progress]: [ 72 / 100 ] simplifiying candidate # 1553946728.029 * * * * [progress]: [ 73 / 100 ] simplifiying candidate # 1553946728.029 * * * * [progress]: [ 74 / 100 ] simplifiying candidate # 1553946728.029 * * * * [progress]: [ 75 / 100 ] simplifiying candidate # 1553946728.029 * * * * [progress]: [ 76 / 100 ] simplifiying candidate # 1553946728.029 * * * * [progress]: [ 77 / 100 ] simplifiying candidate # 1553946728.029 * * * * [progress]: [ 78 / 100 ] simplifiying candidate # 1553946728.030 * * * * [progress]: [ 79 / 100 ] simplifiying candidate # 1553946728.030 * * * * [progress]: [ 80 / 100 ] simplifiying candidate # 1553946728.030 * * * * [progress]: [ 81 / 100 ] simplifiying candidate # 1553946728.030 * * * * [progress]: [ 82 / 100 ] simplifiying candidate # 1553946728.030 * * * * [progress]: [ 83 / 100 ] simplifiying candidate # 1553946728.031 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 1553946728.031 * * [simplify]: iters left: 5 (5 enodes) 1553946728.034 * * [simplify]: iters left: 4 (20 enodes) 1553946728.040 * * [simplify]: iters left: 3 (25 enodes) 1553946728.047 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946728.047 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946728.047 * * [simplify]: Extracting #2: cost 5 inf + 1 1553946728.047 * * [simplify]: Extracting #3: cost 8 inf + 1 1553946728.047 * * [simplify]: Extracting #4: cost 1 inf + 535 1553946728.048 * * [simplify]: Extracting #5: cost 0 inf + 576 1553946728.048 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553946728.048 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946728.049 * * * * [progress]: [ 84 / 100 ] simplifiying candidate # 1553946728.049 * * * * [progress]: [ 85 / 100 ] simplifiying candidate # 1553946728.049 * * * * [progress]: [ 86 / 100 ] simplifiying candidate # 1553946728.049 * * * * [progress]: [ 87 / 100 ] simplifiying candidate # 1553946728.049 * * * * [progress]: [ 88 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1553946728.049 * * * * [progress]: [ 89 / 100 ] simplifiying candidate # 1553946728.050 * [simplify]: Simplifying (* -1 z) 1553946728.050 * * [simplify]: iters left: 2 (3 enodes) 1553946728.052 * * [simplify]: iters left: 1 (11 enodes) 1553946728.055 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946728.055 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946728.055 * * [simplify]: Extracting #2: cost 0 inf + 84 1553946728.055 * [simplify]: Simplified to (- z) 1553946728.055 * [simplify]: Simplified (2 2 2 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- z) 8)))))) 1553946728.056 * * * * [progress]: [ 90 / 100 ] simplifiying candidate # 1553946728.056 * [simplify]: Simplifying (* -1 z) 1553946728.056 * * [simplify]: iters left: 2 (3 enodes) 1553946728.058 * * [simplify]: iters left: 1 (11 enodes) 1553946728.061 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946728.061 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946728.061 * * [simplify]: Extracting #2: cost 0 inf + 84 1553946728.061 * [simplify]: Simplified to (- z) 1553946728.061 * [simplify]: Simplified (2 2 2 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- z) 8)))))) 1553946728.062 * * * * [progress]: [ 91 / 100 ] simplifiying candidate # 1553946728.062 * [simplify]: Simplifying (* -1 z) 1553946728.063 * * [simplify]: iters left: 2 (3 enodes) 1553946728.066 * * [simplify]: iters left: 1 (11 enodes) 1553946728.069 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946728.070 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946728.070 * * [simplify]: Extracting #2: cost 0 inf + 84 1553946728.070 * [simplify]: Simplified to (- z) 1553946728.070 * [simplify]: Simplified (2 2 2 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- z) 8)))))) 1553946728.070 * * * * [progress]: [ 92 / 100 ] simplifiying candidate # 1553946728.071 * [simplify]: Simplifying (* -1 z) 1553946728.071 * * [simplify]: iters left: 2 (3 enodes) 1553946728.073 * * [simplify]: iters left: 1 (11 enodes) 1553946728.076 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946728.076 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946728.076 * * [simplify]: Extracting #2: cost 0 inf + 84 1553946728.076 * [simplify]: Simplified to (- z) 1553946728.076 * [simplify]: Simplified (2 2 2 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- z) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946728.077 * * * * [progress]: [ 93 / 100 ] simplifiying candidate # 1553946728.078 * [simplify]: Simplifying (* -1 z) 1553946728.078 * * [simplify]: iters left: 2 (3 enodes) 1553946728.079 * * [simplify]: iters left: 1 (11 enodes) 1553946728.083 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946728.083 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946728.083 * * [simplify]: Extracting #2: cost 0 inf + 84 1553946728.083 * [simplify]: Simplified to (- z) 1553946728.083 * [simplify]: Simplified (2 2 2 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- z) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946728.084 * * * * [progress]: [ 94 / 100 ] simplifiying candidate # 1553946728.084 * [simplify]: Simplifying (* -1 z) 1553946728.084 * * [simplify]: iters left: 2 (3 enodes) 1553946728.085 * * [simplify]: iters left: 1 (11 enodes) 1553946728.087 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946728.087 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946728.087 * * [simplify]: Extracting #2: cost 0 inf + 84 1553946728.087 * [simplify]: Simplified to (- z) 1553946728.087 * [simplify]: Simplified (2 2 2 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- z) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946728.088 * * * * [progress]: [ 95 / 100 ] simplifiying candidate # 1553946728.088 * [simplify]: Simplifying (* -1 z) 1553946728.088 * * [simplify]: iters left: 2 (3 enodes) 1553946728.089 * * [simplify]: iters left: 1 (11 enodes) 1553946728.090 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946728.090 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946728.090 * * [simplify]: Extracting #2: cost 0 inf + 84 1553946728.090 * [simplify]: Simplified to (- z) 1553946728.090 * [simplify]: Simplified (2 2 2 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- z) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946728.091 * * * * [progress]: [ 96 / 100 ] simplifiying candidate # 1553946728.091 * [simplify]: Simplifying (* -1 z) 1553946728.091 * * [simplify]: iters left: 2 (3 enodes) 1553946728.092 * * [simplify]: iters left: 1 (11 enodes) 1553946728.094 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946728.094 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946728.094 * * [simplify]: Extracting #2: cost 0 inf + 84 1553946728.094 * [simplify]: Simplified to (- z) 1553946728.094 * [simplify]: Simplified (2 2 2 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- z) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946728.094 * * * * [progress]: [ 97 / 100 ] simplifiying candidate # 1553946728.094 * [simplify]: Simplifying (* -1 z) 1553946728.094 * * [simplify]: iters left: 2 (3 enodes) 1553946728.095 * * [simplify]: iters left: 1 (11 enodes) 1553946728.097 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946728.097 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946728.097 * * [simplify]: Extracting #2: cost 0 inf + 84 1553946728.097 * [simplify]: Simplified to (- z) 1553946728.097 * [simplify]: Simplified (2 2 2 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- z) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946728.097 * * * * [progress]: [ 98 / 100 ] simplifiying candidate # 1553946728.098 * [simplify]: Simplifying (* -1 z) 1553946728.098 * * [simplify]: iters left: 2 (3 enodes) 1553946728.099 * * [simplify]: iters left: 1 (11 enodes) 1553946728.100 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946728.100 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946728.100 * * [simplify]: Extracting #2: cost 0 inf + 84 1553946728.100 * [simplify]: Simplified to (- z) 1553946728.100 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- z) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946728.101 * * * * [progress]: [ 99 / 100 ] simplifiying candidate # 1553946728.101 * [simplify]: Simplifying (* -1 z) 1553946728.101 * * [simplify]: iters left: 2 (3 enodes) 1553946728.102 * * [simplify]: iters left: 1 (11 enodes) 1553946728.104 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946728.104 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946728.104 * * [simplify]: Extracting #2: cost 0 inf + 84 1553946728.104 * [simplify]: Simplified to (- z) 1553946728.104 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- z) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946728.104 * * * * [progress]: [ 100 / 100 ] simplifiying candidate # 1553946728.104 * [simplify]: Simplifying (* -1 z) 1553946728.104 * * [simplify]: iters left: 2 (3 enodes) 1553946728.105 * * [simplify]: iters left: 1 (11 enodes) 1553946728.107 * * [simplify]: Extracting #0: cost 1 inf + 0 1553946728.107 * * [simplify]: Extracting #1: cost 4 inf + 0 1553946728.107 * * [simplify]: Extracting #2: cost 0 inf + 84 1553946728.107 * [simplify]: Simplified to (- z) 1553946728.107 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- z) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553946728.107 * * * [progress]: adding candidates to table 1553946732.122 * * [progress]: iteration 2 / 4 1553946732.122 * * * [progress]: picking best candidate 1553946732.142 * * * * [pick]: Picked #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1553946732.142 * * * [progress]: localizing error