1550698993.330 * [misc]progress:  [Phase 1 of 3] Setting up.
1550698993.330 * * * [misc]progress:  [1/2] Preparing points
1550698993.331 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550698993.333 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550698993.338 * * * * [misc]points:  Setting MPFR precision to 64
1550698993.340 * * * * [misc]points:  Setting MPFR precision to 320
1550698993.342 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550698993.348 * * * * [misc]points:  Setting MPFR precision to 64
1550698993.351 * * * * [misc]points:  Setting MPFR precision to 320
1550698993.355 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550698993.361 * * * * [misc]points:  Setting MPFR precision to 64
1550698993.367 * * * * [misc]points:  Setting MPFR precision to 320
1550698993.373 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550698993.379 * * * * [misc]points:  Setting MPFR precision to 64
1550698993.388 * * * * [misc]points:  Setting MPFR precision to 320
1550698993.399 * * * * [misc]points:  Computing exacts for 256 points
1550698993.405 * * * * [misc]points:  Setting MPFR precision to 64
1550698993.432 * * * * [misc]points:  Setting MPFR precision to 320
1550698993.465 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550698993.481 * * * * [misc]points:  Sampling 115 additional inputs, on iter 1 have 141 / 256
1550698993.482 * * * * [misc]points:  Computing exacts on every 7 of 115 points to ramp up precision
1550698993.488 * * * * [misc]points:  Setting MPFR precision to 64
1550698993.490 * * * * [misc]points:  Setting MPFR precision to 320
1550698993.492 * * * * [misc]points:  Computing exacts on every 3 of 115 points to ramp up precision
1550698993.497 * * * * [misc]points:  Setting MPFR precision to 64
1550698993.501 * * * * [misc]points:  Setting MPFR precision to 320
1550698993.504 * * * * [misc]points:  Computing exacts for 115 points
1550698993.510 * * * * [misc]points:  Setting MPFR precision to 64
1550698993.548 * * * * [misc]points:  Setting MPFR precision to 320
1550698993.565 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550698993.572 * * * * [misc]points:  Sampling 49 additional inputs, on iter 2 have 207 / 256
1550698993.572 * * * * [misc]points:  Computing exacts on every 3 of 49 points to ramp up precision
1550698993.578 * * * * [misc]points:  Setting MPFR precision to 64
1550698993.580 * * * * [misc]points:  Setting MPFR precision to 320
1550698993.582 * * * * [misc]points:  Computing exacts for 49 points
1550698993.588 * * * * [misc]points:  Setting MPFR precision to 64
1550698993.594 * * * * [misc]points:  Setting MPFR precision to 320
1550698993.600 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550698993.603 * * * * [misc]points:  Sampling 18 additional inputs, on iter 3 have 238 / 256
1550698993.603 * * * * [misc]points:  Computing exacts for 18 points
1550698993.609 * * * * [misc]points:  Setting MPFR precision to 64
1550698993.611 * * * * [misc]points:  Setting MPFR precision to 320
1550698993.613 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550698993.614 * * * * [misc]points:  Sampling 9 additional inputs, on iter 4 have 247 / 256
1550698993.614 * * * * [misc]points:  Computing exacts for 9 points
1550698993.620 * * * * [misc]points:  Setting MPFR precision to 64
1550698993.621 * * * * [misc]points:  Setting MPFR precision to 320
1550698993.622 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550698993.623 * * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 254 / 256
1550698993.623 * * * * [misc]points:  Computing exacts for 4 points
1550698993.628 * * * * [misc]points:  Setting MPFR precision to 64
1550698993.629 * * * * [misc]points:  Setting MPFR precision to 320
1550698993.629 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550698993.630 * * * * [exit]points:  Sampled 256 points with exact outputs
1550698993.630 * * * [misc]progress:  [2/2] Setting up program.
1550698993.670 * [misc]progress:  [Phase 2 of 3] Improving.
1550698993.670 * * * * [misc]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)))>
1550698993.670 * [enter]simplify:  Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1550698993.671 * * [misc]simplify:  iters left: 5 (12 enodes)
1550698993.677 * * [misc]simplify:  iters left: 4 (29 enodes)
1550698993.687 * * [misc]simplify:  iters left: 3 (46 enodes)
1550698993.702 * * [misc]simplify:  iters left: 2 (97 enodes)
1550698993.761 * * [misc]simplify:  iters left: 1 (335 enodes)
1550698993.925 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698993.925 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698993.925 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550698993.925 * * [misc]simplify:  Extracting #3: cost 84 inf + 2
1550698993.926 * * [misc]simplify:  Extracting #4: cost 417 inf + 3
1550698993.931 * * [misc]simplify:  Extracting #5: cost 404 inf + 78485
1550698993.951 * * [misc]simplify:  Extracting #6: cost 124 inf + 437558
1550698993.978 * * [misc]simplify:  Extracting #7: cost 5 inf + 645994
1550698994.008 * * [misc]simplify:  Extracting #8: cost 0 inf + 656284
1550698994.041 * [exit]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))
1550698994.041 * [misc]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)))
1550698994.066 * * [misc]progress:  iteration 1 / 4
1550698994.066 * * * [misc]progress:  picking best candidate
1550698994.092 * * * * [misc]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)))>
1550698994.092 * * * [misc]progress:  localizing error
1550698994.351 * * * [misc]progress:  generating rewritten candidates
1550698994.351 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
1550698994.353 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1550698994.357 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1550698994.359 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1550698994.365 * * * [misc]progress:  generating series expansions
1550698994.365 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
1550698994.365 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1550698994.365 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1550698994.365 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1550698994.365 * * * [misc]progress:  simplifying candidates
1550698994.365 * * * * [misc]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)))>
1550698994.365 * [enter]simplify:  Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
1550698994.365 * * [misc]simplify:  iters left: 2 (5 enodes)
1550698994.366 * * [misc]simplify:  iters left: 1 (19 enodes)
1550698994.370 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698994.370 * * [misc]simplify:  Extracting #1: cost 8 inf + 0
1550698994.370 * * [misc]simplify:  Extracting #2: cost 16 inf + 0
1550698994.370 * * [misc]simplify:  Extracting #3: cost 16 inf + 1766
1550698994.370 * * [misc]simplify:  Extracting #4: cost 6 inf + 6819
1550698994.370 * * [misc]simplify:  Extracting #5: cost 1 inf + 12227
1550698994.371 * * [misc]simplify:  Extracting #6: cost 0 inf + 13549
1550698994.371 * [exit]simplify:  Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1550698994.371 * [misc]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)))
1550698994.371 * * * * [misc]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)))>
1550698994.371 * * * * [misc]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)))>
1550698994.371 * * * * [misc]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)))>
1550698994.371 * * * * [misc]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)))>
1550698994.372 * [enter]simplify:  Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1550698994.372 * * [misc]simplify:  iters left: 5 (12 enodes)
1550698994.375 * * [misc]simplify:  iters left: 4 (29 enodes)
1550698994.379 * * [misc]simplify:  iters left: 3 (46 enodes)
1550698994.387 * * [misc]simplify:  iters left: 2 (97 enodes)
1550698994.412 * * [misc]simplify:  iters left: 1 (335 enodes)
1550698994.663 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698994.663 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698994.663 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550698994.663 * * [misc]simplify:  Extracting #3: cost 84 inf + 2
1550698994.666 * * [misc]simplify:  Extracting #4: cost 417 inf + 3
1550698994.674 * * [misc]simplify:  Extracting #5: cost 404 inf + 78485
1550698994.711 * * [misc]simplify:  Extracting #6: cost 124 inf + 437558
1550698994.763 * * [misc]simplify:  Extracting #7: cost 5 inf + 645994
1550698994.819 * * [misc]simplify:  Extracting #8: cost 0 inf + 656284
1550698994.875 * [exit]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))
1550698994.875 * [misc]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)))
1550698994.875 * * * * [misc]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)))>
1550698994.875 * [enter]simplify:  Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1550698994.876 * * [misc]simplify:  iters left: 5 (12 enodes)
1550698994.881 * * [misc]simplify:  iters left: 4 (29 enodes)
1550698994.891 * * [misc]simplify:  iters left: 3 (46 enodes)
1550698994.907 * * [misc]simplify:  iters left: 2 (97 enodes)
1550698994.951 * * [misc]simplify:  iters left: 1 (335 enodes)
1550698995.253 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698995.253 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698995.253 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550698995.253 * * [misc]simplify:  Extracting #3: cost 84 inf + 2
1550698995.255 * * [misc]simplify:  Extracting #4: cost 417 inf + 3
1550698995.262 * * [misc]simplify:  Extracting #5: cost 404 inf + 78485
1550698995.292 * * [misc]simplify:  Extracting #6: cost 124 inf + 437558
1550698995.342 * * [misc]simplify:  Extracting #7: cost 5 inf + 645994
1550698995.390 * * [misc]simplify:  Extracting #8: cost 0 inf + 656284
1550698995.438 * [exit]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))
1550698995.438 * [misc]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)))
1550698995.438 * * * * [misc]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)))>
1550698995.438 * [enter]simplify:  Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1550698995.439 * * [misc]simplify:  iters left: 5 (12 enodes)
1550698995.445 * * [misc]simplify:  iters left: 4 (29 enodes)
1550698995.454 * * [misc]simplify:  iters left: 3 (46 enodes)
1550698995.469 * * [misc]simplify:  iters left: 2 (97 enodes)
1550698995.508 * * [misc]simplify:  iters left: 1 (335 enodes)
1550698995.792 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698995.792 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698995.793 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550698995.793 * * [misc]simplify:  Extracting #3: cost 84 inf + 2
1550698995.795 * * [misc]simplify:  Extracting #4: cost 417 inf + 3
1550698995.807 * * [misc]simplify:  Extracting #5: cost 404 inf + 78485
1550698995.841 * * [misc]simplify:  Extracting #6: cost 124 inf + 437558
1550698995.892 * * [misc]simplify:  Extracting #7: cost 5 inf + 645994
1550698995.949 * * [misc]simplify:  Extracting #8: cost 0 inf + 656284
1550698996.007 * [exit]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))
1550698996.007 * [misc]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)))
1550698996.007 * * * * [misc]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)))>
1550698996.007 * [enter]simplify:  Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))
1550698996.007 * * [misc]simplify:  iters left: 5 (12 enodes)
1550698996.014 * * [misc]simplify:  iters left: 4 (29 enodes)
1550698996.023 * * [misc]simplify:  iters left: 3 (46 enodes)
1550698996.040 * * [misc]simplify:  iters left: 2 (97 enodes)
1550698996.084 * * [misc]simplify:  iters left: 1 (335 enodes)
1550698996.354 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698996.354 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698996.354 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550698996.355 * * [misc]simplify:  Extracting #3: cost 84 inf + 2
1550698996.357 * * [misc]simplify:  Extracting #4: cost 417 inf + 3
1550698996.365 * * [misc]simplify:  Extracting #5: cost 404 inf + 78485
1550698996.398 * * [misc]simplify:  Extracting #6: cost 124 inf + 437558
1550698996.454 * * [misc]simplify:  Extracting #7: cost 5 inf + 645994
1550698996.510 * * [misc]simplify:  Extracting #8: cost 0 inf + 656284
1550698996.566 * [exit]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))
1550698996.566 * [misc]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)))
1550698996.567 * * * [misc]progress:  adding candidates to table
1550698997.082 * * [misc]progress:  iteration 2 / 4
1550698997.083 * * * [misc]progress:  picking best candidate
1550698997.156 * * * * [misc]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)))>
1550698997.156 * * * [misc]progress:  localizing error
1550698997.379 * * * [misc]progress:  generating rewritten candidates
1550698997.379 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
1550698997.384 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1550698997.393 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1550698997.396 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1550698997.408 * * * [misc]progress:  generating series expansions
1550698997.408 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
1550698997.408 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1550698997.408 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1550698997.408 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1550698997.408 * * * [misc]progress:  simplifying candidates
1550698997.408 * * * * [misc]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)))>
1550698997.409 * [enter]simplify:  Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
1550698997.409 * * [misc]simplify:  iters left: 2 (5 enodes)
1550698997.411 * * [misc]simplify:  iters left: 1 (19 enodes)
1550698997.418 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698997.418 * * [misc]simplify:  Extracting #1: cost 8 inf + 0
1550698997.418 * * [misc]simplify:  Extracting #2: cost 16 inf + 0
1550698997.418 * * [misc]simplify:  Extracting #3: cost 16 inf + 1766
1550698997.418 * * [misc]simplify:  Extracting #4: cost 6 inf + 6819
1550698997.419 * * [misc]simplify:  Extracting #5: cost 1 inf + 12227
1550698997.420 * * [misc]simplify:  Extracting #6: cost 0 inf + 13549
1550698997.421 * [exit]simplify:  Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1550698997.421 * [misc]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)))
1550698997.421 * * * * [misc]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)))>
1550698997.421 * * * * [misc]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)))>
1550698997.421 * [enter]simplify:  Simplifying (real->posit16 2.0)
1550698997.421 * * [misc]simplify:  iters left: 1 (2 enodes)
1550698997.423 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698997.423 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550698997.423 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550698997.423 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550698997.423 * [exit]simplify:  Simplified to (real->posit16 2.0)
1550698997.423 * [misc]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)))
1550698997.423 * * * * [misc]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)))>
1550698997.423 * * * * [misc]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)))>
1550698997.423 * * * * [misc]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)))>
1550698997.423 * * * * [misc]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)))>
1550698997.423 * * * * [misc]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)))>
1550698997.423 * * * [misc]progress:  adding candidates to table
1550698998.017 * * [misc]progress:  iteration 3 / 4
1550698998.017 * * * [misc]progress:  picking best candidate
1550698998.063 * * * * [misc]pick:  Picked  #<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)))>
1550698998.063 * * * [misc]progress:  localizing error
1550698998.422 * * * [misc]progress:  generating rewritten candidates
1550698998.422 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
1550698998.429 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1550698998.441 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1550698998.446 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 1)
1550698998.450 * * * [misc]progress:  generating series expansions
1550698998.450 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
1550698998.450 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1550698998.450 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1550698998.450 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 1)
1550698998.451 * * * [misc]progress:  simplifying candidates
1550698998.451 * * * * [misc]progress:  [ 1 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))>
1550698998.451 * [enter]simplify:  Simplifying (+.p16 beta alpha)
1550698998.451 * * [misc]simplify:  iters left: 1 (3 enodes)
1550698998.452 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698998.452 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698998.452 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550698998.452 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550698998.452 * [exit]simplify:  Simplified to (+.p16 alpha beta)
1550698998.452 * [misc]simplify:  Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))
1550698998.452 * * * * [misc]progress:  [ 2 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>
1550698998.453 * [enter]simplify:  Simplifying (-.p16 beta alpha)
1550698998.453 * * [misc]simplify:  iters left: 1 (3 enodes)
1550698998.453 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698998.453 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550698998.453 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550698998.453 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550698998.453 * [exit]simplify:  Simplified to (-.p16 beta alpha)
1550698998.453 * [misc]simplify:  Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))
1550698998.454 * * * * [misc]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 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1550698998.454 * [enter]simplify:  Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
1550698998.454 * * [misc]simplify:  iters left: 3 (7 enodes)
1550698998.455 * * [misc]simplify:  iters left: 2 (28 enodes)
1550698998.461 * * [misc]simplify:  iters left: 1 (79 enodes)
1550698998.484 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698998.484 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1550698998.484 * * [misc]simplify:  Extracting #2: cost 63 inf + 0
1550698998.485 * * [misc]simplify:  Extracting #3: cost 75 inf + 1531
1550698998.486 * * [misc]simplify:  Extracting #4: cost 37 inf + 47856
1550698998.490 * * [misc]simplify:  Extracting #5: cost 1 inf + 91596
1550698998.497 * * [misc]simplify:  Extracting #6: cost 0 inf + 94238
1550698998.503 * [exit]simplify:  Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
1550698998.503 * [misc]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 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1550698998.503 * * * * [misc]progress:  [ 4 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1550698998.503 * [enter]simplify:  Simplifying (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))
1550698998.504 * * [misc]simplify:  iters left: 4 (8 enodes)
1550698998.508 * * [misc]simplify:  iters left: 3 (24 enodes)
1550698998.515 * * [misc]simplify:  iters left: 2 (40 enodes)
1550698998.529 * * [misc]simplify:  iters left: 1 (73 enodes)
1550698998.558 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698998.559 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550698998.559 * * [misc]simplify:  Extracting #2: cost 57 inf + 0
1550698998.559 * * [misc]simplify:  Extracting #3: cost 81 inf + 2
1550698998.561 * * [misc]simplify:  Extracting #4: cost 58 inf + 14591
1550698998.565 * * [misc]simplify:  Extracting #5: cost 9 inf + 56006
1550698998.571 * * [misc]simplify:  Extracting #6: cost 0 inf + 70542
1550698998.576 * [exit]simplify:  Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha))
1550698998.576 * [misc]simplify:  Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1550698998.576 * [enter]simplify:  Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))
1550698998.577 * * [misc]simplify:  iters left: 2 (5 enodes)
1550698998.578 * * [misc]simplify:  iters left: 1 (9 enodes)
1550698998.581 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698998.581 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550698998.581 * * [misc]simplify:  Extracting #2: cost 4 inf + 0
1550698998.581 * * [misc]simplify:  Extracting #3: cost 2 inf + 2
1550698998.581 * * [misc]simplify:  Extracting #4: cost 0 inf + 526
1550698998.581 * [exit]simplify:  Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))
1550698998.581 * [misc]simplify:  Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))
1550698998.581 * * * * [misc]progress:  [ 5 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)))) (real->posit16 2.0)))>
1550698998.581 * * * * [misc]progress:  [ 6 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1550698998.582 * [enter]simplify:  Simplifying (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha)
1550698998.582 * * [misc]simplify:  iters left: 4 (7 enodes)
1550698998.585 * * [misc]simplify:  iters left: 3 (17 enodes)
1550698998.591 * * [misc]simplify:  iters left: 2 (36 enodes)
1550698998.606 * * [misc]simplify:  iters left: 1 (55 enodes)
1550698998.623 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698998.623 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1550698998.623 * * [misc]simplify:  Extracting #2: cost 13 inf + 1
1550698998.623 * * [misc]simplify:  Extracting #3: cost 11 inf + 365
1550698998.624 * * [misc]simplify:  Extracting #4: cost 5 inf + 1176
1550698998.624 * * [misc]simplify:  Extracting #5: cost 0 inf + 2668
1550698998.625 * [exit]simplify:  Simplified to (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 beta alpha)))
1550698998.625 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 beta alpha))))) (real->posit16 1.0)) (real->posit16 2.0)))
1550698998.625 * * * * [misc]progress:  [ 7 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 beta (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (*.p16 alpha (+.p16 alpha (+.p16 beta (real->posit16 2.0)))))) (real->posit16 1.0)) (real->posit16 2.0)))>
1550698998.625 * [enter]simplify:  Simplifying (*.p16 alpha (+.p16 alpha (+.p16 beta (real->posit16 2.0))))
1550698998.626 * * [misc]simplify:  iters left: 4 (7 enodes)
1550698998.629 * * [misc]simplify:  iters left: 3 (22 enodes)
1550698998.637 * * [misc]simplify:  iters left: 2 (42 enodes)
1550698998.651 * * [misc]simplify:  iters left: 1 (65 enodes)
1550698998.667 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698998.667 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1550698998.667 * * [misc]simplify:  Extracting #2: cost 13 inf + 1
1550698998.668 * * [misc]simplify:  Extracting #3: cost 12 inf + 323
1550698998.668 * * [misc]simplify:  Extracting #4: cost 7 inf + 772
1550698998.668 * * [misc]simplify:  Extracting #5: cost 1 inf + 2305
1550698998.668 * * [misc]simplify:  Extracting #6: cost 0 inf + 2668
1550698998.668 * [exit]simplify:  Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
1550698998.668 * [misc]simplify:  Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 beta (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
1550698998.669 * * * * [misc]progress:  [ 8 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))>
1550698998.669 * * * * [misc]progress:  [ 9 / 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)))>
1550698998.669 * [enter]simplify:  Simplifying (real->posit16 2.0)
1550698998.669 * * [misc]simplify:  iters left: 1 (2 enodes)
1550698998.669 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698998.670 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550698998.670 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550698998.670 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550698998.670 * [exit]simplify:  Simplified to (real->posit16 2.0)
1550698998.670 * [misc]simplify:  Simplified (2 1 1 2 1 2) 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)))
1550698998.670 * * * * [misc]progress:  [ 10 / 14 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 beta (real->posit16 2.0)) alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>
1550698998.670 * * * * [misc]progress:  [ 11 / 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)))>
1550698998.670 * [enter]simplify:  Simplifying (/.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))
1550698998.670 * * [misc]simplify:  iters left: 6 (16 enodes)
1550698998.674 * * [misc]simplify:  iters left: 5 (53 enodes)
1550698998.684 * * [misc]simplify:  iters left: 4 (150 enodes)
1550698998.727 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698998.727 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698998.727 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550698998.727 * * [misc]simplify:  Extracting #3: cost 33 inf + 2
1550698998.727 * * [misc]simplify:  Extracting #4: cost 101 inf + 4
1550698998.728 * * [misc]simplify:  Extracting #5: cost 106 inf + 5843
1550698998.734 * * [misc]simplify:  Extracting #6: cost 58 inf + 70736
1550698998.746 * * [misc]simplify:  Extracting #7: cost 0 inf + 127016
1550698998.757 * [exit]simplify:  Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0))
1550698998.757 * [misc]simplify:  Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0)))
1550698998.758 * * * * [misc]progress:  [ 12 / 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)))>
1550698998.758 * [enter]simplify:  Simplifying (/.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))
1550698998.758 * * [misc]simplify:  iters left: 6 (16 enodes)
1550698998.762 * * [misc]simplify:  iters left: 5 (53 enodes)
1550698998.773 * * [misc]simplify:  iters left: 4 (150 enodes)
1550698998.837 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698998.837 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698998.837 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550698998.837 * * [misc]simplify:  Extracting #3: cost 33 inf + 2
1550698998.838 * * [misc]simplify:  Extracting #4: cost 101 inf + 4
1550698998.839 * * [misc]simplify:  Extracting #5: cost 106 inf + 5843
1550698998.842 * * [misc]simplify:  Extracting #6: cost 58 inf + 70736
1550698998.848 * * [misc]simplify:  Extracting #7: cost 0 inf + 127016
1550698998.854 * [exit]simplify:  Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0))
1550698998.854 * [misc]simplify:  Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0)))
1550698998.854 * * * * [misc]progress:  [ 13 / 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)))>
1550698998.854 * [enter]simplify:  Simplifying (/.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))
1550698998.854 * * [misc]simplify:  iters left: 6 (16 enodes)
1550698998.858 * * [misc]simplify:  iters left: 5 (53 enodes)
1550698998.871 * * [misc]simplify:  iters left: 4 (150 enodes)
1550698998.921 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698998.921 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698998.921 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550698998.922 * * [misc]simplify:  Extracting #3: cost 33 inf + 2
1550698998.922 * * [misc]simplify:  Extracting #4: cost 101 inf + 4
1550698998.923 * * [misc]simplify:  Extracting #5: cost 106 inf + 5843
1550698998.929 * * [misc]simplify:  Extracting #6: cost 58 inf + 70736
1550698998.934 * * [misc]simplify:  Extracting #7: cost 0 inf + 127016
1550698998.940 * [exit]simplify:  Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0))
1550698998.940 * [misc]simplify:  Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0)))
1550698998.940 * * * * [misc]progress:  [ 14 / 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)))>
1550698998.940 * [enter]simplify:  Simplifying (/.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))
1550698998.940 * * [misc]simplify:  iters left: 6 (16 enodes)
1550698998.947 * * [misc]simplify:  iters left: 5 (53 enodes)
1550698998.958 * * [misc]simplify:  iters left: 4 (150 enodes)
1550698999.021 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550698999.021 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550698999.021 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550698999.021 * * [misc]simplify:  Extracting #3: cost 33 inf + 2
1550698999.021 * * [misc]simplify:  Extracting #4: cost 101 inf + 4
1550698999.023 * * [misc]simplify:  Extracting #5: cost 106 inf + 5843
1550698999.029 * * [misc]simplify:  Extracting #6: cost 58 inf + 70736
1550698999.041 * * [misc]simplify:  Extracting #7: cost 0 inf + 127016
1550698999.056 * [exit]simplify:  Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0))
1550698999.056 * [misc]simplify:  Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0)))
1550698999.056 * * * [misc]progress:  adding candidates to table
1550699000.277 * * [misc]progress:  iteration 4 / 4
1550699000.277 * * * [misc]progress:  picking best candidate
1550699000.478 * * * * [misc]pick:  Picked  #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))>
1550699000.479 * * * [misc]progress:  localizing error
1550699000.719 * * * [misc]progress:  generating rewritten candidates
1550699000.719 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
1550699000.727 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1)
1550699000.734 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1550699000.749 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 2)
1550699000.753 * * * [misc]progress:  generating series expansions
1550699000.753 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
1550699000.753 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1)
1550699000.753 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1550699000.753 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 2)
1550699000.753 * * * [misc]progress:  simplifying candidates
1550699000.753 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha beta) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))>
1550699000.753 * [enter]simplify:  Simplifying (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1550699000.753 * * [misc]simplify:  iters left: 2 (5 enodes)
1550699000.756 * * [misc]simplify:  iters left: 1 (23 enodes)
1550699000.764 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699000.764 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550699000.764 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1550699000.764 * * [misc]simplify:  Extracting #3: cost 28 inf + 323
1550699000.765 * * [misc]simplify:  Extracting #4: cost 9 inf + 8236
1550699000.766 * * [misc]simplify:  Extracting #5: cost 0 inf + 14252
1550699000.766 * [exit]simplify:  Simplified to (*.p16 (+.p16 alpha beta) (-.p16 beta alpha))
1550699000.766 * [misc]simplify:  Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 alpha beta) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))
1550699000.767 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 alpha beta))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))>
1550699000.767 * [enter]simplify:  Simplifying (-.p16 beta alpha)
1550699000.767 * * [misc]simplify:  iters left: 1 (3 enodes)
1550699000.768 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699000.768 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550699000.768 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550699000.768 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550699000.769 * [exit]simplify:  Simplified to (-.p16 beta alpha)
1550699000.769 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 alpha beta))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))
1550699000.769 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))>
1550699000.769 * [enter]simplify:  Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
1550699000.769 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699000.772 * * [misc]simplify:  iters left: 2 (28 enodes)
1550699000.783 * * [misc]simplify:  iters left: 1 (79 enodes)
1550699000.817 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699000.817 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1550699000.818 * * [misc]simplify:  Extracting #2: cost 63 inf + 0
1550699000.818 * * [misc]simplify:  Extracting #3: cost 75 inf + 1531
1550699000.821 * * [misc]simplify:  Extracting #4: cost 37 inf + 47856
1550699000.831 * * [misc]simplify:  Extracting #5: cost 1 inf + 91596
1550699000.838 * * [misc]simplify:  Extracting #6: cost 0 inf + 94238
1550699000.844 * [exit]simplify:  Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
1550699000.844 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))
1550699000.845 * * * * [misc]progress:  [ 4 / 10 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 alpha beta))) (real->posit16 2.0)))>
1550699000.845 * * * * [misc]progress:  [ 5 / 10 ] 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 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))>
1550699000.845 * [enter]simplify:  Simplifying (real->posit16 2.0)
1550699000.845 * * [misc]simplify:  iters left: 1 (2 enodes)
1550699000.847 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699000.847 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550699000.847 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550699000.847 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550699000.847 * [exit]simplify:  Simplified to (real->posit16 2.0)
1550699000.847 * [misc]simplify:  Simplified (2 1 1 1 2 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)))
1550699000.847 * * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))>
1550699000.848 * * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))>
1550699000.848 * [enter]simplify:  Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0))
1550699000.848 * * [misc]simplify:  iters left: 6 (15 enodes)
1550699000.855 * * [misc]simplify:  iters left: 5 (43 enodes)
1550699000.872 * * [misc]simplify:  iters left: 4 (114 enodes)
1550699000.932 * * [misc]simplify:  iters left: 3 (408 enodes)
1550699001.521 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699001.521 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699001.521 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550699001.521 * * [misc]simplify:  Extracting #3: cost 86 inf + 2
1550699001.523 * * [misc]simplify:  Extracting #4: cost 388 inf + 4
1550699001.528 * * [misc]simplify:  Extracting #5: cost 527 inf + 18603
1550699001.554 * * [misc]simplify:  Extracting #6: cost 153 inf + 393918
1550699001.607 * * [misc]simplify:  Extracting #7: cost 5 inf + 567319
1550699001.646 * * [misc]simplify:  Extracting #8: cost 0 inf + 571810
1550699001.673 * [exit]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))
1550699001.673 * [misc]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)))
1550699001.673 * * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))>
1550699001.673 * [enter]simplify:  Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0))
1550699001.673 * * [misc]simplify:  iters left: 6 (15 enodes)
1550699001.677 * * [misc]simplify:  iters left: 5 (43 enodes)
1550699001.687 * * [misc]simplify:  iters left: 4 (114 enodes)
1550699001.727 * * [misc]simplify:  iters left: 3 (408 enodes)
1550699002.337 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699002.337 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699002.337 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550699002.337 * * [misc]simplify:  Extracting #3: cost 86 inf + 2
1550699002.338 * * [misc]simplify:  Extracting #4: cost 388 inf + 4
1550699002.341 * * [misc]simplify:  Extracting #5: cost 527 inf + 18603
1550699002.355 * * [misc]simplify:  Extracting #6: cost 153 inf + 393918
1550699002.384 * * [misc]simplify:  Extracting #7: cost 5 inf + 567319
1550699002.427 * * [misc]simplify:  Extracting #8: cost 0 inf + 571810
1550699002.479 * [exit]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))
1550699002.479 * [misc]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)))
1550699002.479 * * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))>
1550699002.480 * [enter]simplify:  Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0))
1550699002.480 * * [misc]simplify:  iters left: 6 (15 enodes)
1550699002.487 * * [misc]simplify:  iters left: 5 (43 enodes)
1550699002.503 * * [misc]simplify:  iters left: 4 (114 enodes)
1550699002.564 * * [misc]simplify:  iters left: 3 (408 enodes)
1550699003.194 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699003.195 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699003.195 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550699003.195 * * [misc]simplify:  Extracting #3: cost 86 inf + 2
1550699003.197 * * [misc]simplify:  Extracting #4: cost 388 inf + 4
1550699003.201 * * [misc]simplify:  Extracting #5: cost 527 inf + 18603
1550699003.230 * * [misc]simplify:  Extracting #6: cost 153 inf + 393918
1550699003.282 * * [misc]simplify:  Extracting #7: cost 5 inf + 567319
1550699003.340 * * [misc]simplify:  Extracting #8: cost 0 inf + 571810
1550699003.394 * [exit]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))
1550699003.394 * [misc]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)))
1550699003.394 * * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))>
1550699003.394 * [enter]simplify:  Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0))
1550699003.395 * * [misc]simplify:  iters left: 6 (15 enodes)
1550699003.402 * * [misc]simplify:  iters left: 5 (43 enodes)
1550699003.419 * * [misc]simplify:  iters left: 4 (114 enodes)
1550699003.482 * * [misc]simplify:  iters left: 3 (408 enodes)
1550699003.992 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699003.992 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699003.992 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550699003.992 * * [misc]simplify:  Extracting #3: cost 86 inf + 2
1550699003.994 * * [misc]simplify:  Extracting #4: cost 388 inf + 4
1550699003.999 * * [misc]simplify:  Extracting #5: cost 527 inf + 18603
1550699004.028 * * [misc]simplify:  Extracting #6: cost 153 inf + 393918
1550699004.078 * * [misc]simplify:  Extracting #7: cost 5 inf + 567319
1550699004.136 * * [misc]simplify:  Extracting #8: cost 0 inf + 571810
1550699004.189 * [exit]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))
1550699004.189 * [misc]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)))
1550699004.189 * * * [misc]progress:  adding candidates to table
1550699005.129 * [misc]progress:  [Phase 3 of 3] Extracting.
1550699005.130 * * [misc]regime:  Finding splitpoints for: (#<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 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 alpha beta))) (+.p16 alpha beta)) (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 alpha (+.p16 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 (-.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)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>)
1550699005.132 * * * [misc]regime-changes:  Trying 2 branch expressions: (alpha beta)
1550699005.132 * * * * [misc]regimes:  Trying to branch on alpha from (#<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 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 alpha beta))) (+.p16 alpha beta)) (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 alpha (+.p16 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 (-.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)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>)
1550699005.713 * * * * [misc]regimes:  Trying to branch on beta from (#<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 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (-.p16 beta alpha) (/.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 alpha beta))) (+.p16 alpha beta)) (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 alpha (+.p16 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 (-.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)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #<alt (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))>)
1550699006.227 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1550699006.227 * [enter]simplify:  Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))
1550699006.227 * * [misc]simplify:  iters left: 6 (12 enodes)
1550699006.229 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699006.229 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699006.229 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550699006.229 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550699006.230 * * [misc]simplify:  Extracting #4: cost 8 inf + 4
1550699006.230 * * [misc]simplify:  Extracting #5: cost 5 inf + 48
1550699006.230 * * [misc]simplify:  Extracting #6: cost 0 inf + 2544
1550699006.230 * [exit]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))
1550699006.230 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550699006.271 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550699006.277 * * * * [misc]points:  Setting MPFR precision to 64
1550699006.279 * * * * [misc]points:  Setting MPFR precision to 320
1550699006.281 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550699006.286 * * * * [misc]points:  Setting MPFR precision to 64
1550699006.290 * * * * [misc]points:  Setting MPFR precision to 320
1550699006.294 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550699006.745 * * * * [misc]points:  Setting MPFR precision to 64
1550699006.754 * * * * [misc]points:  Setting MPFR precision to 320
1550699006.762 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550699006.766 * * * * [misc]points:  Setting MPFR precision to 64
1550699006.774 * * * * [misc]points:  Setting MPFR precision to 320
1550699006.782 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550699006.785 * * * * [misc]points:  Setting MPFR precision to 64
1550699006.799 * * * * [misc]points:  Setting MPFR precision to 320
1550699006.821 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550699006.827 * * * * [misc]points:  Setting MPFR precision to 64
1550699006.861 * * * * [misc]points:  Setting MPFR precision to 320
1550699006.931 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550699006.936 * * * * [misc]points:  Setting MPFR precision to 64
1550699007.037 * * * * [misc]points:  Setting MPFR precision to 320
1550699007.212 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550699007.218 * * * * [misc]points:  Setting MPFR precision to 64
1550699007.480 * * * * [misc]points:  Setting MPFR precision to 320
1550699007.783 * * * * [misc]points:  Computing exacts for 8000 points
1550699007.789 * * * * [misc]points:  Setting MPFR precision to 64
1550699008.687 * * * * [misc]points:  Setting MPFR precision to 320
1550699009.521 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699009.973 * * * * [misc]points:  Sampling 3543 additional inputs, on iter 1 have 4457 / 8000
1550699009.989 * * * * [misc]points:  Computing exacts on every 221 of 3543 points to ramp up precision
1550699009.994 * * * * [misc]points:  Setting MPFR precision to 64
1550699009.996 * * * * [misc]points:  Setting MPFR precision to 320
1550699009.998 * * * * [misc]points:  Computing exacts on every 110 of 3543 points to ramp up precision
1550699010.003 * * * * [misc]points:  Setting MPFR precision to 64
1550699010.006 * * * * [misc]points:  Setting MPFR precision to 320
1550699010.009 * * * * [misc]points:  Computing exacts on every 55 of 3543 points to ramp up precision
1550699010.014 * * * * [misc]points:  Setting MPFR precision to 64
1550699010.020 * * * * [misc]points:  Setting MPFR precision to 320
1550699010.027 * * * * [misc]points:  Computing exacts on every 27 of 3543 points to ramp up precision
1550699010.032 * * * * [misc]points:  Setting MPFR precision to 64
1550699010.043 * * * * [misc]points:  Setting MPFR precision to 320
1550699010.057 * * * * [misc]points:  Computing exacts on every 13 of 3543 points to ramp up precision
1550699010.062 * * * * [misc]points:  Setting MPFR precision to 64
1550699010.085 * * * * [misc]points:  Setting MPFR precision to 320
1550699010.135 * * * * [misc]points:  Computing exacts on every 6 of 3543 points to ramp up precision
1550699010.142 * * * * [misc]points:  Setting MPFR precision to 64
1550699010.188 * * * * [misc]points:  Setting MPFR precision to 320
1550699010.242 * * * * [misc]points:  Computing exacts on every 3 of 3543 points to ramp up precision
1550699010.247 * * * * [misc]points:  Setting MPFR precision to 64
1550699010.364 * * * * [misc]points:  Setting MPFR precision to 320
1550699010.484 * * * * [misc]points:  Computing exacts for 3543 points
1550699010.490 * * * * [misc]points:  Setting MPFR precision to 64
1550699011.380 * * * * [misc]points:  Setting MPFR precision to 320
1550699011.685 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699011.807 * * * * [misc]points:  Sampling 1464 additional inputs, on iter 2 have 6536 / 8000
1550699011.812 * * * * [misc]points:  Computing exacts on every 91 of 1464 points to ramp up precision
1550699011.815 * * * * [misc]points:  Setting MPFR precision to 64
1550699011.830 * * * * [misc]points:  Setting MPFR precision to 320
1550699011.831 * * * * [misc]points:  Computing exacts on every 45 of 1464 points to ramp up precision
1550699011.834 * * * * [misc]points:  Setting MPFR precision to 64
1550699011.836 * * * * [misc]points:  Setting MPFR precision to 320
1550699011.839 * * * * [misc]points:  Computing exacts on every 22 of 1464 points to ramp up precision
1550699011.842 * * * * [misc]points:  Setting MPFR precision to 64
1550699011.846 * * * * [misc]points:  Setting MPFR precision to 320
1550699011.850 * * * * [misc]points:  Computing exacts on every 11 of 1464 points to ramp up precision
1550699011.853 * * * * [misc]points:  Setting MPFR precision to 64
1550699011.860 * * * * [misc]points:  Setting MPFR precision to 320
1550699011.869 * * * * [misc]points:  Computing exacts on every 5 of 1464 points to ramp up precision
1550699011.872 * * * * [misc]points:  Setting MPFR precision to 64
1550699011.886 * * * * [misc]points:  Setting MPFR precision to 320
1550699011.904 * * * * [misc]points:  Computing exacts on every 2 of 1464 points to ramp up precision
1550699011.907 * * * * [misc]points:  Setting MPFR precision to 64
1550699011.935 * * * * [misc]points:  Setting MPFR precision to 320
1550699011.996 * * * * [misc]points:  Computing exacts for 1464 points
1550699012.001 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.136 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.284 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699012.352 * * * * [misc]points:  Sampling 662 additional inputs, on iter 3 have 7338 / 8000
1550699012.353 * * * * [misc]points:  Computing exacts on every 41 of 662 points to ramp up precision
1550699012.357 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.358 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.360 * * * * [misc]points:  Computing exacts on every 20 of 662 points to ramp up precision
1550699012.363 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.365 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.367 * * * * [misc]points:  Computing exacts on every 10 of 662 points to ramp up precision
1550699012.370 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.374 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.378 * * * * [misc]points:  Computing exacts on every 5 of 662 points to ramp up precision
1550699012.381 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.387 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.395 * * * * [misc]points:  Computing exacts on every 2 of 662 points to ramp up precision
1550699012.398 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.411 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.426 * * * * [misc]points:  Computing exacts for 662 points
1550699012.429 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.493 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.541 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699012.564 * * * * [misc]points:  Sampling 306 additional inputs, on iter 4 have 7694 / 8000
1550699012.565 * * * * [misc]points:  Computing exacts on every 19 of 306 points to ramp up precision
1550699012.568 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.569 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.570 * * * * [misc]points:  Computing exacts on every 9 of 306 points to ramp up precision
1550699012.573 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.576 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.579 * * * * [misc]points:  Computing exacts on every 4 of 306 points to ramp up precision
1550699012.582 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.586 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.590 * * * * [misc]points:  Computing exacts on every 2 of 306 points to ramp up precision
1550699012.593 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.599 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.607 * * * * [misc]points:  Computing exacts for 306 points
1550699012.610 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.648 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.670 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699012.680 * * * * [misc]points:  Sampling 137 additional inputs, on iter 5 have 7863 / 8000
1550699012.680 * * * * [misc]points:  Computing exacts on every 8 of 137 points to ramp up precision
1550699012.683 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.685 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.686 * * * * [misc]points:  Computing exacts on every 4 of 137 points to ramp up precision
1550699012.688 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.690 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.692 * * * * [misc]points:  Computing exacts on every 2 of 137 points to ramp up precision
1550699012.695 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.698 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.701 * * * * [misc]points:  Computing exacts for 137 points
1550699012.704 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.711 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.721 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699012.725 * * * * [misc]points:  Sampling 66 additional inputs, on iter 6 have 7934 / 8000
1550699012.725 * * * * [misc]points:  Computing exacts on every 4 of 66 points to ramp up precision
1550699012.728 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.729 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.730 * * * * [misc]points:  Computing exacts on every 2 of 66 points to ramp up precision
1550699012.733 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.735 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.736 * * * * [misc]points:  Computing exacts for 66 points
1550699012.740 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.744 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.770 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699012.772 * * * * [misc]points:  Sampling 27 additional inputs, on iter 7 have 7973 / 8000
1550699012.773 * * * * [misc]points:  Computing exacts for 27 points
1550699012.776 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.777 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.781 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699012.782 * * * * [misc]points:  Sampling 14 additional inputs, on iter 8 have 7986 / 8000
1550699012.782 * * * * [misc]points:  Computing exacts for 14 points
1550699012.785 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.786 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.787 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699012.787 * * * * [misc]points:  Sampling 7 additional inputs, on iter 9 have 7993 / 8000
1550699012.787 * * * * [misc]points:  Computing exacts for 7 points
1550699012.790 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.791 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.791 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699012.791 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 7996 / 8000
1550699012.791 * * * * [misc]points:  Computing exacts for 4 points
1550699012.794 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.795 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.795 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699012.795 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7999 / 8000
1550699012.795 * * * * [misc]points:  Computing exacts for 4 points
1550699012.798 * * * * [misc]points:  Setting MPFR precision to 64
1550699012.799 * * * * [misc]points:  Setting MPFR precision to 320
1550699012.799 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699012.799 * * * * [exit]points:  Sampled 8002 points with exact outputs
1550699019.240 * [misc]regime-testing:  Baseline error score: 64.0
1550699019.243 * [misc]regime-testing:  Oracle error score: 64.0
1550699019.251 * [misc]regime-testing:  End program error score: 0.7639279863233226