1550698983.421 * [misc]progress: [Phase 1 of 3] Setting up. 1550698983.421 * * * [misc]progress: [1/2] Preparing points 1550698983.423 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1550698983.424 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1550698983.431 * * * * [misc]points: Setting MPFR precision to 64 1550698983.434 * * * * [misc]points: Setting MPFR precision to 320 1550698983.436 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1550698983.445 * * * * [misc]points: Setting MPFR precision to 64 1550698983.449 * * * * [misc]points: Setting MPFR precision to 320 1550698983.453 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1550698983.462 * * * * [misc]points: Setting MPFR precision to 64 1550698983.468 * * * * [misc]points: Setting MPFR precision to 320 1550698983.476 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1550698983.484 * * * * [misc]points: Setting MPFR precision to 64 1550698983.494 * * * * [misc]points: Setting MPFR precision to 320 1550698983.506 * * * * [misc]points: Computing exacts for 256 points 1550698983.530 * * * * [misc]points: Setting MPFR precision to 64 1550698983.563 * * * * [misc]points: Setting MPFR precision to 320 1550698983.599 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698983.612 * * * * [misc]points: Sampling 115 additional inputs, on iter 1 have 141 / 256 1550698983.612 * * * * [misc]points: Computing exacts on every 7 of 115 points to ramp up precision 1550698983.621 * * * * [misc]points: Setting MPFR precision to 64 1550698983.623 * * * * [misc]points: Setting MPFR precision to 320 1550698983.625 * * * * [misc]points: Computing exacts on every 3 of 115 points to ramp up precision 1550698983.634 * * * * [misc]points: Setting MPFR precision to 64 1550698983.638 * * * * [misc]points: Setting MPFR precision to 320 1550698983.641 * * * * [misc]points: Computing exacts for 115 points 1550698983.649 * * * * [misc]points: Setting MPFR precision to 64 1550698983.661 * * * * [misc]points: Setting MPFR precision to 320 1550698983.669 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698983.674 * * * * [misc]points: Sampling 49 additional inputs, on iter 2 have 207 / 256 1550698983.675 * * * * [misc]points: Computing exacts on every 3 of 49 points to ramp up precision 1550698983.683 * * * * [misc]points: Setting MPFR precision to 64 1550698983.685 * * * * [misc]points: Setting MPFR precision to 320 1550698983.687 * * * * [misc]points: Computing exacts for 49 points 1550698983.696 * * * * [misc]points: Setting MPFR precision to 64 1550698983.729 * * * * [misc]points: Setting MPFR precision to 320 1550698983.736 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698983.742 * * * * [misc]points: Sampling 18 additional inputs, on iter 3 have 238 / 256 1550698983.742 * * * * [misc]points: Computing exacts for 18 points 1550698983.751 * * * * [misc]points: Setting MPFR precision to 64 1550698983.753 * * * * [misc]points: Setting MPFR precision to 320 1550698983.756 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698983.757 * * * * [misc]points: Sampling 9 additional inputs, on iter 4 have 247 / 256 1550698983.757 * * * * [misc]points: Computing exacts for 9 points 1550698983.765 * * * * [misc]points: Setting MPFR precision to 64 1550698983.767 * * * * [misc]points: Setting MPFR precision to 320 1550698983.768 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698983.769 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 254 / 256 1550698983.769 * * * * [misc]points: Computing exacts for 4 points 1550698983.778 * * * * [misc]points: Setting MPFR precision to 64 1550698983.778 * * * * [misc]points: Setting MPFR precision to 320 1550698983.779 * * * * [misc]points: Filtering points with unrepresentable outputs 1550698983.779 * * * * [exit]points: Sampled 256 points with exact outputs 1550698983.779 * * * [misc]progress: [2/2] Setting up program. 1550698983.824 * [misc]progress: [Phase 2 of 3] Improving. 1550698983.825 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate #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))))> 1550698983.825 * [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))) 1550698983.825 * * [misc]simplify: iters left: 6 (18 enodes) 1550698983.831 * * [misc]simplify: iters left: 5 (46 enodes) 1550698983.840 * * [misc]simplify: iters left: 4 (118 enodes) 1550698983.893 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698983.893 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550698983.893 * * [misc]simplify: Extracting #2: cost 62 inf + 0 1550698983.894 * * [misc]simplify: Extracting #3: cost 165 inf + 2 1550698983.894 * * [misc]simplify: Extracting #4: cost 154 inf + 3708 1550698983.895 * * [misc]simplify: Extracting #5: cost 131 inf + 9961 1550698983.896 * * [misc]simplify: Extracting #6: cost 129 inf + 10365 1550698983.900 * * [misc]simplify: Extracting #7: cost 82 inf + 46686 1550698983.907 * * [misc]simplify: Extracting #8: cost 5 inf + 102245 1550698983.922 * * [misc]simplify: Extracting #9: cost 0 inf + 105668 1550698983.937 * [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))))) 1550698983.938 * [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)))))) 1550698984.015 * * [misc]progress: iteration 1 / 4 1550698984.015 * * * [misc]progress: picking best candidate 1550698984.102 * * * * [misc]pick: Picked #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))))> 1550698984.103 * * * [misc]progress: localizing error 1550698984.813 * * * [misc]progress: generating rewritten candidates 1550698984.813 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1550698984.835 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1 1) 1550698984.839 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1) 1550698984.862 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1) 1550698984.877 * * * [misc]progress: generating series expansions 1550698984.877 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1550698984.877 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1 1) 1550698984.877 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1) 1550698984.877 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1) 1550698984.877 * * * [misc]progress: simplifying candidates 1550698984.877 * * * * [misc]progress: [ 1 / 9 ] simplifiying candidate #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))))> 1550698984.877 * * * * [misc]progress: [ 2 / 9 ] simplifiying candidate #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))))> 1550698984.877 * * * * [misc]progress: [ 3 / 9 ] simplifiying candidate #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))))> 1550698984.878 * [enter]simplify: Simplifying (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 beta alpha)) (real->posit16 1.0)) 1550698984.878 * * [misc]simplify: iters left: 3 (8 enodes) 1550698984.882 * * [misc]simplify: iters left: 2 (21 enodes) 1550698984.889 * * [misc]simplify: iters left: 1 (43 enodes) 1550698984.905 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698984.905 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550698984.905 * * [misc]simplify: Extracting #2: cost 16 inf + 2 1550698984.905 * * [misc]simplify: Extracting #3: cost 13 inf + 367 1550698984.906 * * [misc]simplify: Extracting #4: cost 0 inf + 3718 1550698984.907 * [exit]simplify: Simplified to (+.p16 (+.p16 (real->posit16 1.0) (*.p16 beta alpha)) (+.p16 beta alpha)) 1550698984.907 * [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)))) 1550698984.907 * * * * [misc]progress: [ 4 / 9 ] simplifiying candidate #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))))> 1550698984.907 * [enter]simplify: Simplifying (+.p16 alpha beta) 1550698984.908 * * [misc]simplify: iters left: 1 (3 enodes) 1550698984.909 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698984.909 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550698984.909 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550698984.909 * * [misc]simplify: Extracting #3: cost 0 inf + 44 1550698984.909 * [exit]simplify: Simplified to (+.p16 beta alpha) 1550698984.909 * [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)))) 1550698984.909 * * * * [misc]progress: [ 5 / 9 ] simplifiying candidate #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))))> 1550698984.909 * * * * [misc]progress: [ 6 / 9 ] simplifiying candidate #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))))> 1550698984.910 * [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))) 1550698984.910 * * [misc]simplify: iters left: 6 (18 enodes) 1550698984.926 * * [misc]simplify: iters left: 5 (46 enodes) 1550698984.944 * * [misc]simplify: iters left: 4 (118 enodes) 1550698985.013 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698985.013 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550698985.013 * * [misc]simplify: Extracting #2: cost 62 inf + 0 1550698985.014 * * [misc]simplify: Extracting #3: cost 165 inf + 2 1550698985.015 * * [misc]simplify: Extracting #4: cost 154 inf + 3708 1550698985.018 * * [misc]simplify: Extracting #5: cost 131 inf + 9961 1550698985.020 * * [misc]simplify: Extracting #6: cost 129 inf + 10365 1550698985.026 * * [misc]simplify: Extracting #7: cost 82 inf + 46686 1550698985.041 * * [misc]simplify: Extracting #8: cost 5 inf + 102245 1550698985.061 * * [misc]simplify: Extracting #9: cost 0 inf + 105668 1550698985.078 * [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))))) 1550698985.078 * [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)))))) 1550698985.078 * * * * [misc]progress: [ 7 / 9 ] simplifiying candidate #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))))> 1550698985.079 * [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))) 1550698985.079 * * [misc]simplify: iters left: 6 (18 enodes) 1550698985.088 * * [misc]simplify: iters left: 5 (46 enodes) 1550698985.107 * * [misc]simplify: iters left: 4 (118 enodes) 1550698985.172 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698985.172 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550698985.172 * * [misc]simplify: Extracting #2: cost 62 inf + 0 1550698985.173 * * [misc]simplify: Extracting #3: cost 165 inf + 2 1550698985.174 * * [misc]simplify: Extracting #4: cost 154 inf + 3708 1550698985.177 * * [misc]simplify: Extracting #5: cost 131 inf + 9961 1550698985.179 * * [misc]simplify: Extracting #6: cost 129 inf + 10365 1550698985.185 * * [misc]simplify: Extracting #7: cost 82 inf + 46686 1550698985.203 * * [misc]simplify: Extracting #8: cost 5 inf + 102245 1550698985.220 * * [misc]simplify: Extracting #9: cost 0 inf + 105668 1550698985.236 * [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))))) 1550698985.237 * [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)))))) 1550698985.237 * * * * [misc]progress: [ 8 / 9 ] simplifiying candidate #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))))> 1550698985.237 * [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))) 1550698985.237 * * [misc]simplify: iters left: 6 (18 enodes) 1550698985.247 * * [misc]simplify: iters left: 5 (46 enodes) 1550698985.266 * * [misc]simplify: iters left: 4 (118 enodes) 1550698985.334 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698985.334 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550698985.334 * * [misc]simplify: Extracting #2: cost 62 inf + 0 1550698985.338 * * [misc]simplify: Extracting #3: cost 165 inf + 2 1550698985.339 * * [misc]simplify: Extracting #4: cost 154 inf + 3708 1550698985.341 * * [misc]simplify: Extracting #5: cost 131 inf + 9961 1550698985.343 * * [misc]simplify: Extracting #6: cost 129 inf + 10365 1550698985.350 * * [misc]simplify: Extracting #7: cost 82 inf + 46686 1550698985.364 * * [misc]simplify: Extracting #8: cost 5 inf + 102245 1550698985.381 * * [misc]simplify: Extracting #9: cost 0 inf + 105668 1550698985.398 * [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))))) 1550698985.398 * [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)))))) 1550698985.398 * * * * [misc]progress: [ 9 / 9 ] simplifiying candidate #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))))> 1550698985.399 * [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))) 1550698985.399 * * [misc]simplify: iters left: 6 (18 enodes) 1550698985.408 * * [misc]simplify: iters left: 5 (46 enodes) 1550698985.421 * * [misc]simplify: iters left: 4 (118 enodes) 1550698985.466 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698985.467 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550698985.467 * * [misc]simplify: Extracting #2: cost 62 inf + 0 1550698985.468 * * [misc]simplify: Extracting #3: cost 165 inf + 2 1550698985.469 * * [misc]simplify: Extracting #4: cost 154 inf + 3708 1550698985.472 * * [misc]simplify: Extracting #5: cost 131 inf + 9961 1550698985.474 * * [misc]simplify: Extracting #6: cost 129 inf + 10365 1550698985.480 * * [misc]simplify: Extracting #7: cost 82 inf + 46686 1550698985.495 * * [misc]simplify: Extracting #8: cost 5 inf + 102245 1550698985.512 * * [misc]simplify: Extracting #9: cost 0 inf + 105668 1550698985.529 * [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))))) 1550698985.529 * [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)))))) 1550698985.529 * * * [misc]progress: adding candidates to table 1550698986.310 * * [misc]progress: iteration 2 / 4 1550698986.310 * * * [misc]progress: picking best candidate 1550698986.498 * * * * [misc]pick: Picked #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))))> 1550698986.498 * * * [misc]progress: localizing error 1550698986.812 * * * [misc]progress: generating rewritten candidates 1550698986.812 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1550698986.823 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1) 1550698986.836 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1 1) 1550698986.839 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 1 2) 1550698986.841 * * * [misc]progress: generating series expansions 1550698986.841 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1550698986.841 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1) 1550698986.841 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1 1) 1550698986.841 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 1 2) 1550698986.841 * * * [misc]progress: simplifying candidates 1550698986.841 * * * * [misc]progress: [ 1 / 8 ] simplifiying candidate #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))))> 1550698986.842 * [enter]simplify: Simplifying (+.p16 (+.p16 alpha (+.p16 beta (*.p16 beta alpha))) (real->posit16 1.0)) 1550698986.842 * * [misc]simplify: iters left: 4 (8 enodes) 1550698986.846 * * [misc]simplify: iters left: 3 (21 enodes) 1550698986.854 * * [misc]simplify: iters left: 2 (41 enodes) 1550698986.870 * * [misc]simplify: iters left: 1 (61 enodes) 1550698986.890 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698986.890 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1550698986.890 * * [misc]simplify: Extracting #2: cost 17 inf + 2 1550698986.891 * * [misc]simplify: Extracting #3: cost 12 inf + 1091 1550698986.891 * * [misc]simplify: Extracting #4: cost 3 inf + 3553 1550698986.892 * * [misc]simplify: Extracting #5: cost 0 inf + 4280 1550698986.894 * [exit]simplify: Simplified to (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) 1550698986.894 * [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)))) 1550698986.894 * * * * [misc]progress: [ 2 / 8 ] simplifiying candidate #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))))> 1550698986.894 * [enter]simplify: Simplifying (*.p16 beta alpha) 1550698986.894 * * [misc]simplify: iters left: 1 (3 enodes) 1550698986.896 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698986.896 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550698986.896 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550698986.896 * * [misc]simplify: Extracting #3: cost 0 inf + 324 1550698986.896 * [exit]simplify: Simplified to (*.p16 alpha beta) 1550698986.896 * [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)))) 1550698986.896 * * * * [misc]progress: [ 3 / 8 ] simplifiying candidate #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))))> 1550698986.896 * * * * [misc]progress: [ 4 / 8 ] simplifiying candidate #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))))> 1550698986.896 * * * * [misc]progress: [ 5 / 8 ] simplifiying candidate #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))))> 1550698986.896 * * * * [misc]progress: [ 6 / 8 ] simplifiying candidate #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))))> 1550698986.896 * * * * [misc]progress: [ 7 / 8 ] simplifiying candidate #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))))> 1550698986.896 * * * * [misc]progress: [ 8 / 8 ] simplifiying candidate #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))))> 1550698986.897 * * * [misc]progress: adding candidates to table 1550698987.324 * * [misc]progress: iteration 3 / 4 1550698987.325 * * * [misc]progress: picking best candidate 1550698987.491 * * * * [misc]pick: Picked #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))))> 1550698987.491 * * * [misc]progress: localizing error 1550698987.766 * * * [misc]progress: generating rewritten candidates 1550698987.767 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1) 1550698987.776 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1) 1550698987.781 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2) 1550698987.788 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1) 1550698987.794 * * * [misc]progress: generating series expansions 1550698987.794 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1) 1550698987.794 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1) 1550698987.794 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2) 1550698987.794 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1) 1550698987.794 * * * [misc]progress: simplifying candidates 1550698987.794 * * * * [misc]progress: [ 1 / 15 ] simplifiying candidate #posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> 1550698987.795 * [enter]simplify: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) 1550698987.795 * * [misc]simplify: iters left: 3 (9 enodes) 1550698987.800 * * [misc]simplify: iters left: 2 (22 enodes) 1550698987.808 * * [misc]simplify: iters left: 1 (30 enodes) 1550698987.817 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698987.817 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1550698987.817 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1550698987.817 * * [misc]simplify: Extracting #3: cost 8 inf + 44 1550698987.817 * * [misc]simplify: Extracting #4: cost 4 inf + 48 1550698987.817 * * [misc]simplify: Extracting #5: cost 1 inf + 1137 1550698987.818 * * [misc]simplify: Extracting #6: cost 0 inf + 1500 1550698987.818 * [exit]simplify: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1))) 1550698987.818 * [misc]simplify: Simplified (2 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))) 1550698987.818 * * * * [misc]progress: [ 2 / 15 ] simplifiying candidate #posit16 1.0)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> 1550698987.818 * [enter]simplify: Simplifying (+.p16 beta (real->posit16 1.0)) 1550698987.819 * * [misc]simplify: iters left: 2 (4 enodes) 1550698987.821 * * [misc]simplify: iters left: 1 (8 enodes) 1550698987.823 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698987.823 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550698987.823 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550698987.823 * * [misc]simplify: Extracting #3: cost 0 inf + 45 1550698987.823 * [exit]simplify: Simplified to (+.p16 (real->posit16 1.0) beta) 1550698987.823 * [misc]simplify: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))) 1550698987.824 * * * * [misc]progress: [ 3 / 15 ] simplifiying candidate #posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> 1550698987.824 * [enter]simplify: Simplifying (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) 1550698987.824 * * [misc]simplify: iters left: 4 (13 enodes) 1550698987.830 * * [misc]simplify: iters left: 3 (28 enodes) 1550698987.840 * * [misc]simplify: iters left: 2 (36 enodes) 1550698987.858 * * [misc]simplify: iters left: 1 (38 enodes) 1550698987.869 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698987.869 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550698987.869 * * [misc]simplify: Extracting #2: cost 10 inf + 0 1550698987.869 * * [misc]simplify: Extracting #3: cost 11 inf + 2 1550698987.870 * * [misc]simplify: Extracting #4: cost 11 inf + 45 1550698987.870 * * [misc]simplify: Extracting #5: cost 5 inf + 92 1550698987.870 * * [misc]simplify: Extracting #6: cost 1 inf + 1544 1550698987.870 * * [misc]simplify: Extracting #7: cost 0 inf + 2429 1550698987.871 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) 1550698987.871 * [misc]simplify: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))) 1550698987.871 * [enter]simplify: Simplifying (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) 1550698987.872 * * [misc]simplify: iters left: 4 (13 enodes) 1550698987.878 * * [misc]simplify: iters left: 3 (28 enodes) 1550698987.887 * * [misc]simplify: iters left: 2 (36 enodes) 1550698987.898 * * [misc]simplify: iters left: 1 (38 enodes) 1550698987.905 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698987.905 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550698987.905 * * [misc]simplify: Extracting #2: cost 10 inf + 0 1550698987.905 * * [misc]simplify: Extracting #3: cost 11 inf + 2 1550698987.905 * * [misc]simplify: Extracting #4: cost 11 inf + 45 1550698987.905 * * [misc]simplify: Extracting #5: cost 5 inf + 92 1550698987.905 * * [misc]simplify: Extracting #6: cost 1 inf + 1544 1550698987.906 * * [misc]simplify: Extracting #7: cost 0 inf + 2429 1550698987.906 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta))) 1550698987.906 * [misc]simplify: Simplified (2 1 2) to (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))) 1550698987.906 * * * * [misc]progress: [ 4 / 15 ] simplifiying candidate #posit16 1.0)) alpha) (*.p16 (+.p16 beta (real->posit16 1.0)) (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> 1550698987.906 * [enter]simplify: Simplifying (*.p16 (+.p16 beta (real->posit16 1.0)) (real->posit16 1.0)) 1550698987.906 * * [misc]simplify: iters left: 3 (5 enodes) 1550698987.908 * * [misc]simplify: iters left: 2 (10 enodes) 1550698987.909 * * [misc]simplify: iters left: 1 (21 enodes) 1550698987.918 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698987.918 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550698987.918 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550698987.918 * * [misc]simplify: Extracting #3: cost 0 inf + 45 1550698987.918 * [exit]simplify: Simplified to (+.p16 (real->posit16 1.0) beta) 1550698987.918 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) alpha) (+.p16 (real->posit16 1.0) beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))) 1550698987.918 * * * * [misc]progress: [ 5 / 15 ] simplifiying candidate #posit16 1.0))) (*.p16 (real->posit16 1.0) (+.p16 beta (real->posit16 1.0)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> 1550698987.918 * [enter]simplify: Simplifying (*.p16 (real->posit16 1.0) (+.p16 beta (real->posit16 1.0))) 1550698987.918 * * [misc]simplify: iters left: 3 (5 enodes) 1550698987.920 * * [misc]simplify: iters left: 2 (15 enodes) 1550698987.923 * * [misc]simplify: iters left: 1 (29 enodes) 1550698987.927 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698987.927 * * [misc]simplify: Extracting #1: cost 13 inf + 0 1550698987.927 * * [misc]simplify: Extracting #2: cost 15 inf + 1 1550698987.927 * * [misc]simplify: Extracting #3: cost 14 inf + 2 1550698987.927 * * [misc]simplify: Extracting #4: cost 0 inf + 3946 1550698987.928 * [exit]simplify: Simplified to (+.p16 (real->posit16 1.0) beta) 1550698987.928 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta (real->posit16 1.0))) (+.p16 (real->posit16 1.0) beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))) 1550698987.928 * * * * [misc]progress: [ 6 / 15 ] simplifiying candidate #posit16 1.0)) (+.p16 beta (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> 1550698987.928 * * * * [misc]progress: [ 7 / 15 ] simplifiying candidate #posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> 1550698987.928 * [enter]simplify: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))) 1550698987.928 * * [misc]simplify: iters left: 4 (10 enodes) 1550698987.930 * * [misc]simplify: iters left: 3 (26 enodes) 1550698987.935 * * [misc]simplify: iters left: 2 (53 enodes) 1550698987.956 * * [misc]simplify: iters left: 1 (150 enodes) 1550698988.038 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698988.038 * * [misc]simplify: Extracting #1: cost 24 inf + 0 1550698988.038 * * [misc]simplify: Extracting #2: cost 52 inf + 0 1550698988.039 * * [misc]simplify: Extracting #3: cost 46 inf + 970 1550698988.041 * * [misc]simplify: Extracting #4: cost 14 inf + 16705 1550698988.046 * * [misc]simplify: Extracting #5: cost 0 inf + 25635 1550698988.051 * [exit]simplify: Simplified to (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (*.p16 (real->posit16 2) (real->posit16 1))) 1550698988.051 * [misc]simplify: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))) 1550698988.051 * * * * [misc]progress: [ 8 / 15 ] simplifiying candidate #posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> 1550698988.051 * [enter]simplify: Simplifying (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) 1550698988.051 * * [misc]simplify: iters left: 4 (10 enodes) 1550698988.057 * * [misc]simplify: iters left: 3 (31 enodes) 1550698988.070 * * [misc]simplify: iters left: 2 (85 enodes) 1550698988.114 * * [misc]simplify: iters left: 1 (201 enodes) 1550698988.199 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698988.199 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1550698988.199 * * [misc]simplify: Extracting #2: cost 61 inf + 0 1550698988.200 * * [misc]simplify: Extracting #3: cost 50 inf + 1655 1550698988.203 * * [misc]simplify: Extracting #4: cost 9 inf + 29980 1550698988.209 * * [misc]simplify: Extracting #5: cost 0 inf + 35454 1550698988.214 * [exit]simplify: Simplified to (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha)) 1550698988.214 * [misc]simplify: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha)))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0)))) 1550698988.215 * * * * [misc]progress: [ 9 / 15 ] simplifiying candidate #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))))> 1550698988.215 * * * * [misc]progress: [ 10 / 15 ] simplifiying candidate #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550698988.215 * * * * [misc]progress: [ 11 / 15 ] simplifiying candidate #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 (real->posit16 2) (real->posit16 1)) (+.p16 alpha beta)) (real->posit16 1.0))))> 1550698988.215 * * * * [misc]progress: [ 12 / 15 ] simplifiying candidate #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))))> 1550698988.215 * [enter]simplify: Simplifying (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) 1550698988.216 * * [misc]simplify: iters left: 6 (18 enodes) 1550698988.225 * * [misc]simplify: iters left: 5 (59 enodes) 1550698988.240 * * [misc]simplify: iters left: 4 (196 enodes) 1550698988.434 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698988.435 * * [misc]simplify: Extracting #1: cost 38 inf + 0 1550698988.435 * * [misc]simplify: Extracting #2: cost 190 inf + 0 1550698988.438 * * [misc]simplify: Extracting #3: cost 327 inf + 2221 1550698988.441 * * [misc]simplify: Extracting #4: cost 321 inf + 8062 1550698988.444 * * [misc]simplify: Extracting #5: cost 317 inf + 8387 1550698988.450 * * [misc]simplify: Extracting #6: cost 273 inf + 41676 1550698988.477 * * [misc]simplify: Extracting #7: cost 59 inf + 265243 1550698988.520 * * [misc]simplify: Extracting #8: cost 1 inf + 321409 1550698988.563 * * [misc]simplify: Extracting #9: cost 0 inf + 322974 1550698988.605 * [exit]simplify: Simplified to (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))))) 1550698988.605 * [misc]simplify: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))))))) 1550698988.605 * * * * [misc]progress: [ 13 / 15 ] simplifiying candidate #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))))> 1550698988.606 * [enter]simplify: Simplifying (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) 1550698988.606 * * [misc]simplify: iters left: 6 (18 enodes) 1550698988.615 * * [misc]simplify: iters left: 5 (59 enodes) 1550698988.642 * * [misc]simplify: iters left: 4 (196 enodes) 1550698988.853 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698988.853 * * [misc]simplify: Extracting #1: cost 38 inf + 0 1550698988.854 * * [misc]simplify: Extracting #2: cost 190 inf + 0 1550698988.856 * * [misc]simplify: Extracting #3: cost 327 inf + 2221 1550698988.860 * * [misc]simplify: Extracting #4: cost 321 inf + 8062 1550698988.863 * * [misc]simplify: Extracting #5: cost 317 inf + 8387 1550698988.870 * * [misc]simplify: Extracting #6: cost 273 inf + 41676 1550698988.901 * * [misc]simplify: Extracting #7: cost 59 inf + 265243 1550698988.941 * * [misc]simplify: Extracting #8: cost 1 inf + 321409 1550698988.982 * * [misc]simplify: Extracting #9: cost 0 inf + 322974 1550698989.024 * [exit]simplify: Simplified to (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))))) 1550698989.024 * [misc]simplify: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))))))) 1550698989.024 * * * * [misc]progress: [ 14 / 15 ] simplifiying candidate #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))))> 1550698989.024 * [enter]simplify: Simplifying (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) 1550698989.024 * * [misc]simplify: iters left: 6 (18 enodes) 1550698989.033 * * [misc]simplify: iters left: 5 (59 enodes) 1550698989.059 * * [misc]simplify: iters left: 4 (196 enodes) 1550698989.261 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698989.261 * * [misc]simplify: Extracting #1: cost 38 inf + 0 1550698989.261 * * [misc]simplify: Extracting #2: cost 190 inf + 0 1550698989.263 * * [misc]simplify: Extracting #3: cost 327 inf + 2221 1550698989.265 * * [misc]simplify: Extracting #4: cost 321 inf + 8062 1550698989.269 * * [misc]simplify: Extracting #5: cost 317 inf + 8387 1550698989.272 * * [misc]simplify: Extracting #6: cost 273 inf + 41676 1550698989.286 * * [misc]simplify: Extracting #7: cost 59 inf + 265243 1550698989.306 * * [misc]simplify: Extracting #8: cost 1 inf + 321409 1550698989.327 * * [misc]simplify: Extracting #9: cost 0 inf + 322974 1550698989.352 * [exit]simplify: Simplified to (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))))) 1550698989.352 * [misc]simplify: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))))))) 1550698989.352 * * * * [misc]progress: [ 15 / 15 ] simplifiying candidate #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))))> 1550698989.353 * [enter]simplify: Simplifying (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))) 1550698989.353 * * [misc]simplify: iters left: 6 (18 enodes) 1550698989.362 * * [misc]simplify: iters left: 5 (59 enodes) 1550698989.389 * * [misc]simplify: iters left: 4 (196 enodes) 1550698989.608 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698989.608 * * [misc]simplify: Extracting #1: cost 38 inf + 0 1550698989.609 * * [misc]simplify: Extracting #2: cost 190 inf + 0 1550698989.611 * * [misc]simplify: Extracting #3: cost 327 inf + 2221 1550698989.615 * * [misc]simplify: Extracting #4: cost 321 inf + 8062 1550698989.618 * * [misc]simplify: Extracting #5: cost 317 inf + 8387 1550698989.625 * * [misc]simplify: Extracting #6: cost 273 inf + 41676 1550698989.653 * * [misc]simplify: Extracting #7: cost 59 inf + 265243 1550698989.693 * * [misc]simplify: Extracting #8: cost 1 inf + 321409 1550698989.720 * * [misc]simplify: Extracting #9: cost 0 inf + 322974 1550698989.744 * [exit]simplify: Simplified to (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))))) 1550698989.744 * [misc]simplify: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (+.p16 alpha (real->posit16 1.0)) beta) (+.p16 alpha (real->posit16 1.0))) (*.p16 (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2)))) (+.p16 (real->posit16 1.0) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 1) (real->posit16 2))))))) 1550698989.745 * * * [misc]progress: adding candidates to table 1550698991.216 * * [misc]progress: iteration 4 / 4 1550698991.216 * * * [misc]progress: picking best candidate 1550698991.437 * * * * [misc]pick: Picked #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550698991.437 * * * [misc]progress: localizing error 1550698991.630 * * * [misc]progress: generating rewritten candidates 1550698991.630 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1) 1550698991.637 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1) 1550698991.642 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2) 1550698991.648 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1) 1550698991.652 * * * [misc]progress: generating series expansions 1550698991.652 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1) 1550698991.652 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1) 1550698991.652 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2) 1550698991.652 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1) 1550698991.652 * * * [misc]progress: simplifying candidates 1550698991.652 * * * * [misc]progress: [ 1 / 15 ] simplifiying candidate #posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550698991.652 * [enter]simplify: Simplifying (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) 1550698991.652 * * [misc]simplify: iters left: 3 (9 enodes) 1550698991.657 * * [misc]simplify: iters left: 2 (22 enodes) 1550698991.672 * * [misc]simplify: iters left: 1 (30 enodes) 1550698991.681 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698991.681 * * [misc]simplify: Extracting #1: cost 7 inf + 0 1550698991.681 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1550698991.681 * * [misc]simplify: Extracting #3: cost 8 inf + 44 1550698991.681 * * [misc]simplify: Extracting #4: cost 4 inf + 48 1550698991.681 * * [misc]simplify: Extracting #5: cost 1 inf + 1137 1550698991.682 * * [misc]simplify: Extracting #6: cost 0 inf + 1500 1550698991.682 * [exit]simplify: Simplified to (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1))) 1550698991.682 * [misc]simplify: Simplified (2 1 2) to (λ (alpha beta) (/.p16 (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0)))) 1550698991.682 * * * * [misc]progress: [ 2 / 15 ] simplifiying candidate #posit16 1.0)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550698991.683 * [enter]simplify: Simplifying (+.p16 beta (real->posit16 1.0)) 1550698991.683 * * [misc]simplify: iters left: 2 (4 enodes) 1550698991.685 * * [misc]simplify: iters left: 1 (8 enodes) 1550698991.688 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698991.688 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550698991.688 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550698991.688 * * [misc]simplify: Extracting #3: cost 0 inf + 45 1550698991.689 * [exit]simplify: Simplified to (+.p16 (real->posit16 1.0) beta) 1550698991.689 * [misc]simplify: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0)))) 1550698991.689 * * * * [misc]progress: [ 3 / 15 ] simplifiying candidate #posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550698991.689 * [enter]simplify: Simplifying (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) 1550698991.689 * * [misc]simplify: iters left: 4 (13 enodes) 1550698991.695 * * [misc]simplify: iters left: 3 (28 enodes) 1550698991.705 * * [misc]simplify: iters left: 2 (36 enodes) 1550698991.716 * * [misc]simplify: iters left: 1 (38 enodes) 1550698991.727 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698991.727 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550698991.727 * * [misc]simplify: Extracting #2: cost 10 inf + 0 1550698991.727 * * [misc]simplify: Extracting #3: cost 11 inf + 2 1550698991.727 * * [misc]simplify: Extracting #4: cost 11 inf + 45 1550698991.727 * * [misc]simplify: Extracting #5: cost 5 inf + 92 1550698991.727 * * [misc]simplify: Extracting #6: cost 1 inf + 1544 1550698991.728 * * [misc]simplify: Extracting #7: cost 0 inf + 2429 1550698991.728 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) 1550698991.728 * [misc]simplify: Simplified (2 1 1) to (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 (real->posit16 1.0) beta) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 beta alpha))) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0)))) 1550698991.729 * [enter]simplify: Simplifying (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) 1550698991.729 * * [misc]simplify: iters left: 4 (13 enodes) 1550698991.735 * * [misc]simplify: iters left: 3 (28 enodes) 1550698991.744 * * [misc]simplify: iters left: 2 (36 enodes) 1550698991.754 * * [misc]simplify: iters left: 1 (38 enodes) 1550698991.765 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698991.765 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550698991.765 * * [misc]simplify: Extracting #2: cost 10 inf + 0 1550698991.765 * * [misc]simplify: Extracting #3: cost 11 inf + 2 1550698991.765 * * [misc]simplify: Extracting #4: cost 11 inf + 45 1550698991.765 * * [misc]simplify: Extracting #5: cost 5 inf + 92 1550698991.765 * * [misc]simplify: Extracting #6: cost 1 inf + 1544 1550698991.766 * * [misc]simplify: Extracting #7: cost 0 inf + 2429 1550698991.766 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta))) 1550698991.766 * [misc]simplify: Simplified (2 1 2) to (λ (alpha beta) (/.p16 (*.p16 (/.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 (real->posit16 1.0) alpha) (+.p16 (*.p16 (real->posit16 1) (real->posit16 2)) (+.p16 alpha beta)))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0)))) 1550698991.766 * * * * [misc]progress: [ 4 / 15 ] simplifiying candidate #posit16 1.0)) alpha) (*.p16 (+.p16 beta (real->posit16 1.0)) (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550698991.767 * [enter]simplify: Simplifying (*.p16 (+.p16 beta (real->posit16 1.0)) (real->posit16 1.0)) 1550698991.767 * * [misc]simplify: iters left: 3 (5 enodes) 1550698991.769 * * [misc]simplify: iters left: 2 (10 enodes) 1550698991.773 * * [misc]simplify: iters left: 1 (21 enodes) 1550698991.790 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698991.791 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550698991.791 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1550698991.791 * * [misc]simplify: Extracting #3: cost 0 inf + 45 1550698991.791 * [exit]simplify: Simplified to (+.p16 (real->posit16 1.0) beta) 1550698991.791 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) alpha) (+.p16 (real->posit16 1.0) beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0)))) 1550698991.791 * * * * [misc]progress: [ 5 / 15 ] simplifiying candidate #posit16 1.0))) (*.p16 (real->posit16 1.0) (+.p16 beta (real->posit16 1.0)))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550698991.791 * [enter]simplify: Simplifying (*.p16 (real->posit16 1.0) (+.p16 beta (real->posit16 1.0))) 1550698991.791 * * [misc]simplify: iters left: 3 (5 enodes) 1550698991.794 * * [misc]simplify: iters left: 2 (15 enodes) 1550698991.801 * * [misc]simplify: iters left: 1 (29 enodes) 1550698991.809 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698991.809 * * [misc]simplify: Extracting #1: cost 13 inf + 0 1550698991.810 * * [misc]simplify: Extracting #2: cost 15 inf + 1 1550698991.810 * * [misc]simplify: Extracting #3: cost 14 inf + 2 1550698991.810 * * [misc]simplify: Extracting #4: cost 0 inf + 3946 1550698991.811 * [exit]simplify: Simplified to (+.p16 (real->posit16 1.0) beta) 1550698991.811 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (/.p16 (+.p16 (*.p16 alpha (+.p16 beta (real->posit16 1.0))) (+.p16 (real->posit16 1.0) beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0)))) 1550698991.811 * * * * [misc]progress: [ 6 / 15 ] simplifiying candidate #posit16 1.0)) (+.p16 beta (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550698991.811 * * * * [misc]progress: [ 7 / 15 ] simplifiying candidate #posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550698991.811 * [enter]simplify: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))) 1550698991.812 * * [misc]simplify: iters left: 4 (10 enodes) 1550698991.819 * * [misc]simplify: iters left: 3 (26 enodes) 1550698991.830 * * [misc]simplify: iters left: 2 (53 enodes) 1550698991.852 * * [misc]simplify: iters left: 1 (150 enodes) 1550698991.934 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698991.934 * * [misc]simplify: Extracting #1: cost 24 inf + 0 1550698991.935 * * [misc]simplify: Extracting #2: cost 52 inf + 0 1550698991.935 * * [misc]simplify: Extracting #3: cost 46 inf + 970 1550698991.938 * * [misc]simplify: Extracting #4: cost 14 inf + 16705 1550698991.942 * * [misc]simplify: Extracting #5: cost 0 inf + 25635 1550698991.946 * [exit]simplify: Simplified to (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (*.p16 (real->posit16 2) (real->posit16 1))) 1550698991.946 * [misc]simplify: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta)) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0)))) 1550698991.947 * * * * [misc]progress: [ 8 / 15 ] simplifiying candidate #posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550698991.947 * [enter]simplify: Simplifying (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) 1550698991.947 * * [misc]simplify: iters left: 4 (10 enodes) 1550698991.952 * * [misc]simplify: iters left: 3 (31 enodes) 1550698991.965 * * [misc]simplify: iters left: 2 (85 enodes) 1550698992.007 * * [misc]simplify: iters left: 1 (201 enodes) 1550698992.111 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698992.111 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1550698992.112 * * [misc]simplify: Extracting #2: cost 61 inf + 0 1550698992.112 * * [misc]simplify: Extracting #3: cost 50 inf + 1655 1550698992.116 * * [misc]simplify: Extracting #4: cost 9 inf + 29980 1550698992.121 * * [misc]simplify: Extracting #5: cost 0 inf + 35454 1550698992.127 * [exit]simplify: Simplified to (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha)) 1550698992.127 * [misc]simplify: Simplified (2 1 2 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 1)) (+.p16 (+.p16 (*.p16 (real->posit16 2) (real->posit16 1)) beta) alpha)))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0)))) 1550698992.127 * * * * [misc]progress: [ 9 / 15 ] simplifiying candidate #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550698992.128 * * * * [misc]progress: [ 10 / 15 ] simplifiying candidate #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))))> 1550698992.128 * [enter]simplify: Simplifying (*.p16 (real->posit16 2) (real->posit16 1)) 1550698992.128 * * [misc]simplify: iters left: 2 (5 enodes) 1550698992.131 * * [misc]simplify: iters left: 1 (10 enodes) 1550698992.135 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550698992.135 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550698992.135 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550698992.135 * * [misc]simplify: Extracting #3: cost 2 inf + 3 1550698992.135 * * [misc]simplify: Extracting #4: cost 0 inf + 326 1550698992.135 * [exit]simplify: Simplified to (*.p16 (real->posit16 2) (real->posit16 1)) 1550698992.135 * [misc]simplify: Simplified (2 2 1 2) to (λ (alpha beta) (/.p16 (/.p16 (*.p16 (+.p16 beta (real->posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (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)))) 1550698992.135 * * * * [misc]progress: [ 11 / 15 ] simplifiying candidate #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 beta (*.p16 (real->posit16 2) (real->posit16 1))) alpha) (real->posit16 1.0))))> 1550698992.135 * * * * [misc]progress: [ 12 / 15 ] simplifiying candidate #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550698992.136 * * * * [misc]progress: [ 13 / 15 ] simplifiying candidate #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550698992.136 * * * * [misc]progress: [ 14 / 15 ] simplifiying candidate #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550698992.136 * * * * [misc]progress: [ 15 / 15 ] simplifiying candidate #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 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> 1550698992.136 * * * [misc]progress: adding candidates to table 1550698993.225 * [misc]progress: [Phase 3 of 3] Extracting. 1550698993.225 * * [misc]regime: Finding splitpoints for: (#posit16 1.0)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> #posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> #posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #posit16 1.0)) alpha) (+.p16 (real->posit16 1.0) beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> #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))))> #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))))> #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))))))>) 1550698993.241 * * * [misc]regime-changes: Trying 2 branch expressions: (beta alpha) 1550698993.241 * * * * [misc]regimes: Trying to branch on beta from (#posit16 1.0)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> #posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> #posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #posit16 1.0)) alpha) (+.p16 (real->posit16 1.0) beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> #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))))> #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))))> #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))))))>) 1550698993.846 * * * * [misc]regimes: Trying to branch on alpha from (#posit16 1.0)) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (+.p16 alpha (real->posit16 1.0)))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> #posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1)))) (/.p16 (+.p16 alpha (real->posit16 1.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> #posit16 1.0)) (+.p16 alpha (real->posit16 1.0))) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (real->posit16 1.0))))> #posit16 1.0)) alpha) (+.p16 (real->posit16 1.0) beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) (real->posit16 1))))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) (real->posit16 1)))) (real->posit16 1.0))))> #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))))> #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))))> #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))))))>) 1550698994.458 * * * [misc]regime: Found split indices: #