0.002 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [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.015 * * * * [points]: Setting MPFR precision to 320
0.016 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.024 * * * * [points]: Setting MPFR precision to 64
0.026 * * * * [points]: Setting MPFR precision to 320
0.027 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.036 * * * * [points]: Setting MPFR precision to 64
0.040 * * * * [points]: Setting MPFR precision to 320
0.044 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.048 * * * * [points]: Setting MPFR precision to 64
0.054 * * * * [points]: Setting MPFR precision to 320
0.060 * * * * [points]: Computing exacts for 256 points
0.065 * * * * [points]: Setting MPFR precision to 64
0.082 * * * * [points]: Setting MPFR precision to 320
0.098 * * * * [points]: Filtering points with unrepresentable outputs
0.099 * * * * [points]: Sampling 99 additional inputs, on iter 1 have 157 / 256
0.099 * * * * [points]: Computing exacts on every 6 of 99 points to ramp up precision
0.103 * * * * [points]: Setting MPFR precision to 64
0.104 * * * * [points]: Setting MPFR precision to 320
0.105 * * * * [points]: Computing exacts on every 3 of 99 points to ramp up precision
0.110 * * * * [points]: Setting MPFR precision to 64
0.111 * * * * [points]: Setting MPFR precision to 320
0.113 * * * * [points]: Computing exacts for 99 points
0.118 * * * * [points]: Setting MPFR precision to 64
0.124 * * * * [points]: Setting MPFR precision to 320
0.149 * * * * [points]: Filtering points with unrepresentable outputs
0.149 * * * * [points]: Sampling 46 additional inputs, on iter 2 have 210 / 256
0.151 * * * * [points]: Computing exacts on every 2 of 46 points to ramp up precision
0.155 * * * * [points]: Setting MPFR precision to 64
0.157 * * * * [points]: Setting MPFR precision to 320
0.158 * * * * [points]: Computing exacts for 46 points
0.162 * * * * [points]: Setting MPFR precision to 64
0.165 * * * * [points]: Setting MPFR precision to 320
0.169 * * * * [points]: Filtering points with unrepresentable outputs
0.169 * * * * [points]: Sampling 14 additional inputs, on iter 3 have 242 / 256
0.169 * * * * [points]: Computing exacts for 14 points
0.173 * * * * [points]: Setting MPFR precision to 64
0.174 * * * * [points]: Setting MPFR precision to 320
0.175 * * * * [points]: Filtering points with unrepresentable outputs
0.175 * * * * [points]: Sampling 6 additional inputs, on iter 4 have 250 / 256
0.175 * * * * [points]: Computing exacts for 6 points
0.180 * * * * [points]: Setting MPFR precision to 64
0.180 * * * * [points]: Setting MPFR precision to 320
0.181 * * * * [points]: Filtering points with unrepresentable outputs
0.181 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 252 / 256
0.181 * * * * [points]: Computing exacts for 4 points
0.185 * * * * [points]: Setting MPFR precision to 64
0.185 * * * * [points]: Setting MPFR precision to 320
0.186 * * * * [points]: Filtering points with unrepresentable outputs
0.186 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 255 / 256
0.186 * * * * [points]: Computing exacts for 4 points
0.190 * * * * [points]: Setting MPFR precision to 64
0.190 * * * * [points]: Setting MPFR precision to 320
0.191 * * * * [points]: Filtering points with unrepresentable outputs
0.191 * * * * [points]: Sampled 257 points with exact outputs
0.191 * * * [progress]: [2/2] Setting up program.
0.206 * [progress]: [Phase 2 of 3] Improving.
0.206 * * * * [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.206 * [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.206 * * [simplify]: iters left: 6 (18 enodes)
0.211 * * [simplify]: iters left: 5 (46 enodes)
0.222 * * [simplify]: iters left: 4 (118 enodes)
0.273 * * [simplify]: Extracting #0: cost 1 inf + 0
0.273 * * [simplify]: Extracting #1: cost 10 inf + 0
0.274 * * [simplify]: Extracting #2: cost 62 inf + 0
0.274 * * [simplify]: Extracting #3: cost 165 inf + 2
0.275 * * [simplify]: Extracting #4: cost 154 inf + 3708
0.276 * * [simplify]: Extracting #5: cost 131 inf + 9961
0.277 * * [simplify]: Extracting #6: cost 129 inf + 10365
0.280 * * [simplify]: Extracting #7: cost 82 inf + 46686
0.287 * * [simplify]: Extracting #8: cost 5 inf + 102245
0.295 * * [simplify]: Extracting #9: cost 0 inf + 105668
0.304 * [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.304 * [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.338 * * [progress]: iteration 1 / 4
0.338 * * * [progress]: picking best candidate
0.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 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.367 * * * [progress]: localizing error
0.712 * * * [progress]: generating rewritten candidates
0.712 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.822 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.839 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.947 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
1.001 * * * [progress]: generating series expansions
1.001 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.001 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1.001 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.001 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1.001 * * * [progress]: simplifying candidates
1.001 * * * * [progress]: [ 1 / 9 ] 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.001 * * * * [progress]: [ 2 / 9 ] 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.002 * * * * [progress]: [ 3 / 9 ] 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.002 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0))
1.002 * * [simplify]: iters left: 3 (8 enodes)
1.004 * * [simplify]: iters left: 2 (21 enodes)
1.008 * * [simplify]: iters left: 1 (43 enodes)
1.017 * * [simplify]: Extracting #0: cost 1 inf + 0
1.017 * * [simplify]: Extracting #1: cost 16 inf + 0
1.017 * * [simplify]: Extracting #2: cost 16 inf + 2
1.017 * * [simplify]: Extracting #3: cost 13 inf + 367
1.018 * * [simplify]: Extracting #4: cost 0 inf + 3718
1.019 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha))
1.019 * [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.019 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.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.020 * [simplify]: Simplifying (+.p16 alpha beta)
1.020 * * [simplify]: iters left: 1 (3 enodes)
1.021 * * [simplify]: Extracting #0: cost 1 inf + 0
1.021 * * [simplify]: Extracting #1: cost 3 inf + 0
1.021 * * [simplify]: Extracting #2: cost 1 inf + 2
1.021 * * [simplify]: Extracting #3: cost 0 inf + 44
1.021 * [simplify]: Simplified to (+.p16 beta alpha)
1.021 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 beta alpha) (+.p16 (*.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.021 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha beta) (*.p16 beta alpha))) (+.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.022 * * * * [progress]: [ 6 / 9 ] 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.022 * [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.022 * * [simplify]: iters left: 6 (18 enodes)
1.031 * * [simplify]: iters left: 5 (46 enodes)
1.049 * * [simplify]: iters left: 4 (118 enodes)
1.083 * * [simplify]: Extracting #0: cost 1 inf + 0
1.083 * * [simplify]: Extracting #1: cost 10 inf + 0
1.083 * * [simplify]: Extracting #2: cost 62 inf + 0
1.084 * * [simplify]: Extracting #3: cost 165 inf + 2
1.084 * * [simplify]: Extracting #4: cost 154 inf + 3708
1.085 * * [simplify]: Extracting #5: cost 131 inf + 9961
1.087 * * [simplify]: Extracting #6: cost 129 inf + 10365
1.090 * * [simplify]: Extracting #7: cost 82 inf + 46686
1.101 * * [simplify]: Extracting #8: cost 5 inf + 102245
1.118 * * [simplify]: Extracting #9: cost 0 inf + 105668
1.130 * [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.130 * [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.130 * * * * [progress]: [ 7 / 9 ] 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.130 * [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.130 * * [simplify]: iters left: 6 (18 enodes)
1.135 * * [simplify]: iters left: 5 (46 enodes)
1.144 * * [simplify]: iters left: 4 (118 enodes)
1.195 * * [simplify]: Extracting #0: cost 1 inf + 0
1.195 * * [simplify]: Extracting #1: cost 10 inf + 0
1.195 * * [simplify]: Extracting #2: cost 62 inf + 0
1.195 * * [simplify]: Extracting #3: cost 165 inf + 2
1.198 * * [simplify]: Extracting #4: cost 154 inf + 3708
1.199 * * [simplify]: Extracting #5: cost 131 inf + 9961
1.200 * * [simplify]: Extracting #6: cost 129 inf + 10365
1.203 * * [simplify]: Extracting #7: cost 82 inf + 46686
1.211 * * [simplify]: Extracting #8: cost 5 inf + 102245
1.220 * * [simplify]: Extracting #9: cost 0 inf + 105668
1.231 * [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.231 * [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.231 * * * * [progress]: [ 8 / 9 ] 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.232 * [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.232 * * [simplify]: iters left: 6 (18 enodes)
1.240 * * [simplify]: iters left: 5 (46 enodes)
1.258 * * [simplify]: iters left: 4 (118 enodes)
1.314 * * [simplify]: Extracting #0: cost 1 inf + 0
1.314 * * [simplify]: Extracting #1: cost 10 inf + 0
1.314 * * [simplify]: Extracting #2: cost 62 inf + 0
1.315 * * [simplify]: Extracting #3: cost 165 inf + 2
1.317 * * [simplify]: Extracting #4: cost 154 inf + 3708
1.319 * * [simplify]: Extracting #5: cost 131 inf + 9961
1.321 * * [simplify]: Extracting #6: cost 129 inf + 10365
1.327 * * [simplify]: Extracting #7: cost 82 inf + 46686
1.341 * * [simplify]: Extracting #8: cost 5 inf + 102245
1.356 * * [simplify]: Extracting #9: cost 0 inf + 105668
1.364 * [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.364 * [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.365 * * * * [progress]: [ 9 / 9 ] 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.365 * [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.365 * * [simplify]: iters left: 6 (18 enodes)
1.369 * * [simplify]: iters left: 5 (46 enodes)
1.382 * * [simplify]: iters left: 4 (118 enodes)
1.446 * * [simplify]: Extracting #0: cost 1 inf + 0
1.446 * * [simplify]: Extracting #1: cost 10 inf + 0
1.446 * * [simplify]: Extracting #2: cost 62 inf + 0
1.447 * * [simplify]: Extracting #3: cost 165 inf + 2
1.448 * * [simplify]: Extracting #4: cost 154 inf + 3708
1.450 * * [simplify]: Extracting #5: cost 131 inf + 9961
1.453 * * [simplify]: Extracting #6: cost 129 inf + 10365
1.459 * * [simplify]: Extracting #7: cost 82 inf + 46686
1.472 * * [simplify]: Extracting #8: cost 5 inf + 102245
1.487 * * [simplify]: Extracting #9: cost 0 inf + 105668
1.496 * [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.496 * [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.497 * * * [progress]: adding candidates to table
1.798 * * [progress]: iteration 2 / 4
1.798 * * * [progress]: picking best candidate
1.874 * * * * [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.875 * * * [progress]: localizing error
2.277 * * * [progress]: generating rewritten candidates
2.277 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
2.326 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
2.364 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
2.370 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
2.376 * * * [progress]: generating series expansions
2.376 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
2.376 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
2.376 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
2.376 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2)
2.376 * * * [progress]: simplifying candidates
2.376 * * * * [progress]: [ 1 / 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.377 * [simplify]: Simplifying (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0))
2.377 * * [simplify]: iters left: 4 (8 enodes)
2.381 * * [simplify]: iters left: 3 (21 enodes)
2.387 * * [simplify]: iters left: 2 (41 enodes)
2.397 * * [simplify]: iters left: 1 (61 enodes)
2.407 * * [simplify]: Extracting #0: cost 1 inf + 0
2.407 * * [simplify]: Extracting #1: cost 16 inf + 0
2.407 * * [simplify]: Extracting #2: cost 17 inf + 2
2.407 * * [simplify]: Extracting #3: cost 12 inf + 1091
2.408 * * [simplify]: Extracting #4: cost 3 inf + 3553
2.408 * * [simplify]: Extracting #5: cost 0 inf + 4280
2.410 * [simplify]: Simplified to (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0)))
2.410 * [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.410 * * * * [progress]: [ 2 / 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.410 * [simplify]: Simplifying (*.p16 beta alpha)
2.410 * * [simplify]: iters left: 1 (3 enodes)
2.411 * * [simplify]: Extracting #0: cost 1 inf + 0
2.411 * * [simplify]: Extracting #1: cost 3 inf + 0
2.411 * * [simplify]: Extracting #2: cost 1 inf + 2
2.411 * * [simplify]: Extracting #3: cost 0 inf + 324
2.411 * [simplify]: Simplified to (*.p16 alpha beta)
2.411 * [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.411 * * * * [progress]: [ 3 / 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.411 * * * * [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.411 * * * * [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.411 * * * * [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.411 * * * * [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.411 * * * * [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.411 * * * [progress]: adding candidates to table
2.625 * * [progress]: iteration 3 / 4
2.625 * * * [progress]: picking best candidate
2.693 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.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.693 * * * [progress]: localizing error
3.048 * * * [progress]: generating rewritten candidates
3.048 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
3.099 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
3.118 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
3.156 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.210 * * * [progress]: generating series expansions
3.210 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
3.210 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
3.210 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
3.210 * * * * [progress]: [ 4 / 4 ] generating series at (2)
3.210 * * * [progress]: simplifying candidates
3.211 * * * * [progress]: [ 1 / 9 ] 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))))>
3.211 * [simplify]: Simplifying (real->posit16 1.0)
3.211 * * [simplify]: iters left: 1 (2 enodes)
3.212 * * [simplify]: Extracting #0: cost 1 inf + 0
3.213 * * [simplify]: Extracting #1: cost 2 inf + 0
3.213 * * [simplify]: Extracting #2: cost 1 inf + 1
3.213 * * [simplify]: Extracting #3: cost 0 inf + 2
3.213 * [simplify]: Simplified to (real->posit16 1.0)
3.213 * [simplify]: Simplified (2 1 1 1 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 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.213 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 beta (+.p16 (*.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))))>
3.213 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) (real->posit16 1.0)) (+.p16 alpha beta)) (+.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))))>
3.213 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.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))))>
3.213 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0)))
3.213 * * [simplify]: iters left: 3 (8 enodes)
3.218 * * [simplify]: iters left: 2 (21 enodes)
3.225 * * [simplify]: iters left: 1 (40 enodes)
3.239 * * [simplify]: Extracting #0: cost 1 inf + 0
3.239 * * [simplify]: Extracting #1: cost 15 inf + 0
3.239 * * [simplify]: Extracting #2: cost 15 inf + 2
3.240 * * [simplify]: Extracting #3: cost 9 inf + 772
3.241 * * [simplify]: Extracting #4: cost 0 inf + 3315
3.241 * [simplify]: Simplified to (+.p16 alpha (+.p16 (+.p16 (real->posit16 1.0) beta) (*.p16 beta alpha)))
3.241 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 (real->posit16 1.0) beta) (*.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))))
3.242 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.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.242 * [simplify]: Simplifying (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
3.242 * * [simplify]: iters left: 4 (15 enodes)
3.249 * * [simplify]: iters left: 3 (36 enodes)
3.262 * * [simplify]: iters left: 2 (63 enodes)
3.273 * * [simplify]: iters left: 1 (88 enodes)
3.287 * * [simplify]: Extracting #0: cost 1 inf + 0
3.287 * * [simplify]: Extracting #1: cost 3 inf + 0
3.287 * * [simplify]: Extracting #2: cost 20 inf + 0
3.287 * * [simplify]: Extracting #3: cost 21 inf + 2
3.287 * * [simplify]: Extracting #4: cost 20 inf + 367
3.287 * * [simplify]: Extracting #5: cost 12 inf + 1498
3.288 * * [simplify]: Extracting #6: cost 3 inf + 4003
3.288 * * [simplify]: Extracting #7: cost 0 inf + 6014
3.289 * [simplify]: Simplified to (/.p16 (+.p16 (+.p16 (+.p16 (*.p16 beta alpha) beta) (real->posit16 1.0)) alpha) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
3.289 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 (*.p16 beta alpha) beta) (real->posit16 1.0)) alpha) (+.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.289 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.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))))>
3.289 * [simplify]: Simplifying (+.p16 alpha beta)
3.289 * * [simplify]: iters left: 1 (3 enodes)
3.290 * * [simplify]: Extracting #0: cost 1 inf + 0
3.290 * * [simplify]: Extracting #1: cost 3 inf + 0
3.291 * * [simplify]: Extracting #2: cost 1 inf + 2
3.291 * * [simplify]: Extracting #3: cost 0 inf + 44
3.291 * [simplify]: Simplified to (+.p16 beta alpha)
3.291 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 beta alpha) (+.p16 (*.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))))
3.291 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.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))))>
3.291 * [simplify]: Simplifying (+.p16 alpha beta)
3.291 * * [simplify]: iters left: 1 (3 enodes)
3.293 * * [simplify]: Extracting #0: cost 1 inf + 0
3.293 * * [simplify]: Extracting #1: cost 3 inf + 0
3.293 * * [simplify]: Extracting #2: cost 1 inf + 2
3.293 * * [simplify]: Extracting #3: cost 0 inf + 44
3.293 * [simplify]: Simplified to (+.p16 beta alpha)
3.293 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 beta alpha) (+.p16 (*.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))))
3.293 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.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))))>
3.293 * [simplify]: Simplifying (+.p16 alpha beta)
3.293 * * [simplify]: iters left: 1 (3 enodes)
3.295 * * [simplify]: Extracting #0: cost 1 inf + 0
3.295 * * [simplify]: Extracting #1: cost 3 inf + 0
3.295 * * [simplify]: Extracting #2: cost 1 inf + 2
3.295 * * [simplify]: Extracting #3: cost 0 inf + 44
3.295 * [simplify]: Simplified to (+.p16 beta alpha)
3.295 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 beta alpha) (+.p16 (*.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))))
3.295 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.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))))>
3.295 * [simplify]: Simplifying (+.p16 alpha beta)
3.296 * * [simplify]: iters left: 1 (3 enodes)
3.297 * * [simplify]: Extracting #0: cost 1 inf + 0
3.297 * * [simplify]: Extracting #1: cost 3 inf + 0
3.297 * * [simplify]: Extracting #2: cost 1 inf + 2
3.297 * * [simplify]: Extracting #3: cost 0 inf + 44
3.297 * [simplify]: Simplified to (+.p16 beta alpha)
3.297 * [simplify]: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 beta alpha) (+.p16 (*.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))))
3.297 * * * [progress]: adding candidates to table
3.710 * * [progress]: iteration 4 / 4
3.710 * * * [progress]: picking best candidate
3.855 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 beta (+.p16 (*.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))))>
3.855 * * * [progress]: localizing error
4.271 * * * [progress]: generating rewritten candidates
4.271 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
4.283 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
4.289 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
4.304 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
4.312 * * * [progress]: generating series expansions
4.312 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
4.312 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
4.312 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
4.312 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
4.312 * * * [progress]: simplifying candidates
4.312 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.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))))>
4.312 * [simplify]: Simplifying (+.p16 (*.p16 beta alpha) (real->posit16 1.0))
4.312 * * [simplify]: iters left: 2 (6 enodes)
4.315 * * [simplify]: iters left: 1 (13 enodes)
4.319 * * [simplify]: Extracting #0: cost 1 inf + 0
4.320 * * [simplify]: Extracting #1: cost 3 inf + 0
4.320 * * [simplify]: Extracting #2: cost 6 inf + 0
4.320 * * [simplify]: Extracting #3: cost 2 inf + 4
4.320 * * [simplify]: Extracting #4: cost 0 inf + 689
4.320 * [simplify]: Simplified to (+.p16 (*.p16 alpha beta) (real->posit16 1.0))
4.320 * [simplify]: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.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))))
4.320 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 beta (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) alpha) (+.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))))>
4.320 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 alpha (+.p16 beta (+.p16 (*.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))))>
4.320 * [simplify]: Simplifying (+.p16 alpha (+.p16 beta (+.p16 (*.p16 beta alpha) (real->posit16 1.0))))
4.321 * * [simplify]: iters left: 4 (8 enodes)
4.325 * * [simplify]: iters left: 3 (21 enodes)
4.337 * * [simplify]: iters left: 2 (43 enodes)
4.344 * * [simplify]: iters left: 1 (66 enodes)
4.355 * * [simplify]: Extracting #0: cost 1 inf + 0
4.355 * * [simplify]: Extracting #1: cost 15 inf + 0
4.355 * * [simplify]: Extracting #2: cost 16 inf + 2
4.355 * * [simplify]: Extracting #3: cost 10 inf + 1493
4.355 * * [simplify]: Extracting #4: cost 1 inf + 3555
4.356 * * [simplify]: Extracting #5: cost 0 inf + 3877
4.356 * [simplify]: Simplified to (*.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 alpha (real->posit16 1.0)))
4.356 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 (real->posit16 1.0) beta) (+.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))))
4.357 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.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))))>
4.357 * [simplify]: Simplifying (real->posit16 1.0)
4.357 * * [simplify]: iters left: 1 (2 enodes)
4.358 * * [simplify]: Extracting #0: cost 1 inf + 0
4.358 * * [simplify]: Extracting #1: cost 2 inf + 0
4.358 * * [simplify]: Extracting #2: cost 1 inf + 1
4.358 * * [simplify]: Extracting #3: cost 0 inf + 2
4.358 * [simplify]: Simplified to (real->posit16 1.0)
4.358 * [simplify]: Simplified (2 1 1 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.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))))
4.358 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 (*.p16 beta alpha) (real->posit16 1.0)) beta)) (+.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))))>
4.358 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 beta (+.p16 (*.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))))>
4.358 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 beta (+.p16 (*.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))))>
4.358 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 beta (+.p16 (*.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))))>
4.358 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 beta (+.p16 (*.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))))>
4.358 * * * [progress]: adding candidates to table
4.632 * [progress]: [Phase 3 of 3] Extracting.
4.632 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.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))))> #<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 alpha (+.p16 beta (+.p16 (*.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 (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 (*.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))))))> #<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))))))>)
4.634 * * * [regime-changes]: Trying 2 branch expressions: (beta alpha)
4.634 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.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))))> #<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 alpha (+.p16 beta (+.p16 (*.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 (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 (*.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))))))> #<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))))))>)
4.804 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.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))))> #<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 alpha (+.p16 beta (+.p16 (*.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 (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 (*.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))))))> #<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.008 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
5.009 * [simplify]: Simplifying (/.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)))
5.009 * * [simplify]: iters left: 6 (19 enodes)
5.013 * * [simplify]: iters left: 5 (21 enodes)
5.015 * * [simplify]: Extracting #0: cost 1 inf + 0
5.015 * * [simplify]: Extracting #1: cost 3 inf + 0
5.015 * * [simplify]: Extracting #2: cost 6 inf + 0
5.015 * * [simplify]: Extracting #3: cost 10 inf + 0
5.015 * * [simplify]: Extracting #4: cost 13 inf + 2
5.015 * * [simplify]: Extracting #5: cost 14 inf + 4
5.015 * * [simplify]: Extracting #6: cost 12 inf + 48
5.016 * * [simplify]: Extracting #7: cost 7 inf + 1056
5.016 * * [simplify]: Extracting #8: cost 3 inf + 3590
5.017 * * [simplify]: Extracting #9: cost 0 inf + 7965
5.017 * [simplify]: Simplified to (/.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)))
5.017 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
5.059 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
5.067 * * * * [points]: Setting MPFR precision to 64
5.069 * * * * [points]: Setting MPFR precision to 320
5.071 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
5.080 * * * * [points]: Setting MPFR precision to 64
5.083 * * * * [points]: Setting MPFR precision to 320
5.087 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
5.096 * * * * [points]: Setting MPFR precision to 64
5.103 * * * * [points]: Setting MPFR precision to 320
5.110 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
5.120 * * * * [points]: Setting MPFR precision to 64
5.135 * * * * [points]: Setting MPFR precision to 320
5.150 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
5.159 * * * * [points]: Setting MPFR precision to 64
5.212 * * * * [points]: Setting MPFR precision to 320
5.241 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
5.251 * * * * [points]: Setting MPFR precision to 64
5.292 * * * * [points]: Setting MPFR precision to 320
5.325 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
5.329 * * * * [points]: Setting MPFR precision to 64
5.455 * * * * [points]: Setting MPFR precision to 320
5.579 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
5.589 * * * * [points]: Setting MPFR precision to 64
5.781 * * * * [points]: Setting MPFR precision to 320
6.342 * * * * [points]: Computing exacts for 8000 points
6.346 * * * * [points]: Setting MPFR precision to 64
7.148 * * * * [points]: Setting MPFR precision to 320
8.123 * * * * [points]: Filtering points with unrepresentable outputs
8.142 * * * * [points]: Sampling 3508 additional inputs, on iter 1 have 4492 / 8000
8.160 * * * * [points]: Computing exacts on every 219 of 3508 points to ramp up precision
8.204 * * * * [points]: Setting MPFR precision to 64
8.206 * * * * [points]: Setting MPFR precision to 320
8.210 * * * * [points]: Computing exacts on every 109 of 3508 points to ramp up precision
8.219 * * * * [points]: Setting MPFR precision to 64
8.224 * * * * [points]: Setting MPFR precision to 320
8.228 * * * * [points]: Computing exacts on every 54 of 3508 points to ramp up precision
8.237 * * * * [points]: Setting MPFR precision to 64
8.245 * * * * [points]: Setting MPFR precision to 320
8.253 * * * * [points]: Computing exacts on every 27 of 3508 points to ramp up precision
8.262 * * * * [points]: Setting MPFR precision to 64
8.278 * * * * [points]: Setting MPFR precision to 320
8.292 * * * * [points]: Computing exacts on every 13 of 3508 points to ramp up precision
8.302 * * * * [points]: Setting MPFR precision to 64
8.332 * * * * [points]: Setting MPFR precision to 320
8.364 * * * * [points]: Computing exacts on every 6 of 3508 points to ramp up precision
8.373 * * * * [points]: Setting MPFR precision to 64
8.471 * * * * [points]: Setting MPFR precision to 320
8.533 * * * * [points]: Computing exacts on every 3 of 3508 points to ramp up precision
8.541 * * * * [points]: Setting MPFR precision to 64
8.699 * * * * [points]: Setting MPFR precision to 320
8.806 * * * * [points]: Computing exacts for 3508 points
8.815 * * * * [points]: Setting MPFR precision to 64
9.327 * * * * [points]: Setting MPFR precision to 320
10.097 * * * * [points]: Filtering points with unrepresentable outputs
10.101 * * * * [points]: Sampling 1471 additional inputs, on iter 2 have 6529 / 8000
10.105 * * * * [points]: Computing exacts on every 91 of 1471 points to ramp up precision
10.111 * * * * [points]: Setting MPFR precision to 64
10.112 * * * * [points]: Setting MPFR precision to 320
10.113 * * * * [points]: Computing exacts on every 45 of 1471 points to ramp up precision
10.117 * * * * [points]: Setting MPFR precision to 64
10.119 * * * * [points]: Setting MPFR precision to 320
10.121 * * * * [points]: Computing exacts on every 22 of 1471 points to ramp up precision
10.126 * * * * [points]: Setting MPFR precision to 64
10.130 * * * * [points]: Setting MPFR precision to 320
10.156 * * * * [points]: Computing exacts on every 11 of 1471 points to ramp up precision
10.161 * * * * [points]: Setting MPFR precision to 64
10.170 * * * * [points]: Setting MPFR precision to 320
10.179 * * * * [points]: Computing exacts on every 5 of 1471 points to ramp up precision
10.184 * * * * [points]: Setting MPFR precision to 64
10.200 * * * * [points]: Setting MPFR precision to 320
10.227 * * * * [points]: Computing exacts on every 2 of 1471 points to ramp up precision
10.232 * * * * [points]: Setting MPFR precision to 64
10.264 * * * * [points]: Setting MPFR precision to 320
10.322 * * * * [points]: Computing exacts for 1471 points
10.330 * * * * [points]: Setting MPFR precision to 64
10.454 * * * * [points]: Setting MPFR precision to 320
10.552 * * * * [points]: Filtering points with unrepresentable outputs
10.554 * * * * [points]: Sampling 636 additional inputs, on iter 3 have 7364 / 8000
10.556 * * * * [points]: Computing exacts on every 39 of 636 points to ramp up precision
10.560 * * * * [points]: Setting MPFR precision to 64
10.589 * * * * [points]: Setting MPFR precision to 320
10.590 * * * * [points]: Computing exacts on every 19 of 636 points to ramp up precision
10.595 * * * * [points]: Setting MPFR precision to 64
10.597 * * * * [points]: Setting MPFR precision to 320
10.601 * * * * [points]: Computing exacts on every 9 of 636 points to ramp up precision
10.606 * * * * [points]: Setting MPFR precision to 64
10.610 * * * * [points]: Setting MPFR precision to 320
10.614 * * * * [points]: Computing exacts on every 4 of 636 points to ramp up precision
10.619 * * * * [points]: Setting MPFR precision to 64
10.627 * * * * [points]: Setting MPFR precision to 320
10.635 * * * * [points]: Computing exacts on every 2 of 636 points to ramp up precision
10.640 * * * * [points]: Setting MPFR precision to 64
10.654 * * * * [points]: Setting MPFR precision to 320
10.668 * * * * [points]: Computing exacts for 636 points
10.673 * * * * [points]: Setting MPFR precision to 64
10.741 * * * * [points]: Setting MPFR precision to 320
10.815 * * * * [points]: Filtering points with unrepresentable outputs
10.817 * * * * [points]: Sampling 301 additional inputs, on iter 4 have 7699 / 8000
10.818 * * * * [points]: Computing exacts on every 18 of 301 points to ramp up precision
10.823 * * * * [points]: Setting MPFR precision to 64
10.824 * * * * [points]: Setting MPFR precision to 320
10.825 * * * * [points]: Computing exacts on every 9 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 4 of 301 points to ramp up precision
10.840 * * * * [points]: Setting MPFR precision to 64
10.845 * * * * [points]: Setting MPFR precision to 320
10.850 * * * * [points]: Computing exacts on every 2 of 301 points to ramp up precision
10.885 * * * * [points]: Setting MPFR precision to 64
10.900 * * * * [points]: Setting MPFR precision to 320
10.911 * * * * [points]: Computing exacts for 301 points
10.920 * * * * [points]: Setting MPFR precision to 64
10.954 * * * * [points]: Setting MPFR precision to 320
10.988 * * * * [points]: Filtering points with unrepresentable outputs
10.989 * * * * [points]: Sampling 116 additional inputs, on iter 5 have 7884 / 8000
10.990 * * * * [points]: Computing exacts on every 7 of 116 points to ramp up precision
10.999 * * * * [points]: Setting MPFR precision to 64
11.001 * * * * [points]: Setting MPFR precision to 320
11.003 * * * * [points]: Computing exacts on every 3 of 116 points to ramp up precision
11.012 * * * * [points]: Setting MPFR precision to 64
11.016 * * * * [points]: Setting MPFR precision to 320
11.019 * * * * [points]: Computing exacts for 116 points
11.025 * * * * [points]: Setting MPFR precision to 64
11.033 * * * * [points]: Setting MPFR precision to 320
11.068 * * * * [points]: Filtering points with unrepresentable outputs
11.068 * * * * [points]: Sampling 59 additional inputs, on iter 6 have 7941 / 8000
11.068 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
11.073 * * * * [points]: Setting MPFR precision to 64
11.074 * * * * [points]: Setting MPFR precision to 320
11.075 * * * * [points]: Computing exacts for 59 points
11.081 * * * * [points]: Setting MPFR precision to 64
11.085 * * * * [points]: Setting MPFR precision to 320
11.088 * * * * [points]: Filtering points with unrepresentable outputs
11.089 * * * * [points]: Sampling 26 additional inputs, on iter 7 have 7974 / 8000
11.089 * * * * [points]: Computing exacts for 26 points
11.093 * * * * [points]: Setting MPFR precision to 64
11.095 * * * * [points]: Setting MPFR precision to 320
11.096 * * * * [points]: Filtering points with unrepresentable outputs
11.097 * * * * [points]: Sampling 10 additional inputs, on iter 8 have 7990 / 8000
11.097 * * * * [points]: Computing exacts for 10 points
11.101 * * * * [points]: Setting MPFR precision to 64
11.102 * * * * [points]: Setting MPFR precision to 320
11.102 * * * * [points]: Filtering points with unrepresentable outputs
11.103 * * * * [points]: Sampling 5 additional inputs, on iter 9 have 7995 / 8000
11.103 * * * * [points]: Computing exacts for 5 points
11.107 * * * * [points]: Setting MPFR precision to 64
11.107 * * * * [points]: Setting MPFR precision to 320
11.108 * * * * [points]: Filtering points with unrepresentable outputs
11.108 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7998 / 8000
11.108 * * * * [points]: Computing exacts for 4 points
11.112 * * * * [points]: Setting MPFR precision to 64
11.113 * * * * [points]: Setting MPFR precision to 320
11.113 * * * * [points]: Filtering points with unrepresentable outputs
11.113 * * * * [points]: Sampled 8001 points with exact outputs
15.195 * [regime-testing]: Baseline error score: 64.0
15.198 * [regime-testing]: Oracle error score: 64.0
15.205 * [regime-testing]: End program error score: 0.36011983294706584