0.002 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 1.805 * * * [progress]: [2/2] Setting up program. 1.820 * [progress]: [Phase 2 of 3] Improving. 1.821 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1.821 * [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))))) 1.822 * * [simplify]: iters left: 6 (60 enodes) 1.893 * * [simplify]: iters left: 5 (275 enodes) 2.015 * * [simplify]: Extracting #0: cost 1 inf + 0 2.015 * * [simplify]: Extracting #1: cost 29 inf + 0 2.015 * * [simplify]: Extracting #2: cost 96 inf + 1 2.016 * * [simplify]: Extracting #3: cost 193 inf + 1 2.016 * * [simplify]: Extracting #4: cost 271 inf + 437 2.018 * * [simplify]: Extracting #5: cost 285 inf + 2099 2.020 * * [simplify]: Extracting #6: cost 181 inf + 15031 2.027 * * [simplify]: Extracting #7: cost 109 inf + 40381 2.054 * * [simplify]: Extracting #8: cost 5 inf + 137050 2.085 * * [simplify]: Extracting #9: cost 0 inf + 143532 2.138 * [simplify]: Simplified to (* (* (/ PI (sin (* PI z))) (+ (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (+ (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (+ (/ 771.3234287776531 (+ (- 1 z) 2)) (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))))) (/ 12.507343278686905 (- (- 1 z) -4)))) (+ (/ 9.984369578019572e-06 (- (- 1 z) -6)) (/ -0.13857109526572012 (- 7 (+ z 1)))))) (/ (* (* (sqrt (* 2 PI)) (pow (- (- 1 z) (- -6 0.5)) (+ 0.5 (- 1 (+ z 1))))) 1) (exp (- (- 1 z) (- -6 0.5))))) 2.138 * [simplify]: Simplified (2) to (λ (z) (* (* (/ PI (sin (* PI z))) (+ (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (+ (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (+ (/ 771.3234287776531 (+ (- 1 z) 2)) (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))))) (/ 12.507343278686905 (- (- 1 z) -4)))) (+ (/ 9.984369578019572e-06 (- (- 1 z) -6)) (/ -0.13857109526572012 (- 7 (+ z 1)))))) (/ (* (* (sqrt (* 2 PI)) (pow (- (- 1 z) (- -6 0.5)) (+ 0.5 (- 1 (+ z 1))))) 1) (exp (- (- 1 z) (- -6 0.5)))))) 2.151 * * [progress]: iteration 1 / 4 2.151 * * * [progress]: picking best candidate 2.164 * * * * [pick]: Picked # 2.164 * * * [progress]: localizing error 2.376 * * * [progress]: generating rewritten candidates 2.376 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 2.418 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 2.467 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 2.506 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 2.558 * * * [progress]: generating series expansions 2.559 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 2.559 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 2.559 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.559 * [taylor]: Taking taylor expansion of (- z) in z 2.559 * [taylor]: Taking taylor expansion of z in z 2.559 * [backup-simplify]: Simplify 0 into 0 2.559 * [backup-simplify]: Simplify 1 into 1 2.559 * [taylor]: Taking taylor expansion of (- z) in z 2.559 * [taylor]: Taking taylor expansion of z in z 2.559 * [backup-simplify]: Simplify 0 into 0 2.559 * [backup-simplify]: Simplify 1 into 1 2.559 * [backup-simplify]: Simplify (- 0) into 0 2.559 * [backup-simplify]: Simplify 0 into 0 2.560 * [backup-simplify]: Simplify (- 1) into -1 2.560 * [backup-simplify]: Simplify -1 into -1 2.560 * [backup-simplify]: Simplify (- 0) into 0 2.560 * [backup-simplify]: Simplify 0 into 0 2.560 * [backup-simplify]: Simplify (- 0) into 0 2.560 * [backup-simplify]: Simplify 0 into 0 2.561 * [backup-simplify]: Simplify (- 0) into 0 2.561 * [backup-simplify]: Simplify 0 into 0 2.561 * [backup-simplify]: Simplify (- 0) into 0 2.561 * [backup-simplify]: Simplify 0 into 0 2.561 * [backup-simplify]: Simplify (- 0) into 0 2.561 * [backup-simplify]: Simplify 0 into 0 2.561 * [backup-simplify]: Simplify (- 0) into 0 2.561 * [backup-simplify]: Simplify 0 into 0 2.561 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 2.562 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 2.562 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.562 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.562 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.562 * [taylor]: Taking taylor expansion of z in z 2.562 * [backup-simplify]: Simplify 0 into 0 2.562 * [backup-simplify]: Simplify 1 into 1 2.562 * [backup-simplify]: Simplify (/ 1 1) into 1 2.562 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.562 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.562 * [taylor]: Taking taylor expansion of z in z 2.562 * [backup-simplify]: Simplify 0 into 0 2.562 * [backup-simplify]: Simplify 1 into 1 2.562 * [backup-simplify]: Simplify (/ 1 1) into 1 2.563 * [backup-simplify]: Simplify (- 1) into -1 2.563 * [backup-simplify]: Simplify -1 into -1 2.563 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.563 * [backup-simplify]: Simplify (- 0) into 0 2.563 * [backup-simplify]: Simplify 0 into 0 2.564 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.564 * [backup-simplify]: Simplify (- 0) into 0 2.564 * [backup-simplify]: Simplify 0 into 0 2.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.565 * [backup-simplify]: Simplify (- 0) into 0 2.565 * [backup-simplify]: Simplify 0 into 0 2.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.566 * [backup-simplify]: Simplify (- 0) into 0 2.566 * [backup-simplify]: Simplify 0 into 0 2.566 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.567 * [backup-simplify]: Simplify (- 0) into 0 2.567 * [backup-simplify]: Simplify 0 into 0 2.567 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.567 * [backup-simplify]: Simplify (- 0) into 0 2.567 * [backup-simplify]: Simplify 0 into 0 2.567 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 2.568 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 2.568 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.568 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.568 * [taylor]: Taking taylor expansion of z in z 2.568 * [backup-simplify]: Simplify 0 into 0 2.568 * [backup-simplify]: Simplify 1 into 1 2.568 * [backup-simplify]: Simplify (/ 1 1) into 1 2.568 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.568 * [taylor]: Taking taylor expansion of z in z 2.568 * [backup-simplify]: Simplify 0 into 0 2.568 * [backup-simplify]: Simplify 1 into 1 2.568 * [backup-simplify]: Simplify (/ 1 1) into 1 2.568 * [backup-simplify]: Simplify 1 into 1 2.569 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.569 * [backup-simplify]: Simplify 0 into 0 2.569 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.569 * [backup-simplify]: Simplify 0 into 0 2.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.570 * [backup-simplify]: Simplify 0 into 0 2.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.570 * [backup-simplify]: Simplify 0 into 0 2.571 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.571 * [backup-simplify]: Simplify 0 into 0 2.572 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.572 * [backup-simplify]: Simplify 0 into 0 2.572 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 2.572 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 2.572 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 2.572 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.572 * [taylor]: Taking taylor expansion of (- z) in z 2.572 * [taylor]: Taking taylor expansion of z in z 2.572 * [backup-simplify]: Simplify 0 into 0 2.572 * [backup-simplify]: Simplify 1 into 1 2.572 * [taylor]: Taking taylor expansion of (- z) in z 2.572 * [taylor]: Taking taylor expansion of z in z 2.572 * [backup-simplify]: Simplify 0 into 0 2.572 * [backup-simplify]: Simplify 1 into 1 2.572 * [backup-simplify]: Simplify (- 0) into 0 2.572 * [backup-simplify]: Simplify 0 into 0 2.572 * [backup-simplify]: Simplify (- 1) into -1 2.572 * [backup-simplify]: Simplify -1 into -1 2.573 * [backup-simplify]: Simplify (- 0) into 0 2.573 * [backup-simplify]: Simplify 0 into 0 2.573 * [backup-simplify]: Simplify (- 0) into 0 2.573 * [backup-simplify]: Simplify 0 into 0 2.573 * [backup-simplify]: Simplify (- 0) into 0 2.573 * [backup-simplify]: Simplify 0 into 0 2.573 * [backup-simplify]: Simplify (- 0) into 0 2.574 * [backup-simplify]: Simplify 0 into 0 2.574 * [backup-simplify]: Simplify (- 0) into 0 2.574 * [backup-simplify]: Simplify 0 into 0 2.574 * [backup-simplify]: Simplify (- 0) into 0 2.574 * [backup-simplify]: Simplify 0 into 0 2.574 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 2.574 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 2.574 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.574 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.574 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.574 * [taylor]: Taking taylor expansion of z in z 2.574 * [backup-simplify]: Simplify 0 into 0 2.574 * [backup-simplify]: Simplify 1 into 1 2.575 * [backup-simplify]: Simplify (/ 1 1) into 1 2.575 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.575 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.575 * [taylor]: Taking taylor expansion of z in z 2.575 * [backup-simplify]: Simplify 0 into 0 2.575 * [backup-simplify]: Simplify 1 into 1 2.575 * [backup-simplify]: Simplify (/ 1 1) into 1 2.575 * [backup-simplify]: Simplify (- 1) into -1 2.575 * [backup-simplify]: Simplify -1 into -1 2.576 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.576 * [backup-simplify]: Simplify (- 0) into 0 2.576 * [backup-simplify]: Simplify 0 into 0 2.576 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.577 * [backup-simplify]: Simplify (- 0) into 0 2.577 * [backup-simplify]: Simplify 0 into 0 2.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.577 * [backup-simplify]: Simplify (- 0) into 0 2.577 * [backup-simplify]: Simplify 0 into 0 2.578 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.578 * [backup-simplify]: Simplify (- 0) into 0 2.578 * [backup-simplify]: Simplify 0 into 0 2.579 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.579 * [backup-simplify]: Simplify (- 0) into 0 2.579 * [backup-simplify]: Simplify 0 into 0 2.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.580 * [backup-simplify]: Simplify (- 0) into 0 2.580 * [backup-simplify]: Simplify 0 into 0 2.580 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 2.580 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 2.580 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.580 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.580 * [taylor]: Taking taylor expansion of z in z 2.580 * [backup-simplify]: Simplify 0 into 0 2.580 * [backup-simplify]: Simplify 1 into 1 2.581 * [backup-simplify]: Simplify (/ 1 1) into 1 2.581 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.581 * [taylor]: Taking taylor expansion of z in z 2.581 * [backup-simplify]: Simplify 0 into 0 2.581 * [backup-simplify]: Simplify 1 into 1 2.581 * [backup-simplify]: Simplify (/ 1 1) into 1 2.581 * [backup-simplify]: Simplify 1 into 1 2.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.582 * [backup-simplify]: Simplify 0 into 0 2.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.582 * [backup-simplify]: Simplify 0 into 0 2.583 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.583 * [backup-simplify]: Simplify 0 into 0 2.584 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.584 * [backup-simplify]: Simplify 0 into 0 2.585 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.585 * [backup-simplify]: Simplify 0 into 0 2.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.586 * [backup-simplify]: Simplify 0 into 0 2.587 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 2.587 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 2.587 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 2.587 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.587 * [taylor]: Taking taylor expansion of (- z) in z 2.587 * [taylor]: Taking taylor expansion of z in z 2.587 * [backup-simplify]: Simplify 0 into 0 2.587 * [backup-simplify]: Simplify 1 into 1 2.587 * [taylor]: Taking taylor expansion of (- z) in z 2.587 * [taylor]: Taking taylor expansion of z in z 2.587 * [backup-simplify]: Simplify 0 into 0 2.587 * [backup-simplify]: Simplify 1 into 1 2.587 * [backup-simplify]: Simplify (- 0) into 0 2.587 * [backup-simplify]: Simplify 0 into 0 2.588 * [backup-simplify]: Simplify (- 1) into -1 2.588 * [backup-simplify]: Simplify -1 into -1 2.588 * [backup-simplify]: Simplify (- 0) into 0 2.588 * [backup-simplify]: Simplify 0 into 0 2.589 * [backup-simplify]: Simplify (- 0) into 0 2.589 * [backup-simplify]: Simplify 0 into 0 2.589 * [backup-simplify]: Simplify (- 0) into 0 2.589 * [backup-simplify]: Simplify 0 into 0 2.590 * [backup-simplify]: Simplify (- 0) into 0 2.590 * [backup-simplify]: Simplify 0 into 0 2.590 * [backup-simplify]: Simplify (- 0) into 0 2.590 * [backup-simplify]: Simplify 0 into 0 2.591 * [backup-simplify]: Simplify (- 0) into 0 2.591 * [backup-simplify]: Simplify 0 into 0 2.591 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 2.591 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 2.591 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.591 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.591 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.591 * [taylor]: Taking taylor expansion of z in z 2.591 * [backup-simplify]: Simplify 0 into 0 2.591 * [backup-simplify]: Simplify 1 into 1 2.591 * [backup-simplify]: Simplify (/ 1 1) into 1 2.591 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.591 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.591 * [taylor]: Taking taylor expansion of z in z 2.591 * [backup-simplify]: Simplify 0 into 0 2.592 * [backup-simplify]: Simplify 1 into 1 2.592 * [backup-simplify]: Simplify (/ 1 1) into 1 2.592 * [backup-simplify]: Simplify (- 1) into -1 2.592 * [backup-simplify]: Simplify -1 into -1 2.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.594 * [backup-simplify]: Simplify (- 0) into 0 2.594 * [backup-simplify]: Simplify 0 into 0 2.595 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.595 * [backup-simplify]: Simplify (- 0) into 0 2.595 * [backup-simplify]: Simplify 0 into 0 2.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.596 * [backup-simplify]: Simplify (- 0) into 0 2.596 * [backup-simplify]: Simplify 0 into 0 2.597 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.598 * [backup-simplify]: Simplify (- 0) into 0 2.598 * [backup-simplify]: Simplify 0 into 0 2.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.599 * [backup-simplify]: Simplify (- 0) into 0 2.599 * [backup-simplify]: Simplify 0 into 0 2.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.601 * [backup-simplify]: Simplify (- 0) into 0 2.601 * [backup-simplify]: Simplify 0 into 0 2.601 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 2.601 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 2.601 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.601 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.601 * [taylor]: Taking taylor expansion of z in z 2.601 * [backup-simplify]: Simplify 0 into 0 2.601 * [backup-simplify]: Simplify 1 into 1 2.601 * [backup-simplify]: Simplify (/ 1 1) into 1 2.602 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.602 * [taylor]: Taking taylor expansion of z in z 2.602 * [backup-simplify]: Simplify 0 into 0 2.602 * [backup-simplify]: Simplify 1 into 1 2.602 * [backup-simplify]: Simplify (/ 1 1) into 1 2.602 * [backup-simplify]: Simplify 1 into 1 2.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.603 * [backup-simplify]: Simplify 0 into 0 2.604 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.604 * [backup-simplify]: Simplify 0 into 0 2.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.605 * [backup-simplify]: Simplify 0 into 0 2.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.606 * [backup-simplify]: Simplify 0 into 0 2.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.607 * [backup-simplify]: Simplify 0 into 0 2.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.608 * [backup-simplify]: Simplify 0 into 0 2.608 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 2.608 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 2.608 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 2.608 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.608 * [taylor]: Taking taylor expansion of (- z) in z 2.608 * [taylor]: Taking taylor expansion of z in z 2.608 * [backup-simplify]: Simplify 0 into 0 2.608 * [backup-simplify]: Simplify 1 into 1 2.608 * [taylor]: Taking taylor expansion of (- z) in z 2.608 * [taylor]: Taking taylor expansion of z in z 2.608 * [backup-simplify]: Simplify 0 into 0 2.608 * [backup-simplify]: Simplify 1 into 1 2.609 * [backup-simplify]: Simplify (- 0) into 0 2.609 * [backup-simplify]: Simplify 0 into 0 2.609 * [backup-simplify]: Simplify (- 1) into -1 2.609 * [backup-simplify]: Simplify -1 into -1 2.610 * [backup-simplify]: Simplify (- 0) into 0 2.610 * [backup-simplify]: Simplify 0 into 0 2.610 * [backup-simplify]: Simplify (- 0) into 0 2.610 * [backup-simplify]: Simplify 0 into 0 2.610 * [backup-simplify]: Simplify (- 0) into 0 2.610 * [backup-simplify]: Simplify 0 into 0 2.611 * [backup-simplify]: Simplify (- 0) into 0 2.611 * [backup-simplify]: Simplify 0 into 0 2.611 * [backup-simplify]: Simplify (- 0) into 0 2.611 * [backup-simplify]: Simplify 0 into 0 2.612 * [backup-simplify]: Simplify (- 0) into 0 2.612 * [backup-simplify]: Simplify 0 into 0 2.612 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 2.612 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 2.612 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.612 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.612 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.612 * [taylor]: Taking taylor expansion of z in z 2.612 * [backup-simplify]: Simplify 0 into 0 2.612 * [backup-simplify]: Simplify 1 into 1 2.612 * [backup-simplify]: Simplify (/ 1 1) into 1 2.612 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.612 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.612 * [taylor]: Taking taylor expansion of z in z 2.613 * [backup-simplify]: Simplify 0 into 0 2.613 * [backup-simplify]: Simplify 1 into 1 2.613 * [backup-simplify]: Simplify (/ 1 1) into 1 2.613 * [backup-simplify]: Simplify (- 1) into -1 2.613 * [backup-simplify]: Simplify -1 into -1 2.614 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.614 * [backup-simplify]: Simplify (- 0) into 0 2.615 * [backup-simplify]: Simplify 0 into 0 2.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.616 * [backup-simplify]: Simplify (- 0) into 0 2.616 * [backup-simplify]: Simplify 0 into 0 2.617 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.617 * [backup-simplify]: Simplify (- 0) into 0 2.617 * [backup-simplify]: Simplify 0 into 0 2.618 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.618 * [backup-simplify]: Simplify (- 0) into 0 2.618 * [backup-simplify]: Simplify 0 into 0 2.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.620 * [backup-simplify]: Simplify (- 0) into 0 2.620 * [backup-simplify]: Simplify 0 into 0 2.621 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.621 * [backup-simplify]: Simplify (- 0) into 0 2.621 * [backup-simplify]: Simplify 0 into 0 2.621 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 2.621 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 2.621 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.621 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.622 * [taylor]: Taking taylor expansion of z in z 2.622 * [backup-simplify]: Simplify 0 into 0 2.622 * [backup-simplify]: Simplify 1 into 1 2.622 * [backup-simplify]: Simplify (/ 1 1) into 1 2.622 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.622 * [taylor]: Taking taylor expansion of z in z 2.622 * [backup-simplify]: Simplify 0 into 0 2.622 * [backup-simplify]: Simplify 1 into 1 2.622 * [backup-simplify]: Simplify (/ 1 1) into 1 2.623 * [backup-simplify]: Simplify 1 into 1 2.623 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.623 * [backup-simplify]: Simplify 0 into 0 2.624 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.624 * [backup-simplify]: Simplify 0 into 0 2.625 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.625 * [backup-simplify]: Simplify 0 into 0 2.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.626 * [backup-simplify]: Simplify 0 into 0 2.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.627 * [backup-simplify]: Simplify 0 into 0 2.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.628 * [backup-simplify]: Simplify 0 into 0 2.628 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 2.628 * * * [progress]: simplifying candidates 2.628 * * * * [progress]: [ 1 / 100 ] simplifiying candidate # 2.629 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 2.629 * * [simplify]: iters left: 5 (6 enodes) 2.632 * * [simplify]: iters left: 4 (23 enodes) 2.639 * * [simplify]: iters left: 3 (34 enodes) 2.649 * * [simplify]: iters left: 2 (39 enodes) 2.660 * * [simplify]: Extracting #0: cost 1 inf + 0 2.660 * * [simplify]: Extracting #1: cost 8 inf + 0 2.660 * * [simplify]: Extracting #2: cost 12 inf + 2 2.660 * * [simplify]: Extracting #3: cost 5 inf + 492 2.661 * * [simplify]: Extracting #4: cost 1 inf + 869 2.661 * * [simplify]: Extracting #5: cost 0 inf + 981 2.662 * [simplify]: Simplified to (exp (- z)) 2.662 * [simplify]: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (log (exp (- z))) 8)))))) 2.662 * * * * [progress]: [ 2 / 100 ] simplifiying candidate # 2.663 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 2.663 * * [simplify]: iters left: 5 (6 enodes) 2.666 * * [simplify]: iters left: 4 (25 enodes) 2.674 * * [simplify]: iters left: 3 (43 enodes) 2.691 * * [simplify]: iters left: 2 (69 enodes) 2.713 * * [simplify]: iters left: 1 (117 enodes) 2.785 * * [simplify]: Extracting #0: cost 1 inf + 0 2.785 * * [simplify]: Extracting #1: cost 23 inf + 0 2.786 * * [simplify]: Extracting #2: cost 47 inf + 43 2.786 * * [simplify]: Extracting #3: cost 56 inf + 270 2.788 * * [simplify]: Extracting #4: cost 9 inf + 4884 2.791 * * [simplify]: Extracting #5: cost 0 inf + 6053 2.793 * * [simplify]: Extracting #6: cost 0 inf + 6011 2.796 * [simplify]: Simplified to (exp (- z)) 2.796 * [simplify]: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (log (exp (- z))) 8)))))) 2.797 * * * * [progress]: [ 3 / 100 ] simplifiying candidate # 2.797 * * * * [progress]: [ 4 / 100 ] simplifiying candidate # 2.797 * * * * [progress]: [ 5 / 100 ] simplifiying candidate # 2.798 * * * * [progress]: [ 6 / 100 ] simplifiying candidate # 2.798 * * * * [progress]: [ 7 / 100 ] simplifiying candidate # 2.798 * * * * [progress]: [ 8 / 100 ] simplifiying candidate # 2.798 * * * * [progress]: [ 9 / 100 ] simplifiying candidate # 2.798 * * * * [progress]: [ 10 / 100 ] simplifiying candidate # 2.799 * * * * [progress]: [ 11 / 100 ] simplifiying candidate # 2.799 * * * * [progress]: [ 12 / 100 ] simplifiying candidate # 2.799 * * * * [progress]: [ 13 / 100 ] simplifiying candidate # 2.799 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 2.799 * * [simplify]: iters left: 5 (6 enodes) 2.804 * * [simplify]: iters left: 4 (23 enodes) 2.811 * * [simplify]: iters left: 3 (28 enodes) 2.821 * * [simplify]: Extracting #0: cost 1 inf + 0 2.821 * * [simplify]: Extracting #1: cost 4 inf + 0 2.821 * * [simplify]: Extracting #2: cost 5 inf + 1 2.821 * * [simplify]: Extracting #3: cost 8 inf + 1 2.821 * * [simplify]: Extracting #4: cost 6 inf + 86 2.822 * * [simplify]: Extracting #5: cost 1 inf + 454 2.822 * * [simplify]: Extracting #6: cost 0 inf + 576 2.822 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 2.822 * [simplify]: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) (sqrt 1))) 8)))))) 2.823 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 2.823 * * [simplify]: iters left: 5 (6 enodes) 2.828 * * [simplify]: iters left: 4 (25 enodes) 2.836 * * [simplify]: iters left: 3 (34 enodes) 2.844 * * [simplify]: Extracting #0: cost 1 inf + 0 2.845 * * [simplify]: Extracting #1: cost 5 inf + 0 2.845 * * [simplify]: Extracting #2: cost 5 inf + 2 2.845 * * [simplify]: Extracting #3: cost 8 inf + 2 2.845 * * [simplify]: Extracting #4: cost 7 inf + 44 2.845 * * [simplify]: Extracting #5: cost 2 inf + 373 2.845 * * [simplify]: Extracting #6: cost 0 inf + 577 2.846 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 2.846 * [simplify]: Simplified (2 2 2 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (* (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) 1)) 8)))))) 2.846 * * * * [progress]: [ 14 / 100 ] simplifiying candidate # 2.847 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 2.847 * * [simplify]: iters left: 5 (5 enodes) 2.850 * * [simplify]: iters left: 4 (20 enodes) 2.855 * * [simplify]: iters left: 3 (25 enodes) 2.862 * * [simplify]: Extracting #0: cost 1 inf + 0 2.862 * * [simplify]: Extracting #1: cost 4 inf + 0 2.862 * * [simplify]: Extracting #2: cost 5 inf + 1 2.863 * * [simplify]: Extracting #3: cost 8 inf + 1 2.863 * * [simplify]: Extracting #4: cost 1 inf + 535 2.863 * * [simplify]: Extracting #5: cost 0 inf + 576 2.863 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 2.863 * [simplify]: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 8)))))) 2.864 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 2.864 * * [simplify]: iters left: 5 (5 enodes) 2.867 * * [simplify]: iters left: 4 (22 enodes) 2.874 * * [simplify]: iters left: 3 (29 enodes) 2.882 * * [simplify]: Extracting #0: cost 1 inf + 0 2.883 * * [simplify]: Extracting #1: cost 5 inf + 0 2.883 * * [simplify]: Extracting #2: cost 5 inf + 2 2.883 * * [simplify]: Extracting #3: cost 8 inf + 2 2.883 * * [simplify]: Extracting #4: cost 7 inf + 44 2.883 * * [simplify]: Extracting #5: cost 1 inf + 455 2.883 * * [simplify]: Extracting #6: cost 0 inf + 577 2.884 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 2.884 * [simplify]: Simplified (2 2 2 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 8)))))) 2.884 * * * * [progress]: [ 15 / 100 ] simplifiying candidate # 2.885 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 2.885 * * [simplify]: iters left: 5 (5 enodes) 2.887 * * [simplify]: iters left: 4 (20 enodes) 2.894 * * [simplify]: iters left: 3 (25 enodes) 2.900 * * [simplify]: Extracting #0: cost 1 inf + 0 2.900 * * [simplify]: Extracting #1: cost 4 inf + 0 2.900 * * [simplify]: Extracting #2: cost 5 inf + 1 2.901 * * [simplify]: Extracting #3: cost 8 inf + 1 2.901 * * [simplify]: Extracting #4: cost 1 inf + 535 2.901 * * [simplify]: Extracting #5: cost 0 inf + 576 2.901 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 2.901 * [simplify]: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 8)))))) 2.902 * * * * [progress]: [ 16 / 100 ] simplifiying candidate # 2.902 * [simplify]: Simplifying (- (- 1 z) 1) 2.903 * * [simplify]: iters left: 4 (4 enodes) 2.905 * * [simplify]: iters left: 3 (21 enodes) 2.912 * * [simplify]: iters left: 2 (39 enodes) 2.926 * * [simplify]: iters left: 1 (51 enodes) 2.937 * * [simplify]: Extracting #0: cost 1 inf + 0 2.937 * * [simplify]: Extracting #1: cost 10 inf + 0 2.937 * * [simplify]: Extracting #2: cost 6 inf + 129 2.938 * * [simplify]: Extracting #3: cost 0 inf + 420 2.938 * [simplify]: Simplified to (- z) 2.938 * [simplify]: Simplified (2 2 2 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (* 1 (- z)) 8)))))) 2.939 * * * * [progress]: [ 17 / 100 ] simplifiying candidate # 2.939 * [simplify]: Simplifying (- (- 1 z) 1) 2.939 * * [simplify]: iters left: 4 (4 enodes) 2.943 * * [simplify]: iters left: 3 (21 enodes) 2.950 * * [simplify]: iters left: 2 (39 enodes) 2.963 * * [simplify]: iters left: 1 (51 enodes) 2.978 * * [simplify]: Extracting #0: cost 1 inf + 0 2.978 * * [simplify]: Extracting #1: cost 10 inf + 0 2.978 * * [simplify]: Extracting #2: cost 6 inf + 129 2.978 * * [simplify]: Extracting #3: cost 0 inf + 420 2.979 * [simplify]: Simplified to (- z) 2.979 * [simplify]: Simplified (2 2 2 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (* 1 (- z)) 8)))))) 2.980 * * * * [progress]: [ 18 / 100 ] simplifiying candidate # 2.980 * * * * [progress]: [ 19 / 100 ] simplifiying candidate # 2.980 * * * * [progress]: [ 20 / 100 ] simplifiying candidate # 2.980 * * * * [progress]: [ 21 / 100 ] simplifiying candidate # 2.980 * * * * [progress]: [ 22 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 2.980 * * * * [progress]: [ 23 / 100 ] simplifiying candidate # 2.981 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 2.981 * * [simplify]: iters left: 5 (6 enodes) 2.984 * * [simplify]: iters left: 4 (23 enodes) 2.992 * * [simplify]: iters left: 3 (34 enodes) 3.002 * * [simplify]: iters left: 2 (39 enodes) 3.012 * * [simplify]: Extracting #0: cost 1 inf + 0 3.012 * * [simplify]: Extracting #1: cost 8 inf + 0 3.013 * * [simplify]: Extracting #2: cost 12 inf + 2 3.013 * * [simplify]: Extracting #3: cost 5 inf + 492 3.013 * * [simplify]: Extracting #4: cost 1 inf + 869 3.013 * * [simplify]: Extracting #5: cost 0 inf + 981 3.014 * [simplify]: Simplified to (exp (- z)) 3.014 * [simplify]: Simplified (2 2 2 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (log (exp (- z))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.015 * * * * [progress]: [ 24 / 100 ] simplifiying candidate # 3.015 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 3.015 * * [simplify]: iters left: 5 (6 enodes) 3.018 * * [simplify]: iters left: 4 (25 enodes) 3.027 * * [simplify]: iters left: 3 (43 enodes) 3.041 * * [simplify]: iters left: 2 (69 enodes) 3.059 * * [simplify]: iters left: 1 (117 enodes) 3.099 * * [simplify]: Extracting #0: cost 1 inf + 0 3.099 * * [simplify]: Extracting #1: cost 23 inf + 0 3.099 * * [simplify]: Extracting #2: cost 47 inf + 43 3.100 * * [simplify]: Extracting #3: cost 56 inf + 270 3.100 * * [simplify]: Extracting #4: cost 9 inf + 4884 3.102 * * [simplify]: Extracting #5: cost 0 inf + 6053 3.105 * * [simplify]: Extracting #6: cost 0 inf + 6011 3.108 * [simplify]: Simplified to (exp (- z)) 3.108 * [simplify]: Simplified (2 2 2 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (log (exp (- z))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.109 * * * * [progress]: [ 25 / 100 ] simplifiying candidate # 3.109 * * * * [progress]: [ 26 / 100 ] simplifiying candidate # 3.109 * * * * [progress]: [ 27 / 100 ] simplifiying candidate # 3.109 * * * * [progress]: [ 28 / 100 ] simplifiying candidate # 3.109 * * * * [progress]: [ 29 / 100 ] simplifiying candidate # 3.110 * * * * [progress]: [ 30 / 100 ] simplifiying candidate # 3.110 * * * * [progress]: [ 31 / 100 ] simplifiying candidate # 3.110 * * * * [progress]: [ 32 / 100 ] simplifiying candidate # 3.110 * * * * [progress]: [ 33 / 100 ] simplifiying candidate # 3.110 * * * * [progress]: [ 34 / 100 ] simplifiying candidate # 3.110 * * * * [progress]: [ 35 / 100 ] simplifiying candidate # 3.111 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 3.111 * * [simplify]: iters left: 5 (6 enodes) 3.116 * * [simplify]: iters left: 4 (23 enodes) 3.122 * * [simplify]: iters left: 3 (28 enodes) 3.131 * * [simplify]: Extracting #0: cost 1 inf + 0 3.131 * * [simplify]: Extracting #1: cost 4 inf + 0 3.131 * * [simplify]: Extracting #2: cost 5 inf + 1 3.131 * * [simplify]: Extracting #3: cost 8 inf + 1 3.131 * * [simplify]: Extracting #4: cost 6 inf + 86 3.131 * * [simplify]: Extracting #5: cost 1 inf + 454 3.132 * * [simplify]: Extracting #6: cost 0 inf + 576 3.132 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 3.132 * [simplify]: Simplified (2 2 2 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) (sqrt 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.133 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 3.133 * * [simplify]: iters left: 5 (6 enodes) 3.138 * * [simplify]: iters left: 4 (25 enodes) 3.146 * * [simplify]: iters left: 3 (34 enodes) 3.155 * * [simplify]: Extracting #0: cost 1 inf + 0 3.155 * * [simplify]: Extracting #1: cost 5 inf + 0 3.156 * * [simplify]: Extracting #2: cost 5 inf + 2 3.156 * * [simplify]: Extracting #3: cost 8 inf + 2 3.156 * * [simplify]: Extracting #4: cost 7 inf + 44 3.156 * * [simplify]: Extracting #5: cost 2 inf + 373 3.156 * * [simplify]: Extracting #6: cost 0 inf + 577 3.156 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 3.156 * [simplify]: Simplified (2 2 2 1 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (* (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) 1)) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.157 * * * * [progress]: [ 36 / 100 ] simplifiying candidate # 3.158 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 3.158 * * [simplify]: iters left: 5 (5 enodes) 3.160 * * [simplify]: iters left: 4 (20 enodes) 3.164 * * [simplify]: iters left: 3 (25 enodes) 3.168 * * [simplify]: Extracting #0: cost 1 inf + 0 3.168 * * [simplify]: Extracting #1: cost 4 inf + 0 3.168 * * [simplify]: Extracting #2: cost 5 inf + 1 3.168 * * [simplify]: Extracting #3: cost 8 inf + 1 3.168 * * [simplify]: Extracting #4: cost 1 inf + 535 3.168 * * [simplify]: Extracting #5: cost 0 inf + 576 3.168 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 3.168 * [simplify]: Simplified (2 2 2 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.169 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 3.169 * * [simplify]: iters left: 5 (5 enodes) 3.171 * * [simplify]: iters left: 4 (22 enodes) 3.174 * * [simplify]: iters left: 3 (29 enodes) 3.179 * * [simplify]: Extracting #0: cost 1 inf + 0 3.179 * * [simplify]: Extracting #1: cost 5 inf + 0 3.179 * * [simplify]: Extracting #2: cost 5 inf + 2 3.179 * * [simplify]: Extracting #3: cost 8 inf + 2 3.179 * * [simplify]: Extracting #4: cost 7 inf + 44 3.179 * * [simplify]: Extracting #5: cost 1 inf + 455 3.179 * * [simplify]: Extracting #6: cost 0 inf + 577 3.179 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 3.179 * [simplify]: Simplified (2 2 2 1 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.180 * * * * [progress]: [ 37 / 100 ] simplifiying candidate # 3.180 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 3.180 * * [simplify]: iters left: 5 (5 enodes) 3.181 * * [simplify]: iters left: 4 (20 enodes) 3.185 * * [simplify]: iters left: 3 (25 enodes) 3.188 * * [simplify]: Extracting #0: cost 1 inf + 0 3.188 * * [simplify]: Extracting #1: cost 4 inf + 0 3.188 * * [simplify]: Extracting #2: cost 5 inf + 1 3.188 * * [simplify]: Extracting #3: cost 8 inf + 1 3.188 * * [simplify]: Extracting #4: cost 1 inf + 535 3.188 * * [simplify]: Extracting #5: cost 0 inf + 576 3.189 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 3.189 * [simplify]: Simplified (2 2 2 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.189 * * * * [progress]: [ 38 / 100 ] simplifiying candidate # 3.189 * [simplify]: Simplifying (- (- 1 z) 1) 3.189 * * [simplify]: iters left: 4 (4 enodes) 3.193 * * [simplify]: iters left: 3 (21 enodes) 3.200 * * [simplify]: iters left: 2 (39 enodes) 3.215 * * [simplify]: iters left: 1 (51 enodes) 3.227 * * [simplify]: Extracting #0: cost 1 inf + 0 3.227 * * [simplify]: Extracting #1: cost 10 inf + 0 3.227 * * [simplify]: Extracting #2: cost 6 inf + 129 3.228 * * [simplify]: Extracting #3: cost 0 inf + 420 3.228 * [simplify]: Simplified to (- z) 3.228 * [simplify]: Simplified (2 2 2 1 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (* 1 (- z)) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.229 * * * * [progress]: [ 39 / 100 ] simplifiying candidate # 3.229 * [simplify]: Simplifying (- (- 1 z) 1) 3.229 * * [simplify]: iters left: 4 (4 enodes) 3.232 * * [simplify]: iters left: 3 (21 enodes) 3.237 * * [simplify]: iters left: 2 (39 enodes) 3.244 * * [simplify]: iters left: 1 (51 enodes) 3.250 * * [simplify]: Extracting #0: cost 1 inf + 0 3.250 * * [simplify]: Extracting #1: cost 10 inf + 0 3.250 * * [simplify]: Extracting #2: cost 6 inf + 129 3.250 * * [simplify]: Extracting #3: cost 0 inf + 420 3.251 * [simplify]: Simplified to (- z) 3.251 * [simplify]: Simplified (2 2 2 1 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (* 1 (- z)) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.251 * * * * [progress]: [ 40 / 100 ] simplifiying candidate # 3.251 * * * * [progress]: [ 41 / 100 ] simplifiying candidate # 3.252 * * * * [progress]: [ 42 / 100 ] simplifiying candidate # 3.252 * * * * [progress]: [ 43 / 100 ] simplifiying candidate # 3.252 * * * * [progress]: [ 44 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 3.252 * * * * [progress]: [ 45 / 100 ] simplifiying candidate # 3.252 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 3.252 * * [simplify]: iters left: 5 (6 enodes) 3.254 * * [simplify]: iters left: 4 (23 enodes) 3.257 * * [simplify]: iters left: 3 (34 enodes) 3.263 * * [simplify]: iters left: 2 (39 enodes) 3.272 * * [simplify]: Extracting #0: cost 1 inf + 0 3.272 * * [simplify]: Extracting #1: cost 8 inf + 0 3.272 * * [simplify]: Extracting #2: cost 12 inf + 2 3.272 * * [simplify]: Extracting #3: cost 5 inf + 492 3.272 * * [simplify]: Extracting #4: cost 1 inf + 869 3.273 * * [simplify]: Extracting #5: cost 0 inf + 981 3.273 * [simplify]: Simplified to (exp (- z)) 3.273 * [simplify]: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (log (exp (- z))) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.273 * * * * [progress]: [ 46 / 100 ] simplifiying candidate # 3.273 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 3.274 * * [simplify]: iters left: 5 (6 enodes) 3.275 * * [simplify]: iters left: 4 (25 enodes) 3.279 * * [simplify]: iters left: 3 (43 enodes) 3.287 * * [simplify]: iters left: 2 (69 enodes) 3.302 * * [simplify]: iters left: 1 (117 enodes) 3.364 * * [simplify]: Extracting #0: cost 1 inf + 0 3.364 * * [simplify]: Extracting #1: cost 23 inf + 0 3.364 * * [simplify]: Extracting #2: cost 47 inf + 43 3.364 * * [simplify]: Extracting #3: cost 56 inf + 270 3.365 * * [simplify]: Extracting #4: cost 9 inf + 4884 3.367 * * [simplify]: Extracting #5: cost 0 inf + 6053 3.368 * * [simplify]: Extracting #6: cost 0 inf + 6011 3.369 * [simplify]: Simplified to (exp (- z)) 3.370 * [simplify]: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (log (exp (- z))) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.370 * * * * [progress]: [ 47 / 100 ] simplifiying candidate # 3.370 * * * * [progress]: [ 48 / 100 ] simplifiying candidate # 3.370 * * * * [progress]: [ 49 / 100 ] simplifiying candidate # 3.370 * * * * [progress]: [ 50 / 100 ] simplifiying candidate # 3.370 * * * * [progress]: [ 51 / 100 ] simplifiying candidate # 3.370 * * * * [progress]: [ 52 / 100 ] simplifiying candidate # 3.371 * * * * [progress]: [ 53 / 100 ] simplifiying candidate # 3.371 * * * * [progress]: [ 54 / 100 ] simplifiying candidate # 3.371 * * * * [progress]: [ 55 / 100 ] simplifiying candidate # 3.371 * * * * [progress]: [ 56 / 100 ] simplifiying candidate # 3.371 * * * * [progress]: [ 57 / 100 ] simplifiying candidate # 3.371 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 3.371 * * [simplify]: iters left: 5 (6 enodes) 3.375 * * [simplify]: iters left: 4 (23 enodes) 3.381 * * [simplify]: iters left: 3 (28 enodes) 3.389 * * [simplify]: Extracting #0: cost 1 inf + 0 3.389 * * [simplify]: Extracting #1: cost 4 inf + 0 3.389 * * [simplify]: Extracting #2: cost 5 inf + 1 3.389 * * [simplify]: Extracting #3: cost 8 inf + 1 3.389 * * [simplify]: Extracting #4: cost 6 inf + 86 3.389 * * [simplify]: Extracting #5: cost 1 inf + 454 3.389 * * [simplify]: Extracting #6: cost 0 inf + 576 3.390 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 3.390 * [simplify]: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) (sqrt 1))) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.391 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 3.391 * * [simplify]: iters left: 5 (6 enodes) 3.396 * * [simplify]: iters left: 4 (25 enodes) 3.404 * * [simplify]: iters left: 3 (34 enodes) 3.414 * * [simplify]: Extracting #0: cost 1 inf + 0 3.415 * * [simplify]: Extracting #1: cost 5 inf + 0 3.415 * * [simplify]: Extracting #2: cost 5 inf + 2 3.415 * * [simplify]: Extracting #3: cost 8 inf + 2 3.415 * * [simplify]: Extracting #4: cost 7 inf + 44 3.415 * * [simplify]: Extracting #5: cost 2 inf + 373 3.415 * * [simplify]: Extracting #6: cost 0 inf + 577 3.415 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 3.415 * [simplify]: Simplified (2 2 2 1 1 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (* (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) 1)) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.416 * * * * [progress]: [ 58 / 100 ] simplifiying candidate # 3.417 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 3.417 * * [simplify]: iters left: 5 (5 enodes) 3.419 * * [simplify]: iters left: 4 (20 enodes) 3.425 * * [simplify]: iters left: 3 (25 enodes) 3.432 * * [simplify]: Extracting #0: cost 1 inf + 0 3.432 * * [simplify]: Extracting #1: cost 4 inf + 0 3.432 * * [simplify]: Extracting #2: cost 5 inf + 1 3.432 * * [simplify]: Extracting #3: cost 8 inf + 1 3.432 * * [simplify]: Extracting #4: cost 1 inf + 535 3.433 * * [simplify]: Extracting #5: cost 0 inf + 576 3.433 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 3.433 * [simplify]: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.434 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 3.434 * * [simplify]: iters left: 5 (5 enodes) 3.437 * * [simplify]: iters left: 4 (22 enodes) 3.444 * * [simplify]: iters left: 3 (29 enodes) 3.452 * * [simplify]: Extracting #0: cost 1 inf + 0 3.452 * * [simplify]: Extracting #1: cost 5 inf + 0 3.452 * * [simplify]: Extracting #2: cost 5 inf + 2 3.453 * * [simplify]: Extracting #3: cost 8 inf + 2 3.453 * * [simplify]: Extracting #4: cost 7 inf + 44 3.453 * * [simplify]: Extracting #5: cost 1 inf + 455 3.453 * * [simplify]: Extracting #6: cost 0 inf + 577 3.453 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 3.453 * [simplify]: Simplified (2 2 2 1 1 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.454 * * * * [progress]: [ 59 / 100 ] simplifiying candidate # 3.455 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 3.455 * * [simplify]: iters left: 5 (5 enodes) 3.457 * * [simplify]: iters left: 4 (20 enodes) 3.463 * * [simplify]: iters left: 3 (25 enodes) 3.471 * * [simplify]: Extracting #0: cost 1 inf + 0 3.471 * * [simplify]: Extracting #1: cost 4 inf + 0 3.471 * * [simplify]: Extracting #2: cost 5 inf + 1 3.471 * * [simplify]: Extracting #3: cost 8 inf + 1 3.471 * * [simplify]: Extracting #4: cost 1 inf + 535 3.471 * * [simplify]: Extracting #5: cost 0 inf + 576 3.472 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 3.472 * [simplify]: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.472 * * * * [progress]: [ 60 / 100 ] simplifiying candidate # 3.473 * [simplify]: Simplifying (- (- 1 z) 1) 3.473 * * [simplify]: iters left: 4 (4 enodes) 3.476 * * [simplify]: iters left: 3 (21 enodes) 3.483 * * [simplify]: iters left: 2 (39 enodes) 3.496 * * [simplify]: iters left: 1 (51 enodes) 3.507 * * [simplify]: Extracting #0: cost 1 inf + 0 3.508 * * [simplify]: Extracting #1: cost 10 inf + 0 3.508 * * [simplify]: Extracting #2: cost 6 inf + 129 3.508 * * [simplify]: Extracting #3: cost 0 inf + 420 3.508 * [simplify]: Simplified to (- z) 3.509 * [simplify]: Simplified (2 2 2 1 1 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (* 1 (- z)) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.509 * * * * [progress]: [ 61 / 100 ] simplifiying candidate # 3.510 * [simplify]: Simplifying (- (- 1 z) 1) 3.510 * * [simplify]: iters left: 4 (4 enodes) 3.513 * * [simplify]: iters left: 3 (21 enodes) 3.520 * * [simplify]: iters left: 2 (39 enodes) 3.534 * * [simplify]: iters left: 1 (51 enodes) 3.544 * * [simplify]: Extracting #0: cost 1 inf + 0 3.544 * * [simplify]: Extracting #1: cost 10 inf + 0 3.545 * * [simplify]: Extracting #2: cost 6 inf + 129 3.545 * * [simplify]: Extracting #3: cost 0 inf + 420 3.545 * [simplify]: Simplified to (- z) 3.545 * [simplify]: Simplified (2 2 2 1 1 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (* 1 (- z)) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.545 * * * * [progress]: [ 62 / 100 ] simplifiying candidate # 3.545 * * * * [progress]: [ 63 / 100 ] simplifiying candidate # 3.546 * * * * [progress]: [ 64 / 100 ] simplifiying candidate # 3.546 * * * * [progress]: [ 65 / 100 ] simplifiying candidate # 3.546 * * * * [progress]: [ 66 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 3.546 * * * * [progress]: [ 67 / 100 ] simplifiying candidate # 3.546 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 3.546 * * [simplify]: iters left: 5 (6 enodes) 3.548 * * [simplify]: iters left: 4 (23 enodes) 3.552 * * [simplify]: iters left: 3 (34 enodes) 3.559 * * [simplify]: iters left: 2 (39 enodes) 3.564 * * [simplify]: Extracting #0: cost 1 inf + 0 3.564 * * [simplify]: Extracting #1: cost 8 inf + 0 3.564 * * [simplify]: Extracting #2: cost 12 inf + 2 3.564 * * [simplify]: Extracting #3: cost 5 inf + 492 3.565 * * [simplify]: Extracting #4: cost 1 inf + 869 3.565 * * [simplify]: Extracting #5: cost 0 inf + 981 3.565 * [simplify]: Simplified to (exp (- z)) 3.565 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (log (exp (- z))) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.565 * * * * [progress]: [ 68 / 100 ] simplifiying candidate # 3.566 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 3.566 * * [simplify]: iters left: 5 (6 enodes) 3.568 * * [simplify]: iters left: 4 (25 enodes) 3.572 * * [simplify]: iters left: 3 (43 enodes) 3.581 * * [simplify]: iters left: 2 (69 enodes) 3.599 * * [simplify]: iters left: 1 (117 enodes) 3.654 * * [simplify]: Extracting #0: cost 1 inf + 0 3.654 * * [simplify]: Extracting #1: cost 23 inf + 0 3.654 * * [simplify]: Extracting #2: cost 47 inf + 43 3.654 * * [simplify]: Extracting #3: cost 56 inf + 270 3.655 * * [simplify]: Extracting #4: cost 9 inf + 4884 3.657 * * [simplify]: Extracting #5: cost 0 inf + 6053 3.658 * * [simplify]: Extracting #6: cost 0 inf + 6011 3.659 * [simplify]: Simplified to (exp (- z)) 3.659 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (log (exp (- z))) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.660 * * * * [progress]: [ 69 / 100 ] simplifiying candidate # 3.660 * * * * [progress]: [ 70 / 100 ] simplifiying candidate # 3.660 * * * * [progress]: [ 71 / 100 ] simplifiying candidate # 3.660 * * * * [progress]: [ 72 / 100 ] simplifiying candidate # 3.660 * * * * [progress]: [ 73 / 100 ] simplifiying candidate # 3.660 * * * * [progress]: [ 74 / 100 ] simplifiying candidate # 3.661 * * * * [progress]: [ 75 / 100 ] simplifiying candidate # 3.661 * * * * [progress]: [ 76 / 100 ] simplifiying candidate # 3.661 * * * * [progress]: [ 77 / 100 ] simplifiying candidate # 3.661 * * * * [progress]: [ 78 / 100 ] simplifiying candidate # 3.661 * * * * [progress]: [ 79 / 100 ] simplifiying candidate # 3.661 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 3.661 * * [simplify]: iters left: 5 (6 enodes) 3.664 * * [simplify]: iters left: 4 (23 enodes) 3.668 * * [simplify]: iters left: 3 (28 enodes) 3.672 * * [simplify]: Extracting #0: cost 1 inf + 0 3.672 * * [simplify]: Extracting #1: cost 4 inf + 0 3.672 * * [simplify]: Extracting #2: cost 5 inf + 1 3.672 * * [simplify]: Extracting #3: cost 8 inf + 1 3.672 * * [simplify]: Extracting #4: cost 6 inf + 86 3.672 * * [simplify]: Extracting #5: cost 1 inf + 454 3.673 * * [simplify]: Extracting #6: cost 0 inf + 576 3.673 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 3.673 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) (sqrt 1))) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.673 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 3.673 * * [simplify]: iters left: 5 (6 enodes) 3.677 * * [simplify]: iters left: 4 (25 enodes) 3.681 * * [simplify]: iters left: 3 (34 enodes) 3.686 * * [simplify]: Extracting #0: cost 1 inf + 0 3.686 * * [simplify]: Extracting #1: cost 5 inf + 0 3.686 * * [simplify]: Extracting #2: cost 5 inf + 2 3.686 * * [simplify]: Extracting #3: cost 8 inf + 2 3.686 * * [simplify]: Extracting #4: cost 7 inf + 44 3.686 * * [simplify]: Extracting #5: cost 2 inf + 373 3.687 * * [simplify]: Extracting #6: cost 0 inf + 577 3.687 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 3.687 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (* (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) 1)) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.687 * * * * [progress]: [ 80 / 100 ] simplifiying candidate # 3.687 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 3.687 * * [simplify]: iters left: 5 (5 enodes) 3.689 * * [simplify]: iters left: 4 (20 enodes) 3.695 * * [simplify]: iters left: 3 (25 enodes) 3.702 * * [simplify]: Extracting #0: cost 1 inf + 0 3.702 * * [simplify]: Extracting #1: cost 4 inf + 0 3.702 * * [simplify]: Extracting #2: cost 5 inf + 1 3.702 * * [simplify]: Extracting #3: cost 8 inf + 1 3.702 * * [simplify]: Extracting #4: cost 1 inf + 535 3.703 * * [simplify]: Extracting #5: cost 0 inf + 576 3.703 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 3.703 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.704 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 3.704 * * [simplify]: iters left: 5 (5 enodes) 3.707 * * [simplify]: iters left: 4 (22 enodes) 3.715 * * [simplify]: iters left: 3 (29 enodes) 3.721 * * [simplify]: Extracting #0: cost 1 inf + 0 3.721 * * [simplify]: Extracting #1: cost 5 inf + 0 3.721 * * [simplify]: Extracting #2: cost 5 inf + 2 3.721 * * [simplify]: Extracting #3: cost 8 inf + 2 3.721 * * [simplify]: Extracting #4: cost 7 inf + 44 3.721 * * [simplify]: Extracting #5: cost 1 inf + 455 3.721 * * [simplify]: Extracting #6: cost 0 inf + 577 3.722 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 3.722 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.722 * * * * [progress]: [ 81 / 100 ] simplifiying candidate # 3.722 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 3.722 * * [simplify]: iters left: 5 (5 enodes) 3.724 * * [simplify]: iters left: 4 (20 enodes) 3.727 * * [simplify]: iters left: 3 (25 enodes) 3.731 * * [simplify]: Extracting #0: cost 1 inf + 0 3.731 * * [simplify]: Extracting #1: cost 4 inf + 0 3.731 * * [simplify]: Extracting #2: cost 5 inf + 1 3.731 * * [simplify]: Extracting #3: cost 8 inf + 1 3.731 * * [simplify]: Extracting #4: cost 1 inf + 535 3.731 * * [simplify]: Extracting #5: cost 0 inf + 576 3.732 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 3.732 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.732 * * * * [progress]: [ 82 / 100 ] simplifiying candidate # 3.732 * [simplify]: Simplifying (- (- 1 z) 1) 3.732 * * [simplify]: iters left: 4 (4 enodes) 3.734 * * [simplify]: iters left: 3 (21 enodes) 3.739 * * [simplify]: iters left: 2 (39 enodes) 3.746 * * [simplify]: iters left: 1 (51 enodes) 3.755 * * [simplify]: Extracting #0: cost 1 inf + 0 3.756 * * [simplify]: Extracting #1: cost 10 inf + 0 3.756 * * [simplify]: Extracting #2: cost 6 inf + 129 3.756 * * [simplify]: Extracting #3: cost 0 inf + 420 3.757 * [simplify]: Simplified to (- z) 3.757 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (* 1 (- z)) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.757 * * * * [progress]: [ 83 / 100 ] simplifiying candidate # 3.758 * [simplify]: Simplifying (- (- 1 z) 1) 3.758 * * [simplify]: iters left: 4 (4 enodes) 3.761 * * [simplify]: iters left: 3 (21 enodes) 3.768 * * [simplify]: iters left: 2 (39 enodes) 3.780 * * [simplify]: iters left: 1 (51 enodes) 3.787 * * [simplify]: Extracting #0: cost 1 inf + 0 3.787 * * [simplify]: Extracting #1: cost 10 inf + 0 3.787 * * [simplify]: Extracting #2: cost 6 inf + 129 3.787 * * [simplify]: Extracting #3: cost 0 inf + 420 3.787 * [simplify]: Simplified to (- z) 3.787 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (* 1 (- z)) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.788 * * * * [progress]: [ 84 / 100 ] simplifiying candidate # 3.788 * * * * [progress]: [ 85 / 100 ] simplifiying candidate # 3.788 * * * * [progress]: [ 86 / 100 ] simplifiying candidate # 3.788 * * * * [progress]: [ 87 / 100 ] simplifiying candidate # 3.788 * * * * [progress]: [ 88 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 3.788 * * * * [progress]: [ 89 / 100 ] simplifiying candidate # 3.788 * [simplify]: Simplifying (* -1 z) 3.788 * * [simplify]: iters left: 2 (3 enodes) 3.789 * * [simplify]: iters left: 1 (11 enodes) 3.791 * * [simplify]: Extracting #0: cost 1 inf + 0 3.791 * * [simplify]: Extracting #1: cost 4 inf + 0 3.791 * * [simplify]: Extracting #2: cost 0 inf + 84 3.791 * [simplify]: Simplified to (- z) 3.791 * [simplify]: Simplified (2 2 2 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- z) 8)))))) 3.791 * * * * [progress]: [ 90 / 100 ] simplifiying candidate # 3.792 * [simplify]: Simplifying (* -1 z) 3.792 * * [simplify]: iters left: 2 (3 enodes) 3.793 * * [simplify]: iters left: 1 (11 enodes) 3.794 * * [simplify]: Extracting #0: cost 1 inf + 0 3.794 * * [simplify]: Extracting #1: cost 4 inf + 0 3.794 * * [simplify]: Extracting #2: cost 0 inf + 84 3.794 * [simplify]: Simplified to (- z) 3.794 * [simplify]: Simplified (2 2 2 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- z) 8)))))) 3.795 * * * * [progress]: [ 91 / 100 ] simplifiying candidate # 3.795 * [simplify]: Simplifying (* -1 z) 3.795 * * [simplify]: iters left: 2 (3 enodes) 3.796 * * [simplify]: iters left: 1 (11 enodes) 3.798 * * [simplify]: Extracting #0: cost 1 inf + 0 3.798 * * [simplify]: Extracting #1: cost 4 inf + 0 3.798 * * [simplify]: Extracting #2: cost 0 inf + 84 3.798 * [simplify]: Simplified to (- z) 3.798 * [simplify]: Simplified (2 2 2 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- z) 8)))))) 3.798 * * * * [progress]: [ 92 / 100 ] simplifiying candidate # 3.798 * [simplify]: Simplifying (* -1 z) 3.799 * * [simplify]: iters left: 2 (3 enodes) 3.800 * * [simplify]: iters left: 1 (11 enodes) 3.801 * * [simplify]: Extracting #0: cost 1 inf + 0 3.801 * * [simplify]: Extracting #1: cost 4 inf + 0 3.801 * * [simplify]: Extracting #2: cost 0 inf + 84 3.801 * [simplify]: Simplified to (- z) 3.801 * [simplify]: Simplified (2 2 2 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- z) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.802 * * * * [progress]: [ 93 / 100 ] simplifiying candidate # 3.802 * [simplify]: Simplifying (* -1 z) 3.802 * * [simplify]: iters left: 2 (3 enodes) 3.803 * * [simplify]: iters left: 1 (11 enodes) 3.805 * * [simplify]: Extracting #0: cost 1 inf + 0 3.805 * * [simplify]: Extracting #1: cost 4 inf + 0 3.805 * * [simplify]: Extracting #2: cost 0 inf + 84 3.805 * [simplify]: Simplified to (- z) 3.805 * [simplify]: Simplified (2 2 2 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- z) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.805 * * * * [progress]: [ 94 / 100 ] simplifiying candidate # 3.806 * [simplify]: Simplifying (* -1 z) 3.806 * * [simplify]: iters left: 2 (3 enodes) 3.807 * * [simplify]: iters left: 1 (11 enodes) 3.808 * * [simplify]: Extracting #0: cost 1 inf + 0 3.809 * * [simplify]: Extracting #1: cost 4 inf + 0 3.809 * * [simplify]: Extracting #2: cost 0 inf + 84 3.809 * [simplify]: Simplified to (- z) 3.809 * [simplify]: Simplified (2 2 2 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- z) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.809 * * * * [progress]: [ 95 / 100 ] simplifiying candidate # 3.809 * [simplify]: Simplifying (* -1 z) 3.809 * * [simplify]: iters left: 2 (3 enodes) 3.810 * * [simplify]: iters left: 1 (11 enodes) 3.812 * * [simplify]: Extracting #0: cost 1 inf + 0 3.812 * * [simplify]: Extracting #1: cost 4 inf + 0 3.812 * * [simplify]: Extracting #2: cost 0 inf + 84 3.812 * [simplify]: Simplified to (- z) 3.812 * [simplify]: Simplified (2 2 2 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- z) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.813 * * * * [progress]: [ 96 / 100 ] simplifiying candidate # 3.813 * [simplify]: Simplifying (* -1 z) 3.813 * * [simplify]: iters left: 2 (3 enodes) 3.814 * * [simplify]: iters left: 1 (11 enodes) 3.816 * * [simplify]: Extracting #0: cost 1 inf + 0 3.816 * * [simplify]: Extracting #1: cost 4 inf + 0 3.817 * * [simplify]: Extracting #2: cost 0 inf + 84 3.817 * [simplify]: Simplified to (- z) 3.817 * [simplify]: Simplified (2 2 2 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- z) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.817 * * * * [progress]: [ 97 / 100 ] simplifiying candidate # 3.817 * [simplify]: Simplifying (* -1 z) 3.817 * * [simplify]: iters left: 2 (3 enodes) 3.819 * * [simplify]: iters left: 1 (11 enodes) 3.821 * * [simplify]: Extracting #0: cost 1 inf + 0 3.821 * * [simplify]: Extracting #1: cost 4 inf + 0 3.821 * * [simplify]: Extracting #2: cost 0 inf + 84 3.821 * [simplify]: Simplified to (- z) 3.821 * [simplify]: Simplified (2 2 2 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- z) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.821 * * * * [progress]: [ 98 / 100 ] simplifiying candidate # 3.822 * [simplify]: Simplifying (* -1 z) 3.822 * * [simplify]: iters left: 2 (3 enodes) 3.823 * * [simplify]: iters left: 1 (11 enodes) 3.825 * * [simplify]: Extracting #0: cost 1 inf + 0 3.825 * * [simplify]: Extracting #1: cost 4 inf + 0 3.825 * * [simplify]: Extracting #2: cost 0 inf + 84 3.825 * [simplify]: Simplified to (- z) 3.825 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- z) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.825 * * * * [progress]: [ 99 / 100 ] simplifiying candidate # 3.826 * [simplify]: Simplifying (* -1 z) 3.826 * * [simplify]: iters left: 2 (3 enodes) 3.827 * * [simplify]: iters left: 1 (11 enodes) 3.829 * * [simplify]: Extracting #0: cost 1 inf + 0 3.829 * * [simplify]: Extracting #1: cost 4 inf + 0 3.829 * * [simplify]: Extracting #2: cost 0 inf + 84 3.829 * [simplify]: Simplified to (- z) 3.829 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- z) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.830 * * * * [progress]: [ 100 / 100 ] simplifiying candidate # 3.830 * [simplify]: Simplifying (* -1 z) 3.830 * * [simplify]: iters left: 2 (3 enodes) 3.831 * * [simplify]: iters left: 1 (11 enodes) 3.833 * * [simplify]: Extracting #0: cost 1 inf + 0 3.833 * * [simplify]: Extracting #1: cost 4 inf + 0 3.834 * * [simplify]: Extracting #2: cost 0 inf + 84 3.834 * [simplify]: Simplified to (- z) 3.834 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- z) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.835 * * * [progress]: adding candidates to table 7.956 * * [progress]: iteration 2 / 4 7.956 * * * [progress]: picking best candidate 7.974 * * * * [pick]: Picked #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 7.974 * * * [progress]: localizing error 8.182 * * * [progress]: generating rewritten candidates 8.182 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 2 1) 8.182 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2 1) 8.233 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 2 1 1 1) 8.264 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 8.304 * * * [progress]: generating series expansions 8.305 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 2 1) 8.305 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- (- 1 z) 1))) into (- z) 8.305 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 8.305 * [taylor]: Taking taylor expansion of (- z) in z 8.305 * [taylor]: Taking taylor expansion of z in z 8.305 * [backup-simplify]: Simplify 0 into 0 8.305 * [backup-simplify]: Simplify 1 into 1 8.305 * [taylor]: Taking taylor expansion of (- z) in z 8.305 * [taylor]: Taking taylor expansion of z in z 8.305 * [backup-simplify]: Simplify 0 into 0 8.305 * [backup-simplify]: Simplify 1 into 1 8.306 * [backup-simplify]: Simplify (- 0) into 0 8.306 * [backup-simplify]: Simplify 0 into 0 8.306 * [backup-simplify]: Simplify (- 1) into -1 8.306 * [backup-simplify]: Simplify -1 into -1 8.307 * [backup-simplify]: Simplify (- 0) into 0 8.307 * [backup-simplify]: Simplify 0 into 0 8.307 * [backup-simplify]: Simplify (- 0) into 0 8.307 * [backup-simplify]: Simplify 0 into 0 8.307 * [backup-simplify]: Simplify (- 0) into 0 8.308 * [backup-simplify]: Simplify 0 into 0 8.308 * [backup-simplify]: Simplify (- 0) into 0 8.308 * [backup-simplify]: Simplify 0 into 0 8.308 * [backup-simplify]: Simplify (- 0) into 0 8.308 * [backup-simplify]: Simplify 0 into 0 8.309 * [backup-simplify]: Simplify (- 0) into 0 8.309 * [backup-simplify]: Simplify 0 into 0 8.309 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 8.309 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- (- 1 (/ 1 z)) 1))) into (- (/ 1 z)) 8.309 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 8.309 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.309 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.309 * [taylor]: Taking taylor expansion of z in z 8.309 * [backup-simplify]: Simplify 0 into 0 8.309 * [backup-simplify]: Simplify 1 into 1 8.310 * [backup-simplify]: Simplify (/ 1 1) into 1 8.310 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.310 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.310 * [taylor]: Taking taylor expansion of z in z 8.310 * [backup-simplify]: Simplify 0 into 0 8.310 * [backup-simplify]: Simplify 1 into 1 8.310 * [backup-simplify]: Simplify (/ 1 1) into 1 8.311 * [backup-simplify]: Simplify (- 1) into -1 8.311 * [backup-simplify]: Simplify -1 into -1 8.311 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.312 * [backup-simplify]: Simplify (- 0) into 0 8.312 * [backup-simplify]: Simplify 0 into 0 8.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.313 * [backup-simplify]: Simplify (- 0) into 0 8.313 * [backup-simplify]: Simplify 0 into 0 8.314 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.315 * [backup-simplify]: Simplify (- 0) into 0 8.315 * [backup-simplify]: Simplify 0 into 0 8.316 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.316 * [backup-simplify]: Simplify (- 0) into 0 8.316 * [backup-simplify]: Simplify 0 into 0 8.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.317 * [backup-simplify]: Simplify (- 0) into 0 8.317 * [backup-simplify]: Simplify 0 into 0 8.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.319 * [backup-simplify]: Simplify (- 0) into 0 8.319 * [backup-simplify]: Simplify 0 into 0 8.319 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 8.319 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- (- 1 (/ 1 (- z))) 1))) into (/ 1 z) 8.319 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 8.319 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.319 * [taylor]: Taking taylor expansion of z in z 8.319 * [backup-simplify]: Simplify 0 into 0 8.319 * [backup-simplify]: Simplify 1 into 1 8.320 * [backup-simplify]: Simplify (/ 1 1) into 1 8.320 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.320 * [taylor]: Taking taylor expansion of z in z 8.320 * [backup-simplify]: Simplify 0 into 0 8.320 * [backup-simplify]: Simplify 1 into 1 8.320 * [backup-simplify]: Simplify (/ 1 1) into 1 8.320 * [backup-simplify]: Simplify 1 into 1 8.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.321 * [backup-simplify]: Simplify 0 into 0 8.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.322 * [backup-simplify]: Simplify 0 into 0 8.322 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.322 * [backup-simplify]: Simplify 0 into 0 8.323 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.323 * [backup-simplify]: Simplify 0 into 0 8.323 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.323 * [backup-simplify]: Simplify 0 into 0 8.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.324 * [backup-simplify]: Simplify 0 into 0 8.324 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 8.324 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2 1) 8.324 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 8.324 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 8.324 * [taylor]: Taking taylor expansion of (- z) in z 8.324 * [taylor]: Taking taylor expansion of z in z 8.324 * [backup-simplify]: Simplify 0 into 0 8.324 * [backup-simplify]: Simplify 1 into 1 8.324 * [taylor]: Taking taylor expansion of (- z) in z 8.324 * [taylor]: Taking taylor expansion of z in z 8.324 * [backup-simplify]: Simplify 0 into 0 8.324 * [backup-simplify]: Simplify 1 into 1 8.325 * [backup-simplify]: Simplify (- 0) into 0 8.325 * [backup-simplify]: Simplify 0 into 0 8.325 * [backup-simplify]: Simplify (- 1) into -1 8.325 * [backup-simplify]: Simplify -1 into -1 8.325 * [backup-simplify]: Simplify (- 0) into 0 8.325 * [backup-simplify]: Simplify 0 into 0 8.325 * [backup-simplify]: Simplify (- 0) into 0 8.325 * [backup-simplify]: Simplify 0 into 0 8.326 * [backup-simplify]: Simplify (- 0) into 0 8.326 * [backup-simplify]: Simplify 0 into 0 8.326 * [backup-simplify]: Simplify (- 0) into 0 8.326 * [backup-simplify]: Simplify 0 into 0 8.326 * [backup-simplify]: Simplify (- 0) into 0 8.326 * [backup-simplify]: Simplify 0 into 0 8.327 * [backup-simplify]: Simplify (- 0) into 0 8.327 * [backup-simplify]: Simplify 0 into 0 8.327 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 8.327 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 8.327 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 8.327 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.327 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.327 * [taylor]: Taking taylor expansion of z in z 8.327 * [backup-simplify]: Simplify 0 into 0 8.327 * [backup-simplify]: Simplify 1 into 1 8.327 * [backup-simplify]: Simplify (/ 1 1) into 1 8.327 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.327 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.327 * [taylor]: Taking taylor expansion of z in z 8.327 * [backup-simplify]: Simplify 0 into 0 8.327 * [backup-simplify]: Simplify 1 into 1 8.327 * [backup-simplify]: Simplify (/ 1 1) into 1 8.328 * [backup-simplify]: Simplify (- 1) into -1 8.328 * [backup-simplify]: Simplify -1 into -1 8.328 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.329 * [backup-simplify]: Simplify (- 0) into 0 8.329 * [backup-simplify]: Simplify 0 into 0 8.329 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.329 * [backup-simplify]: Simplify (- 0) into 0 8.329 * [backup-simplify]: Simplify 0 into 0 8.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.330 * [backup-simplify]: Simplify (- 0) into 0 8.330 * [backup-simplify]: Simplify 0 into 0 8.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.331 * [backup-simplify]: Simplify (- 0) into 0 8.331 * [backup-simplify]: Simplify 0 into 0 8.331 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.332 * [backup-simplify]: Simplify (- 0) into 0 8.332 * [backup-simplify]: Simplify 0 into 0 8.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.332 * [backup-simplify]: Simplify (- 0) into 0 8.333 * [backup-simplify]: Simplify 0 into 0 8.333 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 8.333 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 8.333 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 8.333 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.333 * [taylor]: Taking taylor expansion of z in z 8.333 * [backup-simplify]: Simplify 0 into 0 8.333 * [backup-simplify]: Simplify 1 into 1 8.333 * [backup-simplify]: Simplify (/ 1 1) into 1 8.333 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.333 * [taylor]: Taking taylor expansion of z in z 8.333 * [backup-simplify]: Simplify 0 into 0 8.333 * [backup-simplify]: Simplify 1 into 1 8.333 * [backup-simplify]: Simplify (/ 1 1) into 1 8.333 * [backup-simplify]: Simplify 1 into 1 8.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.334 * [backup-simplify]: Simplify 0 into 0 8.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.334 * [backup-simplify]: Simplify 0 into 0 8.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.335 * [backup-simplify]: Simplify 0 into 0 8.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.335 * [backup-simplify]: Simplify 0 into 0 8.336 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.336 * [backup-simplify]: Simplify 0 into 0 8.337 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.337 * [backup-simplify]: Simplify 0 into 0 8.337 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 8.337 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 2 1 1 1) 8.337 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 8.337 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 8.337 * [taylor]: Taking taylor expansion of (- z) in z 8.337 * [taylor]: Taking taylor expansion of z in z 8.337 * [backup-simplify]: Simplify 0 into 0 8.337 * [backup-simplify]: Simplify 1 into 1 8.337 * [taylor]: Taking taylor expansion of (- z) in z 8.337 * [taylor]: Taking taylor expansion of z in z 8.337 * [backup-simplify]: Simplify 0 into 0 8.337 * [backup-simplify]: Simplify 1 into 1 8.337 * [backup-simplify]: Simplify (- 0) into 0 8.337 * [backup-simplify]: Simplify 0 into 0 8.337 * [backup-simplify]: Simplify (- 1) into -1 8.337 * [backup-simplify]: Simplify -1 into -1 8.338 * [backup-simplify]: Simplify (- 0) into 0 8.338 * [backup-simplify]: Simplify 0 into 0 8.338 * [backup-simplify]: Simplify (- 0) into 0 8.338 * [backup-simplify]: Simplify 0 into 0 8.338 * [backup-simplify]: Simplify (- 0) into 0 8.338 * [backup-simplify]: Simplify 0 into 0 8.338 * [backup-simplify]: Simplify (- 0) into 0 8.339 * [backup-simplify]: Simplify 0 into 0 8.339 * [backup-simplify]: Simplify (- 0) into 0 8.339 * [backup-simplify]: Simplify 0 into 0 8.339 * [backup-simplify]: Simplify (- 0) into 0 8.339 * [backup-simplify]: Simplify 0 into 0 8.339 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 8.339 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 8.339 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 8.339 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.339 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.339 * [taylor]: Taking taylor expansion of z in z 8.339 * [backup-simplify]: Simplify 0 into 0 8.339 * [backup-simplify]: Simplify 1 into 1 8.339 * [backup-simplify]: Simplify (/ 1 1) into 1 8.340 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.340 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.340 * [taylor]: Taking taylor expansion of z in z 8.340 * [backup-simplify]: Simplify 0 into 0 8.340 * [backup-simplify]: Simplify 1 into 1 8.340 * [backup-simplify]: Simplify (/ 1 1) into 1 8.340 * [backup-simplify]: Simplify (- 1) into -1 8.340 * [backup-simplify]: Simplify -1 into -1 8.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.341 * [backup-simplify]: Simplify (- 0) into 0 8.341 * [backup-simplify]: Simplify 0 into 0 8.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.342 * [backup-simplify]: Simplify (- 0) into 0 8.342 * [backup-simplify]: Simplify 0 into 0 8.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.342 * [backup-simplify]: Simplify (- 0) into 0 8.342 * [backup-simplify]: Simplify 0 into 0 8.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.343 * [backup-simplify]: Simplify (- 0) into 0 8.343 * [backup-simplify]: Simplify 0 into 0 8.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.344 * [backup-simplify]: Simplify (- 0) into 0 8.344 * [backup-simplify]: Simplify 0 into 0 8.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.345 * [backup-simplify]: Simplify (- 0) into 0 8.345 * [backup-simplify]: Simplify 0 into 0 8.345 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 8.345 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 8.345 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 8.345 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.345 * [taylor]: Taking taylor expansion of z in z 8.345 * [backup-simplify]: Simplify 0 into 0 8.345 * [backup-simplify]: Simplify 1 into 1 8.345 * [backup-simplify]: Simplify (/ 1 1) into 1 8.345 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.346 * [taylor]: Taking taylor expansion of z in z 8.346 * [backup-simplify]: Simplify 0 into 0 8.346 * [backup-simplify]: Simplify 1 into 1 8.346 * [backup-simplify]: Simplify (/ 1 1) into 1 8.346 * [backup-simplify]: Simplify 1 into 1 8.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.346 * [backup-simplify]: Simplify 0 into 0 8.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.347 * [backup-simplify]: Simplify 0 into 0 8.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.347 * [backup-simplify]: Simplify 0 into 0 8.348 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.348 * [backup-simplify]: Simplify 0 into 0 8.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.349 * [backup-simplify]: Simplify 0 into 0 8.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.349 * [backup-simplify]: Simplify 0 into 0 8.349 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 8.349 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2 1) 8.349 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 8.350 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 8.350 * [taylor]: Taking taylor expansion of (- z) in z 8.350 * [taylor]: Taking taylor expansion of z in z 8.350 * [backup-simplify]: Simplify 0 into 0 8.350 * [backup-simplify]: Simplify 1 into 1 8.350 * [taylor]: Taking taylor expansion of (- z) in z 8.350 * [taylor]: Taking taylor expansion of z in z 8.350 * [backup-simplify]: Simplify 0 into 0 8.350 * [backup-simplify]: Simplify 1 into 1 8.350 * [backup-simplify]: Simplify (- 0) into 0 8.350 * [backup-simplify]: Simplify 0 into 0 8.350 * [backup-simplify]: Simplify (- 1) into -1 8.350 * [backup-simplify]: Simplify -1 into -1 8.350 * [backup-simplify]: Simplify (- 0) into 0 8.350 * [backup-simplify]: Simplify 0 into 0 8.351 * [backup-simplify]: Simplify (- 0) into 0 8.351 * [backup-simplify]: Simplify 0 into 0 8.351 * [backup-simplify]: Simplify (- 0) into 0 8.351 * [backup-simplify]: Simplify 0 into 0 8.351 * [backup-simplify]: Simplify (- 0) into 0 8.351 * [backup-simplify]: Simplify 0 into 0 8.352 * [backup-simplify]: Simplify (- 0) into 0 8.352 * [backup-simplify]: Simplify 0 into 0 8.352 * [backup-simplify]: Simplify (- 0) into 0 8.352 * [backup-simplify]: Simplify 0 into 0 8.352 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 8.352 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 8.352 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 8.352 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.352 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.352 * [taylor]: Taking taylor expansion of z in z 8.352 * [backup-simplify]: Simplify 0 into 0 8.352 * [backup-simplify]: Simplify 1 into 1 8.352 * [backup-simplify]: Simplify (/ 1 1) into 1 8.352 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.352 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.352 * [taylor]: Taking taylor expansion of z in z 8.352 * [backup-simplify]: Simplify 0 into 0 8.352 * [backup-simplify]: Simplify 1 into 1 8.353 * [backup-simplify]: Simplify (/ 1 1) into 1 8.353 * [backup-simplify]: Simplify (- 1) into -1 8.353 * [backup-simplify]: Simplify -1 into -1 8.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.354 * [backup-simplify]: Simplify (- 0) into 0 8.354 * [backup-simplify]: Simplify 0 into 0 8.354 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.355 * [backup-simplify]: Simplify (- 0) into 0 8.355 * [backup-simplify]: Simplify 0 into 0 8.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.356 * [backup-simplify]: Simplify (- 0) into 0 8.356 * [backup-simplify]: Simplify 0 into 0 8.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.358 * [backup-simplify]: Simplify (- 0) into 0 8.358 * [backup-simplify]: Simplify 0 into 0 8.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.359 * [backup-simplify]: Simplify (- 0) into 0 8.359 * [backup-simplify]: Simplify 0 into 0 8.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.360 * [backup-simplify]: Simplify (- 0) into 0 8.360 * [backup-simplify]: Simplify 0 into 0 8.361 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 8.361 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 8.361 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 8.361 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.361 * [taylor]: Taking taylor expansion of z in z 8.361 * [backup-simplify]: Simplify 0 into 0 8.361 * [backup-simplify]: Simplify 1 into 1 8.361 * [backup-simplify]: Simplify (/ 1 1) into 1 8.361 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.361 * [taylor]: Taking taylor expansion of z in z 8.361 * [backup-simplify]: Simplify 0 into 0 8.361 * [backup-simplify]: Simplify 1 into 1 8.362 * [backup-simplify]: Simplify (/ 1 1) into 1 8.362 * [backup-simplify]: Simplify 1 into 1 8.363 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.363 * [backup-simplify]: Simplify 0 into 0 8.364 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.364 * [backup-simplify]: Simplify 0 into 0 8.365 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.365 * [backup-simplify]: Simplify 0 into 0 8.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.366 * [backup-simplify]: Simplify 0 into 0 8.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.367 * [backup-simplify]: Simplify 0 into 0 8.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.368 * [backup-simplify]: Simplify 0 into 0 8.368 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 8.368 * * * [progress]: simplifying candidates 8.368 * * * * [progress]: [ 1 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.368 * * * * [progress]: [ 2 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.368 * * * * [progress]: [ 3 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.369 * * * * [progress]: [ 4 / 87 ] 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 (+ (- (- 1 z) 1) 8))))))> 8.369 * * * * [progress]: [ 5 / 87 ] 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 (+ (- (- 1 z) 1) 8))))))> 8.369 * * * * [progress]: [ 6 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1)))) (sqrt (posit16->real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.369 * * * * [progress]: [ 7 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.369 * * * * [progress]: [ 8 / 87 ] simplifiying candidate #real (real->posit16 (posit16->real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.369 * * * * [progress]: [ 9 / 87 ] simplifiying candidate # 8.370 * [simplify]: Simplifying (- 1 z) 8.370 * * [simplify]: iters left: 2 (3 enodes) 8.372 * * [simplify]: iters left: 1 (13 enodes) 8.376 * * [simplify]: Extracting #0: cost 1 inf + 0 8.376 * * [simplify]: Extracting #1: cost 5 inf + 0 8.377 * * [simplify]: Extracting #2: cost 3 inf + 43 8.377 * * [simplify]: Extracting #3: cost 0 inf + 168 8.377 * [simplify]: Simplified to (- 1 z) 8.377 * [simplify]: Simplified (2 2 2 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 8.378 * * * * [progress]: [ 10 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (log (/ (/ (exp 1) (exp z)) (exp 1))) 8))))))> 8.378 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 8.378 * * [simplify]: iters left: 5 (6 enodes) 8.381 * * [simplify]: iters left: 4 (23 enodes) 8.391 * * [simplify]: iters left: 3 (34 enodes) 8.401 * * [simplify]: iters left: 2 (39 enodes) 8.411 * * [simplify]: Extracting #0: cost 1 inf + 0 8.411 * * [simplify]: Extracting #1: cost 8 inf + 0 8.411 * * [simplify]: Extracting #2: cost 12 inf + 2 8.412 * * [simplify]: Extracting #3: cost 5 inf + 492 8.412 * * [simplify]: Extracting #4: cost 1 inf + 869 8.412 * * [simplify]: Extracting #5: cost 0 inf + 981 8.413 * [simplify]: Simplified to (exp (- z)) 8.413 * [simplify]: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (log (exp (- z))) 8)))))) 8.414 * * * * [progress]: [ 11 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (log (/ (exp (- 1 z)) (exp 1))) 8))))))> 8.414 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 8.414 * * [simplify]: iters left: 5 (6 enodes) 8.416 * * [simplify]: iters left: 4 (25 enodes) 8.420 * * [simplify]: iters left: 3 (43 enodes) 8.428 * * [simplify]: iters left: 2 (69 enodes) 8.439 * * [simplify]: iters left: 1 (117 enodes) 8.489 * * [simplify]: Extracting #0: cost 1 inf + 0 8.489 * * [simplify]: Extracting #1: cost 23 inf + 0 8.489 * * [simplify]: Extracting #2: cost 47 inf + 43 8.490 * * [simplify]: Extracting #3: cost 56 inf + 270 8.491 * * [simplify]: Extracting #4: cost 9 inf + 4884 8.494 * * [simplify]: Extracting #5: cost 0 inf + 6053 8.496 * * [simplify]: Extracting #6: cost 0 inf + 6011 8.499 * [simplify]: Simplified to (exp (- z)) 8.499 * [simplify]: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (log (exp (- z))) 8)))))) 8.499 * * * * [progress]: [ 12 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (pow (- (- 1 z) 1) 1) 8))))))> 8.500 * * * * [progress]: [ 13 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (exp (log (- (- 1 z) 1))) 8))))))> 8.500 * * * * [progress]: [ 14 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (log (exp (- (- 1 z) 1))) 8))))))> 8.500 * * * * [progress]: [ 15 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1))) 8))))))> 8.500 * * * * [progress]: [ 16 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (cbrt (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1))) 8))))))> 8.500 * * * * [progress]: [ 17 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1))) 8))))))> 8.501 * * * * [progress]: [ 18 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (/ (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1)))) 8))))))> 8.501 * * * * [progress]: [ 19 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (+ (- 1 z) (- 1)) 8))))))> 8.501 * * * * [progress]: [ 20 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* 1 (- (- 1 z) 1)) 8))))))> 8.501 * * * * [progress]: [ 21 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (/ (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1)) 8))))))> 8.501 * * * * [progress]: [ 22 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1))) 8))))))> 8.501 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 8.502 * * [simplify]: iters left: 5 (6 enodes) 8.507 * * [simplify]: iters left: 4 (23 enodes) 8.513 * * [simplify]: iters left: 3 (28 enodes) 8.521 * * [simplify]: Extracting #0: cost 1 inf + 0 8.521 * * [simplify]: Extracting #1: cost 4 inf + 0 8.521 * * [simplify]: Extracting #2: cost 5 inf + 1 8.521 * * [simplify]: Extracting #3: cost 8 inf + 1 8.522 * * [simplify]: Extracting #4: cost 6 inf + 86 8.522 * * [simplify]: Extracting #5: cost 1 inf + 454 8.522 * * [simplify]: Extracting #6: cost 0 inf + 576 8.522 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 8.522 * [simplify]: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) (sqrt 1))) 8)))))) 8.523 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 8.523 * * [simplify]: iters left: 5 (6 enodes) 8.529 * * [simplify]: iters left: 4 (25 enodes) 8.537 * * [simplify]: iters left: 3 (34 enodes) 8.546 * * [simplify]: Extracting #0: cost 1 inf + 0 8.546 * * [simplify]: Extracting #1: cost 5 inf + 0 8.546 * * [simplify]: Extracting #2: cost 5 inf + 2 8.546 * * [simplify]: Extracting #3: cost 8 inf + 2 8.546 * * [simplify]: Extracting #4: cost 7 inf + 44 8.546 * * [simplify]: Extracting #5: cost 2 inf + 373 8.547 * * [simplify]: Extracting #6: cost 0 inf + 577 8.547 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 8.547 * [simplify]: Simplified (2 2 2 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) 1)) 8)))))) 8.548 * * * * [progress]: [ 23 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 8))))))> 8.548 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 8.548 * * [simplify]: iters left: 5 (5 enodes) 8.551 * * [simplify]: iters left: 4 (20 enodes) 8.557 * * [simplify]: iters left: 3 (25 enodes) 8.564 * * [simplify]: Extracting #0: cost 1 inf + 0 8.564 * * [simplify]: Extracting #1: cost 4 inf + 0 8.564 * * [simplify]: Extracting #2: cost 5 inf + 1 8.564 * * [simplify]: Extracting #3: cost 8 inf + 1 8.565 * * [simplify]: Extracting #4: cost 1 inf + 535 8.565 * * [simplify]: Extracting #5: cost 0 inf + 576 8.565 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 8.565 * [simplify]: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 8)))))) 8.567 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 8.567 * * [simplify]: iters left: 5 (5 enodes) 8.570 * * [simplify]: iters left: 4 (22 enodes) 8.577 * * [simplify]: iters left: 3 (29 enodes) 8.585 * * [simplify]: Extracting #0: cost 1 inf + 0 8.585 * * [simplify]: Extracting #1: cost 5 inf + 0 8.585 * * [simplify]: Extracting #2: cost 5 inf + 2 8.585 * * [simplify]: Extracting #3: cost 8 inf + 2 8.585 * * [simplify]: Extracting #4: cost 7 inf + 44 8.586 * * [simplify]: Extracting #5: cost 1 inf + 455 8.586 * * [simplify]: Extracting #6: cost 0 inf + 577 8.586 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 8.586 * [simplify]: Simplified (2 2 2 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 8)))))) 8.587 * * * * [progress]: [ 24 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 8))))))> 8.587 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 8.588 * * [simplify]: iters left: 5 (5 enodes) 8.590 * * [simplify]: iters left: 4 (20 enodes) 8.597 * * [simplify]: iters left: 3 (25 enodes) 8.604 * * [simplify]: Extracting #0: cost 1 inf + 0 8.604 * * [simplify]: Extracting #1: cost 4 inf + 0 8.604 * * [simplify]: Extracting #2: cost 5 inf + 1 8.604 * * [simplify]: Extracting #3: cost 8 inf + 1 8.604 * * [simplify]: Extracting #4: cost 1 inf + 535 8.604 * * [simplify]: Extracting #5: cost 0 inf + 576 8.605 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 8.605 * [simplify]: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 8)))))) 8.606 * * * * [progress]: [ 25 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* 1 (- (- 1 z) 1)) 8))))))> 8.606 * [simplify]: Simplifying (- (- 1 z) 1) 8.606 * * [simplify]: iters left: 4 (4 enodes) 8.609 * * [simplify]: iters left: 3 (21 enodes) 8.616 * * [simplify]: iters left: 2 (39 enodes) 8.632 * * [simplify]: iters left: 1 (51 enodes) 8.644 * * [simplify]: Extracting #0: cost 1 inf + 0 8.644 * * [simplify]: Extracting #1: cost 10 inf + 0 8.644 * * [simplify]: Extracting #2: cost 6 inf + 129 8.644 * * [simplify]: Extracting #3: cost 0 inf + 420 8.645 * [simplify]: Simplified to (- z) 8.645 * [simplify]: Simplified (2 2 2 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* 1 (- z)) 8)))))) 8.645 * * * * [progress]: [ 26 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* 1 (- (- 1 z) 1)) 8))))))> 8.646 * [simplify]: Simplifying (- (- 1 z) 1) 8.646 * * [simplify]: iters left: 4 (4 enodes) 8.647 * * [simplify]: iters left: 3 (21 enodes) 8.651 * * [simplify]: iters left: 2 (39 enodes) 8.657 * * [simplify]: iters left: 1 (51 enodes) 8.663 * * [simplify]: Extracting #0: cost 1 inf + 0 8.663 * * [simplify]: Extracting #1: cost 10 inf + 0 8.663 * * [simplify]: Extracting #2: cost 6 inf + 129 8.663 * * [simplify]: Extracting #3: cost 0 inf + 420 8.664 * [simplify]: Simplified to (- z) 8.664 * [simplify]: Simplified (2 2 2 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* 1 (- z)) 8)))))) 8.664 * * * * [progress]: [ 27 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (+ 1 (- (- z) 1)) 8))))))> 8.664 * * * * [progress]: [ 28 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (+ 1 (- (- z) 1)) 8))))))> 8.664 * * * * [progress]: [ 29 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- 1 (+ z 1)) 8))))))> 8.664 * * * * [progress]: [ 30 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (+ (- 1 z) (- 1)) 8))))))> 8.664 * * * * [progress]: [ 31 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.665 * * * * [progress]: [ 32 / 87 ] simplifiying candidate #real (real->posit16 (log (/ (/ (exp 1) (exp z)) (exp 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.665 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 8.665 * * [simplify]: iters left: 5 (6 enodes) 8.666 * * [simplify]: iters left: 4 (23 enodes) 8.670 * * [simplify]: iters left: 3 (34 enodes) 8.675 * * [simplify]: iters left: 2 (39 enodes) 8.682 * * [simplify]: Extracting #0: cost 1 inf + 0 8.682 * * [simplify]: Extracting #1: cost 8 inf + 0 8.682 * * [simplify]: Extracting #2: cost 12 inf + 2 8.682 * * [simplify]: Extracting #3: cost 5 inf + 492 8.682 * * [simplify]: Extracting #4: cost 1 inf + 869 8.683 * * [simplify]: Extracting #5: cost 0 inf + 981 8.683 * [simplify]: Simplified to (exp (- z)) 8.683 * [simplify]: Simplified (2 2 2 1 2 2 1 1 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (log (exp (- z))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 8.684 * * * * [progress]: [ 33 / 87 ] simplifiying candidate #real (real->posit16 (log (/ (exp (- 1 z)) (exp 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.684 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 8.684 * * [simplify]: iters left: 5 (6 enodes) 8.687 * * [simplify]: iters left: 4 (25 enodes) 8.695 * * [simplify]: iters left: 3 (43 enodes) 8.709 * * [simplify]: iters left: 2 (69 enodes) 8.720 * * [simplify]: iters left: 1 (117 enodes) 8.781 * * [simplify]: Extracting #0: cost 1 inf + 0 8.782 * * [simplify]: Extracting #1: cost 23 inf + 0 8.782 * * [simplify]: Extracting #2: cost 47 inf + 43 8.782 * * [simplify]: Extracting #3: cost 56 inf + 270 8.784 * * [simplify]: Extracting #4: cost 9 inf + 4884 8.787 * * [simplify]: Extracting #5: cost 0 inf + 6053 8.790 * * [simplify]: Extracting #6: cost 0 inf + 6011 8.793 * [simplify]: Simplified to (exp (- z)) 8.793 * [simplify]: Simplified (2 2 2 1 2 2 1 1 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (log (exp (- z))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 8.794 * * * * [progress]: [ 34 / 87 ] simplifiying candidate #real (real->posit16 (pow (- (- 1 z) 1) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.795 * * * * [progress]: [ 35 / 87 ] simplifiying candidate #real (real->posit16 (exp (log (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.795 * * * * [progress]: [ 36 / 87 ] simplifiying candidate #real (real->posit16 (log (exp (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.795 * * * * [progress]: [ 37 / 87 ] simplifiying candidate #real (real->posit16 (* (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.795 * * * * [progress]: [ 38 / 87 ] simplifiying candidate #real (real->posit16 (cbrt (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.795 * * * * [progress]: [ 39 / 87 ] simplifiying candidate #real (real->posit16 (* (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.796 * * * * [progress]: [ 40 / 87 ] 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 (+ (- (- 1 z) 1) 8))))))> 8.796 * * * * [progress]: [ 41 / 87 ] simplifiying candidate #real (real->posit16 (+ (- 1 z) (- 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.796 * * * * [progress]: [ 42 / 87 ] simplifiying candidate #real (real->posit16 (* 1 (- (- 1 z) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.796 * * * * [progress]: [ 43 / 87 ] simplifiying candidate #real (real->posit16 (/ (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.796 * * * * [progress]: [ 44 / 87 ] simplifiying candidate #real (real->posit16 (* (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.797 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 8.797 * * [simplify]: iters left: 5 (6 enodes) 8.802 * * [simplify]: iters left: 4 (23 enodes) 8.808 * * [simplify]: iters left: 3 (28 enodes) 8.811 * * [simplify]: Extracting #0: cost 1 inf + 0 8.811 * * [simplify]: Extracting #1: cost 4 inf + 0 8.812 * * [simplify]: Extracting #2: cost 5 inf + 1 8.812 * * [simplify]: Extracting #3: cost 8 inf + 1 8.812 * * [simplify]: Extracting #4: cost 6 inf + 86 8.812 * * [simplify]: Extracting #5: cost 1 inf + 454 8.812 * * [simplify]: Extracting #6: cost 0 inf + 576 8.812 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 8.812 * [simplify]: Simplified (2 2 2 1 2 2 1 1 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) (sqrt 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 8.813 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 8.813 * * [simplify]: iters left: 5 (6 enodes) 8.815 * * [simplify]: iters left: 4 (25 enodes) 8.819 * * [simplify]: iters left: 3 (34 enodes) 8.824 * * [simplify]: Extracting #0: cost 1 inf + 0 8.824 * * [simplify]: Extracting #1: cost 5 inf + 0 8.824 * * [simplify]: Extracting #2: cost 5 inf + 2 8.824 * * [simplify]: Extracting #3: cost 8 inf + 2 8.824 * * [simplify]: Extracting #4: cost 7 inf + 44 8.824 * * [simplify]: Extracting #5: cost 2 inf + 373 8.824 * * [simplify]: Extracting #6: cost 0 inf + 577 8.824 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 8.824 * [simplify]: Simplified (2 2 2 1 2 2 1 1 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (* (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 8.825 * * * * [progress]: [ 45 / 87 ] simplifiying candidate #real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.825 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 8.825 * * [simplify]: iters left: 5 (5 enodes) 8.826 * * [simplify]: iters left: 4 (20 enodes) 8.829 * * [simplify]: iters left: 3 (25 enodes) 8.836 * * [simplify]: Extracting #0: cost 1 inf + 0 8.836 * * [simplify]: Extracting #1: cost 4 inf + 0 8.836 * * [simplify]: Extracting #2: cost 5 inf + 1 8.836 * * [simplify]: Extracting #3: cost 8 inf + 1 8.836 * * [simplify]: Extracting #4: cost 1 inf + 535 8.837 * * [simplify]: Extracting #5: cost 0 inf + 576 8.837 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 8.837 * [simplify]: Simplified (2 2 2 1 2 2 1 1 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 8.838 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 8.838 * * [simplify]: iters left: 5 (5 enodes) 8.841 * * [simplify]: iters left: 4 (22 enodes) 8.848 * * [simplify]: iters left: 3 (29 enodes) 8.856 * * [simplify]: Extracting #0: cost 1 inf + 0 8.856 * * [simplify]: Extracting #1: cost 5 inf + 0 8.856 * * [simplify]: Extracting #2: cost 5 inf + 2 8.856 * * [simplify]: Extracting #3: cost 8 inf + 2 8.856 * * [simplify]: Extracting #4: cost 7 inf + 44 8.856 * * [simplify]: Extracting #5: cost 1 inf + 455 8.857 * * [simplify]: Extracting #6: cost 0 inf + 577 8.857 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 8.857 * [simplify]: Simplified (2 2 2 1 2 2 1 1 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 8.858 * * * * [progress]: [ 46 / 87 ] simplifiying candidate #real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.858 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 8.858 * * [simplify]: iters left: 5 (5 enodes) 8.861 * * [simplify]: iters left: 4 (20 enodes) 8.867 * * [simplify]: iters left: 3 (25 enodes) 8.874 * * [simplify]: Extracting #0: cost 1 inf + 0 8.874 * * [simplify]: Extracting #1: cost 4 inf + 0 8.874 * * [simplify]: Extracting #2: cost 5 inf + 1 8.874 * * [simplify]: Extracting #3: cost 8 inf + 1 8.874 * * [simplify]: Extracting #4: cost 1 inf + 535 8.874 * * [simplify]: Extracting #5: cost 0 inf + 576 8.875 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 8.875 * [simplify]: Simplified (2 2 2 1 2 2 1 1 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 8.875 * * * * [progress]: [ 47 / 87 ] simplifiying candidate #real (real->posit16 (* 1 (- (- 1 z) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.876 * [simplify]: Simplifying (- (- 1 z) 1) 8.876 * * [simplify]: iters left: 4 (4 enodes) 8.879 * * [simplify]: iters left: 3 (21 enodes) 8.886 * * [simplify]: iters left: 2 (39 enodes) 8.899 * * [simplify]: iters left: 1 (51 enodes) 8.912 * * [simplify]: Extracting #0: cost 1 inf + 0 8.912 * * [simplify]: Extracting #1: cost 10 inf + 0 8.912 * * [simplify]: Extracting #2: cost 6 inf + 129 8.912 * * [simplify]: Extracting #3: cost 0 inf + 420 8.913 * [simplify]: Simplified to (- z) 8.913 * [simplify]: Simplified (2 2 2 1 2 2 1 1 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (* 1 (- z)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 8.914 * * * * [progress]: [ 48 / 87 ] simplifiying candidate #real (real->posit16 (* 1 (- (- 1 z) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.914 * [simplify]: Simplifying (- (- 1 z) 1) 8.914 * * [simplify]: iters left: 4 (4 enodes) 8.917 * * [simplify]: iters left: 3 (21 enodes) 8.925 * * [simplify]: iters left: 2 (39 enodes) 8.938 * * [simplify]: iters left: 1 (51 enodes) 8.950 * * [simplify]: Extracting #0: cost 1 inf + 0 8.950 * * [simplify]: Extracting #1: cost 10 inf + 0 8.951 * * [simplify]: Extracting #2: cost 6 inf + 129 8.951 * * [simplify]: Extracting #3: cost 0 inf + 420 8.951 * [simplify]: Simplified to (- z) 8.951 * [simplify]: Simplified (2 2 2 1 2 2 1 1 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (* 1 (- z)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 8.952 * * * * [progress]: [ 49 / 87 ] simplifiying candidate #real (real->posit16 (+ 1 (- (- z) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.952 * * * * [progress]: [ 50 / 87 ] simplifiying candidate #real (real->posit16 (+ 1 (- (- z) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.952 * * * * [progress]: [ 51 / 87 ] simplifiying candidate #real (real->posit16 (- 1 (+ z 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.953 * * * * [progress]: [ 52 / 87 ] simplifiying candidate #real (real->posit16 (+ (- 1 z) (- 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.953 * * * * [progress]: [ 53 / 87 ] simplifiying candidate #real (real->posit16 (posit16->real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.953 * * * * [progress]: [ 54 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.953 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 8.953 * * [simplify]: iters left: 5 (6 enodes) 8.957 * * [simplify]: iters left: 4 (23 enodes) 8.964 * * [simplify]: iters left: 3 (34 enodes) 8.974 * * [simplify]: iters left: 2 (39 enodes) 8.984 * * [simplify]: Extracting #0: cost 1 inf + 0 8.984 * * [simplify]: Extracting #1: cost 8 inf + 0 8.984 * * [simplify]: Extracting #2: cost 12 inf + 2 8.984 * * [simplify]: Extracting #3: cost 5 inf + 492 8.985 * * [simplify]: Extracting #4: cost 1 inf + 869 8.985 * * [simplify]: Extracting #5: cost 0 inf + 981 8.985 * [simplify]: Simplified to (exp (- z)) 8.985 * [simplify]: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (log (exp (- z))) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 8.986 * * * * [progress]: [ 55 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 8.987 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 8.987 * * [simplify]: iters left: 5 (6 enodes) 8.992 * * [simplify]: iters left: 4 (25 enodes) 9.000 * * [simplify]: iters left: 3 (43 enodes) 9.014 * * [simplify]: iters left: 2 (69 enodes) 9.036 * * [simplify]: iters left: 1 (117 enodes) 9.111 * * [simplify]: Extracting #0: cost 1 inf + 0 9.111 * * [simplify]: Extracting #1: cost 23 inf + 0 9.111 * * [simplify]: Extracting #2: cost 47 inf + 43 9.111 * * [simplify]: Extracting #3: cost 56 inf + 270 9.112 * * [simplify]: Extracting #4: cost 9 inf + 4884 9.113 * * [simplify]: Extracting #5: cost 0 inf + 6053 9.117 * * [simplify]: Extracting #6: cost 0 inf + 6011 9.118 * [simplify]: Simplified to (exp (- z)) 9.118 * [simplify]: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (log (exp (- z))) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 9.118 * * * * [progress]: [ 56 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.119 * * * * [progress]: [ 57 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.119 * * * * [progress]: [ 58 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.119 * * * * [progress]: [ 59 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.119 * * * * [progress]: [ 60 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.119 * * * * [progress]: [ 61 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.119 * * * * [progress]: [ 62 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.119 * * * * [progress]: [ 63 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.119 * * * * [progress]: [ 64 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.119 * * * * [progress]: [ 65 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.119 * * * * [progress]: [ 66 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.120 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 9.120 * * [simplify]: iters left: 5 (6 enodes) 9.123 * * [simplify]: iters left: 4 (23 enodes) 9.126 * * [simplify]: iters left: 3 (28 enodes) 9.130 * * [simplify]: Extracting #0: cost 1 inf + 0 9.130 * * [simplify]: Extracting #1: cost 4 inf + 0 9.130 * * [simplify]: Extracting #2: cost 5 inf + 1 9.130 * * [simplify]: Extracting #3: cost 8 inf + 1 9.130 * * [simplify]: Extracting #4: cost 6 inf + 86 9.130 * * [simplify]: Extracting #5: cost 1 inf + 454 9.131 * * [simplify]: Extracting #6: cost 0 inf + 576 9.131 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 9.131 * [simplify]: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) (sqrt 1))) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 9.131 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 9.131 * * [simplify]: iters left: 5 (6 enodes) 9.134 * * [simplify]: iters left: 4 (25 enodes) 9.139 * * [simplify]: iters left: 3 (34 enodes) 9.145 * * [simplify]: Extracting #0: cost 1 inf + 0 9.145 * * [simplify]: Extracting #1: cost 5 inf + 0 9.145 * * [simplify]: Extracting #2: cost 5 inf + 2 9.145 * * [simplify]: Extracting #3: cost 8 inf + 2 9.145 * * [simplify]: Extracting #4: cost 7 inf + 44 9.145 * * [simplify]: Extracting #5: cost 2 inf + 373 9.146 * * [simplify]: Extracting #6: cost 0 inf + 577 9.146 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 9.146 * [simplify]: Simplified (2 2 2 1 1 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (* (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) 1)) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 9.147 * * * * [progress]: [ 67 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.147 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 9.147 * * [simplify]: iters left: 5 (5 enodes) 9.150 * * [simplify]: iters left: 4 (20 enodes) 9.156 * * [simplify]: iters left: 3 (25 enodes) 9.163 * * [simplify]: Extracting #0: cost 1 inf + 0 9.163 * * [simplify]: Extracting #1: cost 4 inf + 0 9.163 * * [simplify]: Extracting #2: cost 5 inf + 1 9.163 * * [simplify]: Extracting #3: cost 8 inf + 1 9.164 * * [simplify]: Extracting #4: cost 1 inf + 535 9.164 * * [simplify]: Extracting #5: cost 0 inf + 576 9.164 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 9.164 * [simplify]: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 9.165 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 9.165 * * [simplify]: iters left: 5 (5 enodes) 9.169 * * [simplify]: iters left: 4 (22 enodes) 9.176 * * [simplify]: iters left: 3 (29 enodes) 9.184 * * [simplify]: Extracting #0: cost 1 inf + 0 9.184 * * [simplify]: Extracting #1: cost 5 inf + 0 9.184 * * [simplify]: Extracting #2: cost 5 inf + 2 9.184 * * [simplify]: Extracting #3: cost 8 inf + 2 9.184 * * [simplify]: Extracting #4: cost 7 inf + 44 9.184 * * [simplify]: Extracting #5: cost 1 inf + 455 9.185 * * [simplify]: Extracting #6: cost 0 inf + 577 9.185 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 9.185 * [simplify]: Simplified (2 2 2 1 1 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 9.186 * * * * [progress]: [ 68 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.186 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 9.186 * * [simplify]: iters left: 5 (5 enodes) 9.189 * * [simplify]: iters left: 4 (20 enodes) 9.195 * * [simplify]: iters left: 3 (25 enodes) 9.202 * * [simplify]: Extracting #0: cost 1 inf + 0 9.202 * * [simplify]: Extracting #1: cost 4 inf + 0 9.202 * * [simplify]: Extracting #2: cost 5 inf + 1 9.202 * * [simplify]: Extracting #3: cost 8 inf + 1 9.202 * * [simplify]: Extracting #4: cost 1 inf + 535 9.203 * * [simplify]: Extracting #5: cost 0 inf + 576 9.203 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 9.203 * [simplify]: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 9.204 * * * * [progress]: [ 69 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.204 * [simplify]: Simplifying (- (- 1 z) 1) 9.204 * * [simplify]: iters left: 4 (4 enodes) 9.207 * * [simplify]: iters left: 3 (21 enodes) 9.215 * * [simplify]: iters left: 2 (39 enodes) 9.228 * * [simplify]: iters left: 1 (51 enodes) 9.240 * * [simplify]: Extracting #0: cost 1 inf + 0 9.240 * * [simplify]: Extracting #1: cost 10 inf + 0 9.240 * * [simplify]: Extracting #2: cost 6 inf + 129 9.241 * * [simplify]: Extracting #3: cost 0 inf + 420 9.241 * [simplify]: Simplified to (- z) 9.241 * [simplify]: Simplified (2 2 2 1 1 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (* 1 (- z)) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 9.242 * * * * [progress]: [ 70 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.242 * [simplify]: Simplifying (- (- 1 z) 1) 9.242 * * [simplify]: iters left: 4 (4 enodes) 9.245 * * [simplify]: iters left: 3 (21 enodes) 9.255 * * [simplify]: iters left: 2 (39 enodes) 9.262 * * [simplify]: iters left: 1 (51 enodes) 9.269 * * [simplify]: Extracting #0: cost 1 inf + 0 9.269 * * [simplify]: Extracting #1: cost 10 inf + 0 9.269 * * [simplify]: Extracting #2: cost 6 inf + 129 9.269 * * [simplify]: Extracting #3: cost 0 inf + 420 9.270 * [simplify]: Simplified to (- z) 9.270 * [simplify]: Simplified (2 2 2 1 1 2 2 1 2) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (* 1 (- z)) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 9.270 * * * * [progress]: [ 71 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.270 * * * * [progress]: [ 72 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.271 * * * * [progress]: [ 73 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.271 * * * * [progress]: [ 74 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.271 * * * * [progress]: [ 75 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.271 * * * * [progress]: [ 76 / 87 ] simplifiying candidate # 9.271 * [simplify]: Simplifying (* -1 z) 9.271 * * [simplify]: iters left: 2 (3 enodes) 9.272 * * [simplify]: iters left: 1 (11 enodes) 9.274 * * [simplify]: Extracting #0: cost 1 inf + 0 9.274 * * [simplify]: Extracting #1: cost 4 inf + 0 9.274 * * [simplify]: Extracting #2: cost 0 inf + 84 9.274 * [simplify]: Simplified to (- z) 9.274 * [simplify]: Simplified (2 2 2 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- z) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 9.274 * * * * [progress]: [ 77 / 87 ] simplifiying candidate # 9.275 * [simplify]: Simplifying (* -1 z) 9.275 * * [simplify]: iters left: 2 (3 enodes) 9.276 * * [simplify]: iters left: 1 (11 enodes) 9.277 * * [simplify]: Extracting #0: cost 1 inf + 0 9.277 * * [simplify]: Extracting #1: cost 4 inf + 0 9.277 * * [simplify]: Extracting #2: cost 0 inf + 84 9.277 * [simplify]: Simplified to (- z) 9.277 * [simplify]: Simplified (2 2 2 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- z) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 9.278 * * * * [progress]: [ 78 / 87 ] simplifiying candidate # 9.278 * [simplify]: Simplifying (* -1 z) 9.278 * * [simplify]: iters left: 2 (3 enodes) 9.280 * * [simplify]: iters left: 1 (11 enodes) 9.284 * * [simplify]: Extracting #0: cost 1 inf + 0 9.284 * * [simplify]: Extracting #1: cost 4 inf + 0 9.284 * * [simplify]: Extracting #2: cost 0 inf + 84 9.284 * [simplify]: Simplified to (- z) 9.284 * [simplify]: Simplified (2 2 2 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- z) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 9.285 * * * * [progress]: [ 79 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* -1 z) 8))))))> 9.286 * [simplify]: Simplifying (* -1 z) 9.286 * * [simplify]: iters left: 2 (3 enodes) 9.288 * * [simplify]: iters left: 1 (11 enodes) 9.291 * * [simplify]: Extracting #0: cost 1 inf + 0 9.291 * * [simplify]: Extracting #1: cost 4 inf + 0 9.291 * * [simplify]: Extracting #2: cost 0 inf + 84 9.291 * [simplify]: Simplified to (- z) 9.291 * [simplify]: Simplified (2 2 2 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- z) 8)))))) 9.292 * * * * [progress]: [ 80 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* -1 z) 8))))))> 9.292 * [simplify]: Simplifying (* -1 z) 9.292 * * [simplify]: iters left: 2 (3 enodes) 9.294 * * [simplify]: iters left: 1 (11 enodes) 9.297 * * [simplify]: Extracting #0: cost 1 inf + 0 9.297 * * [simplify]: Extracting #1: cost 4 inf + 0 9.297 * * [simplify]: Extracting #2: cost 0 inf + 84 9.297 * [simplify]: Simplified to (- z) 9.297 * [simplify]: Simplified (2 2 2 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- z) 8)))))) 9.298 * * * * [progress]: [ 81 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* -1 z) 8))))))> 9.298 * [simplify]: Simplifying (* -1 z) 9.298 * * [simplify]: iters left: 2 (3 enodes) 9.299 * * [simplify]: iters left: 1 (11 enodes) 9.301 * * [simplify]: Extracting #0: cost 1 inf + 0 9.301 * * [simplify]: Extracting #1: cost 4 inf + 0 9.301 * * [simplify]: Extracting #2: cost 0 inf + 84 9.301 * [simplify]: Simplified to (- z) 9.301 * [simplify]: Simplified (2 2 2 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- z) 8)))))) 9.302 * * * * [progress]: [ 82 / 87 ] simplifiying candidate #real (real->posit16 (* -1 z))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.302 * [simplify]: Simplifying (* -1 z) 9.302 * * [simplify]: iters left: 2 (3 enodes) 9.303 * * [simplify]: iters left: 1 (11 enodes) 9.305 * * [simplify]: Extracting #0: cost 1 inf + 0 9.305 * * [simplify]: Extracting #1: cost 4 inf + 0 9.305 * * [simplify]: Extracting #2: cost 0 inf + 84 9.305 * [simplify]: Simplified to (- z) 9.305 * [simplify]: Simplified (2 2 2 1 2 2 1 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- z))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 9.305 * * * * [progress]: [ 83 / 87 ] simplifiying candidate #real (real->posit16 (* -1 z))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.306 * [simplify]: Simplifying (* -1 z) 9.306 * * [simplify]: iters left: 2 (3 enodes) 9.307 * * [simplify]: iters left: 1 (11 enodes) 9.308 * * [simplify]: Extracting #0: cost 1 inf + 0 9.308 * * [simplify]: Extracting #1: cost 4 inf + 0 9.308 * * [simplify]: Extracting #2: cost 0 inf + 84 9.308 * [simplify]: Simplified to (- z) 9.308 * [simplify]: Simplified (2 2 2 1 2 2 1 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- z))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 9.309 * * * * [progress]: [ 84 / 87 ] simplifiying candidate #real (real->posit16 (* -1 z))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.309 * [simplify]: Simplifying (* -1 z) 9.309 * * [simplify]: iters left: 2 (3 enodes) 9.310 * * [simplify]: iters left: 1 (11 enodes) 9.312 * * [simplify]: Extracting #0: cost 1 inf + 0 9.312 * * [simplify]: Extracting #1: cost 4 inf + 0 9.312 * * [simplify]: Extracting #2: cost 0 inf + 84 9.312 * [simplify]: Simplified to (- z) 9.312 * [simplify]: Simplified (2 2 2 1 2 2 1 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- z))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 9.312 * * * * [progress]: [ 85 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.312 * [simplify]: Simplifying (* -1 z) 9.313 * * [simplify]: iters left: 2 (3 enodes) 9.314 * * [simplify]: iters left: 1 (11 enodes) 9.315 * * [simplify]: Extracting #0: cost 1 inf + 0 9.315 * * [simplify]: Extracting #1: cost 4 inf + 0 9.315 * * [simplify]: Extracting #2: cost 0 inf + 84 9.315 * [simplify]: Simplified to (- z) 9.315 * [simplify]: Simplified (2 2 2 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- z) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 9.316 * * * * [progress]: [ 86 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.316 * [simplify]: Simplifying (* -1 z) 9.316 * * [simplify]: iters left: 2 (3 enodes) 9.317 * * [simplify]: iters left: 1 (11 enodes) 9.319 * * [simplify]: Extracting #0: cost 1 inf + 0 9.319 * * [simplify]: Extracting #1: cost 4 inf + 0 9.319 * * [simplify]: Extracting #2: cost 0 inf + 84 9.319 * [simplify]: Simplified to (- z) 9.319 * [simplify]: Simplified (2 2 2 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- z) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 9.320 * * * * [progress]: [ 87 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 9.320 * [simplify]: Simplifying (* -1 z) 9.321 * * [simplify]: iters left: 2 (3 enodes) 9.322 * * [simplify]: iters left: 1 (11 enodes) 9.325 * * [simplify]: Extracting #0: cost 1 inf + 0 9.325 * * [simplify]: Extracting #1: cost 4 inf + 0 9.326 * * [simplify]: Extracting #2: cost 0 inf + 84 9.326 * [simplify]: Simplified to (- z) 9.326 * [simplify]: Simplified (2 2 2 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- z) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 9.326 * * * [progress]: adding candidates to table 14.154 * [progress]: [Phase 3 of 3] Extracting. 14.154 * * [regime]: Finding splitpoints for: (# #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))>) 14.158 * * * [regime-changes]: Trying 2 branch expressions: (z (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 14.158 * * * * [regimes]: Trying to branch on z from (# #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))>) 14.211 * * * * [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))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))>) 14.307 * * * [regime]: Found split indices: #