1550842867.929 * [misc]progress: [Phase 1 of 3] Setting up. 1550842867.929 * * * [misc]progress: [1/2] Preparing points 1550842867.930 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1550842867.932 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1550842867.939 * * * * [misc]points: Setting MPFR precision to 64 1550842867.941 * * * * [misc]points: Setting MPFR precision to 320 1550842867.943 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1550842867.951 * * * * [misc]points: Setting MPFR precision to 64 1550842867.959 * * * * [misc]points: Setting MPFR precision to 320 1550842867.963 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1550842867.972 * * * * [misc]points: Setting MPFR precision to 64 1550842867.977 * * * * [misc]points: Setting MPFR precision to 320 1550842867.983 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1550842867.992 * * * * [misc]points: Setting MPFR precision to 64 1550842868.002 * * * * [misc]points: Setting MPFR precision to 320 1550842868.012 * * * * [misc]points: Computing exacts for 256 points 1550842868.020 * * * * [misc]points: Setting MPFR precision to 64 1550842868.048 * * * * [misc]points: Setting MPFR precision to 320 1550842868.079 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842868.085 * * * * [misc]points: Sampling 193 additional inputs, on iter 1 have 63 / 256 1550842868.086 * * * * [misc]points: Computing exacts on every 12 of 193 points to ramp up precision 1550842868.094 * * * * [misc]points: Setting MPFR precision to 64 1550842868.096 * * * * [misc]points: Setting MPFR precision to 320 1550842868.098 * * * * [misc]points: Computing exacts on every 6 of 193 points to ramp up precision 1550842868.106 * * * * [misc]points: Setting MPFR precision to 64 1550842868.109 * * * * [misc]points: Setting MPFR precision to 320 1550842868.139 * * * * [misc]points: Computing exacts on every 3 of 193 points to ramp up precision 1550842868.150 * * * * [misc]points: Setting MPFR precision to 64 1550842868.155 * * * * [misc]points: Setting MPFR precision to 320 1550842868.162 * * * * [misc]points: Computing exacts for 193 points 1550842868.170 * * * * [misc]points: Setting MPFR precision to 64 1550842868.191 * * * * [misc]points: Setting MPFR precision to 320 1550842868.213 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842868.216 * * * * [misc]points: Sampling 152 additional inputs, on iter 2 have 104 / 256 1550842868.217 * * * * [misc]points: Computing exacts on every 9 of 152 points to ramp up precision 1550842868.221 * * * * [misc]points: Setting MPFR precision to 64 1550842868.223 * * * * [misc]points: Setting MPFR precision to 320 1550842868.224 * * * * [misc]points: Computing exacts on every 4 of 152 points to ramp up precision 1550842868.228 * * * * [misc]points: Setting MPFR precision to 64 1550842868.231 * * * * [misc]points: Setting MPFR precision to 320 1550842868.233 * * * * [misc]points: Computing exacts on every 2 of 152 points to ramp up precision 1550842868.238 * * * * [misc]points: Setting MPFR precision to 64 1550842868.242 * * * * [misc]points: Setting MPFR precision to 320 1550842868.246 * * * * [misc]points: Computing exacts for 152 points 1550842868.251 * * * * [misc]points: Setting MPFR precision to 64 1550842868.282 * * * * [misc]points: Setting MPFR precision to 320 1550842868.294 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842868.298 * * * * [misc]points: Sampling 103 additional inputs, on iter 3 have 153 / 256 1550842868.298 * * * * [misc]points: Computing exacts on every 6 of 103 points to ramp up precision 1550842868.303 * * * * [misc]points: Setting MPFR precision to 64 1550842868.304 * * * * [misc]points: Setting MPFR precision to 320 1550842868.305 * * * * [misc]points: Computing exacts on every 3 of 103 points to ramp up precision 1550842868.310 * * * * [misc]points: Setting MPFR precision to 64 1550842868.312 * * * * [misc]points: Setting MPFR precision to 320 1550842868.314 * * * * [misc]points: Computing exacts for 103 points 1550842868.318 * * * * [misc]points: Setting MPFR precision to 64 1550842868.326 * * * * [misc]points: Setting MPFR precision to 320 1550842868.333 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842868.335 * * * * [misc]points: Sampling 75 additional inputs, on iter 4 have 181 / 256 1550842868.336 * * * * [misc]points: Computing exacts on every 4 of 75 points to ramp up precision 1550842868.340 * * * * [misc]points: Setting MPFR precision to 64 1550842868.341 * * * * [misc]points: Setting MPFR precision to 320 1550842868.342 * * * * [misc]points: Computing exacts on every 2 of 75 points to ramp up precision 1550842868.347 * * * * [misc]points: Setting MPFR precision to 64 1550842868.349 * * * * [misc]points: Setting MPFR precision to 320 1550842868.351 * * * * [misc]points: Computing exacts for 75 points 1550842868.355 * * * * [misc]points: Setting MPFR precision to 64 1550842868.361 * * * * [misc]points: Setting MPFR precision to 320 1550842868.366 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842868.368 * * * * [misc]points: Sampling 54 additional inputs, on iter 5 have 202 / 256 1550842868.368 * * * * [misc]points: Computing exacts on every 3 of 54 points to ramp up precision 1550842868.400 * * * * [misc]points: Setting MPFR precision to 64 1550842868.406 * * * * [misc]points: Setting MPFR precision to 320 1550842868.407 * * * * [misc]points: Computing exacts for 54 points 1550842868.417 * * * * [misc]points: Setting MPFR precision to 64 1550842868.422 * * * * [misc]points: Setting MPFR precision to 320 1550842868.429 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842868.431 * * * * [misc]points: Sampling 41 additional inputs, on iter 6 have 215 / 256 1550842868.432 * * * * [misc]points: Computing exacts on every 2 of 41 points to ramp up precision 1550842868.440 * * * * [misc]points: Setting MPFR precision to 64 1550842868.442 * * * * [misc]points: Setting MPFR precision to 320 1550842868.444 * * * * [misc]points: Computing exacts for 41 points 1550842868.453 * * * * [misc]points: Setting MPFR precision to 64 1550842868.460 * * * * [misc]points: Setting MPFR precision to 320 1550842868.466 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842868.467 * * * * [misc]points: Sampling 30 additional inputs, on iter 7 have 226 / 256 1550842868.467 * * * * [misc]points: Computing exacts for 30 points 1550842868.472 * * * * [misc]points: Setting MPFR precision to 64 1550842868.475 * * * * [misc]points: Setting MPFR precision to 320 1550842868.477 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842868.478 * * * * [misc]points: Sampling 23 additional inputs, on iter 8 have 233 / 256 1550842868.478 * * * * [misc]points: Computing exacts for 23 points 1550842868.482 * * * * [misc]points: Setting MPFR precision to 64 1550842868.484 * * * * [misc]points: Setting MPFR precision to 320 1550842868.486 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842868.486 * * * * [misc]points: Sampling 19 additional inputs, on iter 9 have 237 / 256 1550842868.486 * * * * [misc]points: Computing exacts for 19 points 1550842868.491 * * * * [misc]points: Setting MPFR precision to 64 1550842868.492 * * * * [misc]points: Setting MPFR precision to 320 1550842868.494 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842868.494 * * * * [misc]points: Sampling 16 additional inputs, on iter 10 have 240 / 256 1550842868.494 * * * * [misc]points: Computing exacts for 16 points 1550842868.499 * * * * [misc]points: Setting MPFR precision to 64 1550842868.500 * * * * [misc]points: Setting MPFR precision to 320 1550842868.501 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842868.502 * * * * [misc]points: Sampling 11 additional inputs, on iter 11 have 245 / 256 1550842868.502 * * * * [misc]points: Computing exacts for 11 points 1550842868.519 * * * * [misc]points: Setting MPFR precision to 64 1550842868.520 * * * * [misc]points: Setting MPFR precision to 320 1550842868.521 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842868.522 * * * * [misc]points: Sampling 6 additional inputs, on iter 12 have 250 / 256 1550842868.522 * * * * [misc]points: Computing exacts for 6 points 1550842868.528 * * * * [misc]points: Setting MPFR precision to 64 1550842868.528 * * * * [misc]points: Setting MPFR precision to 320 1550842868.529 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842868.529 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 252 / 256 1550842868.529 * * * * [misc]points: Computing exacts for 4 points 1550842868.534 * * * * [misc]points: Setting MPFR precision to 64 1550842868.534 * * * * [misc]points: Setting MPFR precision to 320 1550842868.534 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842868.535 * * * * [misc]points: Sampling 4 additional inputs, on iter 14 have 253 / 256 1550842868.535 * * * * [misc]points: Computing exacts for 4 points 1550842868.539 * * * * [misc]points: Setting MPFR precision to 64 1550842868.539 * * * * [misc]points: Setting MPFR precision to 320 1550842868.540 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842868.540 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 255 / 256 1550842868.540 * * * * [misc]points: Computing exacts for 4 points 1550842868.544 * * * * [misc]points: Setting MPFR precision to 64 1550842868.545 * * * * [misc]points: Setting MPFR precision to 320 1550842868.545 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842868.545 * * * * [exit]points: Sampled 256 points with exact outputs 1550842868.545 * * * [misc]progress: [2/2] Setting up program. 1550842868.572 * [misc]progress: [Phase 2 of 3] Improving. 1550842868.572 * * * * [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)))> 1550842868.573 * [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)) 1550842868.573 * * [misc]simplify: iters left: 6 (19 enodes) 1550842868.577 * * [misc]simplify: iters left: 5 (48 enodes) 1550842868.586 * * [misc]simplify: iters left: 4 (124 enodes) 1550842868.630 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842868.630 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842868.630 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550842868.630 * * [misc]simplify: Extracting #3: cost 31 inf + 2 1550842868.630 * * [misc]simplify: Extracting #4: cost 126 inf + 4 1550842868.631 * * [misc]simplify: Extracting #5: cost 211 inf + 2985 1550842868.633 * * [misc]simplify: Extracting #6: cost 160 inf + 31488 1550842868.636 * * [misc]simplify: Extracting #7: cost 101 inf + 88177 1550842868.645 * * [misc]simplify: Extracting #8: cost 1 inf + 172697 1550842868.654 * * [misc]simplify: Extracting #9: cost 0 inf + 173382 1550842868.663 * [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)) 1550842868.663 * [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))) 1550842868.722 * * [misc]progress: iteration 1 / 4 1550842868.722 * * * [misc]progress: picking best candidate 1550842868.771 * * * * [misc]pick: Picked #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)))> 1550842868.771 * * * [misc]progress: localizing error 1550842869.227 * * * [misc]progress: generating rewritten candidates 1550842869.227 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 1) 1550842869.231 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1) 1550842869.241 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1) 1550842869.254 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2 1) 1550842869.260 * * * [misc]progress: generating series expansions 1550842869.260 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 1) 1550842869.260 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1) 1550842869.260 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1) 1550842869.260 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2 1) 1550842869.260 * * * [misc]progress: simplifying candidates 1550842869.260 * * * * [misc]progress: [ 1 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842869.260 * [enter]simplify: Simplifying (+.p16 alpha beta) 1550842869.260 * * [misc]simplify: iters left: 1 (3 enodes) 1550842869.262 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842869.262 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842869.262 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550842869.262 * * [misc]simplify: Extracting #3: cost 0 inf + 44 1550842869.262 * [exit]simplify: Simplified to (+.p16 beta alpha) 1550842869.262 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842869.262 * * * * [misc]progress: [ 2 / 10 ] simplifiying candidate #posit16 2) i)) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842869.262 * [enter]simplify: Simplifying (*.p16 (+.p16 alpha beta) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) 1550842869.262 * * [misc]simplify: iters left: 3 (7 enodes) 1550842869.266 * * [misc]simplify: iters left: 2 (22 enodes) 1550842869.274 * * [misc]simplify: iters left: 1 (61 enodes) 1550842869.294 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842869.294 * * [misc]simplify: Extracting #1: cost 15 inf + 0 1550842869.294 * * [misc]simplify: Extracting #2: cost 60 inf + 0 1550842869.294 * * [misc]simplify: Extracting #3: cost 64 inf + 2 1550842869.295 * * [misc]simplify: Extracting #4: cost 43 inf + 25499 1550842869.297 * * [misc]simplify: Extracting #5: cost 3 inf + 68523 1550842869.299 * * [misc]simplify: Extracting #6: cost 0 inf + 73168 1550842869.301 * [exit]simplify: Simplified to (*.p16 (+.p16 beta alpha) (*.p16 (+.p16 beta alpha) (-.p16 beta alpha))) 1550842869.301 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (*.p16 (+.p16 beta alpha) (*.p16 (+.p16 beta alpha) (-.p16 beta alpha))) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842869.301 * * * * [misc]progress: [ 3 / 10 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842869.302 * [enter]simplify: Simplifying (*.p16 (+.p16 alpha beta) (-.p16 beta alpha)) 1550842869.302 * * [misc]simplify: iters left: 2 (5 enodes) 1550842869.303 * * [misc]simplify: iters left: 1 (17 enodes) 1550842869.306 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842869.306 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1550842869.306 * * [misc]simplify: Extracting #2: cost 23 inf + 0 1550842869.306 * * [misc]simplify: Extracting #3: cost 20 inf + 323 1550842869.306 * * [misc]simplify: Extracting #4: cost 12 inf + 2616 1550842869.307 * * [misc]simplify: Extracting #5: cost 0 inf + 9758 1550842869.307 * [exit]simplify: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) 1550842869.307 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (-.p16 beta alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842869.307 * * * * [misc]progress: [ 4 / 10 ] simplifiying candidate #posit16 1.0) (/.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 2.0)))> 1550842869.307 * * * * [misc]progress: [ 5 / 10 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842869.307 * * * * [misc]progress: [ 6 / 10 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842869.307 * * * * [misc]progress: [ 7 / 10 ] 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)))> 1550842869.307 * [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)) 1550842869.307 * * [misc]simplify: iters left: 6 (19 enodes) 1550842869.313 * * [misc]simplify: iters left: 5 (48 enodes) 1550842869.332 * * [misc]simplify: iters left: 4 (124 enodes) 1550842869.402 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842869.402 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842869.402 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550842869.402 * * [misc]simplify: Extracting #3: cost 31 inf + 2 1550842869.403 * * [misc]simplify: Extracting #4: cost 126 inf + 4 1550842869.404 * * [misc]simplify: Extracting #5: cost 211 inf + 2985 1550842869.408 * * [misc]simplify: Extracting #6: cost 160 inf + 31488 1550842869.411 * * [misc]simplify: Extracting #7: cost 101 inf + 88177 1550842869.420 * * [misc]simplify: Extracting #8: cost 1 inf + 172697 1550842869.429 * * [misc]simplify: Extracting #9: cost 0 inf + 173382 1550842869.439 * [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)) 1550842869.439 * [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))) 1550842869.439 * * * * [misc]progress: [ 8 / 10 ] 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)))> 1550842869.439 * [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)) 1550842869.439 * * [misc]simplify: iters left: 6 (19 enodes) 1550842869.444 * * [misc]simplify: iters left: 5 (48 enodes) 1550842869.461 * * [misc]simplify: iters left: 4 (124 enodes) 1550842869.536 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842869.536 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842869.536 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550842869.537 * * [misc]simplify: Extracting #3: cost 31 inf + 2 1550842869.537 * * [misc]simplify: Extracting #4: cost 126 inf + 4 1550842869.538 * * [misc]simplify: Extracting #5: cost 211 inf + 2985 1550842869.539 * * [misc]simplify: Extracting #6: cost 160 inf + 31488 1550842869.543 * * [misc]simplify: Extracting #7: cost 101 inf + 88177 1550842869.551 * * [misc]simplify: Extracting #8: cost 1 inf + 172697 1550842869.561 * * [misc]simplify: Extracting #9: cost 0 inf + 173382 1550842869.577 * [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)) 1550842869.577 * [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))) 1550842869.577 * * * * [misc]progress: [ 9 / 10 ] 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)))> 1550842869.577 * [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)) 1550842869.578 * * [misc]simplify: iters left: 6 (19 enodes) 1550842869.582 * * [misc]simplify: iters left: 5 (48 enodes) 1550842869.592 * * [misc]simplify: iters left: 4 (124 enodes) 1550842869.651 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842869.651 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842869.651 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550842869.651 * * [misc]simplify: Extracting #3: cost 31 inf + 2 1550842869.651 * * [misc]simplify: Extracting #4: cost 126 inf + 4 1550842869.653 * * [misc]simplify: Extracting #5: cost 211 inf + 2985 1550842869.656 * * [misc]simplify: Extracting #6: cost 160 inf + 31488 1550842869.663 * * [misc]simplify: Extracting #7: cost 101 inf + 88177 1550842869.676 * * [misc]simplify: Extracting #8: cost 1 inf + 172697 1550842869.687 * * [misc]simplify: Extracting #9: cost 0 inf + 173382 1550842869.697 * [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)) 1550842869.697 * [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))) 1550842869.697 * * * * [misc]progress: [ 10 / 10 ] 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)))> 1550842869.697 * [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)) 1550842869.697 * * [misc]simplify: iters left: 6 (19 enodes) 1550842869.702 * * [misc]simplify: iters left: 5 (48 enodes) 1550842869.715 * * [misc]simplify: iters left: 4 (124 enodes) 1550842869.757 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842869.757 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842869.757 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1550842869.757 * * [misc]simplify: Extracting #3: cost 31 inf + 2 1550842869.758 * * [misc]simplify: Extracting #4: cost 126 inf + 4 1550842869.758 * * [misc]simplify: Extracting #5: cost 211 inf + 2985 1550842869.761 * * [misc]simplify: Extracting #6: cost 160 inf + 31488 1550842869.764 * * [misc]simplify: Extracting #7: cost 101 inf + 88177 1550842869.774 * * [misc]simplify: Extracting #8: cost 1 inf + 172697 1550842869.789 * * [misc]simplify: Extracting #9: cost 0 inf + 173382 1550842869.801 * [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)) 1550842869.801 * [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))) 1550842869.801 * * * [misc]progress: adding candidates to table 1550842870.471 * * [misc]progress: iteration 2 / 4 1550842870.471 * * * [misc]progress: picking best candidate 1550842870.579 * * * * [misc]pick: Picked #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842870.579 * * * [misc]progress: localizing error 1550842870.776 * * * [misc]progress: generating rewritten candidates 1550842870.776 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 1 2) 1550842870.783 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1) 1550842870.795 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1) 1550842870.797 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1550842870.826 * * * [misc]progress: generating series expansions 1550842870.826 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 1 2) 1550842870.826 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1) 1550842870.826 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1) 1550842870.826 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1550842870.826 * * * [misc]progress: simplifying candidates 1550842870.826 * * * * [misc]progress: [ 1 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842870.830 * [enter]simplify: Simplifying (+.p16 beta alpha) 1550842870.830 * * [misc]simplify: iters left: 1 (3 enodes) 1550842870.830 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842870.831 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842870.831 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550842870.831 * * [misc]simplify: Extracting #3: cost 0 inf + 44 1550842870.831 * [exit]simplify: Simplified to (+.p16 alpha beta) 1550842870.831 * [misc]simplify: Simplified (2 1 1 1 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (*.p16 (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842870.831 * * * * [misc]progress: [ 2 / 10 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842870.831 * [enter]simplify: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1550842870.831 * * [misc]simplify: iters left: 4 (9 enodes) 1550842870.834 * * [misc]simplify: iters left: 3 (21 enodes) 1550842870.837 * * [misc]simplify: iters left: 2 (27 enodes) 1550842870.841 * * [misc]simplify: iters left: 1 (29 enodes) 1550842870.845 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842870.845 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842870.845 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550842870.845 * * [misc]simplify: Extracting #3: cost 8 inf + 2 1550842870.846 * * [misc]simplify: Extracting #4: cost 7 inf + 45 1550842870.846 * * [misc]simplify: Extracting #5: cost 1 inf + 1980 1550842870.846 * * [misc]simplify: Extracting #6: cost 0 inf + 2343 1550842870.846 * [exit]simplify: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) 1550842870.846 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842870.846 * * * * [misc]progress: [ 3 / 10 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842870.846 * [enter]simplify: Simplifying (+.p16 alpha beta) 1550842870.846 * * [misc]simplify: iters left: 1 (3 enodes) 1550842870.847 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842870.847 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842870.847 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550842870.847 * * [misc]simplify: Extracting #3: cost 0 inf + 44 1550842870.847 * [exit]simplify: Simplified to (+.p16 beta alpha) 1550842870.847 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha)))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842870.847 * * * * [misc]progress: [ 4 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842870.847 * [enter]simplify: Simplifying (+.p16 beta alpha) 1550842870.847 * * [misc]simplify: iters left: 1 (3 enodes) 1550842870.848 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842870.848 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842870.848 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550842870.848 * * [misc]simplify: Extracting #3: cost 0 inf + 44 1550842870.848 * [exit]simplify: Simplified to (+.p16 alpha beta) 1550842870.848 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842870.848 * * * * [misc]progress: [ 5 / 10 ] simplifiying candidate #posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842870.848 * [enter]simplify: Simplifying (-.p16 beta alpha) 1550842870.849 * * [misc]simplify: iters left: 1 (3 enodes) 1550842870.849 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842870.849 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1550842870.849 * * [misc]simplify: Extracting #2: cost 5 inf + 44 1550842870.849 * * [misc]simplify: Extracting #3: cost 0 inf + 1571 1550842870.849 * [exit]simplify: Simplified to (-.p16 beta alpha) 1550842870.849 * [misc]simplify: Simplified (2 1 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842870.849 * * * * [misc]progress: [ 6 / 10 ] simplifiying candidate #posit16 1.0) (/.p16 (/.p16 (+.p16 alpha beta) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (real->posit16 2.0)))> 1550842870.850 * * * * [misc]progress: [ 7 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842870.850 * [enter]simplify: Simplifying (+.p16 alpha beta) 1550842870.850 * * [misc]simplify: iters left: 1 (3 enodes) 1550842870.850 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842870.850 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842870.850 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550842870.850 * * [misc]simplify: Extracting #3: cost 0 inf + 44 1550842870.850 * [exit]simplify: Simplified to (+.p16 beta alpha) 1550842870.851 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842870.851 * * * * [misc]progress: [ 8 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842870.851 * [enter]simplify: Simplifying (+.p16 alpha beta) 1550842870.851 * * [misc]simplify: iters left: 1 (3 enodes) 1550842870.851 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842870.851 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842870.851 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550842870.852 * * [misc]simplify: Extracting #3: cost 0 inf + 44 1550842870.852 * [exit]simplify: Simplified to (+.p16 beta alpha) 1550842870.852 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842870.852 * * * * [misc]progress: [ 9 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842870.852 * [enter]simplify: Simplifying (+.p16 alpha beta) 1550842870.852 * * [misc]simplify: iters left: 1 (3 enodes) 1550842870.852 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842870.853 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842870.853 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550842870.853 * * [misc]simplify: Extracting #3: cost 0 inf + 44 1550842870.853 * [exit]simplify: Simplified to (+.p16 beta alpha) 1550842870.853 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842870.853 * * * * [misc]progress: [ 10 / 10 ] simplifiying candidate #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842870.853 * [enter]simplify: Simplifying (+.p16 alpha beta) 1550842870.853 * * [misc]simplify: iters left: 1 (3 enodes) 1550842870.854 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842870.854 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842870.854 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550842870.854 * * [misc]simplify: Extracting #3: cost 0 inf + 44 1550842870.854 * [exit]simplify: Simplified to (+.p16 beta alpha) 1550842870.854 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (/.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842870.854 * * * [misc]progress: adding candidates to table 1550842871.537 * * [misc]progress: iteration 3 / 4 1550842871.537 * * * [misc]progress: picking best candidate 1550842871.763 * * * * [misc]pick: Picked #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842871.763 * * * [misc]progress: localizing error 1550842871.972 * * * [misc]progress: generating rewritten candidates 1550842871.972 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 1) 1550842871.991 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1550842872.013 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1) 1550842872.029 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1) 1550842872.040 * * * [misc]progress: generating series expansions 1550842872.040 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 1) 1550842872.040 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1550842872.040 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1) 1550842872.041 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1) 1550842872.041 * * * [misc]progress: simplifying candidates 1550842872.041 * * * * [misc]progress: [ 1 / 9 ] simplifiying candidate #posit16 2) i))) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842872.041 * [enter]simplify: Simplifying (+.p16 beta alpha) 1550842872.041 * * [misc]simplify: iters left: 1 (3 enodes) 1550842872.042 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842872.042 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842872.042 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550842872.043 * * [misc]simplify: Extracting #3: cost 0 inf + 44 1550842872.043 * [exit]simplify: Simplified to (+.p16 alpha beta) 1550842872.043 * [misc]simplify: Simplified (2 1 1 2 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842872.043 * * * * [misc]progress: [ 2 / 9 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842872.043 * [enter]simplify: Simplifying (+.p16 beta alpha) 1550842872.044 * * [misc]simplify: iters left: 1 (3 enodes) 1550842872.045 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842872.045 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842872.045 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550842872.045 * * [misc]simplify: Extracting #3: cost 0 inf + 44 1550842872.045 * [exit]simplify: Simplified to (+.p16 alpha beta) 1550842872.045 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0))) 1550842872.045 * * * * [misc]progress: [ 3 / 9 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842872.046 * [enter]simplify: Simplifying (-.p16 beta alpha) 1550842872.046 * * [misc]simplify: iters left: 1 (3 enodes) 1550842872.047 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842872.048 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1550842872.048 * * [misc]simplify: Extracting #2: cost 5 inf + 44 1550842872.048 * * [misc]simplify: Extracting #3: cost 0 inf + 1571 1550842872.048 * [exit]simplify: Simplified to (-.p16 beta alpha) 1550842872.048 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0))) 1550842872.048 * * * * [misc]progress: [ 4 / 9 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842872.049 * [enter]simplify: Simplifying (+.p16 alpha beta) 1550842872.049 * * [misc]simplify: iters left: 1 (3 enodes) 1550842872.050 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842872.050 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842872.050 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550842872.050 * * [misc]simplify: Extracting #3: cost 0 inf + 44 1550842872.050 * [exit]simplify: Simplified to (+.p16 beta alpha) 1550842872.050 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (+.p16 beta alpha) (*.p16 (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842872.050 * * * * [misc]progress: [ 5 / 9 ] simplifiying candidate #posit16 1.0) (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)))) (real->posit16 2.0)))> 1550842872.051 * * * * [misc]progress: [ 6 / 9 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842872.051 * [enter]simplify: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1550842872.051 * * [misc]simplify: iters left: 4 (9 enodes) 1550842872.055 * * [misc]simplify: iters left: 3 (21 enodes) 1550842872.062 * * [misc]simplify: iters left: 2 (27 enodes) 1550842872.070 * * [misc]simplify: iters left: 1 (29 enodes) 1550842872.078 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842872.078 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842872.078 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550842872.078 * * [misc]simplify: Extracting #3: cost 8 inf + 2 1550842872.078 * * [misc]simplify: Extracting #4: cost 7 inf + 45 1550842872.079 * * [misc]simplify: Extracting #5: cost 1 inf + 1980 1550842872.079 * * [misc]simplify: Extracting #6: cost 0 inf + 2343 1550842872.079 * [exit]simplify: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) 1550842872.079 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842872.080 * * * * [misc]progress: [ 7 / 9 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842872.080 * [enter]simplify: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1550842872.080 * * [misc]simplify: iters left: 4 (9 enodes) 1550842872.084 * * [misc]simplify: iters left: 3 (21 enodes) 1550842872.090 * * [misc]simplify: iters left: 2 (27 enodes) 1550842872.098 * * [misc]simplify: iters left: 1 (29 enodes) 1550842872.101 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842872.101 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842872.101 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550842872.101 * * [misc]simplify: Extracting #3: cost 8 inf + 2 1550842872.102 * * [misc]simplify: Extracting #4: cost 7 inf + 45 1550842872.102 * * [misc]simplify: Extracting #5: cost 1 inf + 1980 1550842872.102 * * [misc]simplify: Extracting #6: cost 0 inf + 2343 1550842872.102 * [exit]simplify: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) 1550842872.102 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842872.102 * * * * [misc]progress: [ 8 / 9 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842872.102 * [enter]simplify: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1550842872.102 * * [misc]simplify: iters left: 4 (9 enodes) 1550842872.104 * * [misc]simplify: iters left: 3 (21 enodes) 1550842872.108 * * [misc]simplify: iters left: 2 (27 enodes) 1550842872.112 * * [misc]simplify: iters left: 1 (29 enodes) 1550842872.115 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842872.115 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842872.115 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550842872.115 * * [misc]simplify: Extracting #3: cost 8 inf + 2 1550842872.116 * * [misc]simplify: Extracting #4: cost 7 inf + 45 1550842872.116 * * [misc]simplify: Extracting #5: cost 1 inf + 1980 1550842872.116 * * [misc]simplify: Extracting #6: cost 0 inf + 2343 1550842872.116 * [exit]simplify: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) 1550842872.116 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842872.116 * * * * [misc]progress: [ 9 / 9 ] simplifiying candidate #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842872.117 * [enter]simplify: Simplifying (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) 1550842872.117 * * [misc]simplify: iters left: 4 (9 enodes) 1550842872.120 * * [misc]simplify: iters left: 3 (21 enodes) 1550842872.124 * * [misc]simplify: iters left: 2 (27 enodes) 1550842872.128 * * [misc]simplify: iters left: 1 (29 enodes) 1550842872.132 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842872.132 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842872.132 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550842872.132 * * [misc]simplify: Extracting #3: cost 8 inf + 2 1550842872.132 * * [misc]simplify: Extracting #4: cost 7 inf + 45 1550842872.132 * * [misc]simplify: Extracting #5: cost 1 inf + 1980 1550842872.132 * * [misc]simplify: Extracting #6: cost 0 inf + 2343 1550842872.132 * [exit]simplify: Simplified to (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) 1550842872.132 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842872.132 * * * [misc]progress: adding candidates to table 1550842872.874 * * [misc]progress: iteration 4 / 4 1550842872.874 * * * [misc]progress: picking best candidate 1550842873.202 * * * * [misc]pick: Picked #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842873.202 * * * [misc]progress: localizing error 1550842873.410 * * * [misc]progress: generating rewritten candidates 1550842873.410 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1550842873.418 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1 1) 1550842873.423 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1) 1550842873.430 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1) 1550842873.444 * * * [misc]progress: generating series expansions 1550842873.444 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1550842873.444 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1 1) 1550842873.444 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1) 1550842873.444 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1) 1550842873.445 * * * [misc]progress: simplifying candidates 1550842873.445 * * * * [misc]progress: [ 1 / 13 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) beta) (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (neg.p16 alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842873.445 * [enter]simplify: Simplifying (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (neg.p16 alpha)) 1550842873.445 * * [misc]simplify: iters left: 6 (15 enodes) 1550842873.452 * * [misc]simplify: iters left: 5 (36 enodes) 1550842873.465 * * [misc]simplify: iters left: 4 (82 enodes) 1550842873.523 * * [misc]simplify: iters left: 3 (394 enodes) 1550842874.050 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842874.050 * * [misc]simplify: Extracting #1: cost 25 inf + 0 1550842874.050 * * [misc]simplify: Extracting #2: cost 194 inf + 0 1550842874.053 * * [misc]simplify: Extracting #3: cost 415 inf + 1492 1550842874.058 * * [misc]simplify: Extracting #4: cost 407 inf + 8379 1550842874.073 * * [misc]simplify: Extracting #5: cost 257 inf + 100715 1550842874.123 * * [misc]simplify: Extracting #6: cost 28 inf + 309269 1550842874.188 * * [misc]simplify: Extracting #7: cost 0 inf + 338163 1550842874.252 * [exit]simplify: Simplified to (*.p16 (/.p16 (+.p16 beta alpha) (*.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) (neg.p16 alpha)) 1550842874.253 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) beta) (*.p16 (/.p16 (+.p16 beta alpha) (*.p16 (+.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)))) (neg.p16 alpha))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842874.253 * * * * [misc]progress: [ 2 / 13 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (*.p16 (neg.p16 alpha) (/.p16 (/.p16 (+.p16 alpha beta) (+.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)))> 1550842874.253 * [enter]simplify: Simplifying (*.p16 (neg.p16 alpha) (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) 1550842874.253 * * [misc]simplify: iters left: 6 (15 enodes) 1550842874.260 * * [misc]simplify: iters left: 5 (36 enodes) 1550842874.273 * * [misc]simplify: iters left: 4 (82 enodes) 1550842874.319 * * [misc]simplify: iters left: 3 (388 enodes) 1550842874.760 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842874.760 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1550842874.761 * * [misc]simplify: Extracting #2: cost 197 inf + 0 1550842874.764 * * [misc]simplify: Extracting #3: cost 447 inf + 1933 1550842874.769 * * [misc]simplify: Extracting #4: cost 438 inf + 9258 1550842874.777 * * [misc]simplify: Extracting #5: cost 267 inf + 120001 1550842874.809 * * [misc]simplify: Extracting #6: cost 22 inf + 346280 1550842874.858 * * [misc]simplify: Extracting #7: cost 0 inf + 359176 1550842874.891 * [exit]simplify: Simplified to (/.p16 (*.p16 (neg.p16 alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 2.0) alpha) beta) (*.p16 i (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2))))) 1550842874.891 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (+.p16 (*.p16 beta (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (/.p16 (*.p16 (neg.p16 alpha) (+.p16 beta alpha)) (*.p16 (+.p16 (+.p16 (+.p16 (real->posit16 2.0) alpha) beta) (*.p16 i (real->posit16 2))) (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2)))))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842874.891 * * * * [misc]progress: [ 3 / 13 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842874.892 * [enter]simplify: Simplifying (+.p16 beta alpha) 1550842874.892 * * [misc]simplify: iters left: 1 (3 enodes) 1550842874.893 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842874.893 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842874.893 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550842874.893 * * [misc]simplify: Extracting #3: cost 0 inf + 44 1550842874.893 * [exit]simplify: Simplified to (+.p16 alpha beta) 1550842874.893 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0))) 1550842874.893 * * * * [misc]progress: [ 4 / 13 ] simplifiying candidate #posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842874.894 * [enter]simplify: Simplifying (*.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) 1550842874.894 * * [misc]simplify: iters left: 5 (11 enodes) 1550842874.898 * * [misc]simplify: iters left: 4 (32 enodes) 1550842874.904 * * [misc]simplify: iters left: 3 (68 enodes) 1550842874.919 * * [misc]simplify: iters left: 2 (190 enodes) 1550842875.011 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842875.011 * * [misc]simplify: Extracting #1: cost 33 inf + 0 1550842875.011 * * [misc]simplify: Extracting #2: cost 171 inf + 0 1550842875.012 * * [misc]simplify: Extracting #3: cost 233 inf + 2174 1550842875.014 * * [misc]simplify: Extracting #4: cost 203 inf + 31371 1550842875.020 * * [misc]simplify: Extracting #5: cost 85 inf + 168306 1550842875.031 * * [misc]simplify: Extracting #6: cost 4 inf + 278631 1550842875.043 * * [misc]simplify: Extracting #7: cost 0 inf + 285202 1550842875.055 * [exit]simplify: Simplified to (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) 1550842875.055 * [misc]simplify: Simplified (2 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i))) (-.p16 beta alpha)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0))) 1550842875.055 * * * * [misc]progress: [ 5 / 13 ] 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)))> 1550842875.055 * * * * [misc]progress: [ 6 / 13 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) beta) (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (neg.p16 alpha)) (real->posit16 1.0))) (real->posit16 2.0)))> 1550842875.055 * [enter]simplify: Simplifying (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) beta) 1550842875.055 * * [misc]simplify: iters left: 6 (14 enodes) 1550842875.059 * * [misc]simplify: iters left: 5 (35 enodes) 1550842875.065 * * [misc]simplify: iters left: 4 (81 enodes) 1550842875.099 * * [misc]simplify: iters left: 3 (384 enodes) 1550842875.968 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842875.968 * * [misc]simplify: Extracting #1: cost 25 inf + 0 1550842875.969 * * [misc]simplify: Extracting #2: cost 194 inf + 1 1550842875.970 * * [misc]simplify: Extracting #3: cost 437 inf + 1732 1550842875.974 * * [misc]simplify: Extracting #4: cost 425 inf + 8782 1550842875.998 * * [misc]simplify: Extracting #5: cost 215 inf + 143469 1550842876.026 * * [misc]simplify: Extracting #6: cost 11 inf + 339873 1550842876.068 * * [misc]simplify: Extracting #7: cost 0 inf + 351167 1550842876.134 * [exit]simplify: Simplified to (/.p16 (*.p16 (+.p16 beta alpha) beta) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)))) 1550842876.134 * [misc]simplify: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 (+.p16 beta alpha) beta) (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)))) (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (neg.p16 alpha)) (real->posit16 1.0))) (real->posit16 2.0))) 1550842876.135 * * * * [misc]progress: [ 7 / 13 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) (+.p16 (*.p16 (neg.p16 alpha) (/.p16 (/.p16 (+.p16 alpha beta) (+.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)))> 1550842876.135 * [enter]simplify: Simplifying (*.p16 beta (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)))) 1550842876.135 * * [misc]simplify: iters left: 6 (14 enodes) 1550842876.142 * * [misc]simplify: iters left: 5 (35 enodes) 1550842876.155 * * [misc]simplify: iters left: 4 (81 enodes) 1550842876.203 * * [misc]simplify: iters left: 3 (382 enodes) 1550842876.686 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842876.686 * * [misc]simplify: Extracting #1: cost 23 inf + 0 1550842876.686 * * [misc]simplify: Extracting #2: cost 192 inf + 1 1550842876.690 * * [misc]simplify: Extracting #3: cost 451 inf + 1048 1550842876.695 * * [misc]simplify: Extracting #4: cost 439 inf + 8422 1550842876.714 * * [misc]simplify: Extracting #5: cost 254 inf + 128594 1550842876.775 * * [misc]simplify: Extracting #6: cost 3 inf + 356042 1550842876.826 * * [misc]simplify: Extracting #7: cost 0 inf + 359177 1550842876.872 * [exit]simplify: Simplified to (/.p16 (*.p16 beta (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)))) 1550842876.872 * [misc]simplify: Simplified (2 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (/.p16 (*.p16 beta (+.p16 alpha beta)) (*.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 beta (real->posit16 2.0)) alpha)))) (+.p16 (*.p16 (neg.p16 alpha) (/.p16 (/.p16 (+.p16 alpha beta) (+.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))) 1550842876.872 * * * * [misc]progress: [ 8 / 13 ] simplifiying candidate #posit16 1.0) (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha))) (real->posit16 2.0)))> 1550842876.873 * * * * [misc]progress: [ 9 / 13 ] simplifiying candidate #posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842876.873 * [enter]simplify: Simplifying (+.p16 alpha beta) 1550842876.873 * * [misc]simplify: iters left: 1 (3 enodes) 1550842876.874 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842876.874 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842876.874 * * [misc]simplify: Extracting #2: cost 1 inf + 2 1550842876.874 * * [misc]simplify: Extracting #3: cost 0 inf + 44 1550842876.874 * [exit]simplify: Simplified to (+.p16 beta alpha) 1550842876.874 * [misc]simplify: Simplified (2 1 1 1 1) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (+.p16 beta alpha) (*.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0))) 1550842876.874 * * * * [misc]progress: [ 10 / 13 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842876.874 * [enter]simplify: Simplifying (-.p16 beta alpha) 1550842876.874 * * [misc]simplify: iters left: 1 (3 enodes) 1550842876.875 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842876.875 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1550842876.875 * * [misc]simplify: Extracting #2: cost 5 inf + 44 1550842876.875 * * [misc]simplify: Extracting #3: cost 0 inf + 1571 1550842876.875 * [exit]simplify: Simplified to (-.p16 beta alpha) 1550842876.875 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0))) 1550842876.875 * * * * [misc]progress: [ 11 / 13 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842876.876 * [enter]simplify: Simplifying (-.p16 beta alpha) 1550842876.876 * * [misc]simplify: iters left: 1 (3 enodes) 1550842876.876 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842876.876 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1550842876.876 * * [misc]simplify: Extracting #2: cost 5 inf + 44 1550842876.876 * * [misc]simplify: Extracting #3: cost 0 inf + 1571 1550842876.877 * [exit]simplify: Simplified to (-.p16 beta alpha) 1550842876.877 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0))) 1550842876.877 * * * * [misc]progress: [ 12 / 13 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842876.877 * [enter]simplify: Simplifying (-.p16 beta alpha) 1550842876.877 * * [misc]simplify: iters left: 1 (3 enodes) 1550842876.878 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842876.878 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1550842876.878 * * [misc]simplify: Extracting #2: cost 5 inf + 44 1550842876.878 * * [misc]simplify: Extracting #3: cost 0 inf + 1571 1550842876.878 * [exit]simplify: Simplified to (-.p16 beta alpha) 1550842876.878 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0))) 1550842876.878 * * * * [misc]progress: [ 13 / 13 ] simplifiying candidate #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> 1550842876.878 * [enter]simplify: Simplifying (-.p16 beta alpha) 1550842876.878 * * [misc]simplify: iters left: 1 (3 enodes) 1550842876.879 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842876.879 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1550842876.879 * * [misc]simplify: Extracting #2: cost 5 inf + 44 1550842876.879 * * [misc]simplify: Extracting #3: cost 0 inf + 1571 1550842876.879 * [exit]simplify: Simplified to (-.p16 beta alpha) 1550842876.879 * [misc]simplify: Simplified (2 1 1 2) to (λ (alpha beta i) (/.p16 (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0))) 1550842876.879 * * * [misc]progress: adding candidates to table 1550842877.691 * [misc]progress: [Phase 3 of 3] Extracting. 1550842877.691 * * [misc]regime: Finding splitpoints for: (#posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) beta) (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (neg.p16 alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) beta) (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (neg.p16 alpha)) (real->posit16 1.0))) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (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)))>) 1550842877.698 * * * [misc]regime-changes: Trying 3 branch expressions: (i beta alpha) 1550842877.698 * * * * [misc]regimes: Trying to branch on i from (#posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) beta) (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (neg.p16 alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) beta) (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (neg.p16 alpha)) (real->posit16 1.0))) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (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)))>) 1550842878.256 * * * * [misc]regimes: Trying to branch on beta from (#posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) beta) (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (neg.p16 alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) beta) (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (neg.p16 alpha)) (real->posit16 1.0))) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (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)))>) 1550842878.675 * * * * [misc]regimes: Trying to branch on alpha from (#posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) beta) (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (neg.p16 alpha))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (/.p16 (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) beta) (+.p16 (*.p16 (/.p16 (/.p16 (+.p16 alpha beta) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (neg.p16 alpha)) (real->posit16 1.0))) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 alpha (+.p16 beta (*.p16 (real->posit16 2) i))) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (-.p16 beta alpha)) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 beta alpha))) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (real->posit16 2.0)) (-.p16 beta alpha)) (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)))) (real->posit16 1.0)) (real->posit16 2.0)))> #posit16 2) i)) (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)))) (+.p16 alpha beta)) (+.p16 (+.p16 (+.p16 alpha beta) (*.p16 (real->posit16 2) i)) (real->posit16 2.0))) (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)))>) 1550842879.410 * * * [misc]regime: Found split indices: #