1552480330.297 * [progress]: [Phase 1 of 3] Setting up. 1552480330.298 * * * [progress]: [1/2] Preparing points 1552480330.298 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1552480330.299 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1552480330.301 * * * * [points]: Setting MPFR precision to 64 1552480330.302 * * * * [points]: Setting MPFR precision to 320 1552480330.303 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1552480330.306 * * * * [points]: Setting MPFR precision to 64 1552480330.311 * * * * [points]: Setting MPFR precision to 320 1552480330.316 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1552480330.320 * * * * [points]: Setting MPFR precision to 64 1552480330.326 * * * * [points]: Setting MPFR precision to 320 1552480330.334 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1552480330.338 * * * * [points]: Setting MPFR precision to 64 1552480330.343 * * * * [points]: Setting MPFR precision to 320 1552480330.350 * * * * [points]: Computing exacts for 256 points 1552480330.353 * * * * [points]: Setting MPFR precision to 64 1552480330.369 * * * * [points]: Setting MPFR precision to 320 1552480330.392 * * * * [points]: Filtering points with unrepresentable outputs 1552480330.422 * * * * [points]: Sampled 256 points with exact outputs 1552480330.422 * * * [progress]: [2/2] Setting up program. 1552480330.447 * [progress]: [Phase 2 of 3] Improving. 1552480330.447 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1552480330.448 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))) 1552480330.448 * * [simplify]: iters left: 5 (13 enodes) 1552480330.451 * * [simplify]: iters left: 4 (29 enodes) 1552480330.476 * * [simplify]: iters left: 3 (49 enodes) 1552480330.499 * * [simplify]: iters left: 2 (122 enodes) 1552480330.547 * * [simplify]: iters left: 1 (228 enodes) 1552480330.655 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480330.656 * * [simplify]: Extracting #1: cost 23 inf + 0 1552480330.656 * * [simplify]: Extracting #2: cost 50 inf + 1 1552480330.656 * * [simplify]: Extracting #3: cost 49 inf + 325 1552480330.656 * * [simplify]: Extracting #4: cost 29 inf + 4935 1552480330.658 * * [simplify]: Extracting #5: cost 5 inf + 11608 1552480330.660 * * [simplify]: Extracting #6: cost 0 inf + 11542 1552480330.662 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1552480330.662 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1552480330.757 * * [progress]: iteration 1 / 4 1552480330.757 * * * [progress]: picking best candidate 1552480330.842 * * * * [pick]: Picked #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1552480330.842 * * * [progress]: localizing error 1552480331.182 * * * [progress]: generating rewritten candidates 1552480331.182 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 1552480331.189 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1552480331.211 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1552480331.287 * * * [progress]: generating series expansions 1552480331.287 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 1552480331.287 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1552480331.287 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1552480331.287 * * * [progress]: simplifying candidates 1552480331.287 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552480331.287 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552480331.288 * [simplify]: Simplifying (+.p16 d2 (+.p16 d3 (real->posit16 5))) 1552480331.288 * * [simplify]: iters left: 3 (6 enodes) 1552480331.290 * * [simplify]: iters left: 2 (15 enodes) 1552480331.292 * * [simplify]: iters left: 1 (21 enodes) 1552480331.296 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480331.296 * * [simplify]: Extracting #1: cost 7 inf + 0 1552480331.296 * * [simplify]: Extracting #2: cost 6 inf + 2 1552480331.296 * * [simplify]: Extracting #3: cost 4 inf + 45 1552480331.296 * * [simplify]: Extracting #4: cost 1 inf + 171 1552480331.296 * * [simplify]: Extracting #5: cost 0 inf + 213 1552480331.296 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (real->posit16 5)) 1552480331.296 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (+.p16 d3 d2) (real->posit16 5))) (*.p16 d1 (real->posit16 32)))) 1552480331.296 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552480331.296 * [simplify]: Simplifying (+.p16 d2 (+.p16 d3 (real->posit16 5))) 1552480331.296 * * [simplify]: iters left: 3 (6 enodes) 1552480331.298 * * [simplify]: iters left: 2 (15 enodes) 1552480331.301 * * [simplify]: iters left: 1 (21 enodes) 1552480331.304 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480331.304 * * [simplify]: Extracting #1: cost 7 inf + 0 1552480331.304 * * [simplify]: Extracting #2: cost 6 inf + 2 1552480331.304 * * [simplify]: Extracting #3: cost 4 inf + 45 1552480331.304 * * [simplify]: Extracting #4: cost 1 inf + 171 1552480331.304 * * [simplify]: Extracting #5: cost 0 inf + 213 1552480331.304 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (real->posit16 5)) 1552480331.304 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (+.p16 d3 d2) (real->posit16 5))) (*.p16 d1 (real->posit16 32)))) 1552480331.304 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552480331.305 * [simplify]: Simplifying (+.p16 d2 (+.p16 d3 (real->posit16 5))) 1552480331.305 * * [simplify]: iters left: 3 (6 enodes) 1552480331.306 * * [simplify]: iters left: 2 (15 enodes) 1552480331.309 * * [simplify]: iters left: 1 (21 enodes) 1552480331.312 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480331.312 * * [simplify]: Extracting #1: cost 7 inf + 0 1552480331.313 * * [simplify]: Extracting #2: cost 6 inf + 2 1552480331.313 * * [simplify]: Extracting #3: cost 4 inf + 45 1552480331.313 * * [simplify]: Extracting #4: cost 1 inf + 171 1552480331.313 * * [simplify]: Extracting #5: cost 0 inf + 213 1552480331.313 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (real->posit16 5)) 1552480331.313 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (+.p16 d3 d2) (real->posit16 5))) (*.p16 d1 (real->posit16 32)))) 1552480331.313 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 32))))> 1552480331.313 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #posit16 5))) (real->posit16 32))))> 1552480331.313 * [simplify]: Simplifying (+.p16 (+.p16 d2 (+.p16 d3 (real->posit16 5))) (real->posit16 32)) 1552480331.313 * * [simplify]: iters left: 4 (9 enodes) 1552480331.316 * * [simplify]: iters left: 3 (22 enodes) 1552480331.320 * * [simplify]: iters left: 2 (41 enodes) 1552480331.327 * * [simplify]: iters left: 1 (59 enodes) 1552480331.338 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480331.338 * * [simplify]: Extracting #1: cost 16 inf + 0 1552480331.338 * * [simplify]: Extracting #2: cost 15 inf + 44 1552480331.338 * * [simplify]: Extracting #3: cost 9 inf + 173 1552480331.339 * * [simplify]: Extracting #4: cost 0 inf + 797 1552480331.339 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))) 1552480331.339 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))))) 1552480331.339 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #posit16 5))) (real->posit16 32))))> 1552480331.340 * [simplify]: Simplifying (+.p16 (+.p16 d2 (+.p16 d3 (real->posit16 5))) (real->posit16 32)) 1552480331.340 * * [simplify]: iters left: 4 (9 enodes) 1552480331.342 * * [simplify]: iters left: 3 (22 enodes) 1552480331.347 * * [simplify]: iters left: 2 (41 enodes) 1552480331.355 * * [simplify]: iters left: 1 (59 enodes) 1552480331.365 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480331.365 * * [simplify]: Extracting #1: cost 16 inf + 0 1552480331.366 * * [simplify]: Extracting #2: cost 15 inf + 44 1552480331.366 * * [simplify]: Extracting #3: cost 9 inf + 173 1552480331.366 * * [simplify]: Extracting #4: cost 0 inf + 797 1552480331.366 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))) 1552480331.367 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))))) 1552480331.367 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #posit16 5))) (real->posit16 32))))> 1552480331.367 * [simplify]: Simplifying (+.p16 (+.p16 d2 (+.p16 d3 (real->posit16 5))) (real->posit16 32)) 1552480331.367 * * [simplify]: iters left: 4 (9 enodes) 1552480331.369 * * [simplify]: iters left: 3 (22 enodes) 1552480331.373 * * [simplify]: iters left: 2 (41 enodes) 1552480331.381 * * [simplify]: iters left: 1 (59 enodes) 1552480331.392 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480331.392 * * [simplify]: Extracting #1: cost 16 inf + 0 1552480331.392 * * [simplify]: Extracting #2: cost 15 inf + 44 1552480331.392 * * [simplify]: Extracting #3: cost 9 inf + 173 1552480331.392 * * [simplify]: Extracting #4: cost 0 inf + 797 1552480331.393 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))) 1552480331.393 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))))) 1552480331.393 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1552480331.393 * [simplify]: Simplifying (*.p16 d1 d2) 1552480331.393 * * [simplify]: iters left: 1 (3 enodes) 1552480331.394 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480331.394 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480331.394 * * [simplify]: Extracting #2: cost 1 inf + 2 1552480331.394 * * [simplify]: Extracting #3: cost 0 inf + 324 1552480331.394 * [simplify]: Simplified to (*.p16 d2 d1) 1552480331.394 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d2 d1) (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32))))) 1552480331.394 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #posit16 5)) d1) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))> 1552480331.394 * [simplify]: Simplifying (*.p16 (+.p16 d3 (real->posit16 5)) d1) 1552480331.394 * * [simplify]: iters left: 3 (6 enodes) 1552480331.395 * * [simplify]: iters left: 2 (13 enodes) 1552480331.398 * * [simplify]: iters left: 1 (21 enodes) 1552480331.402 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480331.402 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480331.402 * * [simplify]: Extracting #2: cost 6 inf + 1 1552480331.402 * * [simplify]: Extracting #3: cost 6 inf + 2 1552480331.402 * * [simplify]: Extracting #4: cost 4 inf + 325 1552480331.402 * * [simplify]: Extracting #5: cost 0 inf + 1053 1552480331.402 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552480331.402 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d3)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32))))) 1552480331.402 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #posit16 5))) (real->posit16 32))))> 1552480331.402 * [simplify]: Simplifying (+.p16 (+.p16 d2 (+.p16 d3 (real->posit16 5))) (real->posit16 32)) 1552480331.402 * * [simplify]: iters left: 4 (9 enodes) 1552480331.405 * * [simplify]: iters left: 3 (22 enodes) 1552480331.409 * * [simplify]: iters left: 2 (41 enodes) 1552480331.416 * * [simplify]: iters left: 1 (59 enodes) 1552480331.426 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480331.426 * * [simplify]: Extracting #1: cost 16 inf + 0 1552480331.426 * * [simplify]: Extracting #2: cost 15 inf + 44 1552480331.426 * * [simplify]: Extracting #3: cost 9 inf + 173 1552480331.426 * * [simplify]: Extracting #4: cost 0 inf + 797 1552480331.427 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))) 1552480331.427 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))))) 1552480331.427 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #posit16 5))) (real->posit16 32))))> 1552480331.427 * [simplify]: Simplifying (+.p16 (+.p16 d2 (+.p16 d3 (real->posit16 5))) (real->posit16 32)) 1552480331.427 * * [simplify]: iters left: 4 (9 enodes) 1552480331.431 * * [simplify]: iters left: 3 (22 enodes) 1552480331.435 * * [simplify]: iters left: 2 (41 enodes) 1552480331.442 * * [simplify]: iters left: 1 (59 enodes) 1552480331.452 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480331.452 * * [simplify]: Extracting #1: cost 16 inf + 0 1552480331.452 * * [simplify]: Extracting #2: cost 15 inf + 44 1552480331.452 * * [simplify]: Extracting #3: cost 9 inf + 173 1552480331.453 * * [simplify]: Extracting #4: cost 0 inf + 797 1552480331.453 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))) 1552480331.453 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))))) 1552480331.453 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #posit16 5))) (real->posit16 32))))> 1552480331.453 * [simplify]: Simplifying (+.p16 (+.p16 d2 (+.p16 d3 (real->posit16 5))) (real->posit16 32)) 1552480331.454 * * [simplify]: iters left: 4 (9 enodes) 1552480331.456 * * [simplify]: iters left: 3 (22 enodes) 1552480331.460 * * [simplify]: iters left: 2 (41 enodes) 1552480331.467 * * [simplify]: iters left: 1 (59 enodes) 1552480331.477 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480331.477 * * [simplify]: Extracting #1: cost 16 inf + 0 1552480331.477 * * [simplify]: Extracting #2: cost 15 inf + 44 1552480331.478 * * [simplify]: Extracting #3: cost 9 inf + 173 1552480331.478 * * [simplify]: Extracting #4: cost 0 inf + 797 1552480331.478 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))) 1552480331.479 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))))) 1552480331.479 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #posit16 32)) (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1))))> 1552480331.479 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1552480331.479 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))) 1552480331.479 * * [simplify]: iters left: 5 (13 enodes) 1552480331.483 * * [simplify]: iters left: 4 (29 enodes) 1552480331.489 * * [simplify]: iters left: 3 (49 enodes) 1552480331.501 * * [simplify]: iters left: 2 (122 enodes) 1552480331.527 * * [simplify]: iters left: 1 (228 enodes) 1552480331.610 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480331.610 * * [simplify]: Extracting #1: cost 23 inf + 0 1552480331.611 * * [simplify]: Extracting #2: cost 50 inf + 1 1552480331.611 * * [simplify]: Extracting #3: cost 49 inf + 325 1552480331.611 * * [simplify]: Extracting #4: cost 29 inf + 4935 1552480331.613 * * [simplify]: Extracting #5: cost 5 inf + 11608 1552480331.615 * * [simplify]: Extracting #6: cost 0 inf + 11542 1552480331.617 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1552480331.617 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1552480331.617 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1552480331.617 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))) 1552480331.617 * * [simplify]: iters left: 5 (13 enodes) 1552480331.621 * * [simplify]: iters left: 4 (29 enodes) 1552480331.626 * * [simplify]: iters left: 3 (49 enodes) 1552480331.639 * * [simplify]: iters left: 2 (122 enodes) 1552480331.666 * * [simplify]: iters left: 1 (228 enodes) 1552480331.733 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480331.733 * * [simplify]: Extracting #1: cost 23 inf + 0 1552480331.733 * * [simplify]: Extracting #2: cost 50 inf + 1 1552480331.733 * * [simplify]: Extracting #3: cost 49 inf + 325 1552480331.734 * * [simplify]: Extracting #4: cost 29 inf + 4935 1552480331.735 * * [simplify]: Extracting #5: cost 5 inf + 11608 1552480331.737 * * [simplify]: Extracting #6: cost 0 inf + 11542 1552480331.739 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1552480331.739 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1552480331.739 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1552480331.740 * [simplify]: Simplifying (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 (+.p16 d3 (real->posit16 5)) d1)) (*.p16 d1 (real->posit16 32))) 1552480331.740 * * [simplify]: iters left: 5 (13 enodes) 1552480331.743 * * [simplify]: iters left: 4 (29 enodes) 1552480331.749 * * [simplify]: iters left: 3 (49 enodes) 1552480331.760 * * [simplify]: iters left: 2 (122 enodes) 1552480331.788 * * [simplify]: iters left: 1 (228 enodes) 1552480331.874 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480331.875 * * [simplify]: Extracting #1: cost 23 inf + 0 1552480331.875 * * [simplify]: Extracting #2: cost 50 inf + 1 1552480331.876 * * [simplify]: Extracting #3: cost 49 inf + 325 1552480331.877 * * [simplify]: Extracting #4: cost 29 inf + 4935 1552480331.880 * * [simplify]: Extracting #5: cost 5 inf + 11608 1552480331.884 * * [simplify]: Extracting #6: cost 0 inf + 11542 1552480331.889 * [simplify]: Simplified to (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1) 1552480331.889 * [simplify]: Simplified (2) to (λ (d1 d2 d3) (*.p16 (+.p16 (+.p16 (real->posit16 5) (+.p16 d3 d2)) (real->posit16 32)) d1)) 1552480331.889 * * * [progress]: adding candidates to table 1552480333.094 * * [progress]: iteration 2 / 4 1552480333.094 * * * [progress]: picking best candidate 1552480333.266 * * * * [pick]: Picked #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552480333.266 * * * [progress]: localizing error 1552480333.432 * * * [progress]: generating rewritten candidates 1552480333.432 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 1552480333.441 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1552480333.453 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1552480333.489 * * * [progress]: generating series expansions 1552480333.489 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 1552480333.489 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1552480333.489 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1552480333.489 * * * [progress]: simplifying candidates 1552480333.489 * * * * [progress]: [ 1 / 27 ] simplifiying candidate #posit16 5))) (*.p16 d1 (real->posit16 32))))> 1552480333.490 * [simplify]: Simplifying (real->posit16 5) 1552480333.490 * * [simplify]: iters left: 1 (2 enodes) 1552480333.491 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.491 * * [simplify]: Extracting #1: cost 2 inf + 0 1552480333.491 * * [simplify]: Extracting #2: cost 1 inf + 1 1552480333.492 * * [simplify]: Extracting #3: cost 0 inf + 2 1552480333.492 * [simplify]: Simplified to (real->posit16 5) 1552480333.492 * [simplify]: Simplified (2 1 2 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (+.p16 d2 d3) (real->posit16 5))) (*.p16 d1 (real->posit16 32)))) 1552480333.492 * * * * [progress]: [ 2 / 27 ] simplifiying candidate #posit16 5)) d3)) (*.p16 d1 (real->posit16 32))))> 1552480333.492 * * * * [progress]: [ 3 / 27 ] simplifiying candidate #posit16 5)) d2)) (*.p16 d1 (real->posit16 32))))> 1552480333.492 * * * * [progress]: [ 4 / 27 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552480333.492 * [simplify]: Simplifying (*.p16 d1 (+.p16 d3 (real->posit16 5))) 1552480333.492 * * [simplify]: iters left: 3 (6 enodes) 1552480333.495 * * [simplify]: iters left: 2 (19 enodes) 1552480333.510 * * [simplify]: iters left: 1 (21 enodes) 1552480333.516 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.516 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480333.516 * * [simplify]: Extracting #2: cost 6 inf + 1 1552480333.516 * * [simplify]: Extracting #3: cost 5 inf + 324 1552480333.516 * * [simplify]: Extracting #4: cost 0 inf + 1053 1552480333.517 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552480333.517 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (real->posit16 5) d3))) (*.p16 d1 (real->posit16 32)))) 1552480333.517 * * * * [progress]: [ 5 / 27 ] simplifiying candidate #posit16 5))) (*.p16 d1 (real->posit16 32))))> 1552480333.517 * [simplify]: Simplifying (*.p16 d1 (real->posit16 5)) 1552480333.517 * * [simplify]: iters left: 2 (4 enodes) 1552480333.519 * * [simplify]: iters left: 1 (8 enodes) 1552480333.522 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.522 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480333.522 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480333.522 * * [simplify]: Extracting #3: cost 0 inf + 325 1552480333.522 * [simplify]: Simplified to (*.p16 d1 (real->posit16 5)) 1552480333.522 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (+.p16 d2 d3)) (*.p16 d1 (real->posit16 5))) (*.p16 d1 (real->posit16 32)))) 1552480333.522 * * * * [progress]: [ 6 / 27 ] simplifiying candidate #posit16 5))) (*.p16 d1 d3)) (*.p16 d1 (real->posit16 32))))> 1552480333.523 * [simplify]: Simplifying (*.p16 d1 d3) 1552480333.523 * * [simplify]: iters left: 1 (3 enodes) 1552480333.524 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.524 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480333.524 * * [simplify]: Extracting #2: cost 1 inf + 2 1552480333.524 * * [simplify]: Extracting #3: cost 0 inf + 324 1552480333.524 * [simplify]: Simplified to (*.p16 d3 d1) 1552480333.524 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (+.p16 d2 (real->posit16 5))) (*.p16 d3 d1)) (*.p16 d1 (real->posit16 32)))) 1552480333.524 * * * * [progress]: [ 7 / 27 ] simplifiying candidate #posit16 5))) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 32))))> 1552480333.524 * [simplify]: Simplifying (*.p16 d1 d2) 1552480333.525 * * [simplify]: iters left: 1 (3 enodes) 1552480333.526 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.526 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480333.526 * * [simplify]: Extracting #2: cost 1 inf + 2 1552480333.526 * * [simplify]: Extracting #3: cost 0 inf + 324 1552480333.526 * [simplify]: Simplified to (*.p16 d2 d1) 1552480333.526 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (+.p16 d3 (real->posit16 5))) (*.p16 d2 d1)) (*.p16 d1 (real->posit16 32)))) 1552480333.526 * * * * [progress]: [ 8 / 27 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1552480333.526 * [simplify]: Simplifying (*.p16 (+.p16 d3 (real->posit16 5)) d1) 1552480333.526 * * [simplify]: iters left: 3 (6 enodes) 1552480333.529 * * [simplify]: iters left: 2 (13 enodes) 1552480333.534 * * [simplify]: iters left: 1 (21 enodes) 1552480333.541 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.541 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480333.541 * * [simplify]: Extracting #2: cost 6 inf + 1 1552480333.541 * * [simplify]: Extracting #3: cost 6 inf + 2 1552480333.541 * * [simplify]: Extracting #4: cost 4 inf + 325 1552480333.541 * * [simplify]: Extracting #5: cost 0 inf + 1053 1552480333.541 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552480333.541 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d2 d1) (*.p16 d1 (+.p16 (real->posit16 5) d3))) (*.p16 d1 (real->posit16 32)))) 1552480333.542 * * * * [progress]: [ 9 / 27 ] simplifiying candidate #posit16 5) d1)) (*.p16 d1 (real->posit16 32))))> 1552480333.542 * [simplify]: Simplifying (*.p16 (real->posit16 5) d1) 1552480333.542 * * [simplify]: iters left: 2 (4 enodes) 1552480333.544 * * [simplify]: iters left: 1 (8 enodes) 1552480333.546 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.546 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480333.546 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480333.546 * * [simplify]: Extracting #3: cost 2 inf + 2 1552480333.547 * * [simplify]: Extracting #4: cost 0 inf + 325 1552480333.547 * [simplify]: Simplified to (*.p16 d1 (real->posit16 5)) 1552480333.547 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 (+.p16 d2 d3) d1) (*.p16 d1 (real->posit16 5))) (*.p16 d1 (real->posit16 32)))) 1552480333.547 * * * * [progress]: [ 10 / 27 ] simplifiying candidate #posit16 5)) d1) (*.p16 d3 d1)) (*.p16 d1 (real->posit16 32))))> 1552480333.547 * [simplify]: Simplifying (*.p16 d3 d1) 1552480333.547 * * [simplify]: iters left: 1 (3 enodes) 1552480333.548 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.548 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480333.548 * * [simplify]: Extracting #2: cost 1 inf + 2 1552480333.548 * * [simplify]: Extracting #3: cost 0 inf + 324 1552480333.549 * [simplify]: Simplified to (*.p16 d1 d3) 1552480333.549 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 (+.p16 d2 (real->posit16 5)) d1) (*.p16 d1 d3)) (*.p16 d1 (real->posit16 32)))) 1552480333.549 * * * * [progress]: [ 11 / 27 ] simplifiying candidate #posit16 5)) d1) (*.p16 d2 d1)) (*.p16 d1 (real->posit16 32))))> 1552480333.549 * [simplify]: Simplifying (*.p16 d2 d1) 1552480333.549 * * [simplify]: iters left: 1 (3 enodes) 1552480333.550 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.550 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480333.550 * * [simplify]: Extracting #2: cost 1 inf + 2 1552480333.550 * * [simplify]: Extracting #3: cost 0 inf + 324 1552480333.550 * [simplify]: Simplified to (*.p16 d1 d2) 1552480333.550 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 d2)) (*.p16 d1 (real->posit16 32)))) 1552480333.551 * * * * [progress]: [ 12 / 27 ] simplifiying candidate #posit16 5))) d1) (*.p16 d1 (real->posit16 32))))> 1552480333.551 * * * * [progress]: [ 13 / 27 ] simplifiying candidate #posit16 5))) (real->posit16 32))))> 1552480333.551 * [simplify]: Simplifying (+.p16 (+.p16 d2 (+.p16 d3 (real->posit16 5))) (real->posit16 32)) 1552480333.551 * * [simplify]: iters left: 4 (9 enodes) 1552480333.555 * * [simplify]: iters left: 3 (22 enodes) 1552480333.563 * * [simplify]: iters left: 2 (41 enodes) 1552480333.576 * * [simplify]: iters left: 1 (59 enodes) 1552480333.595 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.596 * * [simplify]: Extracting #1: cost 16 inf + 0 1552480333.596 * * [simplify]: Extracting #2: cost 15 inf + 44 1552480333.596 * * [simplify]: Extracting #3: cost 9 inf + 173 1552480333.597 * * [simplify]: Extracting #4: cost 0 inf + 797 1552480333.598 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))) 1552480333.598 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))))) 1552480333.598 * * * * [progress]: [ 14 / 27 ] simplifiying candidate #posit16 5))) (real->posit16 32))))> 1552480333.598 * [simplify]: Simplifying (+.p16 (+.p16 d2 (+.p16 d3 (real->posit16 5))) (real->posit16 32)) 1552480333.598 * * [simplify]: iters left: 4 (9 enodes) 1552480333.603 * * [simplify]: iters left: 3 (22 enodes) 1552480333.610 * * [simplify]: iters left: 2 (41 enodes) 1552480333.624 * * [simplify]: iters left: 1 (59 enodes) 1552480333.643 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.643 * * [simplify]: Extracting #1: cost 16 inf + 0 1552480333.643 * * [simplify]: Extracting #2: cost 15 inf + 44 1552480333.643 * * [simplify]: Extracting #3: cost 9 inf + 173 1552480333.644 * * [simplify]: Extracting #4: cost 0 inf + 797 1552480333.645 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))) 1552480333.645 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))))) 1552480333.645 * * * * [progress]: [ 15 / 27 ] simplifiying candidate #posit16 5))) (*.p16 d1 (real->posit16 32)))))> 1552480333.646 * [simplify]: Simplifying (*.p16 d1 d2) 1552480333.646 * * [simplify]: iters left: 1 (3 enodes) 1552480333.647 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.647 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480333.647 * * [simplify]: Extracting #2: cost 1 inf + 2 1552480333.647 * * [simplify]: Extracting #3: cost 0 inf + 324 1552480333.647 * [simplify]: Simplified to (*.p16 d2 d1) 1552480333.647 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d2 d1) (+.p16 (*.p16 d1 (+.p16 d3 (real->posit16 5))) (*.p16 d1 (real->posit16 32))))) 1552480333.647 * * * * [progress]: [ 16 / 27 ] simplifiying candidate #posit16 5)) (*.p16 d1 (real->posit16 32)))))> 1552480333.647 * [simplify]: Simplifying (*.p16 d1 (+.p16 d2 d3)) 1552480333.648 * * [simplify]: iters left: 2 (5 enodes) 1552480333.650 * * [simplify]: iters left: 1 (19 enodes) 1552480333.657 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.657 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480333.657 * * [simplify]: Extracting #2: cost 6 inf + 1 1552480333.657 * * [simplify]: Extracting #3: cost 0 inf + 1052 1552480333.657 * [simplify]: Simplified to (*.p16 (+.p16 d2 d3) d1) 1552480333.658 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 (+.p16 d2 d3) d1) (+.p16 (*.p16 d1 (real->posit16 5)) (*.p16 d1 (real->posit16 32))))) 1552480333.658 * * * * [progress]: [ 17 / 27 ] simplifiying candidate #posit16 5))) (+.p16 (*.p16 d1 d3) (*.p16 d1 (real->posit16 32)))))> 1552480333.658 * [simplify]: Simplifying (*.p16 d1 (+.p16 d2 (real->posit16 5))) 1552480333.658 * * [simplify]: iters left: 3 (6 enodes) 1552480333.660 * * [simplify]: iters left: 2 (19 enodes) 1552480333.663 * * [simplify]: iters left: 1 (21 enodes) 1552480333.666 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.666 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480333.666 * * [simplify]: Extracting #2: cost 6 inf + 1 1552480333.666 * * [simplify]: Extracting #3: cost 5 inf + 324 1552480333.666 * * [simplify]: Extracting #4: cost 0 inf + 1053 1552480333.666 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d2)) 1552480333.666 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d2)) (+.p16 (*.p16 d1 d3) (*.p16 d1 (real->posit16 32))))) 1552480333.666 * * * * [progress]: [ 18 / 27 ] simplifiying candidate #posit16 5))) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32)))))> 1552480333.667 * [simplify]: Simplifying (*.p16 d1 (+.p16 d3 (real->posit16 5))) 1552480333.667 * * [simplify]: iters left: 3 (6 enodes) 1552480333.668 * * [simplify]: iters left: 2 (19 enodes) 1552480333.672 * * [simplify]: iters left: 1 (21 enodes) 1552480333.675 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.675 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480333.675 * * [simplify]: Extracting #2: cost 6 inf + 1 1552480333.675 * * [simplify]: Extracting #3: cost 5 inf + 324 1552480333.675 * * [simplify]: Extracting #4: cost 0 inf + 1053 1552480333.675 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552480333.675 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d3)) (+.p16 (*.p16 d1 d2) (*.p16 d1 (real->posit16 32))))) 1552480333.675 * * * * [progress]: [ 19 / 27 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1552480333.675 * [simplify]: Simplifying (*.p16 d2 d1) 1552480333.675 * * [simplify]: iters left: 1 (3 enodes) 1552480333.676 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.676 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480333.676 * * [simplify]: Extracting #2: cost 1 inf + 2 1552480333.676 * * [simplify]: Extracting #3: cost 0 inf + 324 1552480333.676 * [simplify]: Simplified to (*.p16 d1 d2) 1552480333.676 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32))))) 1552480333.676 * * * * [progress]: [ 20 / 27 ] simplifiying candidate #posit16 5) d1) (*.p16 d1 (real->posit16 32)))))> 1552480333.676 * [simplify]: Simplifying (*.p16 (+.p16 d2 d3) d1) 1552480333.676 * * [simplify]: iters left: 2 (5 enodes) 1552480333.677 * * [simplify]: iters left: 1 (13 enodes) 1552480333.679 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.679 * * [simplify]: Extracting #1: cost 7 inf + 0 1552480333.679 * * [simplify]: Extracting #2: cost 8 inf + 1 1552480333.680 * * [simplify]: Extracting #3: cost 5 inf + 325 1552480333.680 * * [simplify]: Extracting #4: cost 0 inf + 2016 1552480333.680 * * [simplify]: Extracting #5: cost 0 inf + 1696 1552480333.680 * [simplify]: Simplified to (*.p16 d1 (+.p16 d3 d2)) 1552480333.680 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 d3 d2)) (+.p16 (*.p16 (real->posit16 5) d1) (*.p16 d1 (real->posit16 32))))) 1552480333.680 * * * * [progress]: [ 21 / 27 ] simplifiying candidate #posit16 5)) d1) (+.p16 (*.p16 d3 d1) (*.p16 d1 (real->posit16 32)))))> 1552480333.680 * [simplify]: Simplifying (*.p16 (+.p16 d2 (real->posit16 5)) d1) 1552480333.680 * * [simplify]: iters left: 3 (6 enodes) 1552480333.682 * * [simplify]: iters left: 2 (13 enodes) 1552480333.684 * * [simplify]: iters left: 1 (21 enodes) 1552480333.688 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.688 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480333.688 * * [simplify]: Extracting #2: cost 6 inf + 1 1552480333.688 * * [simplify]: Extracting #3: cost 6 inf + 2 1552480333.688 * * [simplify]: Extracting #4: cost 4 inf + 325 1552480333.688 * * [simplify]: Extracting #5: cost 0 inf + 1053 1552480333.688 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d2)) 1552480333.688 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d2)) (+.p16 (*.p16 d3 d1) (*.p16 d1 (real->posit16 32))))) 1552480333.688 * * * * [progress]: [ 22 / 27 ] simplifiying candidate #posit16 5)) d1) (+.p16 (*.p16 d2 d1) (*.p16 d1 (real->posit16 32)))))> 1552480333.689 * [simplify]: Simplifying (*.p16 (+.p16 d3 (real->posit16 5)) d1) 1552480333.689 * * [simplify]: iters left: 3 (6 enodes) 1552480333.690 * * [simplify]: iters left: 2 (13 enodes) 1552480333.693 * * [simplify]: iters left: 1 (21 enodes) 1552480333.696 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.696 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480333.696 * * [simplify]: Extracting #2: cost 6 inf + 1 1552480333.696 * * [simplify]: Extracting #3: cost 6 inf + 2 1552480333.696 * * [simplify]: Extracting #4: cost 4 inf + 325 1552480333.697 * * [simplify]: Extracting #5: cost 0 inf + 1053 1552480333.697 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552480333.697 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d3)) (+.p16 (*.p16 d2 d1) (*.p16 d1 (real->posit16 32))))) 1552480333.697 * * * * [progress]: [ 23 / 27 ] simplifiying candidate #posit16 5))) (real->posit16 32))))> 1552480333.697 * [simplify]: Simplifying (+.p16 (+.p16 d2 (+.p16 d3 (real->posit16 5))) (real->posit16 32)) 1552480333.697 * * [simplify]: iters left: 4 (9 enodes) 1552480333.699 * * [simplify]: iters left: 3 (22 enodes) 1552480333.704 * * [simplify]: iters left: 2 (41 enodes) 1552480333.711 * * [simplify]: iters left: 1 (59 enodes) 1552480333.724 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.724 * * [simplify]: Extracting #1: cost 16 inf + 0 1552480333.724 * * [simplify]: Extracting #2: cost 15 inf + 44 1552480333.725 * * [simplify]: Extracting #3: cost 9 inf + 173 1552480333.725 * * [simplify]: Extracting #4: cost 0 inf + 797 1552480333.726 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))) 1552480333.726 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 d3 d2) (+.p16 (real->posit16 5) (real->posit16 32))))) 1552480333.727 * * * * [progress]: [ 24 / 27 ] simplifiying candidate #posit16 32)) (*.p16 d1 (+.p16 d2 (+.p16 d3 (real->posit16 5))))))> 1552480333.727 * * * * [progress]: [ 25 / 27 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552480333.727 * [simplify]: Simplifying (+.p16 d2 (+.p16 d3 (real->posit16 5))) 1552480333.727 * * [simplify]: iters left: 3 (6 enodes) 1552480333.730 * * [simplify]: iters left: 2 (15 enodes) 1552480333.735 * * [simplify]: iters left: 1 (21 enodes) 1552480333.740 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.740 * * [simplify]: Extracting #1: cost 7 inf + 0 1552480333.740 * * [simplify]: Extracting #2: cost 6 inf + 2 1552480333.740 * * [simplify]: Extracting #3: cost 4 inf + 45 1552480333.741 * * [simplify]: Extracting #4: cost 1 inf + 171 1552480333.741 * * [simplify]: Extracting #5: cost 0 inf + 213 1552480333.741 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (real->posit16 5)) 1552480333.741 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (+.p16 d3 d2) (real->posit16 5))) (*.p16 d1 (real->posit16 32)))) 1552480333.741 * * * * [progress]: [ 26 / 27 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552480333.742 * [simplify]: Simplifying (+.p16 d2 (+.p16 d3 (real->posit16 5))) 1552480333.742 * * [simplify]: iters left: 3 (6 enodes) 1552480333.744 * * [simplify]: iters left: 2 (15 enodes) 1552480333.747 * * [simplify]: iters left: 1 (21 enodes) 1552480333.752 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.752 * * [simplify]: Extracting #1: cost 7 inf + 0 1552480333.752 * * [simplify]: Extracting #2: cost 6 inf + 2 1552480333.752 * * [simplify]: Extracting #3: cost 4 inf + 45 1552480333.752 * * [simplify]: Extracting #4: cost 1 inf + 171 1552480333.753 * * [simplify]: Extracting #5: cost 0 inf + 213 1552480333.753 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (real->posit16 5)) 1552480333.753 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (+.p16 d3 d2) (real->posit16 5))) (*.p16 d1 (real->posit16 32)))) 1552480333.753 * * * * [progress]: [ 27 / 27 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552480333.753 * [simplify]: Simplifying (+.p16 d2 (+.p16 d3 (real->posit16 5))) 1552480333.753 * * [simplify]: iters left: 3 (6 enodes) 1552480333.755 * * [simplify]: iters left: 2 (15 enodes) 1552480333.758 * * [simplify]: iters left: 1 (21 enodes) 1552480333.761 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480333.761 * * [simplify]: Extracting #1: cost 7 inf + 0 1552480333.761 * * [simplify]: Extracting #2: cost 6 inf + 2 1552480333.761 * * [simplify]: Extracting #3: cost 4 inf + 45 1552480333.761 * * [simplify]: Extracting #4: cost 1 inf + 171 1552480333.761 * * [simplify]: Extracting #5: cost 0 inf + 213 1552480333.762 * [simplify]: Simplified to (+.p16 (+.p16 d3 d2) (real->posit16 5)) 1552480333.762 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (+.p16 d3 d2) (real->posit16 5))) (*.p16 d1 (real->posit16 32)))) 1552480333.762 * * * [progress]: adding candidates to table 1552480335.862 * * [progress]: iteration 3 / 4 1552480335.862 * * * [progress]: picking best candidate 1552480336.128 * * * * [pick]: Picked #posit16 5)) d3)) (*.p16 d1 (real->posit16 32))))> 1552480336.128 * * * [progress]: localizing error 1552480336.326 * * * [progress]: generating rewritten candidates 1552480336.326 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1552480336.344 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 1552480336.373 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1552480336.442 * * * [progress]: generating series expansions 1552480336.442 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1552480336.442 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 1552480336.442 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1552480336.442 * * * [progress]: simplifying candidates 1552480336.443 * * * * [progress]: [ 1 / 27 ] simplifiying candidate #posit16 5))) (*.p16 d1 d3)) (*.p16 d1 (real->posit16 32))))> 1552480336.443 * [simplify]: Simplifying (*.p16 d1 d3) 1552480336.443 * * [simplify]: iters left: 1 (3 enodes) 1552480336.444 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480336.444 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480336.444 * * [simplify]: Extracting #2: cost 1 inf + 2 1552480336.444 * * [simplify]: Extracting #3: cost 0 inf + 324 1552480336.445 * [simplify]: Simplified to (*.p16 d3 d1) 1552480336.445 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (+.p16 d2 (real->posit16 5))) (*.p16 d3 d1)) (*.p16 d1 (real->posit16 32)))) 1552480336.445 * * * * [progress]: [ 2 / 27 ] simplifiying candidate #posit16 5) d3))) (*.p16 d1 (real->posit16 32))))> 1552480336.445 * [simplify]: Simplifying (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552480336.445 * * [simplify]: iters left: 3 (6 enodes) 1552480336.449 * * [simplify]: iters left: 2 (19 enodes) 1552480336.456 * * [simplify]: iters left: 1 (21 enodes) 1552480336.461 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480336.461 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480336.462 * * [simplify]: Extracting #2: cost 6 inf + 1 1552480336.462 * * [simplify]: Extracting #3: cost 5 inf + 324 1552480336.462 * * [simplify]: Extracting #4: cost 0 inf + 1053 1552480336.462 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552480336.462 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d2) (*.p16 d1 (+.p16 (real->posit16 5) d3))) (*.p16 d1 (real->posit16 32)))) 1552480336.462 * * * * [progress]: [ 3 / 27 ] simplifiying candidate #posit16 5)) (*.p16 d1 (+.p16 d2 d3))) (*.p16 d1 (real->posit16 32))))> 1552480336.462 * [simplify]: Simplifying (*.p16 d1 (+.p16 d2 d3)) 1552480336.463 * * [simplify]: iters left: 2 (5 enodes) 1552480336.465 * * [simplify]: iters left: 1 (19 enodes) 1552480336.471 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480336.471 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480336.471 * * [simplify]: Extracting #2: cost 6 inf + 1 1552480336.471 * * [simplify]: Extracting #3: cost 0 inf + 1052 1552480336.471 * [simplify]: Simplified to (*.p16 (+.p16 d2 d3) d1) 1552480336.471 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 (real->posit16 5)) (*.p16 (+.p16 d2 d3) d1)) (*.p16 d1 (real->posit16 32)))) 1552480336.471 * * * * [progress]: [ 4 / 27 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552480336.472 * [simplify]: Simplifying (*.p16 d1 (+.p16 d2 (real->posit16 5))) 1552480336.472 * * [simplify]: iters left: 3 (6 enodes) 1552480336.475 * * [simplify]: iters left: 2 (19 enodes) 1552480336.482 * * [simplify]: iters left: 1 (21 enodes) 1552480336.488 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480336.488 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480336.488 * * [simplify]: Extracting #2: cost 6 inf + 1 1552480336.488 * * [simplify]: Extracting #3: cost 5 inf + 324 1552480336.489 * * [simplify]: Extracting #4: cost 0 inf + 1053 1552480336.489 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d2)) 1552480336.489 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d1 d3) (*.p16 d1 (+.p16 (real->posit16 5) d2))) (*.p16 d1 (real->posit16 32)))) 1552480336.489 * * * * [progress]: [ 5 / 27 ] simplifiying candidate #posit16 5)) d1) (*.p16 d3 d1)) (*.p16 d1 (real->posit16 32))))> 1552480336.489 * [simplify]: Simplifying (*.p16 d3 d1) 1552480336.489 * * [simplify]: iters left: 1 (3 enodes) 1552480336.491 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480336.491 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480336.491 * * [simplify]: Extracting #2: cost 1 inf + 2 1552480336.491 * * [simplify]: Extracting #3: cost 0 inf + 324 1552480336.491 * [simplify]: Simplified to (*.p16 d1 d3) 1552480336.491 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 (+.p16 d2 (real->posit16 5)) d1) (*.p16 d1 d3)) (*.p16 d1 (real->posit16 32)))) 1552480336.491 * * * * [progress]: [ 6 / 27 ] simplifiying candidate #posit16 5) d3) d1)) (*.p16 d1 (real->posit16 32))))> 1552480336.491 * [simplify]: Simplifying (*.p16 (+.p16 (real->posit16 5) d3) d1) 1552480336.491 * * [simplify]: iters left: 3 (6 enodes) 1552480336.494 * * [simplify]: iters left: 2 (13 enodes) 1552480336.499 * * [simplify]: iters left: 1 (21 enodes) 1552480336.509 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480336.509 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480336.509 * * [simplify]: Extracting #2: cost 6 inf + 1 1552480336.509 * * [simplify]: Extracting #3: cost 5 inf + 324 1552480336.509 * * [simplify]: Extracting #4: cost 4 inf + 325 1552480336.509 * * [simplify]: Extracting #5: cost 1 inf + 731 1552480336.510 * * [simplify]: Extracting #6: cost 0 inf + 1053 1552480336.510 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552480336.510 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d2 d1) (*.p16 d1 (+.p16 (real->posit16 5) d3))) (*.p16 d1 (real->posit16 32)))) 1552480336.510 * * * * [progress]: [ 7 / 27 ] simplifiying candidate #posit16 5) d1) (*.p16 (+.p16 d2 d3) d1)) (*.p16 d1 (real->posit16 32))))> 1552480336.510 * [simplify]: Simplifying (*.p16 (+.p16 d2 d3) d1) 1552480336.510 * * [simplify]: iters left: 2 (5 enodes) 1552480336.513 * * [simplify]: iters left: 1 (13 enodes) 1552480336.516 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480336.516 * * [simplify]: Extracting #1: cost 7 inf + 0 1552480336.517 * * [simplify]: Extracting #2: cost 8 inf + 1 1552480336.517 * * [simplify]: Extracting #3: cost 5 inf + 325 1552480336.517 * * [simplify]: Extracting #4: cost 0 inf + 2016 1552480336.517 * * [simplify]: Extracting #5: cost 0 inf + 1696 1552480336.517 * [simplify]: Simplified to (*.p16 d1 (+.p16 d3 d2)) 1552480336.517 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 (real->posit16 5) d1) (*.p16 d1 (+.p16 d3 d2))) (*.p16 d1 (real->posit16 32)))) 1552480336.517 * * * * [progress]: [ 8 / 27 ] simplifiying candidate #posit16 5)) d1)) (*.p16 d1 (real->posit16 32))))> 1552480336.518 * [simplify]: Simplifying (*.p16 (+.p16 d2 (real->posit16 5)) d1) 1552480336.518 * * [simplify]: iters left: 3 (6 enodes) 1552480336.521 * * [simplify]: iters left: 2 (13 enodes) 1552480336.525 * * [simplify]: iters left: 1 (21 enodes) 1552480336.533 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480336.533 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480336.533 * * [simplify]: Extracting #2: cost 6 inf + 1 1552480336.533 * * [simplify]: Extracting #3: cost 6 inf + 2 1552480336.533 * * [simplify]: Extracting #4: cost 4 inf + 325 1552480336.533 * * [simplify]: Extracting #5: cost 0 inf + 1053 1552480336.534 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d2)) 1552480336.534 * [simplify]: Simplified (2 1 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 d3 d1) (*.p16 d1 (+.p16 (real->posit16 5) d2))) (*.p16 d1 (real->posit16 32)))) 1552480336.534 * * * * [progress]: [ 9 / 27 ] simplifiying candidate #posit16 5)) d3) d1) (*.p16 d1 (real->posit16 32))))> 1552480336.534 * * * * [progress]: [ 10 / 27 ] simplifiying candidate #posit16 5) d3))) (*.p16 d1 (real->posit16 32))))> 1552480336.534 * * * * [progress]: [ 11 / 27 ] simplifiying candidate #posit16 5) (+.p16 d2 d3))) (*.p16 d1 (real->posit16 32))))> 1552480336.534 * [simplify]: Simplifying (real->posit16 5) 1552480336.534 * * [simplify]: iters left: 1 (2 enodes) 1552480336.536 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480336.536 * * [simplify]: Extracting #1: cost 2 inf + 0 1552480336.536 * * [simplify]: Extracting #2: cost 1 inf + 1 1552480336.536 * * [simplify]: Extracting #3: cost 0 inf + 2 1552480336.536 * [simplify]: Simplified to (real->posit16 5) 1552480336.536 * [simplify]: Simplified (2 1 2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) (+.p16 d2 d3))) (*.p16 d1 (real->posit16 32)))) 1552480336.536 * * * * [progress]: [ 12 / 27 ] simplifiying candidate #posit16 5)))) (*.p16 d1 (real->posit16 32))))> 1552480336.536 * * * * [progress]: [ 13 / 27 ] simplifiying candidate #posit16 5)) d3) (real->posit16 32))))> 1552480336.536 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 d2 (real->posit16 5)) d3) (real->posit16 32)) 1552480336.536 * * [simplify]: iters left: 4 (9 enodes) 1552480336.541 * * [simplify]: iters left: 3 (22 enodes) 1552480336.549 * * [simplify]: iters left: 2 (42 enodes) 1552480336.559 * * [simplify]: iters left: 1 (66 enodes) 1552480336.571 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480336.571 * * [simplify]: Extracting #1: cost 16 inf + 0 1552480336.571 * * [simplify]: Extracting #2: cost 15 inf + 44 1552480336.571 * * [simplify]: Extracting #3: cost 9 inf + 214 1552480336.572 * * [simplify]: Extracting #4: cost 0 inf + 797 1552480336.572 * [simplify]: Simplified to (+.p16 d2 (+.p16 (+.p16 d3 (real->posit16 32)) (real->posit16 5))) 1552480336.572 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 d2 (+.p16 (+.p16 d3 (real->posit16 32)) (real->posit16 5))))) 1552480336.572 * * * * [progress]: [ 14 / 27 ] simplifiying candidate #posit16 5)) d3) (real->posit16 32))))> 1552480336.572 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 d2 (real->posit16 5)) d3) (real->posit16 32)) 1552480336.572 * * [simplify]: iters left: 4 (9 enodes) 1552480336.575 * * [simplify]: iters left: 3 (22 enodes) 1552480336.579 * * [simplify]: iters left: 2 (42 enodes) 1552480336.587 * * [simplify]: iters left: 1 (66 enodes) 1552480336.598 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480336.598 * * [simplify]: Extracting #1: cost 16 inf + 0 1552480336.598 * * [simplify]: Extracting #2: cost 15 inf + 44 1552480336.598 * * [simplify]: Extracting #3: cost 9 inf + 214 1552480336.599 * * [simplify]: Extracting #4: cost 0 inf + 797 1552480336.599 * [simplify]: Simplified to (+.p16 d2 (+.p16 (+.p16 d3 (real->posit16 32)) (real->posit16 5))) 1552480336.599 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 d2 (+.p16 (+.p16 d3 (real->posit16 32)) (real->posit16 5))))) 1552480336.599 * * * * [progress]: [ 15 / 27 ] simplifiying candidate #posit16 5))) (+.p16 (*.p16 d1 d3) (*.p16 d1 (real->posit16 32)))))> 1552480336.600 * [simplify]: Simplifying (*.p16 d1 (+.p16 d2 (real->posit16 5))) 1552480336.600 * * [simplify]: iters left: 3 (6 enodes) 1552480336.601 * * [simplify]: iters left: 2 (19 enodes) 1552480336.605 * * [simplify]: iters left: 1 (21 enodes) 1552480336.610 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480336.610 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480336.611 * * [simplify]: Extracting #2: cost 6 inf + 1 1552480336.611 * * [simplify]: Extracting #3: cost 5 inf + 324 1552480336.611 * * [simplify]: Extracting #4: cost 0 inf + 1053 1552480336.611 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d2)) 1552480336.611 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d2)) (+.p16 (*.p16 d1 d3) (*.p16 d1 (real->posit16 32))))) 1552480336.611 * * * * [progress]: [ 16 / 27 ] simplifiying candidate #posit16 5) d3)) (*.p16 d1 (real->posit16 32)))))> 1552480336.611 * [simplify]: Simplifying (*.p16 d1 d2) 1552480336.611 * * [simplify]: iters left: 1 (3 enodes) 1552480336.612 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480336.612 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480336.612 * * [simplify]: Extracting #2: cost 1 inf + 2 1552480336.612 * * [simplify]: Extracting #3: cost 0 inf + 324 1552480336.612 * [simplify]: Simplified to (*.p16 d2 d1) 1552480336.612 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d2 d1) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d3)) (*.p16 d1 (real->posit16 32))))) 1552480336.612 * * * * [progress]: [ 17 / 27 ] simplifiying candidate #posit16 5)) (+.p16 (*.p16 d1 (+.p16 d2 d3)) (*.p16 d1 (real->posit16 32)))))> 1552480336.612 * [simplify]: Simplifying (*.p16 d1 (real->posit16 5)) 1552480336.612 * * [simplify]: iters left: 2 (4 enodes) 1552480336.614 * * [simplify]: iters left: 1 (8 enodes) 1552480336.615 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480336.615 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480336.615 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480336.615 * * [simplify]: Extracting #3: cost 0 inf + 325 1552480336.615 * [simplify]: Simplified to (*.p16 d1 (real->posit16 5)) 1552480336.615 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (real->posit16 5)) (+.p16 (*.p16 d1 (+.p16 d2 d3)) (*.p16 d1 (real->posit16 32))))) 1552480336.615 * * * * [progress]: [ 18 / 27 ] simplifiying candidate #posit16 5))) (*.p16 d1 (real->posit16 32)))))> 1552480336.615 * [simplify]: Simplifying (*.p16 d1 d3) 1552480336.616 * * [simplify]: iters left: 1 (3 enodes) 1552480336.616 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480336.616 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480336.616 * * [simplify]: Extracting #2: cost 1 inf + 2 1552480336.616 * * [simplify]: Extracting #3: cost 0 inf + 324 1552480336.616 * [simplify]: Simplified to (*.p16 d3 d1) 1552480336.616 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d3 d1) (+.p16 (*.p16 d1 (+.p16 d2 (real->posit16 5))) (*.p16 d1 (real->posit16 32))))) 1552480336.616 * * * * [progress]: [ 19 / 27 ] simplifiying candidate #posit16 5)) d1) (+.p16 (*.p16 d3 d1) (*.p16 d1 (real->posit16 32)))))> 1552480336.617 * [simplify]: Simplifying (*.p16 (+.p16 d2 (real->posit16 5)) d1) 1552480336.617 * * [simplify]: iters left: 3 (6 enodes) 1552480336.619 * * [simplify]: iters left: 2 (13 enodes) 1552480336.623 * * [simplify]: iters left: 1 (21 enodes) 1552480336.630 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480336.630 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480336.631 * * [simplify]: Extracting #2: cost 6 inf + 1 1552480336.631 * * [simplify]: Extracting #3: cost 6 inf + 2 1552480336.631 * * [simplify]: Extracting #4: cost 4 inf + 325 1552480336.631 * * [simplify]: Extracting #5: cost 0 inf + 1053 1552480336.631 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d2)) 1552480336.631 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d2)) (+.p16 (*.p16 d3 d1) (*.p16 d1 (real->posit16 32))))) 1552480336.631 * * * * [progress]: [ 20 / 27 ] simplifiying candidate #posit16 5) d3) d1) (*.p16 d1 (real->posit16 32)))))> 1552480336.632 * [simplify]: Simplifying (*.p16 d2 d1) 1552480336.632 * * [simplify]: iters left: 1 (3 enodes) 1552480336.633 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480336.633 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480336.633 * * [simplify]: Extracting #2: cost 1 inf + 2 1552480336.633 * * [simplify]: Extracting #3: cost 0 inf + 324 1552480336.633 * [simplify]: Simplified to (*.p16 d1 d2) 1552480336.633 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 d2) (+.p16 (*.p16 (+.p16 (real->posit16 5) d3) d1) (*.p16 d1 (real->posit16 32))))) 1552480336.633 * * * * [progress]: [ 21 / 27 ] simplifiying candidate #posit16 5) d1) (+.p16 (*.p16 (+.p16 d2 d3) d1) (*.p16 d1 (real->posit16 32)))))> 1552480336.634 * [simplify]: Simplifying (*.p16 (real->posit16 5) d1) 1552480336.634 * * [simplify]: iters left: 2 (4 enodes) 1552480336.636 * * [simplify]: iters left: 1 (8 enodes) 1552480336.638 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480336.638 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480336.638 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480336.639 * * [simplify]: Extracting #3: cost 2 inf + 2 1552480336.639 * * [simplify]: Extracting #4: cost 0 inf + 325 1552480336.639 * [simplify]: Simplified to (*.p16 d1 (real->posit16 5)) 1552480336.639 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (real->posit16 5)) (+.p16 (*.p16 (+.p16 d2 d3) d1) (*.p16 d1 (real->posit16 32))))) 1552480336.639 * * * * [progress]: [ 22 / 27 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32)))))> 1552480336.639 * [simplify]: Simplifying (*.p16 d3 d1) 1552480336.639 * * [simplify]: iters left: 1 (3 enodes) 1552480336.640 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480336.641 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480336.641 * * [simplify]: Extracting #2: cost 1 inf + 2 1552480336.641 * * [simplify]: Extracting #3: cost 0 inf + 324 1552480336.641 * [simplify]: Simplified to (*.p16 d1 d3) 1552480336.641 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 d3) (+.p16 (*.p16 (+.p16 d2 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32))))) 1552480336.641 * * * * [progress]: [ 23 / 27 ] simplifiying candidate #posit16 5)) d3) (real->posit16 32))))> 1552480336.641 * [simplify]: Simplifying (+.p16 (+.p16 (+.p16 d2 (real->posit16 5)) d3) (real->posit16 32)) 1552480336.641 * * [simplify]: iters left: 4 (9 enodes) 1552480336.646 * * [simplify]: iters left: 3 (22 enodes) 1552480336.652 * * [simplify]: iters left: 2 (42 enodes) 1552480336.659 * * [simplify]: iters left: 1 (66 enodes) 1552480336.670 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480336.671 * * [simplify]: Extracting #1: cost 16 inf + 0 1552480336.671 * * [simplify]: Extracting #2: cost 15 inf + 44 1552480336.671 * * [simplify]: Extracting #3: cost 9 inf + 214 1552480336.671 * * [simplify]: Extracting #4: cost 0 inf + 797 1552480336.672 * [simplify]: Simplified to (+.p16 d2 (+.p16 (+.p16 d3 (real->posit16 32)) (real->posit16 5))) 1552480336.672 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 d2 (+.p16 (+.p16 d3 (real->posit16 32)) (real->posit16 5))))) 1552480336.672 * * * * [progress]: [ 24 / 27 ] simplifiying candidate #posit16 32)) (*.p16 d1 (+.p16 (+.p16 d2 (real->posit16 5)) d3))))> 1552480336.672 * * * * [progress]: [ 25 / 27 ] simplifiying candidate #posit16 5)) d3)) (*.p16 d1 (real->posit16 32))))> 1552480336.672 * * * * [progress]: [ 26 / 27 ] simplifiying candidate #posit16 5)) d3)) (*.p16 d1 (real->posit16 32))))> 1552480336.672 * * * * [progress]: [ 27 / 27 ] simplifiying candidate #posit16 5)) d3)) (*.p16 d1 (real->posit16 32))))> 1552480336.672 * * * [progress]: adding candidates to table 1552480338.465 * * [progress]: iteration 4 / 4 1552480338.465 * * * [progress]: picking best candidate 1552480338.675 * * * * [pick]: Picked #posit16 5)) d1) (+.p16 (*.p16 d2 d1) (*.p16 d1 (real->posit16 32)))))> 1552480338.675 * * * [progress]: localizing error 1552480338.836 * * * [progress]: generating rewritten candidates 1552480338.836 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1552480338.844 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 1552480338.859 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1552480338.901 * * * [progress]: generating series expansions 1552480338.901 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1552480338.901 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 1552480338.901 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1552480338.901 * * * [progress]: simplifying candidates 1552480338.901 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #posit16 5))) (+.p16 (*.p16 d2 d1) (*.p16 d1 (real->posit16 32)))))> 1552480338.901 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (+.p16 d2 (real->posit16 32)))))> 1552480338.901 * [simplify]: Simplifying (+.p16 d2 (real->posit16 32)) 1552480338.901 * * [simplify]: iters left: 2 (4 enodes) 1552480338.903 * * [simplify]: iters left: 1 (8 enodes) 1552480338.904 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480338.904 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480338.904 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480338.904 * * [simplify]: Extracting #3: cost 0 inf + 45 1552480338.904 * [simplify]: Simplified to (+.p16 (real->posit16 32) d2) 1552480338.904 * [simplify]: Simplified (2 2 2) to (λ (d1 d2 d3) (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (+.p16 (real->posit16 32) d2)))) 1552480338.904 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (+.p16 d2 (real->posit16 32)))))> 1552480338.905 * [simplify]: Simplifying (+.p16 d2 (real->posit16 32)) 1552480338.905 * * [simplify]: iters left: 2 (4 enodes) 1552480338.906 * * [simplify]: iters left: 1 (8 enodes) 1552480338.907 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480338.907 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480338.907 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480338.907 * * [simplify]: Extracting #3: cost 0 inf + 45 1552480338.908 * [simplify]: Simplified to (+.p16 (real->posit16 32) d2) 1552480338.908 * [simplify]: Simplified (2 2 2) to (λ (d1 d2 d3) (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (+.p16 (real->posit16 32) d2)))) 1552480338.908 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (+.p16 d2 (real->posit16 32)))))> 1552480338.908 * [simplify]: Simplifying (+.p16 d2 (real->posit16 32)) 1552480338.908 * * [simplify]: iters left: 2 (4 enodes) 1552480338.909 * * [simplify]: iters left: 1 (8 enodes) 1552480338.911 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480338.911 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480338.911 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480338.911 * * [simplify]: Extracting #3: cost 0 inf + 45 1552480338.911 * [simplify]: Simplified to (+.p16 (real->posit16 32) d2) 1552480338.911 * [simplify]: Simplified (2 2 2) to (λ (d1 d2 d3) (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (+.p16 (real->posit16 32) d2)))) 1552480338.911 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #posit16 5)) d1) (+.p16 (*.p16 d1 (real->posit16 32)) (*.p16 d2 d1))))> 1552480338.911 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #posit16 5)) (+.p16 d2 (real->posit16 32)))))> 1552480338.911 * [simplify]: Simplifying (+.p16 (+.p16 d3 (real->posit16 5)) (+.p16 d2 (real->posit16 32))) 1552480338.911 * * [simplify]: iters left: 3 (9 enodes) 1552480338.914 * * [simplify]: iters left: 2 (22 enodes) 1552480338.921 * * [simplify]: iters left: 1 (41 enodes) 1552480338.929 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480338.929 * * [simplify]: Extracting #1: cost 15 inf + 0 1552480338.929 * * [simplify]: Extracting #2: cost 16 inf + 2 1552480338.930 * * [simplify]: Extracting #3: cost 13 inf + 46 1552480338.930 * * [simplify]: Extracting #4: cost 1 inf + 632 1552480338.930 * * [simplify]: Extracting #5: cost 0 inf + 756 1552480338.931 * [simplify]: Simplified to (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)) 1552480338.931 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)))) 1552480338.931 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #posit16 5)) (+.p16 d2 (real->posit16 32)))))> 1552480338.931 * [simplify]: Simplifying (+.p16 (+.p16 d3 (real->posit16 5)) (+.p16 d2 (real->posit16 32))) 1552480338.931 * * [simplify]: iters left: 3 (9 enodes) 1552480338.934 * * [simplify]: iters left: 2 (22 enodes) 1552480338.938 * * [simplify]: iters left: 1 (41 enodes) 1552480338.946 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480338.946 * * [simplify]: Extracting #1: cost 15 inf + 0 1552480338.946 * * [simplify]: Extracting #2: cost 16 inf + 2 1552480338.946 * * [simplify]: Extracting #3: cost 13 inf + 46 1552480338.946 * * [simplify]: Extracting #4: cost 1 inf + 632 1552480338.947 * * [simplify]: Extracting #5: cost 0 inf + 756 1552480338.947 * [simplify]: Simplified to (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)) 1552480338.947 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)))) 1552480338.947 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #posit16 5)) (+.p16 d2 (real->posit16 32)))))> 1552480338.948 * [simplify]: Simplifying (+.p16 (+.p16 d3 (real->posit16 5)) (+.p16 d2 (real->posit16 32))) 1552480338.948 * * [simplify]: iters left: 3 (9 enodes) 1552480338.950 * * [simplify]: iters left: 2 (22 enodes) 1552480338.955 * * [simplify]: iters left: 1 (41 enodes) 1552480338.966 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480338.966 * * [simplify]: Extracting #1: cost 15 inf + 0 1552480338.966 * * [simplify]: Extracting #2: cost 16 inf + 2 1552480338.966 * * [simplify]: Extracting #3: cost 13 inf + 46 1552480338.967 * * [simplify]: Extracting #4: cost 1 inf + 632 1552480338.968 * * [simplify]: Extracting #5: cost 0 inf + 756 1552480338.968 * [simplify]: Simplified to (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)) 1552480338.968 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)))) 1552480338.968 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #posit16 5)) d1) (*.p16 d2 d1)) (*.p16 d1 (real->posit16 32))))> 1552480338.969 * [simplify]: Simplifying (*.p16 d1 (real->posit16 32)) 1552480338.969 * * [simplify]: iters left: 2 (4 enodes) 1552480338.970 * * [simplify]: iters left: 1 (8 enodes) 1552480338.972 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480338.972 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480338.972 * * [simplify]: Extracting #2: cost 3 inf + 1 1552480338.972 * * [simplify]: Extracting #3: cost 0 inf + 325 1552480338.972 * [simplify]: Simplified to (*.p16 d1 (real->posit16 32)) 1552480338.972 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d2 d1)) (*.p16 d1 (real->posit16 32)))) 1552480338.972 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #posit16 5)) d1) (*.p16 d1 (real->posit16 32))) (*.p16 d2 d1)))> 1552480338.972 * [simplify]: Simplifying (*.p16 d2 d1) 1552480338.972 * * [simplify]: iters left: 1 (3 enodes) 1552480338.973 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480338.973 * * [simplify]: Extracting #1: cost 3 inf + 0 1552480338.973 * * [simplify]: Extracting #2: cost 1 inf + 2 1552480338.973 * * [simplify]: Extracting #3: cost 0 inf + 324 1552480338.973 * [simplify]: Simplified to (*.p16 d1 d2) 1552480338.973 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (+.p16 (+.p16 (*.p16 (+.p16 d3 (real->posit16 5)) d1) (*.p16 d1 (real->posit16 32))) (*.p16 d1 d2))) 1552480338.973 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #posit16 5)) (+.p16 d2 (real->posit16 32)))))> 1552480338.973 * [simplify]: Simplifying (+.p16 (+.p16 d3 (real->posit16 5)) (+.p16 d2 (real->posit16 32))) 1552480338.973 * * [simplify]: iters left: 3 (9 enodes) 1552480338.976 * * [simplify]: iters left: 2 (22 enodes) 1552480338.980 * * [simplify]: iters left: 1 (41 enodes) 1552480338.988 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480338.988 * * [simplify]: Extracting #1: cost 15 inf + 0 1552480338.988 * * [simplify]: Extracting #2: cost 16 inf + 2 1552480338.988 * * [simplify]: Extracting #3: cost 13 inf + 46 1552480338.989 * * [simplify]: Extracting #4: cost 1 inf + 632 1552480338.989 * * [simplify]: Extracting #5: cost 0 inf + 756 1552480338.989 * [simplify]: Simplified to (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)) 1552480338.989 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)))) 1552480338.989 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #posit16 5)) (+.p16 d2 (real->posit16 32)))))> 1552480338.990 * [simplify]: Simplifying (+.p16 (+.p16 d3 (real->posit16 5)) (+.p16 d2 (real->posit16 32))) 1552480338.990 * * [simplify]: iters left: 3 (9 enodes) 1552480338.992 * * [simplify]: iters left: 2 (22 enodes) 1552480338.996 * * [simplify]: iters left: 1 (41 enodes) 1552480339.005 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480339.005 * * [simplify]: Extracting #1: cost 15 inf + 0 1552480339.005 * * [simplify]: Extracting #2: cost 16 inf + 2 1552480339.005 * * [simplify]: Extracting #3: cost 13 inf + 46 1552480339.006 * * [simplify]: Extracting #4: cost 1 inf + 632 1552480339.008 * * [simplify]: Extracting #5: cost 0 inf + 756 1552480339.009 * [simplify]: Simplified to (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)) 1552480339.009 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)))) 1552480339.009 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #posit16 5)) (+.p16 d2 (real->posit16 32)))))> 1552480339.010 * [simplify]: Simplifying (+.p16 (+.p16 d3 (real->posit16 5)) (+.p16 d2 (real->posit16 32))) 1552480339.010 * * [simplify]: iters left: 3 (9 enodes) 1552480339.014 * * [simplify]: iters left: 2 (22 enodes) 1552480339.021 * * [simplify]: iters left: 1 (41 enodes) 1552480339.029 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480339.029 * * [simplify]: Extracting #1: cost 15 inf + 0 1552480339.029 * * [simplify]: Extracting #2: cost 16 inf + 2 1552480339.029 * * [simplify]: Extracting #3: cost 13 inf + 46 1552480339.029 * * [simplify]: Extracting #4: cost 1 inf + 632 1552480339.030 * * [simplify]: Extracting #5: cost 0 inf + 756 1552480339.030 * [simplify]: Simplified to (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)) 1552480339.030 * [simplify]: Simplified (2 2) to (λ (d1 d2 d3) (*.p16 d1 (+.p16 (+.p16 (+.p16 d3 d2) (real->posit16 5)) (real->posit16 32)))) 1552480339.030 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #posit16 32))) (*.p16 (+.p16 d3 (real->posit16 5)) d1)))> 1552480339.030 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #posit16 5)) d1) (+.p16 (*.p16 d2 d1) (*.p16 d1 (real->posit16 32)))))> 1552480339.031 * [simplify]: Simplifying (*.p16 (+.p16 d3 (real->posit16 5)) d1) 1552480339.031 * * [simplify]: iters left: 3 (6 enodes) 1552480339.032 * * [simplify]: iters left: 2 (13 enodes) 1552480339.035 * * [simplify]: iters left: 1 (21 enodes) 1552480339.039 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480339.039 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480339.039 * * [simplify]: Extracting #2: cost 6 inf + 1 1552480339.039 * * [simplify]: Extracting #3: cost 6 inf + 2 1552480339.039 * * [simplify]: Extracting #4: cost 4 inf + 325 1552480339.039 * * [simplify]: Extracting #5: cost 0 inf + 1053 1552480339.040 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552480339.040 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d3)) (+.p16 (*.p16 d2 d1) (*.p16 d1 (real->posit16 32))))) 1552480339.040 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #posit16 5)) d1) (+.p16 (*.p16 d2 d1) (*.p16 d1 (real->posit16 32)))))> 1552480339.040 * [simplify]: Simplifying (*.p16 (+.p16 d3 (real->posit16 5)) d1) 1552480339.040 * * [simplify]: iters left: 3 (6 enodes) 1552480339.042 * * [simplify]: iters left: 2 (13 enodes) 1552480339.044 * * [simplify]: iters left: 1 (21 enodes) 1552480339.048 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480339.048 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480339.048 * * [simplify]: Extracting #2: cost 6 inf + 1 1552480339.048 * * [simplify]: Extracting #3: cost 6 inf + 2 1552480339.048 * * [simplify]: Extracting #4: cost 4 inf + 325 1552480339.048 * * [simplify]: Extracting #5: cost 0 inf + 1053 1552480339.048 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552480339.048 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d3)) (+.p16 (*.p16 d2 d1) (*.p16 d1 (real->posit16 32))))) 1552480339.048 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #posit16 5)) d1) (+.p16 (*.p16 d2 d1) (*.p16 d1 (real->posit16 32)))))> 1552480339.048 * [simplify]: Simplifying (*.p16 (+.p16 d3 (real->posit16 5)) d1) 1552480339.048 * * [simplify]: iters left: 3 (6 enodes) 1552480339.050 * * [simplify]: iters left: 2 (13 enodes) 1552480339.053 * * [simplify]: iters left: 1 (21 enodes) 1552480339.056 * * [simplify]: Extracting #0: cost 1 inf + 0 1552480339.056 * * [simplify]: Extracting #1: cost 5 inf + 0 1552480339.056 * * [simplify]: Extracting #2: cost 6 inf + 1 1552480339.056 * * [simplify]: Extracting #3: cost 6 inf + 2 1552480339.056 * * [simplify]: Extracting #4: cost 4 inf + 325 1552480339.057 * * [simplify]: Extracting #5: cost 0 inf + 1053 1552480339.057 * [simplify]: Simplified to (*.p16 d1 (+.p16 (real->posit16 5) d3)) 1552480339.057 * [simplify]: Simplified (2 1) to (λ (d1 d2 d3) (+.p16 (*.p16 d1 (+.p16 (real->posit16 5) d3)) (+.p16 (*.p16 d2 d1) (*.p16 d1 (real->posit16 32))))) 1552480339.057 * * * [progress]: adding candidates to table 1552480340.022 * [progress]: [Phase 3 of 3] Extracting. 1552480340.022 * * [regime]: Finding splitpoints for: (#posit16 5)) d3)) (*.p16 d1 (real->posit16 32))))> #posit16 5)) d3) (real->posit16 32))))> #posit16 5)) d1) (+.p16 (*.p16 d2 d1) (*.p16 d1 (real->posit16 32)))))> #posit16 5) d1) (+.p16 (*.p16 (+.p16 d2 d3) d1) (*.p16 d1 (real->posit16 32)))))> #posit16 5))) (+.p16 (*.p16 d1 d3) (*.p16 d1 (real->posit16 32)))))> #posit16 5))) (*.p16 d1 (real->posit16 32)))))> #posit16 5)) d1) (*.p16 d1 (+.p16 d2 (real->posit16 32)))))>) 1552480340.023 * * * [regime-changes]: Trying 3 branch expressions: (d3 d2 d1) 1552480340.023 * * * * [regimes]: Trying to branch on d3 from (#posit16 5)) d3)) (*.p16 d1 (real->posit16 32))))> #posit16 5)) d3) (real->posit16 32))))> #posit16 5)) d1) (+.p16 (*.p16 d2 d1) (*.p16 d1 (real->posit16 32)))))> #posit16 5) d1) (+.p16 (*.p16 (+.p16 d2 d3) d1) (*.p16 d1 (real->posit16 32)))))> #posit16 5))) (+.p16 (*.p16 d1 d3) (*.p16 d1 (real->posit16 32)))))> #posit16 5))) (*.p16 d1 (real->posit16 32)))))> #posit16 5)) d1) (*.p16 d1 (+.p16 d2 (real->posit16 32)))))>) 1552480340.571 * * * * [regimes]: Trying to branch on d2 from (#posit16 5)) d3)) (*.p16 d1 (real->posit16 32))))> #posit16 5)) d3) (real->posit16 32))))> #posit16 5)) d1) (+.p16 (*.p16 d2 d1) (*.p16 d1 (real->posit16 32)))))> #posit16 5) d1) (+.p16 (*.p16 (+.p16 d2 d3) d1) (*.p16 d1 (real->posit16 32)))))> #posit16 5))) (+.p16 (*.p16 d1 d3) (*.p16 d1 (real->posit16 32)))))> #posit16 5))) (*.p16 d1 (real->posit16 32)))))> #posit16 5)) d1) (*.p16 d1 (+.p16 d2 (real->posit16 32)))))>) 1552480341.142 * * * * [regimes]: Trying to branch on d1 from (#posit16 5)) d3)) (*.p16 d1 (real->posit16 32))))> #posit16 5)) d3) (real->posit16 32))))> #posit16 5)) d1) (+.p16 (*.p16 d2 d1) (*.p16 d1 (real->posit16 32)))))> #posit16 5) d1) (+.p16 (*.p16 (+.p16 d2 d3) d1) (*.p16 d1 (real->posit16 32)))))> #posit16 5))) (+.p16 (*.p16 d1 d3) (*.p16 d1 (real->posit16 32)))))> #posit16 5))) (*.p16 d1 (real->posit16 32)))))> #posit16 5)) d1) (*.p16 d1 (+.p16 d2 (real->posit16 32)))))>) 1552480341.676 * * * [regime]: Found split indices: #