2.665 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.002 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.003 * * * * [points]: Setting MPFR precision to 64 0.004 * * * * [points]: Setting MPFR precision to 320 0.005 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.008 * * * * [points]: Setting MPFR precision to 64 0.010 * * * * [points]: Setting MPFR precision to 320 0.011 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.013 * * * * [points]: Setting MPFR precision to 64 0.016 * * * * [points]: Setting MPFR precision to 320 0.018 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.020 * * * * [points]: Setting MPFR precision to 64 0.024 * * * * [points]: Setting MPFR precision to 320 0.028 * * * * [points]: Computing exacts for 256 points 0.030 * * * * [points]: Setting MPFR precision to 64 0.042 * * * * [points]: Setting MPFR precision to 320 0.054 * * * * [points]: Filtering points with unrepresentable outputs 0.055 * * * * [points]: Sampling 122 additional inputs, on iter 1 have 134 / 256 0.055 * * * * [points]: Computing exacts on every 7 of 122 points to ramp up precision 0.057 * * * * [points]: Setting MPFR precision to 64 0.058 * * * * [points]: Setting MPFR precision to 320 0.059 * * * * [points]: Computing exacts on every 3 of 122 points to ramp up precision 0.061 * * * * [points]: Setting MPFR precision to 64 0.062 * * * * [points]: Setting MPFR precision to 320 0.064 * * * * [points]: Computing exacts for 122 points 0.066 * * * * [points]: Setting MPFR precision to 64 0.071 * * * * [points]: Setting MPFR precision to 320 0.077 * * * * [points]: Filtering points with unrepresentable outputs 0.077 * * * * [points]: Sampling 62 additional inputs, on iter 2 have 194 / 256 0.078 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision 0.080 * * * * [points]: Setting MPFR precision to 64 0.080 * * * * [points]: Setting MPFR precision to 320 0.081 * * * * [points]: Computing exacts for 62 points 0.083 * * * * [points]: Setting MPFR precision to 64 0.086 * * * * [points]: Setting MPFR precision to 320 0.089 * * * * [points]: Filtering points with unrepresentable outputs 0.089 * * * * [points]: Sampling 24 additional inputs, on iter 3 have 232 / 256 0.089 * * * * [points]: Computing exacts for 24 points 0.091 * * * * [points]: Setting MPFR precision to 64 0.092 * * * * [points]: Setting MPFR precision to 320 0.094 * * * * [points]: Filtering points with unrepresentable outputs 0.094 * * * * [points]: Sampling 9 additional inputs, on iter 4 have 247 / 256 0.094 * * * * [points]: Computing exacts for 9 points 0.109 * * * * [points]: Setting MPFR precision to 64 0.110 * * * * [points]: Setting MPFR precision to 320 0.110 * * * * [points]: Filtering points with unrepresentable outputs 0.110 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 253 / 256 0.110 * * * * [points]: Computing exacts for 4 points 0.112 * * * * [points]: Setting MPFR precision to 64 0.113 * * * * [points]: Setting MPFR precision to 320 0.113 * * * * [points]: Filtering points with unrepresentable outputs 0.113 * * * * [points]: Sampled 256 points with exact outputs 0.113 * * * [progress]: [2/2] Setting up program. 0.119 * [progress]: [Phase 2 of 3] Improving. 0.119 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #)) #) #))> 0.119 * [simplify]: Simplifying: (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #)) #) #) 0.119 * * [simplify]: iteration 0: 11 enodes 0.127 * * [simplify]: iteration 1: 18 enodes 0.136 * * [simplify]: iteration 2: 25 enodes 0.147 * * [simplify]: iteration 3: 26 enodes 0.158 * * [simplify]: iteration complete: 26 enodes 0.158 * * [simplify]: Extracting #0: cost 1 inf + 0 0.158 * * [simplify]: Extracting #1: cost 3 inf + 0 0.158 * * [simplify]: Extracting #2: cost 4 inf + 1 0.158 * * [simplify]: Extracting #3: cost 5 inf + 2 0.158 * * [simplify]: Extracting #4: cost 12 inf + 2 0.158 * * [simplify]: Extracting #5: cost 7 inf + 128 0.159 * * [simplify]: Extracting #6: cost 3 inf + 377 0.159 * * [simplify]: Extracting #7: cost 0 inf + 2709 0.159 * [simplify]: Simplified to: (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 # alpha) beta)) #) #) 0.160 * * [progress]: iteration 1 / 4 0.160 * * * [progress]: picking best candidate 0.165 * * * * [pick]: Picked #)) #) #))> 0.165 * * * [progress]: localizing error 0.255 * * * [progress]: generating rewritten candidates 0.255 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.285 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.382 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 0.400 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.596 * * * [progress]: generating series expansions 0.597 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.597 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.597 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 0.597 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.597 * * * [progress]: simplifying candidates 0.597 * * * * [progress]: [ 1 / 187 ] simplifiying candidate #posit16 1.0)) (+.p16 (+.p16 alpha beta) #)) #) #))> 0.597 * * * * [progress]: [ 2 / 187 ] simplifiying candidate #posit16 1.0)) (+.p16 (+.p16 alpha beta) #)) #) #))> 0.597 * * * * [progress]: [ 3 / 187 ] simplifiying candidate #posit16 1.0)) (+.p16 (+.p16 alpha beta) #)) #) #))> 0.597 * * * * [progress]: [ 4 / 187 ] simplifiying candidate #posit16 1.0)) (+.p16 (+.p16 alpha beta) #)) #) #))> 0.597 * * * * [progress]: [ 5 / 187 ] simplifiying candidate #posit16 1.0)) (+.p16 (+.p16 alpha beta) #)) #) #))> 0.597 * * * * [progress]: [ 6 / 187 ] simplifiying candidate #posit16 1.0)) (+.p16 (+.p16 alpha beta) #)) #) #))> 0.597 * * * * [progress]: [ 7 / 187 ] simplifiying candidate #posit16 1.0)) (+.p16 (+.p16 alpha beta) #)) #) #))> 0.597 * * * * [progress]: [ 8 / 187 ] simplifiying candidate #posit16 1.0)) (+.p16 (+.p16 alpha beta) #)) #) #))> 0.597 * * * * [progress]: [ 9 / 187 ] simplifiying candidate #posit16 1.0)) (+.p16 (+.p16 alpha beta) #)) #) #))> 0.597 * * * * [progress]: [ 10 / 187 ] simplifiying candidate #posit16 1.0)) (+.p16 (+.p16 alpha beta) #)) #) #))> 0.597 * * * * [progress]: [ 11 / 187 ] simplifiying candidate #posit16 1.0)) (+.p16 (+.p16 alpha beta) #)) #) #))> 0.597 * * * * [progress]: [ 12 / 187 ] simplifiying candidate #)) (real->posit16 1.0)) #) #))> 0.597 * * * * [progress]: [ 13 / 187 ] simplifiying candidate #posit16 1.0) (/.p16 (+.p16 (+.p16 alpha beta) #) (-.p16 beta alpha))) #) #))> 0.597 * * * * [progress]: [ 14 / 187 ] simplifiying candidate #posit16 1.0) (/.p16 (+.p16 (+.p16 alpha beta) #) (-.p16 beta alpha))) #) #))> 0.597 * * * * [progress]: [ 15 / 187 ] simplifiying candidate #) (real->posit16 1.0))) #) #))> 0.597 * * * * [progress]: [ 16 / 187 ] simplifiying candidate #)) (real->posit16 1.0)) #) #))> 0.597 * * * * [progress]: [ 17 / 187 ] simplifiying candidate #) (+.p16 beta alpha))) #) #))> 0.597 * * * * [progress]: [ 18 / 187 ] simplifiying candidate #) (real->posit16 1.0))) #) #))> 0.597 * * * * [progress]: [ 19 / 187 ] simplifiying candidate #posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.597 * * * * [progress]: [ 20 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.597 * * * * [progress]: [ 21 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.597 * * * * [progress]: [ 22 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 23 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 24 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 25 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 26 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 27 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 28 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 29 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 30 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 31 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (+.p16 alpha beta) #)) (/.p16 (-.p16 beta alpha) (real->posit16 1.0))) #) #))> 0.598 * * * * [progress]: [ 32 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 33 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 34 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 35 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 36 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 37 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 38 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 39 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 40 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 41 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 42 / 187 ] simplifiying candidate #posit16 1.0) (real->posit16 1.0)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 43 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (+.p16 alpha beta) #)) (/.p16 (-.p16 beta alpha) (real->posit16 1.0))) #) #))> 0.598 * * * * [progress]: [ 44 / 187 ] simplifiying candidate #posit16 1.0)) (/.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 45 / 187 ] simplifiying candidate #posit16 1.0)) (/.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 46 / 187 ] simplifiying candidate #posit16 1.0)) (/.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 47 / 187 ] simplifiying candidate #posit16 1.0)) (/.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 48 / 187 ] simplifiying candidate #posit16 1.0)) (/.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 49 / 187 ] simplifiying candidate #posit16 1.0)) (/.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 50 / 187 ] simplifiying candidate #posit16 1.0)) (/.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 51 / 187 ] simplifiying candidate #posit16 1.0)) (/.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.598 * * * * [progress]: [ 52 / 187 ] simplifiying candidate #posit16 1.0)) (/.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.599 * * * * [progress]: [ 53 / 187 ] simplifiying candidate #posit16 1.0)) (/.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.599 * * * * [progress]: [ 54 / 187 ] simplifiying candidate #posit16 1.0)) (/.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.599 * * * * [progress]: [ 55 / 187 ] simplifiying candidate #)) (/.p16 (real->posit16 1.0) (real->posit16 1.0))) #) #))> 0.599 * * * * [progress]: [ 56 / 187 ] simplifiying candidate #posit16 (posit16->quire16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #)))) #) #))> 0.599 * * * * [progress]: [ 57 / 187 ] simplifiying candidate #posit16 0.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.599 * * * * [progress]: [ 58 / 187 ] simplifiying candidate #)) (real->posit16 0.0)) #) #))> 0.599 * * * * [progress]: [ 59 / 187 ] simplifiying candidate #)) (real->posit16 0.0)) #) #))> 0.599 * * * * [progress]: [ 60 / 187 ] simplifiying candidate #posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.599 * * * * [progress]: [ 61 / 187 ] simplifiying candidate #)) (real->posit16 1.0)) #) #))> 0.599 * * * * [progress]: [ 62 / 187 ] simplifiying candidate #)) (real->posit16 1.0)) #) #))> 0.599 * * * * [progress]: [ 63 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #)) #)) #))> 0.599 * * * * [progress]: [ 64 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #)) #)) #))> 0.599 * * * * [progress]: [ 65 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #)) #)) #))> 0.599 * * * * [progress]: [ 66 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #)) #)) #))> 0.599 * * * * [progress]: [ 67 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #)) #)) #))> 0.599 * * * * [progress]: [ 68 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #)) #)) #))> 0.599 * * * * [progress]: [ 69 / 187 ] simplifiying candidate #)) (real->posit16 0.0)) #) #))> 0.599 * * * * [progress]: [ 70 / 187 ] simplifiying candidate #)) #) (real->posit16 0.0)) #))> 0.599 * * * * [progress]: [ 71 / 187 ] simplifiying candidate #posit16 0.0) (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #)) #)) #))> 0.599 * * * * [progress]: [ 72 / 187 ] simplifiying candidate #)) (+.p16 (real->posit16 0.0) #)) #))> 0.599 * * * * [progress]: [ 73 / 187 ] simplifiying candidate #)) #) (real->posit16 0.0)) #))> 0.599 * * * * [progress]: [ 74 / 187 ] simplifiying candidate #)) (-.p16 (real->posit16 0.0) #)) #))> 0.599 * * * * [progress]: [ 75 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #)) #)) #))> 0.599 * * * * [progress]: [ 76 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #)) #)) #))> 0.599 * * * * [progress]: [ 77 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #)) #)) #))> 0.599 * * * * [progress]: [ 78 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #)) #)) #))> 0.599 * * * * [progress]: [ 79 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #)) #)) #))> 0.599 * * * * [progress]: [ 80 / 187 ] simplifiying candidate #posit16 (posit16->quire16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #)) #))) #))> 0.599 * * * * [progress]: [ 81 / 187 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) # (real->posit16 1.0))) #))> 0.599 * * * * [progress]: [ 82 / 187 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) (real->posit16 1.0) #)) #))> 0.599 * * * * [progress]: [ 83 / 187 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) (real->posit16 1.0) #)) #))> 0.599 * * * * [progress]: [ 84 / 187 ] simplifiying candidate #posit16 (quire16-mul-add (posit16->quire16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) # (real->posit16 1.0))) #))> 0.600 * * * * [progress]: [ 85 / 187 ] simplifiying candidate #posit16 0.0) (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #)) #)) #))> 0.600 * * * * [progress]: [ 86 / 187 ] simplifiying candidate #)) #) (real->posit16 0.0)) #))> 0.600 * * * * [progress]: [ 87 / 187 ] simplifiying candidate #)) #) (real->posit16 0.0)) #))> 0.600 * * * * [progress]: [ 88 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #)) #)) #))> 0.600 * * * * [progress]: [ 89 / 187 ] simplifiying candidate #)) #) (real->posit16 1.0)) #))> 0.600 * * * * [progress]: [ 90 / 187 ] simplifiying candidate #)) #) (real->posit16 1.0)) #))> 0.600 * * * * [progress]: [ 91 / 187 ] simplifiying candidate # (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #))) #))> 0.600 * * * * [progress]: [ 92 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.600 * * * * [progress]: [ 93 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.600 * * * * [progress]: [ 94 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.600 * * * * [progress]: [ 95 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.600 * * * * [progress]: [ 96 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.600 * * * * [progress]: [ 97 / 187 ] simplifiying candidate #posit16 0.0)) #)) #) #))> 0.600 * * * * [progress]: [ 98 / 187 ] simplifiying candidate #) (real->posit16 0.0))) #) #))> 0.600 * * * * [progress]: [ 99 / 187 ] simplifiying candidate #))) #) #))> 0.600 * * * * [progress]: [ 100 / 187 ] simplifiying candidate #) (real->posit16 0.0))) #) #))> 0.600 * * * * [progress]: [ 101 / 187 ] simplifiying candidate #posit16 0.0) #))) #) #))> 0.600 * * * * [progress]: [ 102 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (+.p16 alpha beta) #))) #) #))> 0.600 * * * * [progress]: [ 103 / 187 ] simplifiying candidate #posit16 1.0) (+.p16 (+.p16 alpha beta) #))) #) #