0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.007 * * * * [points]: Setting MPFR precision to 64
0.008 * * * * [points]: Setting MPFR precision to 320
0.009 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.014 * * * * [points]: Setting MPFR precision to 64
0.016 * * * * [points]: Setting MPFR precision to 320
0.017 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.022 * * * * [points]: Setting MPFR precision to 64
0.037 * * * * [points]: Setting MPFR precision to 320
0.043 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.051 * * * * [points]: Setting MPFR precision to 64
0.061 * * * * [points]: Setting MPFR precision to 320
0.070 * * * * [points]: Computing exacts for 256 points
0.078 * * * * [points]: Setting MPFR precision to 64
0.096 * * * * [points]: Setting MPFR precision to 320
0.116 * * * * [points]: Filtering points with unrepresentable outputs
0.117 * * * * [points]: Sampling 110 additional inputs, on iter 1 have 146 / 256
0.117 * * * * [points]: Computing exacts on every 6 of 110 points to ramp up precision
0.125 * * * * [points]: Setting MPFR precision to 64
0.127 * * * * [points]: Setting MPFR precision to 320
0.129 * * * * [points]: Computing exacts on every 3 of 110 points to ramp up precision
0.137 * * * * [points]: Setting MPFR precision to 64
0.140 * * * * [points]: Setting MPFR precision to 320
0.144 * * * * [points]: Computing exacts for 110 points
0.152 * * * * [points]: Setting MPFR precision to 64
0.164 * * * * [points]: Setting MPFR precision to 320
0.192 * * * * [points]: Filtering points with unrepresentable outputs
0.193 * * * * [points]: Sampling 43 additional inputs, on iter 2 have 213 / 256
0.193 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
0.197 * * * * [points]: Setting MPFR precision to 64
0.198 * * * * [points]: Setting MPFR precision to 320
0.199 * * * * [points]: Computing exacts for 43 points
0.206 * * * * [points]: Setting MPFR precision to 64
0.213 * * * * [points]: Setting MPFR precision to 320
0.217 * * * * [points]: Filtering points with unrepresentable outputs
0.218 * * * * [points]: Sampling 18 additional inputs, on iter 3 have 238 / 256
0.218 * * * * [points]: Computing exacts for 18 points
0.224 * * * * [points]: Setting MPFR precision to 64
0.225 * * * * [points]: Setting MPFR precision to 320
0.226 * * * * [points]: Filtering points with unrepresentable outputs
0.226 * * * * [points]: Sampling 11 additional inputs, on iter 4 have 245 / 256
0.226 * * * * [points]: Computing exacts for 11 points
0.231 * * * * [points]: Setting MPFR precision to 64
0.232 * * * * [points]: Setting MPFR precision to 320
0.232 * * * * [points]: Filtering points with unrepresentable outputs
0.232 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 251 / 256
0.233 * * * * [points]: Computing exacts for 5 points
0.237 * * * * [points]: Setting MPFR precision to 64
0.237 * * * * [points]: Setting MPFR precision to 320
0.238 * * * * [points]: Filtering points with unrepresentable outputs
0.238 * * * * [points]: Sampled 256 points with exact outputs
0.238 * * * [progress]: [2/2] Setting up program.
0.252 * [progress]: [Phase 2 of 3] Improving.
0.252 * * * * [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.252 * [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.252 * * [simplify]: iters left: 6 (18 enodes)
0.257 * * [simplify]: iters left: 5 (46 enodes)
0.265 * * [simplify]: iters left: 4 (118 enodes)
0.311 * * [simplify]: Extracting #0: cost 1 inf + 0
0.311 * * [simplify]: Extracting #1: cost 10 inf + 0
0.311 * * [simplify]: Extracting #2: cost 62 inf + 0
0.312 * * [simplify]: Extracting #3: cost 165 inf + 2
0.313 * * [simplify]: Extracting #4: cost 154 inf + 3708
0.314 * * [simplify]: Extracting #5: cost 131 inf + 9961
0.315 * * [simplify]: Extracting #6: cost 129 inf + 10365
0.318 * * [simplify]: Extracting #7: cost 82 inf + 46686
0.326 * * [simplify]: Extracting #8: cost 5 inf + 102245
0.335 * * [simplify]: Extracting #9: cost 0 inf + 105668
0.344 * [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.344 * [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.378 * * [progress]: iteration 1 / 4
0.378 * * * [progress]: picking best candidate
0.413 * * * * [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.413 * * * [progress]: localizing error
0.681 * * * [progress]: generating rewritten candidates
0.681 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.750 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.760 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.833 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.888 * * * [progress]: generating series expansions
0.888 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.888 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
0.888 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.888 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
0.888 * * * [progress]: simplifying candidates
0.888 * * * * [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))))>
0.888 * * * * [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))))>
0.888 * * * * [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))))>
0.888 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0))
0.888 * * [simplify]: iters left: 3 (8 enodes)
0.890 * * [simplify]: iters left: 2 (21 enodes)
0.894 * * [simplify]: iters left: 1 (43 enodes)
0.902 * * [simplify]: Extracting #0: cost 1 inf + 0
0.902 * * [simplify]: Extracting #1: cost 16 inf + 0
0.902 * * [simplify]: Extracting #2: cost 16 inf + 2
0.903 * * [simplify]: Extracting #3: cost 13 inf + 367
0.903 * * [simplify]: Extracting #4: cost 0 inf + 3718
0.904 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha))
0.904 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
0.904 * * * * [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))))>
0.904 * [simplify]: Simplifying (+.p16 alpha beta)
0.904 * * [simplify]: iters left: 1 (3 enodes)
0.904 * * [simplify]: Extracting #0: cost 1 inf + 0
0.905 * * [simplify]: Extracting #1: cost 3 inf + 0
0.905 * * [simplify]: Extracting #2: cost 1 inf + 2
0.905 * * [simplify]: Extracting #3: cost 0 inf + 44
0.905 * [simplify]: Simplified to (+.p16 beta alpha)
0.905 * [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))))
0.905 * * * * [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))))>
0.905 * * * * [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))))>
0.905 * [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.905 * * [simplify]: iters left: 6 (18 enodes)
0.910 * * [simplify]: iters left: 5 (46 enodes)
0.925 * * [simplify]: iters left: 4 (118 enodes)
0.976 * * [simplify]: Extracting #0: cost 1 inf + 0
0.976 * * [simplify]: Extracting #1: cost 10 inf + 0
0.976 * * [simplify]: Extracting #2: cost 62 inf + 0
0.976 * * [simplify]: Extracting #3: cost 165 inf + 2
0.977 * * [simplify]: Extracting #4: cost 154 inf + 3708
0.978 * * [simplify]: Extracting #5: cost 131 inf + 9961
0.979 * * [simplify]: Extracting #6: cost 129 inf + 10365
0.982 * * [simplify]: Extracting #7: cost 82 inf + 46686
0.990 * * [simplify]: Extracting #8: cost 5 inf + 102245
1.001 * * [simplify]: Extracting #9: cost 0 inf + 105668
1.010 * [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.010 * [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.010 * * * * [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.010 * [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.010 * * [simplify]: iters left: 6 (18 enodes)
1.018 * * [simplify]: iters left: 5 (46 enodes)
1.031 * * [simplify]: iters left: 4 (118 enodes)
1.067 * * [simplify]: Extracting #0: cost 1 inf + 0
1.067 * * [simplify]: Extracting #1: cost 10 inf + 0
1.067 * * [simplify]: Extracting #2: cost 62 inf + 0
1.067 * * [simplify]: Extracting #3: cost 165 inf + 2
1.068 * * [simplify]: Extracting #4: cost 154 inf + 3708
1.069 * * [simplify]: Extracting #5: cost 131 inf + 9961
1.072 * * [simplify]: Extracting #6: cost 129 inf + 10365
1.075 * * [simplify]: Extracting #7: cost 82 inf + 46686
1.083 * * [simplify]: Extracting #8: cost 5 inf + 102245
1.092 * * [simplify]: Extracting #9: cost 0 inf + 105668
1.101 * [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.101 * [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.101 * * * * [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.101 * [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.101 * * [simplify]: iters left: 6 (18 enodes)
1.105 * * [simplify]: iters left: 5 (46 enodes)
1.114 * * [simplify]: iters left: 4 (118 enodes)
1.152 * * [simplify]: Extracting #0: cost 1 inf + 0
1.152 * * [simplify]: Extracting #1: cost 10 inf + 0
1.152 * * [simplify]: Extracting #2: cost 62 inf + 0
1.153 * * [simplify]: Extracting #3: cost 165 inf + 2
1.154 * * [simplify]: Extracting #4: cost 154 inf + 3708
1.155 * * [simplify]: Extracting #5: cost 131 inf + 9961
1.156 * * [simplify]: Extracting #6: cost 129 inf + 10365
1.159 * * [simplify]: Extracting #7: cost 82 inf + 46686
1.169 * * [simplify]: Extracting #8: cost 5 inf + 102245
1.184 * * [simplify]: Extracting #9: cost 0 inf + 105668
1.201 * [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.201 * [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.201 * * * * [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.201 * [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.202 * * [simplify]: iters left: 6 (18 enodes)
1.206 * * [simplify]: iters left: 5 (46 enodes)
1.214 * * [simplify]: iters left: 4 (118 enodes)
1.260 * * [simplify]: Extracting #0: cost 1 inf + 0
1.260 * * [simplify]: Extracting #1: cost 10 inf + 0
1.260 * * [simplify]: Extracting #2: cost 62 inf + 0
1.260 * * [simplify]: Extracting #3: cost 165 inf + 2
1.261 * * [simplify]: Extracting #4: cost 154 inf + 3708
1.262 * * [simplify]: Extracting #5: cost 131 inf + 9961
1.263 * * [simplify]: Extracting #6: cost 129 inf + 10365
1.267 * * [simplify]: Extracting #7: cost 82 inf + 46686
1.274 * * [simplify]: Extracting #8: cost 5 inf + 102245
1.283 * * [simplify]: Extracting #9: cost 0 inf + 105668
1.298 * [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.298 * [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.298 * * * [progress]: adding candidates to table
1.609 * * [progress]: iteration 2 / 4
1.609 * * * [progress]: picking best candidate
1.652 * * * * [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.652 * * * [progress]: localizing error
1.909 * * * [progress]: generating rewritten candidates
1.909 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.945 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1.958 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
2.002 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
2.007 * * * [progress]: generating series expansions
2.007 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
2.008 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
2.008 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
2.008 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2)
2.008 * * * [progress]: simplifying candidates
2.008 * * * * [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.008 * [simplify]: Simplifying (*.p16 beta alpha)
2.008 * * [simplify]: iters left: 1 (3 enodes)
2.009 * * [simplify]: Extracting #0: cost 1 inf + 0
2.009 * * [simplify]: Extracting #1: cost 3 inf + 0
2.009 * * [simplify]: Extracting #2: cost 1 inf + 2
2.010 * * [simplify]: Extracting #3: cost 0 inf + 324
2.010 * [simplify]: Simplified to (*.p16 alpha beta)
2.010 * [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.010 * * * * [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.010 * * * * [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.010 * [simplify]: Simplifying (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0))
2.010 * * [simplify]: iters left: 4 (8 enodes)
2.014 * * [simplify]: iters left: 3 (21 enodes)
2.020 * * [simplify]: iters left: 2 (41 enodes)
2.029 * * [simplify]: iters left: 1 (61 enodes)
2.039 * * [simplify]: Extracting #0: cost 1 inf + 0
2.039 * * [simplify]: Extracting #1: cost 16 inf + 0
2.039 * * [simplify]: Extracting #2: cost 17 inf + 2
2.039 * * [simplify]: Extracting #3: cost 12 inf + 1091
2.040 * * [simplify]: Extracting #4: cost 3 inf + 3553
2.040 * * [simplify]: Extracting #5: cost 0 inf + 4280
2.041 * [simplify]: Simplified to (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0)))
2.041 * [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.041 * * * * [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.041 * * * * [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.041 * * * * [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.041 * * * * [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.041 * * * * [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.041 * * * [progress]: adding candidates to table
2.255 * * [progress]: iteration 3 / 4
2.255 * * * [progress]: picking best candidate
2.316 * * * * [pick]: Picked  #<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))))>
2.316 * * * [progress]: localizing error
2.601 * * * [progress]: generating rewritten candidates
2.601 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.661 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
2.671 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
2.682 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
2.715 * * * [progress]: generating series expansions
2.715 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.715 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
2.715 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
2.715 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
2.715 * * * [progress]: simplifying candidates
2.715 * * * * [progress]: [ 1 / 12 ] 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.716 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
2.716 * * [simplify]: iters left: 3 (9 enodes)
2.718 * * [simplify]: iters left: 2 (22 enodes)
2.722 * * [simplify]: iters left: 1 (30 enodes)
2.727 * * [simplify]: Extracting #0: cost 1 inf + 0
2.727 * * [simplify]: Extracting #1: cost 7 inf + 0
2.727 * * [simplify]: Extracting #2: cost 7 inf + 2
2.727 * * [simplify]: Extracting #3: cost 8 inf + 44
2.727 * * [simplify]: Extracting #4: cost 4 inf + 48
2.727 * * [simplify]: Extracting #5: cost 1 inf + 1137
2.727 * * [simplify]: Extracting #6: cost 0 inf + 1500
2.727 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
2.727 * [simplify]: Simplified (2 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 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
2.728 * * * * [progress]: [ 2 / 12 ] 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.728 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) (+.p16 alpha beta)) (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.728 * * * * [progress]: [ 4 / 12 ] 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))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
2.728 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))
2.728 * * [simplify]: iters left: 4 (10 enodes)
2.730 * * [simplify]: iters left: 3 (26 enodes)
2.735 * * [simplify]: iters left: 2 (53 enodes)
2.746 * * [simplify]: iters left: 1 (150 enodes)
2.799 * * [simplify]: Extracting #0: cost 1 inf + 0
2.799 * * [simplify]: Extracting #1: cost 24 inf + 0
2.800 * * [simplify]: Extracting #2: cost 52 inf + 0
2.800 * * [simplify]: Extracting #3: cost 46 inf + 970
2.802 * * [simplify]: Extracting #4: cost 14 inf + 16705
2.804 * * [simplify]: Extracting #5: cost 0 inf + 25635
2.806 * [simplify]: Simplified to (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (*.p16 (real->posit16 2) (real->posit16 1)))
2.806 * [simplify]: Simplified (2 1 2 2) to (λ (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))) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) 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.807 * * * * [progress]: [ 5 / 12 ] 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 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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.807 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
2.807 * * [simplify]: iters left: 4 (10 enodes)
2.809 * * [simplify]: iters left: 3 (31 enodes)
2.816 * * [simplify]: iters left: 2 (85 enodes)
2.847 * * [simplify]: iters left: 1 (201 enodes)
2.905 * * [simplify]: Extracting #0: cost 1 inf + 0
2.905 * * [simplify]: Extracting #1: cost 27 inf + 0
2.905 * * [simplify]: Extracting #2: cost 61 inf + 0
2.906 * * [simplify]: Extracting #3: cost 50 inf + 1655
2.908 * * [simplify]: Extracting #4: cost 9 inf + 29980
2.911 * * [simplify]: Extracting #5: cost 0 inf + 35454
2.914 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha))
2.914 * [simplify]: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
2.914 * * * * [progress]: [ 6 / 12 ] 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))))>
2.915 * * * * [progress]: [ 7 / 12 ] 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))))>
2.915 * [simplify]: Simplifying (+.p16 alpha beta)
2.915 * * [simplify]: iters left: 1 (3 enodes)
2.916 * * [simplify]: Extracting #0: cost 1 inf + 0
2.916 * * [simplify]: Extracting #1: cost 3 inf + 0
2.916 * * [simplify]: Extracting #2: cost 1 inf + 2
2.916 * * [simplify]: Extracting #3: cost 0 inf + 44
2.916 * [simplify]: Simplified to (+.p16 beta alpha)
2.916 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 beta alpha) (+.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))))
2.917 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha 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))))>
2.917 * * * * [progress]: [ 9 / 12 ] 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))))>
2.917 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0))
2.917 * * [simplify]: iters left: 3 (8 enodes)
2.921 * * [simplify]: iters left: 2 (21 enodes)
2.929 * * [simplify]: iters left: 1 (43 enodes)
2.944 * * [simplify]: Extracting #0: cost 1 inf + 0
2.944 * * [simplify]: Extracting #1: cost 16 inf + 0
2.944 * * [simplify]: Extracting #2: cost 16 inf + 2
2.945 * * [simplify]: Extracting #3: cost 13 inf + 367
2.945 * * [simplify]: Extracting #4: cost 0 inf + 3718
2.946 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha))
2.946 * [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))))
2.947 * * * * [progress]: [ 10 / 12 ] 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))))>
2.947 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0))
2.947 * * [simplify]: iters left: 3 (8 enodes)
2.951 * * [simplify]: iters left: 2 (21 enodes)
2.958 * * [simplify]: iters left: 1 (43 enodes)
2.973 * * [simplify]: Extracting #0: cost 1 inf + 0
2.973 * * [simplify]: Extracting #1: cost 16 inf + 0
2.973 * * [simplify]: Extracting #2: cost 16 inf + 2
2.973 * * [simplify]: Extracting #3: cost 13 inf + 367
2.974 * * [simplify]: Extracting #4: cost 0 inf + 3718
2.975 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha))
2.975 * [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))))
2.975 * * * * [progress]: [ 11 / 12 ] 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))))>
2.975 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0))
2.976 * * [simplify]: iters left: 3 (8 enodes)
2.979 * * [simplify]: iters left: 2 (21 enodes)
2.987 * * [simplify]: iters left: 1 (43 enodes)
3.002 * * [simplify]: Extracting #0: cost 1 inf + 0
3.002 * * [simplify]: Extracting #1: cost 16 inf + 0
3.002 * * [simplify]: Extracting #2: cost 16 inf + 2
3.002 * * [simplify]: Extracting #3: cost 13 inf + 367
3.003 * * [simplify]: Extracting #4: cost 0 inf + 3718
3.004 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha))
3.004 * [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))))
3.005 * * * * [progress]: [ 12 / 12 ] 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))))>
3.005 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0))
3.005 * * [simplify]: iters left: 3 (8 enodes)
3.009 * * [simplify]: iters left: 2 (21 enodes)
3.016 * * [simplify]: iters left: 1 (43 enodes)
3.034 * * [simplify]: Extracting #0: cost 1 inf + 0
3.034 * * [simplify]: Extracting #1: cost 16 inf + 0
3.034 * * [simplify]: Extracting #2: cost 16 inf + 2
3.034 * * [simplify]: Extracting #3: cost 13 inf + 367
3.035 * * [simplify]: Extracting #4: cost 0 inf + 3718
3.036 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha))
3.036 * [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))))
3.036 * * * [progress]: adding candidates to table
3.463 * * [progress]: iteration 4 / 4
3.463 * * * [progress]: picking best candidate
3.521 * * * * [pick]: Picked  #<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))))>
3.521 * * * [progress]: localizing error
3.937 * * * [progress]: generating rewritten candidates
3.937 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
3.941 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
3.952 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
3.957 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
4.067 * * * [progress]: generating series expansions
4.067 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
4.067 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
4.067 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
4.067 * * * * [progress]: [ 4 / 4 ] generating series at (2)
4.067 * * * [progress]: simplifying candidates
4.067 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 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.067 * [simplify]: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))
4.068 * * [simplify]: iters left: 3 (9 enodes)
4.072 * * [simplify]: iters left: 2 (22 enodes)
4.079 * * [simplify]: iters left: 1 (30 enodes)
4.088 * * [simplify]: Extracting #0: cost 1 inf + 0
4.088 * * [simplify]: Extracting #1: cost 7 inf + 0
4.088 * * [simplify]: Extracting #2: cost 7 inf + 2
4.088 * * [simplify]: Extracting #3: cost 8 inf + 44
4.088 * * [simplify]: Extracting #4: cost 4 inf + 48
4.089 * * [simplify]: Extracting #5: cost 1 inf + 1137
4.091 * * [simplify]: Extracting #6: cost 0 inf + 1500
4.091 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))
4.092 * [simplify]: Simplified (2 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
4.092 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
4.092 * [simplify]: Simplifying (+.p16 beta (real->posit16 1.0))
4.092 * * [simplify]: iters left: 2 (4 enodes)
4.094 * * [simplify]: iters left: 1 (8 enodes)
4.097 * * [simplify]: Extracting #0: cost 1 inf + 0
4.097 * * [simplify]: Extracting #1: cost 3 inf + 0
4.097 * * [simplify]: Extracting #2: cost 3 inf + 1
4.097 * * [simplify]: Extracting #3: cost 0 inf + 45
4.097 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) beta)
4.097 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
4.097 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 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))))>
4.097 * [simplify]: Simplifying (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
4.098 * * [simplify]: iters left: 4 (13 enodes)
4.104 * * [simplify]: iters left: 3 (28 enodes)
4.112 * * [simplify]: iters left: 2 (36 enodes)
4.123 * * [simplify]: iters left: 1 (38 enodes)
4.134 * * [simplify]: Extracting #0: cost 1 inf + 0
4.134 * * [simplify]: Extracting #1: cost 3 inf + 0
4.135 * * [simplify]: Extracting #2: cost 10 inf + 0
4.135 * * [simplify]: Extracting #3: cost 11 inf + 2
4.135 * * [simplify]: Extracting #4: cost 11 inf + 45
4.135 * * [simplify]: Extracting #5: cost 5 inf + 92
4.135 * * [simplify]: Extracting #6: cost 1 inf + 1544
4.136 * * [simplify]: Extracting #7: cost 0 inf + 2429
4.136 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
4.136 * [simplify]: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) (/.p16 (+.p16 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))))
4.137 * [simplify]: Simplifying (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
4.137 * * [simplify]: iters left: 4 (13 enodes)
4.140 * * [simplify]: iters left: 3 (28 enodes)
4.145 * * [simplify]: iters left: 2 (36 enodes)
4.150 * * [simplify]: iters left: 1 (38 enodes)
4.155 * * [simplify]: Extracting #0: cost 1 inf + 0
4.155 * * [simplify]: Extracting #1: cost 3 inf + 0
4.155 * * [simplify]: Extracting #2: cost 10 inf + 0
4.156 * * [simplify]: Extracting #3: cost 11 inf + 2
4.156 * * [simplify]: Extracting #4: cost 11 inf + 45
4.156 * * [simplify]: Extracting #5: cost 5 inf + 92
4.156 * * [simplify]: Extracting #6: cost 1 inf + 1544
4.156 * * [simplify]: Extracting #7: cost 0 inf + 2429
4.156 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta)))
4.156 * [simplify]: Simplified (2 1 2) to (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
4.156 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
4.157 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1)))
4.157 * * [simplify]: iters left: 4 (10 enodes)
4.159 * * [simplify]: iters left: 3 (26 enodes)
4.164 * * [simplify]: iters left: 2 (53 enodes)
4.175 * * [simplify]: iters left: 1 (150 enodes)
4.215 * * [simplify]: Extracting #0: cost 1 inf + 0
4.216 * * [simplify]: Extracting #1: cost 24 inf + 0
4.216 * * [simplify]: Extracting #2: cost 52 inf + 0
4.216 * * [simplify]: Extracting #3: cost 46 inf + 970
4.217 * * [simplify]: Extracting #4: cost 14 inf + 16705
4.220 * * [simplify]: Extracting #5: cost 0 inf + 25635
4.222 * [simplify]: Simplified to (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (*.p16 (real->posit16 2) (real->posit16 1)))
4.222 * [simplify]: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) 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.222 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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.222 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
4.223 * * [simplify]: iters left: 4 (10 enodes)
4.225 * * [simplify]: iters left: 3 (31 enodes)
4.231 * * [simplify]: iters left: 2 (85 enodes)
4.254 * * [simplify]: iters left: 1 (201 enodes)
4.318 * * [simplify]: Extracting #0: cost 1 inf + 0
4.319 * * [simplify]: Extracting #1: cost 27 inf + 0
4.319 * * [simplify]: Extracting #2: cost 61 inf + 0
4.320 * * [simplify]: Extracting #3: cost 50 inf + 1655
4.323 * * [simplify]: Extracting #4: cost 9 inf + 29980
4.329 * * [simplify]: Extracting #5: cost 0 inf + 35454
4.334 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha))
4.335 * [simplify]: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
4.335 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<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))))>
4.335 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) alpha) (*.p16 (+.p16 beta (real->posit16 1.0)) (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.335 * [simplify]: Simplifying (*.p16 (+.p16 beta (real->posit16 1.0)) (real->posit16 1.0))
4.335 * * [simplify]: iters left: 3 (5 enodes)
4.338 * * [simplify]: iters left: 2 (10 enodes)
4.342 * * [simplify]: iters left: 1 (21 enodes)
4.357 * * [simplify]: Extracting #0: cost 1 inf + 0
4.357 * * [simplify]: Extracting #1: cost 3 inf + 0
4.357 * * [simplify]: Extracting #2: cost 3 inf + 1
4.357 * * [simplify]: Extracting #3: cost 0 inf + 45
4.357 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) beta)
4.357 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) alpha) (+.p16 (real->posit16 1.0) beta)) (*.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]: [ 8 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta (real->posit16 1.0))) (*.p16 (real->posit16 1.0) (+.p16 beta (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.358 * [simplify]: Simplifying (*.p16 (real->posit16 1.0) (+.p16 beta (real->posit16 1.0)))
4.358 * * [simplify]: iters left: 3 (5 enodes)
4.359 * * [simplify]: iters left: 2 (15 enodes)
4.363 * * [simplify]: iters left: 1 (29 enodes)
4.367 * * [simplify]: Extracting #0: cost 1 inf + 0
4.367 * * [simplify]: Extracting #1: cost 13 inf + 0
4.367 * * [simplify]: Extracting #2: cost 15 inf + 1
4.367 * * [simplify]: Extracting #3: cost 14 inf + 2
4.367 * * [simplify]: Extracting #4: cost 0 inf + 3946
4.367 * [simplify]: Simplified to (+.p16 (real->posit16 1.0) beta)
4.367 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta (real->posit16 1.0))) (+.p16 (real->posit16 1.0) beta)) (*.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.367 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 beta (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.367 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 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 (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))>
4.368 * [simplify]: Simplifying (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))
4.368 * * [simplify]: iters left: 4 (13 enodes)
4.371 * * [simplify]: iters left: 3 (28 enodes)
4.376 * * [simplify]: iters left: 2 (36 enodes)
4.382 * * [simplify]: iters left: 1 (38 enodes)
4.393 * * [simplify]: Extracting #0: cost 1 inf + 0
4.393 * * [simplify]: Extracting #1: cost 3 inf + 0
4.393 * * [simplify]: Extracting #2: cost 10 inf + 0
4.393 * * [simplify]: Extracting #3: cost 11 inf + 2
4.393 * * [simplify]: Extracting #4: cost 11 inf + 45
4.393 * * [simplify]: Extracting #5: cost 5 inf + 92
4.393 * * [simplify]: Extracting #6: cost 1 inf + 1544
4.394 * * [simplify]: Extracting #7: cost 0 inf + 2429
4.394 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))
4.394 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (+.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 (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))
4.394 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (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)))))))>
4.395 * [simplify]: Simplifying (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0)))
4.395 * * [simplify]: iters left: 3 (7 enodes)
4.398 * * [simplify]: iters left: 2 (21 enodes)
4.407 * * [simplify]: iters left: 1 (51 enodes)
4.444 * * [simplify]: Extracting #0: cost 1 inf + 0
4.444 * * [simplify]: Extracting #1: cost 18 inf + 0
4.444 * * [simplify]: Extracting #2: cost 18 inf + 324
4.444 * * [simplify]: Extracting #3: cost 13 inf + 1853
4.445 * * [simplify]: Extracting #4: cost 9 inf + 2620
4.445 * * [simplify]: Extracting #5: cost 0 inf + 5164
4.446 * * [simplify]: Extracting #6: cost 0 inf + 5124
4.446 * [simplify]: Simplified to (+.p16 (+.p16 (real->posit16 1.0) alpha) (*.p16 (+.p16 (real->posit16 1.0) alpha) beta))
4.446 * [simplify]: Simplified (2 1) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (real->posit16 1.0) alpha) (*.p16 (+.p16 (real->posit16 1.0) alpha) beta)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (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)))))))
4.447 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<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))))>
4.447 * [simplify]: Simplifying (/.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)))
4.447 * * [simplify]: iters left: 6 (18 enodes)
4.452 * * [simplify]: iters left: 5 (59 enodes)
4.467 * * [simplify]: iters left: 4 (196 enodes)
4.646 * * [simplify]: Extracting #0: cost 1 inf + 0
4.646 * * [simplify]: Extracting #1: cost 38 inf + 0
4.647 * * [simplify]: Extracting #2: cost 190 inf + 0
4.649 * * [simplify]: Extracting #3: cost 327 inf + 2221
4.653 * * [simplify]: Extracting #4: cost 321 inf + 8062
4.657 * * [simplify]: Extracting #5: cost 317 inf + 8387
4.663 * * [simplify]: Extracting #6: cost 273 inf + 41676
4.692 * * [simplify]: Extracting #7: cost 59 inf + 265243
4.736 * * [simplify]: Extracting #8: cost 1 inf + 321409
4.779 * * [simplify]: Extracting #9: cost 0 inf + 322974
4.821 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))))))
4.821 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))))))
4.822 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<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))))>
4.822 * [simplify]: Simplifying (/.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)))
4.822 * * [simplify]: iters left: 6 (18 enodes)
4.832 * * [simplify]: iters left: 5 (59 enodes)
4.859 * * [simplify]: iters left: 4 (196 enodes)
5.075 * * [simplify]: Extracting #0: cost 1 inf + 0
5.075 * * [simplify]: Extracting #1: cost 38 inf + 0
5.076 * * [simplify]: Extracting #2: cost 190 inf + 0
5.078 * * [simplify]: Extracting #3: cost 327 inf + 2221
5.081 * * [simplify]: Extracting #4: cost 321 inf + 8062
5.085 * * [simplify]: Extracting #5: cost 317 inf + 8387
5.092 * * [simplify]: Extracting #6: cost 273 inf + 41676
5.109 * * [simplify]: Extracting #7: cost 59 inf + 265243
5.140 * * [simplify]: Extracting #8: cost 1 inf + 321409
5.181 * * [simplify]: Extracting #9: cost 0 inf + 322974
5.223 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))))))
5.223 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))))))
5.223 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<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))))>
5.223 * [simplify]: Simplifying (/.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)))
5.223 * * [simplify]: iters left: 6 (18 enodes)
5.233 * * [simplify]: iters left: 5 (59 enodes)
5.259 * * [simplify]: iters left: 4 (196 enodes)
5.475 * * [simplify]: Extracting #0: cost 1 inf + 0
5.475 * * [simplify]: Extracting #1: cost 38 inf + 0
5.476 * * [simplify]: Extracting #2: cost 190 inf + 0
5.478 * * [simplify]: Extracting #3: cost 327 inf + 2221
5.482 * * [simplify]: Extracting #4: cost 321 inf + 8062
5.486 * * [simplify]: Extracting #5: cost 317 inf + 8387
5.496 * * [simplify]: Extracting #6: cost 273 inf + 41676
5.525 * * [simplify]: Extracting #7: cost 59 inf + 265243
5.566 * * [simplify]: Extracting #8: cost 1 inf + 321409
5.608 * * [simplify]: Extracting #9: cost 0 inf + 322974
5.650 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))))))
5.651 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))))))
5.651 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<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))))>
5.651 * [simplify]: Simplifying (/.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)))
5.651 * * [simplify]: iters left: 6 (18 enodes)
5.662 * * [simplify]: iters left: 5 (59 enodes)
5.688 * * [simplify]: iters left: 4 (196 enodes)
5.906 * * [simplify]: Extracting #0: cost 1 inf + 0
5.906 * * [simplify]: Extracting #1: cost 38 inf + 0
5.907 * * [simplify]: Extracting #2: cost 190 inf + 0
5.909 * * [simplify]: Extracting #3: cost 327 inf + 2221
5.913 * * [simplify]: Extracting #4: cost 321 inf + 8062
5.918 * * [simplify]: Extracting #5: cost 317 inf + 8387
5.926 * * [simplify]: Extracting #6: cost 273 inf + 41676
5.954 * * [simplify]: Extracting #7: cost 59 inf + 265243
5.996 * * [simplify]: Extracting #8: cost 1 inf + 321409
6.038 * * [simplify]: Extracting #9: cost 0 inf + 322974
6.083 * [simplify]: Simplified to (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))))))
6.083 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))))))
6.083 * * * [progress]: adding candidates to table
6.620 * [progress]: [Phase 3 of 3] Extracting.
6.621 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 alpha (real->posit16 1.0)))) (+.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 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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 (real->posit16 1.0))) (+.p16 (real->posit16 1.0) beta)) (*.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 beta (real->posit16 1.0)) (+.p16 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 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 (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))>)
6.622 * * * [regime-changes]: Trying 2 branch expressions: (beta alpha)
6.622 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 alpha (real->posit16 1.0)))) (+.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 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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 (real->posit16 1.0))) (+.p16 (real->posit16 1.0) beta)) (*.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 beta (real->posit16 1.0)) (+.p16 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 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 (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))>)
6.755 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 alpha (real->posit16 1.0)))) (+.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 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.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 (real->posit16 1.0))) (+.p16 (real->posit16 1.0) beta)) (*.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 beta (real->posit16 1.0)) (+.p16 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 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 (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))))>)
6.888 * * * [regime]: Found split indices: #<option (#s(si 4 256))>
6.888 * [simplify]: Simplifying (/.p16 (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 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)))
6.888 * * [simplify]: iters left: 6 (18 enodes)
6.890 * * [simplify]: iters left: 5 (20 enodes)
6.891 * * [simplify]: Extracting #0: cost 1 inf + 0
6.891 * * [simplify]: Extracting #1: cost 3 inf + 0
6.891 * * [simplify]: Extracting #2: cost 6 inf + 0
6.891 * * [simplify]: Extracting #3: cost 10 inf + 0
6.891 * * [simplify]: Extracting #4: cost 15 inf + 1
6.891 * * [simplify]: Extracting #5: cost 13 inf + 46
6.892 * * [simplify]: Extracting #6: cost 7 inf + 134
6.892 * * [simplify]: Extracting #7: cost 4 inf + 1263
6.892 * * [simplify]: Extracting #8: cost 1 inf + 4638
6.892 * * [simplify]: Extracting #9: cost 0 inf + 6803
6.892 * [simplify]: Simplified to (/.p16 (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 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)))
6.893 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
6.915 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
6.919 * * * * [points]: Setting MPFR precision to 64
6.920 * * * * [points]: Setting MPFR precision to 320
6.921 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
6.926 * * * * [points]: Setting MPFR precision to 64
6.928 * * * * [points]: Setting MPFR precision to 320
6.930 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
6.935 * * * * [points]: Setting MPFR precision to 64
6.939 * * * * [points]: Setting MPFR precision to 320
6.943 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
6.948 * * * * [points]: Setting MPFR precision to 64
6.956 * * * * [points]: Setting MPFR precision to 320
6.964 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
6.968 * * * * [points]: Setting MPFR precision to 64
7.001 * * * * [points]: Setting MPFR precision to 320
7.016 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
7.021 * * * * [points]: Setting MPFR precision to 64
7.052 * * * * [points]: Setting MPFR precision to 320
7.084 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
7.089 * * * * [points]: Setting MPFR precision to 64
7.244 * * * * [points]: Setting MPFR precision to 320
7.411 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
7.418 * * * * [points]: Setting MPFR precision to 64
7.638 * * * * [points]: Setting MPFR precision to 320
7.868 * * * * [points]: Computing exacts for 8000 points
7.872 * * * * [points]: Setting MPFR precision to 64
8.811 * * * * [points]: Setting MPFR precision to 320
9.501 * * * * [points]: Filtering points with unrepresentable outputs
9.510 * * * * [points]: Sampling 3541 additional inputs, on iter 1 have 4459 / 8000
9.519 * * * * [points]: Computing exacts on every 221 of 3541 points to ramp up precision
9.524 * * * * [points]: Setting MPFR precision to 64
9.525 * * * * [points]: Setting MPFR precision to 320
9.526 * * * * [points]: Computing exacts on every 110 of 3541 points to ramp up precision
9.530 * * * * [points]: Setting MPFR precision to 64
9.533 * * * * [points]: Setting MPFR precision to 320
9.535 * * * * [points]: Computing exacts on every 55 of 3541 points to ramp up precision
9.563 * * * * [points]: Setting MPFR precision to 64
9.568 * * * * [points]: Setting MPFR precision to 320
9.573 * * * * [points]: Computing exacts on every 27 of 3541 points to ramp up precision
9.578 * * * * [points]: Setting MPFR precision to 64
9.587 * * * * [points]: Setting MPFR precision to 320
9.595 * * * * [points]: Computing exacts on every 13 of 3541 points to ramp up precision
9.600 * * * * [points]: Setting MPFR precision to 64
9.616 * * * * [points]: Setting MPFR precision to 320
9.632 * * * * [points]: Computing exacts on every 6 of 3541 points to ramp up precision
9.636 * * * * [points]: Setting MPFR precision to 64
9.693 * * * * [points]: Setting MPFR precision to 320
9.727 * * * * [points]: Computing exacts on every 3 of 3541 points to ramp up precision
9.732 * * * * [points]: Setting MPFR precision to 64
9.788 * * * * [points]: Setting MPFR precision to 320
9.881 * * * * [points]: Computing exacts for 3541 points
9.885 * * * * [points]: Setting MPFR precision to 64
10.181 * * * * [points]: Setting MPFR precision to 320
10.473 * * * * [points]: Filtering points with unrepresentable outputs
10.477 * * * * [points]: Sampling 1604 additional inputs, on iter 2 have 6396 / 8000
10.482 * * * * [points]: Computing exacts on every 100 of 1604 points to ramp up precision
10.486 * * * * [points]: Setting MPFR precision to 64
10.487 * * * * [points]: Setting MPFR precision to 320
10.488 * * * * [points]: Computing exacts on every 50 of 1604 points to ramp up precision
10.493 * * * * [points]: Setting MPFR precision to 64
10.495 * * * * [points]: Setting MPFR precision to 320
10.497 * * * * [points]: Computing exacts on every 25 of 1604 points to ramp up precision
10.501 * * * * [points]: Setting MPFR precision to 64
10.505 * * * * [points]: Setting MPFR precision to 320
10.509 * * * * [points]: Computing exacts on every 12 of 1604 points to ramp up precision
10.513 * * * * [points]: Setting MPFR precision to 64
10.543 * * * * [points]: Setting MPFR precision to 320
10.554 * * * * [points]: Computing exacts on every 6 of 1604 points to ramp up precision
10.558 * * * * [points]: Setting MPFR precision to 64
10.573 * * * * [points]: Setting MPFR precision to 320
10.587 * * * * [points]: Computing exacts on every 3 of 1604 points to ramp up precision
10.592 * * * * [points]: Setting MPFR precision to 64
10.618 * * * * [points]: Setting MPFR precision to 320
10.644 * * * * [points]: Computing exacts for 1604 points
10.684 * * * * [points]: Setting MPFR precision to 64
10.871 * * * * [points]: Setting MPFR precision to 320
11.305 * * * * [points]: Filtering points with unrepresentable outputs
11.307 * * * * [points]: Sampling 687 additional inputs, on iter 3 have 7313 / 8000
11.309 * * * * [points]: Computing exacts on every 42 of 687 points to ramp up precision
11.314 * * * * [points]: Setting MPFR precision to 64
11.315 * * * * [points]: Setting MPFR precision to 320
11.316 * * * * [points]: Computing exacts on every 21 of 687 points to ramp up precision
11.345 * * * * [points]: Setting MPFR precision to 64
11.347 * * * * [points]: Setting MPFR precision to 320
11.349 * * * * [points]: Computing exacts on every 10 of 687 points to ramp up precision
11.355 * * * * [points]: Setting MPFR precision to 64
11.360 * * * * [points]: Setting MPFR precision to 320
11.364 * * * * [points]: Computing exacts on every 5 of 687 points to ramp up precision
11.368 * * * * [points]: Setting MPFR precision to 64
11.376 * * * * [points]: Setting MPFR precision to 320
11.383 * * * * [points]: Computing exacts on every 2 of 687 points to ramp up precision
11.388 * * * * [points]: Setting MPFR precision to 64
11.402 * * * * [points]: Setting MPFR precision to 320
11.417 * * * * [points]: Computing exacts for 687 points
11.422 * * * * [points]: Setting MPFR precision to 64
11.489 * * * * [points]: Setting MPFR precision to 320
11.533 * * * * [points]: Filtering points with unrepresentable outputs
11.534 * * * * [points]: Sampling 315 additional inputs, on iter 4 have 7685 / 8000
11.535 * * * * [points]: Computing exacts on every 19 of 315 points to ramp up precision
11.541 * * * * [points]: Setting MPFR precision to 64
11.542 * * * * [points]: Setting MPFR precision to 320
11.543 * * * * [points]: Computing exacts on every 9 of 315 points to ramp up precision
11.549 * * * * [points]: Setting MPFR precision to 64
11.551 * * * * [points]: Setting MPFR precision to 320
11.553 * * * * [points]: Computing exacts on every 4 of 315 points to ramp up precision
11.558 * * * * [points]: Setting MPFR precision to 64
11.562 * * * * [points]: Setting MPFR precision to 320
11.566 * * * * [points]: Computing exacts on every 2 of 315 points to ramp up precision
11.593 * * * * [points]: Setting MPFR precision to 64
11.604 * * * * [points]: Setting MPFR precision to 320
11.617 * * * * [points]: Computing exacts for 315 points
11.626 * * * * [points]: Setting MPFR precision to 64
11.663 * * * * [points]: Setting MPFR precision to 320
11.700 * * * * [points]: Filtering points with unrepresentable outputs
11.700 * * * * [points]: Sampling 138 additional inputs, on iter 5 have 7862 / 8000
11.701 * * * * [points]: Computing exacts on every 8 of 138 points to ramp up precision
11.710 * * * * [points]: Setting MPFR precision to 64
11.712 * * * * [points]: Setting MPFR precision to 320
11.714 * * * * [points]: Computing exacts on every 4 of 138 points to ramp up precision
11.723 * * * * [points]: Setting MPFR precision to 64
11.726 * * * * [points]: Setting MPFR precision to 320
11.730 * * * * [points]: Computing exacts on every 2 of 138 points to ramp up precision
11.739 * * * * [points]: Setting MPFR precision to 64
11.744 * * * * [points]: Setting MPFR precision to 320
11.750 * * * * [points]: Computing exacts for 138 points
11.782 * * * * [points]: Setting MPFR precision to 64
11.792 * * * * [points]: Setting MPFR precision to 320
11.801 * * * * [points]: Filtering points with unrepresentable outputs
11.802 * * * * [points]: Sampling 53 additional inputs, on iter 6 have 7947 / 8000
11.802 * * * * [points]: Computing exacts on every 3 of 53 points to ramp up precision
11.807 * * * * [points]: Setting MPFR precision to 64
11.808 * * * * [points]: Setting MPFR precision to 320
11.808 * * * * [points]: Computing exacts for 53 points
11.813 * * * * [points]: Setting MPFR precision to 64
11.817 * * * * [points]: Setting MPFR precision to 320
11.820 * * * * [points]: Filtering points with unrepresentable outputs
11.820 * * * * [points]: Sampling 19 additional inputs, on iter 7 have 7981 / 8000
11.820 * * * * [points]: Computing exacts for 19 points
11.825 * * * * [points]: Setting MPFR precision to 64
11.826 * * * * [points]: Setting MPFR precision to 320
11.828 * * * * [points]: Filtering points with unrepresentable outputs
11.828 * * * * [points]: Sampling 8 additional inputs, on iter 8 have 7992 / 8000
11.828 * * * * [points]: Computing exacts for 8 points
11.834 * * * * [points]: Setting MPFR precision to 64
11.835 * * * * [points]: Setting MPFR precision to 320
11.835 * * * * [points]: Filtering points with unrepresentable outputs
11.835 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 7998 / 8000
11.835 * * * * [points]: Computing exacts for 4 points
11.840 * * * * [points]: Setting MPFR precision to 64
11.841 * * * * [points]: Setting MPFR precision to 320
11.841 * * * * [points]: Filtering points with unrepresentable outputs
11.841 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7999 / 8000
11.841 * * * * [points]: Computing exacts for 4 points
11.846 * * * * [points]: Setting MPFR precision to 64
11.846 * * * * [points]: Setting MPFR precision to 320
11.846 * * * * [points]: Filtering points with unrepresentable outputs
11.846 * * * * [points]: Sampled 8002 points with exact outputs
16.617 * [regime-testing]: Baseline error score: 64.0
16.620 * [regime-testing]: Oracle error score: 64.0
16.627 * [regime-testing]: End program error score: 0.3483301223127205