1550619783.319 * [misc]progress:  [Phase 1 of 3] Setting up.
1550619783.319 * * * [misc]progress:  [1/2] Preparing points
1550619783.320 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550619783.322 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550619783.327 * * * * [misc]points:  Setting MPFR precision to 64
1550619783.329 * * * * [misc]points:  Setting MPFR precision to 320
1550619783.331 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550619783.336 * * * * [misc]points:  Setting MPFR precision to 64
1550619783.340 * * * * [misc]points:  Setting MPFR precision to 320
1550619783.343 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550619783.349 * * * * [misc]points:  Setting MPFR precision to 64
1550619783.354 * * * * [misc]points:  Setting MPFR precision to 320
1550619783.368 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550619783.374 * * * * [misc]points:  Setting MPFR precision to 64
1550619783.383 * * * * [misc]points:  Setting MPFR precision to 320
1550619783.396 * * * * [misc]points:  Computing exacts for 256 points
1550619783.401 * * * * [misc]points:  Setting MPFR precision to 64
1550619783.427 * * * * [misc]points:  Setting MPFR precision to 320
1550619783.460 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619783.475 * * * * [misc]points:  Sampling 115 additional inputs, on iter 1 have 141 / 256
1550619783.476 * * * * [misc]points:  Computing exacts on every 7 of 115 points to ramp up precision
1550619783.481 * * * * [misc]points:  Setting MPFR precision to 64
1550619783.482 * * * * [misc]points:  Setting MPFR precision to 320
1550619783.483 * * * * [misc]points:  Computing exacts on every 3 of 115 points to ramp up precision
1550619783.486 * * * * [misc]points:  Setting MPFR precision to 64
1550619783.488 * * * * [misc]points:  Setting MPFR precision to 320
1550619783.490 * * * * [misc]points:  Computing exacts for 115 points
1550619783.492 * * * * [misc]points:  Setting MPFR precision to 64
1550619783.499 * * * * [misc]points:  Setting MPFR precision to 320
1550619783.508 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619783.512 * * * * [misc]points:  Sampling 49 additional inputs, on iter 2 have 207 / 256
1550619783.512 * * * * [misc]points:  Computing exacts on every 3 of 49 points to ramp up precision
1550619783.514 * * * * [misc]points:  Setting MPFR precision to 64
1550619783.515 * * * * [misc]points:  Setting MPFR precision to 320
1550619783.516 * * * * [misc]points:  Computing exacts for 49 points
1550619783.519 * * * * [misc]points:  Setting MPFR precision to 64
1550619783.522 * * * * [misc]points:  Setting MPFR precision to 320
1550619783.525 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619783.527 * * * * [misc]points:  Sampling 18 additional inputs, on iter 3 have 238 / 256
1550619783.527 * * * * [misc]points:  Computing exacts for 18 points
1550619783.530 * * * * [misc]points:  Setting MPFR precision to 64
1550619783.531 * * * * [misc]points:  Setting MPFR precision to 320
1550619783.550 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619783.550 * * * * [misc]points:  Sampling 9 additional inputs, on iter 4 have 247 / 256
1550619783.550 * * * * [misc]points:  Computing exacts for 9 points
1550619783.554 * * * * [misc]points:  Setting MPFR precision to 64
1550619783.555 * * * * [misc]points:  Setting MPFR precision to 320
1550619783.556 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619783.556 * * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 254 / 256
1550619783.556 * * * * [misc]points:  Computing exacts for 4 points
1550619783.559 * * * * [misc]points:  Setting MPFR precision to 64
1550619783.559 * * * * [misc]points:  Setting MPFR precision to 320
1550619783.560 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619783.560 * * * * [exit]points:  Sampled 256 points with exact outputs
1550619783.560 * * * [misc]progress:  [2/2] Setting up program.
1550619783.587 * [misc]progress:  [Phase 2 of 3] Improving.
1550619783.587 * * * * [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)))>
1550619783.587 * [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))
1550619783.587 * * [misc]simplify:  iters left: 5 (12 enodes)
1550619783.590 * * [misc]simplify:  iters left: 4 (29 enodes)
1550619783.594 * * [misc]simplify:  iters left: 3 (46 enodes)
1550619783.602 * * [misc]simplify:  iters left: 2 (97 enodes)
1550619783.635 * * [misc]simplify:  iters left: 1 (335 enodes)
1550619783.830 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619783.830 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619783.831 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619783.831 * * [misc]simplify:  Extracting #3: cost 84 inf + 2
1550619783.832 * * [misc]simplify:  Extracting #4: cost 417 inf + 3
1550619783.836 * * [misc]simplify:  Extracting #5: cost 404 inf + 78485
1550619783.853 * * [misc]simplify:  Extracting #6: cost 124 inf + 437558
1550619783.882 * * [misc]simplify:  Extracting #7: cost 5 inf + 645994
1550619783.910 * * [misc]simplify:  Extracting #8: cost 0 inf + 656284
1550619783.938 * [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))
1550619783.938 * [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)))
1550619783.968 * * [misc]progress:  iteration 1 / 4
1550619783.968 * * * [misc]progress:  picking best candidate
1550619783.994 * * * * [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)))>
1550619783.995 * * * [misc]progress:  localizing error
1550619784.324 * * * [misc]progress:  generating rewritten candidates
1550619784.324 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
1550619784.329 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1550619784.336 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1550619784.341 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1550619784.361 * * * [misc]progress:  generating series expansions
1550619784.361 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
1550619784.361 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1550619784.361 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1550619784.361 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1550619784.361 * * * [misc]progress:  simplifying candidates
1550619784.362 * * * * [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)))>
1550619784.362 * [enter]simplify:  Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
1550619784.362 * * [misc]simplify:  iters left: 2 (5 enodes)
1550619784.364 * * [misc]simplify:  iters left: 1 (19 enodes)
1550619784.371 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619784.371 * * [misc]simplify:  Extracting #1: cost 8 inf + 0
1550619784.371 * * [misc]simplify:  Extracting #2: cost 16 inf + 0
1550619784.371 * * [misc]simplify:  Extracting #3: cost 16 inf + 1766
1550619784.371 * * [misc]simplify:  Extracting #4: cost 6 inf + 6819
1550619784.372 * * [misc]simplify:  Extracting #5: cost 1 inf + 12227
1550619784.373 * * [misc]simplify:  Extracting #6: cost 0 inf + 13549
1550619784.374 * [exit]simplify:  Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1550619784.374 * [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)))
1550619784.374 * * * * [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)))>
1550619784.374 * * * * [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)))>
1550619784.374 * * * * [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)))>
1550619784.374 * * * * [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)))>
1550619784.374 * [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))
1550619784.374 * * [misc]simplify:  iters left: 5 (12 enodes)
1550619784.381 * * [misc]simplify:  iters left: 4 (29 enodes)
1550619784.391 * * [misc]simplify:  iters left: 3 (46 enodes)
1550619784.407 * * [misc]simplify:  iters left: 2 (97 enodes)
1550619784.450 * * [misc]simplify:  iters left: 1 (335 enodes)
1550619784.754 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619784.754 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619784.754 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619784.754 * * [misc]simplify:  Extracting #3: cost 84 inf + 2
1550619784.757 * * [misc]simplify:  Extracting #4: cost 417 inf + 3
1550619784.764 * * [misc]simplify:  Extracting #5: cost 404 inf + 78485
1550619784.796 * * [misc]simplify:  Extracting #6: cost 124 inf + 437558
1550619784.854 * * [misc]simplify:  Extracting #7: cost 5 inf + 645994
1550619784.908 * * [misc]simplify:  Extracting #8: cost 0 inf + 656284
1550619784.962 * [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))
1550619784.963 * [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)))
1550619784.963 * * * * [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)))>
1550619784.963 * [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))
1550619784.963 * * [misc]simplify:  iters left: 5 (12 enodes)
1550619784.969 * * [misc]simplify:  iters left: 4 (29 enodes)
1550619784.979 * * [misc]simplify:  iters left: 3 (46 enodes)
1550619784.996 * * [misc]simplify:  iters left: 2 (97 enodes)
1550619785.040 * * [misc]simplify:  iters left: 1 (335 enodes)
1550619785.314 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619785.314 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619785.314 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619785.314 * * [misc]simplify:  Extracting #3: cost 84 inf + 2
1550619785.315 * * [misc]simplify:  Extracting #4: cost 417 inf + 3
1550619785.319 * * [misc]simplify:  Extracting #5: cost 404 inf + 78485
1550619785.339 * * [misc]simplify:  Extracting #6: cost 124 inf + 437558
1550619785.370 * * [misc]simplify:  Extracting #7: cost 5 inf + 645994
1550619785.398 * * [misc]simplify:  Extracting #8: cost 0 inf + 656284
1550619785.452 * [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))
1550619785.452 * [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)))
1550619785.452 * * * * [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)))>
1550619785.452 * [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))
1550619785.452 * * [misc]simplify:  iters left: 5 (12 enodes)
1550619785.458 * * [misc]simplify:  iters left: 4 (29 enodes)
1550619785.464 * * [misc]simplify:  iters left: 3 (46 enodes)
1550619785.472 * * [misc]simplify:  iters left: 2 (97 enodes)
1550619785.493 * * [misc]simplify:  iters left: 1 (335 enodes)
1550619785.663 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619785.663 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619785.663 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619785.663 * * [misc]simplify:  Extracting #3: cost 84 inf + 2
1550619785.664 * * [misc]simplify:  Extracting #4: cost 417 inf + 3
1550619785.668 * * [misc]simplify:  Extracting #5: cost 404 inf + 78485
1550619785.685 * * [misc]simplify:  Extracting #6: cost 124 inf + 437558
1550619785.721 * * [misc]simplify:  Extracting #7: cost 5 inf + 645994
1550619785.776 * * [misc]simplify:  Extracting #8: cost 0 inf + 656284
1550619785.831 * [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))
1550619785.831 * [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)))
1550619785.831 * * * * [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)))>
1550619785.832 * [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))
1550619785.832 * * [misc]simplify:  iters left: 5 (12 enodes)
1550619785.837 * * [misc]simplify:  iters left: 4 (29 enodes)
1550619785.847 * * [misc]simplify:  iters left: 3 (46 enodes)
1550619785.864 * * [misc]simplify:  iters left: 2 (97 enodes)
1550619785.908 * * [misc]simplify:  iters left: 1 (335 enodes)
1550619786.112 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619786.112 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619786.112 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619786.112 * * [misc]simplify:  Extracting #3: cost 84 inf + 2
1550619786.113 * * [misc]simplify:  Extracting #4: cost 417 inf + 3
1550619786.120 * * [misc]simplify:  Extracting #5: cost 404 inf + 78485
1550619786.148 * * [misc]simplify:  Extracting #6: cost 124 inf + 437558
1550619786.199 * * [misc]simplify:  Extracting #7: cost 5 inf + 645994
1550619786.254 * * [misc]simplify:  Extracting #8: cost 0 inf + 656284
1550619786.285 * [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))
1550619786.285 * [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)))
1550619786.285 * * * [misc]progress:  adding candidates to table
1550619786.842 * * [misc]progress:  iteration 2 / 4
1550619786.842 * * * [misc]progress:  picking best candidate
1550619786.926 * * * * [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)))>
1550619786.927 * * * [misc]progress:  localizing error
1550619787.220 * * * [misc]progress:  generating rewritten candidates
1550619787.220 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
1550619787.224 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1550619787.232 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1550619787.235 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1550619787.247 * * * [misc]progress:  generating series expansions
1550619787.247 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
1550619787.248 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1550619787.248 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1550619787.248 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1550619787.248 * * * [misc]progress:  simplifying candidates
1550619787.248 * * * * [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)))>
1550619787.248 * [enter]simplify:  Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))
1550619787.248 * * [misc]simplify:  iters left: 2 (5 enodes)
1550619787.250 * * [misc]simplify:  iters left: 1 (19 enodes)
1550619787.257 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619787.257 * * [misc]simplify:  Extracting #1: cost 8 inf + 0
1550619787.257 * * [misc]simplify:  Extracting #2: cost 16 inf + 0
1550619787.257 * * [misc]simplify:  Extracting #3: cost 16 inf + 1766
1550619787.257 * * [misc]simplify:  Extracting #4: cost 6 inf + 6819
1550619787.258 * * [misc]simplify:  Extracting #5: cost 1 inf + 12227
1550619787.259 * * [misc]simplify:  Extracting #6: cost 0 inf + 13549
1550619787.260 * [exit]simplify:  Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1550619787.260 * [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)))
1550619787.260 * * * * [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)))>
1550619787.260 * * * * [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)))>
1550619787.260 * [enter]simplify:  Simplifying (real->posit16 2.0)
1550619787.260 * * [misc]simplify:  iters left: 1 (2 enodes)
1550619787.262 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619787.262 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619787.262 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550619787.262 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550619787.262 * [exit]simplify:  Simplified to (real->posit16 2.0)
1550619787.262 * [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)))
1550619787.262 * * * * [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)))>
1550619787.262 * * * * [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)))>
1550619787.262 * * * * [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)))>
1550619787.262 * * * * [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)))>
1550619787.262 * * * * [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)))>
1550619787.263 * * * [misc]progress:  adding candidates to table
1550619787.815 * * [misc]progress:  iteration 3 / 4
1550619787.815 * * * [misc]progress:  picking best candidate
1550619787.861 * * * * [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)))>
1550619787.861 * * * [misc]progress:  localizing error
1550619788.244 * * * [misc]progress:  generating rewritten candidates
1550619788.244 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
1550619788.252 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1550619788.263 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2)
1550619788.268 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2 1)
1550619788.272 * * * [misc]progress:  generating series expansions
1550619788.272 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
1550619788.272 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1550619788.272 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2)
1550619788.272 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2 1)
1550619788.272 * * * [misc]progress:  simplifying candidates
1550619788.272 * * * * [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)))>
1550619788.273 * [enter]simplify:  Simplifying (+.p16 beta alpha)
1550619788.273 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619788.274 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619788.274 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619788.274 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1550619788.274 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1550619788.274 * [exit]simplify:  Simplified to (+.p16 alpha beta)
1550619788.274 * [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)))
1550619788.274 * * * * [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)))>
1550619788.275 * [enter]simplify:  Simplifying (-.p16 beta alpha)
1550619788.275 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619788.276 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619788.276 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619788.276 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550619788.276 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550619788.276 * [exit]simplify:  Simplified to (-.p16 beta alpha)
1550619788.276 * [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)))
1550619788.276 * * * * [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)))>
1550619788.277 * [enter]simplify:  Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
1550619788.277 * * [misc]simplify:  iters left: 3 (7 enodes)
1550619788.280 * * [misc]simplify:  iters left: 2 (28 enodes)
1550619788.291 * * [misc]simplify:  iters left: 1 (79 enodes)
1550619788.325 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619788.325 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1550619788.325 * * [misc]simplify:  Extracting #2: cost 63 inf + 0
1550619788.326 * * [misc]simplify:  Extracting #3: cost 75 inf + 1531
1550619788.328 * * [misc]simplify:  Extracting #4: cost 37 inf + 47856
1550619788.334 * * [misc]simplify:  Extracting #5: cost 1 inf + 91596
1550619788.339 * * [misc]simplify:  Extracting #6: cost 0 inf + 94238
1550619788.346 * [exit]simplify:  Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
1550619788.346 * [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)))
1550619788.346 * * * * [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)))>
1550619788.346 * [enter]simplify:  Simplifying (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))
1550619788.346 * * [misc]simplify:  iters left: 4 (8 enodes)
1550619788.350 * * [misc]simplify:  iters left: 3 (24 enodes)
1550619788.358 * * [misc]simplify:  iters left: 2 (40 enodes)
1550619788.377 * * [misc]simplify:  iters left: 1 (73 enodes)
1550619788.405 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619788.405 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1550619788.405 * * [misc]simplify:  Extracting #2: cost 57 inf + 0
1550619788.406 * * [misc]simplify:  Extracting #3: cost 81 inf + 2
1550619788.407 * * [misc]simplify:  Extracting #4: cost 58 inf + 14591
1550619788.410 * * [misc]simplify:  Extracting #5: cost 9 inf + 56006
1550619788.415 * * [misc]simplify:  Extracting #6: cost 0 inf + 70542
1550619788.421 * [exit]simplify:  Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha))
1550619788.421 * [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)))
1550619788.421 * [enter]simplify:  Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))
1550619788.421 * * [misc]simplify:  iters left: 2 (5 enodes)
1550619788.423 * * [misc]simplify:  iters left: 1 (9 enodes)
1550619788.425 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619788.425 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619788.425 * * [misc]simplify:  Extracting #2: cost 4 inf + 0
1550619788.425 * * [misc]simplify:  Extracting #3: cost 2 inf + 2
1550619788.426 * * [misc]simplify:  Extracting #4: cost 0 inf + 526
1550619788.426 * [exit]simplify:  Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))
1550619788.426 * [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)))
1550619788.426 * * * * [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)))>
1550619788.426 * * * * [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)))>
1550619788.426 * [enter]simplify:  Simplifying (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha)
1550619788.426 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619788.430 * * [misc]simplify:  iters left: 3 (17 enodes)
1550619788.436 * * [misc]simplify:  iters left: 2 (36 enodes)
1550619788.448 * * [misc]simplify:  iters left: 1 (55 enodes)
1550619788.466 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619788.466 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1550619788.466 * * [misc]simplify:  Extracting #2: cost 13 inf + 1
1550619788.466 * * [misc]simplify:  Extracting #3: cost 11 inf + 365
1550619788.466 * * [misc]simplify:  Extracting #4: cost 5 inf + 1176
1550619788.467 * * [misc]simplify:  Extracting #5: cost 0 inf + 2668
1550619788.468 * [exit]simplify:  Simplified to (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 beta alpha)))
1550619788.468 * [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)))
1550619788.468 * * * * [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)))>
1550619788.468 * [enter]simplify:  Simplifying (*.p16 alpha (+.p16 alpha (+.p16 beta (real->posit16 2.0))))
1550619788.468 * * [misc]simplify:  iters left: 4 (7 enodes)
1550619788.472 * * [misc]simplify:  iters left: 3 (22 enodes)
1550619788.479 * * [misc]simplify:  iters left: 2 (42 enodes)
1550619788.489 * * [misc]simplify:  iters left: 1 (65 enodes)
1550619788.499 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619788.499 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1550619788.499 * * [misc]simplify:  Extracting #2: cost 13 inf + 1
1550619788.499 * * [misc]simplify:  Extracting #3: cost 12 inf + 323
1550619788.499 * * [misc]simplify:  Extracting #4: cost 7 inf + 772
1550619788.499 * * [misc]simplify:  Extracting #5: cost 1 inf + 2305
1550619788.499 * * [misc]simplify:  Extracting #6: cost 0 inf + 2668
1550619788.501 * [exit]simplify:  Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0)))
1550619788.501 * [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)))
1550619788.501 * * * * [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)))>
1550619788.501 * * * * [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)))>
1550619788.502 * [enter]simplify:  Simplifying (real->posit16 2.0)
1550619788.502 * * [misc]simplify:  iters left: 1 (2 enodes)
1550619788.503 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619788.503 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619788.503 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550619788.503 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550619788.503 * [exit]simplify:  Simplified to (real->posit16 2.0)
1550619788.503 * [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)))
1550619788.503 * * * * [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)))>
1550619788.503 * * * * [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)))>
1550619788.503 * [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))
1550619788.503 * * [misc]simplify:  iters left: 6 (16 enodes)
1550619788.507 * * [misc]simplify:  iters left: 5 (53 enodes)
1550619788.518 * * [misc]simplify:  iters left: 4 (150 enodes)
1550619788.595 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619788.595 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619788.595 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619788.596 * * [misc]simplify:  Extracting #3: cost 33 inf + 2
1550619788.596 * * [misc]simplify:  Extracting #4: cost 101 inf + 4
1550619788.597 * * [misc]simplify:  Extracting #5: cost 106 inf + 5843
1550619788.604 * * [misc]simplify:  Extracting #6: cost 58 inf + 70736
1550619788.612 * * [misc]simplify:  Extracting #7: cost 0 inf + 127016
1550619788.618 * [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))
1550619788.618 * [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)))
1550619788.618 * * * * [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)))>
1550619788.618 * [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))
1550619788.619 * * [misc]simplify:  iters left: 6 (16 enodes)
1550619788.623 * * [misc]simplify:  iters left: 5 (53 enodes)
1550619788.634 * * [misc]simplify:  iters left: 4 (150 enodes)
1550619788.700 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619788.700 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619788.700 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619788.700 * * [misc]simplify:  Extracting #3: cost 33 inf + 2
1550619788.701 * * [misc]simplify:  Extracting #4: cost 101 inf + 4
1550619788.701 * * [misc]simplify:  Extracting #5: cost 106 inf + 5843
1550619788.704 * * [misc]simplify:  Extracting #6: cost 58 inf + 70736
1550619788.709 * * [misc]simplify:  Extracting #7: cost 0 inf + 127016
1550619788.715 * [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))
1550619788.715 * [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)))
1550619788.715 * * * * [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)))>
1550619788.715 * [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))
1550619788.716 * * [misc]simplify:  iters left: 6 (16 enodes)
1550619788.719 * * [misc]simplify:  iters left: 5 (53 enodes)
1550619788.730 * * [misc]simplify:  iters left: 4 (150 enodes)
1550619788.787 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619788.787 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619788.787 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619788.787 * * [misc]simplify:  Extracting #3: cost 33 inf + 2
1550619788.787 * * [misc]simplify:  Extracting #4: cost 101 inf + 4
1550619788.788 * * [misc]simplify:  Extracting #5: cost 106 inf + 5843
1550619788.791 * * [misc]simplify:  Extracting #6: cost 58 inf + 70736
1550619788.802 * * [misc]simplify:  Extracting #7: cost 0 inf + 127016
1550619788.813 * [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))
1550619788.814 * [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)))
1550619788.814 * * * * [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)))>
1550619788.814 * [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))
1550619788.814 * * [misc]simplify:  iters left: 6 (16 enodes)
1550619788.822 * * [misc]simplify:  iters left: 5 (53 enodes)
1550619788.845 * * [misc]simplify:  iters left: 4 (150 enodes)
1550619788.929 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619788.929 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619788.929 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619788.929 * * [misc]simplify:  Extracting #3: cost 33 inf + 2
1550619788.929 * * [misc]simplify:  Extracting #4: cost 101 inf + 4
1550619788.930 * * [misc]simplify:  Extracting #5: cost 106 inf + 5843
1550619788.933 * * [misc]simplify:  Extracting #6: cost 58 inf + 70736
1550619788.938 * * [misc]simplify:  Extracting #7: cost 0 inf + 127016
1550619788.943 * [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))
1550619788.944 * [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)))
1550619788.944 * * * [misc]progress:  adding candidates to table
1550619789.979 * * [misc]progress:  iteration 4 / 4
1550619789.979 * * * [misc]progress:  picking best candidate
1550619790.140 * * * * [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)))>
1550619790.140 * * * [misc]progress:  localizing error
1550619790.341 * * * [misc]progress:  generating rewritten candidates
1550619790.341 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
1550619790.348 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1)
1550619790.355 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1550619790.370 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 2)
1550619790.374 * * * [misc]progress:  generating series expansions
1550619790.374 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
1550619790.374 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1)
1550619790.374 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1550619790.374 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 2)
1550619790.375 * * * [misc]progress:  simplifying candidates
1550619790.375 * * * * [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)))>
1550619790.375 * [enter]simplify:  Simplifying (*.p16 (-.p16 beta alpha) (+.p16 alpha beta))
1550619790.375 * * [misc]simplify:  iters left: 2 (5 enodes)
1550619790.377 * * [misc]simplify:  iters left: 1 (23 enodes)
1550619790.386 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619790.387 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550619790.387 * * [misc]simplify:  Extracting #2: cost 31 inf + 0
1550619790.387 * * [misc]simplify:  Extracting #3: cost 28 inf + 323
1550619790.387 * * [misc]simplify:  Extracting #4: cost 9 inf + 8236
1550619790.388 * * [misc]simplify:  Extracting #5: cost 0 inf + 14252
1550619790.389 * [exit]simplify:  Simplified to (*.p16 (+.p16 alpha beta) (-.p16 beta alpha))
1550619790.389 * [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)))
1550619790.390 * * * * [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)))>
1550619790.390 * [enter]simplify:  Simplifying (-.p16 beta alpha)
1550619790.390 * * [misc]simplify:  iters left: 1 (3 enodes)
1550619790.391 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619790.391 * * [misc]simplify:  Extracting #1: cost 6 inf + 0
1550619790.391 * * [misc]simplify:  Extracting #2: cost 5 inf + 44
1550619790.392 * * [misc]simplify:  Extracting #3: cost 0 inf + 1571
1550619790.392 * [exit]simplify:  Simplified to (-.p16 beta alpha)
1550619790.392 * [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)))
1550619790.392 * * * * [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)))>
1550619790.392 * [enter]simplify:  Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta))
1550619790.392 * * [misc]simplify:  iters left: 3 (7 enodes)
1550619790.394 * * [misc]simplify:  iters left: 2 (28 enodes)
1550619790.405 * * [misc]simplify:  iters left: 1 (79 enodes)
1550619790.422 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619790.422 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1550619790.422 * * [misc]simplify:  Extracting #2: cost 63 inf + 0
1550619790.422 * * [misc]simplify:  Extracting #3: cost 75 inf + 1531
1550619790.423 * * [misc]simplify:  Extracting #4: cost 37 inf + 47856
1550619790.426 * * [misc]simplify:  Extracting #5: cost 1 inf + 91596
1550619790.429 * * [misc]simplify:  Extracting #6: cost 0 inf + 94238
1550619790.433 * [exit]simplify:  Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha))
1550619790.433 * [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)))
1550619790.433 * * * * [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)))>
1550619790.433 * * * * [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)))>
1550619790.433 * [enter]simplify:  Simplifying (real->posit16 2.0)
1550619790.433 * * [misc]simplify:  iters left: 1 (2 enodes)
1550619790.434 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619790.434 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619790.434 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550619790.434 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550619790.434 * [exit]simplify:  Simplified to (real->posit16 2.0)
1550619790.434 * [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)))
1550619790.434 * * * * [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)))>
1550619790.434 * * * * [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)))>
1550619790.435 * [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))
1550619790.435 * * [misc]simplify:  iters left: 6 (15 enodes)
1550619790.438 * * [misc]simplify:  iters left: 5 (43 enodes)
1550619790.446 * * [misc]simplify:  iters left: 4 (114 enodes)
1550619790.476 * * [misc]simplify:  iters left: 3 (408 enodes)
1550619791.089 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619791.089 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619791.089 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619791.089 * * [misc]simplify:  Extracting #3: cost 86 inf + 2
1550619791.090 * * [misc]simplify:  Extracting #4: cost 388 inf + 4
1550619791.096 * * [misc]simplify:  Extracting #5: cost 527 inf + 18603
1550619791.117 * * [misc]simplify:  Extracting #6: cost 153 inf + 393918
1550619791.167 * * [misc]simplify:  Extracting #7: cost 5 inf + 567319
1550619791.220 * * [misc]simplify:  Extracting #8: cost 0 inf + 571810
1550619791.274 * [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))
1550619791.275 * [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)))
1550619791.275 * * * * [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)))>
1550619791.275 * [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))
1550619791.275 * * [misc]simplify:  iters left: 6 (15 enodes)
1550619791.282 * * [misc]simplify:  iters left: 5 (43 enodes)
1550619791.299 * * [misc]simplify:  iters left: 4 (114 enodes)
1550619791.356 * * [misc]simplify:  iters left: 3 (408 enodes)
1550619791.925 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619791.926 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619791.926 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619791.926 * * [misc]simplify:  Extracting #3: cost 86 inf + 2
1550619791.928 * * [misc]simplify:  Extracting #4: cost 388 inf + 4
1550619791.934 * * [misc]simplify:  Extracting #5: cost 527 inf + 18603
1550619791.971 * * [misc]simplify:  Extracting #6: cost 153 inf + 393918
1550619792.022 * * [misc]simplify:  Extracting #7: cost 5 inf + 567319
1550619792.051 * * [misc]simplify:  Extracting #8: cost 0 inf + 571810
1550619792.097 * [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))
1550619792.097 * [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)))
1550619792.097 * * * * [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)))>
1550619792.098 * [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))
1550619792.098 * * [misc]simplify:  iters left: 6 (15 enodes)
1550619792.104 * * [misc]simplify:  iters left: 5 (43 enodes)
1550619792.119 * * [misc]simplify:  iters left: 4 (114 enodes)
1550619792.172 * * [misc]simplify:  iters left: 3 (408 enodes)
1550619792.680 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619792.681 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619792.681 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619792.681 * * [misc]simplify:  Extracting #3: cost 86 inf + 2
1550619792.683 * * [misc]simplify:  Extracting #4: cost 388 inf + 4
1550619792.688 * * [misc]simplify:  Extracting #5: cost 527 inf + 18603
1550619792.717 * * [misc]simplify:  Extracting #6: cost 153 inf + 393918
1550619792.773 * * [misc]simplify:  Extracting #7: cost 5 inf + 567319
1550619792.823 * * [misc]simplify:  Extracting #8: cost 0 inf + 571810
1550619792.878 * [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))
1550619792.878 * [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)))
1550619792.878 * * * * [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)))>
1550619792.879 * [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))
1550619792.879 * * [misc]simplify:  iters left: 6 (15 enodes)
1550619792.886 * * [misc]simplify:  iters left: 5 (43 enodes)
1550619792.906 * * [misc]simplify:  iters left: 4 (114 enodes)
1550619792.963 * * [misc]simplify:  iters left: 3 (408 enodes)
1550619793.553 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619793.553 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619793.553 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619793.553 * * [misc]simplify:  Extracting #3: cost 86 inf + 2
1550619793.556 * * [misc]simplify:  Extracting #4: cost 388 inf + 4
1550619793.562 * * [misc]simplify:  Extracting #5: cost 527 inf + 18603
1550619793.591 * * [misc]simplify:  Extracting #6: cost 153 inf + 393918
1550619793.645 * * [misc]simplify:  Extracting #7: cost 5 inf + 567319
1550619793.705 * * [misc]simplify:  Extracting #8: cost 0 inf + 571810
1550619793.759 * [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))
1550619793.759 * [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)))
1550619793.759 * * * [misc]progress:  adding candidates to table
1550619794.703 * [misc]progress:  [Phase 3 of 3] Extracting.
1550619794.704 * * [misc]regime:  Finding splitpoints for: (#<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 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)))> #<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 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 (+.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 (+.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)))>)
1550619794.706 * * * [misc]regime-changes:  Trying 2 branch expressions: (alpha beta)
1550619794.706 * * * * [misc]regimes:  Trying to branch on alpha from (#<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 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)))> #<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 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 (+.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 (+.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)))>)
1550619795.268 * * * * [misc]regimes:  Trying to branch on beta from (#<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 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)))> #<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 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 (+.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 (+.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)))>)
1550619795.787 * * * [misc]regime:  Found split indices: #<option (#s(si 3 256))>
1550619795.787 * [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))
1550619795.787 * * [misc]simplify:  iters left: 6 (12 enodes)
1550619795.796 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619795.796 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619795.797 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1550619795.797 * * [misc]simplify:  Extracting #3: cost 8 inf + 1
1550619795.797 * * [misc]simplify:  Extracting #4: cost 8 inf + 4
1550619795.797 * * [misc]simplify:  Extracting #5: cost 5 inf + 48
1550619795.797 * * [misc]simplify:  Extracting #6: cost 0 inf + 2544
1550619795.797 * [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))
1550619795.797 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550619795.837 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550619795.843 * * * * [misc]points:  Setting MPFR precision to 64
1550619795.845 * * * * [misc]points:  Setting MPFR precision to 320
1550619795.847 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550619795.854 * * * * [misc]points:  Setting MPFR precision to 64
1550619795.857 * * * * [misc]points:  Setting MPFR precision to 320
1550619795.861 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550619795.867 * * * * [misc]points:  Setting MPFR precision to 64
1550619795.874 * * * * [misc]points:  Setting MPFR precision to 320
1550619795.882 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550619795.887 * * * * [misc]points:  Setting MPFR precision to 64
1550619795.901 * * * * [misc]points:  Setting MPFR precision to 320
1550619795.916 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550619795.921 * * * * [misc]points:  Setting MPFR precision to 64
1550619795.949 * * * * [misc]points:  Setting MPFR precision to 320
1550619795.980 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550619795.986 * * * * [misc]points:  Setting MPFR precision to 64
1550619796.077 * * * * [misc]points:  Setting MPFR precision to 320
1550619796.142 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550619796.148 * * * * [misc]points:  Setting MPFR precision to 64
1550619796.256 * * * * [misc]points:  Setting MPFR precision to 320
1550619796.434 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550619796.440 * * * * [misc]points:  Setting MPFR precision to 64
1550619796.705 * * * * [misc]points:  Setting MPFR precision to 320
1550619797.011 * * * * [misc]points:  Computing exacts for 8000 points
1550619797.016 * * * * [misc]points:  Setting MPFR precision to 64
1550619797.818 * * * * [misc]points:  Setting MPFR precision to 320
1550619798.956 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619799.632 * * * * [misc]points:  Sampling 3543 additional inputs, on iter 1 have 4457 / 8000
1550619799.644 * * * * [misc]points:  Computing exacts on every 221 of 3543 points to ramp up precision
1550619799.650 * * * * [misc]points:  Setting MPFR precision to 64
1550619799.652 * * * * [misc]points:  Setting MPFR precision to 320
1550619799.654 * * * * [misc]points:  Computing exacts on every 110 of 3543 points to ramp up precision
1550619799.659 * * * * [misc]points:  Setting MPFR precision to 64
1550619799.662 * * * * [misc]points:  Setting MPFR precision to 320
1550619799.666 * * * * [misc]points:  Computing exacts on every 55 of 3543 points to ramp up precision
1550619799.671 * * * * [misc]points:  Setting MPFR precision to 64
1550619799.678 * * * * [misc]points:  Setting MPFR precision to 320
1550619799.686 * * * * [misc]points:  Computing exacts on every 27 of 3543 points to ramp up precision
1550619799.708 * * * * [misc]points:  Setting MPFR precision to 64
1550619799.723 * * * * [misc]points:  Setting MPFR precision to 320
1550619799.738 * * * * [misc]points:  Computing exacts on every 13 of 3543 points to ramp up precision
1550619799.744 * * * * [misc]points:  Setting MPFR precision to 64
1550619799.773 * * * * [misc]points:  Setting MPFR precision to 320
1550619799.800 * * * * [misc]points:  Computing exacts on every 6 of 3543 points to ramp up precision
1550619799.805 * * * * [misc]points:  Setting MPFR precision to 64
1550619799.856 * * * * [misc]points:  Setting MPFR precision to 320
1550619799.924 * * * * [misc]points:  Computing exacts on every 3 of 3543 points to ramp up precision
1550619799.964 * * * * [misc]points:  Setting MPFR precision to 64
1550619800.064 * * * * [misc]points:  Setting MPFR precision to 320
1550619800.177 * * * * [misc]points:  Computing exacts for 3543 points
1550619800.182 * * * * [misc]points:  Setting MPFR precision to 64
1550619800.660 * * * * [misc]points:  Setting MPFR precision to 320
1550619801.205 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619801.385 * * * * [misc]points:  Sampling 1464 additional inputs, on iter 2 have 6536 / 8000
1550619801.391 * * * * [misc]points:  Computing exacts on every 91 of 1464 points to ramp up precision
1550619801.396 * * * * [misc]points:  Setting MPFR precision to 64
1550619801.398 * * * * [misc]points:  Setting MPFR precision to 320
1550619801.400 * * * * [misc]points:  Computing exacts on every 45 of 1464 points to ramp up precision
1550619801.404 * * * * [misc]points:  Setting MPFR precision to 64
1550619801.407 * * * * [misc]points:  Setting MPFR precision to 320
1550619801.411 * * * * [misc]points:  Computing exacts on every 22 of 1464 points to ramp up precision
1550619801.415 * * * * [misc]points:  Setting MPFR precision to 64
1550619801.421 * * * * [misc]points:  Setting MPFR precision to 320
1550619801.428 * * * * [misc]points:  Computing exacts on every 11 of 1464 points to ramp up precision
1550619801.432 * * * * [misc]points:  Setting MPFR precision to 64
1550619801.444 * * * * [misc]points:  Setting MPFR precision to 320
1550619801.457 * * * * [misc]points:  Computing exacts on every 5 of 1464 points to ramp up precision
1550619801.461 * * * * [misc]points:  Setting MPFR precision to 64
1550619801.483 * * * * [misc]points:  Setting MPFR precision to 320
1550619801.535 * * * * [misc]points:  Computing exacts on every 2 of 1464 points to ramp up precision
1550619801.540 * * * * [misc]points:  Setting MPFR precision to 64
1550619801.585 * * * * [misc]points:  Setting MPFR precision to 320
1550619801.624 * * * * [misc]points:  Computing exacts for 1464 points
1550619801.629 * * * * [misc]points:  Setting MPFR precision to 64
1550619801.756 * * * * [misc]points:  Setting MPFR precision to 320
1550619801.886 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619801.946 * * * * [misc]points:  Sampling 662 additional inputs, on iter 3 have 7338 / 8000
1550619801.950 * * * * [misc]points:  Computing exacts on every 41 of 662 points to ramp up precision
1550619801.956 * * * * [misc]points:  Setting MPFR precision to 64
1550619801.958 * * * * [misc]points:  Setting MPFR precision to 320
1550619801.960 * * * * [misc]points:  Computing exacts on every 20 of 662 points to ramp up precision
1550619801.965 * * * * [misc]points:  Setting MPFR precision to 64
1550619801.968 * * * * [misc]points:  Setting MPFR precision to 320
1550619801.972 * * * * [misc]points:  Computing exacts on every 10 of 662 points to ramp up precision
1550619801.978 * * * * [misc]points:  Setting MPFR precision to 64
1550619801.984 * * * * [misc]points:  Setting MPFR precision to 320
1550619801.992 * * * * [misc]points:  Computing exacts on every 5 of 662 points to ramp up precision
1550619801.997 * * * * [misc]points:  Setting MPFR precision to 64
1550619802.009 * * * * [misc]points:  Setting MPFR precision to 320
1550619802.022 * * * * [misc]points:  Computing exacts on every 2 of 662 points to ramp up precision
1550619802.024 * * * * [misc]points:  Setting MPFR precision to 64
1550619802.037 * * * * [misc]points:  Setting MPFR precision to 320
1550619802.052 * * * * [misc]points:  Computing exacts for 662 points
1550619802.087 * * * * [misc]points:  Setting MPFR precision to 64
1550619802.154 * * * * [misc]points:  Setting MPFR precision to 320
1550619802.239 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619802.275 * * * * [misc]points:  Sampling 306 additional inputs, on iter 4 have 7694 / 8000
1550619802.276 * * * * [misc]points:  Computing exacts on every 19 of 306 points to ramp up precision
1550619802.282 * * * * [misc]points:  Setting MPFR precision to 64
1550619802.283 * * * * [misc]points:  Setting MPFR precision to 320
1550619802.285 * * * * [misc]points:  Computing exacts on every 9 of 306 points to ramp up precision
1550619802.291 * * * * [misc]points:  Setting MPFR precision to 64
1550619802.294 * * * * [misc]points:  Setting MPFR precision to 320
1550619802.298 * * * * [misc]points:  Computing exacts on every 4 of 306 points to ramp up precision
1550619802.303 * * * * [misc]points:  Setting MPFR precision to 64
1550619802.348 * * * * [misc]points:  Setting MPFR precision to 320
1550619802.359 * * * * [misc]points:  Computing exacts on every 2 of 306 points to ramp up precision
1550619802.364 * * * * [misc]points:  Setting MPFR precision to 64
1550619802.374 * * * * [misc]points:  Setting MPFR precision to 320
1550619802.386 * * * * [misc]points:  Computing exacts for 306 points
1550619802.390 * * * * [misc]points:  Setting MPFR precision to 64
1550619802.422 * * * * [misc]points:  Setting MPFR precision to 320
1550619802.462 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619802.480 * * * * [misc]points:  Sampling 137 additional inputs, on iter 5 have 7863 / 8000
1550619802.480 * * * * [misc]points:  Computing exacts on every 8 of 137 points to ramp up precision
1550619802.486 * * * * [misc]points:  Setting MPFR precision to 64
1550619802.488 * * * * [misc]points:  Setting MPFR precision to 320
1550619802.490 * * * * [misc]points:  Computing exacts on every 4 of 137 points to ramp up precision
1550619802.496 * * * * [misc]points:  Setting MPFR precision to 64
1550619802.500 * * * * [misc]points:  Setting MPFR precision to 320
1550619802.503 * * * * [misc]points:  Computing exacts on every 2 of 137 points to ramp up precision
1550619802.508 * * * * [misc]points:  Setting MPFR precision to 64
1550619802.514 * * * * [misc]points:  Setting MPFR precision to 320
1550619802.520 * * * * [misc]points:  Computing exacts for 137 points
1550619802.525 * * * * [misc]points:  Setting MPFR precision to 64
1550619802.540 * * * * [misc]points:  Setting MPFR precision to 320
1550619802.586 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619802.596 * * * * [misc]points:  Sampling 66 additional inputs, on iter 6 have 7934 / 8000
1550619802.596 * * * * [misc]points:  Computing exacts on every 4 of 66 points to ramp up precision
1550619802.602 * * * * [misc]points:  Setting MPFR precision to 64
1550619802.604 * * * * [misc]points:  Setting MPFR precision to 320
1550619802.605 * * * * [misc]points:  Computing exacts on every 2 of 66 points to ramp up precision
1550619802.611 * * * * [misc]points:  Setting MPFR precision to 64
1550619802.614 * * * * [misc]points:  Setting MPFR precision to 320
1550619802.617 * * * * [misc]points:  Computing exacts for 66 points
1550619802.622 * * * * [misc]points:  Setting MPFR precision to 64
1550619802.629 * * * * [misc]points:  Setting MPFR precision to 320
1550619802.636 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619802.640 * * * * [misc]points:  Sampling 27 additional inputs, on iter 7 have 7973 / 8000
1550619802.640 * * * * [misc]points:  Computing exacts for 27 points
1550619802.645 * * * * [misc]points:  Setting MPFR precision to 64
1550619802.647 * * * * [misc]points:  Setting MPFR precision to 320
1550619802.649 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619802.650 * * * * [misc]points:  Sampling 14 additional inputs, on iter 8 have 7986 / 8000
1550619802.650 * * * * [misc]points:  Computing exacts for 14 points
1550619802.653 * * * * [misc]points:  Setting MPFR precision to 64
1550619802.654 * * * * [misc]points:  Setting MPFR precision to 320
1550619802.655 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619802.655 * * * * [misc]points:  Sampling 7 additional inputs, on iter 9 have 7993 / 8000
1550619802.655 * * * * [misc]points:  Computing exacts for 7 points
1550619802.658 * * * * [misc]points:  Setting MPFR precision to 64
1550619802.658 * * * * [misc]points:  Setting MPFR precision to 320
1550619802.659 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619802.659 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 7996 / 8000
1550619802.659 * * * * [misc]points:  Computing exacts for 4 points
1550619802.662 * * * * [misc]points:  Setting MPFR precision to 64
1550619802.662 * * * * [misc]points:  Setting MPFR precision to 320
1550619802.663 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619802.663 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 7999 / 8000
1550619802.663 * * * * [misc]points:  Computing exacts for 4 points
1550619802.665 * * * * [misc]points:  Setting MPFR precision to 64
1550619802.666 * * * * [misc]points:  Setting MPFR precision to 320
1550619802.666 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619802.667 * * * * [exit]points:  Sampled 8002 points with exact outputs
1550619808.316 * [misc]regime-testing:  Baseline error score: 64.0
1550619808.319 * [misc]regime-testing:  Oracle error score: 64.0
1550619808.323 * [misc]regime-testing:  End program error score: 0.7639279863233226