0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.007 * * * * [points]: Setting MPFR precision to 64
0.008 * * * * [points]: Setting MPFR precision to 320
0.009 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.014 * * * * [points]: Setting MPFR precision to 64
0.016 * * * * [points]: Setting MPFR precision to 320
0.018 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.027 * * * * [points]: Setting MPFR precision to 64
0.030 * * * * [points]: Setting MPFR precision to 320
0.034 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.038 * * * * [points]: Setting MPFR precision to 64
0.043 * * * * [points]: Setting MPFR precision to 320
0.048 * * * * [points]: Computing exacts for 256 points
0.053 * * * * [points]: Setting MPFR precision to 64
0.068 * * * * [points]: Setting MPFR precision to 320
0.084 * * * * [points]: Filtering points with unrepresentable outputs
0.084 * * * * [points]: Sampling 122 additional inputs, on iter 1 have 134 / 256
0.084 * * * * [points]: Computing exacts on every 7 of 122 points to ramp up precision
0.088 * * * * [points]: Setting MPFR precision to 64
0.089 * * * * [points]: Setting MPFR precision to 320
0.090 * * * * [points]: Computing exacts on every 3 of 122 points to ramp up precision
0.095 * * * * [points]: Setting MPFR precision to 64
0.097 * * * * [points]: Setting MPFR precision to 320
0.098 * * * * [points]: Computing exacts for 122 points
0.103 * * * * [points]: Setting MPFR precision to 64
0.110 * * * * [points]: Setting MPFR precision to 320
0.138 * * * * [points]: Filtering points with unrepresentable outputs
0.138 * * * * [points]: Sampling 54 additional inputs, on iter 2 have 202 / 256
0.139 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
0.143 * * * * [points]: Setting MPFR precision to 64
0.144 * * * * [points]: Setting MPFR precision to 320
0.145 * * * * [points]: Computing exacts for 54 points
0.150 * * * * [points]: Setting MPFR precision to 64
0.153 * * * * [points]: Setting MPFR precision to 320
0.157 * * * * [points]: Filtering points with unrepresentable outputs
0.157 * * * * [points]: Sampling 19 additional inputs, on iter 3 have 237 / 256
0.157 * * * * [points]: Computing exacts for 19 points
0.161 * * * * [points]: Setting MPFR precision to 64
0.162 * * * * [points]: Setting MPFR precision to 320
0.164 * * * * [points]: Filtering points with unrepresentable outputs
0.164 * * * * [points]: Sampling 10 additional inputs, on iter 4 have 246 / 256
0.164 * * * * [points]: Computing exacts for 10 points
0.169 * * * * [points]: Setting MPFR precision to 64
0.169 * * * * [points]: Setting MPFR precision to 320
0.170 * * * * [points]: Filtering points with unrepresentable outputs
0.170 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256
0.170 * * * * [points]: Computing exacts for 6 points
0.174 * * * * [points]: Setting MPFR precision to 64
0.175 * * * * [points]: Setting MPFR precision to 320
0.175 * * * * [points]: Filtering points with unrepresentable outputs
0.175 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
0.175 * * * * [points]: Computing exacts for 4 points
0.179 * * * * [points]: Setting MPFR precision to 64
0.180 * * * * [points]: Setting MPFR precision to 320
0.180 * * * * [points]: Filtering points with unrepresentable outputs
0.180 * * * * [points]: Sampled 257 points with exact outputs
0.180 * * * [progress]: [2/2] Setting up program.
0.193 * [progress]: [Phase 2 of 3] Improving.
0.193 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
0.194 * [simplify]: Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
0.194 * * [simplify]: iters left: 6 (18 enodes)
0.198 * * [simplify]: iters left: 5 (46 enodes)
0.207 * * [simplify]: iters left: 4 (118 enodes)
0.255 * * [simplify]: Extracting #0: cost 1 inf + 0
0.255 * * [simplify]: Extracting #1: cost 10 inf + 0
0.255 * * [simplify]: Extracting #2: cost 62 inf + 0
0.256 * * [simplify]: Extracting #3: cost 165 inf + 2
0.256 * * [simplify]: Extracting #4: cost 154 inf + 3708
0.257 * * [simplify]: Extracting #5: cost 131 inf + 9961
0.259 * * [simplify]: Extracting #6: cost 129 inf + 10365
0.262 * * [simplify]: Extracting #7: cost 82 inf + 46686
0.269 * * [simplify]: Extracting #8: cost 5 inf + 102245
0.278 * * [simplify]: Extracting #9: cost 0 inf + 105668
0.287 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))))
0.288 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))
0.332 * * [progress]: iteration 1 / 4
0.332 * * * [progress]: picking best candidate
0.360 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
0.360 * * * [progress]: localizing error
0.611 * * * [progress]: generating rewritten candidates
0.611 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.699 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.708 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.787 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.920 * * * [progress]: generating series expansions
0.920 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.920 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
0.920 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.920 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.920 * * * [progress]: simplifying candidates
0.920 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
0.920 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) (+.p16 alpha beta)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
0.921 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
0.921 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0))
0.921 * * [simplify]: iters left: 3 (8 enodes)
0.925 * * [simplify]: iters left: 2 (21 enodes)
0.934 * * [simplify]: iters left: 1 (43 enodes)
0.949 * * [simplify]: Extracting #0: cost 1 inf + 0
0.949 * * [simplify]: Extracting #1: cost 16 inf + 0
0.950 * * [simplify]: Extracting #2: cost 16 inf + 2
0.950 * * [simplify]: Extracting #3: cost 13 inf + 367
0.951 * * [simplify]: Extracting #4: cost 0 inf + 3718
0.952 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha))
0.952 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
0.952 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))>
0.952 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
0.952 * * [simplify]: iters left: 4 (15 enodes)
0.960 * * [simplify]: iters left: 3 (36 enodes)
0.973 * * [simplify]: iters left: 2 (66 enodes)
0.996 * * [simplify]: iters left: 1 (90 enodes)
1.023 * * [simplify]: Extracting #0: cost 1 inf + 0
1.024 * * [simplify]: Extracting #1: cost 3 inf + 0
1.024 * * [simplify]: Extracting #2: cost 20 inf + 0
1.024 * * [simplify]: Extracting #3: cost 23 inf + 2
1.025 * * [simplify]: Extracting #4: cost 19 inf + 1493
1.025 * * [simplify]: Extracting #5: cost 9 inf + 3152
1.026 * * [simplify]: Extracting #6: cost 2 inf + 4970
1.028 * * [simplify]: Extracting #7: cost 0 inf + 6578
1.029 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
1.029 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))
1.029 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1.029 * [simplify]: Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1.029 * * [simplify]: iters left: 6 (18 enodes)
1.034 * * [simplify]: iters left: 5 (46 enodes)
1.044 * * [simplify]: iters left: 4 (118 enodes)
1.110 * * [simplify]: Extracting #0: cost 1 inf + 0
1.110 * * [simplify]: Extracting #1: cost 10 inf + 0
1.110 * * [simplify]: Extracting #2: cost 62 inf + 0
1.111 * * [simplify]: Extracting #3: cost 165 inf + 2
1.112 * * [simplify]: Extracting #4: cost 154 inf + 3708
1.114 * * [simplify]: Extracting #5: cost 131 inf + 9961
1.116 * * [simplify]: Extracting #6: cost 129 inf + 10365
1.122 * * [simplify]: Extracting #7: cost 82 inf + 46686
1.135 * * [simplify]: Extracting #8: cost 5 inf + 102245
1.151 * * [simplify]: Extracting #9: cost 0 inf + 105668
1.166 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))))
1.167 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))
1.167 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1.167 * [simplify]: Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1.167 * * [simplify]: iters left: 6 (18 enodes)
1.175 * * [simplify]: iters left: 5 (46 enodes)
1.194 * * [simplify]: iters left: 4 (118 enodes)
1.254 * * [simplify]: Extracting #0: cost 1 inf + 0
1.254 * * [simplify]: Extracting #1: cost 10 inf + 0
1.254 * * [simplify]: Extracting #2: cost 62 inf + 0
1.255 * * [simplify]: Extracting #3: cost 165 inf + 2
1.256 * * [simplify]: Extracting #4: cost 154 inf + 3708
1.258 * * [simplify]: Extracting #5: cost 131 inf + 9961
1.260 * * [simplify]: Extracting #6: cost 129 inf + 10365
1.266 * * [simplify]: Extracting #7: cost 82 inf + 46686
1.274 * * [simplify]: Extracting #8: cost 5 inf + 102245
1.289 * * [simplify]: Extracting #9: cost 0 inf + 105668
1.307 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))))
1.307 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))
1.307 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1.308 * [simplify]: Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1.308 * * [simplify]: iters left: 6 (18 enodes)
1.314 * * [simplify]: iters left: 5 (46 enodes)
1.322 * * [simplify]: iters left: 4 (118 enodes)
1.368 * * [simplify]: Extracting #0: cost 1 inf + 0
1.369 * * [simplify]: Extracting #1: cost 10 inf + 0
1.369 * * [simplify]: Extracting #2: cost 62 inf + 0
1.369 * * [simplify]: Extracting #3: cost 165 inf + 2
1.370 * * [simplify]: Extracting #4: cost 154 inf + 3708
1.371 * * [simplify]: Extracting #5: cost 131 inf + 9961
1.372 * * [simplify]: Extracting #6: cost 129 inf + 10365
1.375 * * [simplify]: Extracting #7: cost 82 inf + 46686
1.386 * * [simplify]: Extracting #8: cost 5 inf + 102245
1.404 * * [simplify]: Extracting #9: cost 0 inf + 105668
1.416 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))))
1.416 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))
1.417 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1.417 * [simplify]: Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1.417 * * [simplify]: iters left: 6 (18 enodes)
1.422 * * [simplify]: iters left: 5 (46 enodes)
1.437 * * [simplify]: iters left: 4 (118 enodes)
1.480 * * [simplify]: Extracting #0: cost 1 inf + 0
1.480 * * [simplify]: Extracting #1: cost 10 inf + 0
1.480 * * [simplify]: Extracting #2: cost 62 inf + 0
1.481 * * [simplify]: Extracting #3: cost 165 inf + 2
1.482 * * [simplify]: Extracting #4: cost 154 inf + 3708
1.484 * * [simplify]: Extracting #5: cost 131 inf + 9961
1.486 * * [simplify]: Extracting #6: cost 129 inf + 10365
1.494 * * [simplify]: Extracting #7: cost 82 inf + 46686
1.507 * * [simplify]: Extracting #8: cost 5 inf + 102245
1.518 * * [simplify]: Extracting #9: cost 0 inf + 105668
1.530 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))))
1.530 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))
1.530 * * * [progress]: adding candidates to table
1.905 * * [progress]: iteration 2 / 4
1.905 * * * [progress]: picking best candidate
1.988 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1.988 * * * [progress]: localizing error
2.355 * * * [progress]: generating rewritten candidates
2.355 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
2.378 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
2.382 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
2.416 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
2.420 * * * [progress]: generating series expansions
2.420 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
2.420 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
2.420 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.420 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2)
2.420 * * * [progress]: simplifying candidates
2.420 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
2.421 * [simplify]: Simplifying (*.p16 beta alpha)
2.421 * * [simplify]: iters left: 1 (3 enodes)
2.421 * * [simplify]: Extracting #0: cost 1 inf + 0
2.421 * * [simplify]: Extracting #1: cost 3 inf + 0
2.421 * * [simplify]: Extracting #2: cost 1 inf + 2
2.421 * * [simplify]: Extracting #3: cost 0 inf + 324
2.421 * [simplify]: Simplified to (*.p16 alpha beta)
2.421 * [simplify]: Simplified (2 1 1 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 alpha beta)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
2.422 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 beta (*.p16 beta alpha)) alpha) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
2.422 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
2.422 * [simplify]: Simplifying (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0))
2.422 * * [simplify]: iters left: 4 (8 enodes)
2.425 * * [simplify]: iters left: 3 (21 enodes)
2.428 * * [simplify]: iters left: 2 (41 enodes)
2.435 * * [simplify]: iters left: 1 (61 enodes)
2.449 * * [simplify]: Extracting #0: cost 1 inf + 0
2.449 * * [simplify]: Extracting #1: cost 16 inf + 0
2.449 * * [simplify]: Extracting #2: cost 17 inf + 2
2.449 * * [simplify]: Extracting #3: cost 12 inf + 1091
2.450 * * [simplify]: Extracting #4: cost 3 inf + 3553
2.450 * * [simplify]: Extracting #5: cost 0 inf + 4280
2.451 * [simplify]: Simplified to (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0)))
2.451 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
2.451 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 (*.p16 beta alpha) beta)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
2.451 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
2.451 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
2.451 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
2.451 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
2.452 * * * [progress]: adding candidates to table
2.715 * * [progress]: iteration 3 / 4
2.716 * * * [progress]: picking best candidate
2.759 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))>
2.759 * * * [progress]: localizing error
3.001 * * * [progress]: generating rewritten candidates
3.001 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
3.096 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
3.112 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
3.208 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
3.264 * * * [progress]: generating series expansions
3.264 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
3.264 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
3.264 * * * * [progress]: [ 3 / 4 ] generating series at (2)
3.265 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
3.265 * * * [progress]: simplifying candidates
3.265 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))>
3.265 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) (+.p16 alpha beta)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))>
3.265 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))>
3.265 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
3.265 * * [simplify]: iters left: 3 (9 enodes)
3.269 * * [simplify]: iters left: 2 (22 enodes)
3.276 * * [simplify]: iters left: 1 (30 enodes)
3.284 * * [simplify]: Extracting #0: cost 1 inf + 0
3.284 * * [simplify]: Extracting #1: cost 7 inf + 0
3.284 * * [simplify]: Extracting #2: cost 7 inf + 2
3.284 * * [simplify]: Extracting #3: cost 8 inf + 44
3.284 * * [simplify]: Extracting #4: cost 4 inf + 48
3.284 * * [simplify]: Extracting #5: cost 1 inf + 1137
3.285 * * [simplify]: Extracting #6: cost 0 inf + 1500
3.285 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
3.285 * [simplify]: Simplified (2 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))))
3.285 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))>
3.285 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0))
3.285 * * [simplify]: iters left: 3 (8 enodes)
3.290 * * [simplify]: iters left: 2 (21 enodes)
3.296 * * [simplify]: iters left: 1 (43 enodes)
3.310 * * [simplify]: Extracting #0: cost 1 inf + 0
3.310 * * [simplify]: Extracting #1: cost 16 inf + 0
3.310 * * [simplify]: Extracting #2: cost 16 inf + 2
3.310 * * [simplify]: Extracting #3: cost 13 inf + 367
3.311 * * [simplify]: Extracting #4: cost 0 inf + 3718
3.312 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha))
3.312 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))
3.312 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (*.p16 (real->posit16 2) (real->posit16 1))))))>
3.313 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (*.p16 (real->posit16 2) (real->posit16 1)))
3.313 * * [simplify]: iters left: 5 (13 enodes)
3.319 * * [simplify]: iters left: 4 (33 enodes)
3.329 * * [simplify]: iters left: 3 (75 enodes)
3.363 * * [simplify]: iters left: 2 (299 enodes)
3.629 * * [simplify]: Extracting #0: cost 1 inf + 0
3.629 * * [simplify]: Extracting #1: cost 150 inf + 0
3.631 * * [simplify]: Extracting #2: cost 497 inf + 0
3.633 * * [simplify]: Extracting #3: cost 531 inf + 3559
3.638 * * [simplify]: Extracting #4: cost 402 inf + 72063
3.658 * * [simplify]: Extracting #5: cost 50 inf + 307373
3.696 * * [simplify]: Extracting #6: cost 0 inf + 355493
3.742 * [simplify]: Simplified to (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) alpha)) (*.p16 (real->posit16 2) (real->posit16 1))))
3.742 * [simplify]: Simplified (2 2 2) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 alpha beta)) (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (*.p16 (+.p16 beta (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) alpha)) (*.p16 (real->posit16 2) (real->posit16 1)))))))
3.742 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))))>
3.742 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
3.742 * * [simplify]: iters left: 5 (13 enodes)
3.746 * * [simplify]: iters left: 4 (39 enodes)
3.756 * * [simplify]: iters left: 3 (119 enodes)
3.830 * * [simplify]: Extracting #0: cost 1 inf + 0
3.831 * * [simplify]: Extracting #1: cost 54 inf + 0
3.831 * * [simplify]: Extracting #2: cost 200 inf + 0
3.832 * * [simplify]: Extracting #3: cost 214 inf + 2271
3.834 * * [simplify]: Extracting #4: cost 155 inf + 33806
3.841 * * [simplify]: Extracting #5: cost 20 inf + 120375
3.850 * * [simplify]: Extracting #6: cost 0 inf + 134925
3.859 * [simplify]: Simplified to (+.p16 (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (real->posit16 2) (real->posit16 1)))
3.859 * [simplify]: Simplified (2 2 2) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) (+.p16 (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (real->posit16 2) (real->posit16 1))))))
3.859 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))))>
3.859 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))>
3.859 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
3.859 * * [simplify]: iters left: 4 (15 enodes)
3.863 * * [simplify]: iters left: 3 (36 enodes)
3.870 * * [simplify]: iters left: 2 (66 enodes)
3.882 * * [simplify]: iters left: 1 (90 enodes)
3.898 * * [simplify]: Extracting #0: cost 1 inf + 0
3.898 * * [simplify]: Extracting #1: cost 3 inf + 0
3.898 * * [simplify]: Extracting #2: cost 20 inf + 0
3.898 * * [simplify]: Extracting #3: cost 23 inf + 2
3.899 * * [simplify]: Extracting #4: cost 19 inf + 1493
3.899 * * [simplify]: Extracting #5: cost 9 inf + 3152
3.900 * * [simplify]: Extracting #6: cost 2 inf + 4970
3.900 * * [simplify]: Extracting #7: cost 0 inf + 6578
3.901 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
3.901 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))
3.901 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))>
3.901 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
3.901 * * [simplify]: iters left: 4 (15 enodes)
3.905 * * [simplify]: iters left: 3 (36 enodes)
3.912 * * [simplify]: iters left: 2 (66 enodes)
3.923 * * [simplify]: iters left: 1 (90 enodes)
3.939 * * [simplify]: Extracting #0: cost 1 inf + 0
3.939 * * [simplify]: Extracting #1: cost 3 inf + 0
3.939 * * [simplify]: Extracting #2: cost 20 inf + 0
3.939 * * [simplify]: Extracting #3: cost 23 inf + 2
3.939 * * [simplify]: Extracting #4: cost 19 inf + 1493
3.940 * * [simplify]: Extracting #5: cost 9 inf + 3152
3.940 * * [simplify]: Extracting #6: cost 2 inf + 4970
3.941 * * [simplify]: Extracting #7: cost 0 inf + 6578
3.942 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
3.942 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))
3.942 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))>
3.942 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
3.942 * * [simplify]: iters left: 4 (15 enodes)
3.946 * * [simplify]: iters left: 3 (36 enodes)
3.952 * * [simplify]: iters left: 2 (66 enodes)
3.965 * * [simplify]: iters left: 1 (90 enodes)
3.980 * * [simplify]: Extracting #0: cost 1 inf + 0
3.980 * * [simplify]: Extracting #1: cost 3 inf + 0
3.980 * * [simplify]: Extracting #2: cost 20 inf + 0
3.980 * * [simplify]: Extracting #3: cost 23 inf + 2
3.980 * * [simplify]: Extracting #4: cost 19 inf + 1493
3.981 * * [simplify]: Extracting #5: cost 9 inf + 3152
3.981 * * [simplify]: Extracting #6: cost 2 inf + 4970
3.982 * * [simplify]: Extracting #7: cost 0 inf + 6578
3.983 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
3.983 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))
3.983 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))>
3.983 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
3.983 * * [simplify]: iters left: 4 (15 enodes)
3.987 * * [simplify]: iters left: 3 (36 enodes)
3.994 * * [simplify]: iters left: 2 (66 enodes)
4.005 * * [simplify]: iters left: 1 (90 enodes)
4.019 * * [simplify]: Extracting #0: cost 1 inf + 0
4.019 * * [simplify]: Extracting #1: cost 3 inf + 0
4.019 * * [simplify]: Extracting #2: cost 20 inf + 0
4.020 * * [simplify]: Extracting #3: cost 23 inf + 2
4.020 * * [simplify]: Extracting #4: cost 19 inf + 1493
4.020 * * [simplify]: Extracting #5: cost 9 inf + 3152
4.021 * * [simplify]: Extracting #6: cost 2 inf + 4970
4.021 * * [simplify]: Extracting #7: cost 0 inf + 6578
4.022 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
4.022 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))
4.022 * * * [progress]: adding candidates to table
4.298 * * [progress]: iteration 4 / 4
4.298 * * * [progress]: picking best candidate
4.367 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))>
4.367 * * * [progress]: localizing error
4.605 * * * [progress]: generating rewritten candidates
4.605 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
4.668 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
4.677 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
4.754 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
4.829 * * * [progress]: generating series expansions
4.829 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
4.830 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
4.830 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
4.830 * * * * [progress]: [ 4 / 4 ] generating series at (2)
4.830 * * * [progress]: simplifying candidates
4.830 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))>
4.830 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) (+.p16 alpha beta)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))>
4.830 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))>
4.830 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0))
4.830 * * [simplify]: iters left: 3 (8 enodes)
4.832 * * [simplify]: iters left: 2 (21 enodes)
4.838 * * [simplify]: iters left: 1 (43 enodes)
4.851 * * [simplify]: Extracting #0: cost 1 inf + 0
4.851 * * [simplify]: Extracting #1: cost 16 inf + 0
4.851 * * [simplify]: Extracting #2: cost 16 inf + 2
4.852 * * [simplify]: Extracting #3: cost 13 inf + 367
4.852 * * [simplify]: Extracting #4: cost 0 inf + 3718
4.853 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha))
4.853 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))
4.853 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))))>
4.854 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
4.854 * * [simplify]: iters left: 4 (15 enodes)
4.861 * * [simplify]: iters left: 3 (36 enodes)
4.872 * * [simplify]: iters left: 2 (66 enodes)
4.891 * * [simplify]: iters left: 1 (90 enodes)
4.917 * * [simplify]: Extracting #0: cost 1 inf + 0
4.918 * * [simplify]: Extracting #1: cost 3 inf + 0
4.918 * * [simplify]: Extracting #2: cost 20 inf + 0
4.918 * * [simplify]: Extracting #3: cost 23 inf + 2
4.918 * * [simplify]: Extracting #4: cost 19 inf + 1493
4.919 * * [simplify]: Extracting #5: cost 9 inf + 3152
4.920 * * [simplify]: Extracting #6: cost 2 inf + 4970
4.921 * * [simplify]: Extracting #7: cost 0 inf + 6578
4.922 * [simplify]: Simplified to (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
4.922 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))))
4.923 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))>
4.923 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
4.923 * * [simplify]: iters left: 3 (9 enodes)
4.927 * * [simplify]: iters left: 2 (22 enodes)
4.933 * * [simplify]: iters left: 1 (30 enodes)
4.942 * * [simplify]: Extracting #0: cost 1 inf + 0
4.942 * * [simplify]: Extracting #1: cost 7 inf + 0
4.942 * * [simplify]: Extracting #2: cost 7 inf + 2
4.942 * * [simplify]: Extracting #3: cost 8 inf + 44
4.942 * * [simplify]: Extracting #4: cost 4 inf + 48
4.942 * * [simplify]: Extracting #5: cost 1 inf + 1137
4.943 * * [simplify]: Extracting #6: cost 0 inf + 1500
4.943 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
4.943 * [simplify]: Simplified (2 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))))
4.943 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))>
4.944 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
4.944 * * [simplify]: iters left: 3 (9 enodes)
4.948 * * [simplify]: iters left: 2 (22 enodes)
4.954 * * [simplify]: iters left: 1 (30 enodes)
4.960 * * [simplify]: Extracting #0: cost 1 inf + 0
4.960 * * [simplify]: Extracting #1: cost 7 inf + 0
4.960 * * [simplify]: Extracting #2: cost 7 inf + 2
4.960 * * [simplify]: Extracting #3: cost 8 inf + 44
4.960 * * [simplify]: Extracting #4: cost 4 inf + 48
4.960 * * [simplify]: Extracting #5: cost 1 inf + 1137
4.960 * * [simplify]: Extracting #6: cost 0 inf + 1500
4.960 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
4.961 * [simplify]: Simplified (2 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))))
4.961 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))>
4.961 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
4.961 * * [simplify]: iters left: 3 (9 enodes)
4.963 * * [simplify]: iters left: 2 (22 enodes)
4.967 * * [simplify]: iters left: 1 (30 enodes)
4.972 * * [simplify]: Extracting #0: cost 1 inf + 0
4.972 * * [simplify]: Extracting #1: cost 7 inf + 0
4.972 * * [simplify]: Extracting #2: cost 7 inf + 2
4.972 * * [simplify]: Extracting #3: cost 8 inf + 44
4.972 * * [simplify]: Extracting #4: cost 4 inf + 48
4.972 * * [simplify]: Extracting #5: cost 1 inf + 1137
4.972 * * [simplify]: Extracting #6: cost 0 inf + 1500
4.972 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
4.972 * [simplify]: Simplified (2 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))))
4.972 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))>
4.973 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
4.973 * * [simplify]: iters left: 3 (9 enodes)
4.975 * * [simplify]: iters left: 2 (22 enodes)
4.979 * * [simplify]: iters left: 1 (30 enodes)
4.983 * * [simplify]: Extracting #0: cost 1 inf + 0
4.983 * * [simplify]: Extracting #1: cost 7 inf + 0
4.983 * * [simplify]: Extracting #2: cost 7 inf + 2
4.983 * * [simplify]: Extracting #3: cost 8 inf + 44
4.984 * * [simplify]: Extracting #4: cost 4 inf + 48
4.984 * * [simplify]: Extracting #5: cost 1 inf + 1137
4.984 * * [simplify]: Extracting #6: cost 0 inf + 1500
4.984 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
4.984 * [simplify]: Simplified (2 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))))
4.985 * * * [progress]: adding candidates to table
5.186 * [progress]: [Phase 3 of 3] Extracting.
5.186 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (*.p16 (real->posit16 2) (real->posit16 1))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))>)
5.188 * * * [regime-changes]: Trying 2 branch expressions: (beta alpha)
5.188 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (*.p16 (real->posit16 2) (real->posit16 1))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))>)
5.334 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (*.p16 (real->posit16 2) (real->posit16 1))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))>)
5.487 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
5.487 * [simplify]: Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
5.487 * * [simplify]: iters left: 6 (18 enodes)
5.489 * * [simplify]: iters left: 5 (20 enodes)
5.490 * * [simplify]: Extracting #0: cost 1 inf + 0
5.490 * * [simplify]: Extracting #1: cost 3 inf + 0
5.490 * * [simplify]: Extracting #2: cost 7 inf + 0
5.490 * * [simplify]: Extracting #3: cost 13 inf + 0
5.490 * * [simplify]: Extracting #4: cost 15 inf + 2
5.490 * * [simplify]: Extracting #5: cost 10 inf + 49
5.490 * * [simplify]: Extracting #6: cost 5 inf + 1543
5.490 * * [simplify]: Extracting #7: cost 3 inf + 2388
5.491 * * [simplify]: Extracting #8: cost 1 inf + 5358
5.491 * * [simplify]: Extracting #9: cost 0 inf + 7523
5.491 * [simplify]: Simplified to (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
5.491 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
5.516 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
5.523 * * * * [points]: Setting MPFR precision to 64
5.526 * * * * [points]: Setting MPFR precision to 320
5.527 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
5.535 * * * * [points]: Setting MPFR precision to 64
5.538 * * * * [points]: Setting MPFR precision to 320
5.539 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
5.544 * * * * [points]: Setting MPFR precision to 64
5.559 * * * * [points]: Setting MPFR precision to 320
5.563 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
5.572 * * * * [points]: Setting MPFR precision to 64
5.586 * * * * [points]: Setting MPFR precision to 320
5.599 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
5.607 * * * * [points]: Setting MPFR precision to 64
5.633 * * * * [points]: Setting MPFR precision to 320
5.653 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
5.657 * * * * [points]: Setting MPFR precision to 64
5.692 * * * * [points]: Setting MPFR precision to 320
5.770 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
5.775 * * * * [points]: Setting MPFR precision to 64
5.863 * * * * [points]: Setting MPFR precision to 320
5.957 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
5.961 * * * * [points]: Setting MPFR precision to 64
6.468 * * * * [points]: Setting MPFR precision to 320
6.624 * * * * [points]: Computing exacts for 8000 points
6.629 * * * * [points]: Setting MPFR precision to 64
7.310 * * * * [points]: Setting MPFR precision to 320
7.968 * * * * [points]: Filtering points with unrepresentable outputs
8.025 * * * * [points]: Sampling 3510 additional inputs, on iter 1 have 4490 / 8000
8.046 * * * * [points]: Computing exacts on every 219 of 3510 points to ramp up precision
8.055 * * * * [points]: Setting MPFR precision to 64
8.057 * * * * [points]: Setting MPFR precision to 320
8.059 * * * * [points]: Computing exacts on every 109 of 3510 points to ramp up precision
8.068 * * * * [points]: Setting MPFR precision to 64
8.072 * * * * [points]: Setting MPFR precision to 320
8.075 * * * * [points]: Computing exacts on every 54 of 3510 points to ramp up precision
8.084 * * * * [points]: Setting MPFR precision to 64
8.092 * * * * [points]: Setting MPFR precision to 320
8.099 * * * * [points]: Computing exacts on every 27 of 3510 points to ramp up precision
8.108 * * * * [points]: Setting MPFR precision to 64
8.122 * * * * [points]: Setting MPFR precision to 320
8.130 * * * * [points]: Computing exacts on every 13 of 3510 points to ramp up precision
8.134 * * * * [points]: Setting MPFR precision to 64
8.156 * * * * [points]: Setting MPFR precision to 320
8.213 * * * * [points]: Computing exacts on every 6 of 3510 points to ramp up precision
8.225 * * * * [points]: Setting MPFR precision to 64
8.280 * * * * [points]: Setting MPFR precision to 320
8.318 * * * * [points]: Computing exacts on every 3 of 3510 points to ramp up precision
8.326 * * * * [points]: Setting MPFR precision to 64
8.446 * * * * [points]: Setting MPFR precision to 320
8.550 * * * * [points]: Computing exacts for 3510 points
8.558 * * * * [points]: Setting MPFR precision to 64
9.340 * * * * [points]: Setting MPFR precision to 320
9.706 * * * * [points]: Filtering points with unrepresentable outputs
9.714 * * * * [points]: Sampling 1549 additional inputs, on iter 2 have 6451 / 8000
9.722 * * * * [points]: Computing exacts on every 96 of 1549 points to ramp up precision
9.731 * * * * [points]: Setting MPFR precision to 64
9.733 * * * * [points]: Setting MPFR precision to 320
9.735 * * * * [points]: Computing exacts on every 48 of 1549 points to ramp up precision
9.744 * * * * [points]: Setting MPFR precision to 64
9.748 * * * * [points]: Setting MPFR precision to 320
9.752 * * * * [points]: Computing exacts on every 24 of 1549 points to ramp up precision
9.800 * * * * [points]: Setting MPFR precision to 64
9.811 * * * * [points]: Setting MPFR precision to 320
9.819 * * * * [points]: Computing exacts on every 12 of 1549 points to ramp up precision
9.827 * * * * [points]: Setting MPFR precision to 64
9.842 * * * * [points]: Setting MPFR precision to 320
9.856 * * * * [points]: Computing exacts on every 6 of 1549 points to ramp up precision
9.865 * * * * [points]: Setting MPFR precision to 64
9.892 * * * * [points]: Setting MPFR precision to 320
9.920 * * * * [points]: Computing exacts on every 3 of 1549 points to ramp up precision
9.929 * * * * [points]: Setting MPFR precision to 64
9.975 * * * * [points]: Setting MPFR precision to 320
10.063 * * * * [points]: Computing exacts for 1549 points
10.073 * * * * [points]: Setting MPFR precision to 64
10.304 * * * * [points]: Setting MPFR precision to 320
10.484 * * * * [points]: Filtering points with unrepresentable outputs
10.488 * * * * [points]: Sampling 669 additional inputs, on iter 3 have 7331 / 8000
10.491 * * * * [points]: Computing exacts on every 41 of 669 points to ramp up precision
10.532 * * * * [points]: Setting MPFR precision to 64
10.538 * * * * [points]: Setting MPFR precision to 320
10.539 * * * * [points]: Computing exacts on every 20 of 669 points to ramp up precision
10.544 * * * * [points]: Setting MPFR precision to 64
10.546 * * * * [points]: Setting MPFR precision to 320
10.548 * * * * [points]: Computing exacts on every 10 of 669 points to ramp up precision
10.552 * * * * [points]: Setting MPFR precision to 64
10.556 * * * * [points]: Setting MPFR precision to 320
10.560 * * * * [points]: Computing exacts on every 5 of 669 points to ramp up precision
10.564 * * * * [points]: Setting MPFR precision to 64
10.571 * * * * [points]: Setting MPFR precision to 320
10.583 * * * * [points]: Computing exacts on every 2 of 669 points to ramp up precision
10.591 * * * * [points]: Setting MPFR precision to 64
10.615 * * * * [points]: Setting MPFR precision to 320
10.642 * * * * [points]: Computing exacts for 669 points
10.651 * * * * [points]: Setting MPFR precision to 64
10.741 * * * * [points]: Setting MPFR precision to 320
10.817 * * * * [points]: Filtering points with unrepresentable outputs
10.819 * * * * [points]: Sampling 301 additional inputs, on iter 4 have 7699 / 8000
10.821 * * * * [points]: Computing exacts on every 18 of 301 points to ramp up precision
10.830 * * * * [points]: Setting MPFR precision to 64
10.832 * * * * [points]: Setting MPFR precision to 320
10.834 * * * * [points]: Computing exacts on every 9 of 301 points to ramp up precision
10.843 * * * * [points]: Setting MPFR precision to 64
10.846 * * * * [points]: Setting MPFR precision to 320
10.850 * * * * [points]: Computing exacts on every 4 of 301 points to ramp up precision
10.859 * * * * [points]: Setting MPFR precision to 64
10.908 * * * * [points]: Setting MPFR precision to 320
10.918 * * * * [points]: Computing exacts on every 2 of 301 points to ramp up precision
10.926 * * * * [points]: Setting MPFR precision to 64
10.938 * * * * [points]: Setting MPFR precision to 320
10.950 * * * * [points]: Computing exacts for 301 points
10.958 * * * * [points]: Setting MPFR precision to 64
10.984 * * * * [points]: Setting MPFR precision to 320
11.002 * * * * [points]: Filtering points with unrepresentable outputs
11.002 * * * * [points]: Sampling 144 additional inputs, on iter 5 have 7856 / 8000
11.003 * * * * [points]: Computing exacts on every 9 of 144 points to ramp up precision
11.007 * * * * [points]: Setting MPFR precision to 64
11.008 * * * * [points]: Setting MPFR precision to 320
11.009 * * * * [points]: Computing exacts on every 4 of 144 points to ramp up precision
11.014 * * * * [points]: Setting MPFR precision to 64
11.016 * * * * [points]: Setting MPFR precision to 320
11.017 * * * * [points]: Computing exacts on every 2 of 144 points to ramp up precision
11.021 * * * * [points]: Setting MPFR precision to 64
11.025 * * * * [points]: Setting MPFR precision to 320
11.060 * * * * [points]: Computing exacts for 144 points
11.065 * * * * [points]: Setting MPFR precision to 64
11.075 * * * * [points]: Setting MPFR precision to 320
11.083 * * * * [points]: Filtering points with unrepresentable outputs
11.084 * * * * [points]: Sampling 66 additional inputs, on iter 6 have 7934 / 8000
11.084 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
11.088 * * * * [points]: Setting MPFR precision to 64
11.089 * * * * [points]: Setting MPFR precision to 320
11.090 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
11.094 * * * * [points]: Setting MPFR precision to 64
11.095 * * * * [points]: Setting MPFR precision to 320
11.097 * * * * [points]: Computing exacts for 66 points
11.101 * * * * [points]: Setting MPFR precision to 64
11.105 * * * * [points]: Setting MPFR precision to 320
11.109 * * * * [points]: Filtering points with unrepresentable outputs
11.109 * * * * [points]: Sampling 30 additional inputs, on iter 7 have 7970 / 8000
11.109 * * * * [points]: Computing exacts for 30 points
11.114 * * * * [points]: Setting MPFR precision to 64
11.116 * * * * [points]: Setting MPFR precision to 320
11.118 * * * * [points]: Filtering points with unrepresentable outputs
11.118 * * * * [points]: Sampling 11 additional inputs, on iter 8 have 7989 / 8000
11.118 * * * * [points]: Computing exacts for 11 points
11.122 * * * * [points]: Setting MPFR precision to 64
11.123 * * * * [points]: Setting MPFR precision to 320
11.124 * * * * [points]: Filtering points with unrepresentable outputs
11.124 * * * * [points]: Sampling 5 additional inputs, on iter 9 have 7995 / 8000
11.124 * * * * [points]: Computing exacts for 5 points
11.128 * * * * [points]: Setting MPFR precision to 64
11.129 * * * * [points]: Setting MPFR precision to 320
11.129 * * * * [points]: Filtering points with unrepresentable outputs
11.129 * * * * [points]: Sampled 8000 points with exact outputs
15.808 * [regime-testing]: Baseline error score: 64.0
15.815 * [regime-testing]: Oracle error score: 64.0
15.828 * [regime-testing]: End program error score: 0.36375497861190054