1553863071.364 * [progress]: [Phase 1 of 3] Setting up. 1553863071.364 * * * [progress]: [1/2] Preparing points 1553863071.365 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1553863071.367 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1553863071.371 * * * * [points]: Setting MPFR precision to 64 1553863071.373 * * * * [points]: Setting MPFR precision to 320 1553863071.376 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1553863071.382 * * * * [points]: Setting MPFR precision to 64 1553863071.385 * * * * [points]: Setting MPFR precision to 320 1553863071.389 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1553863071.394 * * * * [points]: Setting MPFR precision to 64 1553863071.400 * * * * [points]: Setting MPFR precision to 320 1553863071.406 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1553863071.412 * * * * [points]: Setting MPFR precision to 64 1553863071.422 * * * * [points]: Setting MPFR precision to 320 1553863071.433 * * * * [points]: Computing exacts for 256 points 1553863071.438 * * * * [points]: Setting MPFR precision to 64 1553863071.466 * * * * [points]: Setting MPFR precision to 320 1553863071.518 * * * * [points]: Filtering points with unrepresentable outputs 1553863071.533 * * * * [points]: Sampling 113 additional inputs, on iter 1 have 143 / 256 1553863071.533 * * * * [points]: Computing exacts on every 7 of 113 points to ramp up precision 1553863071.539 * * * * [points]: Setting MPFR precision to 64 1553863071.540 * * * * [points]: Setting MPFR precision to 320 1553863071.542 * * * * [points]: Computing exacts on every 3 of 113 points to ramp up precision 1553863071.548 * * * * [points]: Setting MPFR precision to 64 1553863071.551 * * * * [points]: Setting MPFR precision to 320 1553863071.555 * * * * [points]: Computing exacts for 113 points 1553863071.560 * * * * [points]: Setting MPFR precision to 64 1553863071.572 * * * * [points]: Setting MPFR precision to 320 1553863071.587 * * * * [points]: Filtering points with unrepresentable outputs 1553863071.594 * * * * [points]: Sampling 45 additional inputs, on iter 2 have 211 / 256 1553863071.595 * * * * [points]: Computing exacts on every 2 of 45 points to ramp up precision 1553863071.600 * * * * [points]: Setting MPFR precision to 64 1553863071.602 * * * * [points]: Setting MPFR precision to 320 1553863071.604 * * * * [points]: Computing exacts for 45 points 1553863071.609 * * * * [points]: Setting MPFR precision to 64 1553863071.614 * * * * [points]: Setting MPFR precision to 320 1553863071.620 * * * * [points]: Filtering points with unrepresentable outputs 1553863071.622 * * * * [points]: Sampling 19 additional inputs, on iter 3 have 237 / 256 1553863071.622 * * * * [points]: Computing exacts for 19 points 1553863071.628 * * * * [points]: Setting MPFR precision to 64 1553863071.630 * * * * [points]: Setting MPFR precision to 320 1553863071.633 * * * * [points]: Filtering points with unrepresentable outputs 1553863071.634 * * * * [points]: Sampling 10 additional inputs, on iter 4 have 246 / 256 1553863071.634 * * * * [points]: Computing exacts for 10 points 1553863071.640 * * * * [points]: Setting MPFR precision to 64 1553863071.641 * * * * [points]: Setting MPFR precision to 320 1553863071.643 * * * * [points]: Filtering points with unrepresentable outputs 1553863071.643 * * * * [points]: Sampling 5 additional inputs, on iter 5 have 251 / 256 1553863071.643 * * * * [points]: Computing exacts for 5 points 1553863071.648 * * * * [points]: Setting MPFR precision to 64 1553863071.649 * * * * [points]: Setting MPFR precision to 320 1553863071.650 * * * * [points]: Filtering points with unrepresentable outputs 1553863071.650 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 253 / 256 1553863071.650 * * * * [points]: Computing exacts for 4 points 1553863071.655 * * * * [points]: Setting MPFR precision to 64 1553863071.656 * * * * [points]: Setting MPFR precision to 320 1553863071.657 * * * * [points]: Filtering points with unrepresentable outputs 1553863071.657 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256 1553863071.657 * * * * [points]: Computing exacts for 4 points 1553863071.662 * * * * [points]: Setting MPFR precision to 64 1553863071.663 * * * * [points]: Setting MPFR precision to 320 1553863071.663 * * * * [points]: Filtering points with unrepresentable outputs 1553863071.663 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256 1553863071.663 * * * * [points]: Computing exacts for 4 points 1553863071.669 * * * * [points]: Setting MPFR precision to 64 1553863071.669 * * * * [points]: Setting MPFR precision to 320 1553863071.670 * * * * [points]: Filtering points with unrepresentable outputs 1553863071.670 * * * * [points]: Sampled 257 points with exact outputs 1553863071.670 * * * [progress]: [2/2] Setting up program. 1553863071.735 * [progress]: [Phase 2 of 3] Improving. 1553863071.735 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863071.735 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 1553863071.736 * * [simplify]: iters left: 5 (12 enodes) 1553863071.742 * * [simplify]: iters left: 4 (29 enodes) 1553863071.752 * * [simplify]: iters left: 3 (46 enodes) 1553863071.770 * * [simplify]: iters left: 2 (97 enodes) 1553863071.816 * * [simplify]: iters left: 1 (335 enodes) 1553863072.140 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863072.141 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863072.141 * * [simplify]: Extracting #2: cost 6 inf + 0 1553863072.141 * * [simplify]: Extracting #3: cost 84 inf + 2 1553863072.143 * * [simplify]: Extracting #4: cost 417 inf + 3 1553863072.152 * * [simplify]: Extracting #5: cost 404 inf + 78485 1553863072.185 * * [simplify]: Extracting #6: cost 124 inf + 437558 1553863072.241 * * [simplify]: Extracting #7: cost 5 inf + 645994 1553863072.296 * * [simplify]: Extracting #8: cost 0 inf + 656284 1553863072.353 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)) 1553863072.353 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))) 1553863072.395 * * [progress]: iteration 1 / 4 1553863072.395 * * * [progress]: picking best candidate 1553863072.444 * * * * [pick]: Picked #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863072.444 * * * [progress]: localizing error 1553863072.717 * * * [progress]: generating rewritten candidates 1553863072.717 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1553863072.724 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1553863072.731 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1553863072.746 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1553863072.757 * * * [progress]: generating series expansions 1553863072.757 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1553863072.757 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1553863072.757 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1553863072.757 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1553863072.758 * * * [progress]: simplifying candidates 1553863072.758 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863072.758 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) 1553863072.758 * * [simplify]: iters left: 2 (5 enodes) 1553863072.759 * * [simplify]: iters left: 1 (19 enodes) 1553863072.762 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863072.763 * * [simplify]: Extracting #1: cost 8 inf + 0 1553863072.763 * * [simplify]: Extracting #2: cost 16 inf + 0 1553863072.763 * * [simplify]: Extracting #3: cost 16 inf + 1766 1553863072.763 * * [simplify]: Extracting #4: cost 6 inf + 6819 1553863072.763 * * [simplify]: Extracting #5: cost 1 inf + 12227 1553863072.764 * * [simplify]: Extracting #6: cost 0 inf + 13549 1553863072.764 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) 1553863072.764 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863072.764 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))> 1553863072.764 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863072.764 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863072.764 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #posit16 2.0) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863072.764 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863072.764 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 1553863072.764 * * [simplify]: iters left: 5 (12 enodes) 1553863072.768 * * [simplify]: iters left: 4 (29 enodes) 1553863072.777 * * [simplify]: iters left: 3 (46 enodes) 1553863072.793 * * [simplify]: iters left: 2 (97 enodes) 1553863072.838 * * [simplify]: iters left: 1 (335 enodes) 1553863073.051 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863073.051 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863073.051 * * [simplify]: Extracting #2: cost 6 inf + 0 1553863073.051 * * [simplify]: Extracting #3: cost 84 inf + 2 1553863073.052 * * [simplify]: Extracting #4: cost 417 inf + 3 1553863073.056 * * [simplify]: Extracting #5: cost 404 inf + 78485 1553863073.072 * * [simplify]: Extracting #6: cost 124 inf + 437558 1553863073.102 * * [simplify]: Extracting #7: cost 5 inf + 645994 1553863073.130 * * [simplify]: Extracting #8: cost 0 inf + 656284 1553863073.158 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)) 1553863073.158 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))) 1553863073.158 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863073.158 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 1553863073.158 * * [simplify]: iters left: 5 (12 enodes) 1553863073.162 * * [simplify]: iters left: 4 (29 enodes) 1553863073.167 * * [simplify]: iters left: 3 (46 enodes) 1553863073.177 * * [simplify]: iters left: 2 (97 enodes) 1553863073.206 * * [simplify]: iters left: 1 (335 enodes) 1553863073.476 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863073.476 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863073.476 * * [simplify]: Extracting #2: cost 6 inf + 0 1553863073.477 * * [simplify]: Extracting #3: cost 84 inf + 2 1553863073.478 * * [simplify]: Extracting #4: cost 417 inf + 3 1553863073.482 * * [simplify]: Extracting #5: cost 404 inf + 78485 1553863073.499 * * [simplify]: Extracting #6: cost 124 inf + 437558 1553863073.526 * * [simplify]: Extracting #7: cost 5 inf + 645994 1553863073.562 * * [simplify]: Extracting #8: cost 0 inf + 656284 1553863073.590 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)) 1553863073.590 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))) 1553863073.590 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863073.590 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 1553863073.590 * * [simplify]: iters left: 5 (12 enodes) 1553863073.594 * * [simplify]: iters left: 4 (29 enodes) 1553863073.601 * * [simplify]: iters left: 3 (46 enodes) 1553863073.617 * * [simplify]: iters left: 2 (97 enodes) 1553863073.665 * * [simplify]: iters left: 1 (335 enodes) 1553863073.972 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863073.972 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863073.972 * * [simplify]: Extracting #2: cost 6 inf + 0 1553863073.973 * * [simplify]: Extracting #3: cost 84 inf + 2 1553863073.975 * * [simplify]: Extracting #4: cost 417 inf + 3 1553863073.983 * * [simplify]: Extracting #5: cost 404 inf + 78485 1553863074.020 * * [simplify]: Extracting #6: cost 124 inf + 437558 1553863074.073 * * [simplify]: Extracting #7: cost 5 inf + 645994 1553863074.113 * * [simplify]: Extracting #8: cost 0 inf + 656284 1553863074.142 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)) 1553863074.142 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))) 1553863074.142 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863074.142 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 1553863074.142 * * [simplify]: iters left: 5 (12 enodes) 1553863074.146 * * [simplify]: iters left: 4 (29 enodes) 1553863074.151 * * [simplify]: iters left: 3 (46 enodes) 1553863074.160 * * [simplify]: iters left: 2 (97 enodes) 1553863074.183 * * [simplify]: iters left: 1 (335 enodes) 1553863074.387 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863074.387 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863074.387 * * [simplify]: Extracting #2: cost 6 inf + 0 1553863074.387 * * [simplify]: Extracting #3: cost 84 inf + 2 1553863074.389 * * [simplify]: Extracting #4: cost 417 inf + 3 1553863074.397 * * [simplify]: Extracting #5: cost 404 inf + 78485 1553863074.430 * * [simplify]: Extracting #6: cost 124 inf + 437558 1553863074.475 * * [simplify]: Extracting #7: cost 5 inf + 645994 1553863074.502 * * [simplify]: Extracting #8: cost 0 inf + 656284 1553863074.555 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)) 1553863074.555 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))) 1553863074.555 * * * [progress]: adding candidates to table 1553863075.022 * * [progress]: iteration 2 / 4 1553863075.022 * * * [progress]: picking best candidate 1553863075.139 * * * * [pick]: Picked #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863075.139 * * * [progress]: localizing error 1553863075.387 * * * [progress]: generating rewritten candidates 1553863075.387 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1553863075.392 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1553863075.398 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1553863075.403 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1553863075.419 * * * [progress]: generating series expansions 1553863075.419 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1553863075.419 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1553863075.419 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1553863075.419 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1553863075.419 * * * [progress]: simplifying candidates 1553863075.419 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863075.419 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) 1553863075.419 * * [simplify]: iters left: 2 (5 enodes) 1553863075.421 * * [simplify]: iters left: 1 (19 enodes) 1553863075.424 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863075.424 * * [simplify]: Extracting #1: cost 8 inf + 0 1553863075.424 * * [simplify]: Extracting #2: cost 16 inf + 0 1553863075.424 * * [simplify]: Extracting #3: cost 16 inf + 1766 1553863075.425 * * [simplify]: Extracting #4: cost 6 inf + 6819 1553863075.425 * * [simplify]: Extracting #5: cost 1 inf + 12227 1553863075.425 * * [simplify]: Extracting #6: cost 0 inf + 13549 1553863075.426 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) 1553863075.426 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863075.426 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))) (real->posit16 2.0)))> 1553863075.426 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863075.426 * [simplify]: Simplifying (real->posit16 2.0) 1553863075.426 * * [simplify]: iters left: 1 (2 enodes) 1553863075.427 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863075.428 * * [simplify]: Extracting #1: cost 2 inf + 0 1553863075.428 * * [simplify]: Extracting #2: cost 1 inf + 1 1553863075.428 * * [simplify]: Extracting #3: cost 0 inf + 2 1553863075.428 * [simplify]: Simplified to (real->posit16 2.0) 1553863075.428 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863075.428 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #posit16 2.0)) beta)) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863075.428 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #posit16 2.0)) alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863075.428 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863075.428 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863075.428 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863075.428 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863075.428 * * * [progress]: adding candidates to table 1553863075.878 * * [progress]: iteration 3 / 4 1553863075.878 * * * [progress]: picking best candidate 1553863075.926 * * * * [pick]: Picked #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863075.926 * * * [progress]: localizing error 1553863076.171 * * * [progress]: generating rewritten candidates 1553863076.171 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1553863076.176 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1553863076.183 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1553863076.187 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1553863076.204 * * * [progress]: generating series expansions 1553863076.205 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1553863076.205 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1553863076.205 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1553863076.205 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1553863076.205 * * * [progress]: simplifying candidates 1553863076.205 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863076.205 * [simplify]: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) 1553863076.205 * * [simplify]: iters left: 2 (5 enodes) 1553863076.206 * * [simplify]: iters left: 1 (19 enodes) 1553863076.210 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863076.210 * * [simplify]: Extracting #1: cost 8 inf + 0 1553863076.210 * * [simplify]: Extracting #2: cost 16 inf + 0 1553863076.210 * * [simplify]: Extracting #3: cost 16 inf + 1766 1553863076.210 * * [simplify]: Extracting #4: cost 6 inf + 6819 1553863076.210 * * [simplify]: Extracting #5: cost 1 inf + 12227 1553863076.211 * * [simplify]: Extracting #6: cost 0 inf + 13549 1553863076.211 * [simplify]: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) 1553863076.211 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863076.211 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0))))) (real->posit16 2.0)))> 1553863076.211 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863076.211 * [simplify]: Simplifying (real->posit16 2.0) 1553863076.211 * * [simplify]: iters left: 1 (2 enodes) 1553863076.213 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863076.213 * * [simplify]: Extracting #1: cost 2 inf + 0 1553863076.213 * * [simplify]: Extracting #2: cost 1 inf + 1 1553863076.213 * * [simplify]: Extracting #3: cost 0 inf + 2 1553863076.213 * [simplify]: Simplified to (real->posit16 2.0) 1553863076.213 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863076.213 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #posit16 2.0)) alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863076.213 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #posit16 2.0)) beta)) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863076.213 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863076.213 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863076.213 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863076.213 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863076.213 * * * [progress]: adding candidates to table 1553863076.661 * * [progress]: iteration 4 / 4 1553863076.661 * * * [progress]: picking best candidate 1553863076.705 * * * * [pick]: Picked #posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863076.705 * * * [progress]: localizing error 1553863077.129 * * * [progress]: generating rewritten candidates 1553863077.129 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1553863077.142 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1553863077.176 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1553863077.182 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 1553863077.187 * * * [progress]: generating series expansions 1553863077.187 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1553863077.187 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1553863077.187 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1553863077.187 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 1553863077.187 * * * [progress]: simplifying candidates 1553863077.187 * * * * [progress]: [ 1 / 22 ] simplifiying candidate #posit16 2.0)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.187 * [simplify]: Simplifying (+.p16 beta alpha) 1553863077.187 * * [simplify]: iters left: 1 (3 enodes) 1553863077.188 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.188 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863077.188 * * [simplify]: Extracting #2: cost 1 inf + 2 1553863077.188 * * [simplify]: Extracting #3: cost 0 inf + 44 1553863077.188 * [simplify]: Simplified to (+.p16 alpha beta) 1553863077.188 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0))) 1553863077.188 * * * * [progress]: [ 2 / 22 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.188 * [simplify]: Simplifying (+.p16 alpha (+.p16 beta (real->posit16 2.0))) 1553863077.188 * * [simplify]: iters left: 3 (6 enodes) 1553863077.190 * * [simplify]: iters left: 2 (15 enodes) 1553863077.193 * * [simplify]: iters left: 1 (21 enodes) 1553863077.196 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.196 * * [simplify]: Extracting #1: cost 7 inf + 0 1553863077.197 * * [simplify]: Extracting #2: cost 6 inf + 2 1553863077.197 * * [simplify]: Extracting #3: cost 4 inf + 45 1553863077.197 * * [simplify]: Extracting #4: cost 1 inf + 171 1553863077.197 * * [simplify]: Extracting #5: cost 0 inf + 213 1553863077.197 * [simplify]: Simplified to (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) 1553863077.197 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 beta alpha)) (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863077.197 * * * * [progress]: [ 3 / 22 ] simplifiying candidate #posit16 2.0))) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.197 * [simplify]: Simplifying (-.p16 beta alpha) 1553863077.197 * * [simplify]: iters left: 1 (3 enodes) 1553863077.198 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.198 * * [simplify]: Extracting #1: cost 6 inf + 0 1553863077.198 * * [simplify]: Extracting #2: cost 5 inf + 44 1553863077.198 * * [simplify]: Extracting #3: cost 0 inf + 1571 1553863077.198 * [simplify]: Simplified to (-.p16 beta alpha) 1553863077.198 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863077.199 * * * * [progress]: [ 4 / 22 ] simplifiying candidate #posit16 2.0))) (+.p16 beta alpha)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.199 * [simplify]: Simplifying (+.p16 alpha beta) 1553863077.199 * * [simplify]: iters left: 1 (3 enodes) 1553863077.199 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.199 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863077.199 * * [simplify]: Extracting #2: cost 1 inf + 2 1553863077.199 * * [simplify]: Extracting #3: cost 0 inf + 44 1553863077.200 * [simplify]: Simplified to (+.p16 beta alpha) 1553863077.200 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (/.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863077.200 * * * * [progress]: [ 5 / 22 ] simplifiying candidate #posit16 2.0))) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.200 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta)) 1553863077.200 * * [simplify]: iters left: 3 (7 enodes) 1553863077.202 * * [simplify]: iters left: 2 (28 enodes) 1553863077.208 * * [simplify]: iters left: 1 (79 enodes) 1553863077.238 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.238 * * [simplify]: Extracting #1: cost 23 inf + 0 1553863077.239 * * [simplify]: Extracting #2: cost 63 inf + 0 1553863077.239 * * [simplify]: Extracting #3: cost 75 inf + 1531 1553863077.241 * * [simplify]: Extracting #4: cost 37 inf + 47856 1553863077.247 * * [simplify]: Extracting #5: cost 1 inf + 91596 1553863077.256 * * [simplify]: Extracting #6: cost 0 inf + 94238 1553863077.262 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) 1553863077.262 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863077.262 * * * * [progress]: [ 6 / 22 ] simplifiying candidate #posit16 2.0)))) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.262 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) 1553863077.262 * * [simplify]: iters left: 4 (8 enodes) 1553863077.267 * * [simplify]: iters left: 3 (24 enodes) 1553863077.276 * * [simplify]: iters left: 2 (40 enodes) 1553863077.289 * * [simplify]: iters left: 1 (73 enodes) 1553863077.319 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.319 * * [simplify]: Extracting #1: cost 10 inf + 0 1553863077.319 * * [simplify]: Extracting #2: cost 57 inf + 0 1553863077.319 * * [simplify]: Extracting #3: cost 81 inf + 2 1553863077.321 * * [simplify]: Extracting #4: cost 58 inf + 14591 1553863077.324 * * [simplify]: Extracting #5: cost 9 inf + 56006 1553863077.327 * * [simplify]: Extracting #6: cost 0 inf + 70542 1553863077.330 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)) 1553863077.330 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863077.330 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha)) 1553863077.330 * * [simplify]: iters left: 2 (5 enodes) 1553863077.331 * * [simplify]: iters left: 1 (9 enodes) 1553863077.333 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.333 * * [simplify]: Extracting #1: cost 2 inf + 0 1553863077.333 * * [simplify]: Extracting #2: cost 4 inf + 0 1553863077.333 * * [simplify]: Extracting #3: cost 2 inf + 2 1553863077.333 * * [simplify]: Extracting #4: cost 0 inf + 526 1553863077.333 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha)) 1553863077.333 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863077.333 * * * * [progress]: [ 7 / 22 ] simplifiying candidate #posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.333 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)) 1553863077.333 * * [simplify]: iters left: 2 (5 enodes) 1553863077.334 * * [simplify]: iters left: 1 (16 enodes) 1553863077.337 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.337 * * [simplify]: Extracting #1: cost 5 inf + 0 1553863077.337 * * [simplify]: Extracting #2: cost 13 inf + 0 1553863077.337 * * [simplify]: Extracting #3: cost 12 inf + 83 1553863077.337 * * [simplify]: Extracting #4: cost 5 inf + 2614 1553863077.337 * * [simplify]: Extracting #5: cost 0 inf + 5942 1553863077.338 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 alpha beta)) 1553863077.338 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (/.p16 (+.p16 alpha beta) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863077.338 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) 1553863077.338 * * [simplify]: iters left: 4 (8 enodes) 1553863077.340 * * [simplify]: iters left: 3 (17 enodes) 1553863077.343 * * [simplify]: iters left: 2 (23 enodes) 1553863077.347 * * [simplify]: iters left: 1 (24 enodes) 1553863077.350 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.350 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863077.350 * * [simplify]: Extracting #2: cost 8 inf + 0 1553863077.350 * * [simplify]: Extracting #3: cost 7 inf + 2 1553863077.350 * * [simplify]: Extracting #4: cost 5 inf + 45 1553863077.351 * * [simplify]: Extracting #5: cost 1 inf + 734 1553863077.351 * * [simplify]: Extracting #6: cost 0 inf + 776 1553863077.351 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) 1553863077.351 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta)))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863077.351 * * * * [progress]: [ 8 / 22 ] simplifiying candidate #posit16 2.0)))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.351 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) 1553863077.351 * * [simplify]: iters left: 4 (8 enodes) 1553863077.353 * * [simplify]: iters left: 3 (17 enodes) 1553863077.356 * * [simplify]: iters left: 2 (23 enodes) 1553863077.360 * * [simplify]: iters left: 1 (24 enodes) 1553863077.363 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.363 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863077.363 * * [simplify]: Extracting #2: cost 8 inf + 0 1553863077.363 * * [simplify]: Extracting #3: cost 7 inf + 2 1553863077.364 * * [simplify]: Extracting #4: cost 5 inf + 45 1553863077.364 * * [simplify]: Extracting #5: cost 1 inf + 734 1553863077.364 * * [simplify]: Extracting #6: cost 0 inf + 776 1553863077.364 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) 1553863077.364 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (/.p16 (-.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863077.364 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 beta alpha)) 1553863077.364 * * [simplify]: iters left: 2 (5 enodes) 1553863077.365 * * [simplify]: iters left: 1 (16 enodes) 1553863077.369 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.369 * * [simplify]: Extracting #1: cost 5 inf + 0 1553863077.369 * * [simplify]: Extracting #2: cost 13 inf + 0 1553863077.369 * * [simplify]: Extracting #3: cost 12 inf + 83 1553863077.369 * * [simplify]: Extracting #4: cost 5 inf + 2614 1553863077.369 * * [simplify]: Extracting #5: cost 0 inf + 5942 1553863077.370 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 alpha beta)) 1553863077.370 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 alpha (+.p16 (real->posit16 2.0) beta))) (/.p16 (-.p16 beta alpha) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863077.370 * * * * [progress]: [ 9 / 22 ] simplifiying candidate #posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.370 * [simplify]: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha)) 1553863077.370 * * [simplify]: iters left: 2 (5 enodes) 1553863077.371 * * [simplify]: iters left: 1 (9 enodes) 1553863077.373 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.373 * * [simplify]: Extracting #1: cost 2 inf + 0 1553863077.373 * * [simplify]: Extracting #2: cost 4 inf + 0 1553863077.373 * * [simplify]: Extracting #3: cost 2 inf + 2 1553863077.373 * * [simplify]: Extracting #4: cost 0 inf + 526 1553863077.373 * [simplify]: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha)) 1553863077.373 * [simplify]: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863077.373 * [simplify]: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) 1553863077.373 * * [simplify]: iters left: 4 (8 enodes) 1553863077.375 * * [simplify]: iters left: 3 (24 enodes) 1553863077.380 * * [simplify]: iters left: 2 (40 enodes) 1553863077.387 * * [simplify]: iters left: 1 (73 enodes) 1553863077.403 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.403 * * [simplify]: Extracting #1: cost 10 inf + 0 1553863077.403 * * [simplify]: Extracting #2: cost 57 inf + 0 1553863077.403 * * [simplify]: Extracting #3: cost 81 inf + 2 1553863077.404 * * [simplify]: Extracting #4: cost 58 inf + 14591 1553863077.406 * * [simplify]: Extracting #5: cost 9 inf + 56006 1553863077.408 * * [simplify]: Extracting #6: cost 0 inf + 70542 1553863077.411 * [simplify]: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)) 1553863077.411 * [simplify]: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 beta alpha)) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863077.411 * * * * [progress]: [ 10 / 22 ] simplifiying candidate #posit16 1.0) (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha)))) (real->posit16 2.0)))> 1553863077.411 * * * * [progress]: [ 11 / 22 ] simplifiying candidate #posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.411 * [simplify]: Simplifying (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha) 1553863077.411 * * [simplify]: iters left: 4 (7 enodes) 1553863077.413 * * [simplify]: iters left: 3 (17 enodes) 1553863077.417 * * [simplify]: iters left: 2 (36 enodes) 1553863077.424 * * [simplify]: iters left: 1 (55 enodes) 1553863077.434 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.434 * * [simplify]: Extracting #1: cost 9 inf + 0 1553863077.434 * * [simplify]: Extracting #2: cost 13 inf + 1 1553863077.434 * * [simplify]: Extracting #3: cost 11 inf + 365 1553863077.434 * * [simplify]: Extracting #4: cost 5 inf + 1176 1553863077.434 * * [simplify]: Extracting #5: cost 0 inf + 2668 1553863077.435 * [simplify]: Simplified to (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 beta alpha))) 1553863077.435 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) (*.p16 alpha (+.p16 (real->posit16 2.0) (+.p16 beta alpha))))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863077.435 * * * * [progress]: [ 12 / 22 ] simplifiying candidate #posit16 2.0))) alpha) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.435 * [simplify]: Simplifying (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) beta) 1553863077.435 * * [simplify]: iters left: 4 (7 enodes) 1553863077.437 * * [simplify]: iters left: 3 (17 enodes) 1553863077.443 * * [simplify]: iters left: 2 (37 enodes) 1553863077.459 * * [simplify]: iters left: 1 (56 enodes) 1553863077.469 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.469 * * [simplify]: Extracting #1: cost 9 inf + 0 1553863077.469 * * [simplify]: Extracting #2: cost 12 inf + 322 1553863077.469 * * [simplify]: Extracting #3: cost 12 inf + 323 1553863077.469 * * [simplify]: Extracting #4: cost 6 inf + 1693 1553863077.469 * * [simplify]: Extracting #5: cost 0 inf + 3308 1553863077.470 * * [simplify]: Extracting #6: cost 0 inf + 2668 1553863077.470 * [simplify]: Simplified to (*.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) beta) 1553863077.470 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha) (*.p16 (+.p16 (real->posit16 2.0) (+.p16 beta alpha)) beta))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863077.470 * * * * [progress]: [ 13 / 22 ] simplifiying candidate #posit16 2.0)))) (*.p16 alpha (+.p16 alpha (+.p16 beta (real->posit16 2.0)))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.470 * [simplify]: Simplifying (*.p16 alpha (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) 1553863077.470 * * [simplify]: iters left: 4 (7 enodes) 1553863077.473 * * [simplify]: iters left: 3 (22 enodes) 1553863077.477 * * [simplify]: iters left: 2 (42 enodes) 1553863077.485 * * [simplify]: iters left: 1 (65 enodes) 1553863077.495 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.495 * * [simplify]: Extracting #1: cost 9 inf + 0 1553863077.495 * * [simplify]: Extracting #2: cost 13 inf + 1 1553863077.495 * * [simplify]: Extracting #3: cost 12 inf + 323 1553863077.495 * * [simplify]: Extracting #4: cost 7 inf + 772 1553863077.495 * * [simplify]: Extracting #5: cost 1 inf + 2305 1553863077.496 * * [simplify]: Extracting #6: cost 0 inf + 2668 1553863077.496 * [simplify]: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) 1553863077.496 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 beta (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863077.496 * * * * [progress]: [ 14 / 22 ] simplifiying candidate #posit16 2.0)))) (*.p16 beta (+.p16 alpha (+.p16 beta (real->posit16 2.0)))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.496 * [simplify]: Simplifying (*.p16 beta (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) 1553863077.496 * * [simplify]: iters left: 4 (7 enodes) 1553863077.499 * * [simplify]: iters left: 3 (23 enodes) 1553863077.503 * * [simplify]: iters left: 2 (42 enodes) 1553863077.512 * * [simplify]: iters left: 1 (63 enodes) 1553863077.525 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.525 * * [simplify]: Extracting #1: cost 9 inf + 0 1553863077.525 * * [simplify]: Extracting #2: cost 13 inf + 1 1553863077.525 * * [simplify]: Extracting #3: cost 11 inf + 365 1553863077.525 * * [simplify]: Extracting #4: cost 6 inf + 1134 1553863077.525 * * [simplify]: Extracting #5: cost 1 inf + 2306 1553863077.525 * * [simplify]: Extracting #6: cost 0 inf + 2668 1553863077.526 * [simplify]: Simplified to (*.p16 beta (+.p16 (real->posit16 2.0) (+.p16 alpha beta))) 1553863077.526 * [simplify]: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 alpha (+.p16 alpha (+.p16 beta (real->posit16 2.0)))) (*.p16 beta (+.p16 (real->posit16 2.0) (+.p16 alpha beta))))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863077.526 * * * * [progress]: [ 15 / 22 ] simplifiying candidate #posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.526 * * * * [progress]: [ 16 / 22 ] simplifiying candidate #posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.526 * [simplify]: Simplifying (real->posit16 2.0) 1553863077.526 * * [simplify]: iters left: 1 (2 enodes) 1553863077.527 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.527 * * [simplify]: Extracting #1: cost 2 inf + 0 1553863077.527 * * [simplify]: Extracting #2: cost 1 inf + 1 1553863077.527 * * [simplify]: Extracting #3: cost 0 inf + 2 1553863077.527 * [simplify]: Simplified to (real->posit16 2.0) 1553863077.527 * [simplify]: Simplified (2 1 1 2 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1553863077.527 * * * * [progress]: [ 17 / 22 ] simplifiying candidate #posit16 2.0)) beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.527 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #posit16 2.0)) alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.527 * * * * [progress]: [ 19 / 22 ] simplifiying candidate #posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.527 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)) 1553863077.527 * * [simplify]: iters left: 6 (16 enodes) 1553863077.532 * * [simplify]: iters left: 5 (53 enodes) 1553863077.546 * * [simplify]: iters left: 4 (150 enodes) 1553863077.621 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.621 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863077.621 * * [simplify]: Extracting #2: cost 6 inf + 0 1553863077.621 * * [simplify]: Extracting #3: cost 33 inf + 2 1553863077.622 * * [simplify]: Extracting #4: cost 101 inf + 4 1553863077.623 * * [simplify]: Extracting #5: cost 106 inf + 5843 1553863077.629 * * [simplify]: Extracting #6: cost 58 inf + 70736 1553863077.640 * * [simplify]: Extracting #7: cost 0 inf + 127016 1553863077.654 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0)) 1553863077.654 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0))) 1553863077.654 * * * * [progress]: [ 20 / 22 ] simplifiying candidate #posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.655 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)) 1553863077.655 * * [simplify]: iters left: 6 (16 enodes) 1553863077.663 * * [simplify]: iters left: 5 (53 enodes) 1553863077.687 * * [simplify]: iters left: 4 (150 enodes) 1553863077.748 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.748 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863077.748 * * [simplify]: Extracting #2: cost 6 inf + 0 1553863077.748 * * [simplify]: Extracting #3: cost 33 inf + 2 1553863077.749 * * [simplify]: Extracting #4: cost 101 inf + 4 1553863077.749 * * [simplify]: Extracting #5: cost 106 inf + 5843 1553863077.752 * * [simplify]: Extracting #6: cost 58 inf + 70736 1553863077.764 * * [simplify]: Extracting #7: cost 0 inf + 127016 1553863077.776 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0)) 1553863077.776 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0))) 1553863077.776 * * * * [progress]: [ 21 / 22 ] simplifiying candidate #posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.776 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)) 1553863077.776 * * [simplify]: iters left: 6 (16 enodes) 1553863077.785 * * [simplify]: iters left: 5 (53 enodes) 1553863077.807 * * [simplify]: iters left: 4 (150 enodes) 1553863077.894 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.894 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863077.894 * * [simplify]: Extracting #2: cost 6 inf + 0 1553863077.895 * * [simplify]: Extracting #3: cost 33 inf + 2 1553863077.895 * * [simplify]: Extracting #4: cost 101 inf + 4 1553863077.896 * * [simplify]: Extracting #5: cost 106 inf + 5843 1553863077.902 * * [simplify]: Extracting #6: cost 58 inf + 70736 1553863077.912 * * [simplify]: Extracting #7: cost 0 inf + 127016 1553863077.922 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0)) 1553863077.922 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0))) 1553863077.923 * * * * [progress]: [ 22 / 22 ] simplifiying candidate #posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1553863077.923 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)) 1553863077.923 * * [simplify]: iters left: 6 (16 enodes) 1553863077.927 * * [simplify]: iters left: 5 (53 enodes) 1553863077.939 * * [simplify]: iters left: 4 (150 enodes) 1553863077.984 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863077.985 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863077.985 * * [simplify]: Extracting #2: cost 6 inf + 0 1553863077.985 * * [simplify]: Extracting #3: cost 33 inf + 2 1553863077.985 * * [simplify]: Extracting #4: cost 101 inf + 4 1553863077.986 * * [simplify]: Extracting #5: cost 106 inf + 5843 1553863077.989 * * [simplify]: Extracting #6: cost 58 inf + 70736 1553863077.994 * * [simplify]: Extracting #7: cost 0 inf + 127016 1553863078.000 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0)) 1553863078.000 * [simplify]: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (real->posit16 2.0) (+.p16 alpha beta)))) (real->posit16 2.0))) 1553863078.000 * * * [progress]: adding candidates to table 1553863079.413 * [progress]: [Phase 3 of 3] Extracting. 1553863079.413 * * [regime]: Finding splitpoints for: (#posit16 2.0))) (+.p16 beta alpha)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>) 1553863079.414 * * * [regime-changes]: Trying 2 branch expressions: (alpha beta) 1553863079.414 * * * * [regimes]: Trying to branch on alpha from (#posit16 2.0))) (+.p16 beta alpha)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>) 1553863079.783 * * * * [regimes]: Trying to branch on beta from (#posit16 2.0))) (+.p16 beta alpha)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))) beta) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))>) 1553863080.155 * * * [regime]: Found split indices: #