0.001 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 1.744 * * * [progress]: [2/2] Setting up program. 1.767 * [progress]: [Phase 2 of 3] Improving. 1.767 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1.768 * [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.769 * * [simplify]: iters left: 6 (60 enodes) 1.806 * * [simplify]: iters left: 5 (275 enodes) 1.925 * * [simplify]: Extracting #0: cost 1 inf + 0 1.925 * * [simplify]: Extracting #1: cost 29 inf + 0 1.925 * * [simplify]: Extracting #2: cost 96 inf + 1 1.926 * * [simplify]: Extracting #3: cost 193 inf + 1 1.926 * * [simplify]: Extracting #4: cost 271 inf + 437 1.928 * * [simplify]: Extracting #5: cost 285 inf + 2099 1.931 * * [simplify]: Extracting #6: cost 181 inf + 15031 1.944 * * [simplify]: Extracting #7: cost 109 inf + 40381 1.972 * * [simplify]: Extracting #8: cost 5 inf + 137050 2.029 * * [simplify]: Extracting #9: cost 0 inf + 143532 2.089 * [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.090 * [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.114 * * [progress]: iteration 1 / 4 2.114 * * * [progress]: picking best candidate 2.139 * * * * [pick]: Picked # 2.139 * * * [progress]: localizing error 2.345 * * * [progress]: generating rewritten candidates 2.345 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 2.382 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 2.414 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 2.451 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 2.497 * * * [progress]: generating series expansions 2.497 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 2.497 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 2.497 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.497 * [taylor]: Taking taylor expansion of (- z) in z 2.497 * [taylor]: Taking taylor expansion of z in z 2.497 * [backup-simplify]: Simplify 0 into 0 2.497 * [backup-simplify]: Simplify 1 into 1 2.497 * [taylor]: Taking taylor expansion of (- z) in z 2.497 * [taylor]: Taking taylor expansion of z in z 2.497 * [backup-simplify]: Simplify 0 into 0 2.498 * [backup-simplify]: Simplify 1 into 1 2.498 * [backup-simplify]: Simplify (- 0) into 0 2.498 * [backup-simplify]: Simplify 0 into 0 2.498 * [backup-simplify]: Simplify (- 1) into -1 2.498 * [backup-simplify]: Simplify -1 into -1 2.499 * [backup-simplify]: Simplify (- 0) into 0 2.499 * [backup-simplify]: Simplify 0 into 0 2.499 * [backup-simplify]: Simplify (- 0) into 0 2.499 * [backup-simplify]: Simplify 0 into 0 2.499 * [backup-simplify]: Simplify (- 0) into 0 2.499 * [backup-simplify]: Simplify 0 into 0 2.499 * [backup-simplify]: Simplify (- 0) into 0 2.499 * [backup-simplify]: Simplify 0 into 0 2.500 * [backup-simplify]: Simplify (- 0) into 0 2.500 * [backup-simplify]: Simplify 0 into 0 2.500 * [backup-simplify]: Simplify (- 0) into 0 2.500 * [backup-simplify]: Simplify 0 into 0 2.500 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 2.500 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 2.500 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.500 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.500 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.500 * [taylor]: Taking taylor expansion of z in z 2.500 * [backup-simplify]: Simplify 0 into 0 2.500 * [backup-simplify]: Simplify 1 into 1 2.500 * [backup-simplify]: Simplify (/ 1 1) into 1 2.500 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.500 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.500 * [taylor]: Taking taylor expansion of z in z 2.500 * [backup-simplify]: Simplify 0 into 0 2.500 * [backup-simplify]: Simplify 1 into 1 2.501 * [backup-simplify]: Simplify (/ 1 1) into 1 2.501 * [backup-simplify]: Simplify (- 1) into -1 2.501 * [backup-simplify]: Simplify -1 into -1 2.501 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.502 * [backup-simplify]: Simplify (- 0) into 0 2.502 * [backup-simplify]: Simplify 0 into 0 2.502 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.502 * [backup-simplify]: Simplify (- 0) into 0 2.503 * [backup-simplify]: Simplify 0 into 0 2.503 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.503 * [backup-simplify]: Simplify (- 0) into 0 2.503 * [backup-simplify]: Simplify 0 into 0 2.504 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.504 * [backup-simplify]: Simplify (- 0) into 0 2.504 * [backup-simplify]: Simplify 0 into 0 2.505 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.505 * [backup-simplify]: Simplify (- 0) into 0 2.505 * [backup-simplify]: Simplify 0 into 0 2.506 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.506 * [backup-simplify]: Simplify (- 0) into 0 2.506 * [backup-simplify]: Simplify 0 into 0 2.506 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 2.506 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 2.506 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.506 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.506 * [taylor]: Taking taylor expansion of z in z 2.506 * [backup-simplify]: Simplify 0 into 0 2.506 * [backup-simplify]: Simplify 1 into 1 2.506 * [backup-simplify]: Simplify (/ 1 1) into 1 2.506 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.506 * [taylor]: Taking taylor expansion of z in z 2.506 * [backup-simplify]: Simplify 0 into 0 2.507 * [backup-simplify]: Simplify 1 into 1 2.507 * [backup-simplify]: Simplify (/ 1 1) into 1 2.507 * [backup-simplify]: Simplify 1 into 1 2.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.507 * [backup-simplify]: Simplify 0 into 0 2.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.508 * [backup-simplify]: Simplify 0 into 0 2.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.508 * [backup-simplify]: Simplify 0 into 0 2.509 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.509 * [backup-simplify]: Simplify 0 into 0 2.509 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.509 * [backup-simplify]: Simplify 0 into 0 2.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.510 * [backup-simplify]: Simplify 0 into 0 2.510 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 2.510 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 2.510 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 2.510 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.510 * [taylor]: Taking taylor expansion of (- z) in z 2.510 * [taylor]: Taking taylor expansion of z in z 2.510 * [backup-simplify]: Simplify 0 into 0 2.510 * [backup-simplify]: Simplify 1 into 1 2.510 * [taylor]: Taking taylor expansion of (- z) in z 2.510 * [taylor]: Taking taylor expansion of z in z 2.510 * [backup-simplify]: Simplify 0 into 0 2.510 * [backup-simplify]: Simplify 1 into 1 2.511 * [backup-simplify]: Simplify (- 0) into 0 2.511 * [backup-simplify]: Simplify 0 into 0 2.511 * [backup-simplify]: Simplify (- 1) into -1 2.511 * [backup-simplify]: Simplify -1 into -1 2.511 * [backup-simplify]: Simplify (- 0) into 0 2.511 * [backup-simplify]: Simplify 0 into 0 2.511 * [backup-simplify]: Simplify (- 0) into 0 2.511 * [backup-simplify]: Simplify 0 into 0 2.512 * [backup-simplify]: Simplify (- 0) into 0 2.512 * [backup-simplify]: Simplify 0 into 0 2.512 * [backup-simplify]: Simplify (- 0) into 0 2.512 * [backup-simplify]: Simplify 0 into 0 2.512 * [backup-simplify]: Simplify (- 0) into 0 2.512 * [backup-simplify]: Simplify 0 into 0 2.512 * [backup-simplify]: Simplify (- 0) into 0 2.513 * [backup-simplify]: Simplify 0 into 0 2.513 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 2.513 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 2.513 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.513 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.513 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.513 * [taylor]: Taking taylor expansion of z in z 2.513 * [backup-simplify]: Simplify 0 into 0 2.513 * [backup-simplify]: Simplify 1 into 1 2.513 * [backup-simplify]: Simplify (/ 1 1) into 1 2.513 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.513 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.513 * [taylor]: Taking taylor expansion of z in z 2.513 * [backup-simplify]: Simplify 0 into 0 2.513 * [backup-simplify]: Simplify 1 into 1 2.513 * [backup-simplify]: Simplify (/ 1 1) into 1 2.514 * [backup-simplify]: Simplify (- 1) into -1 2.514 * [backup-simplify]: Simplify -1 into -1 2.514 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.514 * [backup-simplify]: Simplify (- 0) into 0 2.514 * [backup-simplify]: Simplify 0 into 0 2.515 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.515 * [backup-simplify]: Simplify (- 0) into 0 2.515 * [backup-simplify]: Simplify 0 into 0 2.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.516 * [backup-simplify]: Simplify (- 0) into 0 2.516 * [backup-simplify]: Simplify 0 into 0 2.517 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.517 * [backup-simplify]: Simplify (- 0) into 0 2.517 * [backup-simplify]: Simplify 0 into 0 2.517 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.518 * [backup-simplify]: Simplify (- 0) into 0 2.518 * [backup-simplify]: Simplify 0 into 0 2.518 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.518 * [backup-simplify]: Simplify (- 0) into 0 2.519 * [backup-simplify]: Simplify 0 into 0 2.519 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 2.519 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 2.519 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.519 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.519 * [taylor]: Taking taylor expansion of z in z 2.519 * [backup-simplify]: Simplify 0 into 0 2.519 * [backup-simplify]: Simplify 1 into 1 2.519 * [backup-simplify]: Simplify (/ 1 1) into 1 2.519 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.519 * [taylor]: Taking taylor expansion of z in z 2.519 * [backup-simplify]: Simplify 0 into 0 2.519 * [backup-simplify]: Simplify 1 into 1 2.519 * [backup-simplify]: Simplify (/ 1 1) into 1 2.519 * [backup-simplify]: Simplify 1 into 1 2.520 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.520 * [backup-simplify]: Simplify 0 into 0 2.520 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.520 * [backup-simplify]: Simplify 0 into 0 2.521 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.521 * [backup-simplify]: Simplify 0 into 0 2.521 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.521 * [backup-simplify]: Simplify 0 into 0 2.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.522 * [backup-simplify]: Simplify 0 into 0 2.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.523 * [backup-simplify]: Simplify 0 into 0 2.523 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 2.523 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 2.523 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 2.523 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.523 * [taylor]: Taking taylor expansion of (- z) in z 2.523 * [taylor]: Taking taylor expansion of z in z 2.523 * [backup-simplify]: Simplify 0 into 0 2.523 * [backup-simplify]: Simplify 1 into 1 2.523 * [taylor]: Taking taylor expansion of (- z) in z 2.523 * [taylor]: Taking taylor expansion of z in z 2.523 * [backup-simplify]: Simplify 0 into 0 2.523 * [backup-simplify]: Simplify 1 into 1 2.523 * [backup-simplify]: Simplify (- 0) into 0 2.523 * [backup-simplify]: Simplify 0 into 0 2.523 * [backup-simplify]: Simplify (- 1) into -1 2.523 * [backup-simplify]: Simplify -1 into -1 2.524 * [backup-simplify]: Simplify (- 0) into 0 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [backup-simplify]: Simplify (- 0) into 0 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [backup-simplify]: Simplify (- 0) into 0 2.524 * [backup-simplify]: Simplify 0 into 0 2.525 * [backup-simplify]: Simplify (- 0) into 0 2.525 * [backup-simplify]: Simplify 0 into 0 2.525 * [backup-simplify]: Simplify (- 0) into 0 2.525 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify (- 0) into 0 2.526 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 2.526 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 2.526 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.526 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.526 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.526 * [taylor]: Taking taylor expansion of z in z 2.526 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify 1 into 1 2.526 * [backup-simplify]: Simplify (/ 1 1) into 1 2.526 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.526 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.526 * [taylor]: Taking taylor expansion of z in z 2.526 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify 1 into 1 2.527 * [backup-simplify]: Simplify (/ 1 1) into 1 2.527 * [backup-simplify]: Simplify (- 1) into -1 2.527 * [backup-simplify]: Simplify -1 into -1 2.528 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.528 * [backup-simplify]: Simplify (- 0) into 0 2.528 * [backup-simplify]: Simplify 0 into 0 2.529 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.530 * [backup-simplify]: Simplify (- 0) into 0 2.530 * [backup-simplify]: Simplify 0 into 0 2.531 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.531 * [backup-simplify]: Simplify (- 0) into 0 2.531 * [backup-simplify]: Simplify 0 into 0 2.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.532 * [backup-simplify]: Simplify (- 0) into 0 2.532 * [backup-simplify]: Simplify 0 into 0 2.533 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.534 * [backup-simplify]: Simplify (- 0) into 0 2.534 * [backup-simplify]: Simplify 0 into 0 2.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.535 * [backup-simplify]: Simplify (- 0) into 0 2.535 * [backup-simplify]: Simplify 0 into 0 2.535 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 2.535 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 2.535 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.535 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.535 * [taylor]: Taking taylor expansion of z in z 2.535 * [backup-simplify]: Simplify 0 into 0 2.535 * [backup-simplify]: Simplify 1 into 1 2.536 * [backup-simplify]: Simplify (/ 1 1) into 1 2.536 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.536 * [taylor]: Taking taylor expansion of z in z 2.536 * [backup-simplify]: Simplify 0 into 0 2.536 * [backup-simplify]: Simplify 1 into 1 2.536 * [backup-simplify]: Simplify (/ 1 1) into 1 2.536 * [backup-simplify]: Simplify 1 into 1 2.537 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.537 * [backup-simplify]: Simplify 0 into 0 2.537 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.537 * [backup-simplify]: Simplify 0 into 0 2.538 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.538 * [backup-simplify]: Simplify 0 into 0 2.538 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.538 * [backup-simplify]: Simplify 0 into 0 2.539 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.539 * [backup-simplify]: Simplify 0 into 0 2.540 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.540 * [backup-simplify]: Simplify 0 into 0 2.540 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 2.540 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 2.540 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 2.540 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 2.540 * [taylor]: Taking taylor expansion of (- z) in z 2.540 * [taylor]: Taking taylor expansion of z in z 2.540 * [backup-simplify]: Simplify 0 into 0 2.540 * [backup-simplify]: Simplify 1 into 1 2.540 * [taylor]: Taking taylor expansion of (- z) in z 2.540 * [taylor]: Taking taylor expansion of z in z 2.540 * [backup-simplify]: Simplify 0 into 0 2.540 * [backup-simplify]: Simplify 1 into 1 2.540 * [backup-simplify]: Simplify (- 0) into 0 2.540 * [backup-simplify]: Simplify 0 into 0 2.541 * [backup-simplify]: Simplify (- 1) into -1 2.541 * [backup-simplify]: Simplify -1 into -1 2.541 * [backup-simplify]: Simplify (- 0) into 0 2.541 * [backup-simplify]: Simplify 0 into 0 2.541 * [backup-simplify]: Simplify (- 0) into 0 2.541 * [backup-simplify]: Simplify 0 into 0 2.541 * [backup-simplify]: Simplify (- 0) into 0 2.541 * [backup-simplify]: Simplify 0 into 0 2.542 * [backup-simplify]: Simplify (- 0) into 0 2.542 * [backup-simplify]: Simplify 0 into 0 2.542 * [backup-simplify]: Simplify (- 0) into 0 2.542 * [backup-simplify]: Simplify 0 into 0 2.544 * [backup-simplify]: Simplify (- 0) into 0 2.545 * [backup-simplify]: Simplify 0 into 0 2.545 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 2.545 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 2.545 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 2.545 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.545 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.545 * [taylor]: Taking taylor expansion of z in z 2.545 * [backup-simplify]: Simplify 0 into 0 2.545 * [backup-simplify]: Simplify 1 into 1 2.545 * [backup-simplify]: Simplify (/ 1 1) into 1 2.545 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 2.545 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.545 * [taylor]: Taking taylor expansion of z in z 2.545 * [backup-simplify]: Simplify 0 into 0 2.545 * [backup-simplify]: Simplify 1 into 1 2.546 * [backup-simplify]: Simplify (/ 1 1) into 1 2.546 * [backup-simplify]: Simplify (- 1) into -1 2.546 * [backup-simplify]: Simplify -1 into -1 2.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.547 * [backup-simplify]: Simplify (- 0) into 0 2.547 * [backup-simplify]: Simplify 0 into 0 2.547 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.547 * [backup-simplify]: Simplify (- 0) into 0 2.547 * [backup-simplify]: Simplify 0 into 0 2.548 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.548 * [backup-simplify]: Simplify (- 0) into 0 2.548 * [backup-simplify]: Simplify 0 into 0 2.549 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.549 * [backup-simplify]: Simplify (- 0) into 0 2.549 * [backup-simplify]: Simplify 0 into 0 2.549 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.550 * [backup-simplify]: Simplify (- 0) into 0 2.550 * [backup-simplify]: Simplify 0 into 0 2.550 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.550 * [backup-simplify]: Simplify (- 0) into 0 2.551 * [backup-simplify]: Simplify 0 into 0 2.551 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 2.551 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 2.551 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 2.551 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.551 * [taylor]: Taking taylor expansion of z in z 2.551 * [backup-simplify]: Simplify 0 into 0 2.551 * [backup-simplify]: Simplify 1 into 1 2.551 * [backup-simplify]: Simplify (/ 1 1) into 1 2.551 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.551 * [taylor]: Taking taylor expansion of z in z 2.551 * [backup-simplify]: Simplify 0 into 0 2.551 * [backup-simplify]: Simplify 1 into 1 2.551 * [backup-simplify]: Simplify (/ 1 1) into 1 2.551 * [backup-simplify]: Simplify 1 into 1 2.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.552 * [backup-simplify]: Simplify 0 into 0 2.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.552 * [backup-simplify]: Simplify 0 into 0 2.553 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.553 * [backup-simplify]: Simplify 0 into 0 2.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.554 * [backup-simplify]: Simplify 0 into 0 2.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.554 * [backup-simplify]: Simplify 0 into 0 2.555 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.555 * [backup-simplify]: Simplify 0 into 0 2.555 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 2.555 * * * [progress]: simplifying candidates 2.555 * * * * [progress]: [ 1 / 100 ] simplifiying candidate # 2.555 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 2.555 * * [simplify]: iters left: 5 (6 enodes) 2.557 * * [simplify]: iters left: 4 (23 enodes) 2.561 * * [simplify]: iters left: 3 (34 enodes) 2.565 * * [simplify]: iters left: 2 (39 enodes) 2.573 * * [simplify]: Extracting #0: cost 1 inf + 0 2.573 * * [simplify]: Extracting #1: cost 8 inf + 0 2.573 * * [simplify]: Extracting #2: cost 12 inf + 2 2.573 * * [simplify]: Extracting #3: cost 5 inf + 492 2.574 * * [simplify]: Extracting #4: cost 1 inf + 869 2.574 * * [simplify]: Extracting #5: cost 0 inf + 981 2.574 * [simplify]: Simplified to (exp (- z)) 2.574 * [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.575 * * * * [progress]: [ 2 / 100 ] simplifiying candidate # 2.576 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 2.576 * * [simplify]: iters left: 5 (6 enodes) 2.579 * * [simplify]: iters left: 4 (25 enodes) 2.587 * * [simplify]: iters left: 3 (43 enodes) 2.601 * * [simplify]: iters left: 2 (69 enodes) 2.616 * * [simplify]: iters left: 1 (117 enodes) 2.672 * * [simplify]: Extracting #0: cost 1 inf + 0 2.673 * * [simplify]: Extracting #1: cost 23 inf + 0 2.673 * * [simplify]: Extracting #2: cost 47 inf + 43 2.673 * * [simplify]: Extracting #3: cost 56 inf + 270 2.675 * * [simplify]: Extracting #4: cost 9 inf + 4884 2.678 * * [simplify]: Extracting #5: cost 0 inf + 6053 2.681 * * [simplify]: Extracting #6: cost 0 inf + 6011 2.684 * [simplify]: Simplified to (exp (- z)) 2.684 * [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.684 * * * * [progress]: [ 3 / 100 ] simplifiying candidate # 2.685 * * * * [progress]: [ 4 / 100 ] simplifiying candidate # 2.685 * * * * [progress]: [ 5 / 100 ] simplifiying candidate # 2.685 * * * * [progress]: [ 6 / 100 ] simplifiying candidate # 2.685 * * * * [progress]: [ 7 / 100 ] simplifiying candidate # 2.685 * * * * [progress]: [ 8 / 100 ] simplifiying candidate # 2.685 * * * * [progress]: [ 9 / 100 ] simplifiying candidate # 2.686 * * * * [progress]: [ 10 / 100 ] simplifiying candidate # 2.686 * * * * [progress]: [ 11 / 100 ] simplifiying candidate # 2.686 * * * * [progress]: [ 12 / 100 ] simplifiying candidate # 2.686 * * * * [progress]: [ 13 / 100 ] simplifiying candidate # 2.687 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 2.687 * * [simplify]: iters left: 5 (6 enodes) 2.692 * * [simplify]: iters left: 4 (23 enodes) 2.698 * * [simplify]: iters left: 3 (28 enodes) 2.706 * * [simplify]: Extracting #0: cost 1 inf + 0 2.706 * * [simplify]: Extracting #1: cost 4 inf + 0 2.706 * * [simplify]: Extracting #2: cost 5 inf + 1 2.706 * * [simplify]: Extracting #3: cost 8 inf + 1 2.706 * * [simplify]: Extracting #4: cost 6 inf + 86 2.706 * * [simplify]: Extracting #5: cost 1 inf + 454 2.707 * * [simplify]: Extracting #6: cost 0 inf + 576 2.707 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 2.707 * [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.708 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 2.708 * * [simplify]: iters left: 5 (6 enodes) 2.713 * * [simplify]: iters left: 4 (25 enodes) 2.717 * * [simplify]: iters left: 3 (34 enodes) 2.721 * * [simplify]: Extracting #0: cost 1 inf + 0 2.721 * * [simplify]: Extracting #1: cost 5 inf + 0 2.721 * * [simplify]: Extracting #2: cost 5 inf + 2 2.721 * * [simplify]: Extracting #3: cost 8 inf + 2 2.721 * * [simplify]: Extracting #4: cost 7 inf + 44 2.721 * * [simplify]: Extracting #5: cost 2 inf + 373 2.721 * * [simplify]: Extracting #6: cost 0 inf + 577 2.721 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 2.721 * [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.722 * * * * [progress]: [ 14 / 100 ] simplifiying candidate # 2.722 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 2.722 * * [simplify]: iters left: 5 (5 enodes) 2.723 * * [simplify]: iters left: 4 (20 enodes) 2.726 * * [simplify]: iters left: 3 (25 enodes) 2.730 * * [simplify]: Extracting #0: cost 1 inf + 0 2.730 * * [simplify]: Extracting #1: cost 4 inf + 0 2.730 * * [simplify]: Extracting #2: cost 5 inf + 1 2.730 * * [simplify]: Extracting #3: cost 8 inf + 1 2.730 * * [simplify]: Extracting #4: cost 1 inf + 535 2.730 * * [simplify]: Extracting #5: cost 0 inf + 576 2.730 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 2.730 * [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.731 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 2.731 * * [simplify]: iters left: 5 (5 enodes) 2.733 * * [simplify]: iters left: 4 (22 enodes) 2.736 * * [simplify]: iters left: 3 (29 enodes) 2.741 * * [simplify]: Extracting #0: cost 1 inf + 0 2.741 * * [simplify]: Extracting #1: cost 5 inf + 0 2.741 * * [simplify]: Extracting #2: cost 5 inf + 2 2.741 * * [simplify]: Extracting #3: cost 8 inf + 2 2.741 * * [simplify]: Extracting #4: cost 7 inf + 44 2.741 * * [simplify]: Extracting #5: cost 1 inf + 455 2.742 * * [simplify]: Extracting #6: cost 0 inf + 577 2.742 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 2.742 * [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.743 * * * * [progress]: [ 15 / 100 ] simplifiying candidate # 2.743 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 2.743 * * [simplify]: iters left: 5 (5 enodes) 2.746 * * [simplify]: iters left: 4 (20 enodes) 2.752 * * [simplify]: iters left: 3 (25 enodes) 2.762 * * [simplify]: Extracting #0: cost 1 inf + 0 2.762 * * [simplify]: Extracting #1: cost 4 inf + 0 2.762 * * [simplify]: Extracting #2: cost 5 inf + 1 2.762 * * [simplify]: Extracting #3: cost 8 inf + 1 2.762 * * [simplify]: Extracting #4: cost 1 inf + 535 2.763 * * [simplify]: Extracting #5: cost 0 inf + 576 2.763 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 2.763 * [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.764 * * * * [progress]: [ 16 / 100 ] simplifiying candidate # 2.764 * [simplify]: Simplifying (- (- 1 z) 1) 2.764 * * [simplify]: iters left: 4 (4 enodes) 2.767 * * [simplify]: iters left: 3 (21 enodes) 2.774 * * [simplify]: iters left: 2 (39 enodes) 2.787 * * [simplify]: iters left: 1 (51 enodes) 2.798 * * [simplify]: Extracting #0: cost 1 inf + 0 2.798 * * [simplify]: Extracting #1: cost 10 inf + 0 2.798 * * [simplify]: Extracting #2: cost 6 inf + 129 2.799 * * [simplify]: Extracting #3: cost 0 inf + 420 2.799 * [simplify]: Simplified to (- z) 2.799 * [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.800 * * * * [progress]: [ 17 / 100 ] simplifiying candidate # 2.800 * [simplify]: Simplifying (- (- 1 z) 1) 2.800 * * [simplify]: iters left: 4 (4 enodes) 2.803 * * [simplify]: iters left: 3 (21 enodes) 2.810 * * [simplify]: iters left: 2 (39 enodes) 2.823 * * [simplify]: iters left: 1 (51 enodes) 2.835 * * [simplify]: Extracting #0: cost 1 inf + 0 2.835 * * [simplify]: Extracting #1: cost 10 inf + 0 2.836 * * [simplify]: Extracting #2: cost 6 inf + 129 2.836 * * [simplify]: Extracting #3: cost 0 inf + 420 2.836 * [simplify]: Simplified to (- z) 2.836 * [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.837 * * * * [progress]: [ 18 / 100 ] simplifiying candidate # 2.837 * * * * [progress]: [ 19 / 100 ] simplifiying candidate # 2.837 * * * * [progress]: [ 20 / 100 ] simplifiying candidate # 2.838 * * * * [progress]: [ 21 / 100 ] simplifiying candidate # 2.838 * * * * [progress]: [ 22 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 2.838 * * * * [progress]: [ 23 / 100 ] simplifiying candidate # 2.838 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 2.838 * * [simplify]: iters left: 5 (6 enodes) 2.841 * * [simplify]: iters left: 4 (23 enodes) 2.848 * * [simplify]: iters left: 3 (34 enodes) 2.857 * * [simplify]: iters left: 2 (39 enodes) 2.868 * * [simplify]: Extracting #0: cost 1 inf + 0 2.868 * * [simplify]: Extracting #1: cost 8 inf + 0 2.868 * * [simplify]: Extracting #2: cost 12 inf + 2 2.868 * * [simplify]: Extracting #3: cost 5 inf + 492 2.868 * * [simplify]: Extracting #4: cost 1 inf + 869 2.869 * * [simplify]: Extracting #5: cost 0 inf + 981 2.869 * [simplify]: Simplified to (exp (- z)) 2.869 * [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)))))) 2.870 * * * * [progress]: [ 24 / 100 ] simplifiying candidate # 2.870 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 2.870 * * [simplify]: iters left: 5 (6 enodes) 2.873 * * [simplify]: iters left: 4 (25 enodes) 2.882 * * [simplify]: iters left: 3 (43 enodes) 2.895 * * [simplify]: iters left: 2 (69 enodes) 2.919 * * [simplify]: iters left: 1 (117 enodes) 2.995 * * [simplify]: Extracting #0: cost 1 inf + 0 2.995 * * [simplify]: Extracting #1: cost 23 inf + 0 2.996 * * [simplify]: Extracting #2: cost 47 inf + 43 2.996 * * [simplify]: Extracting #3: cost 56 inf + 270 2.998 * * [simplify]: Extracting #4: cost 9 inf + 4884 3.001 * * [simplify]: Extracting #5: cost 0 inf + 6053 3.004 * * [simplify]: Extracting #6: cost 0 inf + 6011 3.006 * [simplify]: Simplified to (exp (- z)) 3.006 * [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.007 * * * * [progress]: [ 25 / 100 ] simplifiying candidate # 3.007 * * * * [progress]: [ 26 / 100 ] simplifiying candidate # 3.008 * * * * [progress]: [ 27 / 100 ] simplifiying candidate # 3.008 * * * * [progress]: [ 28 / 100 ] simplifiying candidate # 3.008 * * * * [progress]: [ 29 / 100 ] simplifiying candidate # 3.008 * * * * [progress]: [ 30 / 100 ] simplifiying candidate # 3.008 * * * * [progress]: [ 31 / 100 ] simplifiying candidate # 3.008 * * * * [progress]: [ 32 / 100 ] simplifiying candidate # 3.008 * * * * [progress]: [ 33 / 100 ] simplifiying candidate # 3.008 * * * * [progress]: [ 34 / 100 ] simplifiying candidate # 3.008 * * * * [progress]: [ 35 / 100 ] simplifiying candidate # 3.009 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 3.009 * * [simplify]: iters left: 5 (6 enodes) 3.011 * * [simplify]: iters left: 4 (23 enodes) 3.015 * * [simplify]: iters left: 3 (28 enodes) 3.019 * * [simplify]: Extracting #0: cost 1 inf + 0 3.019 * * [simplify]: Extracting #1: cost 4 inf + 0 3.019 * * [simplify]: Extracting #2: cost 5 inf + 1 3.019 * * [simplify]: Extracting #3: cost 8 inf + 1 3.019 * * [simplify]: Extracting #4: cost 6 inf + 86 3.019 * * [simplify]: Extracting #5: cost 1 inf + 454 3.019 * * [simplify]: Extracting #6: cost 0 inf + 576 3.019 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 3.019 * [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.020 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 3.020 * * [simplify]: iters left: 5 (6 enodes) 3.023 * * [simplify]: iters left: 4 (25 enodes) 3.030 * * [simplify]: iters left: 3 (34 enodes) 3.034 * * [simplify]: Extracting #0: cost 1 inf + 0 3.035 * * [simplify]: Extracting #1: cost 5 inf + 0 3.035 * * [simplify]: Extracting #2: cost 5 inf + 2 3.035 * * [simplify]: Extracting #3: cost 8 inf + 2 3.035 * * [simplify]: Extracting #4: cost 7 inf + 44 3.035 * * [simplify]: Extracting #5: cost 2 inf + 373 3.035 * * [simplify]: Extracting #6: cost 0 inf + 577 3.035 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 3.035 * [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.036 * * * * [progress]: [ 36 / 100 ] simplifiying candidate # 3.036 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 3.036 * * [simplify]: iters left: 5 (5 enodes) 3.037 * * [simplify]: iters left: 4 (20 enodes) 3.040 * * [simplify]: iters left: 3 (25 enodes) 3.047 * * [simplify]: Extracting #0: cost 1 inf + 0 3.047 * * [simplify]: Extracting #1: cost 4 inf + 0 3.047 * * [simplify]: Extracting #2: cost 5 inf + 1 3.047 * * [simplify]: Extracting #3: cost 8 inf + 1 3.047 * * [simplify]: Extracting #4: cost 1 inf + 535 3.047 * * [simplify]: Extracting #5: cost 0 inf + 576 3.048 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 3.048 * [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.049 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 3.049 * * [simplify]: iters left: 5 (5 enodes) 3.052 * * [simplify]: iters left: 4 (22 enodes) 3.059 * * [simplify]: iters left: 3 (29 enodes) 3.067 * * [simplify]: Extracting #0: cost 1 inf + 0 3.067 * * [simplify]: Extracting #1: cost 5 inf + 0 3.067 * * [simplify]: Extracting #2: cost 5 inf + 2 3.067 * * [simplify]: Extracting #3: cost 8 inf + 2 3.067 * * [simplify]: Extracting #4: cost 7 inf + 44 3.067 * * [simplify]: Extracting #5: cost 1 inf + 455 3.067 * * [simplify]: Extracting #6: cost 0 inf + 577 3.068 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 3.068 * [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.068 * * * * [progress]: [ 37 / 100 ] simplifiying candidate # 3.069 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 3.069 * * [simplify]: iters left: 5 (5 enodes) 3.072 * * [simplify]: iters left: 4 (20 enodes) 3.078 * * [simplify]: iters left: 3 (25 enodes) 3.084 * * [simplify]: Extracting #0: cost 1 inf + 0 3.085 * * [simplify]: Extracting #1: cost 4 inf + 0 3.085 * * [simplify]: Extracting #2: cost 5 inf + 1 3.085 * * [simplify]: Extracting #3: cost 8 inf + 1 3.085 * * [simplify]: Extracting #4: cost 1 inf + 535 3.085 * * [simplify]: Extracting #5: cost 0 inf + 576 3.085 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 3.085 * [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.085 * * * * [progress]: [ 38 / 100 ] simplifiying candidate # 3.086 * [simplify]: Simplifying (- (- 1 z) 1) 3.086 * * [simplify]: iters left: 4 (4 enodes) 3.087 * * [simplify]: iters left: 3 (21 enodes) 3.091 * * [simplify]: iters left: 2 (39 enodes) 3.097 * * [simplify]: iters left: 1 (51 enodes) 3.103 * * [simplify]: Extracting #0: cost 1 inf + 0 3.103 * * [simplify]: Extracting #1: cost 10 inf + 0 3.103 * * [simplify]: Extracting #2: cost 6 inf + 129 3.104 * * [simplify]: Extracting #3: cost 0 inf + 420 3.104 * [simplify]: Simplified to (- z) 3.104 * [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.104 * * * * [progress]: [ 39 / 100 ] simplifiying candidate # 3.104 * [simplify]: Simplifying (- (- 1 z) 1) 3.104 * * [simplify]: iters left: 4 (4 enodes) 3.106 * * [simplify]: iters left: 3 (21 enodes) 3.109 * * [simplify]: iters left: 2 (39 enodes) 3.119 * * [simplify]: iters left: 1 (51 enodes) 3.131 * * [simplify]: Extracting #0: cost 1 inf + 0 3.131 * * [simplify]: Extracting #1: cost 10 inf + 0 3.131 * * [simplify]: Extracting #2: cost 6 inf + 129 3.132 * * [simplify]: Extracting #3: cost 0 inf + 420 3.132 * [simplify]: Simplified to (- z) 3.132 * [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.133 * * * * [progress]: [ 40 / 100 ] simplifiying candidate # 3.133 * * * * [progress]: [ 41 / 100 ] simplifiying candidate # 3.133 * * * * [progress]: [ 42 / 100 ] simplifiying candidate # 3.133 * * * * [progress]: [ 43 / 100 ] simplifiying candidate # 3.133 * * * * [progress]: [ 44 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 3.134 * * * * [progress]: [ 45 / 100 ] simplifiying candidate # 3.134 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 3.134 * * [simplify]: iters left: 5 (6 enodes) 3.137 * * [simplify]: iters left: 4 (23 enodes) 3.147 * * [simplify]: iters left: 3 (34 enodes) 3.156 * * [simplify]: iters left: 2 (39 enodes) 3.166 * * [simplify]: Extracting #0: cost 1 inf + 0 3.166 * * [simplify]: Extracting #1: cost 8 inf + 0 3.166 * * [simplify]: Extracting #2: cost 12 inf + 2 3.167 * * [simplify]: Extracting #3: cost 5 inf + 492 3.167 * * [simplify]: Extracting #4: cost 1 inf + 869 3.167 * * [simplify]: Extracting #5: cost 0 inf + 981 3.168 * [simplify]: Simplified to (exp (- z)) 3.168 * [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.168 * * * * [progress]: [ 46 / 100 ] simplifiying candidate # 3.169 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 3.169 * * [simplify]: iters left: 5 (6 enodes) 3.172 * * [simplify]: iters left: 4 (25 enodes) 3.181 * * [simplify]: iters left: 3 (43 enodes) 3.194 * * [simplify]: iters left: 2 (69 enodes) 3.216 * * [simplify]: iters left: 1 (117 enodes) 3.276 * * [simplify]: Extracting #0: cost 1 inf + 0 3.276 * * [simplify]: Extracting #1: cost 23 inf + 0 3.276 * * [simplify]: Extracting #2: cost 47 inf + 43 3.276 * * [simplify]: Extracting #3: cost 56 inf + 270 3.277 * * [simplify]: Extracting #4: cost 9 inf + 4884 3.279 * * [simplify]: Extracting #5: cost 0 inf + 6053 3.280 * * [simplify]: Extracting #6: cost 0 inf + 6011 3.282 * [simplify]: Simplified to (exp (- z)) 3.282 * [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.282 * * * * [progress]: [ 47 / 100 ] simplifiying candidate # 3.282 * * * * [progress]: [ 48 / 100 ] simplifiying candidate # 3.282 * * * * [progress]: [ 49 / 100 ] simplifiying candidate # 3.282 * * * * [progress]: [ 50 / 100 ] simplifiying candidate # 3.283 * * * * [progress]: [ 51 / 100 ] simplifiying candidate # 3.283 * * * * [progress]: [ 52 / 100 ] simplifiying candidate # 3.283 * * * * [progress]: [ 53 / 100 ] simplifiying candidate # 3.283 * * * * [progress]: [ 54 / 100 ] simplifiying candidate # 3.283 * * * * [progress]: [ 55 / 100 ] simplifiying candidate # 3.283 * * * * [progress]: [ 56 / 100 ] simplifiying candidate # 3.283 * * * * [progress]: [ 57 / 100 ] simplifiying candidate # 3.283 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 3.283 * * [simplify]: iters left: 5 (6 enodes) 3.287 * * [simplify]: iters left: 4 (23 enodes) 3.294 * * [simplify]: iters left: 3 (28 enodes) 3.301 * * [simplify]: Extracting #0: cost 1 inf + 0 3.301 * * [simplify]: Extracting #1: cost 4 inf + 0 3.301 * * [simplify]: Extracting #2: cost 5 inf + 1 3.301 * * [simplify]: Extracting #3: cost 8 inf + 1 3.301 * * [simplify]: Extracting #4: cost 6 inf + 86 3.301 * * [simplify]: Extracting #5: cost 1 inf + 454 3.301 * * [simplify]: Extracting #6: cost 0 inf + 576 3.302 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 3.302 * [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.302 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 3.302 * * [simplify]: iters left: 5 (6 enodes) 3.305 * * [simplify]: iters left: 4 (25 enodes) 3.309 * * [simplify]: iters left: 3 (34 enodes) 3.313 * * [simplify]: Extracting #0: cost 1 inf + 0 3.314 * * [simplify]: Extracting #1: cost 5 inf + 0 3.314 * * [simplify]: Extracting #2: cost 5 inf + 2 3.314 * * [simplify]: Extracting #3: cost 8 inf + 2 3.314 * * [simplify]: Extracting #4: cost 7 inf + 44 3.314 * * [simplify]: Extracting #5: cost 2 inf + 373 3.314 * * [simplify]: Extracting #6: cost 0 inf + 577 3.314 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 3.314 * [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.315 * * * * [progress]: [ 58 / 100 ] simplifiying candidate # 3.315 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 3.315 * * [simplify]: iters left: 5 (5 enodes) 3.316 * * [simplify]: iters left: 4 (20 enodes) 3.319 * * [simplify]: iters left: 3 (25 enodes) 3.323 * * [simplify]: Extracting #0: cost 1 inf + 0 3.323 * * [simplify]: Extracting #1: cost 4 inf + 0 3.323 * * [simplify]: Extracting #2: cost 5 inf + 1 3.323 * * [simplify]: Extracting #3: cost 8 inf + 1 3.323 * * [simplify]: Extracting #4: cost 1 inf + 535 3.323 * * [simplify]: Extracting #5: cost 0 inf + 576 3.323 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 3.323 * [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.324 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 3.324 * * [simplify]: iters left: 5 (5 enodes) 3.326 * * [simplify]: iters left: 4 (22 enodes) 3.329 * * [simplify]: iters left: 3 (29 enodes) 3.338 * * [simplify]: Extracting #0: cost 1 inf + 0 3.338 * * [simplify]: Extracting #1: cost 5 inf + 0 3.338 * * [simplify]: Extracting #2: cost 5 inf + 2 3.338 * * [simplify]: Extracting #3: cost 8 inf + 2 3.338 * * [simplify]: Extracting #4: cost 7 inf + 44 3.338 * * [simplify]: Extracting #5: cost 1 inf + 455 3.338 * * [simplify]: Extracting #6: cost 0 inf + 577 3.339 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 3.339 * [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.339 * * * * [progress]: [ 59 / 100 ] simplifiying candidate # 3.340 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 3.340 * * [simplify]: iters left: 5 (5 enodes) 3.342 * * [simplify]: iters left: 4 (20 enodes) 3.348 * * [simplify]: iters left: 3 (25 enodes) 3.355 * * [simplify]: Extracting #0: cost 1 inf + 0 3.355 * * [simplify]: Extracting #1: cost 4 inf + 0 3.355 * * [simplify]: Extracting #2: cost 5 inf + 1 3.355 * * [simplify]: Extracting #3: cost 8 inf + 1 3.356 * * [simplify]: Extracting #4: cost 1 inf + 535 3.356 * * [simplify]: Extracting #5: cost 0 inf + 576 3.356 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 3.356 * [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.357 * * * * [progress]: [ 60 / 100 ] simplifiying candidate # 3.357 * [simplify]: Simplifying (- (- 1 z) 1) 3.357 * * [simplify]: iters left: 4 (4 enodes) 3.360 * * [simplify]: iters left: 3 (21 enodes) 3.367 * * [simplify]: iters left: 2 (39 enodes) 3.378 * * [simplify]: iters left: 1 (51 enodes) 3.384 * * [simplify]: Extracting #0: cost 1 inf + 0 3.384 * * [simplify]: Extracting #1: cost 10 inf + 0 3.384 * * [simplify]: Extracting #2: cost 6 inf + 129 3.384 * * [simplify]: Extracting #3: cost 0 inf + 420 3.385 * [simplify]: Simplified to (- z) 3.385 * [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.385 * * * * [progress]: [ 61 / 100 ] simplifiying candidate # 3.385 * [simplify]: Simplifying (- (- 1 z) 1) 3.385 * * [simplify]: iters left: 4 (4 enodes) 3.387 * * [simplify]: iters left: 3 (21 enodes) 3.391 * * [simplify]: iters left: 2 (39 enodes) 3.402 * * [simplify]: iters left: 1 (51 enodes) 3.414 * * [simplify]: Extracting #0: cost 1 inf + 0 3.414 * * [simplify]: Extracting #1: cost 10 inf + 0 3.414 * * [simplify]: Extracting #2: cost 6 inf + 129 3.414 * * [simplify]: Extracting #3: cost 0 inf + 420 3.415 * [simplify]: Simplified to (- z) 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 (+ (* 1 (- z)) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 3.415 * * * * [progress]: [ 62 / 100 ] simplifiying candidate # 3.416 * * * * [progress]: [ 63 / 100 ] simplifiying candidate # 3.416 * * * * [progress]: [ 64 / 100 ] simplifiying candidate # 3.416 * * * * [progress]: [ 65 / 100 ] simplifiying candidate # 3.416 * * * * [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.416 * * * * [progress]: [ 67 / 100 ] simplifiying candidate # 3.417 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 3.417 * * [simplify]: iters left: 5 (6 enodes) 3.420 * * [simplify]: iters left: 4 (23 enodes) 3.427 * * [simplify]: iters left: 3 (34 enodes) 3.432 * * [simplify]: iters left: 2 (39 enodes) 3.437 * * [simplify]: Extracting #0: cost 1 inf + 0 3.437 * * [simplify]: Extracting #1: cost 8 inf + 0 3.437 * * [simplify]: Extracting #2: cost 12 inf + 2 3.438 * * [simplify]: Extracting #3: cost 5 inf + 492 3.438 * * [simplify]: Extracting #4: cost 1 inf + 869 3.438 * * [simplify]: Extracting #5: cost 0 inf + 981 3.438 * [simplify]: Simplified to (exp (- z)) 3.438 * [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.439 * * * * [progress]: [ 68 / 100 ] simplifiying candidate # 3.439 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 3.439 * * [simplify]: iters left: 5 (6 enodes) 3.440 * * [simplify]: iters left: 4 (25 enodes) 3.444 * * [simplify]: iters left: 3 (43 enodes) 3.451 * * [simplify]: iters left: 2 (69 enodes) 3.462 * * [simplify]: iters left: 1 (117 enodes) 3.503 * * [simplify]: Extracting #0: cost 1 inf + 0 3.503 * * [simplify]: Extracting #1: cost 23 inf + 0 3.503 * * [simplify]: Extracting #2: cost 47 inf + 43 3.504 * * [simplify]: Extracting #3: cost 56 inf + 270 3.504 * * [simplify]: Extracting #4: cost 9 inf + 4884 3.506 * * [simplify]: Extracting #5: cost 0 inf + 6053 3.507 * * [simplify]: Extracting #6: cost 0 inf + 6011 3.509 * [simplify]: Simplified to (exp (- z)) 3.509 * [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.510 * * * * [progress]: [ 69 / 100 ] simplifiying candidate # 3.510 * * * * [progress]: [ 70 / 100 ] simplifiying candidate # 3.510 * * * * [progress]: [ 71 / 100 ] simplifiying candidate # 3.511 * * * * [progress]: [ 72 / 100 ] simplifiying candidate # 3.511 * * * * [progress]: [ 73 / 100 ] simplifiying candidate # 3.511 * * * * [progress]: [ 74 / 100 ] simplifiying candidate # 3.511 * * * * [progress]: [ 75 / 100 ] simplifiying candidate # 3.511 * * * * [progress]: [ 76 / 100 ] simplifiying candidate # 3.511 * * * * [progress]: [ 77 / 100 ] simplifiying candidate # 3.511 * * * * [progress]: [ 78 / 100 ] simplifiying candidate # 3.512 * * * * [progress]: [ 79 / 100 ] simplifiying candidate # 3.512 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 3.512 * * [simplify]: iters left: 5 (6 enodes) 3.517 * * [simplify]: iters left: 4 (23 enodes) 3.523 * * [simplify]: iters left: 3 (28 enodes) 3.531 * * [simplify]: Extracting #0: cost 1 inf + 0 3.531 * * [simplify]: Extracting #1: cost 4 inf + 0 3.531 * * [simplify]: Extracting #2: cost 5 inf + 1 3.531 * * [simplify]: Extracting #3: cost 8 inf + 1 3.531 * * [simplify]: Extracting #4: cost 6 inf + 86 3.531 * * [simplify]: Extracting #5: cost 1 inf + 454 3.532 * * [simplify]: Extracting #6: cost 0 inf + 576 3.532 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 3.532 * [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.533 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 3.533 * * [simplify]: iters left: 5 (6 enodes) 3.538 * * [simplify]: iters left: 4 (25 enodes) 3.546 * * [simplify]: iters left: 3 (34 enodes) 3.554 * * [simplify]: Extracting #0: cost 1 inf + 0 3.554 * * [simplify]: Extracting #1: cost 5 inf + 0 3.554 * * [simplify]: Extracting #2: cost 5 inf + 2 3.554 * * [simplify]: Extracting #3: cost 8 inf + 2 3.554 * * [simplify]: Extracting #4: cost 7 inf + 44 3.554 * * [simplify]: Extracting #5: cost 2 inf + 373 3.554 * * [simplify]: Extracting #6: cost 0 inf + 577 3.555 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 3.555 * [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.555 * * * * [progress]: [ 80 / 100 ] simplifiying candidate # 3.556 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 3.556 * * [simplify]: iters left: 5 (5 enodes) 3.559 * * [simplify]: iters left: 4 (20 enodes) 3.564 * * [simplify]: iters left: 3 (25 enodes) 3.574 * * [simplify]: Extracting #0: cost 1 inf + 0 3.574 * * [simplify]: Extracting #1: cost 4 inf + 0 3.574 * * [simplify]: Extracting #2: cost 5 inf + 1 3.574 * * [simplify]: Extracting #3: cost 8 inf + 1 3.574 * * [simplify]: Extracting #4: cost 1 inf + 535 3.574 * * [simplify]: Extracting #5: cost 0 inf + 576 3.574 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 3.574 * [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.576 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 3.576 * * [simplify]: iters left: 5 (5 enodes) 3.579 * * [simplify]: iters left: 4 (22 enodes) 3.585 * * [simplify]: iters left: 3 (29 enodes) 3.592 * * [simplify]: Extracting #0: cost 1 inf + 0 3.592 * * [simplify]: Extracting #1: cost 5 inf + 0 3.592 * * [simplify]: Extracting #2: cost 5 inf + 2 3.593 * * [simplify]: Extracting #3: cost 8 inf + 2 3.593 * * [simplify]: Extracting #4: cost 7 inf + 44 3.593 * * [simplify]: Extracting #5: cost 1 inf + 455 3.593 * * [simplify]: Extracting #6: cost 0 inf + 577 3.593 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 3.593 * [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.594 * * * * [progress]: [ 81 / 100 ] simplifiying candidate # 3.594 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 3.595 * * [simplify]: iters left: 5 (5 enodes) 3.597 * * [simplify]: iters left: 4 (20 enodes) 3.603 * * [simplify]: iters left: 3 (25 enodes) 3.609 * * [simplify]: Extracting #0: cost 1 inf + 0 3.609 * * [simplify]: Extracting #1: cost 4 inf + 0 3.609 * * [simplify]: Extracting #2: cost 5 inf + 1 3.609 * * [simplify]: Extracting #3: cost 8 inf + 1 3.609 * * [simplify]: Extracting #4: cost 1 inf + 535 3.610 * * [simplify]: Extracting #5: cost 0 inf + 576 3.610 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 3.610 * [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.611 * * * * [progress]: [ 82 / 100 ] simplifiying candidate # 3.611 * [simplify]: Simplifying (- (- 1 z) 1) 3.611 * * [simplify]: iters left: 4 (4 enodes) 3.614 * * [simplify]: iters left: 3 (21 enodes) 3.621 * * [simplify]: iters left: 2 (39 enodes) 3.633 * * [simplify]: iters left: 1 (51 enodes) 3.643 * * [simplify]: Extracting #0: cost 1 inf + 0 3.643 * * [simplify]: Extracting #1: cost 10 inf + 0 3.643 * * [simplify]: Extracting #2: cost 6 inf + 129 3.643 * * [simplify]: Extracting #3: cost 0 inf + 420 3.643 * [simplify]: Simplified to (- z) 3.643 * [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.644 * * * * [progress]: [ 83 / 100 ] simplifiying candidate # 3.644 * [simplify]: Simplifying (- (- 1 z) 1) 3.644 * * [simplify]: iters left: 4 (4 enodes) 3.646 * * [simplify]: iters left: 3 (21 enodes) 3.650 * * [simplify]: iters left: 2 (39 enodes) 3.656 * * [simplify]: iters left: 1 (51 enodes) 3.662 * * [simplify]: Extracting #0: cost 1 inf + 0 3.662 * * [simplify]: Extracting #1: cost 10 inf + 0 3.662 * * [simplify]: Extracting #2: cost 6 inf + 129 3.662 * * [simplify]: Extracting #3: cost 0 inf + 420 3.662 * [simplify]: Simplified to (- z) 3.662 * [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.663 * * * * [progress]: [ 84 / 100 ] simplifiying candidate # 3.663 * * * * [progress]: [ 85 / 100 ] simplifiying candidate # 3.663 * * * * [progress]: [ 86 / 100 ] simplifiying candidate # 3.663 * * * * [progress]: [ 87 / 100 ] simplifiying candidate # 3.663 * * * * [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.663 * * * * [progress]: [ 89 / 100 ] simplifiying candidate # 3.664 * [simplify]: Simplifying (* -1 z) 3.664 * * [simplify]: iters left: 2 (3 enodes) 3.665 * * [simplify]: iters left: 1 (11 enodes) 3.666 * * [simplify]: Extracting #0: cost 1 inf + 0 3.666 * * [simplify]: Extracting #1: cost 4 inf + 0 3.666 * * [simplify]: Extracting #2: cost 0 inf + 84 3.666 * [simplify]: Simplified to (- z) 3.666 * [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.667 * * * * [progress]: [ 90 / 100 ] simplifiying candidate # 3.667 * [simplify]: Simplifying (* -1 z) 3.667 * * [simplify]: iters left: 2 (3 enodes) 3.668 * * [simplify]: iters left: 1 (11 enodes) 3.669 * * [simplify]: Extracting #0: cost 1 inf + 0 3.669 * * [simplify]: Extracting #1: cost 4 inf + 0 3.669 * * [simplify]: Extracting #2: cost 0 inf + 84 3.669 * [simplify]: Simplified to (- z) 3.669 * [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.670 * * * * [progress]: [ 91 / 100 ] simplifiying candidate # 3.670 * [simplify]: Simplifying (* -1 z) 3.670 * * [simplify]: iters left: 2 (3 enodes) 3.671 * * [simplify]: iters left: 1 (11 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 0 inf + 84 3.673 * [simplify]: Simplified to (- z) 3.673 * [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.673 * * * * [progress]: [ 92 / 100 ] simplifiying candidate # 3.673 * [simplify]: Simplifying (* -1 z) 3.673 * * [simplify]: iters left: 2 (3 enodes) 3.674 * * [simplify]: iters left: 1 (11 enodes) 3.676 * * [simplify]: Extracting #0: cost 1 inf + 0 3.676 * * [simplify]: Extracting #1: cost 4 inf + 0 3.676 * * [simplify]: Extracting #2: cost 0 inf + 84 3.676 * [simplify]: Simplified to (- z) 3.676 * [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.676 * * * * [progress]: [ 93 / 100 ] simplifiying candidate # 3.676 * [simplify]: Simplifying (* -1 z) 3.676 * * [simplify]: iters left: 2 (3 enodes) 3.678 * * [simplify]: iters left: 1 (11 enodes) 3.679 * * [simplify]: Extracting #0: cost 1 inf + 0 3.679 * * [simplify]: Extracting #1: cost 4 inf + 0 3.679 * * [simplify]: Extracting #2: cost 0 inf + 84 3.679 * [simplify]: Simplified to (- z) 3.679 * [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.680 * * * * [progress]: [ 94 / 100 ] simplifiying candidate # 3.680 * [simplify]: Simplifying (* -1 z) 3.680 * * [simplify]: iters left: 2 (3 enodes) 3.681 * * [simplify]: iters left: 1 (11 enodes) 3.682 * * [simplify]: Extracting #0: cost 1 inf + 0 3.682 * * [simplify]: Extracting #1: cost 4 inf + 0 3.683 * * [simplify]: Extracting #2: cost 0 inf + 84 3.683 * [simplify]: Simplified to (- z) 3.683 * [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.683 * * * * [progress]: [ 95 / 100 ] simplifiying candidate # 3.683 * [simplify]: Simplifying (* -1 z) 3.683 * * [simplify]: iters left: 2 (3 enodes) 3.686 * * [simplify]: iters left: 1 (11 enodes) 3.688 * * [simplify]: Extracting #0: cost 1 inf + 0 3.688 * * [simplify]: Extracting #1: cost 4 inf + 0 3.688 * * [simplify]: Extracting #2: cost 0 inf + 84 3.688 * [simplify]: Simplified to (- z) 3.688 * [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.688 * * * * [progress]: [ 96 / 100 ] simplifiying candidate # 3.689 * [simplify]: Simplifying (* -1 z) 3.689 * * [simplify]: iters left: 2 (3 enodes) 3.690 * * [simplify]: iters left: 1 (11 enodes) 3.691 * * [simplify]: Extracting #0: cost 1 inf + 0 3.691 * * [simplify]: Extracting #1: cost 4 inf + 0 3.691 * * [simplify]: Extracting #2: cost 0 inf + 84 3.691 * [simplify]: Simplified to (- z) 3.691 * [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.692 * * * * [progress]: [ 97 / 100 ] simplifiying candidate # 3.692 * [simplify]: Simplifying (* -1 z) 3.692 * * [simplify]: iters left: 2 (3 enodes) 3.693 * * [simplify]: iters left: 1 (11 enodes) 3.695 * * [simplify]: Extracting #0: cost 1 inf + 0 3.695 * * [simplify]: Extracting #1: cost 4 inf + 0 3.695 * * [simplify]: Extracting #2: cost 0 inf + 84 3.695 * [simplify]: Simplified to (- z) 3.695 * [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.695 * * * * [progress]: [ 98 / 100 ] simplifiying candidate # 3.695 * [simplify]: Simplifying (* -1 z) 3.695 * * [simplify]: iters left: 2 (3 enodes) 3.696 * * [simplify]: iters left: 1 (11 enodes) 3.698 * * [simplify]: Extracting #0: cost 1 inf + 0 3.698 * * [simplify]: Extracting #1: cost 4 inf + 0 3.698 * * [simplify]: Extracting #2: cost 0 inf + 84 3.698 * [simplify]: Simplified to (- z) 3.698 * [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.698 * * * * [progress]: [ 99 / 100 ] simplifiying candidate # 3.699 * [simplify]: Simplifying (* -1 z) 3.699 * * [simplify]: iters left: 2 (3 enodes) 3.700 * * [simplify]: iters left: 1 (11 enodes) 3.701 * * [simplify]: Extracting #0: cost 1 inf + 0 3.701 * * [simplify]: Extracting #1: cost 4 inf + 0 3.701 * * [simplify]: Extracting #2: cost 0 inf + 84 3.701 * [simplify]: Simplified to (- z) 3.701 * [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.702 * * * * [progress]: [ 100 / 100 ] simplifiying candidate # 3.702 * [simplify]: Simplifying (* -1 z) 3.702 * * [simplify]: iters left: 2 (3 enodes) 3.703 * * [simplify]: iters left: 1 (11 enodes) 3.705 * * [simplify]: Extracting #0: cost 1 inf + 0 3.705 * * [simplify]: Extracting #1: cost 4 inf + 0 3.705 * * [simplify]: Extracting #2: cost 0 inf + 84 3.705 * [simplify]: Simplified to (- z) 3.705 * [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.705 * * * [progress]: adding candidates to table 7.835 * * [progress]: iteration 2 / 4 7.835 * * * [progress]: picking best candidate 7.860 * * * * [pick]: Picked #real (real->posit16 (- (- 1 z) 1))) 8))))))> 7.860 * * * [progress]: localizing error 8.060 * * * [progress]: generating rewritten candidates 8.060 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 8.061 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2 1 1 1) 8.087 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 2 1) 8.127 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 8.154 * * * [progress]: generating series expansions 8.154 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 8.155 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- (- 1 z) 1))) into (- z) 8.155 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 8.155 * [taylor]: Taking taylor expansion of (- z) in z 8.155 * [taylor]: Taking taylor expansion of z in z 8.155 * [backup-simplify]: Simplify 0 into 0 8.155 * [backup-simplify]: Simplify 1 into 1 8.155 * [taylor]: Taking taylor expansion of (- z) in z 8.155 * [taylor]: Taking taylor expansion of z in z 8.155 * [backup-simplify]: Simplify 0 into 0 8.155 * [backup-simplify]: Simplify 1 into 1 8.156 * [backup-simplify]: Simplify (- 0) into 0 8.156 * [backup-simplify]: Simplify 0 into 0 8.156 * [backup-simplify]: Simplify (- 1) into -1 8.156 * [backup-simplify]: Simplify -1 into -1 8.156 * [backup-simplify]: Simplify (- 0) into 0 8.156 * [backup-simplify]: Simplify 0 into 0 8.157 * [backup-simplify]: Simplify (- 0) into 0 8.157 * [backup-simplify]: Simplify 0 into 0 8.157 * [backup-simplify]: Simplify (- 0) into 0 8.157 * [backup-simplify]: Simplify 0 into 0 8.158 * [backup-simplify]: Simplify (- 0) into 0 8.158 * [backup-simplify]: Simplify 0 into 0 8.158 * [backup-simplify]: Simplify (- 0) into 0 8.158 * [backup-simplify]: Simplify 0 into 0 8.158 * [backup-simplify]: Simplify (- 0) into 0 8.158 * [backup-simplify]: Simplify 0 into 0 8.159 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 8.159 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- (- 1 (/ 1 z)) 1))) into (- (/ 1 z)) 8.159 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 8.159 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.159 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.159 * [taylor]: Taking taylor expansion of z in z 8.159 * [backup-simplify]: Simplify 0 into 0 8.159 * [backup-simplify]: Simplify 1 into 1 8.159 * [backup-simplify]: Simplify (/ 1 1) into 1 8.159 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.159 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.159 * [taylor]: Taking taylor expansion of z in z 8.159 * [backup-simplify]: Simplify 0 into 0 8.159 * [backup-simplify]: Simplify 1 into 1 8.160 * [backup-simplify]: Simplify (/ 1 1) into 1 8.160 * [backup-simplify]: Simplify (- 1) into -1 8.160 * [backup-simplify]: Simplify -1 into -1 8.161 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.161 * [backup-simplify]: Simplify (- 0) into 0 8.161 * [backup-simplify]: Simplify 0 into 0 8.162 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.163 * [backup-simplify]: Simplify (- 0) into 0 8.163 * [backup-simplify]: Simplify 0 into 0 8.163 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.164 * [backup-simplify]: Simplify (- 0) into 0 8.164 * [backup-simplify]: Simplify 0 into 0 8.165 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.165 * [backup-simplify]: Simplify (- 0) into 0 8.165 * [backup-simplify]: Simplify 0 into 0 8.166 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.166 * [backup-simplify]: Simplify (- 0) into 0 8.166 * [backup-simplify]: Simplify 0 into 0 8.167 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.168 * [backup-simplify]: Simplify (- 0) into 0 8.168 * [backup-simplify]: Simplify 0 into 0 8.168 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 8.168 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- (- 1 (/ 1 (- z))) 1))) into (/ 1 z) 8.168 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 8.168 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.168 * [taylor]: Taking taylor expansion of z in z 8.168 * [backup-simplify]: Simplify 0 into 0 8.168 * [backup-simplify]: Simplify 1 into 1 8.169 * [backup-simplify]: Simplify (/ 1 1) into 1 8.169 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.169 * [taylor]: Taking taylor expansion of z in z 8.169 * [backup-simplify]: Simplify 0 into 0 8.169 * [backup-simplify]: Simplify 1 into 1 8.169 * [backup-simplify]: Simplify (/ 1 1) into 1 8.169 * [backup-simplify]: Simplify 1 into 1 8.170 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.170 * [backup-simplify]: Simplify 0 into 0 8.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.171 * [backup-simplify]: Simplify 0 into 0 8.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.172 * [backup-simplify]: Simplify 0 into 0 8.173 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.173 * [backup-simplify]: Simplify 0 into 0 8.174 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.174 * [backup-simplify]: Simplify 0 into 0 8.175 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.175 * [backup-simplify]: Simplify 0 into 0 8.175 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 8.175 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2 1 1 1) 8.176 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 8.176 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 8.176 * [taylor]: Taking taylor expansion of (- z) in z 8.176 * [taylor]: Taking taylor expansion of z in z 8.176 * [backup-simplify]: Simplify 0 into 0 8.176 * [backup-simplify]: Simplify 1 into 1 8.176 * [taylor]: Taking taylor expansion of (- z) in z 8.176 * [taylor]: Taking taylor expansion of z in z 8.176 * [backup-simplify]: Simplify 0 into 0 8.176 * [backup-simplify]: Simplify 1 into 1 8.176 * [backup-simplify]: Simplify (- 0) into 0 8.176 * [backup-simplify]: Simplify 0 into 0 8.177 * [backup-simplify]: Simplify (- 1) into -1 8.177 * [backup-simplify]: Simplify -1 into -1 8.177 * [backup-simplify]: Simplify (- 0) into 0 8.177 * [backup-simplify]: Simplify 0 into 0 8.177 * [backup-simplify]: Simplify (- 0) into 0 8.177 * [backup-simplify]: Simplify 0 into 0 8.178 * [backup-simplify]: Simplify (- 0) into 0 8.178 * [backup-simplify]: Simplify 0 into 0 8.178 * [backup-simplify]: Simplify (- 0) into 0 8.178 * [backup-simplify]: Simplify 0 into 0 8.179 * [backup-simplify]: Simplify (- 0) into 0 8.179 * [backup-simplify]: Simplify 0 into 0 8.179 * [backup-simplify]: Simplify (- 0) into 0 8.179 * [backup-simplify]: Simplify 0 into 0 8.179 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 8.179 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 8.179 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 8.179 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.179 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.179 * [taylor]: Taking taylor expansion of z in z 8.179 * [backup-simplify]: Simplify 0 into 0 8.179 * [backup-simplify]: Simplify 1 into 1 8.180 * [backup-simplify]: Simplify (/ 1 1) into 1 8.180 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.180 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.180 * [taylor]: Taking taylor expansion of z in z 8.180 * [backup-simplify]: Simplify 0 into 0 8.180 * [backup-simplify]: Simplify 1 into 1 8.180 * [backup-simplify]: Simplify (/ 1 1) into 1 8.181 * [backup-simplify]: Simplify (- 1) into -1 8.181 * [backup-simplify]: Simplify -1 into -1 8.181 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.182 * [backup-simplify]: Simplify (- 0) into 0 8.182 * [backup-simplify]: Simplify 0 into 0 8.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.183 * [backup-simplify]: Simplify (- 0) into 0 8.183 * [backup-simplify]: Simplify 0 into 0 8.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.184 * [backup-simplify]: Simplify (- 0) into 0 8.184 * [backup-simplify]: Simplify 0 into 0 8.185 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.186 * [backup-simplify]: Simplify (- 0) into 0 8.186 * [backup-simplify]: Simplify 0 into 0 8.187 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.187 * [backup-simplify]: Simplify (- 0) into 0 8.187 * [backup-simplify]: Simplify 0 into 0 8.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.188 * [backup-simplify]: Simplify (- 0) into 0 8.188 * [backup-simplify]: Simplify 0 into 0 8.188 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 8.189 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 8.189 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 8.189 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.189 * [taylor]: Taking taylor expansion of z in z 8.189 * [backup-simplify]: Simplify 0 into 0 8.189 * [backup-simplify]: Simplify 1 into 1 8.189 * [backup-simplify]: Simplify (/ 1 1) into 1 8.189 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.189 * [taylor]: Taking taylor expansion of z in z 8.189 * [backup-simplify]: Simplify 0 into 0 8.189 * [backup-simplify]: Simplify 1 into 1 8.190 * [backup-simplify]: Simplify (/ 1 1) into 1 8.190 * [backup-simplify]: Simplify 1 into 1 8.190 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.190 * [backup-simplify]: Simplify 0 into 0 8.191 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.191 * [backup-simplify]: Simplify 0 into 0 8.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.192 * [backup-simplify]: Simplify 0 into 0 8.193 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.193 * [backup-simplify]: Simplify 0 into 0 8.194 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.194 * [backup-simplify]: Simplify 0 into 0 8.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.195 * [backup-simplify]: Simplify 0 into 0 8.195 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 8.196 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 2 1) 8.196 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 8.196 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 8.196 * [taylor]: Taking taylor expansion of (- z) in z 8.196 * [taylor]: Taking taylor expansion of z in z 8.196 * [backup-simplify]: Simplify 0 into 0 8.196 * [backup-simplify]: Simplify 1 into 1 8.196 * [taylor]: Taking taylor expansion of (- z) in z 8.196 * [taylor]: Taking taylor expansion of z in z 8.196 * [backup-simplify]: Simplify 0 into 0 8.196 * [backup-simplify]: Simplify 1 into 1 8.196 * [backup-simplify]: Simplify (- 0) into 0 8.196 * [backup-simplify]: Simplify 0 into 0 8.197 * [backup-simplify]: Simplify (- 1) into -1 8.197 * [backup-simplify]: Simplify -1 into -1 8.197 * [backup-simplify]: Simplify (- 0) into 0 8.197 * [backup-simplify]: Simplify 0 into 0 8.198 * [backup-simplify]: Simplify (- 0) into 0 8.198 * [backup-simplify]: Simplify 0 into 0 8.198 * [backup-simplify]: Simplify (- 0) into 0 8.198 * [backup-simplify]: Simplify 0 into 0 8.198 * [backup-simplify]: Simplify (- 0) into 0 8.198 * [backup-simplify]: Simplify 0 into 0 8.199 * [backup-simplify]: Simplify (- 0) into 0 8.199 * [backup-simplify]: Simplify 0 into 0 8.199 * [backup-simplify]: Simplify (- 0) into 0 8.199 * [backup-simplify]: Simplify 0 into 0 8.199 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 8.199 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 8.200 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 8.200 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.200 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.200 * [taylor]: Taking taylor expansion of z in z 8.200 * [backup-simplify]: Simplify 0 into 0 8.200 * [backup-simplify]: Simplify 1 into 1 8.200 * [backup-simplify]: Simplify (/ 1 1) into 1 8.200 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.200 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.200 * [taylor]: Taking taylor expansion of z in z 8.200 * [backup-simplify]: Simplify 0 into 0 8.200 * [backup-simplify]: Simplify 1 into 1 8.201 * [backup-simplify]: Simplify (/ 1 1) into 1 8.201 * [backup-simplify]: Simplify (- 1) into -1 8.201 * [backup-simplify]: Simplify -1 into -1 8.202 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.202 * [backup-simplify]: Simplify (- 0) into 0 8.202 * [backup-simplify]: Simplify 0 into 0 8.203 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.204 * [backup-simplify]: Simplify (- 0) into 0 8.204 * [backup-simplify]: Simplify 0 into 0 8.205 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.205 * [backup-simplify]: Simplify (- 0) into 0 8.205 * [backup-simplify]: Simplify 0 into 0 8.206 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.206 * [backup-simplify]: Simplify (- 0) into 0 8.206 * [backup-simplify]: Simplify 0 into 0 8.207 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.208 * [backup-simplify]: Simplify (- 0) into 0 8.208 * [backup-simplify]: Simplify 0 into 0 8.209 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.209 * [backup-simplify]: Simplify (- 0) into 0 8.209 * [backup-simplify]: Simplify 0 into 0 8.209 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 8.209 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 8.209 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 8.209 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.210 * [taylor]: Taking taylor expansion of z in z 8.210 * [backup-simplify]: Simplify 0 into 0 8.210 * [backup-simplify]: Simplify 1 into 1 8.210 * [backup-simplify]: Simplify (/ 1 1) into 1 8.210 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.210 * [taylor]: Taking taylor expansion of z in z 8.210 * [backup-simplify]: Simplify 0 into 0 8.210 * [backup-simplify]: Simplify 1 into 1 8.210 * [backup-simplify]: Simplify (/ 1 1) into 1 8.211 * [backup-simplify]: Simplify 1 into 1 8.211 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.211 * [backup-simplify]: Simplify 0 into 0 8.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.212 * [backup-simplify]: Simplify 0 into 0 8.213 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.213 * [backup-simplify]: Simplify 0 into 0 8.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.214 * [backup-simplify]: Simplify 0 into 0 8.217 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.217 * [backup-simplify]: Simplify 0 into 0 8.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.219 * [backup-simplify]: Simplify 0 into 0 8.219 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 8.219 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2 1) 8.219 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 8.219 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 8.219 * [taylor]: Taking taylor expansion of (- z) in z 8.219 * [taylor]: Taking taylor expansion of z in z 8.219 * [backup-simplify]: Simplify 0 into 0 8.219 * [backup-simplify]: Simplify 1 into 1 8.219 * [taylor]: Taking taylor expansion of (- z) in z 8.219 * [taylor]: Taking taylor expansion of z in z 8.219 * [backup-simplify]: Simplify 0 into 0 8.219 * [backup-simplify]: Simplify 1 into 1 8.220 * [backup-simplify]: Simplify (- 0) into 0 8.220 * [backup-simplify]: Simplify 0 into 0 8.220 * [backup-simplify]: Simplify (- 1) into -1 8.220 * [backup-simplify]: Simplify -1 into -1 8.220 * [backup-simplify]: Simplify (- 0) into 0 8.220 * [backup-simplify]: Simplify 0 into 0 8.221 * [backup-simplify]: Simplify (- 0) into 0 8.221 * [backup-simplify]: Simplify 0 into 0 8.221 * [backup-simplify]: Simplify (- 0) into 0 8.221 * [backup-simplify]: Simplify 0 into 0 8.222 * [backup-simplify]: Simplify (- 0) into 0 8.222 * [backup-simplify]: Simplify 0 into 0 8.222 * [backup-simplify]: Simplify (- 0) into 0 8.222 * [backup-simplify]: Simplify 0 into 0 8.222 * [backup-simplify]: Simplify (- 0) into 0 8.222 * [backup-simplify]: Simplify 0 into 0 8.223 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 8.223 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 8.223 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 8.223 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.223 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.223 * [taylor]: Taking taylor expansion of z in z 8.223 * [backup-simplify]: Simplify 0 into 0 8.223 * [backup-simplify]: Simplify 1 into 1 8.223 * [backup-simplify]: Simplify (/ 1 1) into 1 8.223 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 8.223 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.223 * [taylor]: Taking taylor expansion of z in z 8.223 * [backup-simplify]: Simplify 0 into 0 8.223 * [backup-simplify]: Simplify 1 into 1 8.224 * [backup-simplify]: Simplify (/ 1 1) into 1 8.224 * [backup-simplify]: Simplify (- 1) into -1 8.224 * [backup-simplify]: Simplify -1 into -1 8.225 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.225 * [backup-simplify]: Simplify (- 0) into 0 8.225 * [backup-simplify]: Simplify 0 into 0 8.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.227 * [backup-simplify]: Simplify (- 0) into 0 8.227 * [backup-simplify]: Simplify 0 into 0 8.228 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.228 * [backup-simplify]: Simplify (- 0) into 0 8.228 * [backup-simplify]: Simplify 0 into 0 8.229 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.229 * [backup-simplify]: Simplify (- 0) into 0 8.229 * [backup-simplify]: Simplify 0 into 0 8.230 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.231 * [backup-simplify]: Simplify (- 0) into 0 8.231 * [backup-simplify]: Simplify 0 into 0 8.232 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.232 * [backup-simplify]: Simplify (- 0) into 0 8.232 * [backup-simplify]: Simplify 0 into 0 8.232 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 8.233 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 8.233 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 8.233 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.233 * [taylor]: Taking taylor expansion of z in z 8.233 * [backup-simplify]: Simplify 0 into 0 8.233 * [backup-simplify]: Simplify 1 into 1 8.233 * [backup-simplify]: Simplify (/ 1 1) into 1 8.233 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.233 * [taylor]: Taking taylor expansion of z in z 8.233 * [backup-simplify]: Simplify 0 into 0 8.233 * [backup-simplify]: Simplify 1 into 1 8.234 * [backup-simplify]: Simplify (/ 1 1) into 1 8.234 * [backup-simplify]: Simplify 1 into 1 8.235 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.235 * [backup-simplify]: Simplify 0 into 0 8.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.236 * [backup-simplify]: Simplify 0 into 0 8.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.237 * [backup-simplify]: Simplify 0 into 0 8.238 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.238 * [backup-simplify]: Simplify 0 into 0 8.239 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.239 * [backup-simplify]: Simplify 0 into 0 8.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.240 * [backup-simplify]: Simplify 0 into 0 8.240 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 8.240 * * * [progress]: simplifying candidates 8.240 * * * * [progress]: [ 1 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 1) 8))))))> 8.240 * * * * [progress]: [ 2 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))))) 8))))))> 8.240 * * * * [progress]: [ 3 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))))) 8))))))> 8.241 * * * * [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))))) 8))))))> 8.241 * * * * [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))))) 8))))))> 8.241 * * * * [progress]: [ 6 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1)))) (sqrt (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 8.241 * * * * [progress]: [ 7 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1)))) 8))))))> 8.241 * * * * [progress]: [ 8 / 87 ] simplifiying candidate #real (real->posit16 (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 8.241 * * * * [progress]: [ 9 / 87 ] simplifiying candidate # 8.242 * [simplify]: Simplifying (- 1 z) 8.242 * * [simplify]: iters left: 2 (3 enodes) 8.244 * * [simplify]: iters left: 1 (13 enodes) 8.248 * * [simplify]: Extracting #0: cost 1 inf + 0 8.248 * * [simplify]: Extracting #1: cost 5 inf + 0 8.248 * * [simplify]: Extracting #2: cost 3 inf + 43 8.248 * * [simplify]: Extracting #3: cost 0 inf + 168 8.248 * [simplify]: Simplified to (- 1 z) 8.248 * [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 (+ (- (- 1 z) 1) 8)))))) 8.249 * * * * [progress]: [ 10 / 87 ] simplifiying candidate #real (real->posit16 (log (/ (/ (exp 1) (exp z)) (exp 1))))) 8))))))> 8.249 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 8.249 * * [simplify]: iters left: 5 (6 enodes) 8.253 * * [simplify]: iters left: 4 (23 enodes) 8.260 * * [simplify]: iters left: 3 (34 enodes) 8.270 * * [simplify]: iters left: 2 (39 enodes) 8.280 * * [simplify]: Extracting #0: cost 1 inf + 0 8.280 * * [simplify]: Extracting #1: cost 8 inf + 0 8.280 * * [simplify]: Extracting #2: cost 12 inf + 2 8.280 * * [simplify]: Extracting #3: cost 5 inf + 492 8.281 * * [simplify]: Extracting #4: cost 1 inf + 869 8.281 * * [simplify]: Extracting #5: cost 0 inf + 981 8.282 * [simplify]: Simplified to (exp (- z)) 8.282 * [simplify]: Simplified (2 2 2 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 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (log (exp (- z))))) 8)))))) 8.282 * * * * [progress]: [ 11 / 87 ] simplifiying candidate #real (real->posit16 (log (/ (exp (- 1 z)) (exp 1))))) 8))))))> 8.283 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 8.283 * * [simplify]: iters left: 5 (6 enodes) 8.286 * * [simplify]: iters left: 4 (25 enodes) 8.294 * * [simplify]: iters left: 3 (43 enodes) 8.302 * * [simplify]: iters left: 2 (69 enodes) 8.313 * * [simplify]: iters left: 1 (117 enodes) 8.362 * * [simplify]: Extracting #0: cost 1 inf + 0 8.363 * * [simplify]: Extracting #1: cost 23 inf + 0 8.363 * * [simplify]: Extracting #2: cost 47 inf + 43 8.363 * * [simplify]: Extracting #3: cost 56 inf + 270 8.365 * * [simplify]: Extracting #4: cost 9 inf + 4884 8.368 * * [simplify]: Extracting #5: cost 0 inf + 6053 8.371 * * [simplify]: Extracting #6: cost 0 inf + 6011 8.374 * [simplify]: Simplified to (exp (- z)) 8.374 * [simplify]: Simplified (2 2 2 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 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (log (exp (- z))))) 8)))))) 8.375 * * * * [progress]: [ 12 / 87 ] simplifiying candidate #real (real->posit16 (pow (- (- 1 z) 1) 1))) 8))))))> 8.375 * * * * [progress]: [ 13 / 87 ] simplifiying candidate #real (real->posit16 (exp (log (- (- 1 z) 1))))) 8))))))> 8.375 * * * * [progress]: [ 14 / 87 ] simplifiying candidate #real (real->posit16 (log (exp (- (- 1 z) 1))))) 8))))))> 8.375 * * * * [progress]: [ 15 / 87 ] simplifiying candidate #real (real->posit16 (* (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1))))) 8))))))> 8.375 * * * * [progress]: [ 16 / 87 ] simplifiying candidate #real (real->posit16 (cbrt (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1))))) 8))))))> 8.376 * * * * [progress]: [ 17 / 87 ] simplifiying candidate #real (real->posit16 (* (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1))))) 8))))))> 8.376 * * * * [progress]: [ 18 / 87 ] simplifiying candidate #real (real->posit16 (/ (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1)))))) 8))))))> 8.376 * * * * [progress]: [ 19 / 87 ] simplifiying candidate #real (real->posit16 (+ (- 1 z) (- 1)))) 8))))))> 8.376 * * * * [progress]: [ 20 / 87 ] simplifiying candidate #real (real->posit16 (* 1 (- (- 1 z) 1)))) 8))))))> 8.376 * * * * [progress]: [ 21 / 87 ] simplifiying candidate #real (real->posit16 (/ (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1)))) 8))))))> 8.376 * * * * [progress]: [ 22 / 87 ] simplifiying candidate #real (real->posit16 (* (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1))))) 8))))))> 8.377 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 8.377 * * [simplify]: iters left: 5 (6 enodes) 8.381 * * [simplify]: iters left: 4 (23 enodes) 8.388 * * [simplify]: iters left: 3 (28 enodes) 8.395 * * [simplify]: Extracting #0: cost 1 inf + 0 8.395 * * [simplify]: Extracting #1: cost 4 inf + 0 8.395 * * [simplify]: Extracting #2: cost 5 inf + 1 8.395 * * [simplify]: Extracting #3: cost 8 inf + 1 8.395 * * [simplify]: Extracting #4: cost 6 inf + 86 8.395 * * [simplify]: Extracting #5: cost 1 inf + 454 8.396 * * [simplify]: Extracting #6: cost 0 inf + 576 8.396 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 8.396 * [simplify]: Simplified (2 2 2 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 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) (sqrt 1))))) 8)))))) 8.397 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 8.397 * * [simplify]: iters left: 5 (6 enodes) 8.402 * * [simplify]: iters left: 4 (25 enodes) 8.409 * * [simplify]: iters left: 3 (34 enodes) 8.418 * * [simplify]: Extracting #0: cost 1 inf + 0 8.418 * * [simplify]: Extracting #1: cost 5 inf + 0 8.418 * * [simplify]: Extracting #2: cost 5 inf + 2 8.418 * * [simplify]: Extracting #3: cost 8 inf + 2 8.418 * * [simplify]: Extracting #4: cost 7 inf + 44 8.418 * * [simplify]: Extracting #5: cost 2 inf + 373 8.418 * * [simplify]: Extracting #6: cost 0 inf + 577 8.419 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 8.419 * [simplify]: Simplified (2 2 2 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 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) 1)))) 8)))))) 8.419 * * * * [progress]: [ 23 / 87 ] simplifiying candidate #real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 8))))))> 8.420 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 8.420 * * [simplify]: iters left: 5 (5 enodes) 8.423 * * [simplify]: iters left: 4 (20 enodes) 8.429 * * [simplify]: iters left: 3 (25 enodes) 8.436 * * [simplify]: Extracting #0: cost 1 inf + 0 8.436 * * [simplify]: Extracting #1: cost 4 inf + 0 8.436 * * [simplify]: Extracting #2: cost 5 inf + 1 8.436 * * [simplify]: Extracting #3: cost 8 inf + 1 8.436 * * [simplify]: Extracting #4: cost 1 inf + 535 8.436 * * [simplify]: Extracting #5: cost 0 inf + 576 8.437 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 8.437 * [simplify]: Simplified (2 2 2 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 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 8)))))) 8.438 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 8.438 * * [simplify]: iters left: 5 (5 enodes) 8.441 * * [simplify]: iters left: 4 (22 enodes) 8.447 * * [simplify]: iters left: 3 (29 enodes) 8.455 * * [simplify]: Extracting #0: cost 1 inf + 0 8.455 * * [simplify]: Extracting #1: cost 5 inf + 0 8.455 * * [simplify]: Extracting #2: cost 5 inf + 2 8.455 * * [simplify]: Extracting #3: cost 8 inf + 2 8.455 * * [simplify]: Extracting #4: cost 7 inf + 44 8.456 * * [simplify]: Extracting #5: cost 1 inf + 455 8.456 * * [simplify]: Extracting #6: cost 0 inf + 577 8.456 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 8.456 * [simplify]: Simplified (2 2 2 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 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 8)))))) 8.457 * * * * [progress]: [ 24 / 87 ] simplifiying candidate #real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 8))))))> 8.460 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 8.460 * * [simplify]: iters left: 5 (5 enodes) 8.463 * * [simplify]: iters left: 4 (20 enodes) 8.469 * * [simplify]: iters left: 3 (25 enodes) 8.476 * * [simplify]: Extracting #0: cost 1 inf + 0 8.476 * * [simplify]: Extracting #1: cost 4 inf + 0 8.476 * * [simplify]: Extracting #2: cost 5 inf + 1 8.476 * * [simplify]: Extracting #3: cost 8 inf + 1 8.476 * * [simplify]: Extracting #4: cost 1 inf + 535 8.477 * * [simplify]: Extracting #5: cost 0 inf + 576 8.477 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 8.477 * [simplify]: Simplified (2 2 2 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 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 8)))))) 8.478 * * * * [progress]: [ 25 / 87 ] simplifiying candidate #real (real->posit16 (* 1 (- (- 1 z) 1)))) 8))))))> 8.478 * [simplify]: Simplifying (- (- 1 z) 1) 8.478 * * [simplify]: iters left: 4 (4 enodes) 8.481 * * [simplify]: iters left: 3 (21 enodes) 8.489 * * [simplify]: iters left: 2 (39 enodes) 8.501 * * [simplify]: iters left: 1 (51 enodes) 8.512 * * [simplify]: Extracting #0: cost 1 inf + 0 8.513 * * [simplify]: Extracting #1: cost 10 inf + 0 8.513 * * [simplify]: Extracting #2: cost 6 inf + 129 8.513 * * [simplify]: Extracting #3: cost 0 inf + 420 8.513 * [simplify]: Simplified to (- z) 8.513 * [simplify]: Simplified (2 2 2 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 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* 1 (- z)))) 8)))))) 8.514 * * * * [progress]: [ 26 / 87 ] simplifiying candidate #real (real->posit16 (* 1 (- (- 1 z) 1)))) 8))))))> 8.515 * [simplify]: Simplifying (- (- 1 z) 1) 8.515 * * [simplify]: iters left: 4 (4 enodes) 8.517 * * [simplify]: iters left: 3 (21 enodes) 8.524 * * [simplify]: iters left: 2 (39 enodes) 8.538 * * [simplify]: iters left: 1 (51 enodes) 8.550 * * [simplify]: Extracting #0: cost 1 inf + 0 8.550 * * [simplify]: Extracting #1: cost 10 inf + 0 8.550 * * [simplify]: Extracting #2: cost 6 inf + 129 8.550 * * [simplify]: Extracting #3: cost 0 inf + 420 8.551 * [simplify]: Simplified to (- z) 8.551 * [simplify]: Simplified (2 2 2 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 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* 1 (- z)))) 8)))))) 8.552 * * * * [progress]: [ 27 / 87 ] simplifiying candidate #real (real->posit16 (+ 1 (- (- z) 1)))) 8))))))> 8.552 * * * * [progress]: [ 28 / 87 ] simplifiying candidate #real (real->posit16 (+ 1 (- (- z) 1)))) 8))))))> 8.552 * * * * [progress]: [ 29 / 87 ] simplifiying candidate #real (real->posit16 (- 1 (+ z 1)))) 8))))))> 8.552 * * * * [progress]: [ 30 / 87 ] simplifiying candidate #real (real->posit16 (+ (- 1 z) (- 1)))) 8))))))> 8.552 * * * * [progress]: [ 31 / 87 ] simplifiying candidate #real (real->posit16 (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 8.552 * * * * [progress]: [ 32 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.553 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 8.553 * * [simplify]: iters left: 5 (6 enodes) 8.556 * * [simplify]: iters left: 4 (23 enodes) 8.563 * * [simplify]: iters left: 3 (34 enodes) 8.572 * * [simplify]: iters left: 2 (39 enodes) 8.582 * * [simplify]: Extracting #0: cost 1 inf + 0 8.582 * * [simplify]: Extracting #1: cost 8 inf + 0 8.582 * * [simplify]: Extracting #2: cost 12 inf + 2 8.583 * * [simplify]: Extracting #3: cost 5 inf + 492 8.583 * * [simplify]: Extracting #4: cost 1 inf + 869 8.583 * * [simplify]: Extracting #5: cost 0 inf + 981 8.584 * [simplify]: Simplified to (exp (- z)) 8.584 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 8.584 * * * * [progress]: [ 33 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.585 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 8.585 * * [simplify]: iters left: 5 (6 enodes) 8.589 * * [simplify]: iters left: 4 (25 enodes) 8.597 * * [simplify]: iters left: 3 (43 enodes) 8.611 * * [simplify]: iters left: 2 (69 enodes) 8.634 * * [simplify]: iters left: 1 (117 enodes) 8.696 * * [simplify]: Extracting #0: cost 1 inf + 0 8.696 * * [simplify]: Extracting #1: cost 23 inf + 0 8.697 * * [simplify]: Extracting #2: cost 47 inf + 43 8.697 * * [simplify]: Extracting #3: cost 56 inf + 270 8.698 * * [simplify]: Extracting #4: cost 9 inf + 4884 8.699 * * [simplify]: Extracting #5: cost 0 inf + 6053 8.701 * * [simplify]: Extracting #6: cost 0 inf + 6011 8.702 * [simplify]: Simplified to (exp (- z)) 8.702 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 8.702 * * * * [progress]: [ 34 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.703 * * * * [progress]: [ 35 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.703 * * * * [progress]: [ 36 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.703 * * * * [progress]: [ 37 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.703 * * * * [progress]: [ 38 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.703 * * * * [progress]: [ 39 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.703 * * * * [progress]: [ 40 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.703 * * * * [progress]: [ 41 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.703 * * * * [progress]: [ 42 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.703 * * * * [progress]: [ 43 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.703 * * * * [progress]: [ 44 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.704 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 8.704 * * [simplify]: iters left: 5 (6 enodes) 8.707 * * [simplify]: iters left: 4 (23 enodes) 8.710 * * [simplify]: iters left: 3 (28 enodes) 8.719 * * [simplify]: Extracting #0: cost 1 inf + 0 8.719 * * [simplify]: Extracting #1: cost 4 inf + 0 8.719 * * [simplify]: Extracting #2: cost 5 inf + 1 8.719 * * [simplify]: Extracting #3: cost 8 inf + 1 8.719 * * [simplify]: Extracting #4: cost 6 inf + 86 8.720 * * [simplify]: Extracting #5: cost 1 inf + 454 8.720 * * [simplify]: Extracting #6: cost 0 inf + 576 8.720 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 8.720 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 8.721 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 8.721 * * [simplify]: iters left: 5 (6 enodes) 8.726 * * [simplify]: iters left: 4 (25 enodes) 8.734 * * [simplify]: iters left: 3 (34 enodes) 8.742 * * [simplify]: Extracting #0: cost 1 inf + 0 8.743 * * [simplify]: Extracting #1: cost 5 inf + 0 8.743 * * [simplify]: Extracting #2: cost 5 inf + 2 8.743 * * [simplify]: Extracting #3: cost 8 inf + 2 8.743 * * [simplify]: Extracting #4: cost 7 inf + 44 8.743 * * [simplify]: Extracting #5: cost 2 inf + 373 8.743 * * [simplify]: Extracting #6: cost 0 inf + 577 8.744 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 8.744 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 8.745 * * * * [progress]: [ 45 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.745 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 8.745 * * [simplify]: iters left: 5 (5 enodes) 8.748 * * [simplify]: iters left: 4 (20 enodes) 8.754 * * [simplify]: iters left: 3 (25 enodes) 8.761 * * [simplify]: Extracting #0: cost 1 inf + 0 8.761 * * [simplify]: Extracting #1: cost 4 inf + 0 8.761 * * [simplify]: Extracting #2: cost 5 inf + 1 8.761 * * [simplify]: Extracting #3: cost 8 inf + 1 8.762 * * [simplify]: Extracting #4: cost 1 inf + 535 8.762 * * [simplify]: Extracting #5: cost 0 inf + 576 8.762 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 8.762 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 8.763 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 8.763 * * [simplify]: iters left: 5 (5 enodes) 8.766 * * [simplify]: iters left: 4 (22 enodes) 8.774 * * [simplify]: iters left: 3 (29 enodes) 8.783 * * [simplify]: Extracting #0: cost 1 inf + 0 8.783 * * [simplify]: Extracting #1: cost 5 inf + 0 8.783 * * [simplify]: Extracting #2: cost 5 inf + 2 8.783 * * [simplify]: Extracting #3: cost 8 inf + 2 8.783 * * [simplify]: Extracting #4: cost 7 inf + 44 8.783 * * [simplify]: Extracting #5: cost 1 inf + 455 8.784 * * [simplify]: Extracting #6: cost 0 inf + 577 8.784 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 8.784 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 8.785 * * * * [progress]: [ 46 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.785 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 8.785 * * [simplify]: iters left: 5 (5 enodes) 8.788 * * [simplify]: iters left: 4 (20 enodes) 8.794 * * [simplify]: iters left: 3 (25 enodes) 8.801 * * [simplify]: Extracting #0: cost 1 inf + 0 8.801 * * [simplify]: Extracting #1: cost 4 inf + 0 8.802 * * [simplify]: Extracting #2: cost 5 inf + 1 8.802 * * [simplify]: Extracting #3: cost 8 inf + 1 8.802 * * [simplify]: Extracting #4: cost 1 inf + 535 8.802 * * [simplify]: Extracting #5: cost 0 inf + 576 8.802 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 8.802 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 8.803 * * * * [progress]: [ 47 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.804 * [simplify]: Simplifying (- (- 1 z) 1) 8.804 * * [simplify]: iters left: 4 (4 enodes) 8.806 * * [simplify]: iters left: 3 (21 enodes) 8.814 * * [simplify]: iters left: 2 (39 enodes) 8.827 * * [simplify]: iters left: 1 (51 enodes) 8.838 * * [simplify]: Extracting #0: cost 1 inf + 0 8.838 * * [simplify]: Extracting #1: cost 10 inf + 0 8.839 * * [simplify]: Extracting #2: cost 6 inf + 129 8.839 * * [simplify]: Extracting #3: cost 0 inf + 420 8.839 * [simplify]: Simplified to (- z) 8.839 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 8.840 * * * * [progress]: [ 48 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.841 * [simplify]: Simplifying (- (- 1 z) 1) 8.841 * * [simplify]: iters left: 4 (4 enodes) 8.844 * * [simplify]: iters left: 3 (21 enodes) 8.852 * * [simplify]: iters left: 2 (39 enodes) 8.865 * * [simplify]: iters left: 1 (51 enodes) 8.879 * * [simplify]: Extracting #0: cost 1 inf + 0 8.879 * * [simplify]: Extracting #1: cost 10 inf + 0 8.879 * * [simplify]: Extracting #2: cost 6 inf + 129 8.880 * * [simplify]: Extracting #3: cost 0 inf + 420 8.880 * [simplify]: Simplified to (- z) 8.880 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 8.881 * * * * [progress]: [ 49 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.881 * * * * [progress]: [ 50 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.881 * * * * [progress]: [ 51 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.882 * * * * [progress]: [ 52 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.882 * * * * [progress]: [ 53 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.882 * * * * [progress]: [ 54 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.882 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 8.882 * * [simplify]: iters left: 5 (6 enodes) 8.886 * * [simplify]: iters left: 4 (23 enodes) 8.893 * * [simplify]: iters left: 3 (34 enodes) 8.903 * * [simplify]: iters left: 2 (39 enodes) 8.913 * * [simplify]: Extracting #0: cost 1 inf + 0 8.913 * * [simplify]: Extracting #1: cost 8 inf + 0 8.913 * * [simplify]: Extracting #2: cost 12 inf + 2 8.913 * * [simplify]: Extracting #3: cost 5 inf + 492 8.913 * * [simplify]: Extracting #4: cost 1 inf + 869 8.914 * * [simplify]: Extracting #5: cost 0 inf + 981 8.914 * [simplify]: Simplified to (exp (- z)) 8.914 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 8.915 * * * * [progress]: [ 55 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 8.915 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 8.915 * * [simplify]: iters left: 5 (6 enodes) 8.917 * * [simplify]: iters left: 4 (25 enodes) 8.922 * * [simplify]: iters left: 3 (43 enodes) 8.929 * * [simplify]: iters left: 2 (69 enodes) 8.940 * * [simplify]: iters left: 1 (117 enodes) 9.014 * * [simplify]: Extracting #0: cost 1 inf + 0 9.014 * * [simplify]: Extracting #1: cost 23 inf + 0 9.014 * * [simplify]: Extracting #2: cost 47 inf + 43 9.015 * * [simplify]: Extracting #3: cost 56 inf + 270 9.016 * * [simplify]: Extracting #4: cost 9 inf + 4884 9.019 * * [simplify]: Extracting #5: cost 0 inf + 6053 9.022 * * [simplify]: Extracting #6: cost 0 inf + 6011 9.025 * [simplify]: Simplified to (exp (- z)) 9.025 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 9.026 * * * * [progress]: [ 56 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.026 * * * * [progress]: [ 57 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.026 * * * * [progress]: [ 58 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.026 * * * * [progress]: [ 59 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.026 * * * * [progress]: [ 60 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.026 * * * * [progress]: [ 61 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.027 * * * * [progress]: [ 62 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.027 * * * * [progress]: [ 63 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.027 * * * * [progress]: [ 64 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.027 * * * * [progress]: [ 65 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.027 * * * * [progress]: [ 66 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.028 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 9.028 * * [simplify]: iters left: 5 (6 enodes) 9.032 * * [simplify]: iters left: 4 (23 enodes) 9.039 * * [simplify]: iters left: 3 (28 enodes) 9.046 * * [simplify]: Extracting #0: cost 1 inf + 0 9.046 * * [simplify]: Extracting #1: cost 4 inf + 0 9.046 * * [simplify]: Extracting #2: cost 5 inf + 1 9.046 * * [simplify]: Extracting #3: cost 8 inf + 1 9.046 * * [simplify]: Extracting #4: cost 6 inf + 86 9.047 * * [simplify]: Extracting #5: cost 1 inf + 454 9.047 * * [simplify]: Extracting #6: cost 0 inf + 576 9.047 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 9.047 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 9.048 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 9.048 * * [simplify]: iters left: 5 (6 enodes) 9.053 * * [simplify]: iters left: 4 (25 enodes) 9.061 * * [simplify]: iters left: 3 (34 enodes) 9.070 * * [simplify]: Extracting #0: cost 1 inf + 0 9.070 * * [simplify]: Extracting #1: cost 5 inf + 0 9.070 * * [simplify]: Extracting #2: cost 5 inf + 2 9.070 * * [simplify]: Extracting #3: cost 8 inf + 2 9.070 * * [simplify]: Extracting #4: cost 7 inf + 44 9.070 * * [simplify]: Extracting #5: cost 2 inf + 373 9.071 * * [simplify]: Extracting #6: cost 0 inf + 577 9.071 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 9.071 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 9.072 * * * * [progress]: [ 67 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.072 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 9.072 * * [simplify]: iters left: 5 (5 enodes) 9.075 * * [simplify]: iters left: 4 (20 enodes) 9.081 * * [simplify]: iters left: 3 (25 enodes) 9.088 * * [simplify]: Extracting #0: cost 1 inf + 0 9.088 * * [simplify]: Extracting #1: cost 4 inf + 0 9.088 * * [simplify]: Extracting #2: cost 5 inf + 1 9.088 * * [simplify]: Extracting #3: cost 8 inf + 1 9.088 * * [simplify]: Extracting #4: cost 1 inf + 535 9.088 * * [simplify]: Extracting #5: cost 0 inf + 576 9.089 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 9.089 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 9.090 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 9.090 * * [simplify]: iters left: 5 (5 enodes) 9.093 * * [simplify]: iters left: 4 (22 enodes) 9.101 * * [simplify]: iters left: 3 (29 enodes) 9.109 * * [simplify]: Extracting #0: cost 1 inf + 0 9.109 * * [simplify]: Extracting #1: cost 5 inf + 0 9.109 * * [simplify]: Extracting #2: cost 5 inf + 2 9.109 * * [simplify]: Extracting #3: cost 8 inf + 2 9.109 * * [simplify]: Extracting #4: cost 7 inf + 44 9.109 * * [simplify]: Extracting #5: cost 1 inf + 455 9.110 * * [simplify]: Extracting #6: cost 0 inf + 577 9.110 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 9.110 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 9.111 * * * * [progress]: [ 68 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.111 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 9.111 * * [simplify]: iters left: 5 (5 enodes) 9.114 * * [simplify]: iters left: 4 (20 enodes) 9.120 * * [simplify]: iters left: 3 (25 enodes) 9.127 * * [simplify]: Extracting #0: cost 1 inf + 0 9.127 * * [simplify]: Extracting #1: cost 4 inf + 0 9.127 * * [simplify]: Extracting #2: cost 5 inf + 1 9.127 * * [simplify]: Extracting #3: cost 8 inf + 1 9.128 * * [simplify]: Extracting #4: cost 1 inf + 535 9.128 * * [simplify]: Extracting #5: cost 0 inf + 576 9.128 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 9.128 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 9.129 * * * * [progress]: [ 69 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.129 * [simplify]: Simplifying (- (- 1 z) 1) 9.130 * * [simplify]: iters left: 4 (4 enodes) 9.132 * * [simplify]: iters left: 3 (21 enodes) 9.143 * * [simplify]: iters left: 2 (39 enodes) 9.153 * * [simplify]: iters left: 1 (51 enodes) 9.159 * * [simplify]: Extracting #0: cost 1 inf + 0 9.159 * * [simplify]: Extracting #1: cost 10 inf + 0 9.159 * * [simplify]: Extracting #2: cost 6 inf + 129 9.160 * * [simplify]: Extracting #3: cost 0 inf + 420 9.160 * [simplify]: Simplified to (- z) 9.160 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 9.160 * * * * [progress]: [ 70 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.161 * [simplify]: Simplifying (- (- 1 z) 1) 9.161 * * [simplify]: iters left: 4 (4 enodes) 9.162 * * [simplify]: iters left: 3 (21 enodes) 9.166 * * [simplify]: iters left: 2 (39 enodes) 9.173 * * [simplify]: iters left: 1 (51 enodes) 9.179 * * [simplify]: Extracting #0: cost 1 inf + 0 9.179 * * [simplify]: Extracting #1: cost 10 inf + 0 9.179 * * [simplify]: Extracting #2: cost 6 inf + 129 9.179 * * [simplify]: Extracting #3: cost 0 inf + 420 9.179 * [simplify]: Simplified to (- z) 9.179 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 9.180 * * * * [progress]: [ 71 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.180 * * * * [progress]: [ 72 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.180 * * * * [progress]: [ 73 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.180 * * * * [progress]: [ 74 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.180 * * * * [progress]: [ 75 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.180 * * * * [progress]: [ 76 / 87 ] simplifiying candidate # 9.180 * [simplify]: Simplifying (* -1 z) 9.180 * * [simplify]: iters left: 2 (3 enodes) 9.181 * * [simplify]: iters left: 1 (11 enodes) 9.183 * * [simplify]: Extracting #0: cost 1 inf + 0 9.183 * * [simplify]: Extracting #1: cost 4 inf + 0 9.183 * * [simplify]: Extracting #2: cost 0 inf + 84 9.183 * [simplify]: Simplified to (- z) 9.183 * [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)))))) 9.184 * * * * [progress]: [ 77 / 87 ] simplifiying candidate # 9.184 * [simplify]: Simplifying (* -1 z) 9.184 * * [simplify]: iters left: 2 (3 enodes) 9.185 * * [simplify]: iters left: 1 (11 enodes) 9.189 * * [simplify]: Extracting #0: cost 1 inf + 0 9.189 * * [simplify]: Extracting #1: cost 4 inf + 0 9.189 * * [simplify]: Extracting #2: cost 0 inf + 84 9.189 * [simplify]: Simplified to (- z) 9.189 * [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)))))) 9.189 * * * * [progress]: [ 78 / 87 ] simplifiying candidate # 9.190 * [simplify]: Simplifying (* -1 z) 9.190 * * [simplify]: iters left: 2 (3 enodes) 9.192 * * [simplify]: iters left: 1 (11 enodes) 9.195 * * [simplify]: Extracting #0: cost 1 inf + 0 9.195 * * [simplify]: Extracting #1: cost 4 inf + 0 9.195 * * [simplify]: Extracting #2: cost 0 inf + 84 9.195 * [simplify]: Simplified to (- z) 9.195 * [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)))))) 9.196 * * * * [progress]: [ 79 / 87 ] simplifiying candidate #real (real->posit16 (* -1 z))) 8))))))> 9.197 * [simplify]: Simplifying (* -1 z) 9.197 * * [simplify]: iters left: 2 (3 enodes) 9.198 * * [simplify]: iters left: 1 (11 enodes) 9.201 * * [simplify]: Extracting #0: cost 1 inf + 0 9.202 * * [simplify]: Extracting #1: cost 4 inf + 0 9.202 * * [simplify]: Extracting #2: cost 0 inf + 84 9.202 * [simplify]: Simplified to (- z) 9.202 * [simplify]: Simplified (2 2 2 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 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- z))) 8)))))) 9.202 * * * * [progress]: [ 80 / 87 ] simplifiying candidate #real (real->posit16 (* -1 z))) 8))))))> 9.203 * [simplify]: Simplifying (* -1 z) 9.203 * * [simplify]: iters left: 2 (3 enodes) 9.205 * * [simplify]: iters left: 1 (11 enodes) 9.208 * * [simplify]: Extracting #0: cost 1 inf + 0 9.208 * * [simplify]: Extracting #1: cost 4 inf + 0 9.208 * * [simplify]: Extracting #2: cost 0 inf + 84 9.209 * [simplify]: Simplified to (- z) 9.209 * [simplify]: Simplified (2 2 2 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 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- z))) 8)))))) 9.209 * * * * [progress]: [ 81 / 87 ] simplifiying candidate #real (real->posit16 (* -1 z))) 8))))))> 9.210 * [simplify]: Simplifying (* -1 z) 9.210 * * [simplify]: iters left: 2 (3 enodes) 9.211 * * [simplify]: iters left: 1 (11 enodes) 9.214 * * [simplify]: Extracting #0: cost 1 inf + 0 9.214 * * [simplify]: Extracting #1: cost 4 inf + 0 9.215 * * [simplify]: Extracting #2: cost 0 inf + 84 9.215 * [simplify]: Simplified to (- z) 9.215 * [simplify]: Simplified (2 2 2 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 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- z))) 8)))))) 9.215 * * * * [progress]: [ 82 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.216 * [simplify]: Simplifying (* -1 z) 9.216 * * [simplify]: iters left: 2 (3 enodes) 9.218 * * [simplify]: iters left: 1 (11 enodes) 9.221 * * [simplify]: Extracting #0: cost 1 inf + 0 9.221 * * [simplify]: Extracting #1: cost 4 inf + 0 9.221 * * [simplify]: Extracting #2: cost 0 inf + 84 9.221 * [simplify]: Simplified to (- z) 9.221 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 9.222 * * * * [progress]: [ 83 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.222 * [simplify]: Simplifying (* -1 z) 9.222 * * [simplify]: iters left: 2 (3 enodes) 9.224 * * [simplify]: iters left: 1 (11 enodes) 9.227 * * [simplify]: Extracting #0: cost 1 inf + 0 9.227 * * [simplify]: Extracting #1: cost 4 inf + 0 9.228 * * [simplify]: Extracting #2: cost 0 inf + 84 9.228 * [simplify]: Simplified to (- z) 9.228 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 9.228 * * * * [progress]: [ 84 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.229 * [simplify]: Simplifying (* -1 z) 9.229 * * [simplify]: iters left: 2 (3 enodes) 9.231 * * [simplify]: iters left: 1 (11 enodes) 9.234 * * [simplify]: Extracting #0: cost 1 inf + 0 9.234 * * [simplify]: Extracting #1: cost 4 inf + 0 9.234 * * [simplify]: Extracting #2: cost 0 inf + 84 9.234 * [simplify]: Simplified to (- z) 9.234 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 9.235 * * * * [progress]: [ 85 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.235 * [simplify]: Simplifying (* -1 z) 9.235 * * [simplify]: iters left: 2 (3 enodes) 9.237 * * [simplify]: iters left: 1 (11 enodes) 9.240 * * [simplify]: Extracting #0: cost 1 inf + 0 9.240 * * [simplify]: Extracting #1: cost 4 inf + 0 9.240 * * [simplify]: Extracting #2: cost 0 inf + 84 9.240 * [simplify]: Simplified to (- z) 9.240 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 9.241 * * * * [progress]: [ 86 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.242 * [simplify]: Simplifying (* -1 z) 9.242 * * [simplify]: iters left: 2 (3 enodes) 9.243 * * [simplify]: iters left: 1 (11 enodes) 9.246 * * [simplify]: Extracting #0: cost 1 inf + 0 9.246 * * [simplify]: Extracting #1: cost 4 inf + 0 9.246 * * [simplify]: Extracting #2: cost 0 inf + 84 9.246 * [simplify]: Simplified to (- z) 9.246 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 9.247 * * * * [progress]: [ 87 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 9.247 * [simplify]: Simplifying (* -1 z) 9.247 * * [simplify]: iters left: 2 (3 enodes) 9.249 * * [simplify]: iters left: 1 (11 enodes) 9.252 * * [simplify]: Extracting #0: cost 1 inf + 0 9.253 * * [simplify]: Extracting #1: cost 4 inf + 0 9.253 * * [simplify]: Extracting #2: cost 0 inf + 84 9.253 * [simplify]: Simplified to (- z) 9.253 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 9.254 * * * [progress]: adding candidates to table 13.895 * [progress]: [Phase 3 of 3] Extracting. 13.895 * * [regime]: Finding splitpoints for: (#real (real->posit16 (- (- 1 z) 1))) 8))))))> #) 13.904 * * * [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)))))) 13.904 * * * * [regimes]: Trying to branch on z from (#real (real->posit16 (- (- 1 z) 1))) 8))))))> #) 13.985 * * * * [regimes]: Trying to branch on (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))) from (#real (real->posit16 (- (- 1 z) 1))) 8))))))> #) 14.088 * * * [regime]: Found split indices: #