1550699532.727 * [misc]progress: [Phase 1 of 3] Setting up. 1550699532.727 * * * [misc]progress: [1/2] Preparing points 1550699532.728 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1550699532.730 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1550699532.734 * * * * [misc]points: Setting MPFR precision to 64 1550699532.736 * * * * [misc]points: Setting MPFR precision to 320 1550699532.738 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1550699532.744 * * * * [misc]points: Setting MPFR precision to 64 1550699532.747 * * * * [misc]points: Setting MPFR precision to 320 1550699532.751 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1550699532.756 * * * * [misc]points: Setting MPFR precision to 64 1550699532.761 * * * * [misc]points: Setting MPFR precision to 320 1550699532.765 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1550699532.771 * * * * [misc]points: Setting MPFR precision to 64 1550699532.781 * * * * [misc]points: Setting MPFR precision to 320 1550699532.791 * * * * [misc]points: Computing exacts for 256 points 1550699532.797 * * * * [misc]points: Setting MPFR precision to 64 1550699532.825 * * * * [misc]points: Setting MPFR precision to 320 1550699532.860 * * * * [misc]points: Filtering points with unrepresentable outputs 1550699532.873 * * * * [misc]points: Sampling 114 additional inputs, on iter 1 have 142 / 256 1550699532.874 * * * * [misc]points: Computing exacts on every 7 of 114 points to ramp up precision 1550699532.880 * * * * [misc]points: Setting MPFR precision to 64 1550699532.882 * * * * [misc]points: Setting MPFR precision to 320 1550699532.884 * * * * [misc]points: Computing exacts on every 3 of 114 points to ramp up precision 1550699532.889 * * * * [misc]points: Setting MPFR precision to 64 1550699532.893 * * * * [misc]points: Setting MPFR precision to 320 1550699532.896 * * * * [misc]points: Computing exacts for 114 points 1550699532.903 * * * * [misc]points: Setting MPFR precision to 64 1550699532.916 * * * * [misc]points: Setting MPFR precision to 320 1550699532.931 * * * * [misc]points: Filtering points with unrepresentable outputs 1550699532.968 * * * * [misc]points: Sampling 50 additional inputs, on iter 2 have 206 / 256 1550699532.969 * * * * [misc]points: Computing exacts on every 3 of 50 points to ramp up precision 1550699532.977 * * * * [misc]points: Setting MPFR precision to 64 1550699532.979 * * * * [misc]points: Setting MPFR precision to 320 1550699532.981 * * * * [misc]points: Computing exacts for 50 points 1550699532.987 * * * * [misc]points: Setting MPFR precision to 64 1550699532.993 * * * * [misc]points: Setting MPFR precision to 320 1550699533.000 * * * * [misc]points: Filtering points with unrepresentable outputs 1550699533.003 * * * * [misc]points: Sampling 24 additional inputs, on iter 3 have 232 / 256 1550699533.003 * * * * [misc]points: Computing exacts for 24 points 1550699533.009 * * * * [misc]points: Setting MPFR precision to 64 1550699533.012 * * * * [misc]points: Setting MPFR precision to 320 1550699533.015 * * * * [misc]points: Filtering points with unrepresentable outputs 1550699533.016 * * * * [misc]points: Sampling 10 additional inputs, on iter 4 have 246 / 256 1550699533.016 * * * * [misc]points: Computing exacts for 10 points 1550699533.023 * * * * [misc]points: Setting MPFR precision to 64 1550699533.024 * * * * [misc]points: Setting MPFR precision to 320 1550699533.026 * * * * [misc]points: Filtering points with unrepresentable outputs 1550699533.026 * * * * [misc]points: Sampling 6 additional inputs, on iter 5 have 250 / 256 1550699533.026 * * * * [misc]points: Computing exacts for 6 points 1550699533.032 * * * * [misc]points: Setting MPFR precision to 64 1550699533.033 * * * * [misc]points: Setting MPFR precision to 320 1550699533.034 * * * * [misc]points: Filtering points with unrepresentable outputs 1550699533.035 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1550699533.035 * * * * [misc]points: Computing exacts for 4 points 1550699533.040 * * * * [misc]points: Setting MPFR precision to 64 1550699533.041 * * * * [misc]points: Setting MPFR precision to 320 1550699533.042 * * * * [misc]points: Filtering points with unrepresentable outputs 1550699533.042 * * * * [exit]points: Sampled 257 points with exact outputs 1550699533.042 * * * [misc]progress: [2/2] Setting up program. 1550699533.084 * [misc]progress: [Phase 2 of 3] Improving. 1550699533.084 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699533.085 * [enter]simplify: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 1550699533.085 * * [misc]simplify: iters left: 5 (12 enodes) 1550699533.091 * * [misc]simplify: iters left: 4 (29 enodes) 1550699533.102 * * [misc]simplify: iters left: 3 (46 enodes) 1550699533.119 * * [misc]simplify: iters left: 2 (97 enodes) 1550699533.182 * * [misc]simplify: iters left: 1 (335 enodes) 1550699533.524 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699533.524 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699533.524 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550699533.524 * * [misc]simplify: Extracting #3: cost 84 inf + 2 1550699533.527 * * [misc]simplify: Extracting #4: cost 417 inf + 3 1550699533.535 * * [misc]simplify: Extracting #5: cost 404 inf + 78485 1550699533.574 * * [misc]simplify: Extracting #6: cost 124 inf + 437558 1550699533.626 * * [misc]simplify: Extracting #7: cost 5 inf + 645994 1550699533.681 * * [misc]simplify: Extracting #8: cost 0 inf + 656284 1550699533.739 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)) 1550699533.739 * [misc]simplify: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))) 1550699533.781 * * [misc]progress: iteration 1 / 4 1550699533.781 * * * [misc]progress: picking best candidate 1550699533.821 * * * * [misc]pick: Picked #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699533.821 * * * [misc]progress: localizing error 1550699534.158 * * * [misc]progress: generating rewritten candidates 1550699534.158 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1550699534.160 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1) 1550699534.164 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2) 1550699534.170 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2) 1550699534.172 * * * [misc]progress: generating series expansions 1550699534.172 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1550699534.172 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1) 1550699534.172 * * * * [misc]progress: [ 3 / 4 ] generating series at (2) 1550699534.172 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2) 1550699534.172 * * * [misc]progress: simplifying candidates 1550699534.172 * * * * [misc]progress: [ 1 / 8 ] simplifiying candidate #posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699534.173 * [enter]simplify: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) 1550699534.173 * * [misc]simplify: iters left: 2 (5 enodes) 1550699534.174 * * [misc]simplify: iters left: 1 (19 enodes) 1550699534.177 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699534.177 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550699534.178 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1550699534.178 * * [misc]simplify: Extracting #3: cost 16 inf + 1766 1550699534.178 * * [misc]simplify: Extracting #4: cost 6 inf + 6819 1550699534.178 * * [misc]simplify: Extracting #5: cost 1 inf + 12227 1550699534.179 * * [misc]simplify: Extracting #6: cost 0 inf + 13549 1550699534.179 * [exit]simplify: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) 1550699534.179 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1550699534.179 * * * * [misc]progress: [ 2 / 8 ] simplifiying candidate #posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)))> 1550699534.179 * * * * [misc]progress: [ 3 / 8 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699534.179 * * * * [misc]progress: [ 4 / 8 ] simplifiying candidate #posit16 2.0) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699534.179 * * * * [misc]progress: [ 5 / 8 ] simplifiying candidate #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699534.180 * [enter]simplify: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 1550699534.180 * * [misc]simplify: iters left: 5 (12 enodes) 1550699534.184 * * [misc]simplify: iters left: 4 (29 enodes) 1550699534.189 * * [misc]simplify: iters left: 3 (46 enodes) 1550699534.198 * * [misc]simplify: iters left: 2 (97 enodes) 1550699534.224 * * [misc]simplify: iters left: 1 (335 enodes) 1550699534.533 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699534.533 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699534.533 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550699534.533 * * [misc]simplify: Extracting #3: cost 84 inf + 2 1550699534.535 * * [misc]simplify: Extracting #4: cost 417 inf + 3 1550699534.544 * * [misc]simplify: Extracting #5: cost 404 inf + 78485 1550699534.576 * * [misc]simplify: Extracting #6: cost 124 inf + 437558 1550699534.631 * * [misc]simplify: Extracting #7: cost 5 inf + 645994 1550699534.686 * * [misc]simplify: Extracting #8: cost 0 inf + 656284 1550699534.743 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)) 1550699534.743 * [misc]simplify: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))) 1550699534.743 * * * * [misc]progress: [ 6 / 8 ] simplifiying candidate #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699534.743 * [enter]simplify: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 1550699534.743 * * [misc]simplify: iters left: 5 (12 enodes) 1550699534.749 * * [misc]simplify: iters left: 4 (29 enodes) 1550699534.760 * * [misc]simplify: iters left: 3 (46 enodes) 1550699534.777 * * [misc]simplify: iters left: 2 (97 enodes) 1550699534.822 * * [misc]simplify: iters left: 1 (335 enodes) 1550699535.144 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699535.144 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699535.144 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550699535.144 * * [misc]simplify: Extracting #3: cost 84 inf + 2 1550699535.146 * * [misc]simplify: Extracting #4: cost 417 inf + 3 1550699535.154 * * [misc]simplify: Extracting #5: cost 404 inf + 78485 1550699535.187 * * [misc]simplify: Extracting #6: cost 124 inf + 437558 1550699535.239 * * [misc]simplify: Extracting #7: cost 5 inf + 645994 1550699535.297 * * [misc]simplify: Extracting #8: cost 0 inf + 656284 1550699535.352 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)) 1550699535.352 * [misc]simplify: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))) 1550699535.352 * * * * [misc]progress: [ 7 / 8 ] simplifiying candidate #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699535.353 * [enter]simplify: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 1550699535.353 * * [misc]simplify: iters left: 5 (12 enodes) 1550699535.359 * * [misc]simplify: iters left: 4 (29 enodes) 1550699535.370 * * [misc]simplify: iters left: 3 (46 enodes) 1550699535.386 * * [misc]simplify: iters left: 2 (97 enodes) 1550699535.413 * * [misc]simplify: iters left: 1 (335 enodes) 1550699535.670 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699535.670 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699535.670 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550699535.670 * * [misc]simplify: Extracting #3: cost 84 inf + 2 1550699535.672 * * [misc]simplify: Extracting #4: cost 417 inf + 3 1550699535.680 * * [misc]simplify: Extracting #5: cost 404 inf + 78485 1550699535.715 * * [misc]simplify: Extracting #6: cost 124 inf + 437558 1550699535.756 * * [misc]simplify: Extracting #7: cost 5 inf + 645994 1550699535.784 * * [misc]simplify: Extracting #8: cost 0 inf + 656284 1550699535.815 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)) 1550699535.816 * [misc]simplify: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))) 1550699535.816 * * * * [misc]progress: [ 8 / 8 ] simplifiying candidate #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699535.816 * [enter]simplify: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 1550699535.816 * * [misc]simplify: iters left: 5 (12 enodes) 1550699535.819 * * [misc]simplify: iters left: 4 (29 enodes) 1550699535.825 * * [misc]simplify: iters left: 3 (46 enodes) 1550699535.835 * * [misc]simplify: iters left: 2 (97 enodes) 1550699535.876 * * [misc]simplify: iters left: 1 (335 enodes) 1550699536.098 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699536.098 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699536.098 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550699536.098 * * [misc]simplify: Extracting #3: cost 84 inf + 2 1550699536.099 * * [misc]simplify: Extracting #4: cost 417 inf + 3 1550699536.104 * * [misc]simplify: Extracting #5: cost 404 inf + 78485 1550699536.122 * * [misc]simplify: Extracting #6: cost 124 inf + 437558 1550699536.153 * * [misc]simplify: Extracting #7: cost 5 inf + 645994 1550699536.184 * * [misc]simplify: Extracting #8: cost 0 inf + 656284 1550699536.213 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0)) 1550699536.213 * [misc]simplify: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) (real->posit16 2.0))) 1550699536.213 * * * [misc]progress: adding candidates to table 1550699536.618 * * [misc]progress: iteration 2 / 4 1550699536.618 * * * [misc]progress: picking best candidate 1550699536.727 * * * * [misc]pick: Picked #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699536.727 * * * [misc]progress: localizing error 1550699537.029 * * * [misc]progress: generating rewritten candidates 1550699537.029 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1550699537.033 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1) 1550699537.041 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1550699537.044 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2) 1550699537.056 * * * [misc]progress: generating series expansions 1550699537.056 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1550699537.056 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1) 1550699537.056 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1550699537.056 * * * * [misc]progress: [ 4 / 4 ] generating series at (2) 1550699537.056 * * * [misc]progress: simplifying candidates 1550699537.056 * * * * [misc]progress: [ 1 / 8 ] simplifiying candidate #posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699537.057 * [enter]simplify: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) 1550699537.057 * * [misc]simplify: iters left: 2 (5 enodes) 1550699537.059 * * [misc]simplify: iters left: 1 (19 enodes) 1550699537.066 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699537.066 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550699537.066 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1550699537.066 * * [misc]simplify: Extracting #3: cost 16 inf + 1766 1550699537.067 * * [misc]simplify: Extracting #4: cost 6 inf + 6819 1550699537.067 * * [misc]simplify: Extracting #5: cost 1 inf + 12227 1550699537.068 * * [misc]simplify: Extracting #6: cost 0 inf + 13549 1550699537.069 * [exit]simplify: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) 1550699537.069 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 alpha (+.p16 beta (real->posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1550699537.069 * * * * [misc]progress: [ 2 / 8 ] simplifiying candidate #posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 alpha (+.p16 beta (real->posit16 2.0))))) (real->posit16 2.0)))> 1550699537.069 * * * * [misc]progress: [ 3 / 8 ] simplifiying candidate #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699537.069 * [enter]simplify: Simplifying (real->posit16 2.0) 1550699537.070 * * [misc]simplify: iters left: 1 (2 enodes) 1550699537.071 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699537.071 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1550699537.071 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1550699537.071 * * [misc]simplify: Extracting #3: cost 0 inf + 2 1550699537.071 * [exit]simplify: Simplified to (real->posit16 2.0) 1550699537.072 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1550699537.072 * * * * [misc]progress: [ 4 / 8 ] simplifiying candidate #posit16 2.0)) alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699537.072 * * * * [misc]progress: [ 5 / 8 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699537.072 * * * * [misc]progress: [ 6 / 8 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699537.072 * * * * [misc]progress: [ 7 / 8 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699537.072 * * * * [misc]progress: [ 8 / 8 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699537.072 * * * [misc]progress: adding candidates to table 1550699537.640 * * [misc]progress: iteration 3 / 4 1550699537.640 * * * [misc]progress: picking best candidate 1550699537.752 * * * * [misc]pick: Picked #posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699537.752 * * * [misc]progress: localizing error 1550699538.091 * * * [misc]progress: generating rewritten candidates 1550699538.091 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1550699538.097 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1) 1550699538.108 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1550699538.114 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1) 1550699538.118 * * * [misc]progress: generating series expansions 1550699538.118 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1550699538.118 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1) 1550699538.118 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1550699538.118 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1) 1550699538.118 * * * [misc]progress: simplifying candidates 1550699538.118 * * * * [misc]progress: [ 1 / 16 ] simplifiying candidate #posit16 2.0))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699538.119 * [enter]simplify: Simplifying (+.p16 beta alpha) 1550699538.119 * * [misc]simplify: iters left: 1 (3 enodes) 1550699538.120 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699538.120 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699538.120 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550699538.120 * * [misc]simplify: Extracting #3: cost 0 inf + 44 1550699538.120 * [exit]simplify: Simplified to (+.p16 alpha beta) 1550699538.120 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0))) 1550699538.121 * * * * [misc]progress: [ 2 / 16 ] simplifiying candidate #posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699538.121 * [enter]simplify: Simplifying (-.p16 beta alpha) 1550699538.121 * * [misc]simplify: iters left: 1 (3 enodes) 1550699538.122 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699538.122 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1550699538.123 * * [misc]simplify: Extracting #2: cost 5 inf + 44 1550699538.123 * * [misc]simplify: Extracting #3: cost 0 inf + 1571 1550699538.123 * [exit]simplify: Simplified to (-.p16 beta alpha) 1550699538.123 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0))) 1550699538.123 * * * * [misc]progress: [ 3 / 16 ] simplifiying candidate #posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699538.123 * [enter]simplify: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta)) 1550699538.124 * * [misc]simplify: iters left: 3 (7 enodes) 1550699538.127 * * [misc]simplify: iters left: 2 (28 enodes) 1550699538.138 * * [misc]simplify: iters left: 1 (79 enodes) 1550699538.186 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699538.186 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1550699538.186 * * [misc]simplify: Extracting #2: cost 63 inf + 0 1550699538.187 * * [misc]simplify: Extracting #3: cost 75 inf + 1531 1550699538.189 * * [misc]simplify: Extracting #4: cost 37 inf + 47856 1550699538.195 * * [misc]simplify: Extracting #5: cost 1 inf + 91596 1550699538.201 * * [misc]simplify: Extracting #6: cost 0 inf + 94238 1550699538.208 * [exit]simplify: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) 1550699538.208 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1550699538.208 * * * * [misc]progress: [ 4 / 16 ] simplifiying candidate #posit16 2.0))) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699538.209 * [enter]simplify: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) 1550699538.209 * * [misc]simplify: iters left: 3 (8 enodes) 1550699538.213 * * [misc]simplify: iters left: 2 (23 enodes) 1550699538.221 * * [misc]simplify: iters left: 1 (40 enodes) 1550699538.235 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699538.235 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550699538.235 * * [misc]simplify: Extracting #2: cost 32 inf + 0 1550699538.236 * * [misc]simplify: Extracting #3: cost 33 inf + 1045 1550699538.236 * * [misc]simplify: Extracting #4: cost 25 inf + 6988 1550699538.238 * * [misc]simplify: Extracting #5: cost 2 inf + 20756 1550699538.239 * * [misc]simplify: Extracting #6: cost 0 inf + 22961 1550699538.241 * [exit]simplify: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) 1550699538.241 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (+.p16 alpha beta) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1550699538.242 * [enter]simplify: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 beta alpha)) 1550699538.242 * * [misc]simplify: iters left: 2 (5 enodes) 1550699538.245 * * [misc]simplify: iters left: 1 (9 enodes) 1550699538.247 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699538.247 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1550699538.248 * * [misc]simplify: Extracting #2: cost 4 inf + 0 1550699538.248 * * [misc]simplify: Extracting #3: cost 2 inf + 2 1550699538.248 * * [misc]simplify: Extracting #4: cost 0 inf + 526 1550699538.248 * [exit]simplify: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 beta alpha)) 1550699538.248 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (/.p16 (+.p16 beta alpha) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1550699538.248 * * * * [misc]progress: [ 5 / 16 ] simplifiying candidate #posit16 1.0) (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha)))) (real->posit16 2.0)))> 1550699538.248 * * * * [misc]progress: [ 6 / 16 ] simplifiying candidate #posit16 2.0)) beta) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699538.248 * [enter]simplify: Simplifying (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) alpha) 1550699538.249 * * [misc]simplify: iters left: 3 (7 enodes) 1550699538.252 * * [misc]simplify: iters left: 2 (17 enodes) 1550699538.258 * * [misc]simplify: iters left: 1 (36 enodes) 1550699538.271 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699538.271 * * [misc]simplify: Extracting #1: cost 10 inf + 0 1550699538.271 * * [misc]simplify: Extracting #2: cost 15 inf + 1 1550699538.271 * * [misc]simplify: Extracting #3: cost 14 inf + 323 1550699538.272 * * [misc]simplify: Extracting #4: cost 9 inf + 1372 1550699538.272 * * [misc]simplify: Extracting #5: cost 6 inf + 1498 1550699538.273 * * [misc]simplify: Extracting #6: cost 0 inf + 3353 1550699538.273 * [exit]simplify: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) 1550699538.273 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) beta) (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0))) 1550699538.274 * * * * [misc]progress: [ 7 / 16 ] simplifiying candidate #posit16 2.0))) (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699538.274 * [enter]simplify: Simplifying (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) 1550699538.274 * * [misc]simplify: iters left: 3 (7 enodes) 1550699538.278 * * [misc]simplify: iters left: 2 (23 enodes) 1550699538.287 * * [misc]simplify: iters left: 1 (42 enodes) 1550699538.301 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699538.301 * * [misc]simplify: Extracting #1: cost 12 inf + 0 1550699538.301 * * [misc]simplify: Extracting #2: cost 16 inf + 1 1550699538.301 * * [misc]simplify: Extracting #3: cost 15 inf + 323 1550699538.301 * * [misc]simplify: Extracting #4: cost 11 inf + 1050 1550699538.302 * * [misc]simplify: Extracting #5: cost 5 inf + 2222 1550699538.302 * * [misc]simplify: Extracting #6: cost 0 inf + 4395 1550699538.303 * [exit]simplify: Simplified to (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0))) 1550699538.303 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (+.p16 (*.p16 beta (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (*.p16 alpha (+.p16 (+.p16 beta alpha) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0))) 1550699538.303 * * * * [misc]progress: [ 8 / 16 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699538.303 * * * * [misc]progress: [ 9 / 16 ] simplifiying candidate #posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699538.304 * [enter]simplify: Simplifying (*.p16 (-.p16 beta alpha) beta) 1550699538.304 * * [misc]simplify: iters left: 2 (4 enodes) 1550699538.306 * * [misc]simplify: iters left: 1 (16 enodes) 1550699538.311 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699538.311 * * [misc]simplify: Extracting #1: cost 9 inf + 0 1550699538.311 * * [misc]simplify: Extracting #2: cost 11 inf + 1 1550699538.311 * * [misc]simplify: Extracting #3: cost 13 inf + 323 1550699538.311 * * [misc]simplify: Extracting #4: cost 9 inf + 1933 1550699538.312 * * [misc]simplify: Extracting #5: cost 3 inf + 4862 1550699538.312 * * [misc]simplify: Extracting #6: cost 0 inf + 7748 1550699538.315 * [exit]simplify: Simplified to (*.p16 beta (-.p16 beta alpha)) 1550699538.315 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 (-.p16 beta alpha) alpha) (*.p16 beta (-.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1550699538.315 * * * * [misc]progress: [ 10 / 16 ] simplifiying candidate #posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699538.315 * [enter]simplify: Simplifying (*.p16 beta (-.p16 beta alpha)) 1550699538.315 * * [misc]simplify: iters left: 2 (4 enodes) 1550699538.316 * * [misc]simplify: iters left: 1 (16 enodes) 1550699538.319 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699538.319 * * [misc]simplify: Extracting #1: cost 9 inf + 0 1550699538.319 * * [misc]simplify: Extracting #2: cost 11 inf + 1 1550699538.319 * * [misc]simplify: Extracting #3: cost 13 inf + 323 1550699538.319 * * [misc]simplify: Extracting #4: cost 9 inf + 1933 1550699538.320 * * [misc]simplify: Extracting #5: cost 3 inf + 4862 1550699538.320 * * [misc]simplify: Extracting #6: cost 0 inf + 7748 1550699538.320 * [exit]simplify: Simplified to (*.p16 beta (-.p16 beta alpha)) 1550699538.320 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (+.p16 (*.p16 alpha (-.p16 beta alpha)) (*.p16 beta (-.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1550699538.320 * * * * [misc]progress: [ 11 / 16 ] simplifiying candidate #posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699538.320 * [enter]simplify: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 alpha beta)) 1550699538.320 * * [misc]simplify: iters left: 3 (7 enodes) 1550699538.322 * * [misc]simplify: iters left: 2 (28 enodes) 1550699538.328 * * [misc]simplify: iters left: 1 (79 enodes) 1550699538.346 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699538.346 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1550699538.346 * * [misc]simplify: Extracting #2: cost 63 inf + 0 1550699538.346 * * [misc]simplify: Extracting #3: cost 75 inf + 1531 1550699538.347 * * [misc]simplify: Extracting #4: cost 37 inf + 47856 1550699538.350 * * [misc]simplify: Extracting #5: cost 1 inf + 91596 1550699538.353 * * [misc]simplify: Extracting #6: cost 0 inf + 94238 1550699538.356 * [exit]simplify: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) 1550699538.356 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 alpha beta) (real->posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1550699538.356 * * * * [misc]progress: [ 12 / 16 ] simplifiying candidate #posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699538.356 * * * * [misc]progress: [ 13 / 16 ] simplifiying candidate #posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699538.357 * [enter]simplify: Simplifying (/.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)) 1550699538.357 * * [misc]simplify: iters left: 6 (15 enodes) 1550699538.361 * * [misc]simplify: iters left: 5 (52 enodes) 1550699538.372 * * [misc]simplify: iters left: 4 (152 enodes) 1550699538.417 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699538.417 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699538.417 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550699538.417 * * [misc]simplify: Extracting #3: cost 36 inf + 2 1550699538.417 * * [misc]simplify: Extracting #4: cost 104 inf + 3 1550699538.418 * * [misc]simplify: Extracting #5: cost 112 inf + 4517 1550699538.421 * * [misc]simplify: Extracting #6: cost 50 inf + 77491 1550699538.427 * * [misc]simplify: Extracting #7: cost 1 inf + 122190 1550699538.433 * * [misc]simplify: Extracting #8: cost 0 inf + 124192 1550699538.439 * [exit]simplify: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)) 1550699538.439 * [misc]simplify: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))) 1550699538.439 * * * * [misc]progress: [ 14 / 16 ] simplifiying candidate #posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699538.440 * [enter]simplify: Simplifying (/.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)) 1550699538.440 * * [misc]simplify: iters left: 6 (15 enodes) 1550699538.444 * * [misc]simplify: iters left: 5 (52 enodes) 1550699538.456 * * [misc]simplify: iters left: 4 (152 enodes) 1550699538.506 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699538.506 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699538.506 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550699538.506 * * [misc]simplify: Extracting #3: cost 36 inf + 2 1550699538.506 * * [misc]simplify: Extracting #4: cost 104 inf + 3 1550699538.507 * * [misc]simplify: Extracting #5: cost 112 inf + 4517 1550699538.510 * * [misc]simplify: Extracting #6: cost 50 inf + 77491 1550699538.516 * * [misc]simplify: Extracting #7: cost 1 inf + 122190 1550699538.522 * * [misc]simplify: Extracting #8: cost 0 inf + 124192 1550699538.528 * [exit]simplify: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)) 1550699538.528 * [misc]simplify: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))) 1550699538.528 * * * * [misc]progress: [ 15 / 16 ] simplifiying candidate #posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699538.529 * [enter]simplify: Simplifying (/.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)) 1550699538.529 * * [misc]simplify: iters left: 6 (15 enodes) 1550699538.533 * * [misc]simplify: iters left: 5 (52 enodes) 1550699538.547 * * [misc]simplify: iters left: 4 (152 enodes) 1550699538.613 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699538.613 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699538.613 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550699538.613 * * [misc]simplify: Extracting #3: cost 36 inf + 2 1550699538.614 * * [misc]simplify: Extracting #4: cost 104 inf + 3 1550699538.615 * * [misc]simplify: Extracting #5: cost 112 inf + 4517 1550699538.622 * * [misc]simplify: Extracting #6: cost 50 inf + 77491 1550699538.634 * * [misc]simplify: Extracting #7: cost 1 inf + 122190 1550699538.649 * * [misc]simplify: Extracting #8: cost 0 inf + 124192 1550699538.662 * [exit]simplify: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)) 1550699538.662 * [misc]simplify: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))) 1550699538.662 * * * * [misc]progress: [ 16 / 16 ] simplifiying candidate #posit16 2.0)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699538.662 * [enter]simplify: Simplifying (/.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)) 1550699538.662 * * [misc]simplify: iters left: 6 (15 enodes) 1550699538.670 * * [misc]simplify: iters left: 5 (52 enodes) 1550699538.692 * * [misc]simplify: iters left: 4 (152 enodes) 1550699538.779 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699538.780 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699538.780 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550699538.780 * * [misc]simplify: Extracting #3: cost 36 inf + 2 1550699538.780 * * [misc]simplify: Extracting #4: cost 104 inf + 3 1550699538.782 * * [misc]simplify: Extracting #5: cost 112 inf + 4517 1550699538.792 * * [misc]simplify: Extracting #6: cost 50 inf + 77491 1550699538.803 * * [misc]simplify: Extracting #7: cost 1 inf + 122190 1550699538.815 * * [misc]simplify: Extracting #8: cost 0 inf + 124192 1550699538.827 * [exit]simplify: Simplified to (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)) 1550699538.827 * [misc]simplify: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0))) 1550699538.827 * * * [misc]progress: adding candidates to table 1550699540.264 * * [misc]progress: iteration 4 / 4 1550699540.264 * * * [misc]progress: picking best candidate 1550699540.631 * * * * [misc]pick: Picked #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699540.631 * * * [misc]progress: localizing error 1550699540.857 * * * [misc]progress: generating rewritten candidates 1550699540.857 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1550699540.861 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1) 1550699540.869 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2) 1550699540.872 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2) 1550699540.884 * * * [misc]progress: generating series expansions 1550699540.884 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1550699540.884 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1) 1550699540.884 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2) 1550699540.884 * * * * [misc]progress: [ 4 / 4 ] generating series at (2) 1550699540.884 * * * [misc]progress: simplifying candidates 1550699540.884 * * * * [misc]progress: [ 1 / 8 ] simplifiying candidate #posit16 2.0))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699540.885 * [enter]simplify: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) 1550699540.885 * * [misc]simplify: iters left: 2 (5 enodes) 1550699540.887 * * [misc]simplify: iters left: 1 (19 enodes) 1550699540.894 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699540.894 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1550699540.894 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1550699540.894 * * [misc]simplify: Extracting #3: cost 16 inf + 1766 1550699540.895 * * [misc]simplify: Extracting #4: cost 6 inf + 6819 1550699540.895 * * [misc]simplify: Extracting #5: cost 1 inf + 12227 1550699540.896 * * [misc]simplify: Extracting #6: cost 0 inf + 13549 1550699540.897 * [exit]simplify: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) 1550699540.897 * [misc]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))) 1550699540.897 * * * * [misc]progress: [ 2 / 8 ] simplifiying candidate #posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0))))) (real->posit16 2.0)))> 1550699540.897 * * * * [misc]progress: [ 3 / 8 ] simplifiying candidate #posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699540.897 * [enter]simplify: Simplifying (real->posit16 2.0) 1550699540.897 * * [misc]simplify: iters left: 1 (2 enodes) 1550699540.899 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699540.899 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1550699540.899 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1550699540.899 * * [misc]simplify: Extracting #3: cost 0 inf + 2 1550699540.899 * [exit]simplify: Simplified to (real->posit16 2.0) 1550699540.899 * [misc]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))) 1550699540.900 * * * * [misc]progress: [ 4 / 8 ] simplifiying candidate #posit16 2.0)) beta)) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699540.900 * * * * [misc]progress: [ 5 / 8 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699540.900 * [enter]simplify: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)) 1550699540.900 * * [misc]simplify: iters left: 6 (12 enodes) 1550699540.906 * * [misc]simplify: iters left: 5 (29 enodes) 1550699540.916 * * [misc]simplify: iters left: 4 (46 enodes) 1550699540.932 * * [misc]simplify: iters left: 3 (97 enodes) 1550699540.979 * * [misc]simplify: iters left: 2 (335 enodes) 1550699541.226 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699541.226 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699541.226 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550699541.226 * * [misc]simplify: Extracting #3: cost 84 inf + 2 1550699541.227 * * [misc]simplify: Extracting #4: cost 417 inf + 3 1550699541.231 * * [misc]simplify: Extracting #5: cost 428 inf + 54952 1550699541.247 * * [misc]simplify: Extracting #6: cost 141 inf + 421995 1550699541.276 * * [misc]simplify: Extracting #7: cost 6 inf + 644394 1550699541.308 * * [misc]simplify: Extracting #8: cost 0 inf + 656444 1550699541.358 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0)) 1550699541.358 * [misc]simplify: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0))) 1550699541.358 * * * * [misc]progress: [ 6 / 8 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699541.359 * [enter]simplify: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)) 1550699541.359 * * [misc]simplify: iters left: 6 (12 enodes) 1550699541.365 * * [misc]simplify: iters left: 5 (29 enodes) 1550699541.376 * * [misc]simplify: iters left: 4 (46 enodes) 1550699541.392 * * [misc]simplify: iters left: 3 (97 enodes) 1550699541.437 * * [misc]simplify: iters left: 2 (335 enodes) 1550699541.743 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699541.744 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699541.744 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550699541.744 * * [misc]simplify: Extracting #3: cost 84 inf + 2 1550699541.746 * * [misc]simplify: Extracting #4: cost 417 inf + 3 1550699541.753 * * [misc]simplify: Extracting #5: cost 428 inf + 54952 1550699541.773 * * [misc]simplify: Extracting #6: cost 141 inf + 421995 1550699541.811 * * [misc]simplify: Extracting #7: cost 6 inf + 644394 1550699541.872 * * [misc]simplify: Extracting #8: cost 0 inf + 656444 1550699541.930 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0)) 1550699541.930 * [misc]simplify: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0))) 1550699541.930 * * * * [misc]progress: [ 7 / 8 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699541.930 * [enter]simplify: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)) 1550699541.931 * * [misc]simplify: iters left: 6 (12 enodes) 1550699541.936 * * [misc]simplify: iters left: 5 (29 enodes) 1550699541.945 * * [misc]simplify: iters left: 4 (46 enodes) 1550699541.960 * * [misc]simplify: iters left: 3 (97 enodes) 1550699542.008 * * [misc]simplify: iters left: 2 (335 enodes) 1550699542.226 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699542.226 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699542.226 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550699542.226 * * [misc]simplify: Extracting #3: cost 84 inf + 2 1550699542.228 * * [misc]simplify: Extracting #4: cost 417 inf + 3 1550699542.232 * * [misc]simplify: Extracting #5: cost 428 inf + 54952 1550699542.249 * * [misc]simplify: Extracting #6: cost 141 inf + 421995 1550699542.301 * * [misc]simplify: Extracting #7: cost 6 inf + 644394 1550699542.338 * * [misc]simplify: Extracting #8: cost 0 inf + 656444 1550699542.380 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0)) 1550699542.380 * [misc]simplify: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0))) 1550699542.380 * * * * [misc]progress: [ 8 / 8 ] simplifiying candidate #posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550699542.380 * [enter]simplify: Simplifying (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)) 1550699542.380 * * [misc]simplify: iters left: 6 (12 enodes) 1550699542.387 * * [misc]simplify: iters left: 5 (29 enodes) 1550699542.397 * * [misc]simplify: iters left: 4 (46 enodes) 1550699542.415 * * [misc]simplify: iters left: 3 (97 enodes) 1550699542.460 * * [misc]simplify: iters left: 2 (335 enodes) 1550699542.729 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550699542.729 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550699542.729 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550699542.729 * * [misc]simplify: Extracting #3: cost 84 inf + 2 1550699542.732 * * [misc]simplify: Extracting #4: cost 417 inf + 3 1550699542.740 * * [misc]simplify: Extracting #5: cost 428 inf + 54952 1550699542.773 * * [misc]simplify: Extracting #6: cost 141 inf + 421995 1550699542.829 * * [misc]simplify: Extracting #7: cost 6 inf + 644394 1550699542.894 * * [misc]simplify: Extracting #8: cost 0 inf + 656444 1550699542.950 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0)) 1550699542.950 * [misc]simplify: Simplified (2) to (λ (alpha beta) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (-.p16 beta alpha) (+.p16 beta (+.p16 (real->posit16 2.0) alpha)))) (real->posit16 2.0))) 1550699542.950 * * * [misc]progress: adding candidates to table 1550699543.535 * [misc]progress: [Phase 3 of 3] Extracting. 1550699543.535 * * [misc]regime: Finding splitpoints for: (#posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta))) (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))) (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (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))) (+.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)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>) 1550699543.538 * * * [misc]regime-changes: Trying 2 branch expressions: (alpha beta) 1550699543.538 * * * * [misc]regimes: Trying to branch on alpha from (#posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta))) (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))) (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (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))) (+.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)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>) 1550699544.243 * * * * [misc]regimes: Trying to branch on beta from (#posit16 2.0)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2.0)) (+.p16 beta alpha)) (+.p16 alpha beta))) (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))) (*.p16 alpha (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (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))) (+.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)) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))>) 1550699544.937 * * * [misc]regime: Found split indices: #