1554300815.767 * [misc]progress:  [Phase 1 of 3] Setting up.
1554300815.767 * * * [misc]progress:  [1/2] Preparing points
1554300815.768 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1554300815.769 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1554300815.775 * * * * [misc]points:  Setting MPFR precision to 64
1554300815.778 * * * * [misc]points:  Setting MPFR precision to 320
1554300815.779 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1554300815.788 * * * * [misc]points:  Setting MPFR precision to 64
1554300815.791 * * * * [misc]points:  Setting MPFR precision to 320
1554300815.800 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1554300815.809 * * * * [misc]points:  Setting MPFR precision to 64
1554300815.814 * * * * [misc]points:  Setting MPFR precision to 320
1554300815.818 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1554300815.822 * * * * [misc]points:  Setting MPFR precision to 64
1554300815.827 * * * * [misc]points:  Setting MPFR precision to 320
1554300815.833 * * * * [misc]points:  Computing exacts for 256 points
1554300815.837 * * * * [misc]points:  Setting MPFR precision to 64
1554300815.853 * * * * [misc]points:  Setting MPFR precision to 320
1554300815.870 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300815.870 * * * * [misc]points:  Sampling 100 additional inputs, on iter 1 have 156 / 256
1554300815.870 * * * * [misc]points:  Computing exacts on every 6 of 100 points to ramp up precision
1554300815.875 * * * * [misc]points:  Setting MPFR precision to 64
1554300815.876 * * * * [misc]points:  Setting MPFR precision to 320
1554300815.877 * * * * [misc]points:  Computing exacts on every 3 of 100 points to ramp up precision
1554300815.881 * * * * [misc]points:  Setting MPFR precision to 64
1554300815.883 * * * * [misc]points:  Setting MPFR precision to 320
1554300815.884 * * * * [misc]points:  Computing exacts for 100 points
1554300815.889 * * * * [misc]points:  Setting MPFR precision to 64
1554300815.895 * * * * [misc]points:  Setting MPFR precision to 320
1554300815.931 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300815.932 * * * * [misc]points:  Sampling 33 additional inputs, on iter 2 have 223 / 256
1554300815.932 * * * * [misc]points:  Computing exacts on every 2 of 33 points to ramp up precision
1554300815.940 * * * * [misc]points:  Setting MPFR precision to 64
1554300815.941 * * * * [misc]points:  Setting MPFR precision to 320
1554300815.942 * * * * [misc]points:  Computing exacts for 33 points
1554300815.949 * * * * [misc]points:  Setting MPFR precision to 64
1554300815.953 * * * * [misc]points:  Setting MPFR precision to 320
1554300815.956 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300815.956 * * * * [misc]points:  Sampling 12 additional inputs, on iter 3 have 244 / 256
1554300815.956 * * * * [misc]points:  Computing exacts for 12 points
1554300815.964 * * * * [misc]points:  Setting MPFR precision to 64
1554300815.965 * * * * [misc]points:  Setting MPFR precision to 320
1554300815.966 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300815.966 * * * * [misc]points:  Sampling 5 additional inputs, on iter 4 have 251 / 256
1554300815.967 * * * * [misc]points:  Computing exacts for 5 points
1554300815.972 * * * * [misc]points:  Setting MPFR precision to 64
1554300815.972 * * * * [misc]points:  Setting MPFR precision to 320
1554300815.973 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300815.973 * * * * [exit]points:  Sampled 256 points with exact outputs
1554300815.973 * * * [misc]progress:  [2/2] Setting up program.
1554300815.991 * [misc]progress:  [Phase 2 of 3] Improving.
1554300815.991 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300815.992 * [enter]simplify:  Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1554300815.992 * * [misc]simplify:  iters left: 6 (18 enodes)
1554300816.000 * * [misc]simplify:  iters left: 5 (46 enodes)
1554300816.016 * * [misc]simplify:  iters left: 4 (118 enodes)
1554300816.078 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300816.079 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1554300816.079 * * [misc]simplify:  Extracting #2: cost 62 inf + 0
1554300816.079 * * [misc]simplify:  Extracting #3: cost 165 inf + 2
1554300816.080 * * [misc]simplify:  Extracting #4: cost 154 inf + 3708
1554300816.081 * * [misc]simplify:  Extracting #5: cost 131 inf + 9961
1554300816.083 * * [misc]simplify:  Extracting #6: cost 129 inf + 10365
1554300816.086 * * [misc]simplify:  Extracting #7: cost 82 inf + 46686
1554300816.093 * * [misc]simplify:  Extracting #8: cost 5 inf + 102245
1554300816.102 * * [misc]simplify:  Extracting #9: cost 0 inf + 105668
1554300816.112 * [exit]simplify:  Simplified to (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))))
1554300816.112 * [misc]simplify:  Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))
1554300816.146 * * [misc]progress:  iteration 1 / 4
1554300816.146 * * * [misc]progress:  picking best candidate
1554300816.175 * * * * [misc]pick:  Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300816.175 * * * [misc]progress:  localizing error
1554300816.528 * * * [misc]progress:  generating rewritten candidates
1554300816.528 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
1554300816.541 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1554300816.560 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1)
1554300816.564 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1)
1554300816.573 * * * [misc]progress:  generating series expansions
1554300816.573 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
1554300816.573 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1554300816.573 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1)
1554300816.573 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1)
1554300816.573 * * * [misc]progress:  simplifying candidates
1554300816.574 * * * * [misc]progress:  [ 1 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300816.574 * [enter]simplify:  Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0))
1554300816.574 * * [misc]simplify:  iters left: 3 (8 enodes)
1554300816.578 * * [misc]simplify:  iters left: 2 (21 enodes)
1554300816.584 * * [misc]simplify:  iters left: 1 (43 enodes)
1554300816.591 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300816.591 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1554300816.591 * * [misc]simplify:  Extracting #2: cost 16 inf + 2
1554300816.591 * * [misc]simplify:  Extracting #3: cost 13 inf + 367
1554300816.592 * * [misc]simplify:  Extracting #4: cost 0 inf + 3718
1554300816.592 * [exit]simplify:  Simplified to (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha))
1554300816.592 * [misc]simplify:  Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1554300816.592 * * * * [misc]progress:  [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300816.592 * * * * [misc]progress:  [ 3 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) (+.p16 alpha beta)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300816.592 * * * * [misc]progress:  [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300816.592 * [enter]simplify:  Simplifying (+.p16 alpha beta)
1554300816.592 * * [misc]simplify:  iters left: 1 (3 enodes)
1554300816.593 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300816.593 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300816.593 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1554300816.593 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1554300816.593 * [exit]simplify:  Simplified to (+.p16 beta alpha)
1554300816.593 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 beta alpha) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1554300816.593 * * * * [misc]progress:  [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (real->posit16 1.0) (+.p16 (+.p16 alpha beta) (*.p16 beta alpha))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300816.593 * * * * [misc]progress:  [ 6 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300816.594 * [enter]simplify:  Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1554300816.594 * * [misc]simplify:  iters left: 6 (18 enodes)
1554300816.598 * * [misc]simplify:  iters left: 5 (46 enodes)
1554300816.609 * * [misc]simplify:  iters left: 4 (118 enodes)
1554300816.641 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300816.641 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1554300816.641 * * [misc]simplify:  Extracting #2: cost 62 inf + 0
1554300816.641 * * [misc]simplify:  Extracting #3: cost 165 inf + 2
1554300816.642 * * [misc]simplify:  Extracting #4: cost 154 inf + 3708
1554300816.643 * * [misc]simplify:  Extracting #5: cost 131 inf + 9961
1554300816.644 * * [misc]simplify:  Extracting #6: cost 129 inf + 10365
1554300816.650 * * [misc]simplify:  Extracting #7: cost 82 inf + 46686
1554300816.664 * * [misc]simplify:  Extracting #8: cost 5 inf + 102245
1554300816.675 * * [misc]simplify:  Extracting #9: cost 0 inf + 105668
1554300816.685 * [exit]simplify:  Simplified to (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))))
1554300816.685 * [misc]simplify:  Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))
1554300816.685 * * * * [misc]progress:  [ 7 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300816.686 * [enter]simplify:  Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1554300816.686 * * [misc]simplify:  iters left: 6 (18 enodes)
1554300816.690 * * [misc]simplify:  iters left: 5 (46 enodes)
1554300816.698 * * [misc]simplify:  iters left: 4 (118 enodes)
1554300816.736 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300816.736 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1554300816.736 * * [misc]simplify:  Extracting #2: cost 62 inf + 0
1554300816.737 * * [misc]simplify:  Extracting #3: cost 165 inf + 2
1554300816.739 * * [misc]simplify:  Extracting #4: cost 154 inf + 3708
1554300816.741 * * [misc]simplify:  Extracting #5: cost 131 inf + 9961
1554300816.743 * * [misc]simplify:  Extracting #6: cost 129 inf + 10365
1554300816.750 * * [misc]simplify:  Extracting #7: cost 82 inf + 46686
1554300816.764 * * [misc]simplify:  Extracting #8: cost 5 inf + 102245
1554300816.784 * * [misc]simplify:  Extracting #9: cost 0 inf + 105668
1554300816.800 * [exit]simplify:  Simplified to (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))))
1554300816.800 * [misc]simplify:  Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))
1554300816.801 * * * * [misc]progress:  [ 8 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300816.801 * [enter]simplify:  Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1554300816.801 * * [misc]simplify:  iters left: 6 (18 enodes)
1554300816.809 * * [misc]simplify:  iters left: 5 (46 enodes)
1554300816.826 * * [misc]simplify:  iters left: 4 (118 enodes)
1554300816.887 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300816.887 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1554300816.887 * * [misc]simplify:  Extracting #2: cost 62 inf + 0
1554300816.887 * * [misc]simplify:  Extracting #3: cost 165 inf + 2
1554300816.888 * * [misc]simplify:  Extracting #4: cost 154 inf + 3708
1554300816.889 * * [misc]simplify:  Extracting #5: cost 131 inf + 9961
1554300816.890 * * [misc]simplify:  Extracting #6: cost 129 inf + 10365
1554300816.895 * * [misc]simplify:  Extracting #7: cost 82 inf + 46686
1554300816.902 * * [misc]simplify:  Extracting #8: cost 5 inf + 102245
1554300816.911 * * [misc]simplify:  Extracting #9: cost 0 inf + 105668
1554300816.926 * [exit]simplify:  Simplified to (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))))
1554300816.926 * [misc]simplify:  Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))
1554300816.926 * * * * [misc]progress:  [ 9 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300816.926 * [enter]simplify:  Simplifying (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1554300816.926 * * [misc]simplify:  iters left: 6 (18 enodes)
1554300816.935 * * [misc]simplify:  iters left: 5 (46 enodes)
1554300816.952 * * [misc]simplify:  iters left: 4 (118 enodes)
1554300817.007 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300817.007 * * [misc]simplify:  Extracting #1: cost 10 inf + 0
1554300817.007 * * [misc]simplify:  Extracting #2: cost 62 inf + 0
1554300817.007 * * [misc]simplify:  Extracting #3: cost 165 inf + 2
1554300817.008 * * [misc]simplify:  Extracting #4: cost 154 inf + 3708
1554300817.009 * * [misc]simplify:  Extracting #5: cost 131 inf + 9961
1554300817.010 * * [misc]simplify:  Extracting #6: cost 129 inf + 10365
1554300817.013 * * [misc]simplify:  Extracting #7: cost 82 inf + 46686
1554300817.024 * * [misc]simplify:  Extracting #8: cost 5 inf + 102245
1554300817.042 * * [misc]simplify:  Extracting #9: cost 0 inf + 105668
1554300817.059 * [exit]simplify:  Simplified to (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)))))
1554300817.059 * [misc]simplify:  Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))
1554300817.059 * * * [misc]progress:  adding candidates to table
1554300817.474 * * [misc]progress:  iteration 2 / 4
1554300817.474 * * * [misc]progress:  picking best candidate
1554300817.542 * * * * [misc]pick:  Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300817.542 * * * [misc]progress:  localizing error
1554300817.700 * * * [misc]progress:  generating rewritten candidates
1554300817.700 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
1554300817.710 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1554300817.721 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1)
1554300817.723 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1)
1554300817.727 * * * [misc]progress:  generating series expansions
1554300817.727 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
1554300817.727 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1554300817.727 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1)
1554300817.727 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1)
1554300817.727 * * * [misc]progress:  simplifying candidates
1554300817.727 * * * * [misc]progress:  [ 1 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300817.727 * [enter]simplify:  Simplifying (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0))
1554300817.727 * * [misc]simplify:  iters left: 4 (8 enodes)
1554300817.729 * * [misc]simplify:  iters left: 3 (21 enodes)
1554300817.733 * * [misc]simplify:  iters left: 2 (41 enodes)
1554300817.739 * * [misc]simplify:  iters left: 1 (61 enodes)
1554300817.756 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300817.756 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1554300817.756 * * [misc]simplify:  Extracting #2: cost 17 inf + 2
1554300817.756 * * [misc]simplify:  Extracting #3: cost 12 inf + 1091
1554300817.757 * * [misc]simplify:  Extracting #4: cost 3 inf + 3553
1554300817.758 * * [misc]simplify:  Extracting #5: cost 0 inf + 4280
1554300817.759 * [exit]simplify:  Simplified to (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0)))
1554300817.759 * [misc]simplify:  Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1554300817.759 * * * * [misc]progress:  [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300817.759 * [enter]simplify:  Simplifying (*.p16 beta alpha)
1554300817.759 * * [misc]simplify:  iters left: 1 (3 enodes)
1554300817.760 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300817.760 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300817.760 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1554300817.760 * * [misc]simplify:  Extracting #3: cost 0 inf + 324
1554300817.760 * [exit]simplify:  Simplified to (*.p16 alpha beta)
1554300817.761 * [misc]simplify:  Simplified (2 1 1 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 alpha beta)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1554300817.761 * * * * [misc]progress:  [ 3 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 beta (*.p16 beta alpha)) alpha) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300817.761 * * * * [misc]progress:  [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300817.761 * * * * [misc]progress:  [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (real->posit16 1.0) (+.p16 alpha (+.p16 beta (*.p16 beta alpha)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300817.761 * * * * [misc]progress:  [ 6 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300817.761 * * * * [misc]progress:  [ 7 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300817.761 * * * * [misc]progress:  [ 8 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300817.761 * * * * [misc]progress:  [ 9 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300817.761 * * * [misc]progress:  adding candidates to table
1554300818.205 * * [misc]progress:  iteration 3 / 4
1554300818.205 * * * [misc]progress:  picking best candidate
1554300818.322 * * * * [misc]pick:  Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300818.322 * * * [misc]progress:  localizing error
1554300818.482 * * * [misc]progress:  generating rewritten candidates
1554300818.482 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
1554300818.492 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1554300818.503 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1)
1554300818.506 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 2)
1554300818.509 * * * [misc]progress:  generating series expansions
1554300818.509 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
1554300818.509 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1554300818.509 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1)
1554300818.509 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 2)
1554300818.509 * * * [misc]progress:  simplifying candidates
1554300818.509 * * * * [misc]progress:  [ 1 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300818.509 * [enter]simplify:  Simplifying (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0)))
1554300818.509 * * [misc]simplify:  iters left: 4 (8 enodes)
1554300818.512 * * [misc]simplify:  iters left: 3 (21 enodes)
1554300818.516 * * [misc]simplify:  iters left: 2 (41 enodes)
1554300818.527 * * [misc]simplify:  iters left: 1 (68 enodes)
1554300818.544 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300818.544 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554300818.544 * * [misc]simplify:  Extracting #2: cost 16 inf + 2
1554300818.544 * * [misc]simplify:  Extracting #3: cost 9 inf + 1175
1554300818.545 * * [misc]simplify:  Extracting #4: cost 0 inf + 3877
1554300818.545 * [exit]simplify:  Simplified to (*.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 alpha (real->posit16 1.0)))
1554300818.545 * [misc]simplify:  Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1554300818.545 * * * * [misc]progress:  [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300818.546 * [enter]simplify:  Simplifying (real->posit16 1.0)
1554300818.546 * * [misc]simplify:  iters left: 1 (2 enodes)
1554300818.546 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300818.546 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554300818.546 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1554300818.546 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1554300818.546 * [exit]simplify:  Simplified to (real->posit16 1.0)
1554300818.546 * [misc]simplify:  Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1554300818.547 * * * * [misc]progress:  [ 3 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0)) alpha) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300818.547 * * * * [misc]progress:  [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 beta (+.p16 (*.p16 beta alpha) (real->posit16 1.0)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300818.547 * * * * [misc]progress:  [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (real->posit16 1.0) (+.p16 beta (*.p16 beta alpha)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300818.547 * * * * [misc]progress:  [ 6 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300818.547 * * * * [misc]progress:  [ 7 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300818.547 * * * * [misc]progress:  [ 8 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300818.547 * * * * [misc]progress:  [ 9 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300818.547 * * * [misc]progress:  adding candidates to table
1554300818.888 * * [misc]progress:  iteration 4 / 4
1554300818.888 * * * [misc]progress:  picking best candidate
1554300818.989 * * * * [misc]pick:  Picked  #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300818.989 * * * [misc]progress:  localizing error
1554300819.166 * * * [misc]progress:  generating rewritten candidates
1554300819.166 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
1554300819.188 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1)
1554300819.194 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1554300819.206 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 2)
1554300819.209 * * * [misc]progress:  generating series expansions
1554300819.209 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
1554300819.209 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1)
1554300819.209 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1554300819.209 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 2)
1554300819.210 * * * [misc]progress:  simplifying candidates
1554300819.210 * * * * [misc]progress:  [ 1 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300819.210 * [enter]simplify:  Simplifying (real->posit16 1.0)
1554300819.210 * * [misc]simplify:  iters left: 1 (2 enodes)
1554300819.211 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300819.211 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1554300819.211 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1554300819.211 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1554300819.211 * [exit]simplify:  Simplified to (real->posit16 1.0)
1554300819.211 * [misc]simplify:  Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1554300819.211 * * * * [misc]progress:  [ 2 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 beta (+.p16 (*.p16 beta alpha) (real->posit16 1.0)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300819.211 * * * * [misc]progress:  [ 3 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 (*.p16 beta alpha) (real->posit16 1.0)) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300819.211 * * * * [misc]progress:  [ 4 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300819.211 * [enter]simplify:  Simplifying (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0)))
1554300819.211 * * [misc]simplify:  iters left: 3 (8 enodes)
1554300819.213 * * [misc]simplify:  iters left: 2 (21 enodes)
1554300819.217 * * [misc]simplify:  iters left: 1 (40 enodes)
1554300819.223 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300819.223 * * [misc]simplify:  Extracting #1: cost 15 inf + 0
1554300819.223 * * [misc]simplify:  Extracting #2: cost 15 inf + 2
1554300819.223 * * [misc]simplify:  Extracting #3: cost 9 inf + 772
1554300819.224 * * [misc]simplify:  Extracting #4: cost 0 inf + 3315
1554300819.224 * [exit]simplify:  Simplified to (+.p16 alpha (+.p16 (+.p16 (real->posit16 1.0) beta) (*.p16 beta alpha)))
1554300819.224 * [misc]simplify:  Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 (real->posit16 1.0) beta) (*.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1554300819.224 * * * * [misc]progress:  [ 5 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (real->posit16 1.0) (*.p16 beta alpha))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300819.225 * * * * [misc]progress:  [ 6 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300819.225 * [enter]simplify:  Simplifying (+.p16 alpha beta)
1554300819.225 * * [misc]simplify:  iters left: 1 (3 enodes)
1554300819.225 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300819.225 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300819.225 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1554300819.225 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1554300819.225 * [exit]simplify:  Simplified to (+.p16 beta alpha)
1554300819.225 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 beta alpha) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1554300819.226 * * * * [misc]progress:  [ 7 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300819.226 * [enter]simplify:  Simplifying (+.p16 alpha beta)
1554300819.226 * * [misc]simplify:  iters left: 1 (3 enodes)
1554300819.226 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300819.226 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300819.226 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1554300819.226 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1554300819.226 * [exit]simplify:  Simplified to (+.p16 beta alpha)
1554300819.226 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 beta alpha) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1554300819.227 * * * * [misc]progress:  [ 8 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300819.227 * [enter]simplify:  Simplifying (+.p16 alpha beta)
1554300819.227 * * [misc]simplify:  iters left: 1 (3 enodes)
1554300819.227 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300819.227 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300819.227 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1554300819.227 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1554300819.227 * [exit]simplify:  Simplified to (+.p16 beta alpha)
1554300819.227 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 beta alpha) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1554300819.228 * * * * [misc]progress:  [ 9 / 9 ] simplifiying candidate #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))>
1554300819.228 * [enter]simplify:  Simplifying (+.p16 alpha beta)
1554300819.228 * * [misc]simplify:  iters left: 1 (3 enodes)
1554300819.228 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300819.228 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300819.228 * * [misc]simplify:  Extracting #2: cost 1 inf + 2
1554300819.228 * * [misc]simplify:  Extracting #3: cost 0 inf + 44
1554300819.228 * [exit]simplify:  Simplified to (+.p16 beta alpha)
1554300819.228 * [misc]simplify:  Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 beta alpha) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))
1554300819.229 * * * [misc]progress:  adding candidates to table
1554300819.571 * [misc]progress:  [Phase 3 of 3] Extracting.
1554300819.571 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))>)
1554300819.574 * * * [misc]regime-changes:  Trying 2 branch expressions: (beta alpha)
1554300819.574 * * * * [misc]regimes:  Trying to branch on beta from (#<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))>)
1554300819.754 * * * * [misc]regimes:  Trying to branch on alpha from (#<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 (+.p16 alpha beta) (+.p16 (*.p16 beta alpha) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #<alt (λ (alpha beta) (/.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 beta alpha)) (real->posit16 1.0)) (*.p16 (+.p16 alpha (+.p16 (+.p16 beta (real->posit16 1.0)) (*.p16 (real->posit16 1) (real->posit16 2)))) (*.p16 (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))))))>)
1554300819.926 * * * [misc]regime:  Found split indices: #<option (#s(si 3 256))>
1554300819.927 * [enter]simplify:  Simplifying (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1554300819.927 * * [misc]simplify:  iters left: 6 (19 enodes)
1554300819.930 * * [misc]simplify:  iters left: 5 (21 enodes)
1554300819.937 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1554300819.937 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1554300819.937 * * [misc]simplify:  Extracting #2: cost 6 inf + 0
1554300819.937 * * [misc]simplify:  Extracting #3: cost 10 inf + 0
1554300819.937 * * [misc]simplify:  Extracting #4: cost 13 inf + 2
1554300819.937 * * [misc]simplify:  Extracting #5: cost 14 inf + 4
1554300819.938 * * [misc]simplify:  Extracting #6: cost 12 inf + 48
1554300819.938 * * [misc]simplify:  Extracting #7: cost 7 inf + 1056
1554300819.938 * * [misc]simplify:  Extracting #8: cost 3 inf + 3591
1554300819.939 * * [misc]simplify:  Extracting #9: cost 0 inf + 7966
1554300819.939 * [exit]simplify:  Simplified to (/.p16 (/.p16 (/.p16 (+.p16 alpha (+.p16 (+.p16 beta (*.p16 beta alpha)) (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))
1554300819.939 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1554300819.979 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1554300819.987 * * * * [misc]points:  Setting MPFR precision to 64
1554300819.989 * * * * [misc]points:  Setting MPFR precision to 320
1554300819.990 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1554300819.998 * * * * [misc]points:  Setting MPFR precision to 64
1554300820.002 * * * * [misc]points:  Setting MPFR precision to 320
1554300820.005 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1554300820.013 * * * * [misc]points:  Setting MPFR precision to 64
1554300820.020 * * * * [misc]points:  Setting MPFR precision to 320
1554300820.027 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1554300820.034 * * * * [misc]points:  Setting MPFR precision to 64
1554300820.048 * * * * [misc]points:  Setting MPFR precision to 320
1554300820.062 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1554300820.069 * * * * [misc]points:  Setting MPFR precision to 64
1554300820.086 * * * * [misc]points:  Setting MPFR precision to 320
1554300820.121 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1554300820.125 * * * * [misc]points:  Setting MPFR precision to 64
1554300820.186 * * * * [misc]points:  Setting MPFR precision to 320
1554300820.242 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1554300820.246 * * * * [misc]points:  Setting MPFR precision to 64
1554300820.359 * * * * [misc]points:  Setting MPFR precision to 320
1554300820.474 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1554300820.483 * * * * [misc]points:  Setting MPFR precision to 64
1554300820.732 * * * * [misc]points:  Setting MPFR precision to 320
1554300821.036 * * * * [misc]points:  Computing exacts for 8000 points
1554300821.045 * * * * [misc]points:  Setting MPFR precision to 64
1554300822.415 * * * * [misc]points:  Setting MPFR precision to 320
1554300823.423 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300823.441 * * * * [misc]points:  Sampling 3467 additional inputs, on iter 1 have 4533 / 8000
1554300823.459 * * * * [misc]points:  Computing exacts on every 216 of 3467 points to ramp up precision
1554300823.468 * * * * [misc]points:  Setting MPFR precision to 64
1554300823.470 * * * * [misc]points:  Setting MPFR precision to 320
1554300823.472 * * * * [misc]points:  Computing exacts on every 108 of 3467 points to ramp up precision
1554300823.481 * * * * [misc]points:  Setting MPFR precision to 64
1554300823.501 * * * * [misc]points:  Setting MPFR precision to 320
1554300823.504 * * * * [misc]points:  Computing exacts on every 54 of 3467 points to ramp up precision
1554300823.509 * * * * [misc]points:  Setting MPFR precision to 64
1554300823.515 * * * * [misc]points:  Setting MPFR precision to 320
1554300823.523 * * * * [misc]points:  Computing exacts on every 27 of 3467 points to ramp up precision
1554300823.532 * * * * [misc]points:  Setting MPFR precision to 64
1554300823.546 * * * * [misc]points:  Setting MPFR precision to 320
1554300823.559 * * * * [misc]points:  Computing exacts on every 13 of 3467 points to ramp up precision
1554300823.563 * * * * [misc]points:  Setting MPFR precision to 64
1554300823.579 * * * * [misc]points:  Setting MPFR precision to 320
1554300823.596 * * * * [misc]points:  Computing exacts on every 6 of 3467 points to ramp up precision
1554300823.600 * * * * [misc]points:  Setting MPFR precision to 64
1554300823.691 * * * * [misc]points:  Setting MPFR precision to 320
1554300823.751 * * * * [misc]points:  Computing exacts on every 3 of 3467 points to ramp up precision
1554300823.761 * * * * [misc]points:  Setting MPFR precision to 64
1554300823.864 * * * * [misc]points:  Setting MPFR precision to 320
1554300824.001 * * * * [misc]points:  Computing exacts for 3467 points
1554300824.009 * * * * [misc]points:  Setting MPFR precision to 64
1554300824.365 * * * * [misc]points:  Setting MPFR precision to 320
1554300825.163 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300825.167 * * * * [misc]points:  Sampling 1537 additional inputs, on iter 2 have 6463 / 8000
1554300825.172 * * * * [misc]points:  Computing exacts on every 96 of 1537 points to ramp up precision
1554300825.176 * * * * [misc]points:  Setting MPFR precision to 64
1554300825.177 * * * * [misc]points:  Setting MPFR precision to 320
1554300825.178 * * * * [misc]points:  Computing exacts on every 48 of 1537 points to ramp up precision
1554300825.183 * * * * [misc]points:  Setting MPFR precision to 64
1554300825.186 * * * * [misc]points:  Setting MPFR precision to 320
1554300825.190 * * * * [misc]points:  Computing exacts on every 24 of 1537 points to ramp up precision
1554300825.199 * * * * [misc]points:  Setting MPFR precision to 64
1554300825.206 * * * * [misc]points:  Setting MPFR precision to 320
1554300825.213 * * * * [misc]points:  Computing exacts on every 12 of 1537 points to ramp up precision
1554300825.222 * * * * [misc]points:  Setting MPFR precision to 64
1554300825.236 * * * * [misc]points:  Setting MPFR precision to 320
1554300825.280 * * * * [misc]points:  Computing exacts on every 6 of 1537 points to ramp up precision
1554300825.291 * * * * [misc]points:  Setting MPFR precision to 64
1554300825.319 * * * * [misc]points:  Setting MPFR precision to 320
1554300825.345 * * * * [misc]points:  Computing exacts on every 3 of 1537 points to ramp up precision
1554300825.354 * * * * [misc]points:  Setting MPFR precision to 64
1554300825.400 * * * * [misc]points:  Setting MPFR precision to 320
1554300825.446 * * * * [misc]points:  Computing exacts for 1537 points
1554300825.454 * * * * [misc]points:  Setting MPFR precision to 64
1554300825.674 * * * * [misc]points:  Setting MPFR precision to 320
1554300825.909 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300825.913 * * * * [misc]points:  Sampling 647 additional inputs, on iter 3 have 7353 / 8000
1554300825.917 * * * * [misc]points:  Computing exacts on every 40 of 647 points to ramp up precision
1554300825.926 * * * * [misc]points:  Setting MPFR precision to 64
1554300825.928 * * * * [misc]points:  Setting MPFR precision to 320
1554300825.930 * * * * [misc]points:  Computing exacts on every 20 of 647 points to ramp up precision
1554300825.939 * * * * [misc]points:  Setting MPFR precision to 64
1554300825.942 * * * * [misc]points:  Setting MPFR precision to 320
1554300825.946 * * * * [misc]points:  Computing exacts on every 10 of 647 points to ramp up precision
1554300825.955 * * * * [misc]points:  Setting MPFR precision to 64
1554300825.962 * * * * [misc]points:  Setting MPFR precision to 320
1554300826.005 * * * * [misc]points:  Computing exacts on every 5 of 647 points to ramp up precision
1554300826.018 * * * * [misc]points:  Setting MPFR precision to 64
1554300826.031 * * * * [misc]points:  Setting MPFR precision to 320
1554300826.044 * * * * [misc]points:  Computing exacts on every 2 of 647 points to ramp up precision
1554300826.053 * * * * [misc]points:  Setting MPFR precision to 64
1554300826.078 * * * * [misc]points:  Setting MPFR precision to 320
1554300826.104 * * * * [misc]points:  Computing exacts for 647 points
1554300826.113 * * * * [misc]points:  Setting MPFR precision to 64
1554300826.191 * * * * [misc]points:  Setting MPFR precision to 320
1554300826.310 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300826.311 * * * * [misc]points:  Sampling 272 additional inputs, on iter 4 have 7728 / 8000
1554300826.312 * * * * [misc]points:  Computing exacts on every 17 of 272 points to ramp up precision
1554300826.322 * * * * [misc]points:  Setting MPFR precision to 64
1554300826.324 * * * * [misc]points:  Setting MPFR precision to 320
1554300826.325 * * * * [misc]points:  Computing exacts on every 8 of 272 points to ramp up precision
1554300826.334 * * * * [misc]points:  Setting MPFR precision to 64
1554300826.338 * * * * [misc]points:  Setting MPFR precision to 320
1554300826.341 * * * * [misc]points:  Computing exacts on every 4 of 272 points to ramp up precision
1554300826.350 * * * * [misc]points:  Setting MPFR precision to 64
1554300826.357 * * * * [misc]points:  Setting MPFR precision to 320
1554300826.363 * * * * [misc]points:  Computing exacts on every 2 of 272 points to ramp up precision
1554300826.371 * * * * [misc]points:  Setting MPFR precision to 64
1554300826.382 * * * * [misc]points:  Setting MPFR precision to 320
1554300826.392 * * * * [misc]points:  Computing exacts for 272 points
1554300826.401 * * * * [misc]points:  Setting MPFR precision to 64
1554300826.472 * * * * [misc]points:  Setting MPFR precision to 320
1554300826.505 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300826.506 * * * * [misc]points:  Sampling 124 additional inputs, on iter 5 have 7876 / 8000
1554300826.507 * * * * [misc]points:  Computing exacts on every 7 of 124 points to ramp up precision
1554300826.515 * * * * [misc]points:  Setting MPFR precision to 64
1554300826.517 * * * * [misc]points:  Setting MPFR precision to 320
1554300826.519 * * * * [misc]points:  Computing exacts on every 3 of 124 points to ramp up precision
1554300826.528 * * * * [misc]points:  Setting MPFR precision to 64
1554300826.532 * * * * [misc]points:  Setting MPFR precision to 320
1554300826.536 * * * * [misc]points:  Computing exacts for 124 points
1554300826.545 * * * * [misc]points:  Setting MPFR precision to 64
1554300826.560 * * * * [misc]points:  Setting MPFR precision to 320
1554300826.576 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300826.576 * * * * [misc]points:  Sampling 43 additional inputs, on iter 6 have 7957 / 8000
1554300826.576 * * * * [misc]points:  Computing exacts on every 2 of 43 points to ramp up precision
1554300826.586 * * * * [misc]points:  Setting MPFR precision to 64
1554300826.587 * * * * [misc]points:  Setting MPFR precision to 320
1554300826.589 * * * * [misc]points:  Computing exacts for 43 points
1554300826.598 * * * * [misc]points:  Setting MPFR precision to 64
1554300826.604 * * * * [misc]points:  Setting MPFR precision to 320
1554300826.609 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300826.610 * * * * [misc]points:  Sampling 20 additional inputs, on iter 7 have 7980 / 8000
1554300826.610 * * * * [misc]points:  Computing exacts for 20 points
1554300826.618 * * * * [misc]points:  Setting MPFR precision to 64
1554300826.653 * * * * [misc]points:  Setting MPFR precision to 320
1554300826.655 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300826.656 * * * * [misc]points:  Sampling 8 additional inputs, on iter 8 have 7992 / 8000
1554300826.656 * * * * [misc]points:  Computing exacts for 8 points
1554300826.667 * * * * [misc]points:  Setting MPFR precision to 64
1554300826.669 * * * * [misc]points:  Setting MPFR precision to 320
1554300826.670 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300826.670 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 7997 / 8000
1554300826.670 * * * * [misc]points:  Computing exacts for 4 points
1554300826.679 * * * * [misc]points:  Setting MPFR precision to 64
1554300826.680 * * * * [misc]points:  Setting MPFR precision to 320
1554300826.681 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300826.681 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 7999 / 8000
1554300826.681 * * * * [misc]points:  Computing exacts for 4 points
1554300826.689 * * * * [misc]points:  Setting MPFR precision to 64
1554300826.690 * * * * [misc]points:  Setting MPFR precision to 320
1554300826.691 * * * * [misc]points:  Filtering points with unrepresentable outputs
1554300826.691 * * * * [exit]points:  Sampled 8002 points with exact outputs
1554300831.587 * [misc]regime-testing:  Baseline error score: 64.0
1554300831.589 * [misc]regime-testing:  Oracle error score: 64.0
1554300831.593 * [misc]regime-testing:  End program error score: 0.3876649362042246