1553935202.957 * [progress]: [Phase 1 of 3] Setting up.
1553935202.958 * * * [progress]: [1/2] Preparing points
1553935202.959 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1553935202.960 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1553935202.965 * * * * [points]: Setting MPFR precision to 64
1553935202.971 * * * * [points]: Setting MPFR precision to 320
1553935202.973 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1553935202.978 * * * * [points]: Setting MPFR precision to 64
1553935202.982 * * * * [points]: Setting MPFR precision to 320
1553935202.986 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1553935202.991 * * * * [points]: Setting MPFR precision to 64
1553935202.997 * * * * [points]: Setting MPFR precision to 320
1553935203.003 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1553935203.009 * * * * [points]: Setting MPFR precision to 64
1553935203.018 * * * * [points]: Setting MPFR precision to 320
1553935203.029 * * * * [points]: Computing exacts for 256 points
1553935203.034 * * * * [points]: Setting MPFR precision to 64
1553935203.062 * * * * [points]: Setting MPFR precision to 320
1553935203.094 * * * * [points]: Filtering points with unrepresentable outputs
1553935203.109 * * * * [points]: Sampling 116 additional inputs, on iter 1 have 140 / 256
1553935203.110 * * * * [points]: Computing exacts on every 7 of 116 points to ramp up precision
1553935203.115 * * * * [points]: Setting MPFR precision to 64
1553935203.117 * * * * [points]: Setting MPFR precision to 320
1553935203.119 * * * * [points]: Computing exacts on every 3 of 116 points to ramp up precision
1553935203.125 * * * * [points]: Setting MPFR precision to 64
1553935203.129 * * * * [points]: Setting MPFR precision to 320
1553935203.133 * * * * [points]: Computing exacts for 116 points
1553935203.138 * * * * [points]: Setting MPFR precision to 64
1553935203.151 * * * * [points]: Setting MPFR precision to 320
1553935203.165 * * * * [points]: Filtering points with unrepresentable outputs
1553935203.172 * * * * [points]: Sampling 49 additional inputs, on iter 2 have 207 / 256
1553935203.172 * * * * [points]: Computing exacts on every 3 of 49 points to ramp up precision
1553935203.206 * * * * [points]: Setting MPFR precision to 64
1553935203.208 * * * * [points]: Setting MPFR precision to 320
1553935203.209 * * * * [points]: Computing exacts for 49 points
1553935203.217 * * * * [points]: Setting MPFR precision to 64
1553935203.223 * * * * [points]: Setting MPFR precision to 320
1553935203.229 * * * * [points]: Filtering points with unrepresentable outputs
1553935203.232 * * * * [points]: Sampling 22 additional inputs, on iter 3 have 234 / 256
1553935203.232 * * * * [points]: Computing exacts for 22 points
1553935203.238 * * * * [points]: Setting MPFR precision to 64
1553935203.240 * * * * [points]: Setting MPFR precision to 320
1553935203.243 * * * * [points]: Filtering points with unrepresentable outputs
1553935203.243 * * * * [points]: Sampling 17 additional inputs, on iter 4 have 239 / 256
1553935203.243 * * * * [points]: Computing exacts for 17 points
1553935203.249 * * * * [points]: Setting MPFR precision to 64
1553935203.252 * * * * [points]: Setting MPFR precision to 320
1553935203.254 * * * * [points]: Filtering points with unrepresentable outputs
1553935203.255 * * * * [points]: Sampling 9 additional inputs, on iter 5 have 247 / 256
1553935203.255 * * * * [points]: Computing exacts for 9 points
1553935203.260 * * * * [points]: Setting MPFR precision to 64
1553935203.261 * * * * [points]: Setting MPFR precision to 320
1553935203.263 * * * * [points]: Filtering points with unrepresentable outputs
1553935203.263 * * * * [points]: Sampling 6 additional inputs, on iter 6 have 250 / 256
1553935203.263 * * * * [points]: Computing exacts for 6 points
1553935203.268 * * * * [points]: Setting MPFR precision to 64
1553935203.269 * * * * [points]: Setting MPFR precision to 320
1553935203.270 * * * * [points]: Filtering points with unrepresentable outputs
1553935203.271 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 254 / 256
1553935203.271 * * * * [points]: Computing exacts for 4 points
1553935203.276 * * * * [points]: Setting MPFR precision to 64
1553935203.277 * * * * [points]: Setting MPFR precision to 320
1553935203.277 * * * * [points]: Filtering points with unrepresentable outputs
1553935203.278 * * * * [points]: Sampled 257 points with exact outputs
1553935203.278 * * * [progress]: [2/2] Setting up program.
1553935203.322 * [progress]: [Phase 2 of 3] Improving.
1553935203.322 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935203.323 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1553935203.323 * * [simplify]: iters left: 5 (12 enodes)
1553935203.329 * * [simplify]: iters left: 4 (29 enodes)
1553935203.338 * * [simplify]: iters left: 3 (46 enodes)
1553935203.355 * * [simplify]: iters left: 2 (97 enodes)
1553935203.414 * * [simplify]: iters left: 1 (335 enodes)
1553935203.730 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935203.730 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935203.730 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935203.731 * * [simplify]: Extracting #3: cost 84 inf + 2
1553935203.733 * * [simplify]: Extracting #4: cost 417 inf + 3
1553935203.741 * * [simplify]: Extracting #5: cost 404 inf + 78485
1553935203.780 * * [simplify]: Extracting #6: cost 124 inf + 437558
1553935203.833 * * [simplify]: Extracting #7: cost 5 inf + 645994
1553935203.888 * * [simplify]: Extracting #8: cost 0 inf + 656284
1553935203.946 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))
1553935203.946 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))
1553935203.989 * * [progress]: iteration 1 / 4
1553935203.989 * * * [progress]: picking best candidate
1553935204.025 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935204.025 * * * [progress]: localizing error
1553935204.319 * * * [progress]: generating rewritten candidates
1553935204.319 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1553935204.326 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1553935204.333 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1553935204.341 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1553935204.352 * * * [progress]: generating series expansions
1553935204.352 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1553935204.352 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1553935204.352 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1553935204.352 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1553935204.352 * * * [progress]: simplifying candidates
1553935204.352 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935204.352 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
1553935204.353 * * [simplify]: iters left: 2 (5 enodes)
1553935204.354 * * [simplify]: iters left: 1 (19 enodes)
1553935204.357 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935204.357 * * [simplify]: Extracting #1: cost 8 inf + 0
1553935204.357 * * [simplify]: Extracting #2: cost 16 inf + 0
1553935204.357 * * [simplify]: Extracting #3: cost 16 inf + 1766
1553935204.357 * * [simplify]: Extracting #4: cost 6 inf + 6819
1553935204.358 * * [simplify]: Extracting #5: cost 1 inf + 12227
1553935204.358 * * [simplify]: Extracting #6: cost 0 inf + 13549
1553935204.358 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1553935204.358 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1553935204.359 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))>
1553935204.359 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935204.359 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935204.359 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935204.359 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1553935204.359 * * [simplify]: iters left: 5 (12 enodes)
1553935204.362 * * [simplify]: iters left: 4 (29 enodes)
1553935204.368 * * [simplify]: iters left: 3 (46 enodes)
1553935204.381 * * [simplify]: iters left: 2 (97 enodes)
1553935204.408 * * [simplify]: iters left: 1 (335 enodes)
1553935204.613 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935204.613 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935204.613 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935204.614 * * [simplify]: Extracting #3: cost 84 inf + 2
1553935204.616 * * [simplify]: Extracting #4: cost 417 inf + 3
1553935204.625 * * [simplify]: Extracting #5: cost 404 inf + 78485
1553935204.647 * * [simplify]: Extracting #6: cost 124 inf + 437558
1553935204.681 * * [simplify]: Extracting #7: cost 5 inf + 645994
1553935204.719 * * [simplify]: Extracting #8: cost 0 inf + 656284
1553935204.747 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))
1553935204.747 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))
1553935204.747 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935204.747 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1553935204.747 * * [simplify]: iters left: 5 (12 enodes)
1553935204.750 * * [simplify]: iters left: 4 (29 enodes)
1553935204.755 * * [simplify]: iters left: 3 (46 enodes)
1553935204.763 * * [simplify]: iters left: 2 (97 enodes)
1553935204.801 * * [simplify]: iters left: 1 (335 enodes)
1553935204.986 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935204.986 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935204.986 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935204.986 * * [simplify]: Extracting #3: cost 84 inf + 2
1553935204.988 * * [simplify]: Extracting #4: cost 417 inf + 3
1553935204.996 * * [simplify]: Extracting #5: cost 404 inf + 78485
1553935205.032 * * [simplify]: Extracting #6: cost 124 inf + 437558
1553935205.088 * * [simplify]: Extracting #7: cost 5 inf + 645994
1553935205.143 * * [simplify]: Extracting #8: cost 0 inf + 656284
1553935205.200 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))
1553935205.200 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))
1553935205.201 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935205.201 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1553935205.201 * * [simplify]: iters left: 5 (12 enodes)
1553935205.207 * * [simplify]: iters left: 4 (29 enodes)
1553935205.218 * * [simplify]: iters left: 3 (46 enodes)
1553935205.233 * * [simplify]: iters left: 2 (97 enodes)
1553935205.265 * * [simplify]: iters left: 1 (335 enodes)
1553935205.529 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935205.530 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935205.530 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935205.530 * * [simplify]: Extracting #3: cost 84 inf + 2
1553935205.532 * * [simplify]: Extracting #4: cost 417 inf + 3
1553935205.540 * * [simplify]: Extracting #5: cost 404 inf + 78485
1553935205.572 * * [simplify]: Extracting #6: cost 124 inf + 437558
1553935205.619 * * [simplify]: Extracting #7: cost 5 inf + 645994
1553935205.650 * * [simplify]: Extracting #8: cost 0 inf + 656284
1553935205.679 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))
1553935205.679 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))
1553935205.679 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935205.679 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1553935205.680 * * [simplify]: iters left: 5 (12 enodes)
1553935205.682 * * [simplify]: iters left: 4 (29 enodes)
1553935205.687 * * [simplify]: iters left: 3 (46 enodes)
1553935205.695 * * [simplify]: iters left: 2 (97 enodes)
1553935205.717 * * [simplify]: iters left: 1 (335 enodes)
1553935205.881 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935205.881 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935205.882 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935205.882 * * [simplify]: Extracting #3: cost 84 inf + 2
1553935205.884 * * [simplify]: Extracting #4: cost 417 inf + 3
1553935205.892 * * [simplify]: Extracting #5: cost 404 inf + 78485
1553935205.928 * * [simplify]: Extracting #6: cost 124 inf + 437558
1553935205.981 * * [simplify]: Extracting #7: cost 5 inf + 645994
1553935206.034 * * [simplify]: Extracting #8: cost 0 inf + 656284
1553935206.079 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))
1553935206.079 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))
1553935206.079 * * * [progress]: adding candidates to table
1553935206.608 * * [progress]: iteration 2 / 4
1553935206.608 * * * [progress]: picking best candidate
1553935206.688 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935206.688 * * * [progress]: localizing error
1553935207.096 * * * [progress]: generating rewritten candidates
1553935207.096 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1553935207.105 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1553935207.119 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1553935207.127 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1553935207.149 * * * [progress]: generating series expansions
1553935207.150 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1553935207.150 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1553935207.150 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1553935207.150 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1553935207.150 * * * [progress]: simplifying candidates
1553935207.150 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935207.150 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
1553935207.150 * * [simplify]: iters left: 2 (5 enodes)
1553935207.152 * * [simplify]: iters left: 1 (19 enodes)
1553935207.159 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935207.159 * * [simplify]: Extracting #1: cost 8 inf + 0
1553935207.159 * * [simplify]: Extracting #2: cost 16 inf + 0
1553935207.159 * * [simplify]: Extracting #3: cost 16 inf + 1766
1553935207.160 * * [simplify]: Extracting #4: cost 6 inf + 6819
1553935207.160 * * [simplify]: Extracting #5: cost 1 inf + 12227
1553935207.161 * * [simplify]: Extracting #6: cost 0 inf + 13549
1553935207.162 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1553935207.162 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1553935207.162 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))) (real->posit16 2.0)))>
1553935207.162 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935207.162 * [simplify]: Simplifying (real->posit16 2.0)
1553935207.163 * * [simplify]: iters left: 1 (2 enodes)
1553935207.164 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935207.164 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935207.164 * * [simplify]: Extracting #2: cost 1 inf + 1
1553935207.164 * * [simplify]: Extracting #3: cost 0 inf + 2
1553935207.164 * [simplify]: Simplified to (real->posit16 2.0)
1553935207.164 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
1553935207.164 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935207.165 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935207.165 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935207.165 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935207.165 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935207.165 * * * [progress]: adding candidates to table
1553935207.637 * * [progress]: iteration 3 / 4
1553935207.637 * * * [progress]: picking best candidate
1553935207.687 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935207.687 * * * [progress]: localizing error
1553935208.294 * * * [progress]: generating rewritten candidates
1553935208.294 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1553935208.301 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1553935208.312 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1553935208.326 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
1553935208.342 * * * [progress]: generating series expansions
1553935208.342 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1553935208.342 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1553935208.342 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1553935208.342 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
1553935208.342 * * * [progress]: simplifying candidates
1553935208.342 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935208.343 * [simplify]: Simplifying (+.p16 beta alpha)
1553935208.343 * * [simplify]: iters left: 1 (3 enodes)
1553935208.344 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935208.344 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935208.344 * * [simplify]: Extracting #2: cost 1 inf + 2
1553935208.344 * * [simplify]: Extracting #3: cost 0 inf + 44
1553935208.344 * [simplify]: Simplified to (+.p16 alpha beta)
1553935208.344 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))
1553935208.345 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935208.345 * [simplify]: Simplifying (-.p16 beta alpha)
1553935208.345 * * [simplify]: iters left: 1 (3 enodes)
1553935208.355 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935208.355 * * [simplify]: Extracting #1: cost 6 inf + 0
1553935208.355 * * [simplify]: Extracting #2: cost 5 inf + 44
1553935208.355 * * [simplify]: Extracting #3: cost 0 inf + 1571
1553935208.356 * [simplify]: Simplified to (-.p16 beta alpha)
1553935208.356 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
1553935208.356 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta)) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935208.356 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
1553935208.356 * * [simplify]: iters left: 3 (7 enodes)
1553935208.359 * * [simplify]: iters left: 2 (28 enodes)
1553935208.372 * * [simplify]: iters left: 1 (79 enodes)
1553935208.407 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935208.407 * * [simplify]: Extracting #1: cost 23 inf + 0
1553935208.407 * * [simplify]: Extracting #2: cost 63 inf + 0
1553935208.408 * * [simplify]: Extracting #3: cost 75 inf + 1531
1553935208.410 * * [simplify]: Extracting #4: cost 37 inf + 47856
1553935208.415 * * [simplify]: Extracting #5: cost 1 inf + 91596
1553935208.421 * * [simplify]: Extracting #6: cost 0 inf + 94238
1553935208.428 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
1553935208.428 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1553935208.428 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935208.428 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
1553935208.428 * * [simplify]: iters left: 3 (8 enodes)
1553935208.433 * * [simplify]: iters left: 2 (23 enodes)
1553935208.440 * * [simplify]: iters left: 1 (40 enodes)
1553935208.454 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935208.454 * * [simplify]: Extracting #1: cost 10 inf + 0
1553935208.454 * * [simplify]: Extracting #2: cost 32 inf + 0
1553935208.454 * * [simplify]: Extracting #3: cost 33 inf + 1045
1553935208.455 * * [simplify]: Extracting #4: cost 25 inf + 6988
1553935208.456 * * [simplify]: Extracting #5: cost 2 inf + 20756
1553935208.458 * * [simplify]: Extracting #6: cost 0 inf + 22961
1553935208.460 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
1553935208.460 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1553935208.460 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))
1553935208.460 * * [simplify]: iters left: 2 (5 enodes)
1553935208.462 * * [simplify]: iters left: 1 (9 enodes)
1553935208.465 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935208.465 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935208.465 * * [simplify]: Extracting #2: cost 4 inf + 0
1553935208.465 * * [simplify]: Extracting #3: cost 2 inf + 2
1553935208.465 * * [simplify]: Extracting #4: cost 0 inf + 526
1553935208.465 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))
1553935208.465 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1553935208.465 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)))) (real->posit16 2.0)))>
1553935208.465 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) beta) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935208.466 * [simplify]: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha)
1553935208.466 * * [simplify]: iters left: 3 (7 enodes)
1553935208.469 * * [simplify]: iters left: 2 (17 enodes)
1553935208.475 * * [simplify]: iters left: 1 (36 enodes)
1553935208.489 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935208.489 * * [simplify]: Extracting #1: cost 10 inf + 0
1553935208.490 * * [simplify]: Extracting #2: cost 15 inf + 1
1553935208.490 * * [simplify]: Extracting #3: cost 14 inf + 323
1553935208.490 * * [simplify]: Extracting #4: cost 9 inf + 1372
1553935208.490 * * [simplify]: Extracting #5: cost 6 inf + 1498
1553935208.491 * * [simplify]: Extracting #6: cost 0 inf + 3353
1553935208.492 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
1553935208.492 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) beta) (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
1553935208.492 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935208.492 * [simplify]: Simplifying (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))
1553935208.492 * * [simplify]: iters left: 3 (7 enodes)
1553935208.496 * * [simplify]: iters left: 2 (23 enodes)
1553935208.506 * * [simplify]: iters left: 1 (42 enodes)
1553935208.520 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935208.520 * * [simplify]: Extracting #1: cost 12 inf + 0
1553935208.520 * * [simplify]: Extracting #2: cost 16 inf + 1
1553935208.520 * * [simplify]: Extracting #3: cost 15 inf + 323
1553935208.520 * * [simplify]: Extracting #4: cost 11 inf + 1050
1553935208.520 * * [simplify]: Extracting #5: cost 5 inf + 2222
1553935208.521 * * [simplify]: Extracting #6: cost 0 inf + 4395
1553935208.522 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
1553935208.522 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
1553935208.522 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935208.522 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935208.522 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (real->posit16 2.0) (+.p16 alpha beta)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935208.522 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935208.522 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
1553935208.523 * * [simplify]: iters left: 6 (15 enodes)
1553935208.530 * * [simplify]: iters left: 5 (52 enodes)
1553935208.548 * * [simplify]: iters left: 4 (152 enodes)
1553935208.590 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935208.590 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935208.590 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935208.592 * * [simplify]: Extracting #3: cost 36 inf + 2
1553935208.593 * * [simplify]: Extracting #4: cost 104 inf + 3
1553935208.594 * * [simplify]: Extracting #5: cost 112 inf + 4517
1553935208.601 * * [simplify]: Extracting #6: cost 50 inf + 77491
1553935208.612 * * [simplify]: Extracting #7: cost 1 inf + 122190
1553935208.623 * * [simplify]: Extracting #8: cost 0 inf + 124192
1553935208.635 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
1553935208.635 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
1553935208.636 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935208.636 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
1553935208.636 * * [simplify]: iters left: 6 (15 enodes)
1553935208.643 * * [simplify]: iters left: 5 (52 enodes)
1553935208.664 * * [simplify]: iters left: 4 (152 enodes)
1553935208.748 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935208.748 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935208.748 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935208.748 * * [simplify]: Extracting #3: cost 36 inf + 2
1553935208.749 * * [simplify]: Extracting #4: cost 104 inf + 3
1553935208.751 * * [simplify]: Extracting #5: cost 112 inf + 4517
1553935208.757 * * [simplify]: Extracting #6: cost 50 inf + 77491
1553935208.768 * * [simplify]: Extracting #7: cost 1 inf + 122190
1553935208.780 * * [simplify]: Extracting #8: cost 0 inf + 124192
1553935208.789 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
1553935208.789 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
1553935208.789 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935208.789 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
1553935208.789 * * [simplify]: iters left: 6 (15 enodes)
1553935208.793 * * [simplify]: iters left: 5 (52 enodes)
1553935208.815 * * [simplify]: iters left: 4 (152 enodes)
1553935208.901 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935208.901 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935208.901 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935208.901 * * [simplify]: Extracting #3: cost 36 inf + 2
1553935208.901 * * [simplify]: Extracting #4: cost 104 inf + 3
1553935208.903 * * [simplify]: Extracting #5: cost 112 inf + 4517
1553935208.909 * * [simplify]: Extracting #6: cost 50 inf + 77491
1553935208.920 * * [simplify]: Extracting #7: cost 1 inf + 122190
1553935208.932 * * [simplify]: Extracting #8: cost 0 inf + 124192
1553935208.944 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
1553935208.944 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
1553935208.945 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935208.945 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))
1553935208.945 * * [simplify]: iters left: 6 (15 enodes)
1553935208.953 * * [simplify]: iters left: 5 (52 enodes)
1553935208.975 * * [simplify]: iters left: 4 (152 enodes)
1553935209.054 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935209.054 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935209.054 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935209.055 * * [simplify]: Extracting #3: cost 36 inf + 2
1553935209.055 * * [simplify]: Extracting #4: cost 104 inf + 3
1553935209.056 * * [simplify]: Extracting #5: cost 112 inf + 4517
1553935209.063 * * [simplify]: Extracting #6: cost 50 inf + 77491
1553935209.074 * * [simplify]: Extracting #7: cost 1 inf + 122190
1553935209.086 * * [simplify]: Extracting #8: cost 0 inf + 124192
1553935209.100 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
1553935209.100 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))
1553935209.100 * * * [progress]: adding candidates to table
1553935210.384 * * [progress]: iteration 4 / 4
1553935210.384 * * * [progress]: picking best candidate
1553935210.621 * * * * [pick]: Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935210.621 * * * [progress]: localizing error
1553935211.061 * * * [progress]: generating rewritten candidates
1553935211.061 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1553935211.070 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1553935211.492 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
1553935211.500 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1553935211.523 * * * [progress]: generating series expansions
1553935211.523 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1553935211.523 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1553935211.523 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1553935211.523 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1553935211.523 * * * [progress]: simplifying candidates
1553935211.523 * * * * [progress]: [ 1 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (*.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935211.524 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
1553935211.524 * * [simplify]: iters left: 2 (5 enodes)
1553935211.526 * * [simplify]: iters left: 1 (19 enodes)
1553935211.532 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935211.533 * * [simplify]: Extracting #1: cost 8 inf + 0
1553935211.533 * * [simplify]: Extracting #2: cost 16 inf + 0
1553935211.533 * * [simplify]: Extracting #3: cost 16 inf + 1766
1553935211.533 * * [simplify]: Extracting #4: cost 6 inf + 6819
1553935211.534 * * [simplify]: Extracting #5: cost 1 inf + 12227
1553935211.535 * * [simplify]: Extracting #6: cost 0 inf + 13549
1553935211.535 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1553935211.535 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1553935211.535 * * * * [progress]: [ 2 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0))))) (real->posit16 2.0)))>
1553935211.536 * * * * [progress]: [ 3 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935211.536 * [simplify]: Simplifying (real->posit16 2.0)
1553935211.536 * * [simplify]: iters left: 1 (2 enodes)
1553935211.537 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935211.537 * * [simplify]: Extracting #1: cost 2 inf + 0
1553935211.537 * * [simplify]: Extracting #2: cost 1 inf + 1
1553935211.537 * * [simplify]: Extracting #3: cost 0 inf + 2
1553935211.538 * [simplify]: Simplified to (real->posit16 2.0)
1553935211.538 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
1553935211.538 * * * * [progress]: [ 4 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha (real->posit16 2.0)) beta)) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935211.538 * * * * [progress]: [ 5 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935211.538 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
1553935211.538 * * [simplify]: iters left: 6 (12 enodes)
1553935211.544 * * [simplify]: iters left: 5 (29 enodes)
1553935211.553 * * [simplify]: iters left: 4 (46 enodes)
1553935211.569 * * [simplify]: iters left: 3 (97 enodes)
1553935211.613 * * [simplify]: iters left: 2 (335 enodes)
1553935211.925 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935211.925 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935211.925 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935211.925 * * [simplify]: Extracting #3: cost 84 inf + 2
1553935211.927 * * [simplify]: Extracting #4: cost 417 inf + 3
1553935211.934 * * [simplify]: Extracting #5: cost 428 inf + 54952
1553935211.966 * * [simplify]: Extracting #6: cost 141 inf + 421995
1553935212.022 * * [simplify]: Extracting #7: cost 6 inf + 644394
1553935212.077 * * [simplify]: Extracting #8: cost 0 inf + 656444
1553935212.111 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0))
1553935212.111 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0)))
1553935212.111 * * * * [progress]: [ 6 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935212.112 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
1553935212.112 * * [simplify]: iters left: 6 (12 enodes)
1553935212.115 * * [simplify]: iters left: 5 (29 enodes)
1553935212.123 * * [simplify]: iters left: 4 (46 enodes)
1553935212.139 * * [simplify]: iters left: 3 (97 enodes)
1553935212.183 * * [simplify]: iters left: 2 (335 enodes)
1553935212.499 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935212.499 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935212.499 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935212.499 * * [simplify]: Extracting #3: cost 84 inf + 2
1553935212.501 * * [simplify]: Extracting #4: cost 417 inf + 3
1553935212.508 * * [simplify]: Extracting #5: cost 428 inf + 54952
1553935212.540 * * [simplify]: Extracting #6: cost 141 inf + 421995
1553935212.593 * * [simplify]: Extracting #7: cost 6 inf + 644394
1553935212.652 * * [simplify]: Extracting #8: cost 0 inf + 656444
1553935212.707 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0))
1553935212.708 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0)))
1553935212.708 * * * * [progress]: [ 7 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935212.708 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
1553935212.708 * * [simplify]: iters left: 6 (12 enodes)
1553935212.714 * * [simplify]: iters left: 5 (29 enodes)
1553935212.724 * * [simplify]: iters left: 4 (46 enodes)
1553935212.741 * * [simplify]: iters left: 3 (97 enodes)
1553935212.787 * * [simplify]: iters left: 2 (335 enodes)
1553935213.068 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935213.068 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935213.068 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935213.069 * * [simplify]: Extracting #3: cost 84 inf + 2
1553935213.071 * * [simplify]: Extracting #4: cost 417 inf + 3
1553935213.076 * * [simplify]: Extracting #5: cost 428 inf + 54952
1553935213.107 * * [simplify]: Extracting #6: cost 141 inf + 421995
1553935213.155 * * [simplify]: Extracting #7: cost 6 inf + 644394
1553935213.211 * * [simplify]: Extracting #8: cost 0 inf + 656444
1553935213.267 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0))
1553935213.267 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0)))
1553935213.267 * * * * [progress]: [ 8 / 8 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>
1553935213.267 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
1553935213.267 * * [simplify]: iters left: 6 (12 enodes)
1553935213.273 * * [simplify]: iters left: 5 (29 enodes)
1553935213.282 * * [simplify]: iters left: 4 (46 enodes)
1553935213.298 * * [simplify]: iters left: 3 (97 enodes)
1553935213.342 * * [simplify]: iters left: 2 (335 enodes)
1553935213.583 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935213.584 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935213.584 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935213.585 * * [simplify]: Extracting #3: cost 84 inf + 2
1553935213.586 * * [simplify]: Extracting #4: cost 417 inf + 3
1553935213.589 * * [simplify]: Extracting #5: cost 428 inf + 54952
1553935213.605 * * [simplify]: Extracting #6: cost 141 inf + 421995
1553935213.631 * * [simplify]: Extracting #7: cost 6 inf + 644394
1553935213.661 * * [simplify]: Extracting #8: cost 0 inf + 656444
1553935213.689 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0))
1553935213.689 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0)))
1553935213.689 * * * [progress]: adding candidates to table
1553935214.007 * [progress]: [Phase 3 of 3] Extracting.
1553935214.007 * * [regime]: Finding splitpoints for: (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))>)
1553935214.008 * * * [regime-changes]: Trying 2 branch expressions: (alpha beta)
1553935214.008 * * * * [regimes]: Trying to branch on alpha from (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))>)
1553935214.354 * * * * [regimes]: Trying to branch on beta from (#<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))>)
1553935214.697 * * * [regime]: Found split indices: #<option (#s(si 5 256))>
1553935214.697 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1553935214.698 * * [simplify]: iters left: 5 (12 enodes)
1553935214.699 * * [simplify]: Extracting #0: cost 1 inf + 0
1553935214.699 * * [simplify]: Extracting #1: cost 3 inf + 0
1553935214.699 * * [simplify]: Extracting #2: cost 6 inf + 0
1553935214.699 * * [simplify]: Extracting #3: cost 7 inf + 2
1553935214.699 * * [simplify]: Extracting #4: cost 8 inf + 4
1553935214.700 * * [simplify]: Extracting #5: cost 6 inf + 6
1553935214.700 * * [simplify]: Extracting #6: cost 0 inf + 2544
1553935214.700 * [simplify]: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1553935214.700 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1553935214.722 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1553935214.725 * * * * [points]: Setting MPFR precision to 64
1553935214.726 * * * * [points]: Setting MPFR precision to 320
1553935214.727 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1553935214.730 * * * * [points]: Setting MPFR precision to 64
1553935214.732 * * * * [points]: Setting MPFR precision to 320
1553935214.734 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1553935214.737 * * * * [points]: Setting MPFR precision to 64
1553935214.741 * * * * [points]: Setting MPFR precision to 320
1553935214.746 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1553935214.749 * * * * [points]: Setting MPFR precision to 64
1553935214.756 * * * * [points]: Setting MPFR precision to 320
1553935214.765 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1553935214.768 * * * * [points]: Setting MPFR precision to 64
1553935214.783 * * * * [points]: Setting MPFR precision to 320
1553935214.819 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1553935214.822 * * * * [points]: Setting MPFR precision to 64
1553935214.854 * * * * [points]: Setting MPFR precision to 320
1553935214.889 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1553935214.892 * * * * [points]: Setting MPFR precision to 64
1553935214.999 * * * * [points]: Setting MPFR precision to 320
1553935215.125 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1553935215.131 * * * * [points]: Setting MPFR precision to 64
1553935215.385 * * * * [points]: Setting MPFR precision to 320
1553935215.687 * * * * [points]: Computing exacts for 8000 points
1553935215.693 * * * * [points]: Setting MPFR precision to 64
1553935216.610 * * * * [points]: Setting MPFR precision to 320
1553935217.847 * * * * [points]: Filtering points with unrepresentable outputs
1553935218.577 * * * * [points]: Sampling 3500 additional inputs, on iter 1 have 4500 / 8000
1553935218.595 * * * * [points]: Computing exacts on every 218 of 3500 points to ramp up precision
1553935218.600 * * * * [points]: Setting MPFR precision to 64
1553935218.602 * * * * [points]: Setting MPFR precision to 320
1553935218.604 * * * * [points]: Computing exacts on every 109 of 3500 points to ramp up precision
1553935218.609 * * * * [points]: Setting MPFR precision to 64
1553935218.613 * * * * [points]: Setting MPFR precision to 320
1553935218.617 * * * * [points]: Computing exacts on every 54 of 3500 points to ramp up precision
1553935218.622 * * * * [points]: Setting MPFR precision to 64
1553935218.629 * * * * [points]: Setting MPFR precision to 320
1553935218.638 * * * * [points]: Computing exacts on every 27 of 3500 points to ramp up precision
1553935218.644 * * * * [points]: Setting MPFR precision to 64
1553935218.659 * * * * [points]: Setting MPFR precision to 320
1553935218.675 * * * * [points]: Computing exacts on every 13 of 3500 points to ramp up precision
1553935218.681 * * * * [points]: Setting MPFR precision to 64
1553935218.709 * * * * [points]: Setting MPFR precision to 320
1553935218.740 * * * * [points]: Computing exacts on every 6 of 3500 points to ramp up precision
1553935218.746 * * * * [points]: Setting MPFR precision to 64
1553935218.829 * * * * [points]: Setting MPFR precision to 320
1553935218.885 * * * * [points]: Computing exacts on every 3 of 3500 points to ramp up precision
1553935218.890 * * * * [points]: Setting MPFR precision to 64
1553935218.974 * * * * [points]: Setting MPFR precision to 320
1553935219.124 * * * * [points]: Computing exacts for 3500 points
1553935219.130 * * * * [points]: Setting MPFR precision to 64
1553935219.426 * * * * [points]: Setting MPFR precision to 320
1553935219.830 * * * * [points]: Filtering points with unrepresentable outputs
1553935220.050 * * * * [points]: Sampling 1505 additional inputs, on iter 2 have 6495 / 8000
1553935220.058 * * * * [points]: Computing exacts on every 94 of 1505 points to ramp up precision
1553935220.065 * * * * [points]: Setting MPFR precision to 64
1553935220.067 * * * * [points]: Setting MPFR precision to 320
1553935220.070 * * * * [points]: Computing exacts on every 47 of 1505 points to ramp up precision
1553935220.075 * * * * [points]: Setting MPFR precision to 64
1553935220.079 * * * * [points]: Setting MPFR precision to 320
1553935220.083 * * * * [points]: Computing exacts on every 23 of 1505 points to ramp up precision
1553935220.088 * * * * [points]: Setting MPFR precision to 64
1553935220.095 * * * * [points]: Setting MPFR precision to 320
1553935220.103 * * * * [points]: Computing exacts on every 11 of 1505 points to ramp up precision
1553935220.108 * * * * [points]: Setting MPFR precision to 64
1553935220.121 * * * * [points]: Setting MPFR precision to 320
1553935220.158 * * * * [points]: Computing exacts on every 5 of 1505 points to ramp up precision
1553935220.164 * * * * [points]: Setting MPFR precision to 64
1553935220.195 * * * * [points]: Setting MPFR precision to 320
1553935220.226 * * * * [points]: Computing exacts on every 2 of 1505 points to ramp up precision
1553935220.232 * * * * [points]: Setting MPFR precision to 64
1553935220.285 * * * * [points]: Setting MPFR precision to 320
1553935220.346 * * * * [points]: Computing exacts for 1505 points
1553935220.352 * * * * [points]: Setting MPFR precision to 64
1553935220.560 * * * * [points]: Setting MPFR precision to 320
1553935220.806 * * * * [points]: Filtering points with unrepresentable outputs
1553935220.889 * * * * [points]: Sampling 655 additional inputs, on iter 3 have 7345 / 8000
1553935220.893 * * * * [points]: Computing exacts on every 40 of 655 points to ramp up precision
1553935220.898 * * * * [points]: Setting MPFR precision to 64
1553935220.900 * * * * [points]: Setting MPFR precision to 320
1553935220.902 * * * * [points]: Computing exacts on every 20 of 655 points to ramp up precision
1553935220.907 * * * * [points]: Setting MPFR precision to 64
1553935220.910 * * * * [points]: Setting MPFR precision to 320
1553935220.914 * * * * [points]: Computing exacts on every 10 of 655 points to ramp up precision
1553935220.919 * * * * [points]: Setting MPFR precision to 64
1553935220.926 * * * * [points]: Setting MPFR precision to 320
1553935220.934 * * * * [points]: Computing exacts on every 5 of 655 points to ramp up precision
1553935220.967 * * * * [points]: Setting MPFR precision to 64
1553935220.975 * * * * [points]: Setting MPFR precision to 320
1553935220.984 * * * * [points]: Computing exacts on every 2 of 655 points to ramp up precision
1553935220.987 * * * * [points]: Setting MPFR precision to 64
1553935221.001 * * * * [points]: Setting MPFR precision to 320
1553935221.018 * * * * [points]: Computing exacts for 655 points
1553935221.021 * * * * [points]: Setting MPFR precision to 64
1553935221.060 * * * * [points]: Setting MPFR precision to 320
1553935221.132 * * * * [points]: Filtering points with unrepresentable outputs
1553935221.154 * * * * [points]: Sampling 287 additional inputs, on iter 4 have 7713 / 8000
1553935221.155 * * * * [points]: Computing exacts on every 17 of 287 points to ramp up precision
1553935221.158 * * * * [points]: Setting MPFR precision to 64
1553935221.159 * * * * [points]: Setting MPFR precision to 320
1553935221.162 * * * * [points]: Computing exacts on every 8 of 287 points to ramp up precision
1553935221.165 * * * * [points]: Setting MPFR precision to 64
1553935221.167 * * * * [points]: Setting MPFR precision to 320
1553935221.169 * * * * [points]: Computing exacts on every 4 of 287 points to ramp up precision
1553935221.172 * * * * [points]: Setting MPFR precision to 64
1553935221.176 * * * * [points]: Setting MPFR precision to 320
1553935221.180 * * * * [points]: Computing exacts on every 2 of 287 points to ramp up precision
1553935221.183 * * * * [points]: Setting MPFR precision to 64
1553935221.188 * * * * [points]: Setting MPFR precision to 320
1553935221.195 * * * * [points]: Computing exacts for 287 points
1553935221.198 * * * * [points]: Setting MPFR precision to 64
1553935221.215 * * * * [points]: Setting MPFR precision to 320
1553935221.235 * * * * [points]: Filtering points with unrepresentable outputs
1553935221.248 * * * * [points]: Sampling 137 additional inputs, on iter 5 have 7863 / 8000
1553935221.249 * * * * [points]: Computing exacts on every 8 of 137 points to ramp up precision
1553935221.284 * * * * [points]: Setting MPFR precision to 64
1553935221.287 * * * * [points]: Setting MPFR precision to 320
1553935221.289 * * * * [points]: Computing exacts on every 4 of 137 points to ramp up precision
1553935221.296 * * * * [points]: Setting MPFR precision to 64
1553935221.299 * * * * [points]: Setting MPFR precision to 320
1553935221.303 * * * * [points]: Computing exacts on every 2 of 137 points to ramp up precision
1553935221.308 * * * * [points]: Setting MPFR precision to 64
1553935221.313 * * * * [points]: Setting MPFR precision to 320
1553935221.319 * * * * [points]: Computing exacts for 137 points
1553935221.325 * * * * [points]: Setting MPFR precision to 64
1553935221.340 * * * * [points]: Setting MPFR precision to 320
1553935221.359 * * * * [points]: Filtering points with unrepresentable outputs
1553935221.366 * * * * [points]: Sampling 65 additional inputs, on iter 6 have 7935 / 8000
1553935221.367 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
1553935221.372 * * * * [points]: Setting MPFR precision to 64
1553935221.374 * * * * [points]: Setting MPFR precision to 320
1553935221.376 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
1553935221.381 * * * * [points]: Setting MPFR precision to 64
1553935221.384 * * * * [points]: Setting MPFR precision to 320
1553935221.387 * * * * [points]: Computing exacts for 65 points
1553935221.392 * * * * [points]: Setting MPFR precision to 64
1553935221.399 * * * * [points]: Setting MPFR precision to 320
1553935221.407 * * * * [points]: Filtering points with unrepresentable outputs
1553935221.411 * * * * [points]: Sampling 33 additional inputs, on iter 7 have 7967 / 8000
1553935221.411 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision
1553935221.416 * * * * [points]: Setting MPFR precision to 64
1553935221.418 * * * * [points]: Setting MPFR precision to 320
1553935221.419 * * * * [points]: Computing exacts for 33 points
1553935221.424 * * * * [points]: Setting MPFR precision to 64
1553935221.428 * * * * [points]: Setting MPFR precision to 320
1553935221.432 * * * * [points]: Filtering points with unrepresentable outputs
1553935221.434 * * * * [points]: Sampling 17 additional inputs, on iter 8 have 7983 / 8000
1553935221.434 * * * * [points]: Computing exacts for 17 points
1553935221.439 * * * * [points]: Setting MPFR precision to 64
1553935221.441 * * * * [points]: Setting MPFR precision to 320
1553935221.443 * * * * [points]: Filtering points with unrepresentable outputs
1553935221.445 * * * * [points]: Sampling 5 additional inputs, on iter 9 have 7995 / 8000
1553935221.445 * * * * [points]: Computing exacts for 5 points
1553935221.450 * * * * [points]: Setting MPFR precision to 64
1553935221.450 * * * * [points]: Setting MPFR precision to 320
1553935221.451 * * * * [points]: Filtering points with unrepresentable outputs
1553935221.452 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 7998 / 8000
1553935221.452 * * * * [points]: Computing exacts for 4 points
1553935221.457 * * * * [points]: Setting MPFR precision to 64
1553935221.457 * * * * [points]: Setting MPFR precision to 320
1553935221.458 * * * * [points]: Filtering points with unrepresentable outputs
1553935221.458 * * * * [points]: Sampled 8001 points with exact outputs
1553935227.810 * [regime-testing]: Baseline error score: 64.0
1553935227.815 * [regime-testing]: Oracle error score: 64.0
1553935227.824 * [regime-testing]: End program error score: 0.7433939445084389