33.841 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 3.567 * * * [progress]: [2/2] Setting up program. 3.594 * [progress]: [Phase 2 of 3] Improving. 3.594 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 3.594 * [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))))) 3.595 * * [simplify]: iteration 0: 60 enodes 3.623 * * [simplify]: iteration 1: 155 enodes 3.690 * * [simplify]: iteration 2: 625 enodes 3.884 * * [simplify]: iteration 3: 2001 enodes 4.401 * * [simplify]: iteration complete: 2001 enodes 4.401 * * [simplify]: Extracting #0: cost 1 inf + 0 4.401 * * [simplify]: Extracting #1: cost 88 inf + 0 4.402 * * [simplify]: Extracting #2: cost 476 inf + 1 4.404 * * [simplify]: Extracting #3: cost 830 inf + 3 4.407 * * [simplify]: Extracting #4: cost 914 inf + 86 4.412 * * [simplify]: Extracting #5: cost 897 inf + 3148 4.430 * * [simplify]: Extracting #6: cost 766 inf + 19246 4.461 * * [simplify]: Extracting #7: cost 617 inf + 101396 4.590 * * [simplify]: Extracting #8: cost 171 inf + 565637 4.808 * * [simplify]: Extracting #9: cost 9 inf + 769270 5.014 * * [simplify]: Extracting #10: cost 0 inf + 780474 5.212 * [simplify]: Simplified to: (* (* (/ PI (sin (* PI z))) (+ (+ (/ 1.5056327351493116e-07 (- 1 (+ z -7))) (/ 12.507343278686905 (- 1 (+ z -4)))) (+ (+ (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (+ (/ -1259.1392167224028 (+ 2 (- z))) (/ 771.3234287776531 (+ (- 1 z) 2)))) (+ (/ 9.984369578019572e-06 (+ (- 1 z) 6)) (/ -0.13857109526572012 (- 7 (+ z 1))))))) (* (/ (pow (+ (+ (- 1 z) 6) 0.5) (- (- 1 z) (- 1 0.5))) (exp (+ (+ (- 1 z) 6) 0.5))) (sqrt (* 2 PI)))) 5.212 * * [progress]: iteration 1 / 4 5.212 * * * [progress]: picking best candidate 5.232 * * * * [pick]: Picked # 5.232 * * * [progress]: localizing error 5.469 * * * [progress]: generating rewritten candidates 5.469 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 5.529 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 5.562 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 5.596 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 5.660 * * * [progress]: generating series expansions 5.660 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 5.661 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 5.661 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.661 * [taylor]: Taking taylor expansion of (- z) in z 5.661 * [taylor]: Taking taylor expansion of z in z 5.661 * [backup-simplify]: Simplify 0 into 0 5.661 * [backup-simplify]: Simplify 1 into 1 5.661 * [taylor]: Taking taylor expansion of (- z) in z 5.661 * [taylor]: Taking taylor expansion of z in z 5.661 * [backup-simplify]: Simplify 0 into 0 5.661 * [backup-simplify]: Simplify 1 into 1 5.662 * [backup-simplify]: Simplify (- 0) into 0 5.662 * [backup-simplify]: Simplify 0 into 0 5.662 * [backup-simplify]: Simplify (- 1) into -1 5.662 * [backup-simplify]: Simplify -1 into -1 5.663 * [backup-simplify]: Simplify (- 0) into 0 5.663 * [backup-simplify]: Simplify 0 into 0 5.663 * [backup-simplify]: Simplify (- 0) into 0 5.663 * [backup-simplify]: Simplify 0 into 0 5.664 * [backup-simplify]: Simplify (- 0) into 0 5.664 * [backup-simplify]: Simplify 0 into 0 5.664 * [backup-simplify]: Simplify (- 0) into 0 5.664 * [backup-simplify]: Simplify 0 into 0 5.665 * [backup-simplify]: Simplify (- 0) into 0 5.665 * [backup-simplify]: Simplify 0 into 0 5.665 * [backup-simplify]: Simplify (- 0) into 0 5.665 * [backup-simplify]: Simplify 0 into 0 5.665 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 5.665 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 5.665 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.665 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.665 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.665 * [taylor]: Taking taylor expansion of z in z 5.665 * [backup-simplify]: Simplify 0 into 0 5.665 * [backup-simplify]: Simplify 1 into 1 5.666 * [backup-simplify]: Simplify (/ 1 1) into 1 5.666 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.666 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.666 * [taylor]: Taking taylor expansion of z in z 5.666 * [backup-simplify]: Simplify 0 into 0 5.666 * [backup-simplify]: Simplify 1 into 1 5.666 * [backup-simplify]: Simplify (/ 1 1) into 1 5.667 * [backup-simplify]: Simplify (- 1) into -1 5.667 * [backup-simplify]: Simplify -1 into -1 5.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.668 * [backup-simplify]: Simplify (- 0) into 0 5.668 * [backup-simplify]: Simplify 0 into 0 5.669 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.670 * [backup-simplify]: Simplify (- 0) into 0 5.670 * [backup-simplify]: Simplify 0 into 0 5.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.671 * [backup-simplify]: Simplify (- 0) into 0 5.671 * [backup-simplify]: Simplify 0 into 0 5.672 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.672 * [backup-simplify]: Simplify (- 0) into 0 5.672 * [backup-simplify]: Simplify 0 into 0 5.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.674 * [backup-simplify]: Simplify (- 0) into 0 5.674 * [backup-simplify]: Simplify 0 into 0 5.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.675 * [backup-simplify]: Simplify (- 0) into 0 5.675 * [backup-simplify]: Simplify 0 into 0 5.675 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 5.675 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 5.675 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.676 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.676 * [taylor]: Taking taylor expansion of z in z 5.676 * [backup-simplify]: Simplify 0 into 0 5.676 * [backup-simplify]: Simplify 1 into 1 5.676 * [backup-simplify]: Simplify (/ 1 1) into 1 5.676 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.676 * [taylor]: Taking taylor expansion of z in z 5.676 * [backup-simplify]: Simplify 0 into 0 5.676 * [backup-simplify]: Simplify 1 into 1 5.676 * [backup-simplify]: Simplify (/ 1 1) into 1 5.677 * [backup-simplify]: Simplify 1 into 1 5.677 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.677 * [backup-simplify]: Simplify 0 into 0 5.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.678 * [backup-simplify]: Simplify 0 into 0 5.679 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.679 * [backup-simplify]: Simplify 0 into 0 5.680 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.680 * [backup-simplify]: Simplify 0 into 0 5.681 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.681 * [backup-simplify]: Simplify 0 into 0 5.682 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.682 * [backup-simplify]: Simplify 0 into 0 5.683 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 5.683 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 5.683 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 5.683 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.683 * [taylor]: Taking taylor expansion of (- z) in z 5.683 * [taylor]: Taking taylor expansion of z in z 5.683 * [backup-simplify]: Simplify 0 into 0 5.683 * [backup-simplify]: Simplify 1 into 1 5.683 * [taylor]: Taking taylor expansion of (- z) in z 5.683 * [taylor]: Taking taylor expansion of z in z 5.683 * [backup-simplify]: Simplify 0 into 0 5.683 * [backup-simplify]: Simplify 1 into 1 5.683 * [backup-simplify]: Simplify (- 0) into 0 5.683 * [backup-simplify]: Simplify 0 into 0 5.684 * [backup-simplify]: Simplify (- 1) into -1 5.684 * [backup-simplify]: Simplify -1 into -1 5.684 * [backup-simplify]: Simplify (- 0) into 0 5.684 * [backup-simplify]: Simplify 0 into 0 5.685 * [backup-simplify]: Simplify (- 0) into 0 5.685 * [backup-simplify]: Simplify 0 into 0 5.685 * [backup-simplify]: Simplify (- 0) into 0 5.685 * [backup-simplify]: Simplify 0 into 0 5.686 * [backup-simplify]: Simplify (- 0) into 0 5.686 * [backup-simplify]: Simplify 0 into 0 5.686 * [backup-simplify]: Simplify (- 0) into 0 5.686 * [backup-simplify]: Simplify 0 into 0 5.686 * [backup-simplify]: Simplify (- 0) into 0 5.686 * [backup-simplify]: Simplify 0 into 0 5.686 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 5.687 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 5.687 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.687 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.687 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.687 * [taylor]: Taking taylor expansion of z in z 5.687 * [backup-simplify]: Simplify 0 into 0 5.687 * [backup-simplify]: Simplify 1 into 1 5.687 * [backup-simplify]: Simplify (/ 1 1) into 1 5.687 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.687 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.687 * [taylor]: Taking taylor expansion of z in z 5.687 * [backup-simplify]: Simplify 0 into 0 5.687 * [backup-simplify]: Simplify 1 into 1 5.688 * [backup-simplify]: Simplify (/ 1 1) into 1 5.688 * [backup-simplify]: Simplify (- 1) into -1 5.688 * [backup-simplify]: Simplify -1 into -1 5.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.689 * [backup-simplify]: Simplify (- 0) into 0 5.689 * [backup-simplify]: Simplify 0 into 0 5.690 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.691 * [backup-simplify]: Simplify (- 0) into 0 5.691 * [backup-simplify]: Simplify 0 into 0 5.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.692 * [backup-simplify]: Simplify (- 0) into 0 5.692 * [backup-simplify]: Simplify 0 into 0 5.693 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.694 * [backup-simplify]: Simplify (- 0) into 0 5.694 * [backup-simplify]: Simplify 0 into 0 5.695 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.695 * [backup-simplify]: Simplify (- 0) into 0 5.695 * [backup-simplify]: Simplify 0 into 0 5.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.697 * [backup-simplify]: Simplify (- 0) into 0 5.697 * [backup-simplify]: Simplify 0 into 0 5.697 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 5.697 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 5.697 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.697 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.697 * [taylor]: Taking taylor expansion of z in z 5.697 * [backup-simplify]: Simplify 0 into 0 5.697 * [backup-simplify]: Simplify 1 into 1 5.697 * [backup-simplify]: Simplify (/ 1 1) into 1 5.698 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.698 * [taylor]: Taking taylor expansion of z in z 5.698 * [backup-simplify]: Simplify 0 into 0 5.698 * [backup-simplify]: Simplify 1 into 1 5.698 * [backup-simplify]: Simplify (/ 1 1) into 1 5.698 * [backup-simplify]: Simplify 1 into 1 5.699 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.699 * [backup-simplify]: Simplify 0 into 0 5.700 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.700 * [backup-simplify]: Simplify 0 into 0 5.701 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.701 * [backup-simplify]: Simplify 0 into 0 5.702 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.702 * [backup-simplify]: Simplify 0 into 0 5.703 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.703 * [backup-simplify]: Simplify 0 into 0 5.704 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.704 * [backup-simplify]: Simplify 0 into 0 5.704 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 5.704 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 5.704 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 5.704 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.705 * [taylor]: Taking taylor expansion of (- z) in z 5.705 * [taylor]: Taking taylor expansion of z in z 5.705 * [backup-simplify]: Simplify 0 into 0 5.705 * [backup-simplify]: Simplify 1 into 1 5.705 * [taylor]: Taking taylor expansion of (- z) in z 5.705 * [taylor]: Taking taylor expansion of z in z 5.705 * [backup-simplify]: Simplify 0 into 0 5.705 * [backup-simplify]: Simplify 1 into 1 5.705 * [backup-simplify]: Simplify (- 0) into 0 5.705 * [backup-simplify]: Simplify 0 into 0 5.708 * [backup-simplify]: Simplify (- 1) into -1 5.708 * [backup-simplify]: Simplify -1 into -1 5.709 * [backup-simplify]: Simplify (- 0) into 0 5.709 * [backup-simplify]: Simplify 0 into 0 5.709 * [backup-simplify]: Simplify (- 0) into 0 5.709 * [backup-simplify]: Simplify 0 into 0 5.709 * [backup-simplify]: Simplify (- 0) into 0 5.709 * [backup-simplify]: Simplify 0 into 0 5.710 * [backup-simplify]: Simplify (- 0) into 0 5.710 * [backup-simplify]: Simplify 0 into 0 5.710 * [backup-simplify]: Simplify (- 0) into 0 5.710 * [backup-simplify]: Simplify 0 into 0 5.710 * [backup-simplify]: Simplify (- 0) into 0 5.710 * [backup-simplify]: Simplify 0 into 0 5.710 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 5.710 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 5.710 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.710 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.710 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.710 * [taylor]: Taking taylor expansion of z in z 5.710 * [backup-simplify]: Simplify 0 into 0 5.710 * [backup-simplify]: Simplify 1 into 1 5.711 * [backup-simplify]: Simplify (/ 1 1) into 1 5.711 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.711 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.711 * [taylor]: Taking taylor expansion of z in z 5.711 * [backup-simplify]: Simplify 0 into 0 5.711 * [backup-simplify]: Simplify 1 into 1 5.711 * [backup-simplify]: Simplify (/ 1 1) into 1 5.711 * [backup-simplify]: Simplify (- 1) into -1 5.711 * [backup-simplify]: Simplify -1 into -1 5.712 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.712 * [backup-simplify]: Simplify (- 0) into 0 5.712 * [backup-simplify]: Simplify 0 into 0 5.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.713 * [backup-simplify]: Simplify (- 0) into 0 5.713 * [backup-simplify]: Simplify 0 into 0 5.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.714 * [backup-simplify]: Simplify (- 0) into 0 5.714 * [backup-simplify]: Simplify 0 into 0 5.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.715 * [backup-simplify]: Simplify (- 0) into 0 5.715 * [backup-simplify]: Simplify 0 into 0 5.715 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.715 * [backup-simplify]: Simplify (- 0) into 0 5.715 * [backup-simplify]: Simplify 0 into 0 5.716 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.716 * [backup-simplify]: Simplify (- 0) into 0 5.716 * [backup-simplify]: Simplify 0 into 0 5.716 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 5.717 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 5.717 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.717 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.717 * [taylor]: Taking taylor expansion of z in z 5.717 * [backup-simplify]: Simplify 0 into 0 5.717 * [backup-simplify]: Simplify 1 into 1 5.717 * [backup-simplify]: Simplify (/ 1 1) into 1 5.717 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.717 * [taylor]: Taking taylor expansion of z in z 5.717 * [backup-simplify]: Simplify 0 into 0 5.717 * [backup-simplify]: Simplify 1 into 1 5.717 * [backup-simplify]: Simplify (/ 1 1) into 1 5.717 * [backup-simplify]: Simplify 1 into 1 5.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.718 * [backup-simplify]: Simplify 0 into 0 5.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.718 * [backup-simplify]: Simplify 0 into 0 5.719 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.719 * [backup-simplify]: Simplify 0 into 0 5.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.720 * [backup-simplify]: Simplify 0 into 0 5.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.720 * [backup-simplify]: Simplify 0 into 0 5.721 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.721 * [backup-simplify]: Simplify 0 into 0 5.721 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 5.721 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 5.721 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 5.721 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 5.721 * [taylor]: Taking taylor expansion of (- z) in z 5.721 * [taylor]: Taking taylor expansion of z in z 5.721 * [backup-simplify]: Simplify 0 into 0 5.721 * [backup-simplify]: Simplify 1 into 1 5.721 * [taylor]: Taking taylor expansion of (- z) in z 5.721 * [taylor]: Taking taylor expansion of z in z 5.721 * [backup-simplify]: Simplify 0 into 0 5.721 * [backup-simplify]: Simplify 1 into 1 5.722 * [backup-simplify]: Simplify (- 0) into 0 5.722 * [backup-simplify]: Simplify 0 into 0 5.722 * [backup-simplify]: Simplify (- 1) into -1 5.722 * [backup-simplify]: Simplify -1 into -1 5.722 * [backup-simplify]: Simplify (- 0) into 0 5.722 * [backup-simplify]: Simplify 0 into 0 5.722 * [backup-simplify]: Simplify (- 0) into 0 5.722 * [backup-simplify]: Simplify 0 into 0 5.723 * [backup-simplify]: Simplify (- 0) into 0 5.723 * [backup-simplify]: Simplify 0 into 0 5.723 * [backup-simplify]: Simplify (- 0) into 0 5.723 * [backup-simplify]: Simplify 0 into 0 5.723 * [backup-simplify]: Simplify (- 0) into 0 5.723 * [backup-simplify]: Simplify 0 into 0 5.723 * [backup-simplify]: Simplify (- 0) into 0 5.723 * [backup-simplify]: Simplify 0 into 0 5.723 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 5.724 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 5.724 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 5.724 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.724 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.724 * [taylor]: Taking taylor expansion of z in z 5.724 * [backup-simplify]: Simplify 0 into 0 5.724 * [backup-simplify]: Simplify 1 into 1 5.724 * [backup-simplify]: Simplify (/ 1 1) into 1 5.724 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 5.724 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.724 * [taylor]: Taking taylor expansion of z in z 5.724 * [backup-simplify]: Simplify 0 into 0 5.724 * [backup-simplify]: Simplify 1 into 1 5.724 * [backup-simplify]: Simplify (/ 1 1) into 1 5.725 * [backup-simplify]: Simplify (- 1) into -1 5.725 * [backup-simplify]: Simplify -1 into -1 5.725 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.725 * [backup-simplify]: Simplify (- 0) into 0 5.725 * [backup-simplify]: Simplify 0 into 0 5.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.726 * [backup-simplify]: Simplify (- 0) into 0 5.726 * [backup-simplify]: Simplify 0 into 0 5.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.727 * [backup-simplify]: Simplify (- 0) into 0 5.727 * [backup-simplify]: Simplify 0 into 0 5.728 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.728 * [backup-simplify]: Simplify (- 0) into 0 5.728 * [backup-simplify]: Simplify 0 into 0 5.728 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.729 * [backup-simplify]: Simplify (- 0) into 0 5.729 * [backup-simplify]: Simplify 0 into 0 5.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.730 * [backup-simplify]: Simplify (- 0) into 0 5.730 * [backup-simplify]: Simplify 0 into 0 5.730 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 5.730 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 5.730 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 5.730 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.730 * [taylor]: Taking taylor expansion of z in z 5.730 * [backup-simplify]: Simplify 0 into 0 5.730 * [backup-simplify]: Simplify 1 into 1 5.730 * [backup-simplify]: Simplify (/ 1 1) into 1 5.730 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.730 * [taylor]: Taking taylor expansion of z in z 5.730 * [backup-simplify]: Simplify 0 into 0 5.730 * [backup-simplify]: Simplify 1 into 1 5.730 * [backup-simplify]: Simplify (/ 1 1) into 1 5.731 * [backup-simplify]: Simplify 1 into 1 5.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.731 * [backup-simplify]: Simplify 0 into 0 5.732 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.732 * [backup-simplify]: Simplify 0 into 0 5.732 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.732 * [backup-simplify]: Simplify 0 into 0 5.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.733 * [backup-simplify]: Simplify 0 into 0 5.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.733 * [backup-simplify]: Simplify 0 into 0 5.734 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.734 * [backup-simplify]: Simplify 0 into 0 5.734 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 5.734 * * * [progress]: simplifying candidates 5.734 * * * * [progress]: [ 1 / 244 ] simplifiying candidate # 5.734 * * * * [progress]: [ 2 / 244 ] simplifiying candidate # 5.734 * * * * [progress]: [ 3 / 244 ] simplifiying candidate # 5.735 * * * * [progress]: [ 4 / 244 ] simplifiying candidate # 5.735 * * * * [progress]: [ 5 / 244 ] simplifiying candidate # 5.735 * * * * [progress]: [ 6 / 244 ] simplifiying candidate # 5.735 * * * * [progress]: [ 7 / 244 ] simplifiying candidate # 5.735 * * * * [progress]: [ 8 / 244 ] simplifiying candidate # 5.735 * * * * [progress]: [ 9 / 244 ] simplifiying candidate # 5.735 * * * * [progress]: [ 10 / 244 ] simplifiying candidate # 5.735 * * * * [progress]: [ 11 / 244 ] simplifiying candidate # 5.735 * * * * [progress]: [ 12 / 244 ] simplifiying candidate # 5.735 * * * * [progress]: [ 13 / 244 ] simplifiying candidate # 5.735 * * * * [progress]: [ 14 / 244 ] simplifiying candidate # 5.736 * * * * [progress]: [ 15 / 244 ] simplifiying candidate # 5.736 * * * * [progress]: [ 16 / 244 ] simplifiying candidate # 5.736 * * * * [progress]: [ 17 / 244 ] simplifiying candidate # 5.736 * * * * [progress]: [ 18 / 244 ] simplifiying candidate # 5.736 * * * * [progress]: [ 19 / 244 ] simplifiying candidate # 5.736 * * * * [progress]: [ 20 / 244 ] simplifiying candidate # 5.736 * * * * [progress]: [ 21 / 244 ] simplifiying candidate # 5.736 * * * * [progress]: [ 22 / 244 ] simplifiying candidate # 5.736 * * * * [progress]: [ 23 / 244 ] simplifiying candidate # 5.736 * * * * [progress]: [ 24 / 244 ] simplifiying candidate # 5.736 * * * * [progress]: [ 25 / 244 ] simplifiying candidate # 5.737 * * * * [progress]: [ 26 / 244 ] simplifiying candidate # 5.737 * * * * [progress]: [ 27 / 244 ] simplifiying candidate # 5.737 * * * * [progress]: [ 28 / 244 ] simplifiying candidate # 5.737 * * * * [progress]: [ 29 / 244 ] simplifiying candidate # 5.737 * * * * [progress]: [ 30 / 244 ] simplifiying candidate # 5.737 * * * * [progress]: [ 31 / 244 ] simplifiying candidate # 5.737 * * * * [progress]: [ 32 / 244 ] simplifiying candidate # 5.737 * * * * [progress]: [ 33 / 244 ] simplifiying candidate # 5.737 * * * * [progress]: [ 34 / 244 ] simplifiying candidate # 5.737 * * * * [progress]: [ 35 / 244 ] simplifiying candidate # 5.737 * * * * [progress]: [ 36 / 244 ] simplifiying candidate # 5.738 * * * * [progress]: [ 37 / 244 ] simplifiying candidate # 5.738 * * * * [progress]: [ 38 / 244 ] simplifiying candidate # 5.738 * * * * [progress]: [ 39 / 244 ] simplifiying candidate # 5.738 * * * * [progress]: [ 40 / 244 ] simplifiying candidate # 5.738 * * * * [progress]: [ 41 / 244 ] simplifiying candidate # 5.738 * * * * [progress]: [ 42 / 244 ] simplifiying candidate # 5.738 * * * * [progress]: [ 43 / 244 ] simplifiying candidate # 5.738 * * * * [progress]: [ 44 / 244 ] simplifiying candidate # 5.738 * * * * [progress]: [ 45 / 244 ] simplifiying candidate # 5.738 * * * * [progress]: [ 46 / 244 ] simplifiying candidate # 5.738 * * * * [progress]: [ 47 / 244 ] simplifiying candidate # 5.739 * * * * [progress]: [ 48 / 244 ] simplifiying candidate # 5.739 * * * * [progress]: [ 49 / 244 ] simplifiying candidate # 5.739 * * * * [progress]: [ 50 / 244 ] simplifiying candidate # 5.739 * * * * [progress]: [ 51 / 244 ] simplifiying candidate # 5.739 * * * * [progress]: [ 52 / 244 ] simplifiying candidate # 5.739 * * * * [progress]: [ 53 / 244 ] simplifiying candidate # 5.739 * * * * [progress]: [ 54 / 244 ] simplifiying candidate # 5.739 * * * * [progress]: [ 55 / 244 ] simplifiying candidate # 5.739 * * * * [progress]: [ 56 / 244 ] simplifiying candidate # 5.739 * * * * [progress]: [ 57 / 244 ] simplifiying candidate # 5.739 * * * * [progress]: [ 58 / 244 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 5.739 * * * * [progress]: [ 59 / 244 ] simplifiying candidate # 5.740 * * * * [progress]: [ 60 / 244 ] simplifiying candidate # 5.740 * * * * [progress]: [ 61 / 244 ] simplifiying candidate # 5.740 * * * * [progress]: [ 62 / 244 ] simplifiying candidate # 5.740 * * * * [progress]: [ 63 / 244 ] simplifiying candidate # 5.740 * * * * [progress]: [ 64 / 244 ] simplifiying candidate # 5.740 * * * * [progress]: [ 65 / 244 ] simplifiying candidate # 5.740 * * * * [progress]: [ 66 / 244 ] simplifiying candidate # 5.740 * * * * [progress]: [ 67 / 244 ] simplifiying candidate # 5.740 * * * * [progress]: [ 68 / 244 ] simplifiying candidate # 5.740 * * * * [progress]: [ 69 / 244 ] simplifiying candidate # 5.741 * * * * [progress]: [ 70 / 244 ] simplifiying candidate # 5.741 * * * * [progress]: [ 71 / 244 ] simplifiying candidate # 5.741 * * * * [progress]: [ 72 / 244 ] simplifiying candidate # 5.741 * * * * [progress]: [ 73 / 244 ] simplifiying candidate # 5.741 * * * * [progress]: [ 74 / 244 ] simplifiying candidate # 5.741 * * * * [progress]: [ 75 / 244 ] simplifiying candidate # 5.741 * * * * [progress]: [ 76 / 244 ] simplifiying candidate # 5.741 * * * * [progress]: [ 77 / 244 ] simplifiying candidate # 5.741 * * * * [progress]: [ 78 / 244 ] simplifiying candidate # 5.741 * * * * [progress]: [ 79 / 244 ] simplifiying candidate # 5.741 * * * * [progress]: [ 80 / 244 ] simplifiying candidate # 5.742 * * * * [progress]: [ 81 / 244 ] simplifiying candidate # 5.742 * * * * [progress]: [ 82 / 244 ] simplifiying candidate # 5.742 * * * * [progress]: [ 83 / 244 ] simplifiying candidate # 5.742 * * * * [progress]: [ 84 / 244 ] simplifiying candidate # 5.742 * * * * [progress]: [ 85 / 244 ] simplifiying candidate # 5.742 * * * * [progress]: [ 86 / 244 ] simplifiying candidate # 5.742 * * * * [progress]: [ 87 / 244 ] simplifiying candidate # 5.742 * * * * [progress]: [ 88 / 244 ] simplifiying candidate # 5.742 * * * * [progress]: [ 89 / 244 ] simplifiying candidate # 5.742 * * * * [progress]: [ 90 / 244 ] simplifiying candidate # 5.742 * * * * [progress]: [ 91 / 244 ] simplifiying candidate # 5.743 * * * * [progress]: [ 92 / 244 ] simplifiying candidate # 5.743 * * * * [progress]: [ 93 / 244 ] simplifiying candidate # 5.743 * * * * [progress]: [ 94 / 244 ] simplifiying candidate # 5.743 * * * * [progress]: [ 95 / 244 ] simplifiying candidate # 5.743 * * * * [progress]: [ 96 / 244 ] simplifiying candidate # 5.743 * * * * [progress]: [ 97 / 244 ] simplifiying candidate # 5.743 * * * * [progress]: [ 98 / 244 ] simplifiying candidate # 5.743 * * * * [progress]: [ 99 / 244 ] simplifiying candidate # 5.743 * * * * [progress]: [ 100 / 244 ] simplifiying candidate # 5.743 * * * * [progress]: [ 101 / 244 ] simplifiying candidate # 5.744 * * * * [progress]: [ 102 / 244 ] simplifiying candidate # 5.744 * * * * [progress]: [ 103 / 244 ] simplifiying candidate # 5.744 * * * * [progress]: [ 104 / 244 ] simplifiying candidate # 5.744 * * * * [progress]: [ 105 / 244 ] simplifiying candidate # 5.744 * * * * [progress]: [ 106 / 244 ] simplifiying candidate # 5.744 * * * * [progress]: [ 107 / 244 ] simplifiying candidate # 5.744 * * * * [progress]: [ 108 / 244 ] simplifiying candidate # 5.744 * * * * [progress]: [ 109 / 244 ] simplifiying candidate # 5.744 * * * * [progress]: [ 110 / 244 ] simplifiying candidate # 5.744 * * * * [progress]: [ 111 / 244 ] simplifiying candidate # 5.745 * * * * [progress]: [ 112 / 244 ] simplifiying candidate # 5.745 * * * * [progress]: [ 113 / 244 ] simplifiying candidate # 5.745 * * * * [progress]: [ 114 / 244 ] simplifiying candidate # 5.745 * * * * [progress]: [ 115 / 244 ] simplifiying candidate # 5.745 * * * * [progress]: [ 116 / 244 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 5.745 * * * * [progress]: [ 117 / 244 ] simplifiying candidate # 5.745 * * * * [progress]: [ 118 / 244 ] simplifiying candidate # 5.745 * * * * [progress]: [ 119 / 244 ] simplifiying candidate # 5.745 * * * * [progress]: [ 120 / 244 ] simplifiying candidate # 5.746 * * * * [progress]: [ 121 / 244 ] simplifiying candidate # 5.746 * * * * [progress]: [ 122 / 244 ] simplifiying candidate # 5.746 * * * * [progress]: [ 123 / 244 ] simplifiying candidate # 5.746 * * * * [progress]: [ 124 / 244 ] simplifiying candidate # 5.746 * * * * [progress]: [ 125 / 244 ] simplifiying candidate # 5.746 * * * * [progress]: [ 126 / 244 ] simplifiying candidate # 5.746 * * * * [progress]: [ 127 / 244 ] simplifiying candidate # 5.746 * * * * [progress]: [ 128 / 244 ] simplifiying candidate # 5.746 * * * * [progress]: [ 129 / 244 ] simplifiying candidate # 5.746 * * * * [progress]: [ 130 / 244 ] simplifiying candidate # 5.747 * * * * [progress]: [ 131 / 244 ] simplifiying candidate # 5.747 * * * * [progress]: [ 132 / 244 ] simplifiying candidate # 5.747 * * * * [progress]: [ 133 / 244 ] simplifiying candidate # 5.747 * * * * [progress]: [ 134 / 244 ] simplifiying candidate # 5.747 * * * * [progress]: [ 135 / 244 ] simplifiying candidate # 5.747 * * * * [progress]: [ 136 / 244 ] simplifiying candidate # 5.748 * * * * [progress]: [ 137 / 244 ] simplifiying candidate # 5.748 * * * * [progress]: [ 138 / 244 ] simplifiying candidate # 5.748 * * * * [progress]: [ 139 / 244 ] simplifiying candidate # 5.748 * * * * [progress]: [ 140 / 244 ] simplifiying candidate # 5.748 * * * * [progress]: [ 141 / 244 ] simplifiying candidate # 5.748 * * * * [progress]: [ 142 / 244 ] simplifiying candidate # 5.748 * * * * [progress]: [ 143 / 244 ] simplifiying candidate # 5.748 * * * * [progress]: [ 144 / 244 ] simplifiying candidate # 5.748 * * * * [progress]: [ 145 / 244 ] simplifiying candidate # 5.749 * * * * [progress]: [ 146 / 244 ] simplifiying candidate # 5.749 * * * * [progress]: [ 147 / 244 ] simplifiying candidate # 5.749 * * * * [progress]: [ 148 / 244 ] simplifiying candidate # 5.749 * * * * [progress]: [ 149 / 244 ] simplifiying candidate # 5.749 * * * * [progress]: [ 150 / 244 ] simplifiying candidate # 5.749 * * * * [progress]: [ 151 / 244 ] simplifiying candidate # 5.749 * * * * [progress]: [ 152 / 244 ] simplifiying candidate # 5.750 * * * * [progress]: [ 153 / 244 ] simplifiying candidate # 5.750 * * * * [progress]: [ 154 / 244 ] simplifiying candidate # 5.750 * * * * [progress]: [ 155 / 244 ] simplifiying candidate # 5.750 * * * * [progress]: [ 156 / 244 ] simplifiying candidate # 5.750 * * * * [progress]: [ 157 / 244 ] simplifiying candidate # 5.750 * * * * [progress]: [ 158 / 244 ] simplifiying candidate # 5.751 * * * * [progress]: [ 159 / 244 ] simplifiying candidate # 5.751 * * * * [progress]: [ 160 / 244 ] simplifiying candidate # 5.751 * * * * [progress]: [ 161 / 244 ] simplifiying candidate # 5.751 * * * * [progress]: [ 162 / 244 ] simplifiying candidate # 5.752 * * * * [progress]: [ 163 / 244 ] simplifiying candidate # 5.752 * * * * [progress]: [ 164 / 244 ] simplifiying candidate # 5.752 * * * * [progress]: [ 165 / 244 ] simplifiying candidate # 5.752 * * * * [progress]: [ 166 / 244 ] simplifiying candidate # 5.752 * * * * [progress]: [ 167 / 244 ] simplifiying candidate # 5.752 * * * * [progress]: [ 168 / 244 ] simplifiying candidate # 5.753 * * * * [progress]: [ 169 / 244 ] simplifiying candidate # 5.753 * * * * [progress]: [ 170 / 244 ] simplifiying candidate # 5.753 * * * * [progress]: [ 171 / 244 ] simplifiying candidate # 5.753 * * * * [progress]: [ 172 / 244 ] simplifiying candidate # 5.753 * * * * [progress]: [ 173 / 244 ] simplifiying candidate # 5.753 * * * * [progress]: [ 174 / 244 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 5.753 * * * * [progress]: [ 175 / 244 ] simplifiying candidate # 5.754 * * * * [progress]: [ 176 / 244 ] simplifiying candidate # 5.754 * * * * [progress]: [ 177 / 244 ] simplifiying candidate # 5.754 * * * * [progress]: [ 178 / 244 ] simplifiying candidate # 5.754 * * * * [progress]: [ 179 / 244 ] simplifiying candidate # 5.754 * * * * [progress]: [ 180 / 244 ] simplifiying candidate # 5.754 * * * * [progress]: [ 181 / 244 ] simplifiying candidate # 5.755 * * * * [progress]: [ 182 / 244 ] simplifiying candidate # 5.755 * * * * [progress]: [ 183 / 244 ] simplifiying candidate # 5.755 * * * * [progress]: [ 184 / 244 ] simplifiying candidate # 5.755 * * * * [progress]: [ 185 / 244 ] simplifiying candidate # 5.755 * * * * [progress]: [ 186 / 244 ] simplifiying candidate # 5.755 * * * * [progress]: [ 187 / 244 ] simplifiying candidate # 5.756 * * * * [progress]: [ 188 / 244 ] simplifiying candidate # 5.756 * * * * [progress]: [ 189 / 244 ] simplifiying candidate # 5.756 * * * * [progress]: [ 190 / 244 ] simplifiying candidate # 5.756 * * * * [progress]: [ 191 / 244 ] simplifiying candidate # 5.756 * * * * [progress]: [ 192 / 244 ] simplifiying candidate # 5.756 * * * * [progress]: [ 193 / 244 ] simplifiying candidate # 5.757 * * * * [progress]: [ 194 / 244 ] simplifiying candidate # 5.757 * * * * [progress]: [ 195 / 244 ] simplifiying candidate # 5.757 * * * * [progress]: [ 196 / 244 ] simplifiying candidate # 5.757 * * * * [progress]: [ 197 / 244 ] simplifiying candidate # 5.757 * * * * [progress]: [ 198 / 244 ] simplifiying candidate # 5.757 * * * * [progress]: [ 199 / 244 ] simplifiying candidate # 5.758 * * * * [progress]: [ 200 / 244 ] simplifiying candidate # 5.758 * * * * [progress]: [ 201 / 244 ] simplifiying candidate # 5.758 * * * * [progress]: [ 202 / 244 ] simplifiying candidate # 5.758 * * * * [progress]: [ 203 / 244 ] simplifiying candidate # 5.758 * * * * [progress]: [ 204 / 244 ] simplifiying candidate # 5.758 * * * * [progress]: [ 205 / 244 ] simplifiying candidate # 5.759 * * * * [progress]: [ 206 / 244 ] simplifiying candidate # 5.759 * * * * [progress]: [ 207 / 244 ] simplifiying candidate # 5.759 * * * * [progress]: [ 208 / 244 ] simplifiying candidate # 5.759 * * * * [progress]: [ 209 / 244 ] simplifiying candidate # 5.759 * * * * [progress]: [ 210 / 244 ] simplifiying candidate # 5.759 * * * * [progress]: [ 211 / 244 ] simplifiying candidate # 5.759 * * * * [progress]: [ 212 / 244 ] simplifiying candidate # 5.760 * * * * [progress]: [ 213 / 244 ] simplifiying candidate # 5.760 * * * * [progress]: [ 214 / 244 ] simplifiying candidate # 5.760 * * * * [progress]: [ 215 / 244 ] simplifiying candidate # 5.760 * * * * [progress]: [ 216 / 244 ] simplifiying candidate # 5.760 * * * * [progress]: [ 217 / 244 ] simplifiying candidate # 5.760 * * * * [progress]: [ 218 / 244 ] simplifiying candidate # 5.761 * * * * [progress]: [ 219 / 244 ] simplifiying candidate # 5.761 * * * * [progress]: [ 220 / 244 ] simplifiying candidate # 5.761 * * * * [progress]: [ 221 / 244 ] simplifiying candidate # 5.761 * * * * [progress]: [ 222 / 244 ] simplifiying candidate # 5.761 * * * * [progress]: [ 223 / 244 ] simplifiying candidate # 5.761 * * * * [progress]: [ 224 / 244 ] simplifiying candidate # 5.761 * * * * [progress]: [ 225 / 244 ] simplifiying candidate # 5.762 * * * * [progress]: [ 226 / 244 ] simplifiying candidate # 5.762 * * * * [progress]: [ 227 / 244 ] simplifiying candidate # 5.762 * * * * [progress]: [ 228 / 244 ] simplifiying candidate # 5.762 * * * * [progress]: [ 229 / 244 ] simplifiying candidate # 5.762 * * * * [progress]: [ 230 / 244 ] simplifiying candidate # 5.762 * * * * [progress]: [ 231 / 244 ] simplifiying candidate # 5.762 * * * * [progress]: [ 232 / 244 ] 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))))))> 5.763 * * * * [progress]: [ 233 / 244 ] simplifiying candidate # 5.763 * * * * [progress]: [ 234 / 244 ] simplifiying candidate # 5.763 * * * * [progress]: [ 235 / 244 ] simplifiying candidate # 5.763 * * * * [progress]: [ 236 / 244 ] simplifiying candidate # 5.763 * * * * [progress]: [ 237 / 244 ] simplifiying candidate # 5.763 * * * * [progress]: [ 238 / 244 ] simplifiying candidate # 5.763 * * * * [progress]: [ 239 / 244 ] simplifiying candidate # 5.764 * * * * [progress]: [ 240 / 244 ] simplifiying candidate # 5.764 * * * * [progress]: [ 241 / 244 ] simplifiying candidate # 5.764 * * * * [progress]: [ 242 / 244 ] simplifiying candidate # 5.764 * * * * [progress]: [ 243 / 244 ] simplifiying candidate # 5.764 * * * * [progress]: [ 244 / 244 ] simplifiying candidate # 5.769 * [simplify]: Simplifying: (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 5.773 * * [simplify]: iteration 0: 90 enodes 5.817 * * [simplify]: iteration 1: 194 enodes 5.893 * * [simplify]: iteration 2: 394 enodes 6.209 * * [simplify]: iteration 3: 1241 enodes 6.892 * * [simplify]: iteration 4: 2001 enodes 6.994 * * [simplify]: iteration complete: 2001 enodes 6.994 * * [simplify]: Extracting #0: cost 23 inf + 0 6.995 * * [simplify]: Extracting #1: cost 132 inf + 2 6.996 * * [simplify]: Extracting #2: cost 153 inf + 3086 6.998 * * [simplify]: Extracting #3: cost 96 inf + 9591 7.004 * * [simplify]: Extracting #4: cost 20 inf + 21009 7.010 * * [simplify]: Extracting #5: cost 1 inf + 24540 7.017 * * [simplify]: Extracting #6: cost 0 inf + 24793 7.025 * [simplify]: Simplified to: (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) -1 -1 -1 -1 -1 -1 (exp (- z)) (exp (- z)) (log1p (- -1 z)) (exp (- z)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (fma (* (- 1 z) (- 1 z)) (- 1 z) -1) (+ (- 1 z) (fma (- 1 z) (- 1 z) 1)) -1 (fma (- 1 z) (- 1 z) -1) (- 2 z) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (- -1 z) (- -1 z) (+ z 1) -1 (real->posit16 (- (- 1 z) 1)) (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) -1 -1 -1 -1 -1 -1 (exp (- z)) (exp (- z)) (log1p (- -1 z)) (exp (- z)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (fma (* (- 1 z) (- 1 z)) (- 1 z) -1) (+ (- 1 z) (fma (- 1 z) (- 1 z) 1)) -1 (fma (- 1 z) (- 1 z) -1) (- 2 z) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (- -1 z) (- -1 z) (+ z 1) -1 (real->posit16 (- (- 1 z) 1)) (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) -1 -1 -1 -1 -1 -1 (exp (- z)) (exp (- z)) (log1p (- -1 z)) (exp (- z)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (fma (* (- 1 z) (- 1 z)) (- 1 z) -1) (+ (- 1 z) (fma (- 1 z) (- 1 z) 1)) -1 (fma (- 1 z) (- 1 z) -1) (- 2 z) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (- -1 z) (- -1 z) (+ z 1) -1 (real->posit16 (- (- 1 z) 1)) (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (fma (- 1 (sqrt z)) (+ 1 (sqrt z)) -1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) -1 -1 -1 -1 -1 -1 (exp (- z)) (exp (- z)) (log1p (- -1 z)) (exp (- z)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (fma (* (- 1 z) (- 1 z)) (- 1 z) -1) (+ (- 1 z) (fma (- 1 z) (- 1 z) 1)) -1 (fma (- 1 z) (- 1 z) -1) (- 2 z) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (fma 0 z -1) (- -1 z) (- -1 z) (+ z 1) -1 (real->posit16 (- (- 1 z) 1)) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) 7.133 * * * [progress]: adding candidates to table 10.259 * * [progress]: iteration 2 / 4 10.259 * * * [progress]: picking best candidate 10.303 * * * * [pick]: Picked #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.303 * * * [progress]: localizing error 10.512 * * * [progress]: generating rewritten candidates 10.512 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 10.512 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2 1 1 1) 10.549 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 2 1) 10.590 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 10.624 * * * [progress]: generating series expansions 10.624 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 10.624 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- (- 1 z) 1))) into (- z) 10.624 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 10.624 * [taylor]: Taking taylor expansion of (- z) in z 10.624 * [taylor]: Taking taylor expansion of z in z 10.624 * [backup-simplify]: Simplify 0 into 0 10.624 * [backup-simplify]: Simplify 1 into 1 10.624 * [taylor]: Taking taylor expansion of (- z) in z 10.624 * [taylor]: Taking taylor expansion of z in z 10.624 * [backup-simplify]: Simplify 0 into 0 10.624 * [backup-simplify]: Simplify 1 into 1 10.625 * [backup-simplify]: Simplify (- 0) into 0 10.625 * [backup-simplify]: Simplify 0 into 0 10.625 * [backup-simplify]: Simplify (- 1) into -1 10.625 * [backup-simplify]: Simplify -1 into -1 10.625 * [backup-simplify]: Simplify (- 0) into 0 10.625 * [backup-simplify]: Simplify 0 into 0 10.625 * [backup-simplify]: Simplify (- 0) into 0 10.625 * [backup-simplify]: Simplify 0 into 0 10.626 * [backup-simplify]: Simplify (- 0) into 0 10.626 * [backup-simplify]: Simplify 0 into 0 10.626 * [backup-simplify]: Simplify (- 0) into 0 10.626 * [backup-simplify]: Simplify 0 into 0 10.626 * [backup-simplify]: Simplify (- 0) into 0 10.626 * [backup-simplify]: Simplify 0 into 0 10.626 * [backup-simplify]: Simplify (- 0) into 0 10.626 * [backup-simplify]: Simplify 0 into 0 10.627 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 10.627 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- (- 1 (/ 1 z)) 1))) into (- (/ 1 z)) 10.627 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 10.627 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.627 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.627 * [taylor]: Taking taylor expansion of z in z 10.627 * [backup-simplify]: Simplify 0 into 0 10.627 * [backup-simplify]: Simplify 1 into 1 10.627 * [backup-simplify]: Simplify (/ 1 1) into 1 10.627 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.627 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.627 * [taylor]: Taking taylor expansion of z in z 10.627 * [backup-simplify]: Simplify 0 into 0 10.627 * [backup-simplify]: Simplify 1 into 1 10.627 * [backup-simplify]: Simplify (/ 1 1) into 1 10.628 * [backup-simplify]: Simplify (- 1) into -1 10.628 * [backup-simplify]: Simplify -1 into -1 10.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.628 * [backup-simplify]: Simplify (- 0) into 0 10.628 * [backup-simplify]: Simplify 0 into 0 10.629 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.629 * [backup-simplify]: Simplify (- 0) into 0 10.629 * [backup-simplify]: Simplify 0 into 0 10.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.630 * [backup-simplify]: Simplify (- 0) into 0 10.630 * [backup-simplify]: Simplify 0 into 0 10.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.631 * [backup-simplify]: Simplify (- 0) into 0 10.631 * [backup-simplify]: Simplify 0 into 0 10.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.632 * [backup-simplify]: Simplify (- 0) into 0 10.632 * [backup-simplify]: Simplify 0 into 0 10.632 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.632 * [backup-simplify]: Simplify (- 0) into 0 10.633 * [backup-simplify]: Simplify 0 into 0 10.633 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 10.633 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- (- 1 (/ 1 (- z))) 1))) into (/ 1 z) 10.633 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 10.633 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.633 * [taylor]: Taking taylor expansion of z in z 10.633 * [backup-simplify]: Simplify 0 into 0 10.633 * [backup-simplify]: Simplify 1 into 1 10.633 * [backup-simplify]: Simplify (/ 1 1) into 1 10.633 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.633 * [taylor]: Taking taylor expansion of z in z 10.633 * [backup-simplify]: Simplify 0 into 0 10.633 * [backup-simplify]: Simplify 1 into 1 10.633 * [backup-simplify]: Simplify (/ 1 1) into 1 10.633 * [backup-simplify]: Simplify 1 into 1 10.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.634 * [backup-simplify]: Simplify 0 into 0 10.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.634 * [backup-simplify]: Simplify 0 into 0 10.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.635 * [backup-simplify]: Simplify 0 into 0 10.636 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.636 * [backup-simplify]: Simplify 0 into 0 10.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.640 * [backup-simplify]: Simplify 0 into 0 10.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.640 * [backup-simplify]: Simplify 0 into 0 10.640 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 10.640 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2 1 1 1) 10.641 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 10.641 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 10.641 * [taylor]: Taking taylor expansion of (- z) in z 10.641 * [taylor]: Taking taylor expansion of z in z 10.641 * [backup-simplify]: Simplify 0 into 0 10.641 * [backup-simplify]: Simplify 1 into 1 10.641 * [taylor]: Taking taylor expansion of (- z) in z 10.641 * [taylor]: Taking taylor expansion of z in z 10.641 * [backup-simplify]: Simplify 0 into 0 10.641 * [backup-simplify]: Simplify 1 into 1 10.641 * [backup-simplify]: Simplify (- 0) into 0 10.641 * [backup-simplify]: Simplify 0 into 0 10.641 * [backup-simplify]: Simplify (- 1) into -1 10.641 * [backup-simplify]: Simplify -1 into -1 10.641 * [backup-simplify]: Simplify (- 0) into 0 10.641 * [backup-simplify]: Simplify 0 into 0 10.642 * [backup-simplify]: Simplify (- 0) into 0 10.642 * [backup-simplify]: Simplify 0 into 0 10.642 * [backup-simplify]: Simplify (- 0) into 0 10.642 * [backup-simplify]: Simplify 0 into 0 10.642 * [backup-simplify]: Simplify (- 0) into 0 10.642 * [backup-simplify]: Simplify 0 into 0 10.642 * [backup-simplify]: Simplify (- 0) into 0 10.643 * [backup-simplify]: Simplify 0 into 0 10.643 * [backup-simplify]: Simplify (- 0) into 0 10.643 * [backup-simplify]: Simplify 0 into 0 10.643 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 10.643 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 10.643 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 10.643 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.643 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.643 * [taylor]: Taking taylor expansion of z in z 10.643 * [backup-simplify]: Simplify 0 into 0 10.643 * [backup-simplify]: Simplify 1 into 1 10.643 * [backup-simplify]: Simplify (/ 1 1) into 1 10.643 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.643 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.643 * [taylor]: Taking taylor expansion of z in z 10.643 * [backup-simplify]: Simplify 0 into 0 10.643 * [backup-simplify]: Simplify 1 into 1 10.644 * [backup-simplify]: Simplify (/ 1 1) into 1 10.644 * [backup-simplify]: Simplify (- 1) into -1 10.644 * [backup-simplify]: Simplify -1 into -1 10.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.645 * [backup-simplify]: Simplify (- 0) into 0 10.645 * [backup-simplify]: Simplify 0 into 0 10.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.645 * [backup-simplify]: Simplify (- 0) into 0 10.645 * [backup-simplify]: Simplify 0 into 0 10.646 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.646 * [backup-simplify]: Simplify (- 0) into 0 10.646 * [backup-simplify]: Simplify 0 into 0 10.647 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.647 * [backup-simplify]: Simplify (- 0) into 0 10.647 * [backup-simplify]: Simplify 0 into 0 10.648 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.648 * [backup-simplify]: Simplify (- 0) into 0 10.648 * [backup-simplify]: Simplify 0 into 0 10.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.649 * [backup-simplify]: Simplify (- 0) into 0 10.649 * [backup-simplify]: Simplify 0 into 0 10.649 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 10.649 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 10.649 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 10.649 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.649 * [taylor]: Taking taylor expansion of z in z 10.649 * [backup-simplify]: Simplify 0 into 0 10.649 * [backup-simplify]: Simplify 1 into 1 10.649 * [backup-simplify]: Simplify (/ 1 1) into 1 10.649 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.649 * [taylor]: Taking taylor expansion of z in z 10.649 * [backup-simplify]: Simplify 0 into 0 10.649 * [backup-simplify]: Simplify 1 into 1 10.650 * [backup-simplify]: Simplify (/ 1 1) into 1 10.650 * [backup-simplify]: Simplify 1 into 1 10.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.650 * [backup-simplify]: Simplify 0 into 0 10.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.651 * [backup-simplify]: Simplify 0 into 0 10.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.651 * [backup-simplify]: Simplify 0 into 0 10.652 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.652 * [backup-simplify]: Simplify 0 into 0 10.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.653 * [backup-simplify]: Simplify 0 into 0 10.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.653 * [backup-simplify]: Simplify 0 into 0 10.653 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 10.653 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 2 1) 10.654 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 10.654 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 10.654 * [taylor]: Taking taylor expansion of (- z) in z 10.654 * [taylor]: Taking taylor expansion of z in z 10.654 * [backup-simplify]: Simplify 0 into 0 10.654 * [backup-simplify]: Simplify 1 into 1 10.654 * [taylor]: Taking taylor expansion of (- z) in z 10.654 * [taylor]: Taking taylor expansion of z in z 10.654 * [backup-simplify]: Simplify 0 into 0 10.654 * [backup-simplify]: Simplify 1 into 1 10.654 * [backup-simplify]: Simplify (- 0) into 0 10.654 * [backup-simplify]: Simplify 0 into 0 10.654 * [backup-simplify]: Simplify (- 1) into -1 10.654 * [backup-simplify]: Simplify -1 into -1 10.654 * [backup-simplify]: Simplify (- 0) into 0 10.654 * [backup-simplify]: Simplify 0 into 0 10.655 * [backup-simplify]: Simplify (- 0) into 0 10.655 * [backup-simplify]: Simplify 0 into 0 10.655 * [backup-simplify]: Simplify (- 0) into 0 10.655 * [backup-simplify]: Simplify 0 into 0 10.655 * [backup-simplify]: Simplify (- 0) into 0 10.655 * [backup-simplify]: Simplify 0 into 0 10.656 * [backup-simplify]: Simplify (- 0) into 0 10.656 * [backup-simplify]: Simplify 0 into 0 10.656 * [backup-simplify]: Simplify (- 0) into 0 10.656 * [backup-simplify]: Simplify 0 into 0 10.656 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 10.656 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 10.656 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 10.656 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.656 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.656 * [taylor]: Taking taylor expansion of z in z 10.656 * [backup-simplify]: Simplify 0 into 0 10.656 * [backup-simplify]: Simplify 1 into 1 10.656 * [backup-simplify]: Simplify (/ 1 1) into 1 10.656 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.656 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.656 * [taylor]: Taking taylor expansion of z in z 10.656 * [backup-simplify]: Simplify 0 into 0 10.656 * [backup-simplify]: Simplify 1 into 1 10.657 * [backup-simplify]: Simplify (/ 1 1) into 1 10.657 * [backup-simplify]: Simplify (- 1) into -1 10.657 * [backup-simplify]: Simplify -1 into -1 10.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.658 * [backup-simplify]: Simplify (- 0) into 0 10.658 * [backup-simplify]: Simplify 0 into 0 10.658 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.658 * [backup-simplify]: Simplify (- 0) into 0 10.658 * [backup-simplify]: Simplify 0 into 0 10.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.659 * [backup-simplify]: Simplify (- 0) into 0 10.659 * [backup-simplify]: Simplify 0 into 0 10.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.660 * [backup-simplify]: Simplify (- 0) into 0 10.660 * [backup-simplify]: Simplify 0 into 0 10.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.661 * [backup-simplify]: Simplify (- 0) into 0 10.661 * [backup-simplify]: Simplify 0 into 0 10.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.662 * [backup-simplify]: Simplify (- 0) into 0 10.662 * [backup-simplify]: Simplify 0 into 0 10.662 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 10.662 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 10.662 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 10.662 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.662 * [taylor]: Taking taylor expansion of z in z 10.662 * [backup-simplify]: Simplify 0 into 0 10.662 * [backup-simplify]: Simplify 1 into 1 10.662 * [backup-simplify]: Simplify (/ 1 1) into 1 10.662 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.662 * [taylor]: Taking taylor expansion of z in z 10.662 * [backup-simplify]: Simplify 0 into 0 10.662 * [backup-simplify]: Simplify 1 into 1 10.663 * [backup-simplify]: Simplify (/ 1 1) into 1 10.663 * [backup-simplify]: Simplify 1 into 1 10.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.663 * [backup-simplify]: Simplify 0 into 0 10.664 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.664 * [backup-simplify]: Simplify 0 into 0 10.664 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.664 * [backup-simplify]: Simplify 0 into 0 10.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.665 * [backup-simplify]: Simplify 0 into 0 10.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.665 * [backup-simplify]: Simplify 0 into 0 10.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.666 * [backup-simplify]: Simplify 0 into 0 10.666 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 10.666 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2 1) 10.666 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 10.666 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 10.666 * [taylor]: Taking taylor expansion of (- z) in z 10.666 * [taylor]: Taking taylor expansion of z in z 10.666 * [backup-simplify]: Simplify 0 into 0 10.666 * [backup-simplify]: Simplify 1 into 1 10.666 * [taylor]: Taking taylor expansion of (- z) in z 10.666 * [taylor]: Taking taylor expansion of z in z 10.666 * [backup-simplify]: Simplify 0 into 0 10.666 * [backup-simplify]: Simplify 1 into 1 10.667 * [backup-simplify]: Simplify (- 0) into 0 10.667 * [backup-simplify]: Simplify 0 into 0 10.667 * [backup-simplify]: Simplify (- 1) into -1 10.667 * [backup-simplify]: Simplify -1 into -1 10.667 * [backup-simplify]: Simplify (- 0) into 0 10.667 * [backup-simplify]: Simplify 0 into 0 10.667 * [backup-simplify]: Simplify (- 0) into 0 10.667 * [backup-simplify]: Simplify 0 into 0 10.668 * [backup-simplify]: Simplify (- 0) into 0 10.668 * [backup-simplify]: Simplify 0 into 0 10.668 * [backup-simplify]: Simplify (- 0) into 0 10.668 * [backup-simplify]: Simplify 0 into 0 10.668 * [backup-simplify]: Simplify (- 0) into 0 10.668 * [backup-simplify]: Simplify 0 into 0 10.668 * [backup-simplify]: Simplify (- 0) into 0 10.669 * [backup-simplify]: Simplify 0 into 0 10.669 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 10.669 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 10.669 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 10.669 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.669 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.669 * [taylor]: Taking taylor expansion of z in z 10.669 * [backup-simplify]: Simplify 0 into 0 10.669 * [backup-simplify]: Simplify 1 into 1 10.669 * [backup-simplify]: Simplify (/ 1 1) into 1 10.669 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.669 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.669 * [taylor]: Taking taylor expansion of z in z 10.669 * [backup-simplify]: Simplify 0 into 0 10.669 * [backup-simplify]: Simplify 1 into 1 10.669 * [backup-simplify]: Simplify (/ 1 1) into 1 10.670 * [backup-simplify]: Simplify (- 1) into -1 10.670 * [backup-simplify]: Simplify -1 into -1 10.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.670 * [backup-simplify]: Simplify (- 0) into 0 10.670 * [backup-simplify]: Simplify 0 into 0 10.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.671 * [backup-simplify]: Simplify (- 0) into 0 10.671 * [backup-simplify]: Simplify 0 into 0 10.672 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.672 * [backup-simplify]: Simplify (- 0) into 0 10.672 * [backup-simplify]: Simplify 0 into 0 10.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.673 * [backup-simplify]: Simplify (- 0) into 0 10.673 * [backup-simplify]: Simplify 0 into 0 10.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.674 * [backup-simplify]: Simplify (- 0) into 0 10.674 * [backup-simplify]: Simplify 0 into 0 10.674 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.674 * [backup-simplify]: Simplify (- 0) into 0 10.674 * [backup-simplify]: Simplify 0 into 0 10.675 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 10.675 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 10.675 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 10.675 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.675 * [taylor]: Taking taylor expansion of z in z 10.675 * [backup-simplify]: Simplify 0 into 0 10.675 * [backup-simplify]: Simplify 1 into 1 10.675 * [backup-simplify]: Simplify (/ 1 1) into 1 10.675 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.675 * [taylor]: Taking taylor expansion of z in z 10.675 * [backup-simplify]: Simplify 0 into 0 10.675 * [backup-simplify]: Simplify 1 into 1 10.675 * [backup-simplify]: Simplify (/ 1 1) into 1 10.675 * [backup-simplify]: Simplify 1 into 1 10.676 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.676 * [backup-simplify]: Simplify 0 into 0 10.676 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.676 * [backup-simplify]: Simplify 0 into 0 10.677 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.677 * [backup-simplify]: Simplify 0 into 0 10.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.678 * [backup-simplify]: Simplify 0 into 0 10.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.678 * [backup-simplify]: Simplify 0 into 0 10.679 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.679 * [backup-simplify]: Simplify 0 into 0 10.679 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 10.679 * * * [progress]: simplifying candidates 10.679 * * * * [progress]: [ 1 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))))) 8))))))> 10.679 * * * * [progress]: [ 2 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))))) 8))))))> 10.679 * * * * [progress]: [ 3 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 1) 8))))))> 10.679 * * * * [progress]: [ 4 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))))) 8))))))> 10.680 * * * * [progress]: [ 5 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))))) 8))))))> 10.680 * * * * [progress]: [ 6 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1)))) (cbrt (posit16->real (real->posit16 (- (- 1 z) 1))))) (cbrt (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 10.680 * * * * [progress]: [ 7 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) (posit16->real (real->posit16 (- (- 1 z) 1)))) (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 10.680 * * * * [progress]: [ 8 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1)))) (sqrt (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 10.680 * * * * [progress]: [ 9 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1)))) 8))))))> 10.680 * * * * [progress]: [ 10 / 197 ] simplifiying candidate # 10.680 * * * * [progress]: [ 11 / 197 ] simplifiying candidate #real (real->posit16 (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 10.680 * * * * [progress]: [ 12 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 8))))))> 10.680 * * * * [progress]: [ 13 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 8))))))> 10.681 * * * * [progress]: [ 14 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) 8))))))> 10.681 * * * * [progress]: [ 15 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 8))))))> 10.681 * * * * [progress]: [ 16 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 8))))))> 10.681 * * * * [progress]: [ 17 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) 8))))))> 10.681 * * * * [progress]: [ 18 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 8))))))> 10.681 * * * * [progress]: [ 19 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 8))))))> 10.681 * * * * [progress]: [ 20 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) 8))))))> 10.681 * * * * [progress]: [ 21 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 8))))))> 10.681 * * * * [progress]: [ 22 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 8))))))> 10.681 * * * * [progress]: [ 23 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) 8))))))> 10.681 * * * * [progress]: [ 24 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 8))))))> 10.682 * * * * [progress]: [ 25 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 8))))))> 10.682 * * * * [progress]: [ 26 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) 8))))))> 10.682 * * * * [progress]: [ 27 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 8))))))> 10.682 * * * * [progress]: [ 28 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 8))))))> 10.682 * * * * [progress]: [ 29 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) 8))))))> 10.682 * * * * [progress]: [ 30 / 197 ] simplifiying candidate #real (real->posit16 (log1p (expm1 (- (- 1 z) 1))))) 8))))))> 10.682 * * * * [progress]: [ 31 / 197 ] simplifiying candidate #real (real->posit16 (expm1 (log1p (- (- 1 z) 1))))) 8))))))> 10.682 * * * * [progress]: [ 32 / 197 ] simplifiying candidate #real (real->posit16 (expm1 (log (- 1 z))))) 8))))))> 10.682 * * * * [progress]: [ 33 / 197 ] simplifiying candidate #real (real->posit16 (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- 1)))) 8))))))> 10.682 * * * * [progress]: [ 34 / 197 ] simplifiying candidate #real (real->posit16 (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- 1)))) 8))))))> 10.682 * * * * [progress]: [ 35 / 197 ] simplifiying candidate #real (real->posit16 (fma 1 (- 1 z) (- 1)))) 8))))))> 10.683 * * * * [progress]: [ 36 / 197 ] simplifiying candidate #real (real->posit16 (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- 1)))) 8))))))> 10.683 * * * * [progress]: [ 37 / 197 ] simplifiying candidate #real (real->posit16 (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- 1)))) 8))))))> 10.683 * * * * [progress]: [ 38 / 197 ] simplifiying candidate #real (real->posit16 (fma 1 (- 1 z) (- 1)))) 8))))))> 10.683 * * * * [progress]: [ 39 / 197 ] simplifiying candidate #real (real->posit16 (log (/ (/ (exp 1) (exp z)) (exp 1))))) 8))))))> 10.683 * * * * [progress]: [ 40 / 197 ] simplifiying candidate #real (real->posit16 (log (/ (exp (- 1 z)) (exp 1))))) 8))))))> 10.683 * * * * [progress]: [ 41 / 197 ] simplifiying candidate #real (real->posit16 (pow (- (- 1 z) 1) 1))) 8))))))> 10.683 * * * * [progress]: [ 42 / 197 ] simplifiying candidate #real (real->posit16 (exp (log (- (- 1 z) 1))))) 8))))))> 10.683 * * * * [progress]: [ 43 / 197 ] simplifiying candidate #real (real->posit16 (log (exp (- (- 1 z) 1))))) 8))))))> 10.683 * * * * [progress]: [ 44 / 197 ] simplifiying candidate #real (real->posit16 (* (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1))))) 8))))))> 10.683 * * * * [progress]: [ 45 / 197 ] simplifiying candidate #real (real->posit16 (cbrt (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1))))) 8))))))> 10.683 * * * * [progress]: [ 46 / 197 ] simplifiying candidate #real (real->posit16 (* (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1))))) 8))))))> 10.683 * * * * [progress]: [ 47 / 197 ] simplifiying candidate #real (real->posit16 (/ (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1)))))) 8))))))> 10.684 * * * * [progress]: [ 48 / 197 ] simplifiying candidate #real (real->posit16 (+ (- 1 z) (- 1)))) 8))))))> 10.684 * * * * [progress]: [ 49 / 197 ] simplifiying candidate #real (real->posit16 (* 1 (- (- 1 z) 1)))) 8))))))> 10.684 * * * * [progress]: [ 50 / 197 ] simplifiying candidate #real (real->posit16 (/ (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1)))) 8))))))> 10.684 * * * * [progress]: [ 51 / 197 ] simplifiying candidate #real (real->posit16 (* (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1))))) 8))))))> 10.684 * * * * [progress]: [ 52 / 197 ] simplifiying candidate #real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 8))))))> 10.684 * * * * [progress]: [ 53 / 197 ] simplifiying candidate #real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 8))))))> 10.684 * * * * [progress]: [ 54 / 197 ] simplifiying candidate #real (real->posit16 (* 1 (- (- 1 z) 1)))) 8))))))> 10.684 * * * * [progress]: [ 55 / 197 ] simplifiying candidate #real (real->posit16 (* 1 (- (- 1 z) 1)))) 8))))))> 10.684 * * * * [progress]: [ 56 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1)))) 8))))))> 10.684 * * * * [progress]: [ 57 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (sqrt z) (sqrt z)))) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1)))) 8))))))> 10.684 * * * * [progress]: [ 58 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* z 1))) (- (fma (- z) 1 (* z 1)) 1)))) 8))))))> 10.685 * * * * [progress]: [ 59 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma (sqrt 1) (sqrt 1) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1)))) 8))))))> 10.685 * * * * [progress]: [ 60 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma (sqrt 1) (sqrt 1) (- (* (sqrt z) (sqrt z)))) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1)))) 8))))))> 10.685 * * * * [progress]: [ 61 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma (sqrt 1) (sqrt 1) (- (* z 1))) (- (fma (- z) 1 (* z 1)) 1)))) 8))))))> 10.685 * * * * [progress]: [ 62 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma 1 1 (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1)))) 8))))))> 10.685 * * * * [progress]: [ 63 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma 1 1 (- (* (sqrt z) (sqrt z)))) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1)))) 8))))))> 10.685 * * * * [progress]: [ 64 / 197 ] simplifiying candidate #real (real->posit16 (+ (fma 1 1 (- (* z 1))) (- (fma (- z) 1 (* z 1)) 1)))) 8))))))> 10.685 * * * * [progress]: [ 65 / 197 ] simplifiying candidate #real (real->posit16 (+ 1 (- (- z) 1)))) 8))))))> 10.685 * * * * [progress]: [ 66 / 197 ] simplifiying candidate #real (real->posit16 (+ 1 (- (- z) 1)))) 8))))))> 10.685 * * * * [progress]: [ 67 / 197 ] simplifiying candidate #real (real->posit16 (- 1 (+ z 1)))) 8))))))> 10.685 * * * * [progress]: [ 68 / 197 ] simplifiying candidate #real (real->posit16 (+ (- 1 z) (- 1)))) 8))))))> 10.685 * * * * [progress]: [ 69 / 197 ] simplifiying candidate #real (real->posit16 (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 10.686 * * * * [progress]: [ 70 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.686 * * * * [progress]: [ 71 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.686 * * * * [progress]: [ 72 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.686 * * * * [progress]: [ 73 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.686 * * * * [progress]: [ 74 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.686 * * * * [progress]: [ 75 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.686 * * * * [progress]: [ 76 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.686 * * * * [progress]: [ 77 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.686 * * * * [progress]: [ 78 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.686 * * * * [progress]: [ 79 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.686 * * * * [progress]: [ 80 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.687 * * * * [progress]: [ 81 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.687 * * * * [progress]: [ 82 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.687 * * * * [progress]: [ 83 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.687 * * * * [progress]: [ 84 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.687 * * * * [progress]: [ 85 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.687 * * * * [progress]: [ 86 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.687 * * * * [progress]: [ 87 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.687 * * * * [progress]: [ 88 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.687 * * * * [progress]: [ 89 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.687 * * * * [progress]: [ 90 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.687 * * * * [progress]: [ 91 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.688 * * * * [progress]: [ 92 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.688 * * * * [progress]: [ 93 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.688 * * * * [progress]: [ 94 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.688 * * * * [progress]: [ 95 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.688 * * * * [progress]: [ 96 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.688 * * * * [progress]: [ 97 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.688 * * * * [progress]: [ 98 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.688 * * * * [progress]: [ 99 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.688 * * * * [progress]: [ 100 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.688 * * * * [progress]: [ 101 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.688 * * * * [progress]: [ 102 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.688 * * * * [progress]: [ 103 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.689 * * * * [progress]: [ 104 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.689 * * * * [progress]: [ 105 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.689 * * * * [progress]: [ 106 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.689 * * * * [progress]: [ 107 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.689 * * * * [progress]: [ 108 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.689 * * * * [progress]: [ 109 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.689 * * * * [progress]: [ 110 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.689 * * * * [progress]: [ 111 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.689 * * * * [progress]: [ 112 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.689 * * * * [progress]: [ 113 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.689 * * * * [progress]: [ 114 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.690 * * * * [progress]: [ 115 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.690 * * * * [progress]: [ 116 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.690 * * * * [progress]: [ 117 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.690 * * * * [progress]: [ 118 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.690 * * * * [progress]: [ 119 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.690 * * * * [progress]: [ 120 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.690 * * * * [progress]: [ 121 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.690 * * * * [progress]: [ 122 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.690 * * * * [progress]: [ 123 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.690 * * * * [progress]: [ 124 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.690 * * * * [progress]: [ 125 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.691 * * * * [progress]: [ 126 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.691 * * * * [progress]: [ 127 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.691 * * * * [progress]: [ 128 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.691 * * * * [progress]: [ 129 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.691 * * * * [progress]: [ 130 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.691 * * * * [progress]: [ 131 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.691 * * * * [progress]: [ 132 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.691 * * * * [progress]: [ 133 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.691 * * * * [progress]: [ 134 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.691 * * * * [progress]: [ 135 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.691 * * * * [progress]: [ 136 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.692 * * * * [progress]: [ 137 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.692 * * * * [progress]: [ 138 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.692 * * * * [progress]: [ 139 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.692 * * * * [progress]: [ 140 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.692 * * * * [progress]: [ 141 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.692 * * * * [progress]: [ 142 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.692 * * * * [progress]: [ 143 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.692 * * * * [progress]: [ 144 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.692 * * * * [progress]: [ 145 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.692 * * * * [progress]: [ 146 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.692 * * * * [progress]: [ 147 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.693 * * * * [progress]: [ 148 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.693 * * * * [progress]: [ 149 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.693 * * * * [progress]: [ 150 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.693 * * * * [progress]: [ 151 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.693 * * * * [progress]: [ 152 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.693 * * * * [progress]: [ 153 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.693 * * * * [progress]: [ 154 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.693 * * * * [progress]: [ 155 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.693 * * * * [progress]: [ 156 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.693 * * * * [progress]: [ 157 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.693 * * * * [progress]: [ 158 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.694 * * * * [progress]: [ 159 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.694 * * * * [progress]: [ 160 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.694 * * * * [progress]: [ 161 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.694 * * * * [progress]: [ 162 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.694 * * * * [progress]: [ 163 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.694 * * * * [progress]: [ 164 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.694 * * * * [progress]: [ 165 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.694 * * * * [progress]: [ 166 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.694 * * * * [progress]: [ 167 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.694 * * * * [progress]: [ 168 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.694 * * * * [progress]: [ 169 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.694 * * * * [progress]: [ 170 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.695 * * * * [progress]: [ 171 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.695 * * * * [progress]: [ 172 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.695 * * * * [progress]: [ 173 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.695 * * * * [progress]: [ 174 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.695 * * * * [progress]: [ 175 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.695 * * * * [progress]: [ 176 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.695 * * * * [progress]: [ 177 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.695 * * * * [progress]: [ 178 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.695 * * * * [progress]: [ 179 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.695 * * * * [progress]: [ 180 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.695 * * * * [progress]: [ 181 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.696 * * * * [progress]: [ 182 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.696 * * * * [progress]: [ 183 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.696 * * * * [progress]: [ 184 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.696 * * * * [progress]: [ 185 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.696 * * * * [progress]: [ 186 / 197 ] simplifiying candidate # 10.696 * * * * [progress]: [ 187 / 197 ] simplifiying candidate # 10.696 * * * * [progress]: [ 188 / 197 ] simplifiying candidate # 10.696 * * * * [progress]: [ 189 / 197 ] simplifiying candidate #real (real->posit16 (* -1 z))) 8))))))> 10.696 * * * * [progress]: [ 190 / 197 ] simplifiying candidate #real (real->posit16 (* -1 z))) 8))))))> 10.696 * * * * [progress]: [ 191 / 197 ] simplifiying candidate #real (real->posit16 (* -1 z))) 8))))))> 10.696 * * * * [progress]: [ 192 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.696 * * * * [progress]: [ 193 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.697 * * * * [progress]: [ 194 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.697 * * * * [progress]: [ 195 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.697 * * * * [progress]: [ 196 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.697 * * * * [progress]: [ 197 / 197 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.699 * [simplify]: Simplifying: (expm1 (posit16->real (real->posit16 (- (- 1 z) 1)))) (log1p (posit16->real (real->posit16 (- (- 1 z) 1)))) (log (posit16->real (real->posit16 (- (- 1 z) 1)))) (exp (posit16->real (real->posit16 (- (- 1 z) 1)))) (* (cbrt (posit16->real (real->posit16 (- (- 1 z) 1)))) (cbrt (posit16->real (real->posit16 (- (- 1 z) 1))))) (cbrt (posit16->real (real->posit16 (- (- 1 z) 1)))) (* (* (posit16->real (real->posit16 (- (- 1 z) 1))) (posit16->real (real->posit16 (- (- 1 z) 1)))) (posit16->real (real->posit16 (- (- 1 z) 1)))) (sqrt (posit16->real (real->posit16 (- (- 1 z) 1)))) (sqrt (posit16->real (real->posit16 (- (- 1 z) 1)))) (real->posit16 (posit16->real (real->posit16 (- (- 1 z) 1)))) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 10.701 * * [simplify]: iteration 0: 101 enodes 10.751 * * [simplify]: iteration 1: 209 enodes 10.841 * * [simplify]: iteration 2: 386 enodes 11.141 * * [simplify]: iteration 3: 1119 enodes 11.745 * * [simplify]: iteration 4: 2001 enodes 11.920 * * [simplify]: iteration complete: 2001 enodes 11.921 * * [simplify]: Extracting #0: cost 23 inf + 0 11.921 * * [simplify]: Extracting #1: cost 126 inf + 2 11.923 * * [simplify]: Extracting #2: cost 240 inf + 499 11.926 * * [simplify]: Extracting #3: cost 221 inf + 10566 11.932 * * [simplify]: Extracting #4: cost 107 inf + 28093 11.941 * * [simplify]: Extracting #5: cost 33 inf + 43359 11.951 * * [simplify]: Extracting #6: cost 4 inf + 48622 11.971 * * [simplify]: Extracting #7: cost 0 inf + 49798 11.989 * [simplify]: Simplified to: (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) (log1p (- -1 z)) (exp (- z)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (- (- 1 z) 1) (* (- (- 1 z) 1) (- (- 1 z) 1))) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (real->posit16 (- (- 1 z) 1)) (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) -1 -1 -1 -1 -1 -1 (exp (- z)) (exp (- z)) (log1p (- -1 z)) (exp (- z)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (- (- 1 z) 1) (* (- (- 1 z) 1) (- (- 1 z) 1))) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (fma (* (- 1 z) (- 1 z)) (- 1 z) -1) (+ (- 1 z) (fma (- 1 z) (- 1 z) 1)) -1 (fma (- 1 z) (- 1 z) -1) (- 2 z) (+ 1 (sqrt (- 1 z))) (- (sqrt (- 1 z)) 1) (+ 1 (sqrt (- 1 z))) (- (sqrt (- 1 z)) 1) (+ 1 (sqrt (- 1 z))) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- (- 1 z) 1)) (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) -1 -1 -1 -1 -1 -1 (exp (- z)) (exp (- z)) (log1p (- -1 z)) (exp (- z)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (- (- 1 z) 1) (* (- (- 1 z) 1) (- (- 1 z) 1))) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (fma (* (- 1 z) (- 1 z)) (- 1 z) -1) (+ (- 1 z) (fma (- 1 z) (- 1 z) 1)) -1 (fma (- 1 z) (- 1 z) -1) (- 2 z) (+ 1 (sqrt (- 1 z))) (- (sqrt (- 1 z)) 1) (+ 1 (sqrt (- 1 z))) (- (sqrt (- 1 z)) 1) (+ 1 (sqrt (- 1 z))) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- (- 1 z) 1)) (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) -1 -1 -1 -1 -1 -1 (exp (- z)) (exp (- z)) (log1p (- -1 z)) (exp (- z)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (- (- 1 z) 1) (* (- (- 1 z) 1) (- (- 1 z) 1))) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (fma (* (- 1 z) (- 1 z)) (- 1 z) -1) (+ (- 1 z) (fma (- 1 z) (- 1 z) 1)) -1 (fma (- 1 z) (- 1 z) -1) (- 2 z) (+ 1 (sqrt (- 1 z))) (- (sqrt (- 1 z)) 1) (+ 1 (sqrt (- 1 z))) (- (sqrt (- 1 z)) 1) (+ 1 (sqrt (- 1 z))) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- (- 1 z) 1)) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) 12.109 * * * [progress]: adding candidates to table 15.588 * * [progress]: iteration 3 / 4 15.588 * * * [progress]: picking best candidate 15.607 * * * * [pick]: Picked #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 15.607 * * * [progress]: localizing error 15.839 * * * [progress]: generating rewritten candidates 15.839 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 15.840 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 15.840 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2 1 1 1) 15.904 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 2 1 1 1) 15.971 * * * [progress]: generating series expansions 15.971 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 15.971 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- (- 1 z) 1))) into (- z) 15.971 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 15.971 * [taylor]: Taking taylor expansion of (- z) in z 15.971 * [taylor]: Taking taylor expansion of z in z 15.971 * [backup-simplify]: Simplify 0 into 0 15.971 * [backup-simplify]: Simplify 1 into 1 15.971 * [taylor]: Taking taylor expansion of (- z) in z 15.971 * [taylor]: Taking taylor expansion of z in z 15.971 * [backup-simplify]: Simplify 0 into 0 15.971 * [backup-simplify]: Simplify 1 into 1 15.972 * [backup-simplify]: Simplify (- 0) into 0 15.972 * [backup-simplify]: Simplify 0 into 0 15.973 * [backup-simplify]: Simplify (- 1) into -1 15.973 * [backup-simplify]: Simplify -1 into -1 15.973 * [backup-simplify]: Simplify (- 0) into 0 15.973 * [backup-simplify]: Simplify 0 into 0 15.974 * [backup-simplify]: Simplify (- 0) into 0 15.974 * [backup-simplify]: Simplify 0 into 0 15.974 * [backup-simplify]: Simplify (- 0) into 0 15.974 * [backup-simplify]: Simplify 0 into 0 15.974 * [backup-simplify]: Simplify (- 0) into 0 15.974 * [backup-simplify]: Simplify 0 into 0 15.975 * [backup-simplify]: Simplify (- 0) into 0 15.975 * [backup-simplify]: Simplify 0 into 0 15.975 * [backup-simplify]: Simplify (- 0) into 0 15.975 * [backup-simplify]: Simplify 0 into 0 15.975 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 15.976 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- (- 1 (/ 1 z)) 1))) into (- (/ 1 z)) 15.976 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 15.976 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 15.976 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.976 * [taylor]: Taking taylor expansion of z in z 15.976 * [backup-simplify]: Simplify 0 into 0 15.976 * [backup-simplify]: Simplify 1 into 1 15.976 * [backup-simplify]: Simplify (/ 1 1) into 1 15.976 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 15.976 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.976 * [taylor]: Taking taylor expansion of z in z 15.976 * [backup-simplify]: Simplify 0 into 0 15.976 * [backup-simplify]: Simplify 1 into 1 15.977 * [backup-simplify]: Simplify (/ 1 1) into 1 15.977 * [backup-simplify]: Simplify (- 1) into -1 15.977 * [backup-simplify]: Simplify -1 into -1 15.978 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.978 * [backup-simplify]: Simplify (- 0) into 0 15.978 * [backup-simplify]: Simplify 0 into 0 15.979 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.980 * [backup-simplify]: Simplify (- 0) into 0 15.980 * [backup-simplify]: Simplify 0 into 0 15.980 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.981 * [backup-simplify]: Simplify (- 0) into 0 15.981 * [backup-simplify]: Simplify 0 into 0 15.982 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.982 * [backup-simplify]: Simplify (- 0) into 0 15.982 * [backup-simplify]: Simplify 0 into 0 15.983 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.984 * [backup-simplify]: Simplify (- 0) into 0 15.984 * [backup-simplify]: Simplify 0 into 0 15.985 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.985 * [backup-simplify]: Simplify (- 0) into 0 15.985 * [backup-simplify]: Simplify 0 into 0 15.985 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 15.985 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- (- 1 (/ 1 (- z))) 1))) into (/ 1 z) 15.985 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 15.985 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.985 * [taylor]: Taking taylor expansion of z in z 15.985 * [backup-simplify]: Simplify 0 into 0 15.985 * [backup-simplify]: Simplify 1 into 1 15.986 * [backup-simplify]: Simplify (/ 1 1) into 1 15.986 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.986 * [taylor]: Taking taylor expansion of z in z 15.986 * [backup-simplify]: Simplify 0 into 0 15.986 * [backup-simplify]: Simplify 1 into 1 15.986 * [backup-simplify]: Simplify (/ 1 1) into 1 15.986 * [backup-simplify]: Simplify 1 into 1 15.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 15.987 * [backup-simplify]: Simplify 0 into 0 15.988 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.988 * [backup-simplify]: Simplify 0 into 0 15.989 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.989 * [backup-simplify]: Simplify 0 into 0 15.990 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.990 * [backup-simplify]: Simplify 0 into 0 15.992 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.992 * [backup-simplify]: Simplify 0 into 0 15.993 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 15.993 * [backup-simplify]: Simplify 0 into 0 15.993 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 15.993 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 15.993 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- (- 1 z) 1))) into (- z) 15.993 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 15.993 * [taylor]: Taking taylor expansion of (- z) in z 15.993 * [taylor]: Taking taylor expansion of z in z 15.993 * [backup-simplify]: Simplify 0 into 0 15.993 * [backup-simplify]: Simplify 1 into 1 15.993 * [taylor]: Taking taylor expansion of (- z) in z 15.993 * [taylor]: Taking taylor expansion of z in z 15.993 * [backup-simplify]: Simplify 0 into 0 15.993 * [backup-simplify]: Simplify 1 into 1 15.994 * [backup-simplify]: Simplify (- 0) into 0 15.994 * [backup-simplify]: Simplify 0 into 0 15.994 * [backup-simplify]: Simplify (- 1) into -1 15.994 * [backup-simplify]: Simplify -1 into -1 15.995 * [backup-simplify]: Simplify (- 0) into 0 15.995 * [backup-simplify]: Simplify 0 into 0 15.995 * [backup-simplify]: Simplify (- 0) into 0 15.995 * [backup-simplify]: Simplify 0 into 0 15.995 * [backup-simplify]: Simplify (- 0) into 0 15.996 * [backup-simplify]: Simplify 0 into 0 15.996 * [backup-simplify]: Simplify (- 0) into 0 15.996 * [backup-simplify]: Simplify 0 into 0 15.996 * [backup-simplify]: Simplify (- 0) into 0 15.996 * [backup-simplify]: Simplify 0 into 0 15.997 * [backup-simplify]: Simplify (- 0) into 0 15.997 * [backup-simplify]: Simplify 0 into 0 15.997 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 15.997 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- (- 1 (/ 1 z)) 1))) into (- (/ 1 z)) 15.997 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 15.997 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 15.997 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.997 * [taylor]: Taking taylor expansion of z in z 15.997 * [backup-simplify]: Simplify 0 into 0 15.997 * [backup-simplify]: Simplify 1 into 1 15.998 * [backup-simplify]: Simplify (/ 1 1) into 1 15.998 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 15.998 * [taylor]: Taking taylor expansion of (/ 1 z) in z 15.998 * [taylor]: Taking taylor expansion of z in z 15.998 * [backup-simplify]: Simplify 0 into 0 15.998 * [backup-simplify]: Simplify 1 into 1 15.998 * [backup-simplify]: Simplify (/ 1 1) into 1 15.999 * [backup-simplify]: Simplify (- 1) into -1 15.999 * [backup-simplify]: Simplify -1 into -1 16.000 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.000 * [backup-simplify]: Simplify (- 0) into 0 16.000 * [backup-simplify]: Simplify 0 into 0 16.001 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.002 * [backup-simplify]: Simplify (- 0) into 0 16.002 * [backup-simplify]: Simplify 0 into 0 16.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.003 * [backup-simplify]: Simplify (- 0) into 0 16.003 * [backup-simplify]: Simplify 0 into 0 16.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.005 * [backup-simplify]: Simplify (- 0) into 0 16.005 * [backup-simplify]: Simplify 0 into 0 16.006 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.006 * [backup-simplify]: Simplify (- 0) into 0 16.006 * [backup-simplify]: Simplify 0 into 0 16.007 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.008 * [backup-simplify]: Simplify (- 0) into 0 16.008 * [backup-simplify]: Simplify 0 into 0 16.008 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 16.008 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- (- 1 (/ 1 (- z))) 1))) into (/ 1 z) 16.008 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 16.008 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.008 * [taylor]: Taking taylor expansion of z in z 16.008 * [backup-simplify]: Simplify 0 into 0 16.008 * [backup-simplify]: Simplify 1 into 1 16.009 * [backup-simplify]: Simplify (/ 1 1) into 1 16.009 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.009 * [taylor]: Taking taylor expansion of z in z 16.009 * [backup-simplify]: Simplify 0 into 0 16.009 * [backup-simplify]: Simplify 1 into 1 16.009 * [backup-simplify]: Simplify (/ 1 1) into 1 16.009 * [backup-simplify]: Simplify 1 into 1 16.010 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.010 * [backup-simplify]: Simplify 0 into 0 16.011 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.011 * [backup-simplify]: Simplify 0 into 0 16.012 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.012 * [backup-simplify]: Simplify 0 into 0 16.013 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.013 * [backup-simplify]: Simplify 0 into 0 16.014 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.014 * [backup-simplify]: Simplify 0 into 0 16.015 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.015 * [backup-simplify]: Simplify 0 into 0 16.015 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 16.015 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2 1 1 1) 16.016 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 16.016 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 16.016 * [taylor]: Taking taylor expansion of (- z) in z 16.016 * [taylor]: Taking taylor expansion of z in z 16.016 * [backup-simplify]: Simplify 0 into 0 16.016 * [backup-simplify]: Simplify 1 into 1 16.016 * [taylor]: Taking taylor expansion of (- z) in z 16.016 * [taylor]: Taking taylor expansion of z in z 16.016 * [backup-simplify]: Simplify 0 into 0 16.016 * [backup-simplify]: Simplify 1 into 1 16.016 * [backup-simplify]: Simplify (- 0) into 0 16.016 * [backup-simplify]: Simplify 0 into 0 16.017 * [backup-simplify]: Simplify (- 1) into -1 16.017 * [backup-simplify]: Simplify -1 into -1 16.017 * [backup-simplify]: Simplify (- 0) into 0 16.017 * [backup-simplify]: Simplify 0 into 0 16.017 * [backup-simplify]: Simplify (- 0) into 0 16.017 * [backup-simplify]: Simplify 0 into 0 16.018 * [backup-simplify]: Simplify (- 0) into 0 16.018 * [backup-simplify]: Simplify 0 into 0 16.018 * [backup-simplify]: Simplify (- 0) into 0 16.018 * [backup-simplify]: Simplify 0 into 0 16.019 * [backup-simplify]: Simplify (- 0) into 0 16.019 * [backup-simplify]: Simplify 0 into 0 16.019 * [backup-simplify]: Simplify (- 0) into 0 16.019 * [backup-simplify]: Simplify 0 into 0 16.019 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 16.019 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 16.019 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 16.019 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 16.019 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.019 * [taylor]: Taking taylor expansion of z in z 16.019 * [backup-simplify]: Simplify 0 into 0 16.019 * [backup-simplify]: Simplify 1 into 1 16.020 * [backup-simplify]: Simplify (/ 1 1) into 1 16.020 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 16.020 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.020 * [taylor]: Taking taylor expansion of z in z 16.020 * [backup-simplify]: Simplify 0 into 0 16.020 * [backup-simplify]: Simplify 1 into 1 16.020 * [backup-simplify]: Simplify (/ 1 1) into 1 16.021 * [backup-simplify]: Simplify (- 1) into -1 16.021 * [backup-simplify]: Simplify -1 into -1 16.021 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.022 * [backup-simplify]: Simplify (- 0) into 0 16.022 * [backup-simplify]: Simplify 0 into 0 16.023 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.023 * [backup-simplify]: Simplify (- 0) into 0 16.023 * [backup-simplify]: Simplify 0 into 0 16.024 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.024 * [backup-simplify]: Simplify (- 0) into 0 16.024 * [backup-simplify]: Simplify 0 into 0 16.025 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.025 * [backup-simplify]: Simplify (- 0) into 0 16.025 * [backup-simplify]: Simplify 0 into 0 16.030 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.030 * [backup-simplify]: Simplify (- 0) into 0 16.030 * [backup-simplify]: Simplify 0 into 0 16.031 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.032 * [backup-simplify]: Simplify (- 0) into 0 16.032 * [backup-simplify]: Simplify 0 into 0 16.032 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 16.032 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 16.032 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 16.032 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.032 * [taylor]: Taking taylor expansion of z in z 16.032 * [backup-simplify]: Simplify 0 into 0 16.032 * [backup-simplify]: Simplify 1 into 1 16.032 * [backup-simplify]: Simplify (/ 1 1) into 1 16.033 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.033 * [taylor]: Taking taylor expansion of z in z 16.033 * [backup-simplify]: Simplify 0 into 0 16.033 * [backup-simplify]: Simplify 1 into 1 16.033 * [backup-simplify]: Simplify (/ 1 1) into 1 16.033 * [backup-simplify]: Simplify 1 into 1 16.034 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.034 * [backup-simplify]: Simplify 0 into 0 16.035 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.035 * [backup-simplify]: Simplify 0 into 0 16.036 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.036 * [backup-simplify]: Simplify 0 into 0 16.037 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.037 * [backup-simplify]: Simplify 0 into 0 16.038 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.038 * [backup-simplify]: Simplify 0 into 0 16.039 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.039 * [backup-simplify]: Simplify 0 into 0 16.039 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 16.039 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 2 1 1 1) 16.039 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 16.039 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 16.039 * [taylor]: Taking taylor expansion of (- z) in z 16.039 * [taylor]: Taking taylor expansion of z in z 16.039 * [backup-simplify]: Simplify 0 into 0 16.040 * [backup-simplify]: Simplify 1 into 1 16.040 * [taylor]: Taking taylor expansion of (- z) in z 16.040 * [taylor]: Taking taylor expansion of z in z 16.040 * [backup-simplify]: Simplify 0 into 0 16.040 * [backup-simplify]: Simplify 1 into 1 16.040 * [backup-simplify]: Simplify (- 0) into 0 16.040 * [backup-simplify]: Simplify 0 into 0 16.040 * [backup-simplify]: Simplify (- 1) into -1 16.041 * [backup-simplify]: Simplify -1 into -1 16.041 * [backup-simplify]: Simplify (- 0) into 0 16.041 * [backup-simplify]: Simplify 0 into 0 16.041 * [backup-simplify]: Simplify (- 0) into 0 16.041 * [backup-simplify]: Simplify 0 into 0 16.042 * [backup-simplify]: Simplify (- 0) into 0 16.042 * [backup-simplify]: Simplify 0 into 0 16.042 * [backup-simplify]: Simplify (- 0) into 0 16.042 * [backup-simplify]: Simplify 0 into 0 16.043 * [backup-simplify]: Simplify (- 0) into 0 16.043 * [backup-simplify]: Simplify 0 into 0 16.043 * [backup-simplify]: Simplify (- 0) into 0 16.043 * [backup-simplify]: Simplify 0 into 0 16.043 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 16.043 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 16.043 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 16.043 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 16.043 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.043 * [taylor]: Taking taylor expansion of z in z 16.043 * [backup-simplify]: Simplify 0 into 0 16.043 * [backup-simplify]: Simplify 1 into 1 16.044 * [backup-simplify]: Simplify (/ 1 1) into 1 16.044 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 16.044 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.044 * [taylor]: Taking taylor expansion of z in z 16.044 * [backup-simplify]: Simplify 0 into 0 16.044 * [backup-simplify]: Simplify 1 into 1 16.044 * [backup-simplify]: Simplify (/ 1 1) into 1 16.045 * [backup-simplify]: Simplify (- 1) into -1 16.045 * [backup-simplify]: Simplify -1 into -1 16.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.046 * [backup-simplify]: Simplify (- 0) into 0 16.046 * [backup-simplify]: Simplify 0 into 0 16.047 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.047 * [backup-simplify]: Simplify (- 0) into 0 16.047 * [backup-simplify]: Simplify 0 into 0 16.048 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.049 * [backup-simplify]: Simplify (- 0) into 0 16.049 * [backup-simplify]: Simplify 0 into 0 16.050 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.050 * [backup-simplify]: Simplify (- 0) into 0 16.050 * [backup-simplify]: Simplify 0 into 0 16.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.051 * [backup-simplify]: Simplify (- 0) into 0 16.051 * [backup-simplify]: Simplify 0 into 0 16.052 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.053 * [backup-simplify]: Simplify (- 0) into 0 16.053 * [backup-simplify]: Simplify 0 into 0 16.053 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 16.053 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 16.053 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 16.053 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.053 * [taylor]: Taking taylor expansion of z in z 16.053 * [backup-simplify]: Simplify 0 into 0 16.053 * [backup-simplify]: Simplify 1 into 1 16.054 * [backup-simplify]: Simplify (/ 1 1) into 1 16.054 * [taylor]: Taking taylor expansion of (/ 1 z) in z 16.054 * [taylor]: Taking taylor expansion of z in z 16.054 * [backup-simplify]: Simplify 0 into 0 16.054 * [backup-simplify]: Simplify 1 into 1 16.054 * [backup-simplify]: Simplify (/ 1 1) into 1 16.054 * [backup-simplify]: Simplify 1 into 1 16.055 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 16.055 * [backup-simplify]: Simplify 0 into 0 16.056 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.056 * [backup-simplify]: Simplify 0 into 0 16.057 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.057 * [backup-simplify]: Simplify 0 into 0 16.058 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.058 * [backup-simplify]: Simplify 0 into 0 16.059 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.059 * [backup-simplify]: Simplify 0 into 0 16.060 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 16.060 * [backup-simplify]: Simplify 0 into 0 16.060 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 16.060 * * * [progress]: simplifying candidates 16.060 * * * * [progress]: [ 1 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (log1p (expm1 (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 16.061 * * * * [progress]: [ 2 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (expm1 (log1p (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 16.061 * * * * [progress]: [ 3 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (pow (posit16->real (real->posit16 (- (- 1 z) 1))) 1) 8))))))> 16.061 * * * * [progress]: [ 4 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (exp (log (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 16.061 * * * * [progress]: [ 5 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (log (exp (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 16.061 * * * * [progress]: [ 6 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* (* (cbrt (posit16->real (real->posit16 (- (- 1 z) 1)))) (cbrt (posit16->real (real->posit16 (- (- 1 z) 1))))) (cbrt (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 16.061 * * * * [progress]: [ 7 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (cbrt (* (* (posit16->real (real->posit16 (- (- 1 z) 1))) (posit16->real (real->posit16 (- (- 1 z) 1)))) (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 16.062 * * * * [progress]: [ 8 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* (sqrt (posit16->real (real->posit16 (- (- 1 z) 1)))) (sqrt (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 16.062 * * * * [progress]: [ 9 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* 1 (posit16->real (real->posit16 (- (- 1 z) 1)))) 8))))))> 16.062 * * * * [progress]: [ 10 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 16.062 * * * * [progress]: [ 11 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 16.063 * * * * [progress]: [ 12 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.063 * * * * [progress]: [ 13 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.063 * * * * [progress]: [ 14 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.063 * * * * [progress]: [ 15 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.063 * * * * [progress]: [ 16 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.063 * * * * [progress]: [ 17 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1)))) (cbrt (posit16->real (real->posit16 (- (- 1 z) 1))))) (cbrt (posit16->real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.063 * * * * [progress]: [ 18 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) (posit16->real (real->posit16 (- (- 1 z) 1)))) (posit16->real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.064 * * * * [progress]: [ 19 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1)))) (sqrt (posit16->real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.064 * * * * [progress]: [ 20 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.064 * * * * [progress]: [ 21 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.064 * * * * [progress]: [ 22 / 150 ] simplifiying candidate #real (real->posit16 (posit16->real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.064 * * * * [progress]: [ 23 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 8))))))> 16.064 * * * * [progress]: [ 24 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 8))))))> 16.065 * * * * [progress]: [ 25 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) 8))))))> 16.065 * * * * [progress]: [ 26 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 8))))))> 16.065 * * * * [progress]: [ 27 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 8))))))> 16.065 * * * * [progress]: [ 28 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) 8))))))> 16.065 * * * * [progress]: [ 29 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 8))))))> 16.065 * * * * [progress]: [ 30 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 8))))))> 16.066 * * * * [progress]: [ 31 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) 8))))))> 16.066 * * * * [progress]: [ 32 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 8))))))> 16.066 * * * * [progress]: [ 33 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 8))))))> 16.066 * * * * [progress]: [ 34 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) 8))))))> 16.066 * * * * [progress]: [ 35 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 8))))))> 16.066 * * * * [progress]: [ 36 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 8))))))> 16.067 * * * * [progress]: [ 37 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) 8))))))> 16.067 * * * * [progress]: [ 38 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 8))))))> 16.067 * * * * [progress]: [ 39 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 8))))))> 16.067 * * * * [progress]: [ 40 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) 8))))))> 16.067 * * * * [progress]: [ 41 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (log1p (expm1 (- (- 1 z) 1))))) 8))))))> 16.067 * * * * [progress]: [ 42 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (expm1 (log1p (- (- 1 z) 1))))) 8))))))> 16.068 * * * * [progress]: [ 43 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (expm1 (log (- 1 z))))) 8))))))> 16.068 * * * * [progress]: [ 44 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- 1)))) 8))))))> 16.068 * * * * [progress]: [ 45 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- 1)))) 8))))))> 16.068 * * * * [progress]: [ 46 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (fma 1 (- 1 z) (- 1)))) 8))))))> 16.068 * * * * [progress]: [ 47 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- 1)))) 8))))))> 16.068 * * * * [progress]: [ 48 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- 1)))) 8))))))> 16.069 * * * * [progress]: [ 49 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (fma 1 (- 1 z) (- 1)))) 8))))))> 16.069 * * * * [progress]: [ 50 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (log (/ (/ (exp 1) (exp z)) (exp 1))))) 8))))))> 16.069 * * * * [progress]: [ 51 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (log (/ (exp (- 1 z)) (exp 1))))) 8))))))> 16.069 * * * * [progress]: [ 52 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (pow (- (- 1 z) 1) 1))) 8))))))> 16.069 * * * * [progress]: [ 53 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (exp (log (- (- 1 z) 1))))) 8))))))> 16.069 * * * * [progress]: [ 54 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (log (exp (- (- 1 z) 1))))) 8))))))> 16.070 * * * * [progress]: [ 55 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1))))) 8))))))> 16.070 * * * * [progress]: [ 56 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (cbrt (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1))))) 8))))))> 16.070 * * * * [progress]: [ 57 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1))))) 8))))))> 16.070 * * * * [progress]: [ 58 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (/ (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1)))))) 8))))))> 16.070 * * * * [progress]: [ 59 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (- 1 z) (- 1)))) 8))))))> 16.070 * * * * [progress]: [ 60 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* 1 (- (- 1 z) 1)))) 8))))))> 16.071 * * * * [progress]: [ 61 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (/ (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1)))) 8))))))> 16.071 * * * * [progress]: [ 62 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1))))) 8))))))> 16.071 * * * * [progress]: [ 63 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 8))))))> 16.071 * * * * [progress]: [ 64 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 8))))))> 16.071 * * * * [progress]: [ 65 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* 1 (- (- 1 z) 1)))) 8))))))> 16.071 * * * * [progress]: [ 66 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* 1 (- (- 1 z) 1)))) 8))))))> 16.072 * * * * [progress]: [ 67 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1)))) 8))))))> 16.072 * * * * [progress]: [ 68 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (sqrt z) (sqrt z)))) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1)))) 8))))))> 16.072 * * * * [progress]: [ 69 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* z 1))) (- (fma (- z) 1 (* z 1)) 1)))) 8))))))> 16.072 * * * * [progress]: [ 70 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma (sqrt 1) (sqrt 1) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1)))) 8))))))> 16.072 * * * * [progress]: [ 71 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma (sqrt 1) (sqrt 1) (- (* (sqrt z) (sqrt z)))) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1)))) 8))))))> 16.072 * * * * [progress]: [ 72 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma (sqrt 1) (sqrt 1) (- (* z 1))) (- (fma (- z) 1 (* z 1)) 1)))) 8))))))> 16.073 * * * * [progress]: [ 73 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma 1 1 (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1)))) 8))))))> 16.073 * * * * [progress]: [ 74 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma 1 1 (- (* (sqrt z) (sqrt z)))) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1)))) 8))))))> 16.073 * * * * [progress]: [ 75 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (fma 1 1 (- (* z 1))) (- (fma (- z) 1 (* z 1)) 1)))) 8))))))> 16.073 * * * * [progress]: [ 76 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ 1 (- (- z) 1)))) 8))))))> 16.073 * * * * [progress]: [ 77 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ 1 (- (- z) 1)))) 8))))))> 16.073 * * * * [progress]: [ 78 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- 1 (+ z 1)))) 8))))))> 16.074 * * * * [progress]: [ 79 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (+ (- 1 z) (- 1)))) 8))))))> 16.074 * * * * [progress]: [ 80 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 16.074 * * * * [progress]: [ 81 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.074 * * * * [progress]: [ 82 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.074 * * * * [progress]: [ 83 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.074 * * * * [progress]: [ 84 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.075 * * * * [progress]: [ 85 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.075 * * * * [progress]: [ 86 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.075 * * * * [progress]: [ 87 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.075 * * * * [progress]: [ 88 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.075 * * * * [progress]: [ 89 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.075 * * * * [progress]: [ 90 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.076 * * * * [progress]: [ 91 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.076 * * * * [progress]: [ 92 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.076 * * * * [progress]: [ 93 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.076 * * * * [progress]: [ 94 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.076 * * * * [progress]: [ 95 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.076 * * * * [progress]: [ 96 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.077 * * * * [progress]: [ 97 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.077 * * * * [progress]: [ 98 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.077 * * * * [progress]: [ 99 / 150 ] simplifiying candidate #real (real->posit16 (log1p (expm1 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.077 * * * * [progress]: [ 100 / 150 ] simplifiying candidate #real (real->posit16 (expm1 (log1p (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.077 * * * * [progress]: [ 101 / 150 ] simplifiying candidate #real (real->posit16 (expm1 (log (- 1 z))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.077 * * * * [progress]: [ 102 / 150 ] simplifiying candidate #real (real->posit16 (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.078 * * * * [progress]: [ 103 / 150 ] simplifiying candidate #real (real->posit16 (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.078 * * * * [progress]: [ 104 / 150 ] simplifiying candidate #real (real->posit16 (fma 1 (- 1 z) (- 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.078 * * * * [progress]: [ 105 / 150 ] simplifiying candidate #real (real->posit16 (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.078 * * * * [progress]: [ 106 / 150 ] simplifiying candidate #real (real->posit16 (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.078 * * * * [progress]: [ 107 / 150 ] simplifiying candidate #real (real->posit16 (fma 1 (- 1 z) (- 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.078 * * * * [progress]: [ 108 / 150 ] simplifiying candidate #real (real->posit16 (log (/ (/ (exp 1) (exp z)) (exp 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.079 * * * * [progress]: [ 109 / 150 ] simplifiying candidate #real (real->posit16 (log (/ (exp (- 1 z)) (exp 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.079 * * * * [progress]: [ 110 / 150 ] simplifiying candidate #real (real->posit16 (pow (- (- 1 z) 1) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.079 * * * * [progress]: [ 111 / 150 ] simplifiying candidate #real (real->posit16 (exp (log (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.079 * * * * [progress]: [ 112 / 150 ] simplifiying candidate #real (real->posit16 (log (exp (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.079 * * * * [progress]: [ 113 / 150 ] simplifiying candidate #real (real->posit16 (* (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.079 * * * * [progress]: [ 114 / 150 ] simplifiying candidate #real (real->posit16 (cbrt (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.079 * * * * [progress]: [ 115 / 150 ] simplifiying candidate #real (real->posit16 (* (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.080 * * * * [progress]: [ 116 / 150 ] simplifiying candidate #real (real->posit16 (/ (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1)))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.080 * * * * [progress]: [ 117 / 150 ] simplifiying candidate #real (real->posit16 (+ (- 1 z) (- 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.080 * * * * [progress]: [ 118 / 150 ] simplifiying candidate #real (real->posit16 (* 1 (- (- 1 z) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.080 * * * * [progress]: [ 119 / 150 ] simplifiying candidate #real (real->posit16 (/ (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.080 * * * * [progress]: [ 120 / 150 ] simplifiying candidate #real (real->posit16 (* (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.080 * * * * [progress]: [ 121 / 150 ] simplifiying candidate #real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.081 * * * * [progress]: [ 122 / 150 ] simplifiying candidate #real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.081 * * * * [progress]: [ 123 / 150 ] simplifiying candidate #real (real->posit16 (* 1 (- (- 1 z) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.081 * * * * [progress]: [ 124 / 150 ] simplifiying candidate #real (real->posit16 (* 1 (- (- 1 z) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.081 * * * * [progress]: [ 125 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.081 * * * * [progress]: [ 126 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* (sqrt z) (sqrt z)))) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.081 * * * * [progress]: [ 127 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (- (* z 1))) (- (fma (- z) 1 (* z 1)) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.082 * * * * [progress]: [ 128 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma (sqrt 1) (sqrt 1) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.082 * * * * [progress]: [ 129 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma (sqrt 1) (sqrt 1) (- (* (sqrt z) (sqrt z)))) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.082 * * * * [progress]: [ 130 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma (sqrt 1) (sqrt 1) (- (* z 1))) (- (fma (- z) 1 (* z 1)) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.082 * * * * [progress]: [ 131 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma 1 1 (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.082 * * * * [progress]: [ 132 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma 1 1 (- (* (sqrt z) (sqrt z)))) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.082 * * * * [progress]: [ 133 / 150 ] simplifiying candidate #real (real->posit16 (+ (fma 1 1 (- (* z 1))) (- (fma (- z) 1 (* z 1)) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.083 * * * * [progress]: [ 134 / 150 ] simplifiying candidate #real (real->posit16 (+ 1 (- (- z) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.083 * * * * [progress]: [ 135 / 150 ] simplifiying candidate #real (real->posit16 (+ 1 (- (- z) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.083 * * * * [progress]: [ 136 / 150 ] simplifiying candidate #real (real->posit16 (- 1 (+ z 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.083 * * * * [progress]: [ 137 / 150 ] simplifiying candidate #real (real->posit16 (+ (- 1 z) (- 1)))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.083 * * * * [progress]: [ 138 / 150 ] simplifiying candidate #real (real->posit16 (posit16->real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.083 * * * * [progress]: [ 139 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* -1 z) 8))))))> 16.084 * * * * [progress]: [ 140 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* -1 z) 8))))))> 16.084 * * * * [progress]: [ 141 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* -1 z) 8))))))> 16.084 * * * * [progress]: [ 142 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.084 * * * * [progress]: [ 143 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.084 * * * * [progress]: [ 144 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.084 * * * * [progress]: [ 145 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* -1 z))) 8))))))> 16.084 * * * * [progress]: [ 146 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* -1 z))) 8))))))> 16.084 * * * * [progress]: [ 147 / 150 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* -1 z))) 8))))))> 16.085 * * * * [progress]: [ 148 / 150 ] simplifiying candidate #real (real->posit16 (* -1 z))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.085 * * * * [progress]: [ 149 / 150 ] simplifiying candidate #real (real->posit16 (* -1 z))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.085 * * * * [progress]: [ 150 / 150 ] simplifiying candidate #real (real->posit16 (* -1 z))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 16.088 * [simplify]: Simplifying: (expm1 (posit16->real (real->posit16 (- (- 1 z) 1)))) (log1p (posit16->real (real->posit16 (- (- 1 z) 1)))) (log (posit16->real (real->posit16 (- (- 1 z) 1)))) (exp (posit16->real (real->posit16 (- (- 1 z) 1)))) (* (cbrt (posit16->real (real->posit16 (- (- 1 z) 1)))) (cbrt (posit16->real (real->posit16 (- (- 1 z) 1))))) (cbrt (posit16->real (real->posit16 (- (- 1 z) 1)))) (* (* (posit16->real (real->posit16 (- (- 1 z) 1))) (posit16->real (real->posit16 (- (- 1 z) 1)))) (posit16->real (real->posit16 (- (- 1 z) 1)))) (sqrt (posit16->real (real->posit16 (- (- 1 z) 1)))) (sqrt (posit16->real (real->posit16 (- (- 1 z) 1)))) (real->posit16 (posit16->real (real->posit16 (- (- 1 z) 1)))) (expm1 (posit16->real (real->posit16 (- (- 1 z) 1)))) (log1p (posit16->real (real->posit16 (- (- 1 z) 1)))) (log (posit16->real (real->posit16 (- (- 1 z) 1)))) (exp (posit16->real (real->posit16 (- (- 1 z) 1)))) (* (cbrt (posit16->real (real->posit16 (- (- 1 z) 1)))) (cbrt (posit16->real (real->posit16 (- (- 1 z) 1))))) (cbrt (posit16->real (real->posit16 (- (- 1 z) 1)))) (* (* (posit16->real (real->posit16 (- (- 1 z) 1))) (posit16->real (real->posit16 (- (- 1 z) 1)))) (posit16->real (real->posit16 (- (- 1 z) 1)))) (sqrt (posit16->real (real->posit16 (- (- 1 z) 1)))) (sqrt (posit16->real (real->posit16 (- (- 1 z) 1)))) (real->posit16 (posit16->real (real->posit16 (- (- 1 z) 1)))) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (+ (sqrt 1) (sqrt z)) (- (sqrt 1) (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma (+ 1 (sqrt z)) (- 1 (sqrt z)) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (fma 1 (- 1 z) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1)))) (fma 1 (- 1 z) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1))) (fma 1 (- 1 z) (- (* 1 1))) (fma (- 1) 1 (* 1 1)) (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) (- 1) (- 1) (- 1) (- 1) (- 1) (- 1) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) 1) (- (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) 1) (- (fma (- z) 1 (* z 1)) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 16.091 * * [simplify]: iteration 0: 101 enodes 16.135 * * [simplify]: iteration 1: 209 enodes 16.201 * * [simplify]: iteration 2: 386 enodes 16.455 * * [simplify]: iteration 3: 1119 enodes 16.987 * * [simplify]: iteration 4: 2001 enodes 17.226 * * [simplify]: iteration complete: 2001 enodes 17.227 * * [simplify]: Extracting #0: cost 23 inf + 0 17.228 * * [simplify]: Extracting #1: cost 126 inf + 2 17.230 * * [simplify]: Extracting #2: cost 240 inf + 499 17.235 * * [simplify]: Extracting #3: cost 221 inf + 10566 17.252 * * [simplify]: Extracting #4: cost 107 inf + 28093 17.263 * * [simplify]: Extracting #5: cost 33 inf + 43359 17.273 * * [simplify]: Extracting #6: cost 4 inf + 48622 17.283 * * [simplify]: Extracting #7: cost 0 inf + 49798 17.304 * [simplify]: Simplified to: (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) (log1p (- -1 z)) (exp (- z)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (- (- 1 z) 1) (* (- (- 1 z) 1) (- (- 1 z) 1))) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (real->posit16 (- (- 1 z) 1)) (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) (log1p (- -1 z)) (exp (- z)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (- (- 1 z) 1) (* (- (- 1 z) 1) (- (- 1 z) 1))) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (real->posit16 (- (- 1 z) 1)) (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) -1 -1 -1 -1 -1 -1 (exp (- z)) (exp (- z)) (log1p (- -1 z)) (exp (- z)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (- (- 1 z) 1) (* (- (- 1 z) 1) (- (- 1 z) 1))) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (fma (* (- 1 z) (- 1 z)) (- 1 z) -1) (+ (- 1 z) (fma (- 1 z) (- 1 z) 1)) -1 (fma (- 1 z) (- 1 z) -1) (- 2 z) (+ 1 (sqrt (- 1 z))) (- (sqrt (- 1 z)) 1) (+ 1 (sqrt (- 1 z))) (- (sqrt (- 1 z)) 1) (+ 1 (sqrt (- 1 z))) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- (- 1 z) 1)) (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (+ (fma (- 1 (sqrt z)) (sqrt z) (- 1 (sqrt z))) -1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (- (- 1 z) 1) 0 (expm1 (- (- 1 z) 1)) (log1p (- (- 1 z) 1)) -1 -1 -1 -1 -1 -1 (exp (- z)) (exp (- z)) (log1p (- -1 z)) (exp (- z)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (- (- 1 z) 1) (* (- (- 1 z) 1) (- (- 1 z) 1))) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (fma (* (- 1 z) (- 1 z)) (- 1 z) -1) (+ (- 1 z) (fma (- 1 z) (- 1 z) 1)) -1 (fma (- 1 z) (- 1 z) -1) (- 2 z) (+ 1 (sqrt (- 1 z))) (- (sqrt (- 1 z)) 1) (+ 1 (sqrt (- 1 z))) (- (sqrt (- 1 z)) 1) (+ 1 (sqrt (- 1 z))) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- 0 1) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- (- 1 z) 1)) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) 17.432 * * * [progress]: adding candidates to table 20.950 * [progress]: [Phase 3 of 3] Extracting. 20.950 * * [regime]: Finding splitpoints for: (# #real (real->posit16 (- (- 1 z) 1))) 8))))))> #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))>) 20.961 * * * [regime-changes]: Trying 2 branch expressions: ((* (/ 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))))) z) 20.961 * * * * [regimes]: Trying to branch on (* (/ 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))))) from (# #real (real->posit16 (- (- 1 z) 1))) 8))))))> #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))>) 21.095 * * * * [regimes]: Trying to branch on z from (# #real (real->posit16 (- (- 1 z) 1))) 8))))))> #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))>) 21.189 * * * [regime]: Found split indices: #