1554300821.060 * [misc]progress: [Phase 1 of 3] Setting up. 1554300821.060 * * * [misc]progress: [1/2] Preparing points 1554300821.061 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1554300821.063 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1554300821.070 * * * * [misc]points: Setting MPFR precision to 64 1554300821.073 * * * * [misc]points: Setting MPFR precision to 320 1554300821.075 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1554300821.089 * * * * [misc]points: Setting MPFR precision to 64 1554300821.093 * * * * [misc]points: Setting MPFR precision to 320 1554300821.097 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1554300821.106 * * * * [misc]points: Setting MPFR precision to 64 1554300821.113 * * * * [misc]points: Setting MPFR precision to 320 1554300821.120 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1554300821.129 * * * * [misc]points: Setting MPFR precision to 64 1554300821.140 * * * * [misc]points: Setting MPFR precision to 320 1554300821.151 * * * * [misc]points: Computing exacts for 256 points 1554300821.160 * * * * [misc]points: Setting MPFR precision to 64 1554300821.194 * * * * [misc]points: Setting MPFR precision to 320 1554300821.229 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300821.230 * * * * [misc]points: Sampling 172 additional inputs, on iter 1 have 84 / 256 1554300821.231 * * * * [misc]points: Computing exacts on every 10 of 172 points to ramp up precision 1554300821.240 * * * * [misc]points: Setting MPFR precision to 64 1554300821.243 * * * * [misc]points: Setting MPFR precision to 320 1554300821.245 * * * * [misc]points: Computing exacts on every 5 of 172 points to ramp up precision 1554300821.253 * * * * [misc]points: Setting MPFR precision to 64 1554300821.257 * * * * [misc]points: Setting MPFR precision to 320 1554300821.261 * * * * [misc]points: Computing exacts on every 2 of 172 points to ramp up precision 1554300821.304 * * * * [misc]points: Setting MPFR precision to 64 1554300821.314 * * * * [misc]points: Setting MPFR precision to 320 1554300821.322 * * * * [misc]points: Computing exacts for 172 points 1554300821.331 * * * * [misc]points: Setting MPFR precision to 64 1554300821.353 * * * * [misc]points: Setting MPFR precision to 320 1554300821.376 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300821.376 * * * * [misc]points: Sampling 126 additional inputs, on iter 2 have 130 / 256 1554300821.377 * * * * [misc]points: Computing exacts on every 7 of 126 points to ramp up precision 1554300821.386 * * * * [misc]points: Setting MPFR precision to 64 1554300821.388 * * * * [misc]points: Setting MPFR precision to 320 1554300821.390 * * * * [misc]points: Computing exacts on every 3 of 126 points to ramp up precision 1554300821.399 * * * * [misc]points: Setting MPFR precision to 64 1554300821.404 * * * * [misc]points: Setting MPFR precision to 320 1554300821.408 * * * * [misc]points: Computing exacts for 126 points 1554300821.417 * * * * [misc]points: Setting MPFR precision to 64 1554300821.433 * * * * [misc]points: Setting MPFR precision to 320 1554300821.450 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300821.450 * * * * [misc]points: Sampling 95 additional inputs, on iter 3 have 161 / 256 1554300821.451 * * * * [misc]points: Computing exacts on every 5 of 95 points to ramp up precision 1554300821.460 * * * * [misc]points: Setting MPFR precision to 64 1554300821.463 * * * * [misc]points: Setting MPFR precision to 320 1554300821.465 * * * * [misc]points: Computing exacts on every 2 of 95 points to ramp up precision 1554300821.510 * * * * [misc]points: Setting MPFR precision to 64 1554300821.515 * * * * [misc]points: Setting MPFR precision to 320 1554300821.523 * * * * [misc]points: Computing exacts for 95 points 1554300821.532 * * * * [misc]points: Setting MPFR precision to 64 1554300821.544 * * * * [misc]points: Setting MPFR precision to 320 1554300821.555 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300821.555 * * * * [misc]points: Sampling 64 additional inputs, on iter 4 have 192 / 256 1554300821.556 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision 1554300821.565 * * * * [misc]points: Setting MPFR precision to 64 1554300821.567 * * * * [misc]points: Setting MPFR precision to 320 1554300821.569 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision 1554300821.578 * * * * [misc]points: Setting MPFR precision to 64 1554300821.581 * * * * [misc]points: Setting MPFR precision to 320 1554300821.582 * * * * [misc]points: Computing exacts for 64 points 1554300821.587 * * * * [misc]points: Setting MPFR precision to 64 1554300821.591 * * * * [misc]points: Setting MPFR precision to 320 1554300821.596 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300821.596 * * * * [misc]points: Sampling 42 additional inputs, on iter 5 have 214 / 256 1554300821.596 * * * * [misc]points: Computing exacts on every 2 of 42 points to ramp up precision 1554300821.601 * * * * [misc]points: Setting MPFR precision to 64 1554300821.603 * * * * [misc]points: Setting MPFR precision to 320 1554300821.604 * * * * [misc]points: Computing exacts for 42 points 1554300821.613 * * * * [misc]points: Setting MPFR precision to 64 1554300821.618 * * * * [misc]points: Setting MPFR precision to 320 1554300821.624 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300821.624 * * * * [misc]points: Sampling 28 additional inputs, on iter 6 have 228 / 256 1554300821.624 * * * * [misc]points: Computing exacts for 28 points 1554300821.629 * * * * [misc]points: Setting MPFR precision to 64 1554300821.631 * * * * [misc]points: Setting MPFR precision to 320 1554300821.633 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300821.633 * * * * [misc]points: Sampling 21 additional inputs, on iter 7 have 235 / 256 1554300821.633 * * * * [misc]points: Computing exacts for 21 points 1554300821.655 * * * * [misc]points: Setting MPFR precision to 64 1554300821.657 * * * * [misc]points: Setting MPFR precision to 320 1554300821.659 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300821.659 * * * * [misc]points: Sampling 16 additional inputs, on iter 8 have 240 / 256 1554300821.659 * * * * [misc]points: Computing exacts for 16 points 1554300821.672 * * * * [misc]points: Setting MPFR precision to 64 1554300821.674 * * * * [misc]points: Setting MPFR precision to 320 1554300821.677 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300821.677 * * * * [misc]points: Sampling 10 additional inputs, on iter 9 have 246 / 256 1554300821.677 * * * * [misc]points: Computing exacts for 10 points 1554300821.686 * * * * [misc]points: Setting MPFR precision to 64 1554300821.688 * * * * [misc]points: Setting MPFR precision to 320 1554300821.690 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300821.690 * * * * [misc]points: Sampling 8 additional inputs, on iter 10 have 248 / 256 1554300821.690 * * * * [misc]points: Computing exacts for 8 points 1554300821.699 * * * * [misc]points: Setting MPFR precision to 64 1554300821.700 * * * * [misc]points: Setting MPFR precision to 320 1554300821.701 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300821.701 * * * * [misc]points: Sampling 7 additional inputs, on iter 11 have 249 / 256 1554300821.701 * * * * [misc]points: Computing exacts for 7 points 1554300821.710 * * * * [misc]points: Setting MPFR precision to 64 1554300821.711 * * * * [misc]points: Setting MPFR precision to 320 1554300821.712 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300821.712 * * * * [misc]points: Sampling 6 additional inputs, on iter 12 have 250 / 256 1554300821.712 * * * * [misc]points: Computing exacts for 6 points 1554300821.721 * * * * [misc]points: Setting MPFR precision to 64 1554300821.722 * * * * [misc]points: Setting MPFR precision to 320 1554300821.723 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300821.723 * * * * [misc]points: Sampling 6 additional inputs, on iter 13 have 250 / 256 1554300821.723 * * * * [misc]points: Computing exacts for 6 points 1554300821.733 * * * * [misc]points: Setting MPFR precision to 64 1554300821.734 * * * * [misc]points: Setting MPFR precision to 320 1554300821.735 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300821.735 * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 1554300821.735 * * * * [misc]points: Computing exacts for 5 points 1554300821.744 * * * * [misc]points: Setting MPFR precision to 64 1554300821.745 * * * * [misc]points: Setting MPFR precision to 320 1554300821.746 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300821.746 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 252 / 256 1554300821.746 * * * * [misc]points: Computing exacts for 4 points 1554300821.755 * * * * [misc]points: Setting MPFR precision to 64 1554300821.756 * * * * [misc]points: Setting MPFR precision to 320 1554300821.756 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300821.756 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 252 / 256 1554300821.756 * * * * [misc]points: Computing exacts for 4 points 1554300821.765 * * * * [misc]points: Setting MPFR precision to 64 1554300821.766 * * * * [misc]points: Setting MPFR precision to 320 1554300821.766 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300821.766 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 252 / 256 1554300821.767 * * * * [misc]points: Computing exacts for 4 points 1554300821.776 * * * * [misc]points: Setting MPFR precision to 64 1554300821.776 * * * * [misc]points: Setting MPFR precision to 320 1554300821.777 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300821.777 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 252 / 256 1554300821.777 * * * * [misc]points: Computing exacts for 4 points 1554300821.786 * * * * [misc]points: Setting MPFR precision to 64 1554300821.786 * * * * [misc]points: Setting MPFR precision to 320 1554300821.787 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300821.787 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 255 / 256 1554300821.787 * * * * [misc]points: Computing exacts for 4 points 1554300821.814 * * * * [misc]points: Setting MPFR precision to 64 1554300821.815 * * * * [misc]points: Setting MPFR precision to 320 1554300821.816 * * * * [misc]points: Filtering points with unrepresentable outputs 1554300821.816 * * * * [exit]points: Sampled 256 points with exact outputs 1554300821.816 * * * [misc]progress: [2/2] Setting up program. 1554300821.832 * [misc]progress: [Phase 2 of 3] Improving. 1554300821.832 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300821.832 * [enter]simplify: Simplifying (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)) 1554300821.832 * * [misc]simplify: iters left: 6 (19 enodes) 1554300821.837 * * [misc]simplify: iters left: 5 (48 enodes) 1554300821.847 * * [misc]simplify: iters left: 4 (124 enodes) 1554300821.902 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300821.902 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300821.902 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1554300821.902 * * [misc]simplify: Extracting #3: cost 31 inf + 2 1554300821.903 * * [misc]simplify: Extracting #4: cost 126 inf + 4 1554300821.904 * * [misc]simplify: Extracting #5: cost 211 inf + 2985 1554300821.913 * * [misc]simplify: Extracting #6: cost 160 inf + 31488 1554300821.919 * * [misc]simplify: Extracting #7: cost 101 inf + 88177 1554300821.936 * * [misc]simplify: Extracting #8: cost 1 inf + 172697 1554300821.956 * * [misc]simplify: Extracting #9: cost 0 inf + 173382 1554300821.971 * [exit]simplify: Simplified to (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)) 1554300821.972 * [misc]simplify: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300822.010 * * [misc]progress: iteration 1 / 4 1554300822.010 * * * [misc]progress: picking best candidate 1554300822.050 * * * * [misc]pick: Picked #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300822.050 * * * [misc]progress: localizing error 1554300822.347 * * * [misc]progress: generating rewritten candidates 1554300822.347 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1554300822.350 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1554300822.355 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 2 1) 1554300822.357 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2 2) 1554300822.362 * * * [misc]progress: generating series expansions 1554300822.362 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1554300822.362 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1554300822.362 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 2 1) 1554300822.362 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2 2) 1554300822.362 * * * [misc]progress: simplifying candidates 1554300822.362 * * * * [misc]progress: [ 1 / 15 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300822.363 * [enter]simplify: Simplifying (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) 1554300822.363 * * [misc]simplify: iters left: 4 (11 enodes) 1554300822.366 * * [misc]simplify: iters left: 3 (27 enodes) 1554300822.370 * * [misc]simplify: iters left: 2 (46 enodes) 1554300822.378 * * [misc]simplify: iters left: 1 (66 enodes) 1554300822.390 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300822.390 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1554300822.390 * * [misc]simplify: Extracting #2: cost 17 inf + 2 1554300822.390 * * [misc]simplify: Extracting #3: cost 14 inf + 47 1554300822.390 * * [misc]simplify: Extracting #4: cost 7 inf + 942 1554300822.391 * * [misc]simplify: Extracting #5: cost 1 inf + 3284 1554300822.391 * * [misc]simplify: Extracting #6: cost 0 inf + 3688 1554300822.392 * [exit]simplify: Simplified to (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha)) 1554300822.392 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300822.392 * * * * [misc]progress: [ 2 / 15 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300822.392 * [enter]simplify: Simplifying (-.p16 beta alpha) 1554300822.392 * * [misc]simplify: iters left: 1 (3 enodes) 1554300822.393 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300822.393 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554300822.393 * * [misc]simplify: Extracting #2: cost 5 inf + 44 1554300822.393 * * [misc]simplify: Extracting #3: cost 0 inf + 1571 1554300822.393 * [exit]simplify: Simplified to (-.p16 beta alpha) 1554300822.393 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (/.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300822.393 * * * * [misc]progress: [ 3 / 15 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300822.394 * [enter]simplify: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 beta alpha)) 1554300822.394 * * [misc]simplify: iters left: 3 (7 enodes) 1554300822.395 * * [misc]simplify: iters left: 2 (28 enodes) 1554300822.403 * * [misc]simplify: iters left: 1 (91 enodes) 1554300822.439 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300822.440 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1554300822.440 * * [misc]simplify: Extracting #2: cost 76 inf + 0 1554300822.440 * * [misc]simplify: Extracting #3: cost 90 inf + 1126 1554300822.441 * * [misc]simplify: Extracting #4: cost 76 inf + 20412 1554300822.443 * * [misc]simplify: Extracting #5: cost 14 inf + 82238 1554300822.446 * * [misc]simplify: Extracting #6: cost 1 inf + 104423 1554300822.450 * * [misc]simplify: Extracting #7: cost 0 inf + 106745 1554300822.454 * [exit]simplify: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) 1554300822.454 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) (*.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300822.454 * * * * [misc]progress: [ 4 / 15 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300822.454 * [enter]simplify: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) 1554300822.454 * * [misc]simplify: iters left: 4 (10 enodes) 1554300822.457 * * [misc]simplify: iters left: 3 (28 enodes) 1554300822.462 * * [misc]simplify: iters left: 2 (45 enodes) 1554300822.476 * * [misc]simplify: iters left: 1 (95 enodes) 1554300822.509 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300822.510 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1554300822.510 * * [misc]simplify: Extracting #2: cost 91 inf + 0 1554300822.510 * * [misc]simplify: Extracting #3: cost 119 inf + 2 1554300822.511 * * [misc]simplify: Extracting #4: cost 108 inf + 13203 1554300822.515 * * [misc]simplify: Extracting #5: cost 35 inf + 85388 1554300822.519 * * [misc]simplify: Extracting #6: cost 8 inf + 108558 1554300822.524 * * [misc]simplify: Extracting #7: cost 0 inf + 118029 1554300822.528 * [exit]simplify: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) 1554300822.528 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300822.529 * [enter]simplify: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) 1554300822.529 * * [misc]simplify: iters left: 5 (13 enodes) 1554300822.532 * * [misc]simplify: iters left: 4 (29 enodes) 1554300822.538 * * [misc]simplify: iters left: 3 (48 enodes) 1554300822.546 * * [misc]simplify: iters left: 2 (68 enodes) 1554300822.560 * * [misc]simplify: iters left: 1 (85 enodes) 1554300822.581 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300822.581 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300822.581 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1554300822.581 * * [misc]simplify: Extracting #3: cost 17 inf + 2 1554300822.581 * * [misc]simplify: Extracting #4: cost 15 inf + 46 1554300822.582 * * [misc]simplify: Extracting #5: cost 10 inf + 215 1554300822.582 * * [misc]simplify: Extracting #6: cost 1 inf + 3284 1554300822.583 * * [misc]simplify: Extracting #7: cost 0 inf + 4169 1554300822.585 * [exit]simplify: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) 1554300822.585 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300822.585 * * * * [misc]progress: [ 5 / 15 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300822.585 * [enter]simplify: Simplifying (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) 1554300822.585 * * [misc]simplify: iters left: 4 (9 enodes) 1554300822.589 * * [misc]simplify: iters left: 3 (24 enodes) 1554300822.597 * * [misc]simplify: iters left: 2 (49 enodes) 1554300822.621 * * [misc]simplify: iters left: 1 (145 enodes) 1554300822.708 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300822.708 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1554300822.708 * * [misc]simplify: Extracting #2: cost 46 inf + 1 1554300822.709 * * [misc]simplify: Extracting #3: cost 40 inf + 1054 1554300822.710 * * [misc]simplify: Extracting #4: cost 14 inf + 14850 1554300822.714 * * [misc]simplify: Extracting #5: cost 0 inf + 21942 1554300822.717 * [exit]simplify: Simplified to (*.p16 (*.p16 i (real->posit16 2)) (+.p16 (+.p16 (*.p16 i (real->posit16 2)) alpha) beta)) 1554300822.717 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (*.p16 (*.p16 i (real->posit16 2)) (+.p16 (+.p16 (*.p16 i (real->posit16 2)) alpha) beta)))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300822.718 * * * * [misc]progress: [ 6 / 15 ] simplifiying candidate #posit16 2.0))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (*.p16 (*.p16 (real->posit16 2) i) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300822.718 * [enter]simplify: Simplifying (*.p16 (*.p16 (real->posit16 2) i) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) 1554300822.718 * * [misc]simplify: iters left: 4 (9 enodes) 1554300822.723 * * [misc]simplify: iters left: 3 (29 enodes) 1554300822.734 * * [misc]simplify: iters left: 2 (81 enodes) 1554300822.760 * * [misc]simplify: iters left: 1 (201 enodes) 1554300822.812 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300822.812 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1554300822.813 * * [misc]simplify: Extracting #2: cost 45 inf + 1 1554300822.813 * * [misc]simplify: Extracting #3: cost 40 inf + 326 1554300822.813 * * [misc]simplify: Extracting #4: cost 22 inf + 9534 1554300822.815 * * [misc]simplify: Extracting #5: cost 1 inf + 21245 1554300822.817 * * [misc]simplify: Extracting #6: cost 0 inf + 21329 1554300822.818 * [exit]simplify: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2))) (*.p16 i (real->posit16 2))) 1554300822.818 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (+.p16 (*.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2))) (*.p16 i (real->posit16 2))))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300822.819 * * * * [misc]progress: [ 7 / 15 ] simplifiying candidate #posit16 2.0))) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300822.819 * * * * [misc]progress: [ 8 / 15 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300822.819 * [enter]simplify: Simplifying (real->posit16 2.0) 1554300822.819 * * [misc]simplify: iters left: 1 (2 enodes) 1554300822.820 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300822.820 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1554300822.820 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1554300822.820 * * [misc]simplify: Extracting #3: cost 0 inf + 2 1554300822.820 * [exit]simplify: Simplified to (real->posit16 2.0) 1554300822.820 * [misc]simplify: Simplified (2 1 1 2 2 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300822.820 * * * * [misc]progress: [ 9 / 15 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha (real->posit16 2.0)) beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300822.820 * * * * [misc]progress: [ 10 / 15 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300822.820 * * * * [misc]progress: [ 11 / 15 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300822.820 * * * * [misc]progress: [ 12 / 15 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300822.820 * [enter]simplify: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)) 1554300822.820 * * [misc]simplify: iters left: 6 (21 enodes) 1554300822.826 * * [misc]simplify: iters left: 5 (69 enodes) 1554300822.847 * * [misc]simplify: iters left: 4 (218 enodes) 1554300822.960 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300822.960 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300822.960 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1554300822.960 * * [misc]simplify: Extracting #3: cost 44 inf + 2 1554300822.961 * * [misc]simplify: Extracting #4: cost 162 inf + 3 1554300822.963 * * [misc]simplify: Extracting #5: cost 312 inf + 2340 1554300822.968 * * [misc]simplify: Extracting #6: cost 261 inf + 38236 1554300822.978 * * [misc]simplify: Extracting #7: cost 173 inf + 106010 1554300823.000 * * [misc]simplify: Extracting #8: cost 35 inf + 236229 1554300823.020 * * [misc]simplify: Extracting #9: cost 0 inf + 267735 1554300823.036 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0)) 1554300823.036 * [misc]simplify: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0))) 1554300823.036 * * * * [misc]progress: [ 13 / 15 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300823.037 * [enter]simplify: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)) 1554300823.037 * * [misc]simplify: iters left: 6 (21 enodes) 1554300823.043 * * [misc]simplify: iters left: 5 (69 enodes) 1554300823.058 * * [misc]simplify: iters left: 4 (218 enodes) 1554300823.163 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300823.163 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300823.163 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1554300823.163 * * [misc]simplify: Extracting #3: cost 44 inf + 2 1554300823.164 * * [misc]simplify: Extracting #4: cost 162 inf + 3 1554300823.166 * * [misc]simplify: Extracting #5: cost 312 inf + 2340 1554300823.170 * * [misc]simplify: Extracting #6: cost 261 inf + 38236 1554300823.185 * * [misc]simplify: Extracting #7: cost 173 inf + 106010 1554300823.210 * * [misc]simplify: Extracting #8: cost 35 inf + 236229 1554300823.226 * * [misc]simplify: Extracting #9: cost 0 inf + 267735 1554300823.243 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0)) 1554300823.243 * [misc]simplify: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0))) 1554300823.243 * * * * [misc]progress: [ 14 / 15 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300823.243 * [enter]simplify: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)) 1554300823.243 * * [misc]simplify: iters left: 6 (21 enodes) 1554300823.253 * * [misc]simplify: iters left: 5 (69 enodes) 1554300823.282 * * [misc]simplify: iters left: 4 (218 enodes) 1554300823.373 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300823.373 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300823.373 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1554300823.373 * * [misc]simplify: Extracting #3: cost 44 inf + 2 1554300823.374 * * [misc]simplify: Extracting #4: cost 162 inf + 3 1554300823.376 * * [misc]simplify: Extracting #5: cost 312 inf + 2340 1554300823.381 * * [misc]simplify: Extracting #6: cost 261 inf + 38236 1554300823.388 * * [misc]simplify: Extracting #7: cost 173 inf + 106010 1554300823.400 * * [misc]simplify: Extracting #8: cost 35 inf + 236229 1554300823.417 * * [misc]simplify: Extracting #9: cost 0 inf + 267735 1554300823.435 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0)) 1554300823.435 * [misc]simplify: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0))) 1554300823.435 * * * * [misc]progress: [ 15 / 15 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300823.435 * [enter]simplify: Simplifying (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)) 1554300823.435 * * [misc]simplify: iters left: 6 (21 enodes) 1554300823.441 * * [misc]simplify: iters left: 5 (69 enodes) 1554300823.461 * * [misc]simplify: iters left: 4 (218 enodes) 1554300823.550 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300823.550 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300823.550 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1554300823.550 * * [misc]simplify: Extracting #3: cost 44 inf + 2 1554300823.550 * * [misc]simplify: Extracting #4: cost 162 inf + 3 1554300823.552 * * [misc]simplify: Extracting #5: cost 312 inf + 2340 1554300823.554 * * [misc]simplify: Extracting #6: cost 261 inf + 38236 1554300823.561 * * [misc]simplify: Extracting #7: cost 173 inf + 106010 1554300823.585 * * [misc]simplify: Extracting #8: cost 35 inf + 236229 1554300823.618 * * [misc]simplify: Extracting #9: cost 0 inf + 267735 1554300823.652 * [exit]simplify: Simplified to (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0)) 1554300823.652 * [misc]simplify: Simplified (2) to (λ (alpha beta i) (/.p16 (+.p16 (real->posit16 1.0) (/.p16 (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) (*.p16 (+.p16 (+.p16 beta (+.p16 (real->posit16 2.0) alpha)) (*.p16 (real->posit16 2) i)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))))) (real->posit16 2.0))) 1554300823.653 * * * [misc]progress: adding candidates to table 1554300824.515 * * [misc]progress: iteration 2 / 4 1554300824.515 * * * [misc]progress: picking best candidate 1554300825.088 * * * * [misc]pick: Picked #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300825.088 * * * [misc]progress: localizing error 1554300825.285 * * * [misc]progress: generating rewritten candidates 1554300825.285 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 2) 1554300825.292 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1554300825.296 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 2 1) 1554300825.300 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2 2) 1554300825.310 * * * [misc]progress: generating series expansions 1554300825.310 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2) 1554300825.310 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1554300825.310 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 2 1) 1554300825.310 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2 2) 1554300825.310 * * * [misc]progress: simplifying candidates 1554300825.310 * * * * [misc]progress: [ 1 / 9 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300825.310 * [enter]simplify: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) 1554300825.311 * * [misc]simplify: iters left: 2 (5 enodes) 1554300825.313 * * [misc]simplify: iters left: 1 (19 enodes) 1554300825.320 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300825.320 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1554300825.320 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1554300825.320 * * [misc]simplify: Extracting #3: cost 16 inf + 1766 1554300825.321 * * [misc]simplify: Extracting #4: cost 6 inf + 6819 1554300825.321 * * [misc]simplify: Extracting #5: cost 1 inf + 12227 1554300825.322 * * [misc]simplify: Extracting #6: cost 0 inf + 13549 1554300825.323 * [exit]simplify: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) 1554300825.323 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300825.323 * * * * [misc]progress: [ 2 / 9 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300825.324 * [enter]simplify: Simplifying (real->posit16 2.0) 1554300825.324 * * [misc]simplify: iters left: 1 (2 enodes) 1554300825.325 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300825.325 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1554300825.325 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1554300825.325 * * [misc]simplify: Extracting #3: cost 0 inf + 2 1554300825.325 * [exit]simplify: Simplified to (real->posit16 2.0) 1554300825.325 * [misc]simplify: Simplified (2 1 1 2 2 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300825.326 * * * * [misc]progress: [ 3 / 9 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (+.p16 alpha (real->posit16 2.0)) beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300825.326 * * * * [misc]progress: [ 4 / 9 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300825.326 * * * * [misc]progress: [ 5 / 9 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300825.326 * * * * [misc]progress: [ 6 / 9 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300825.326 * [enter]simplify: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) 1554300825.326 * * [misc]simplify: iters left: 4 (10 enodes) 1554300825.331 * * [misc]simplify: iters left: 3 (28 enodes) 1554300825.340 * * [misc]simplify: iters left: 2 (45 enodes) 1554300825.356 * * [misc]simplify: iters left: 1 (95 enodes) 1554300825.406 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300825.406 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1554300825.407 * * [misc]simplify: Extracting #2: cost 91 inf + 0 1554300825.407 * * [misc]simplify: Extracting #3: cost 119 inf + 2 1554300825.409 * * [misc]simplify: Extracting #4: cost 108 inf + 13203 1554300825.413 * * [misc]simplify: Extracting #5: cost 35 inf + 85388 1554300825.422 * * [misc]simplify: Extracting #6: cost 8 inf + 108558 1554300825.431 * * [misc]simplify: Extracting #7: cost 0 inf + 118029 1554300825.440 * [exit]simplify: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) 1554300825.441 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300825.441 * [enter]simplify: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) 1554300825.441 * * [misc]simplify: iters left: 5 (13 enodes) 1554300825.447 * * [misc]simplify: iters left: 4 (29 enodes) 1554300825.457 * * [misc]simplify: iters left: 3 (48 enodes) 1554300825.472 * * [misc]simplify: iters left: 2 (68 enodes) 1554300825.491 * * [misc]simplify: iters left: 1 (85 enodes) 1554300825.512 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300825.512 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300825.512 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1554300825.512 * * [misc]simplify: Extracting #3: cost 17 inf + 2 1554300825.512 * * [misc]simplify: Extracting #4: cost 15 inf + 46 1554300825.513 * * [misc]simplify: Extracting #5: cost 10 inf + 215 1554300825.514 * * [misc]simplify: Extracting #6: cost 1 inf + 3284 1554300825.515 * * [misc]simplify: Extracting #7: cost 0 inf + 4169 1554300825.516 * [exit]simplify: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) 1554300825.516 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300825.516 * * * * [misc]progress: [ 7 / 9 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300825.517 * [enter]simplify: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) 1554300825.517 * * [misc]simplify: iters left: 4 (10 enodes) 1554300825.522 * * [misc]simplify: iters left: 3 (28 enodes) 1554300825.535 * * [misc]simplify: iters left: 2 (45 enodes) 1554300825.551 * * [misc]simplify: iters left: 1 (95 enodes) 1554300825.594 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300825.594 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1554300825.595 * * [misc]simplify: Extracting #2: cost 91 inf + 0 1554300825.595 * * [misc]simplify: Extracting #3: cost 119 inf + 2 1554300825.597 * * [misc]simplify: Extracting #4: cost 108 inf + 13203 1554300825.602 * * [misc]simplify: Extracting #5: cost 35 inf + 85388 1554300825.610 * * [misc]simplify: Extracting #6: cost 8 inf + 108558 1554300825.619 * * [misc]simplify: Extracting #7: cost 0 inf + 118029 1554300825.627 * [exit]simplify: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) 1554300825.628 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300825.628 * [enter]simplify: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) 1554300825.628 * * [misc]simplify: iters left: 5 (13 enodes) 1554300825.634 * * [misc]simplify: iters left: 4 (29 enodes) 1554300825.644 * * [misc]simplify: iters left: 3 (48 enodes) 1554300825.661 * * [misc]simplify: iters left: 2 (68 enodes) 1554300825.685 * * [misc]simplify: iters left: 1 (85 enodes) 1554300825.707 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300825.707 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300825.707 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1554300825.707 * * [misc]simplify: Extracting #3: cost 17 inf + 2 1554300825.707 * * [misc]simplify: Extracting #4: cost 15 inf + 46 1554300825.708 * * [misc]simplify: Extracting #5: cost 10 inf + 215 1554300825.709 * * [misc]simplify: Extracting #6: cost 1 inf + 3284 1554300825.710 * * [misc]simplify: Extracting #7: cost 0 inf + 4169 1554300825.711 * [exit]simplify: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) 1554300825.711 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300825.711 * * * * [misc]progress: [ 8 / 9 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300825.712 * [enter]simplify: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) 1554300825.712 * * [misc]simplify: iters left: 4 (10 enodes) 1554300825.716 * * [misc]simplify: iters left: 3 (28 enodes) 1554300825.726 * * [misc]simplify: iters left: 2 (45 enodes) 1554300825.741 * * [misc]simplify: iters left: 1 (95 enodes) 1554300825.782 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300825.782 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1554300825.782 * * [misc]simplify: Extracting #2: cost 91 inf + 0 1554300825.783 * * [misc]simplify: Extracting #3: cost 119 inf + 2 1554300825.785 * * [misc]simplify: Extracting #4: cost 108 inf + 13203 1554300825.790 * * [misc]simplify: Extracting #5: cost 35 inf + 85388 1554300825.798 * * [misc]simplify: Extracting #6: cost 8 inf + 108558 1554300825.807 * * [misc]simplify: Extracting #7: cost 0 inf + 118029 1554300825.816 * [exit]simplify: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) 1554300825.816 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300825.816 * [enter]simplify: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) 1554300825.816 * * [misc]simplify: iters left: 5 (13 enodes) 1554300825.824 * * [misc]simplify: iters left: 4 (29 enodes) 1554300825.834 * * [misc]simplify: iters left: 3 (48 enodes) 1554300825.850 * * [misc]simplify: iters left: 2 (68 enodes) 1554300825.871 * * [misc]simplify: iters left: 1 (85 enodes) 1554300825.893 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300825.893 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300825.893 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1554300825.894 * * [misc]simplify: Extracting #3: cost 17 inf + 2 1554300825.894 * * [misc]simplify: Extracting #4: cost 15 inf + 46 1554300825.894 * * [misc]simplify: Extracting #5: cost 10 inf + 215 1554300825.895 * * [misc]simplify: Extracting #6: cost 1 inf + 3284 1554300825.896 * * [misc]simplify: Extracting #7: cost 0 inf + 4169 1554300825.897 * [exit]simplify: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) 1554300825.897 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300825.898 * * * * [misc]progress: [ 9 / 9 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300825.898 * [enter]simplify: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) 1554300825.898 * * [misc]simplify: iters left: 4 (10 enodes) 1554300825.903 * * [misc]simplify: iters left: 3 (28 enodes) 1554300825.912 * * [misc]simplify: iters left: 2 (45 enodes) 1554300825.928 * * [misc]simplify: iters left: 1 (95 enodes) 1554300825.973 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300825.973 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1554300825.974 * * [misc]simplify: Extracting #2: cost 91 inf + 0 1554300825.974 * * [misc]simplify: Extracting #3: cost 119 inf + 2 1554300825.975 * * [misc]simplify: Extracting #4: cost 108 inf + 13203 1554300825.980 * * [misc]simplify: Extracting #5: cost 35 inf + 85388 1554300825.987 * * [misc]simplify: Extracting #6: cost 8 inf + 108558 1554300825.995 * * [misc]simplify: Extracting #7: cost 0 inf + 118029 1554300826.004 * [exit]simplify: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) 1554300826.005 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300826.005 * [enter]simplify: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) 1554300826.005 * * [misc]simplify: iters left: 5 (13 enodes) 1554300826.012 * * [misc]simplify: iters left: 4 (29 enodes) 1554300826.022 * * [misc]simplify: iters left: 3 (48 enodes) 1554300826.038 * * [misc]simplify: iters left: 2 (68 enodes) 1554300826.059 * * [misc]simplify: iters left: 1 (85 enodes) 1554300826.080 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300826.080 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300826.080 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1554300826.081 * * [misc]simplify: Extracting #3: cost 17 inf + 2 1554300826.081 * * [misc]simplify: Extracting #4: cost 15 inf + 46 1554300826.081 * * [misc]simplify: Extracting #5: cost 10 inf + 215 1554300826.082 * * [misc]simplify: Extracting #6: cost 1 inf + 3284 1554300826.083 * * [misc]simplify: Extracting #7: cost 0 inf + 4169 1554300826.084 * [exit]simplify: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) 1554300826.085 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300826.085 * * * [misc]progress: adding candidates to table 1554300826.512 * * [misc]progress: iteration 3 / 4 1554300826.512 * * * [misc]progress: picking best candidate 1554300826.732 * * * * [misc]pick: Picked #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300826.733 * * * [misc]progress: localizing error 1554300826.866 * * * [misc]progress: generating rewritten candidates 1554300826.866 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 2) 1554300826.869 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1554300826.871 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 2) 1554300826.875 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 2) 1554300826.878 * * * [misc]progress: generating series expansions 1554300826.878 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2) 1554300826.878 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1554300826.878 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 2) 1554300826.878 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 2) 1554300826.878 * * * [misc]progress: simplifying candidates 1554300826.878 * * * * [misc]progress: [ 1 / 9 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300826.878 * [enter]simplify: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) 1554300826.878 * * [misc]simplify: iters left: 2 (5 enodes) 1554300826.879 * * [misc]simplify: iters left: 1 (19 enodes) 1554300826.885 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300826.885 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1554300826.885 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1554300826.885 * * [misc]simplify: Extracting #3: cost 16 inf + 1766 1554300826.886 * * [misc]simplify: Extracting #4: cost 6 inf + 6819 1554300826.886 * * [misc]simplify: Extracting #5: cost 1 inf + 12227 1554300826.887 * * [misc]simplify: Extracting #6: cost 0 inf + 13549 1554300826.888 * [exit]simplify: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) 1554300826.888 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300826.888 * * * * [misc]progress: [ 2 / 9 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300826.889 * [enter]simplify: Simplifying (*.p16 (real->posit16 2) i) 1554300826.889 * * [misc]simplify: iters left: 2 (4 enodes) 1554300826.891 * * [misc]simplify: iters left: 1 (8 enodes) 1554300826.894 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300826.894 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300826.894 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1554300826.894 * * [misc]simplify: Extracting #3: cost 2 inf + 2 1554300826.894 * * [misc]simplify: Extracting #4: cost 0 inf + 325 1554300826.894 * [exit]simplify: Simplified to (*.p16 i (real->posit16 2)) 1554300826.894 * [misc]simplify: Simplified (2 1 1 2 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 i (real->posit16 2))))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300826.894 * * * * [misc]progress: [ 3 / 9 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)) beta))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300826.894 * * * * [misc]progress: [ 4 / 9 ] simplifiying candidate #posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300826.894 * * * * [misc]progress: [ 5 / 9 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300826.894 * * * * [misc]progress: [ 6 / 9 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300826.894 * * * * [misc]progress: [ 7 / 9 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300826.894 * * * * [misc]progress: [ 8 / 9 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300826.895 * * * * [misc]progress: [ 9 / 9 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300826.895 * * * [misc]progress: adding candidates to table 1554300827.352 * * [misc]progress: iteration 4 / 4 1554300827.352 * * * [misc]progress: picking best candidate 1554300827.554 * * * * [misc]pick: Picked #posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300827.555 * * * [misc]progress: localizing error 1554300827.718 * * * [misc]progress: generating rewritten candidates 1554300827.718 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 2) 1554300827.726 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1554300827.730 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 2) 1554300827.738 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 2) 1554300827.744 * * * [misc]progress: generating series expansions 1554300827.744 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2) 1554300827.744 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1554300827.744 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 2) 1554300827.744 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 2) 1554300827.744 * * * [misc]progress: simplifying candidates 1554300827.744 * * * * [misc]progress: [ 1 / 9 ] simplifiying candidate #posit16 2) i) beta) alpha) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300827.745 * [enter]simplify: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) 1554300827.745 * * [misc]simplify: iters left: 2 (5 enodes) 1554300827.747 * * [misc]simplify: iters left: 1 (19 enodes) 1554300827.754 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300827.754 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1554300827.754 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1554300827.754 * * [misc]simplify: Extracting #3: cost 16 inf + 1766 1554300827.755 * * [misc]simplify: Extracting #4: cost 6 inf + 6819 1554300827.755 * * [misc]simplify: Extracting #5: cost 1 inf + 12227 1554300827.756 * * [misc]simplify: Extracting #6: cost 0 inf + 13549 1554300827.757 * [exit]simplify: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) 1554300827.757 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300827.757 * * * * [misc]progress: [ 2 / 9 ] simplifiying candidate #posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300827.758 * [enter]simplify: Simplifying (*.p16 (real->posit16 2) i) 1554300827.758 * * [misc]simplify: iters left: 2 (4 enodes) 1554300827.760 * * [misc]simplify: iters left: 1 (8 enodes) 1554300827.762 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300827.762 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300827.762 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1554300827.762 * * [misc]simplify: Extracting #3: cost 2 inf + 2 1554300827.762 * * [misc]simplify: Extracting #4: cost 0 inf + 325 1554300827.762 * [exit]simplify: Simplified to (*.p16 i (real->posit16 2)) 1554300827.762 * [misc]simplify: Simplified (2 1 1 2 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 i (real->posit16 2))))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300827.762 * * * * [misc]progress: [ 3 / 9 ] simplifiying candidate #posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i)) beta))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300827.762 * * * * [misc]progress: [ 4 / 9 ] simplifiying candidate #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300827.762 * [enter]simplify: Simplifying (*.p16 (real->posit16 2) i) 1554300827.762 * * [misc]simplify: iters left: 2 (4 enodes) 1554300827.764 * * [misc]simplify: iters left: 1 (8 enodes) 1554300827.765 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554300827.765 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554300827.765 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1554300827.765 * * [misc]simplify: Extracting #3: cost 2 inf + 2 1554300827.765 * * [misc]simplify: Extracting #4: cost 0 inf + 325 1554300827.765 * [exit]simplify: Simplified to (*.p16 i (real->posit16 2)) 1554300827.765 * [misc]simplify: Simplified (2 1 1 1 2 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 i (real->posit16 2)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0))) 1554300827.765 * * * * [misc]progress: [ 5 / 9 ] simplifiying candidate #posit16 2) i) beta))) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300827.765 * * * * [misc]progress: [ 6 / 9 ] simplifiying candidate #posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300827.765 * * * * [misc]progress: [ 7 / 9 ] simplifiying candidate #posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300827.765 * * * * [misc]progress: [ 8 / 9 ] simplifiying candidate #posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300827.766 * * * * [misc]progress: [ 9 / 9 ] simplifiying candidate #posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> 1554300827.766 * * * [misc]progress: adding candidates to table 1554300828.039 * [misc]progress: [Phase 3 of 3] Extracting. 1554300828.039 * * [misc]regime: Finding splitpoints for: (#posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))>) 1554300828.042 * * * [misc]regime-changes: Trying 3 branch expressions: (i beta alpha) 1554300828.042 * * * * [misc]regimes: Trying to branch on i from (#posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))>) 1554300828.309 * * * * [misc]regimes: Trying to branch on beta from (#posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))>) 1554300828.573 * * * * [misc]regimes: Trying to branch on alpha from (#posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 (+.p16 beta alpha) (real->posit16 2.0)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha))) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta alpha))) (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) beta) alpha)) (/.p16 (+.p16 beta alpha) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 alpha (real->posit16 2.0)))) (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i) (+.p16 beta alpha)) (+.p16 beta (+.p16 (+.p16 alpha (real->posit16 2.0)) (*.p16 (real->posit16 2) i))))) (real->posit16 1.0)) (real->posit16 2.0)))>) 1554300828.801 * * * [misc]regime: Found split indices: #