0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.004 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.005 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.014 * * * * [points]: Setting MPFR precision to 320
0.016 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.026 * * * * [points]: Setting MPFR precision to 64
0.029 * * * * [points]: Setting MPFR precision to 320
0.032 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.049 * * * * [points]: Setting MPFR precision to 64
0.055 * * * * [points]: Setting MPFR precision to 320
0.061 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.071 * * * * [points]: Setting MPFR precision to 64
0.081 * * * * [points]: Setting MPFR precision to 320
0.091 * * * * [points]: Computing exacts for 256 points
0.100 * * * * [points]: Setting MPFR precision to 64
0.125 * * * * [points]: Setting MPFR precision to 320
0.141 * * * * [points]: Filtering points with unrepresentable outputs
0.141 * * * * [points]: Sampling 122 additional inputs, on iter 1 have 134 / 256
0.142 * * * * [points]: Computing exacts on every 7 of 122 points to ramp up precision
0.148 * * * * [points]: Setting MPFR precision to 64
0.150 * * * * [points]: Setting MPFR precision to 320
0.152 * * * * [points]: Computing exacts on every 3 of 122 points to ramp up precision
0.162 * * * * [points]: Setting MPFR precision to 64
0.165 * * * * [points]: Setting MPFR precision to 320
0.167 * * * * [points]: Computing exacts for 122 points
0.172 * * * * [points]: Setting MPFR precision to 64
0.180 * * * * [points]: Setting MPFR precision to 320
0.215 * * * * [points]: Filtering points with unrepresentable outputs
0.215 * * * * [points]: Sampling 54 additional inputs, on iter 2 have 202 / 256
0.215 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
0.224 * * * * [points]: Setting MPFR precision to 64
0.226 * * * * [points]: Setting MPFR precision to 320
0.227 * * * * [points]: Computing exacts for 54 points
0.237 * * * * [points]: Setting MPFR precision to 64
0.243 * * * * [points]: Setting MPFR precision to 320
0.248 * * * * [points]: Filtering points with unrepresentable outputs
0.248 * * * * [points]: Sampling 19 additional inputs, on iter 3 have 237 / 256
0.249 * * * * [points]: Computing exacts for 19 points
0.258 * * * * [points]: Setting MPFR precision to 64
0.260 * * * * [points]: Setting MPFR precision to 320
0.263 * * * * [points]: Filtering points with unrepresentable outputs
0.263 * * * * [points]: Sampling 10 additional inputs, on iter 4 have 246 / 256
0.263 * * * * [points]: Computing exacts for 10 points
0.272 * * * * [points]: Setting MPFR precision to 64
0.273 * * * * [points]: Setting MPFR precision to 320
0.275 * * * * [points]: Filtering points with unrepresentable outputs
0.275 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256
0.275 * * * * [points]: Computing exacts for 6 points
0.284 * * * * [points]: Setting MPFR precision to 64
0.285 * * * * [points]: Setting MPFR precision to 320
0.286 * * * * [points]: Filtering points with unrepresentable outputs
0.286 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256
0.286 * * * * [points]: Computing exacts for 4 points
0.294 * * * * [points]: Setting MPFR precision to 64
0.295 * * * * [points]: Setting MPFR precision to 320
0.296 * * * * [points]: Filtering points with unrepresentable outputs
0.296 * * * * [points]: Sampled 257 points with exact outputs
0.296 * * * [progress]: [2/2] Setting up program.
0.321 * [progress]: [Phase 2 of 3] Improving.
0.321 * * * * [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.322 * [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.322 * * [simplify]: iters left: 6 (18 enodes)
0.329 * * [simplify]: iters left: 5 (46 enodes)
0.355 * * [simplify]: iters left: 4 (118 enodes)
0.404 * * [simplify]: Extracting #0: cost 1 inf + 0
0.404 * * [simplify]: Extracting #1: cost 10 inf + 0
0.405 * * [simplify]: Extracting #2: cost 62 inf + 0
0.405 * * [simplify]: Extracting #3: cost 165 inf + 2
0.407 * * [simplify]: Extracting #4: cost 154 inf + 3708
0.409 * * [simplify]: Extracting #5: cost 131 inf + 9961
0.410 * * [simplify]: Extracting #6: cost 129 inf + 10365
0.413 * * [simplify]: Extracting #7: cost 82 inf + 46686
0.420 * * [simplify]: Extracting #8: cost 5 inf + 102245
0.435 * * [simplify]: Extracting #9: cost 0 inf + 105668
0.449 * [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.449 * [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.487 * * [progress]: iteration 1 / 4
0.487 * * * [progress]: picking best candidate
0.517 * * * * [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.517 * * * [progress]: localizing error
0.802 * * * [progress]: generating rewritten candidates
0.803 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.920 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.937 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.001 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.078 * * * [progress]: generating series expansions
1.078 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.078 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1.078 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.078 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.078 * * * [progress]: simplifying candidates
1.078 * * * * [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))))>
1.078 * * * * [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))))>
1.079 * * * * [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))))>
1.079 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0))
1.079 * * [simplify]: iters left: 3 (8 enodes)
1.081 * * [simplify]: iters left: 2 (21 enodes)
1.085 * * [simplify]: iters left: 1 (43 enodes)
1.094 * * [simplify]: Extracting #0: cost 1 inf + 0
1.094 * * [simplify]: Extracting #1: cost 16 inf + 0
1.094 * * [simplify]: Extracting #2: cost 16 inf + 2
1.094 * * [simplify]: Extracting #3: cost 13 inf + 367
1.094 * * [simplify]: Extracting #4: cost 0 inf + 3718
1.095 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha))
1.095 * [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))))
1.095 * * * * [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))))))>
1.095 * [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))))
1.095 * * [simplify]: iters left: 4 (15 enodes)
1.099 * * [simplify]: iters left: 3 (36 enodes)
1.105 * * [simplify]: iters left: 2 (66 enodes)
1.116 * * [simplify]: iters left: 1 (90 enodes)
1.130 * * [simplify]: Extracting #0: cost 1 inf + 0
1.130 * * [simplify]: Extracting #1: cost 3 inf + 0
1.130 * * [simplify]: Extracting #2: cost 20 inf + 0
1.130 * * [simplify]: Extracting #3: cost 23 inf + 2
1.130 * * [simplify]: Extracting #4: cost 19 inf + 1493
1.131 * * [simplify]: Extracting #5: cost 9 inf + 3152
1.131 * * [simplify]: Extracting #6: cost 2 inf + 4970
1.132 * * [simplify]: Extracting #7: cost 0 inf + 6578
1.132 * [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.133 * [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.133 * * * * [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.133 * [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.133 * * [simplify]: iters left: 6 (18 enodes)
1.137 * * [simplify]: iters left: 5 (46 enodes)
1.146 * * [simplify]: iters left: 4 (118 enodes)
1.191 * * [simplify]: Extracting #0: cost 1 inf + 0
1.191 * * [simplify]: Extracting #1: cost 10 inf + 0
1.191 * * [simplify]: Extracting #2: cost 62 inf + 0
1.192 * * [simplify]: Extracting #3: cost 165 inf + 2
1.192 * * [simplify]: Extracting #4: cost 154 inf + 3708
1.193 * * [simplify]: Extracting #5: cost 131 inf + 9961
1.195 * * [simplify]: Extracting #6: cost 129 inf + 10365
1.198 * * [simplify]: Extracting #7: cost 82 inf + 46686
1.209 * * [simplify]: Extracting #8: cost 5 inf + 102245
1.226 * * [simplify]: Extracting #9: cost 0 inf + 105668
1.244 * [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.244 * [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.244 * * * * [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.245 * [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.245 * * [simplify]: iters left: 6 (18 enodes)
1.253 * * [simplify]: iters left: 5 (46 enodes)
1.270 * * [simplify]: iters left: 4 (118 enodes)
1.339 * * [simplify]: Extracting #0: cost 1 inf + 0
1.339 * * [simplify]: Extracting #1: cost 10 inf + 0
1.339 * * [simplify]: Extracting #2: cost 62 inf + 0
1.340 * * [simplify]: Extracting #3: cost 165 inf + 2
1.342 * * [simplify]: Extracting #4: cost 154 inf + 3708
1.344 * * [simplify]: Extracting #5: cost 131 inf + 9961
1.346 * * [simplify]: Extracting #6: cost 129 inf + 10365
1.353 * * [simplify]: Extracting #7: cost 82 inf + 46686
1.368 * * [simplify]: Extracting #8: cost 5 inf + 102245
1.383 * * [simplify]: Extracting #9: cost 0 inf + 105668
1.392 * [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.392 * [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.392 * * * * [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.392 * [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.392 * * [simplify]: iters left: 6 (18 enodes)
1.396 * * [simplify]: iters left: 5 (46 enodes)
1.407 * * [simplify]: iters left: 4 (118 enodes)
1.438 * * [simplify]: Extracting #0: cost 1 inf + 0
1.438 * * [simplify]: Extracting #1: cost 10 inf + 0
1.438 * * [simplify]: Extracting #2: cost 62 inf + 0
1.439 * * [simplify]: Extracting #3: cost 165 inf + 2
1.439 * * [simplify]: Extracting #4: cost 154 inf + 3708
1.440 * * [simplify]: Extracting #5: cost 131 inf + 9961
1.441 * * [simplify]: Extracting #6: cost 129 inf + 10365
1.444 * * [simplify]: Extracting #7: cost 82 inf + 46686
1.451 * * [simplify]: Extracting #8: cost 5 inf + 102245
1.468 * * [simplify]: Extracting #9: cost 0 inf + 105668
1.479 * [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.479 * [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.479 * * * * [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.480 * [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.480 * * [simplify]: iters left: 6 (18 enodes)
1.484 * * [simplify]: iters left: 5 (46 enodes)
1.492 * * [simplify]: iters left: 4 (118 enodes)
1.529 * * [simplify]: Extracting #0: cost 1 inf + 0
1.529 * * [simplify]: Extracting #1: cost 10 inf + 0
1.529 * * [simplify]: Extracting #2: cost 62 inf + 0
1.529 * * [simplify]: Extracting #3: cost 165 inf + 2
1.530 * * [simplify]: Extracting #4: cost 154 inf + 3708
1.531 * * [simplify]: Extracting #5: cost 131 inf + 9961
1.532 * * [simplify]: Extracting #6: cost 129 inf + 10365
1.536 * * [simplify]: Extracting #7: cost 82 inf + 46686
1.547 * * [simplify]: Extracting #8: cost 5 inf + 102245
1.565 * * [simplify]: Extracting #9: cost 0 inf + 105668
1.579 * [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.579 * [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.580 * * * [progress]: adding candidates to table
1.862 * * [progress]: iteration 2 / 4
1.862 * * * [progress]: picking best candidate
1.923 * * * * [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.924 * * * [progress]: localizing error
2.238 * * * [progress]: generating rewritten candidates
2.238 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
2.269 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
2.273 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
2.296 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
2.300 * * * [progress]: generating series expansions
2.300 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
2.300 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
2.300 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.300 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2)
2.300 * * * [progress]: simplifying candidates
2.300 * * * * [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.300 * [simplify]: Simplifying (*.p16 beta alpha)
2.300 * * [simplify]: iters left: 1 (3 enodes)
2.301 * * [simplify]: Extracting #0: cost 1 inf + 0
2.301 * * [simplify]: Extracting #1: cost 3 inf + 0
2.301 * * [simplify]: Extracting #2: cost 1 inf + 2
2.301 * * [simplify]: Extracting #3: cost 0 inf + 324
2.301 * [simplify]: Simplified to (*.p16 alpha beta)
2.301 * [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.301 * * * * [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.301 * * * * [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.301 * [simplify]: Simplifying (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0))
2.301 * * [simplify]: iters left: 4 (8 enodes)
2.305 * * [simplify]: iters left: 3 (21 enodes)
2.311 * * [simplify]: iters left: 2 (41 enodes)
2.321 * * [simplify]: iters left: 1 (61 enodes)
2.330 * * [simplify]: Extracting #0: cost 1 inf + 0
2.330 * * [simplify]: Extracting #1: cost 16 inf + 0
2.330 * * [simplify]: Extracting #2: cost 17 inf + 2
2.330 * * [simplify]: Extracting #3: cost 12 inf + 1091
2.331 * * [simplify]: Extracting #4: cost 3 inf + 3553
2.331 * * [simplify]: Extracting #5: cost 0 inf + 4280
2.332 * [simplify]: Simplified to (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0)))
2.332 * [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.332 * * * * [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.332 * * * * [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.332 * * * * [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.332 * * * * [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.332 * * * * [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.332 * * * [progress]: adding candidates to table
2.538 * * [progress]: iteration 3 / 4
2.538 * * * [progress]: picking best candidate
2.606 * * * * [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.606 * * * [progress]: localizing error
3.046 * * * [progress]: generating rewritten candidates
3.046 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
3.121 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
3.130 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
3.182 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
3.229 * * * [progress]: generating series expansions
3.229 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
3.229 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
3.229 * * * * [progress]: [ 3 / 4 ] generating series at (2)
3.229 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
3.229 * * * [progress]: simplifying candidates
3.229 * * * * [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.229 * * * * [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.229 * * * * [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.229 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
3.229 * * [simplify]: iters left: 3 (9 enodes)
3.232 * * [simplify]: iters left: 2 (22 enodes)
3.235 * * [simplify]: iters left: 1 (30 enodes)
3.240 * * [simplify]: Extracting #0: cost 1 inf + 0
3.240 * * [simplify]: Extracting #1: cost 7 inf + 0
3.240 * * [simplify]: Extracting #2: cost 7 inf + 2
3.240 * * [simplify]: Extracting #3: cost 8 inf + 44
3.240 * * [simplify]: Extracting #4: cost 4 inf + 48
3.240 * * [simplify]: Extracting #5: cost 1 inf + 1137
3.240 * * [simplify]: Extracting #6: cost 0 inf + 1500
3.240 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
3.241 * [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.241 * * * * [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.241 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0))
3.241 * * [simplify]: iters left: 3 (8 enodes)
3.243 * * [simplify]: iters left: 2 (21 enodes)
3.248 * * [simplify]: iters left: 1 (43 enodes)
3.263 * * [simplify]: Extracting #0: cost 1 inf + 0
3.263 * * [simplify]: Extracting #1: cost 16 inf + 0
3.263 * * [simplify]: Extracting #2: cost 16 inf + 2
3.263 * * [simplify]: Extracting #3: cost 13 inf + 367
3.264 * * [simplify]: Extracting #4: cost 0 inf + 3718
3.265 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha))
3.265 * [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.265 * * * * [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.265 * [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.266 * * [simplify]: iters left: 5 (13 enodes)
3.274 * * [simplify]: iters left: 4 (33 enodes)
3.286 * * [simplify]: iters left: 3 (75 enodes)
3.331 * * [simplify]: iters left: 2 (299 enodes)
3.716 * * [simplify]: Extracting #0: cost 1 inf + 0
3.716 * * [simplify]: Extracting #1: cost 150 inf + 0
3.719 * * [simplify]: Extracting #2: cost 497 inf + 0
3.723 * * [simplify]: Extracting #3: cost 531 inf + 3559
3.733 * * [simplify]: Extracting #4: cost 402 inf + 72063
3.766 * * [simplify]: Extracting #5: cost 50 inf + 307373
3.817 * * [simplify]: Extracting #6: cost 0 inf + 355493
3.852 * [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.852 * [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.852 * * * * [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.853 * [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.853 * * [simplify]: iters left: 5 (13 enodes)
3.856 * * [simplify]: iters left: 4 (39 enodes)
3.865 * * [simplify]: iters left: 3 (119 enodes)
3.947 * * [simplify]: Extracting #0: cost 1 inf + 0
3.947 * * [simplify]: Extracting #1: cost 54 inf + 0
3.948 * * [simplify]: Extracting #2: cost 200 inf + 0
3.950 * * [simplify]: Extracting #3: cost 214 inf + 2271
3.952 * * [simplify]: Extracting #4: cost 155 inf + 33806
3.959 * * [simplify]: Extracting #5: cost 20 inf + 120375
3.967 * * [simplify]: Extracting #6: cost 0 inf + 134925
3.976 * [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.976 * [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.976 * * * * [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.976 * * * * [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.976 * [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.976 * * [simplify]: iters left: 4 (15 enodes)
3.980 * * [simplify]: iters left: 3 (36 enodes)
3.986 * * [simplify]: iters left: 2 (66 enodes)
3.997 * * [simplify]: iters left: 1 (90 enodes)
4.010 * * [simplify]: Extracting #0: cost 1 inf + 0
4.011 * * [simplify]: Extracting #1: cost 3 inf + 0
4.011 * * [simplify]: Extracting #2: cost 20 inf + 0
4.011 * * [simplify]: Extracting #3: cost 23 inf + 2
4.011 * * [simplify]: Extracting #4: cost 19 inf + 1493
4.011 * * [simplify]: Extracting #5: cost 9 inf + 3152
4.012 * * [simplify]: Extracting #6: cost 2 inf + 4970
4.012 * * [simplify]: Extracting #7: cost 0 inf + 6578
4.013 * [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.013 * [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.013 * * * * [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))))))>
4.014 * [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.014 * * [simplify]: iters left: 4 (15 enodes)
4.018 * * [simplify]: iters left: 3 (36 enodes)
4.026 * * [simplify]: iters left: 2 (66 enodes)
4.047 * * [simplify]: iters left: 1 (90 enodes)
4.062 * * [simplify]: Extracting #0: cost 1 inf + 0
4.062 * * [simplify]: Extracting #1: cost 3 inf + 0
4.062 * * [simplify]: Extracting #2: cost 20 inf + 0
4.062 * * [simplify]: Extracting #3: cost 23 inf + 2
4.062 * * [simplify]: Extracting #4: cost 19 inf + 1493
4.062 * * [simplify]: Extracting #5: cost 9 inf + 3152
4.063 * * [simplify]: Extracting #6: cost 2 inf + 4970
4.064 * * [simplify]: Extracting #7: cost 0 inf + 6578
4.064 * [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.064 * [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.064 * * * * [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))))))>
4.065 * [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.065 * * [simplify]: iters left: 4 (15 enodes)
4.068 * * [simplify]: iters left: 3 (36 enodes)
4.075 * * [simplify]: iters left: 2 (66 enodes)
4.085 * * [simplify]: iters left: 1 (90 enodes)
4.105 * * [simplify]: Extracting #0: cost 1 inf + 0
4.105 * * [simplify]: Extracting #1: cost 3 inf + 0
4.105 * * [simplify]: Extracting #2: cost 20 inf + 0
4.105 * * [simplify]: Extracting #3: cost 23 inf + 2
4.106 * * [simplify]: Extracting #4: cost 19 inf + 1493
4.106 * * [simplify]: Extracting #5: cost 9 inf + 3152
4.106 * * [simplify]: Extracting #6: cost 2 inf + 4970
4.107 * * [simplify]: Extracting #7: cost 0 inf + 6578
4.108 * [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.108 * [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.108 * * * * [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))))))>
4.108 * [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.108 * * [simplify]: iters left: 4 (15 enodes)
4.112 * * [simplify]: iters left: 3 (36 enodes)
4.118 * * [simplify]: iters left: 2 (66 enodes)
4.129 * * [simplify]: iters left: 1 (90 enodes)
4.143 * * [simplify]: Extracting #0: cost 1 inf + 0
4.143 * * [simplify]: Extracting #1: cost 3 inf + 0
4.144 * * [simplify]: Extracting #2: cost 20 inf + 0
4.144 * * [simplify]: Extracting #3: cost 23 inf + 2
4.144 * * [simplify]: Extracting #4: cost 19 inf + 1493
4.144 * * [simplify]: Extracting #5: cost 9 inf + 3152
4.145 * * [simplify]: Extracting #6: cost 2 inf + 4970
4.145 * * [simplify]: Extracting #7: cost 0 inf + 6578
4.146 * [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.146 * [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.146 * * * [progress]: adding candidates to table
4.418 * * [progress]: iteration 4 / 4
4.418 * * * [progress]: picking best candidate
4.485 * * * * [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.485 * * * [progress]: localizing error
4.805 * * * [progress]: generating rewritten candidates
4.805 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
4.883 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
4.893 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
4.982 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
5.040 * * * [progress]: generating series expansions
5.040 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
5.040 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
5.041 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
5.041 * * * * [progress]: [ 4 / 4 ] generating series at (2)
5.041 * * * [progress]: simplifying candidates
5.041 * * * * [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)))))>
5.041 * * * * [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)))))>
5.041 * * * * [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)))))>
5.041 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0))
5.041 * * [simplify]: iters left: 3 (8 enodes)
5.045 * * [simplify]: iters left: 2 (21 enodes)
5.052 * * [simplify]: iters left: 1 (43 enodes)
5.066 * * [simplify]: Extracting #0: cost 1 inf + 0
5.066 * * [simplify]: Extracting #1: cost 16 inf + 0
5.067 * * [simplify]: Extracting #2: cost 16 inf + 2
5.067 * * [simplify]: Extracting #3: cost 13 inf + 367
5.068 * * [simplify]: Extracting #4: cost 0 inf + 3718
5.069 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha))
5.069 * [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)))))
5.069 * * * * [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)))))>
5.069 * [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))))
5.069 * * [simplify]: iters left: 4 (15 enodes)
5.076 * * [simplify]: iters left: 3 (36 enodes)
5.088 * * [simplify]: iters left: 2 (66 enodes)
5.110 * * [simplify]: iters left: 1 (90 enodes)
5.128 * * [simplify]: Extracting #0: cost 1 inf + 0
5.128 * * [simplify]: Extracting #1: cost 3 inf + 0
5.128 * * [simplify]: Extracting #2: cost 20 inf + 0
5.128 * * [simplify]: Extracting #3: cost 23 inf + 2
5.128 * * [simplify]: Extracting #4: cost 19 inf + 1493
5.129 * * [simplify]: Extracting #5: cost 9 inf + 3152
5.129 * * [simplify]: Extracting #6: cost 2 inf + 4970
5.130 * * [simplify]: Extracting #7: cost 0 inf + 6578
5.131 * [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)))
5.131 * [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)))))
5.131 * * * * [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)))))>
5.131 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
5.131 * * [simplify]: iters left: 3 (9 enodes)
5.133 * * [simplify]: iters left: 2 (22 enodes)
5.137 * * [simplify]: iters left: 1 (30 enodes)
5.141 * * [simplify]: Extracting #0: cost 1 inf + 0
5.142 * * [simplify]: Extracting #1: cost 7 inf + 0
5.142 * * [simplify]: Extracting #2: cost 7 inf + 2
5.142 * * [simplify]: Extracting #3: cost 8 inf + 44
5.142 * * [simplify]: Extracting #4: cost 4 inf + 48
5.142 * * [simplify]: Extracting #5: cost 1 inf + 1137
5.142 * * [simplify]: Extracting #6: cost 0 inf + 1500
5.142 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
5.142 * [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)))))
5.142 * * * * [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)))))>
5.143 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
5.143 * * [simplify]: iters left: 3 (9 enodes)
5.145 * * [simplify]: iters left: 2 (22 enodes)
5.150 * * [simplify]: iters left: 1 (30 enodes)
5.159 * * [simplify]: Extracting #0: cost 1 inf + 0
5.159 * * [simplify]: Extracting #1: cost 7 inf + 0
5.159 * * [simplify]: Extracting #2: cost 7 inf + 2
5.159 * * [simplify]: Extracting #3: cost 8 inf + 44
5.159 * * [simplify]: Extracting #4: cost 4 inf + 48
5.160 * * [simplify]: Extracting #5: cost 1 inf + 1137
5.160 * * [simplify]: Extracting #6: cost 0 inf + 1500
5.160 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
5.160 * [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)))))
5.161 * * * * [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)))))>
5.161 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
5.161 * * [simplify]: iters left: 3 (9 enodes)
5.165 * * [simplify]: iters left: 2 (22 enodes)
5.173 * * [simplify]: iters left: 1 (30 enodes)
5.179 * * [simplify]: Extracting #0: cost 1 inf + 0
5.179 * * [simplify]: Extracting #1: cost 7 inf + 0
5.180 * * [simplify]: Extracting #2: cost 7 inf + 2
5.180 * * [simplify]: Extracting #3: cost 8 inf + 44
5.180 * * [simplify]: Extracting #4: cost 4 inf + 48
5.180 * * [simplify]: Extracting #5: cost 1 inf + 1137
5.180 * * [simplify]: Extracting #6: cost 0 inf + 1500
5.180 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
5.180 * [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)))))
5.180 * * * * [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)))))>
5.180 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
5.181 * * [simplify]: iters left: 3 (9 enodes)
5.183 * * [simplify]: iters left: 2 (22 enodes)
5.186 * * [simplify]: iters left: 1 (30 enodes)
5.191 * * [simplify]: Extracting #0: cost 1 inf + 0
5.191 * * [simplify]: Extracting #1: cost 7 inf + 0
5.191 * * [simplify]: Extracting #2: cost 7 inf + 2
5.191 * * [simplify]: Extracting #3: cost 8 inf + 44
5.191 * * [simplify]: Extracting #4: cost 4 inf + 48
5.192 * * [simplify]: Extracting #5: cost 1 inf + 1137
5.192 * * [simplify]: Extracting #6: cost 0 inf + 1500
5.192 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
5.192 * [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)))))
5.192 * * * [progress]: adding candidates to table
5.382 * [progress]: [Phase 3 of 3] Extracting.
5.382 * * [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 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 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 (+.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))))))> #<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))))))>)
5.390 * * * [regime-changes]: Trying 2 branch expressions: (beta alpha)
5.390 * * * * [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 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 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 (+.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))))))> #<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))))))>)
5.593 * * * * [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 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 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 (+.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))))))> #<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))))))>)
5.769 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
5.769 * [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.770 * * [simplify]: iters left: 6 (18 enodes)
5.772 * * [simplify]: iters left: 5 (20 enodes)
5.773 * * [simplify]: Extracting #0: cost 1 inf + 0
5.773 * * [simplify]: Extracting #1: cost 3 inf + 0
5.773 * * [simplify]: Extracting #2: cost 7 inf + 0
5.773 * * [simplify]: Extracting #3: cost 13 inf + 0
5.773 * * [simplify]: Extracting #4: cost 15 inf + 2
5.773 * * [simplify]: Extracting #5: cost 10 inf + 49
5.773 * * [simplify]: Extracting #6: cost 5 inf + 1543
5.773 * * [simplify]: Extracting #7: cost 3 inf + 2388
5.774 * * [simplify]: Extracting #8: cost 1 inf + 5358
5.774 * * [simplify]: Extracting #9: cost 0 inf + 7523
5.774 * [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.774 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
5.798 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
5.802 * * * * [points]: Setting MPFR precision to 64
5.804 * * * * [points]: Setting MPFR precision to 320
5.805 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
5.809 * * * * [points]: Setting MPFR precision to 64
5.811 * * * * [points]: Setting MPFR precision to 320
5.813 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
5.818 * * * * [points]: Setting MPFR precision to 64
5.822 * * * * [points]: Setting MPFR precision to 320
5.826 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
5.830 * * * * [points]: Setting MPFR precision to 64
5.839 * * * * [points]: Setting MPFR precision to 320
5.847 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
5.867 * * * * [points]: Setting MPFR precision to 64
5.883 * * * * [points]: Setting MPFR precision to 320
5.898 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
5.903 * * * * [points]: Setting MPFR precision to 64
5.934 * * * * [points]: Setting MPFR precision to 320
5.965 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
5.996 * * * * [points]: Setting MPFR precision to 64
6.059 * * * * [points]: Setting MPFR precision to 320
6.180 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
6.190 * * * * [points]: Setting MPFR precision to 64
6.712 * * * * [points]: Setting MPFR precision to 320
6.889 * * * * [points]: Computing exacts for 8000 points
6.894 * * * * [points]: Setting MPFR precision to 64
7.719 * * * * [points]: Setting MPFR precision to 320
8.588 * * * * [points]: Filtering points with unrepresentable outputs
8.597 * * * * [points]: Sampling 3510 additional inputs, on iter 1 have 4490 / 8000
8.630 * * * * [points]: Computing exacts on every 219 of 3510 points to ramp up precision
8.635 * * * * [points]: Setting MPFR precision to 64
8.636 * * * * [points]: Setting MPFR precision to 320
8.637 * * * * [points]: Computing exacts on every 109 of 3510 points to ramp up precision
8.643 * * * * [points]: Setting MPFR precision to 64
8.645 * * * * [points]: Setting MPFR precision to 320
8.647 * * * * [points]: Computing exacts on every 54 of 3510 points to ramp up precision
8.652 * * * * [points]: Setting MPFR precision to 64
8.656 * * * * [points]: Setting MPFR precision to 320
8.660 * * * * [points]: Computing exacts on every 27 of 3510 points to ramp up precision
8.665 * * * * [points]: Setting MPFR precision to 64
8.673 * * * * [points]: Setting MPFR precision to 320
8.681 * * * * [points]: Computing exacts on every 13 of 3510 points to ramp up precision
8.686 * * * * [points]: Setting MPFR precision to 64
8.702 * * * * [points]: Setting MPFR precision to 320
8.736 * * * * [points]: Computing exacts on every 6 of 3510 points to ramp up precision
8.741 * * * * [points]: Setting MPFR precision to 64
8.777 * * * * [points]: Setting MPFR precision to 320
8.809 * * * * [points]: Computing exacts on every 3 of 3510 points to ramp up precision
8.814 * * * * [points]: Setting MPFR precision to 64
8.906 * * * * [points]: Setting MPFR precision to 320
8.963 * * * * [points]: Computing exacts for 3510 points
8.968 * * * * [points]: Setting MPFR precision to 64
9.711 * * * * [points]: Setting MPFR precision to 320
10.123 * * * * [points]: Filtering points with unrepresentable outputs
10.131 * * * * [points]: Sampling 1549 additional inputs, on iter 2 have 6451 / 8000
10.139 * * * * [points]: Computing exacts on every 96 of 1549 points to ramp up precision
10.149 * * * * [points]: Setting MPFR precision to 64
10.151 * * * * [points]: Setting MPFR precision to 320
10.153 * * * * [points]: Computing exacts on every 48 of 1549 points to ramp up precision
10.197 * * * * [points]: Setting MPFR precision to 64
10.201 * * * * [points]: Setting MPFR precision to 320
10.208 * * * * [points]: Computing exacts on every 24 of 1549 points to ramp up precision
10.213 * * * * [points]: Setting MPFR precision to 64
10.217 * * * * [points]: Setting MPFR precision to 320
10.221 * * * * [points]: Computing exacts on every 12 of 1549 points to ramp up precision
10.226 * * * * [points]: Setting MPFR precision to 64
10.233 * * * * [points]: Setting MPFR precision to 320
10.243 * * * * [points]: Computing exacts on every 6 of 1549 points to ramp up precision
10.249 * * * * [points]: Setting MPFR precision to 64
10.263 * * * * [points]: Setting MPFR precision to 320
10.280 * * * * [points]: Computing exacts on every 3 of 1549 points to ramp up precision
10.290 * * * * [points]: Setting MPFR precision to 64
10.361 * * * * [points]: Setting MPFR precision to 320
10.390 * * * * [points]: Computing exacts for 1549 points
10.395 * * * * [points]: Setting MPFR precision to 64
10.606 * * * * [points]: Setting MPFR precision to 320
10.806 * * * * [points]: Filtering points with unrepresentable outputs
10.809 * * * * [points]: Sampling 669 additional inputs, on iter 3 have 7331 / 8000
10.814 * * * * [points]: Computing exacts on every 41 of 669 points to ramp up precision
10.825 * * * * [points]: Setting MPFR precision to 64
10.828 * * * * [points]: Setting MPFR precision to 320
10.830 * * * * [points]: Computing exacts on every 20 of 669 points to ramp up precision
10.839 * * * * [points]: Setting MPFR precision to 64
10.843 * * * * [points]: Setting MPFR precision to 320
10.847 * * * * [points]: Computing exacts on every 10 of 669 points to ramp up precision
10.855 * * * * [points]: Setting MPFR precision to 64
10.859 * * * * [points]: Setting MPFR precision to 320
10.863 * * * * [points]: Computing exacts on every 5 of 669 points to ramp up precision
10.867 * * * * [points]: Setting MPFR precision to 64
10.875 * * * * [points]: Setting MPFR precision to 320
10.882 * * * * [points]: Computing exacts on every 2 of 669 points to ramp up precision
10.890 * * * * [points]: Setting MPFR precision to 64
10.904 * * * * [points]: Setting MPFR precision to 320
10.951 * * * * [points]: Computing exacts for 669 points
10.964 * * * * [points]: Setting MPFR precision to 64
11.018 * * * * [points]: Setting MPFR precision to 320
11.075 * * * * [points]: Filtering points with unrepresentable outputs
11.076 * * * * [points]: Sampling 301 additional inputs, on iter 4 have 7699 / 8000
11.077 * * * * [points]: Computing exacts on every 18 of 301 points to ramp up precision
11.082 * * * * [points]: Setting MPFR precision to 64
11.083 * * * * [points]: Setting MPFR precision to 320
11.084 * * * * [points]: Computing exacts on every 9 of 301 points to ramp up precision
11.120 * * * * [points]: Setting MPFR precision to 64
11.127 * * * * [points]: Setting MPFR precision to 320
11.131 * * * * [points]: Computing exacts on every 4 of 301 points to ramp up precision
11.141 * * * * [points]: Setting MPFR precision to 64
11.148 * * * * [points]: Setting MPFR precision to 320
11.154 * * * * [points]: Computing exacts on every 2 of 301 points to ramp up precision
11.163 * * * * [points]: Setting MPFR precision to 64
11.170 * * * * [points]: Setting MPFR precision to 320
11.176 * * * * [points]: Computing exacts for 301 points
11.181 * * * * [points]: Setting MPFR precision to 64
11.209 * * * * [points]: Setting MPFR precision to 320
11.246 * * * * [points]: Filtering points with unrepresentable outputs
11.247 * * * * [points]: Sampling 144 additional inputs, on iter 5 have 7856 / 8000
11.248 * * * * [points]: Computing exacts on every 9 of 144 points to ramp up precision
11.257 * * * * [points]: Setting MPFR precision to 64
11.259 * * * * [points]: Setting MPFR precision to 320
11.292 * * * * [points]: Computing exacts on every 4 of 144 points to ramp up precision
11.300 * * * * [points]: Setting MPFR precision to 64
11.303 * * * * [points]: Setting MPFR precision to 320
11.305 * * * * [points]: Computing exacts on every 2 of 144 points to ramp up precision
11.310 * * * * [points]: Setting MPFR precision to 64
11.314 * * * * [points]: Setting MPFR precision to 320
11.317 * * * * [points]: Computing exacts for 144 points
11.322 * * * * [points]: Setting MPFR precision to 64
11.336 * * * * [points]: Setting MPFR precision to 320
11.354 * * * * [points]: Filtering points with unrepresentable outputs
11.355 * * * * [points]: Sampling 66 additional inputs, on iter 6 have 7934 / 8000
11.355 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
11.366 * * * * [points]: Setting MPFR precision to 64
11.368 * * * * [points]: Setting MPFR precision to 320
11.369 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
11.379 * * * * [points]: Setting MPFR precision to 64
11.382 * * * * [points]: Setting MPFR precision to 320
11.385 * * * * [points]: Computing exacts for 66 points
11.395 * * * * [points]: Setting MPFR precision to 64
11.402 * * * * [points]: Setting MPFR precision to 320
11.409 * * * * [points]: Filtering points with unrepresentable outputs
11.409 * * * * [points]: Sampling 30 additional inputs, on iter 7 have 7970 / 8000
11.409 * * * * [points]: Computing exacts for 30 points
11.444 * * * * [points]: Setting MPFR precision to 64
11.448 * * * * [points]: Setting MPFR precision to 320
11.452 * * * * [points]: Filtering points with unrepresentable outputs
11.452 * * * * [points]: Sampling 11 additional inputs, on iter 8 have 7989 / 8000
11.452 * * * * [points]: Computing exacts for 11 points
11.466 * * * * [points]: Setting MPFR precision to 64
11.467 * * * * [points]: Setting MPFR precision to 320
11.468 * * * * [points]: Filtering points with unrepresentable outputs
11.469 * * * * [points]: Sampling 5 additional inputs, on iter 9 have 7995 / 8000
11.469 * * * * [points]: Computing exacts for 5 points
11.479 * * * * [points]: Setting MPFR precision to 64
11.479 * * * * [points]: Setting MPFR precision to 320
11.480 * * * * [points]: Filtering points with unrepresentable outputs
11.480 * * * * [points]: Sampled 8000 points with exact outputs
17.567 * [regime-testing]: Baseline error score: 64.0
17.573 * [regime-testing]: Oracle error score: 64.0
17.584 * [regime-testing]: End program error score: 0.36375497861190054