1554304974.981 * [misc]progress: [Phase 1 of 3] Setting up. 1554304974.981 * * * [misc]progress: [1/2] Preparing points 1554304974.983 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1554304974.985 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1554304974.992 * * * * [misc]points: Setting MPFR precision to 64 1554304974.995 * * * * [misc]points: Setting MPFR precision to 320 1554304974.997 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1554304975.005 * * * * [misc]points: Setting MPFR precision to 64 1554304975.009 * * * * [misc]points: Setting MPFR precision to 320 1554304975.013 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1554304975.021 * * * * [misc]points: Setting MPFR precision to 64 1554304975.027 * * * * [misc]points: Setting MPFR precision to 320 1554304975.034 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1554304975.042 * * * * [misc]points: Setting MPFR precision to 64 1554304975.054 * * * * [misc]points: Setting MPFR precision to 320 1554304975.066 * * * * [misc]points: Computing exacts for 256 points 1554304975.074 * * * * [misc]points: Setting MPFR precision to 64 1554304975.126 * * * * [misc]points: Setting MPFR precision to 320 1554304975.162 * * * * [misc]points: Filtering points with unrepresentable outputs 1554304975.162 * * * * [misc]points: Sampling 172 additional inputs, on iter 1 have 84 / 256 1554304975.164 * * * * [misc]points: Computing exacts on every 10 of 172 points to ramp up precision 1554304975.172 * * * * [misc]points: Setting MPFR precision to 64 1554304975.175 * * * * [misc]points: Setting MPFR precision to 320 1554304975.177 * * * * [misc]points: Computing exacts on every 5 of 172 points to ramp up precision 1554304975.185 * * * * [misc]points: Setting MPFR precision to 64 1554304975.189 * * * * [misc]points: Setting MPFR precision to 320 1554304975.193 * * * * [misc]points: Computing exacts on every 2 of 172 points to ramp up precision 1554304975.202 * * * * [misc]points: Setting MPFR precision to 64 1554304975.209 * * * * [misc]points: Setting MPFR precision to 320 1554304975.217 * * * * [misc]points: Computing exacts for 172 points 1554304975.225 * * * * [misc]points: Setting MPFR precision to 64 1554304975.247 * * * * [misc]points: Setting MPFR precision to 320 1554304975.271 * * * * [misc]points: Filtering points with unrepresentable outputs 1554304975.271 * * * * [misc]points: Sampling 126 additional inputs, on iter 2 have 130 / 256 1554304975.272 * * * * [misc]points: Computing exacts on every 7 of 126 points to ramp up precision 1554304975.312 * * * * [misc]points: Setting MPFR precision to 64 1554304975.314 * * * * [misc]points: Setting MPFR precision to 320 1554304975.315 * * * * [misc]points: Computing exacts on every 3 of 126 points to ramp up precision 1554304975.319 * * * * [misc]points: Setting MPFR precision to 64 1554304975.323 * * * * [misc]points: Setting MPFR precision to 320 1554304975.325 * * * * [misc]points: Computing exacts for 126 points 1554304975.329 * * * * [misc]points: Setting MPFR precision to 64 1554304975.338 * * * * [misc]points: Setting MPFR precision to 320 1554304975.347 * * * * [misc]points: Filtering points with unrepresentable outputs 1554304975.347 * * * * [misc]points: Sampling 95 additional inputs, on iter 3 have 161 / 256 1554304975.348 * * * * [misc]points: Computing exacts on every 5 of 95 points to ramp up precision 1554304975.352 * * * * [misc]points: Setting MPFR precision to 64 1554304975.353 * * * * [misc]points: Setting MPFR precision to 320 1554304975.354 * * * * [misc]points: Computing exacts on every 2 of 95 points to ramp up precision 1554304975.358 * * * * [misc]points: Setting MPFR precision to 64 1554304975.361 * * * * [misc]points: Setting MPFR precision to 320 1554304975.363 * * * * [misc]points: Computing exacts for 95 points 1554304975.367 * * * * [misc]points: Setting MPFR precision to 64 1554304975.374 * * * * [misc]points: Setting MPFR precision to 320 1554304975.381 * * * * [misc]points: Filtering points with unrepresentable outputs 1554304975.381 * * * * [misc]points: Sampling 64 additional inputs, on iter 4 have 192 / 256 1554304975.382 * * * * [misc]points: Computing exacts on every 4 of 64 points to ramp up precision 1554304975.386 * * * * [misc]points: Setting MPFR precision to 64 1554304975.387 * * * * [misc]points: Setting MPFR precision to 320 1554304975.388 * * * * [misc]points: Computing exacts on every 2 of 64 points to ramp up precision 1554304975.392 * * * * [misc]points: Setting MPFR precision to 64 1554304975.393 * * * * [misc]points: Setting MPFR precision to 320 1554304975.395 * * * * [misc]points: Computing exacts for 64 points 1554304975.418 * * * * [misc]points: Setting MPFR precision to 64 1554304975.423 * * * * [misc]points: Setting MPFR precision to 320 1554304975.430 * * * * [misc]points: Filtering points with unrepresentable outputs 1554304975.430 * * * * [misc]points: Sampling 42 additional inputs, on iter 5 have 214 / 256 1554304975.430 * * * * [misc]points: Computing exacts on every 2 of 42 points to ramp up precision 1554304975.435 * * * * [misc]points: Setting MPFR precision to 64 1554304975.436 * * * * [misc]points: Setting MPFR precision to 320 1554304975.437 * * * * [misc]points: Computing exacts for 42 points 1554304975.441 * * * * [misc]points: Setting MPFR precision to 64 1554304975.444 * * * * [misc]points: Setting MPFR precision to 320 1554304975.447 * * * * [misc]points: Filtering points with unrepresentable outputs 1554304975.447 * * * * [misc]points: Sampling 28 additional inputs, on iter 6 have 228 / 256 1554304975.447 * * * * [misc]points: Computing exacts for 28 points 1554304975.452 * * * * [misc]points: Setting MPFR precision to 64 1554304975.454 * * * * [misc]points: Setting MPFR precision to 320 1554304975.456 * * * * [misc]points: Filtering points with unrepresentable outputs 1554304975.456 * * * * [misc]points: Sampling 21 additional inputs, on iter 7 have 235 / 256 1554304975.456 * * * * [misc]points: Computing exacts for 21 points 1554304975.460 * * * * [misc]points: Setting MPFR precision to 64 1554304975.462 * * * * [misc]points: Setting MPFR precision to 320 1554304975.464 * * * * [misc]points: Filtering points with unrepresentable outputs 1554304975.464 * * * * [misc]points: Sampling 16 additional inputs, on iter 8 have 240 / 256 1554304975.464 * * * * [misc]points: Computing exacts for 16 points 1554304975.468 * * * * [misc]points: Setting MPFR precision to 64 1554304975.469 * * * * [misc]points: Setting MPFR precision to 320 1554304975.471 * * * * [misc]points: Filtering points with unrepresentable outputs 1554304975.471 * * * * [misc]points: Sampling 10 additional inputs, on iter 9 have 246 / 256 1554304975.471 * * * * [misc]points: Computing exacts for 10 points 1554304975.475 * * * * [misc]points: Setting MPFR precision to 64 1554304975.476 * * * * [misc]points: Setting MPFR precision to 320 1554304975.476 * * * * [misc]points: Filtering points with unrepresentable outputs 1554304975.477 * * * * [misc]points: Sampling 8 additional inputs, on iter 10 have 248 / 256 1554304975.477 * * * * [misc]points: Computing exacts for 8 points 1554304975.481 * * * * [misc]points: Setting MPFR precision to 64 1554304975.481 * * * * [misc]points: Setting MPFR precision to 320 1554304975.482 * * * * [misc]points: Filtering points with unrepresentable outputs 1554304975.482 * * * * [misc]points: Sampling 7 additional inputs, on iter 11 have 249 / 256 1554304975.482 * * * * [misc]points: Computing exacts for 7 points 1554304975.486 * * * * [misc]points: Setting MPFR precision to 64 1554304975.487 * * * * [misc]points: Setting MPFR precision to 320 1554304975.487 * * * * [misc]points: Filtering points with unrepresentable outputs 1554304975.487 * * * * [misc]points: Sampling 6 additional inputs, on iter 12 have 250 / 256 1554304975.487 * * * * [misc]points: Computing exacts for 6 points 1554304975.491 * * * * [misc]points: Setting MPFR precision to 64 1554304975.492 * * * * [misc]points: Setting MPFR precision to 320 1554304975.492 * * * * [misc]points: Filtering points with unrepresentable outputs 1554304975.492 * * * * [misc]points: Sampling 6 additional inputs, on iter 13 have 250 / 256 1554304975.492 * * * * [misc]points: Computing exacts for 6 points 1554304975.511 * * * * [misc]points: Setting MPFR precision to 64 1554304975.511 * * * * [misc]points: Setting MPFR precision to 320 1554304975.512 * * * * [misc]points: Filtering points with unrepresentable outputs 1554304975.512 * * * * [misc]points: Sampling 5 additional inputs, on iter 14 have 251 / 256 1554304975.512 * * * * [misc]points: Computing exacts for 5 points 1554304975.516 * * * * [misc]points: Setting MPFR precision to 64 1554304975.517 * * * * [misc]points: Setting MPFR precision to 320 1554304975.517 * * * * [misc]points: Filtering points with unrepresentable outputs 1554304975.517 * * * * [misc]points: Sampling 4 additional inputs, on iter 15 have 252 / 256 1554304975.517 * * * * [misc]points: Computing exacts for 4 points 1554304975.522 * * * * [misc]points: Setting MPFR precision to 64 1554304975.523 * * * * [misc]points: Setting MPFR precision to 320 1554304975.524 * * * * [misc]points: Filtering points with unrepresentable outputs 1554304975.524 * * * * [misc]points: Sampling 4 additional inputs, on iter 16 have 252 / 256 1554304975.524 * * * * [misc]points: Computing exacts for 4 points 1554304975.528 * * * * [misc]points: Setting MPFR precision to 64 1554304975.528 * * * * [misc]points: Setting MPFR precision to 320 1554304975.529 * * * * [misc]points: Filtering points with unrepresentable outputs 1554304975.529 * * * * [misc]points: Sampling 4 additional inputs, on iter 17 have 252 / 256 1554304975.529 * * * * [misc]points: Computing exacts for 4 points 1554304975.533 * * * * [misc]points: Setting MPFR precision to 64 1554304975.533 * * * * [misc]points: Setting MPFR precision to 320 1554304975.533 * * * * [misc]points: Filtering points with unrepresentable outputs 1554304975.534 * * * * [misc]points: Sampling 4 additional inputs, on iter 18 have 252 / 256 1554304975.534 * * * * [misc]points: Computing exacts for 4 points 1554304975.537 * * * * [misc]points: Setting MPFR precision to 64 1554304975.538 * * * * [misc]points: Setting MPFR precision to 320 1554304975.538 * * * * [misc]points: Filtering points with unrepresentable outputs 1554304975.538 * * * * [misc]points: Sampling 4 additional inputs, on iter 19 have 255 / 256 1554304975.538 * * * * [misc]points: Computing exacts for 4 points 1554304975.542 * * * * [misc]points: Setting MPFR precision to 64 1554304975.543 * * * * [misc]points: Setting MPFR precision to 320 1554304975.543 * * * * [misc]points: Filtering points with unrepresentable outputs 1554304975.543 * * * * [exit]points: Sampled 256 points with exact outputs 1554304975.543 * * * [misc]progress: [2/2] Setting up program. 1554304975.559 * [misc]progress: [Phase 2 of 3] Improving. 1554304975.559 * * * * [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)))> 1554304975.559 * [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)) 1554304975.559 * * [misc]simplify: iters left: 6 (19 enodes) 1554304975.564 * * [misc]simplify: iters left: 5 (48 enodes) 1554304975.573 * * [misc]simplify: iters left: 4 (124 enodes) 1554304975.617 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304975.617 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554304975.617 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1554304975.618 * * [misc]simplify: Extracting #3: cost 31 inf + 2 1554304975.618 * * [misc]simplify: Extracting #4: cost 126 inf + 4 1554304975.619 * * [misc]simplify: Extracting #5: cost 211 inf + 2985 1554304975.620 * * [misc]simplify: Extracting #6: cost 160 inf + 31488 1554304975.623 * * [misc]simplify: Extracting #7: cost 101 inf + 88177 1554304975.639 * * [misc]simplify: Extracting #8: cost 1 inf + 172697 1554304975.653 * * [misc]simplify: Extracting #9: cost 0 inf + 173382 1554304975.662 * [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)) 1554304975.662 * [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))) 1554304975.696 * * [misc]progress: iteration 1 / 4 1554304975.696 * * * [misc]progress: picking best candidate 1554304975.727 * * * * [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)))> 1554304975.727 * * * [misc]progress: localizing error 1554304976.015 * * * [misc]progress: generating rewritten candidates 1554304976.015 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1) 1554304976.019 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 2) 1554304976.024 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 2 1) 1554304976.026 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2 2) 1554304976.031 * * * [misc]progress: generating series expansions 1554304976.031 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1) 1554304976.031 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 2) 1554304976.031 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 2 1) 1554304976.031 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2 2) 1554304976.032 * * * [misc]progress: simplifying candidates 1554304976.032 * * * * [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)))> 1554304976.032 * [enter]simplify: Simplifying (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i)) 1554304976.032 * * [misc]simplify: iters left: 4 (11 enodes) 1554304976.035 * * [misc]simplify: iters left: 3 (27 enodes) 1554304976.040 * * [misc]simplify: iters left: 2 (46 enodes) 1554304976.053 * * [misc]simplify: iters left: 1 (66 enodes) 1554304976.064 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304976.064 * * [misc]simplify: Extracting #1: cost 16 inf + 0 1554304976.065 * * [misc]simplify: Extracting #2: cost 17 inf + 2 1554304976.065 * * [misc]simplify: Extracting #3: cost 14 inf + 47 1554304976.065 * * [misc]simplify: Extracting #4: cost 7 inf + 942 1554304976.065 * * [misc]simplify: Extracting #5: cost 1 inf + 3284 1554304976.066 * * [misc]simplify: Extracting #6: cost 0 inf + 3688 1554304976.067 * [exit]simplify: Simplified to (+.p16 (+.p16 beta (real->posit16 2.0)) (+.p16 (*.p16 i (real->posit16 2)) alpha)) 1554304976.067 * [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))) 1554304976.067 * * * * [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)))> 1554304976.067 * [enter]simplify: Simplifying (-.p16 beta alpha) 1554304976.067 * * [misc]simplify: iters left: 1 (3 enodes) 1554304976.068 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304976.068 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554304976.068 * * [misc]simplify: Extracting #2: cost 5 inf + 44 1554304976.068 * * [misc]simplify: Extracting #3: cost 0 inf + 1571 1554304976.068 * [exit]simplify: Simplified to (-.p16 beta alpha) 1554304976.068 * [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))) 1554304976.068 * * * * [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)))> 1554304976.068 * [enter]simplify: Simplifying (*.p16 (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) (+.p16 beta alpha)) 1554304976.068 * * [misc]simplify: iters left: 3 (7 enodes) 1554304976.070 * * [misc]simplify: iters left: 2 (28 enodes) 1554304976.076 * * [misc]simplify: iters left: 1 (91 enodes) 1554304976.097 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304976.097 * * [misc]simplify: Extracting #1: cost 27 inf + 0 1554304976.098 * * [misc]simplify: Extracting #2: cost 76 inf + 0 1554304976.098 * * [misc]simplify: Extracting #3: cost 90 inf + 1126 1554304976.099 * * [misc]simplify: Extracting #4: cost 76 inf + 20412 1554304976.101 * * [misc]simplify: Extracting #5: cost 14 inf + 82238 1554304976.104 * * [misc]simplify: Extracting #6: cost 1 inf + 104423 1554304976.108 * * [misc]simplify: Extracting #7: cost 0 inf + 106745 1554304976.111 * [exit]simplify: Simplified to (*.p16 (*.p16 (+.p16 alpha beta) (+.p16 alpha beta)) (-.p16 beta alpha)) 1554304976.111 * [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))) 1554304976.111 * * * * [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)))> 1554304976.112 * [enter]simplify: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) 1554304976.112 * * [misc]simplify: iters left: 4 (10 enodes) 1554304976.114 * * [misc]simplify: iters left: 3 (28 enodes) 1554304976.119 * * [misc]simplify: iters left: 2 (45 enodes) 1554304976.129 * * [misc]simplify: iters left: 1 (95 enodes) 1554304976.150 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304976.150 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1554304976.150 * * [misc]simplify: Extracting #2: cost 91 inf + 0 1554304976.150 * * [misc]simplify: Extracting #3: cost 119 inf + 2 1554304976.151 * * [misc]simplify: Extracting #4: cost 108 inf + 13203 1554304976.154 * * [misc]simplify: Extracting #5: cost 35 inf + 85388 1554304976.157 * * [misc]simplify: Extracting #6: cost 8 inf + 108558 1554304976.162 * * [misc]simplify: Extracting #7: cost 0 inf + 118029 1554304976.166 * [exit]simplify: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) 1554304976.166 * [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))) 1554304976.167 * [enter]simplify: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) 1554304976.167 * * [misc]simplify: iters left: 5 (13 enodes) 1554304976.170 * * [misc]simplify: iters left: 4 (29 enodes) 1554304976.175 * * [misc]simplify: iters left: 3 (48 enodes) 1554304976.182 * * [misc]simplify: iters left: 2 (68 enodes) 1554304976.194 * * [misc]simplify: iters left: 1 (85 enodes) 1554304976.205 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304976.205 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554304976.205 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1554304976.205 * * [misc]simplify: Extracting #3: cost 17 inf + 2 1554304976.205 * * [misc]simplify: Extracting #4: cost 15 inf + 46 1554304976.205 * * [misc]simplify: Extracting #5: cost 10 inf + 215 1554304976.205 * * [misc]simplify: Extracting #6: cost 1 inf + 3284 1554304976.206 * * [misc]simplify: Extracting #7: cost 0 inf + 4169 1554304976.207 * [exit]simplify: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) 1554304976.207 * [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))) 1554304976.207 * * * * [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)))> 1554304976.207 * [enter]simplify: Simplifying (*.p16 (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha)) (*.p16 (real->posit16 2) i)) 1554304976.207 * * [misc]simplify: iters left: 4 (9 enodes) 1554304976.209 * * [misc]simplify: iters left: 3 (24 enodes) 1554304976.217 * * [misc]simplify: iters left: 2 (49 enodes) 1554304976.238 * * [misc]simplify: iters left: 1 (145 enodes) 1554304976.322 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304976.322 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1554304976.323 * * [misc]simplify: Extracting #2: cost 46 inf + 1 1554304976.323 * * [misc]simplify: Extracting #3: cost 40 inf + 1054 1554304976.325 * * [misc]simplify: Extracting #4: cost 14 inf + 14850 1554304976.328 * * [misc]simplify: Extracting #5: cost 0 inf + 21942 1554304976.332 * [exit]simplify: Simplified to (*.p16 (*.p16 i (real->posit16 2)) (+.p16 (+.p16 (*.p16 i (real->posit16 2)) alpha) beta)) 1554304976.332 * [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))) 1554304976.332 * * * * [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)))> 1554304976.332 * [enter]simplify: Simplifying (*.p16 (*.p16 (real->posit16 2) i) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) 1554304976.333 * * [misc]simplify: iters left: 4 (9 enodes) 1554304976.337 * * [misc]simplify: iters left: 3 (29 enodes) 1554304976.348 * * [misc]simplify: iters left: 2 (81 enodes) 1554304976.388 * * [misc]simplify: iters left: 1 (201 enodes) 1554304976.485 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304976.485 * * [misc]simplify: Extracting #1: cost 18 inf + 0 1554304976.485 * * [misc]simplify: Extracting #2: cost 45 inf + 1 1554304976.486 * * [misc]simplify: Extracting #3: cost 40 inf + 326 1554304976.487 * * [misc]simplify: Extracting #4: cost 22 inf + 9534 1554304976.490 * * [misc]simplify: Extracting #5: cost 1 inf + 21245 1554304976.494 * * [misc]simplify: Extracting #6: cost 0 inf + 21329 1554304976.497 * [exit]simplify: Simplified to (*.p16 (+.p16 (+.p16 beta alpha) (*.p16 i (real->posit16 2))) (*.p16 i (real->posit16 2))) 1554304976.497 * [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))) 1554304976.498 * * * * [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)))> 1554304976.498 * * * * [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)))> 1554304976.498 * [enter]simplify: Simplifying (real->posit16 2.0) 1554304976.498 * * [misc]simplify: iters left: 1 (2 enodes) 1554304976.500 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304976.500 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1554304976.500 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1554304976.500 * * [misc]simplify: Extracting #3: cost 0 inf + 2 1554304976.500 * [exit]simplify: Simplified to (real->posit16 2.0) 1554304976.500 * [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))) 1554304976.500 * * * * [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)))> 1554304976.500 * * * * [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)))> 1554304976.500 * * * * [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)))> 1554304976.500 * * * * [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)))> 1554304976.501 * [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)) 1554304976.501 * * [misc]simplify: iters left: 6 (21 enodes) 1554304976.511 * * [misc]simplify: iters left: 5 (69 enodes) 1554304976.542 * * [misc]simplify: iters left: 4 (218 enodes) 1554304976.675 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304976.675 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554304976.675 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1554304976.675 * * [misc]simplify: Extracting #3: cost 44 inf + 2 1554304976.676 * * [misc]simplify: Extracting #4: cost 162 inf + 3 1554304976.678 * * [misc]simplify: Extracting #5: cost 312 inf + 2340 1554304976.683 * * [misc]simplify: Extracting #6: cost 261 inf + 38236 1554304976.692 * * [misc]simplify: Extracting #7: cost 173 inf + 106010 1554304976.715 * * [misc]simplify: Extracting #8: cost 35 inf + 236229 1554304976.747 * * [misc]simplify: Extracting #9: cost 0 inf + 267735 1554304976.780 * [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)) 1554304976.780 * [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))) 1554304976.780 * * * * [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)))> 1554304976.780 * [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)) 1554304976.781 * * [misc]simplify: iters left: 6 (21 enodes) 1554304976.794 * * [misc]simplify: iters left: 5 (69 enodes) 1554304976.823 * * [misc]simplify: iters left: 4 (218 enodes) 1554304976.963 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304976.963 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554304976.963 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1554304976.963 * * [misc]simplify: Extracting #3: cost 44 inf + 2 1554304976.964 * * [misc]simplify: Extracting #4: cost 162 inf + 3 1554304976.965 * * [misc]simplify: Extracting #5: cost 312 inf + 2340 1554304976.967 * * [misc]simplify: Extracting #6: cost 261 inf + 38236 1554304976.972 * * [misc]simplify: Extracting #7: cost 173 inf + 106010 1554304976.985 * * [misc]simplify: Extracting #8: cost 35 inf + 236229 1554304977.001 * * [misc]simplify: Extracting #9: cost 0 inf + 267735 1554304977.019 * [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)) 1554304977.020 * [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))) 1554304977.020 * * * * [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)))> 1554304977.020 * [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)) 1554304977.020 * * [misc]simplify: iters left: 6 (21 enodes) 1554304977.026 * * [misc]simplify: iters left: 5 (69 enodes) 1554304977.041 * * [misc]simplify: iters left: 4 (218 enodes) 1554304977.114 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304977.114 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554304977.114 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1554304977.114 * * [misc]simplify: Extracting #3: cost 44 inf + 2 1554304977.114 * * [misc]simplify: Extracting #4: cost 162 inf + 3 1554304977.116 * * [misc]simplify: Extracting #5: cost 312 inf + 2340 1554304977.118 * * [misc]simplify: Extracting #6: cost 261 inf + 38236 1554304977.123 * * [misc]simplify: Extracting #7: cost 173 inf + 106010 1554304977.136 * * [misc]simplify: Extracting #8: cost 35 inf + 236229 1554304977.154 * * [misc]simplify: Extracting #9: cost 0 inf + 267735 1554304977.171 * [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)) 1554304977.171 * [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))) 1554304977.171 * * * * [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)))> 1554304977.171 * [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)) 1554304977.171 * * [misc]simplify: iters left: 6 (21 enodes) 1554304977.177 * * [misc]simplify: iters left: 5 (69 enodes) 1554304977.191 * * [misc]simplify: iters left: 4 (218 enodes) 1554304977.267 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304977.267 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554304977.267 * * [misc]simplify: Extracting #2: cost 6 inf + 0 1554304977.267 * * [misc]simplify: Extracting #3: cost 44 inf + 2 1554304977.268 * * [misc]simplify: Extracting #4: cost 162 inf + 3 1554304977.270 * * [misc]simplify: Extracting #5: cost 312 inf + 2340 1554304977.274 * * [misc]simplify: Extracting #6: cost 261 inf + 38236 1554304977.282 * * [misc]simplify: Extracting #7: cost 173 inf + 106010 1554304977.308 * * [misc]simplify: Extracting #8: cost 35 inf + 236229 1554304977.336 * * [misc]simplify: Extracting #9: cost 0 inf + 267735 1554304977.365 * [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)) 1554304977.366 * [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))) 1554304977.366 * * * [misc]progress: adding candidates to table 1554304978.243 * * [misc]progress: iteration 2 / 4 1554304978.243 * * * [misc]progress: picking best candidate 1554304978.451 * * * * [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)))> 1554304978.451 * * * [misc]progress: localizing error 1554304978.621 * * * [misc]progress: generating rewritten candidates 1554304978.621 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 2) 1554304978.630 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1554304978.634 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 2 1) 1554304978.637 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2 2) 1554304978.657 * * * [misc]progress: generating series expansions 1554304978.657 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2) 1554304978.657 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1554304978.658 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 2 1) 1554304978.658 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2 2) 1554304978.658 * * * [misc]progress: simplifying candidates 1554304978.658 * * * * [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)))> 1554304978.658 * [enter]simplify: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) 1554304978.658 * * [misc]simplify: iters left: 2 (5 enodes) 1554304978.660 * * [misc]simplify: iters left: 1 (19 enodes) 1554304978.667 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304978.667 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1554304978.667 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1554304978.667 * * [misc]simplify: Extracting #3: cost 16 inf + 1766 1554304978.668 * * [misc]simplify: Extracting #4: cost 6 inf + 6819 1554304978.668 * * [misc]simplify: Extracting #5: cost 1 inf + 12227 1554304978.669 * * [misc]simplify: Extracting #6: cost 0 inf + 13549 1554304978.670 * [exit]simplify: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) 1554304978.670 * [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))) 1554304978.670 * * * * [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)))> 1554304978.670 * [enter]simplify: Simplifying (real->posit16 2.0) 1554304978.670 * * [misc]simplify: iters left: 1 (2 enodes) 1554304978.673 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304978.673 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1554304978.673 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1554304978.673 * * [misc]simplify: Extracting #3: cost 0 inf + 2 1554304978.673 * [exit]simplify: Simplified to (real->posit16 2.0) 1554304978.673 * [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))) 1554304978.673 * * * * [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)))> 1554304978.673 * * * * [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)))> 1554304978.673 * * * * [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)))> 1554304978.674 * * * * [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)))> 1554304978.674 * [enter]simplify: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) 1554304978.674 * * [misc]simplify: iters left: 4 (10 enodes) 1554304978.679 * * [misc]simplify: iters left: 3 (28 enodes) 1554304978.688 * * [misc]simplify: iters left: 2 (45 enodes) 1554304978.704 * * [misc]simplify: iters left: 1 (95 enodes) 1554304978.747 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304978.747 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1554304978.748 * * [misc]simplify: Extracting #2: cost 91 inf + 0 1554304978.749 * * [misc]simplify: Extracting #3: cost 119 inf + 2 1554304978.750 * * [misc]simplify: Extracting #4: cost 108 inf + 13203 1554304978.755 * * [misc]simplify: Extracting #5: cost 35 inf + 85388 1554304978.759 * * [misc]simplify: Extracting #6: cost 8 inf + 108558 1554304978.763 * * [misc]simplify: Extracting #7: cost 0 inf + 118029 1554304978.768 * [exit]simplify: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) 1554304978.768 * [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))) 1554304978.768 * [enter]simplify: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) 1554304978.768 * * [misc]simplify: iters left: 5 (13 enodes) 1554304978.772 * * [misc]simplify: iters left: 4 (29 enodes) 1554304978.779 * * [misc]simplify: iters left: 3 (48 enodes) 1554304978.787 * * [misc]simplify: iters left: 2 (68 enodes) 1554304978.797 * * [misc]simplify: iters left: 1 (85 enodes) 1554304978.808 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304978.808 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554304978.808 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1554304978.808 * * [misc]simplify: Extracting #3: cost 17 inf + 2 1554304978.809 * * [misc]simplify: Extracting #4: cost 15 inf + 46 1554304978.809 * * [misc]simplify: Extracting #5: cost 10 inf + 215 1554304978.809 * * [misc]simplify: Extracting #6: cost 1 inf + 3284 1554304978.810 * * [misc]simplify: Extracting #7: cost 0 inf + 4169 1554304978.810 * [exit]simplify: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) 1554304978.810 * [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))) 1554304978.810 * * * * [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)))> 1554304978.811 * [enter]simplify: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) 1554304978.811 * * [misc]simplify: iters left: 4 (10 enodes) 1554304978.813 * * [misc]simplify: iters left: 3 (28 enodes) 1554304978.817 * * [misc]simplify: iters left: 2 (45 enodes) 1554304978.825 * * [misc]simplify: iters left: 1 (95 enodes) 1554304978.849 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304978.849 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1554304978.849 * * [misc]simplify: Extracting #2: cost 91 inf + 0 1554304978.849 * * [misc]simplify: Extracting #3: cost 119 inf + 2 1554304978.850 * * [misc]simplify: Extracting #4: cost 108 inf + 13203 1554304978.852 * * [misc]simplify: Extracting #5: cost 35 inf + 85388 1554304978.856 * * [misc]simplify: Extracting #6: cost 8 inf + 108558 1554304978.860 * * [misc]simplify: Extracting #7: cost 0 inf + 118029 1554304978.865 * [exit]simplify: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) 1554304978.865 * [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))) 1554304978.865 * [enter]simplify: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) 1554304978.865 * * [misc]simplify: iters left: 5 (13 enodes) 1554304978.868 * * [misc]simplify: iters left: 4 (29 enodes) 1554304978.873 * * [misc]simplify: iters left: 3 (48 enodes) 1554304978.881 * * [misc]simplify: iters left: 2 (68 enodes) 1554304978.891 * * [misc]simplify: iters left: 1 (85 enodes) 1554304978.902 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304978.902 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554304978.902 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1554304978.902 * * [misc]simplify: Extracting #3: cost 17 inf + 2 1554304978.903 * * [misc]simplify: Extracting #4: cost 15 inf + 46 1554304978.903 * * [misc]simplify: Extracting #5: cost 10 inf + 215 1554304978.903 * * [misc]simplify: Extracting #6: cost 1 inf + 3284 1554304978.904 * * [misc]simplify: Extracting #7: cost 0 inf + 4169 1554304978.904 * [exit]simplify: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) 1554304978.904 * [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))) 1554304978.904 * * * * [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)))> 1554304978.905 * [enter]simplify: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) 1554304978.905 * * [misc]simplify: iters left: 4 (10 enodes) 1554304978.907 * * [misc]simplify: iters left: 3 (28 enodes) 1554304978.911 * * [misc]simplify: iters left: 2 (45 enodes) 1554304978.921 * * [misc]simplify: iters left: 1 (95 enodes) 1554304978.942 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304978.942 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1554304978.942 * * [misc]simplify: Extracting #2: cost 91 inf + 0 1554304978.943 * * [misc]simplify: Extracting #3: cost 119 inf + 2 1554304978.943 * * [misc]simplify: Extracting #4: cost 108 inf + 13203 1554304978.946 * * [misc]simplify: Extracting #5: cost 35 inf + 85388 1554304978.949 * * [misc]simplify: Extracting #6: cost 8 inf + 108558 1554304978.954 * * [misc]simplify: Extracting #7: cost 0 inf + 118029 1554304978.959 * [exit]simplify: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) 1554304978.959 * [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))) 1554304978.959 * [enter]simplify: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) 1554304978.959 * * [misc]simplify: iters left: 5 (13 enodes) 1554304978.962 * * [misc]simplify: iters left: 4 (29 enodes) 1554304978.967 * * [misc]simplify: iters left: 3 (48 enodes) 1554304978.975 * * [misc]simplify: iters left: 2 (68 enodes) 1554304978.985 * * [misc]simplify: iters left: 1 (85 enodes) 1554304978.998 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304978.998 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554304978.998 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1554304978.999 * * [misc]simplify: Extracting #3: cost 17 inf + 2 1554304978.999 * * [misc]simplify: Extracting #4: cost 15 inf + 46 1554304978.999 * * [misc]simplify: Extracting #5: cost 10 inf + 215 1554304978.999 * * [misc]simplify: Extracting #6: cost 1 inf + 3284 1554304979.000 * * [misc]simplify: Extracting #7: cost 0 inf + 4169 1554304979.001 * [exit]simplify: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) 1554304979.001 * [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))) 1554304979.001 * * * * [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)))> 1554304979.001 * [enter]simplify: Simplifying (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 beta alpha))) 1554304979.001 * * [misc]simplify: iters left: 4 (10 enodes) 1554304979.004 * * [misc]simplify: iters left: 3 (28 enodes) 1554304979.008 * * [misc]simplify: iters left: 2 (45 enodes) 1554304979.017 * * [misc]simplify: iters left: 1 (95 enodes) 1554304979.039 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304979.039 * * [misc]simplify: Extracting #1: cost 20 inf + 0 1554304979.039 * * [misc]simplify: Extracting #2: cost 91 inf + 0 1554304979.039 * * [misc]simplify: Extracting #3: cost 119 inf + 2 1554304979.040 * * [misc]simplify: Extracting #4: cost 108 inf + 13203 1554304979.042 * * [misc]simplify: Extracting #5: cost 35 inf + 85388 1554304979.046 * * [misc]simplify: Extracting #6: cost 8 inf + 108558 1554304979.051 * * [misc]simplify: Extracting #7: cost 0 inf + 118029 1554304979.055 * [exit]simplify: Simplified to (/.p16 (-.p16 beta alpha) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 alpha beta))) 1554304979.055 * [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))) 1554304979.055 * [enter]simplify: Simplifying (/.p16 (+.p16 beta alpha) (+.p16 (+.p16 beta (+.p16 alpha (real->posit16 2.0))) (*.p16 (real->posit16 2) i))) 1554304979.055 * * [misc]simplify: iters left: 5 (13 enodes) 1554304979.060 * * [misc]simplify: iters left: 4 (29 enodes) 1554304979.065 * * [misc]simplify: iters left: 3 (48 enodes) 1554304979.073 * * [misc]simplify: iters left: 2 (68 enodes) 1554304979.084 * * [misc]simplify: iters left: 1 (85 enodes) 1554304979.094 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304979.094 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554304979.094 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1554304979.094 * * [misc]simplify: Extracting #3: cost 17 inf + 2 1554304979.095 * * [misc]simplify: Extracting #4: cost 15 inf + 46 1554304979.095 * * [misc]simplify: Extracting #5: cost 10 inf + 215 1554304979.095 * * [misc]simplify: Extracting #6: cost 1 inf + 3284 1554304979.096 * * [misc]simplify: Extracting #7: cost 0 inf + 4169 1554304979.096 * [exit]simplify: Simplified to (/.p16 (+.p16 alpha beta) (+.p16 (*.p16 (real->posit16 2) i) (+.p16 (+.p16 alpha beta) (real->posit16 2.0)))) 1554304979.096 * [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))) 1554304979.096 * * * [misc]progress: adding candidates to table 1554304979.324 * * [misc]progress: iteration 3 / 4 1554304979.324 * * * [misc]progress: picking best candidate 1554304979.452 * * * * [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)))> 1554304979.452 * * * [misc]progress: localizing error 1554304979.659 * * * [misc]progress: generating rewritten candidates 1554304979.659 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 2) 1554304979.668 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1554304979.672 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 2) 1554304979.680 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 2) 1554304979.685 * * * [misc]progress: generating series expansions 1554304979.685 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2) 1554304979.685 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1554304979.685 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 2) 1554304979.685 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 2) 1554304979.685 * * * [misc]progress: simplifying candidates 1554304979.685 * * * * [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)))> 1554304979.685 * [enter]simplify: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) 1554304979.685 * * [misc]simplify: iters left: 2 (5 enodes) 1554304979.686 * * [misc]simplify: iters left: 1 (19 enodes) 1554304979.690 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304979.690 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1554304979.690 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1554304979.690 * * [misc]simplify: Extracting #3: cost 16 inf + 1766 1554304979.690 * * [misc]simplify: Extracting #4: cost 6 inf + 6819 1554304979.691 * * [misc]simplify: Extracting #5: cost 1 inf + 12227 1554304979.691 * * [misc]simplify: Extracting #6: cost 0 inf + 13549 1554304979.691 * [exit]simplify: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) 1554304979.691 * [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))) 1554304979.691 * * * * [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)))> 1554304979.692 * [enter]simplify: Simplifying (*.p16 (real->posit16 2) i) 1554304979.692 * * [misc]simplify: iters left: 2 (4 enodes) 1554304979.693 * * [misc]simplify: iters left: 1 (8 enodes) 1554304979.695 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304979.695 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554304979.695 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1554304979.695 * * [misc]simplify: Extracting #3: cost 2 inf + 2 1554304979.695 * * [misc]simplify: Extracting #4: cost 0 inf + 325 1554304979.695 * [exit]simplify: Simplified to (*.p16 i (real->posit16 2)) 1554304979.695 * [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))) 1554304979.695 * * * * [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)))> 1554304979.702 * * * * [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)))> 1554304979.702 * * * * [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)))> 1554304979.702 * * * * [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)))> 1554304979.702 * * * * [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)))> 1554304979.702 * * * * [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)))> 1554304979.702 * * * * [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)))> 1554304979.702 * * * [misc]progress: adding candidates to table 1554304980.200 * * [misc]progress: iteration 4 / 4 1554304980.200 * * * [misc]progress: picking best candidate 1554304980.449 * * * * [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)))> 1554304980.449 * * * [misc]progress: localizing error 1554304980.684 * * * [misc]progress: generating rewritten candidates 1554304980.684 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 2) 1554304980.692 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 1 1) 1554304980.697 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 2) 1554304980.721 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 2) 1554304980.728 * * * [misc]progress: generating series expansions 1554304980.728 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2) 1554304980.728 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 1 1) 1554304980.728 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 2) 1554304980.728 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 2) 1554304980.728 * * * [misc]progress: simplifying candidates 1554304980.728 * * * * [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)))> 1554304980.728 * [enter]simplify: Simplifying (-.p16 (*.p16 beta beta) (*.p16 alpha alpha)) 1554304980.728 * * [misc]simplify: iters left: 2 (5 enodes) 1554304980.731 * * [misc]simplify: iters left: 1 (19 enodes) 1554304980.738 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304980.738 * * [misc]simplify: Extracting #1: cost 8 inf + 0 1554304980.738 * * [misc]simplify: Extracting #2: cost 16 inf + 0 1554304980.738 * * [misc]simplify: Extracting #3: cost 16 inf + 1766 1554304980.739 * * [misc]simplify: Extracting #4: cost 6 inf + 6819 1554304980.739 * * [misc]simplify: Extracting #5: cost 1 inf + 12227 1554304980.740 * * [misc]simplify: Extracting #6: cost 0 inf + 13549 1554304980.741 * [exit]simplify: Simplified to (*.p16 (-.p16 beta alpha) (+.p16 alpha beta)) 1554304980.741 * [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))) 1554304980.741 * * * * [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)))> 1554304980.742 * [enter]simplify: Simplifying (*.p16 (real->posit16 2) i) 1554304980.742 * * [misc]simplify: iters left: 2 (4 enodes) 1554304980.744 * * [misc]simplify: iters left: 1 (8 enodes) 1554304980.747 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304980.747 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554304980.747 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1554304980.747 * * [misc]simplify: Extracting #3: cost 2 inf + 2 1554304980.747 * * [misc]simplify: Extracting #4: cost 0 inf + 325 1554304980.747 * [exit]simplify: Simplified to (*.p16 i (real->posit16 2)) 1554304980.747 * [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))) 1554304980.747 * * * * [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)))> 1554304980.747 * * * * [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)))> 1554304980.748 * [enter]simplify: Simplifying (*.p16 (real->posit16 2) i) 1554304980.748 * * [misc]simplify: iters left: 2 (4 enodes) 1554304980.750 * * [misc]simplify: iters left: 1 (8 enodes) 1554304980.752 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554304980.752 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554304980.752 * * [misc]simplify: Extracting #2: cost 3 inf + 1 1554304980.752 * * [misc]simplify: Extracting #3: cost 2 inf + 2 1554304980.752 * * [misc]simplify: Extracting #4: cost 0 inf + 325 1554304980.753 * [exit]simplify: Simplified to (*.p16 i (real->posit16 2)) 1554304980.753 * [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))) 1554304980.753 * * * * [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)))> 1554304980.753 * * * * [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)))> 1554304980.753 * * * * [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)))> 1554304980.753 * * * * [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)))> 1554304980.753 * * * * [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)))> 1554304980.753 * * * [misc]progress: adding candidates to table 1554304981.202 * [misc]progress: [Phase 3 of 3] Extracting. 1554304981.202 * * [misc]regime: Finding splitpoints for: (#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 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) 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 (+.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 (+.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 (+.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.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)))>) 1554304981.207 * * * [misc]regime-changes: Trying 3 branch expressions: (i beta alpha) 1554304981.208 * * * * [misc]regimes: Trying to branch on i from (#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 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) 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 (+.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 (+.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 (+.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.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)))>) 1554304981.512 * * * * [misc]regimes: Trying to branch on beta from (#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 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) 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 (+.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 (+.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 (+.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.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)))>) 1554304981.803 * * * * [misc]regimes: Trying to branch on alpha from (#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 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) 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 (+.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 (+.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 (+.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.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)))>) 1554304982.171 * * * [misc]regime: Found split indices: #