1552470020.274 * [progress]: [Phase 1 of 3] Setting up. 1552470020.275 * * * [progress]: [1/2] Preparing points 1552470020.275 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1552470020.275 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1552470020.279 * * * * [points]: Setting MPFR precision to 64 1552470020.281 * * * * [points]: Setting MPFR precision to 320 1552470020.283 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1552470020.287 * * * * [points]: Setting MPFR precision to 64 1552470020.290 * * * * [points]: Setting MPFR precision to 320 1552470020.294 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1552470020.298 * * * * [points]: Setting MPFR precision to 64 1552470020.303 * * * * [points]: Setting MPFR precision to 320 1552470020.310 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1552470020.315 * * * * [points]: Setting MPFR precision to 64 1552470020.323 * * * * [points]: Setting MPFR precision to 320 1552470020.333 * * * * [points]: Computing exacts for 256 points 1552470020.338 * * * * [points]: Setting MPFR precision to 64 1552470020.362 * * * * [points]: Setting MPFR precision to 320 1552470020.394 * * * * [points]: Filtering points with unrepresentable outputs 1552470020.410 * * * * [points]: Sampled 256 points with exact outputs 1552470020.410 * * * [progress]: [2/2] Setting up program. 1552470020.475 * [progress]: [Phase 2 of 3] Improving. 1552470020.475 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> 1552470020.475 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) 1552470020.475 * * [simplify]: iters left: 5 (12 enodes) 1552470020.483 * * [simplify]: iters left: 4 (35 enodes) 1552470020.497 * * [simplify]: iters left: 3 (83 enodes) 1552470020.530 * * [simplify]: iters left: 2 (233 enodes) 1552470020.627 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470020.627 * * [simplify]: Extracting #1: cost 29 inf + 0 1552470020.627 * * [simplify]: Extracting #2: cost 123 inf + 0 1552470020.628 * * [simplify]: Extracting #3: cost 244 inf + 1 1552470020.630 * * [simplify]: Extracting #4: cost 308 inf + 32857 1552470020.646 * * [simplify]: Extracting #5: cost 149 inf + 308686 1552470020.668 * * [simplify]: Extracting #6: cost 4 inf + 549893 1552470020.715 * * [simplify]: Extracting #7: cost 0 inf + 561504 1552470020.745 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))) 1552470020.745 * [simplify]: Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))) 1552470020.770 * * [progress]: iteration 1 / 4 1552470020.770 * * * [progress]: picking best candidate 1552470020.810 * * * * [pick]: Picked #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> 1552470020.810 * * * [progress]: localizing error 1552470021.280 * * * [progress]: generating rewritten candidates 1552470021.281 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1552470021.293 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1552470021.296 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1552470021.298 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1552470021.300 * * * [progress]: generating series expansions 1552470021.300 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1552470021.300 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1552470021.300 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1552470021.300 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1552470021.300 * * * [progress]: simplifying candidates 1552470021.300 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552470021.300 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552470021.300 * * [simplify]: iters left: 3 (5 enodes) 1552470021.302 * * [simplify]: iters left: 2 (11 enodes) 1552470021.304 * * [simplify]: iters left: 1 (13 enodes) 1552470021.307 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470021.307 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470021.307 * * [simplify]: Extracting #2: cost 5 inf + 0 1552470021.307 * * [simplify]: Extracting #3: cost 3 inf + 2 1552470021.307 * * [simplify]: Extracting #4: cost 0 inf + 527 1552470021.307 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552470021.308 * [simplify]: Simplified (2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552470021.308 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552470021.308 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552470021.308 * * [simplify]: iters left: 3 (5 enodes) 1552470021.311 * * [simplify]: iters left: 2 (11 enodes) 1552470021.323 * * [simplify]: iters left: 1 (13 enodes) 1552470021.327 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470021.327 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470021.327 * * [simplify]: Extracting #2: cost 5 inf + 0 1552470021.327 * * [simplify]: Extracting #3: cost 3 inf + 2 1552470021.328 * * [simplify]: Extracting #4: cost 0 inf + 527 1552470021.328 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552470021.328 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552470021.328 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))> 1552470021.328 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> 1552470021.328 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> 1552470021.328 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552470021.328 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552470021.328 * * [simplify]: iters left: 2 (4 enodes) 1552470021.331 * * [simplify]: iters left: 1 (10 enodes) 1552470021.334 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470021.334 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470021.334 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470021.334 * * [simplify]: Extracting #3: cost 0 inf + 45 1552470021.334 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552470021.334 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x)))) 1552470021.334 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> 1552470021.335 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) 1552470021.335 * * [simplify]: iters left: 5 (12 enodes) 1552470021.340 * * [simplify]: iters left: 4 (35 enodes) 1552470021.353 * * [simplify]: iters left: 3 (83 enodes) 1552470021.386 * * [simplify]: iters left: 2 (233 enodes) 1552470021.494 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470021.494 * * [simplify]: Extracting #1: cost 29 inf + 0 1552470021.495 * * [simplify]: Extracting #2: cost 123 inf + 0 1552470021.496 * * [simplify]: Extracting #3: cost 244 inf + 1 1552470021.501 * * [simplify]: Extracting #4: cost 308 inf + 32857 1552470021.524 * * [simplify]: Extracting #5: cost 149 inf + 308686 1552470021.550 * * [simplify]: Extracting #6: cost 4 inf + 549893 1552470021.593 * * [simplify]: Extracting #7: cost 0 inf + 561504 1552470021.637 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))) 1552470021.637 * [simplify]: Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))) 1552470021.637 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> 1552470021.638 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) 1552470021.638 * * [simplify]: iters left: 5 (12 enodes) 1552470021.641 * * [simplify]: iters left: 4 (35 enodes) 1552470021.648 * * [simplify]: iters left: 3 (83 enodes) 1552470021.670 * * [simplify]: iters left: 2 (233 enodes) 1552470021.777 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470021.777 * * [simplify]: Extracting #1: cost 29 inf + 0 1552470021.778 * * [simplify]: Extracting #2: cost 123 inf + 0 1552470021.779 * * [simplify]: Extracting #3: cost 244 inf + 1 1552470021.783 * * [simplify]: Extracting #4: cost 308 inf + 32857 1552470021.810 * * [simplify]: Extracting #5: cost 149 inf + 308686 1552470021.851 * * [simplify]: Extracting #6: cost 4 inf + 549893 1552470021.896 * * [simplify]: Extracting #7: cost 0 inf + 561504 1552470021.944 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))) 1552470021.945 * [simplify]: Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))) 1552470021.945 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> 1552470021.945 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) 1552470021.945 * * [simplify]: iters left: 5 (12 enodes) 1552470021.951 * * [simplify]: iters left: 4 (35 enodes) 1552470021.965 * * [simplify]: iters left: 3 (83 enodes) 1552470021.987 * * [simplify]: iters left: 2 (233 enodes) 1552470022.112 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470022.112 * * [simplify]: Extracting #1: cost 29 inf + 0 1552470022.113 * * [simplify]: Extracting #2: cost 123 inf + 0 1552470022.114 * * [simplify]: Extracting #3: cost 244 inf + 1 1552470022.118 * * [simplify]: Extracting #4: cost 308 inf + 32857 1552470022.140 * * [simplify]: Extracting #5: cost 149 inf + 308686 1552470022.184 * * [simplify]: Extracting #6: cost 4 inf + 549893 1552470022.233 * * [simplify]: Extracting #7: cost 0 inf + 561504 1552470022.285 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))) 1552470022.285 * [simplify]: Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))) 1552470022.285 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> 1552470022.286 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) 1552470022.286 * * [simplify]: iters left: 5 (12 enodes) 1552470022.292 * * [simplify]: iters left: 4 (35 enodes) 1552470022.306 * * [simplify]: iters left: 3 (83 enodes) 1552470022.339 * * [simplify]: iters left: 2 (233 enodes) 1552470022.476 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470022.476 * * [simplify]: Extracting #1: cost 29 inf + 0 1552470022.477 * * [simplify]: Extracting #2: cost 123 inf + 0 1552470022.478 * * [simplify]: Extracting #3: cost 244 inf + 1 1552470022.482 * * [simplify]: Extracting #4: cost 308 inf + 32857 1552470022.503 * * [simplify]: Extracting #5: cost 149 inf + 308686 1552470022.525 * * [simplify]: Extracting #6: cost 4 inf + 549893 1552470022.553 * * [simplify]: Extracting #7: cost 0 inf + 561504 1552470022.578 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))) 1552470022.578 * [simplify]: Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))) 1552470022.578 * * * [progress]: adding candidates to table 1552470023.222 * * [progress]: iteration 2 / 4 1552470023.222 * * * [progress]: picking best candidate 1552470023.348 * * * * [pick]: Picked #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552470023.348 * * * [progress]: localizing error 1552470023.472 * * * [progress]: generating rewritten candidates 1552470023.472 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1552470023.478 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1552470023.484 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1552470023.487 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 1552470023.489 * * * [progress]: generating series expansions 1552470023.489 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1552470023.489 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1552470023.489 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1552470023.489 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 1552470023.489 * * * [progress]: simplifying candidates 1552470023.489 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552470023.489 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) 1552470023.489 * * [simplify]: iters left: 4 (6 enodes) 1552470023.491 * * [simplify]: iters left: 3 (18 enodes) 1552470023.494 * * [simplify]: iters left: 2 (32 enodes) 1552470023.500 * * [simplify]: iters left: 1 (80 enodes) 1552470023.519 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470023.519 * * [simplify]: Extracting #1: cost 2 inf + 0 1552470023.519 * * [simplify]: Extracting #2: cost 23 inf + 0 1552470023.520 * * [simplify]: Extracting #3: cost 71 inf + 0 1552470023.520 * * [simplify]: Extracting #4: cost 96 inf + 405 1552470023.521 * * [simplify]: Extracting #5: cost 67 inf + 28805 1552470023.524 * * [simplify]: Extracting #6: cost 13 inf + 98338 1552470023.533 * * [simplify]: Extracting #7: cost 1 inf + 114359 1552470023.542 * * [simplify]: Extracting #8: cost 0 inf + 115761 1552470023.552 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) 1552470023.552 * [simplify]: Simplified (2 2) to (λ (x) (-.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552470023.552 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> 1552470023.552 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1552470023.552 * * [simplify]: iters left: 3 (5 enodes) 1552470023.555 * * [simplify]: iters left: 2 (17 enodes) 1552470023.561 * * [simplify]: iters left: 1 (31 enodes) 1552470023.573 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470023.573 * * [simplify]: Extracting #1: cost 11 inf + 0 1552470023.573 * * [simplify]: Extracting #2: cost 28 inf + 0 1552470023.573 * * [simplify]: Extracting #3: cost 29 inf + 324 1552470023.574 * * [simplify]: Extracting #4: cost 22 inf + 6266 1552470023.576 * * [simplify]: Extracting #5: cost 3 inf + 23256 1552470023.578 * * [simplify]: Extracting #6: cost 0 inf + 26382 1552470023.580 * * [simplify]: Extracting #7: cost 0 inf + 25822 1552470023.582 * [simplify]: Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1552470023.582 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) 1552470023.582 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))> 1552470023.582 * * * * [progress]: [ 4 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))> 1552470023.582 * * * * [progress]: [ 5 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (/.p16 (real->posit16 2) x) (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))> 1552470023.582 * * * * [progress]: [ 6 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))> 1552470023.582 * * * * [progress]: [ 7 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))> 1552470023.583 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552470023.583 * * [simplify]: iters left: 2 (4 enodes) 1552470023.585 * * [simplify]: iters left: 1 (10 enodes) 1552470023.588 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470023.589 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470023.589 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470023.589 * * [simplify]: Extracting #3: cost 0 inf + 45 1552470023.589 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552470023.589 * [simplify]: Simplified (2 2 2 2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x))))) 1552470023.589 * * * * [progress]: [ 8 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552470023.589 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552470023.589 * * [simplify]: iters left: 3 (5 enodes) 1552470023.592 * * [simplify]: iters left: 2 (11 enodes) 1552470023.595 * * [simplify]: iters left: 1 (13 enodes) 1552470023.599 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470023.599 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470023.599 * * [simplify]: Extracting #2: cost 5 inf + 0 1552470023.599 * * [simplify]: Extracting #3: cost 3 inf + 2 1552470023.600 * * [simplify]: Extracting #4: cost 0 inf + 527 1552470023.600 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552470023.600 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552470023.600 * * * * [progress]: [ 9 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552470023.600 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552470023.600 * * [simplify]: iters left: 3 (5 enodes) 1552470023.603 * * [simplify]: iters left: 2 (11 enodes) 1552470023.606 * * [simplify]: iters left: 1 (13 enodes) 1552470023.610 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470023.610 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470023.610 * * [simplify]: Extracting #2: cost 5 inf + 0 1552470023.610 * * [simplify]: Extracting #3: cost 3 inf + 2 1552470023.611 * * [simplify]: Extracting #4: cost 0 inf + 527 1552470023.611 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552470023.611 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552470023.611 * * * * [progress]: [ 10 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552470023.611 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552470023.611 * * [simplify]: iters left: 3 (5 enodes) 1552470023.614 * * [simplify]: iters left: 2 (11 enodes) 1552470023.617 * * [simplify]: iters left: 1 (13 enodes) 1552470023.621 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470023.621 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470023.621 * * [simplify]: Extracting #2: cost 5 inf + 0 1552470023.621 * * [simplify]: Extracting #3: cost 3 inf + 2 1552470023.621 * * [simplify]: Extracting #4: cost 0 inf + 527 1552470023.622 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552470023.622 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552470023.622 * * * * [progress]: [ 11 / 11 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552470023.622 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552470023.622 * * [simplify]: iters left: 3 (5 enodes) 1552470023.625 * * [simplify]: iters left: 2 (11 enodes) 1552470023.629 * * [simplify]: iters left: 1 (13 enodes) 1552470023.632 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470023.633 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470023.633 * * [simplify]: Extracting #2: cost 5 inf + 0 1552470023.633 * * [simplify]: Extracting #3: cost 3 inf + 2 1552470023.633 * * [simplify]: Extracting #4: cost 0 inf + 527 1552470023.633 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552470023.633 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552470023.633 * * * [progress]: adding candidates to table 1552470024.215 * * [progress]: iteration 3 / 4 1552470024.215 * * * [progress]: picking best candidate 1552470024.368 * * * * [pick]: Picked #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552470024.368 * * * [progress]: localizing error 1552470024.577 * * * [progress]: generating rewritten candidates 1552470024.577 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1552470024.596 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1552470024.609 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1552470024.611 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 1552470024.617 * * * [progress]: generating series expansions 1552470024.617 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1552470024.617 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1552470024.617 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1552470024.618 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 1552470024.618 * * * [progress]: simplifying candidates 1552470024.618 * * * * [progress]: [ 1 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))))> 1552470024.618 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1)) 1552470024.618 * * [simplify]: iters left: 5 (8 enodes) 1552470024.620 * * [simplify]: iters left: 4 (25 enodes) 1552470024.625 * * [simplify]: iters left: 3 (62 enodes) 1552470024.642 * * [simplify]: iters left: 2 (193 enodes) 1552470024.741 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470024.741 * * [simplify]: Extracting #1: cost 65 inf + 0 1552470024.742 * * [simplify]: Extracting #2: cost 241 inf + 0 1552470024.746 * * [simplify]: Extracting #3: cost 260 inf + 43096 1552470024.766 * * [simplify]: Extracting #4: cost 122 inf + 266467 1552470024.797 * * [simplify]: Extracting #5: cost 18 inf + 464771 1552470024.821 * * [simplify]: Extracting #6: cost 0 inf + 502437 1552470024.842 * * [simplify]: Extracting #7: cost 0 inf + 501277 1552470024.864 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) 1552470024.864 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x)) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) 1552470024.864 * * * * [progress]: [ 2 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x)))> 1552470024.865 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x) 1552470024.865 * * [simplify]: iters left: 5 (8 enodes) 1552470024.867 * * [simplify]: iters left: 4 (26 enodes) 1552470024.873 * * [simplify]: iters left: 3 (65 enodes) 1552470024.893 * * [simplify]: iters left: 2 (206 enodes) 1552470025.011 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470025.011 * * [simplify]: Extracting #1: cost 77 inf + 0 1552470025.012 * * [simplify]: Extracting #2: cost 273 inf + 1 1552470025.016 * * [simplify]: Extracting #3: cost 294 inf + 40731 1552470025.034 * * [simplify]: Extracting #4: cost 159 inf + 260335 1552470025.076 * * [simplify]: Extracting #5: cost 10 inf + 531203 1552470025.123 * * [simplify]: Extracting #6: cost 0 inf + 554220 1552470025.172 * * [simplify]: Extracting #7: cost 0 inf + 554060 1552470025.203 * [simplify]: Simplified to (*.p16 (/.p16 x (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) (real->posit16 1)) 1552470025.203 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))) (*.p16 (/.p16 x (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) (real->posit16 1)))) 1552470025.203 * * * * [progress]: [ 3 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))> 1552470025.203 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) 1552470025.203 * * [simplify]: iters left: 5 (8 enodes) 1552470025.205 * * [simplify]: iters left: 4 (25 enodes) 1552470025.211 * * [simplify]: iters left: 3 (62 enodes) 1552470025.234 * * [simplify]: iters left: 2 (193 enodes) 1552470025.363 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470025.363 * * [simplify]: Extracting #1: cost 65 inf + 0 1552470025.364 * * [simplify]: Extracting #2: cost 241 inf + 0 1552470025.366 * * [simplify]: Extracting #3: cost 260 inf + 43096 1552470025.379 * * [simplify]: Extracting #4: cost 122 inf + 266467 1552470025.412 * * [simplify]: Extracting #5: cost 18 inf + 464771 1552470025.454 * * [simplify]: Extracting #6: cost 0 inf + 502437 1552470025.489 * * [simplify]: Extracting #7: cost 0 inf + 501277 1552470025.513 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) 1552470025.513 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) 1552470025.513 * * * * [progress]: [ 4 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))> 1552470025.514 * [simplify]: Simplifying (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) 1552470025.514 * * [simplify]: iters left: 5 (8 enodes) 1552470025.518 * * [simplify]: iters left: 4 (26 enodes) 1552470025.530 * * [simplify]: iters left: 3 (66 enodes) 1552470025.556 * * [simplify]: iters left: 2 (207 enodes) 1552470025.694 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470025.694 * * [simplify]: Extracting #1: cost 77 inf + 0 1552470025.695 * * [simplify]: Extracting #2: cost 273 inf + 1 1552470025.699 * * [simplify]: Extracting #3: cost 303 inf + 33074 1552470025.721 * * [simplify]: Extracting #4: cost 141 inf + 297808 1552470025.751 * * [simplify]: Extracting #5: cost 22 inf + 505698 1552470025.783 * * [simplify]: Extracting #6: cost 0 inf + 553899 1552470025.811 * * [simplify]: Extracting #7: cost 0 inf + 553659 1552470025.841 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) x) 1552470025.841 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) x))) 1552470025.841 * * * * [progress]: [ 5 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))> 1552470025.841 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552470025.841 * * [simplify]: iters left: 3 (5 enodes) 1552470025.843 * * [simplify]: iters left: 2 (11 enodes) 1552470025.845 * * [simplify]: iters left: 1 (13 enodes) 1552470025.847 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470025.847 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470025.847 * * [simplify]: Extracting #2: cost 5 inf + 0 1552470025.847 * * [simplify]: Extracting #3: cost 3 inf + 2 1552470025.847 * * [simplify]: Extracting #4: cost 0 inf + 527 1552470025.847 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552470025.847 * [simplify]: Simplified (2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))) 1552470025.847 * * * * [progress]: [ 6 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))))))> 1552470025.848 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552470025.848 * * [simplify]: iters left: 3 (5 enodes) 1552470025.851 * * [simplify]: iters left: 2 (11 enodes) 1552470025.853 * * [simplify]: iters left: 1 (13 enodes) 1552470025.855 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470025.855 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470025.855 * * [simplify]: Extracting #2: cost 5 inf + 0 1552470025.855 * * [simplify]: Extracting #3: cost 3 inf + 2 1552470025.855 * * [simplify]: Extracting #4: cost 0 inf + 527 1552470025.856 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552470025.856 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))) 1552470025.856 * * * * [progress]: [ 7 / 30 ] simplifiying candidate #posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))> 1552470025.856 * * * * [progress]: [ 8 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1)))))> 1552470025.856 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1)) 1552470025.856 * * [simplify]: iters left: 5 (8 enodes) 1552470025.859 * * [simplify]: iters left: 4 (25 enodes) 1552470025.864 * * [simplify]: iters left: 3 (62 enodes) 1552470025.877 * * [simplify]: iters left: 2 (193 enodes) 1552470025.995 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470025.995 * * [simplify]: Extracting #1: cost 65 inf + 0 1552470025.996 * * [simplify]: Extracting #2: cost 241 inf + 0 1552470025.998 * * [simplify]: Extracting #3: cost 260 inf + 43096 1552470026.008 * * [simplify]: Extracting #4: cost 122 inf + 266467 1552470026.038 * * [simplify]: Extracting #5: cost 18 inf + 464771 1552470026.067 * * [simplify]: Extracting #6: cost 0 inf + 502437 1552470026.107 * * [simplify]: Extracting #7: cost 0 inf + 501277 1552470026.132 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) 1552470026.132 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))) 1552470026.132 * * * * [progress]: [ 9 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x))))> 1552470026.132 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x) 1552470026.132 * * [simplify]: iters left: 5 (8 enodes) 1552470026.135 * * [simplify]: iters left: 4 (26 enodes) 1552470026.141 * * [simplify]: iters left: 3 (65 enodes) 1552470026.166 * * [simplify]: iters left: 2 (206 enodes) 1552470026.332 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470026.333 * * [simplify]: Extracting #1: cost 77 inf + 0 1552470026.334 * * [simplify]: Extracting #2: cost 273 inf + 1 1552470026.338 * * [simplify]: Extracting #3: cost 294 inf + 40731 1552470026.357 * * [simplify]: Extracting #4: cost 159 inf + 260335 1552470026.397 * * [simplify]: Extracting #5: cost 10 inf + 531203 1552470026.447 * * [simplify]: Extracting #6: cost 0 inf + 554220 1552470026.495 * * [simplify]: Extracting #7: cost 0 inf + 554060 1552470026.532 * [simplify]: Simplified to (*.p16 (/.p16 x (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) (real->posit16 1)) 1552470026.532 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1)) (*.p16 (/.p16 x (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) (real->posit16 1))))) 1552470026.532 * * * * [progress]: [ 10 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))))> 1552470026.532 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) 1552470026.533 * * [simplify]: iters left: 5 (8 enodes) 1552470026.535 * * [simplify]: iters left: 4 (25 enodes) 1552470026.540 * * [simplify]: iters left: 3 (62 enodes) 1552470026.553 * * [simplify]: iters left: 2 (193 enodes) 1552470026.707 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470026.707 * * [simplify]: Extracting #1: cost 65 inf + 0 1552470026.709 * * [simplify]: Extracting #2: cost 241 inf + 0 1552470026.713 * * [simplify]: Extracting #3: cost 260 inf + 43096 1552470026.729 * * [simplify]: Extracting #4: cost 122 inf + 266467 1552470026.748 * * [simplify]: Extracting #5: cost 18 inf + 464771 1552470026.771 * * [simplify]: Extracting #6: cost 0 inf + 502437 1552470026.804 * * [simplify]: Extracting #7: cost 0 inf + 501277 1552470026.838 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) 1552470026.838 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))) 1552470026.838 * * * * [progress]: [ 11 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))))> 1552470026.839 * [simplify]: Simplifying (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) 1552470026.839 * * [simplify]: iters left: 5 (8 enodes) 1552470026.843 * * [simplify]: iters left: 4 (26 enodes) 1552470026.853 * * [simplify]: iters left: 3 (66 enodes) 1552470026.880 * * [simplify]: iters left: 2 (207 enodes) 1552470027.000 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470027.001 * * [simplify]: Extracting #1: cost 77 inf + 0 1552470027.002 * * [simplify]: Extracting #2: cost 273 inf + 1 1552470027.006 * * [simplify]: Extracting #3: cost 303 inf + 33074 1552470027.030 * * [simplify]: Extracting #4: cost 141 inf + 297808 1552470027.059 * * [simplify]: Extracting #5: cost 22 inf + 505698 1552470027.084 * * [simplify]: Extracting #6: cost 0 inf + 553899 1552470027.131 * * [simplify]: Extracting #7: cost 0 inf + 553659 1552470027.177 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) x) 1552470027.177 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) x)))) 1552470027.177 * * * * [progress]: [ 12 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1))))))> 1552470027.178 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) 1552470027.178 * * [simplify]: iters left: 5 (9 enodes) 1552470027.182 * * [simplify]: iters left: 4 (32 enodes) 1552470027.192 * * [simplify]: iters left: 3 (76 enodes) 1552470027.209 * * [simplify]: iters left: 2 (239 enodes) 1552470027.362 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470027.362 * * [simplify]: Extracting #1: cost 46 inf + 0 1552470027.365 * * [simplify]: Extracting #2: cost 215 inf + 0 1552470027.367 * * [simplify]: Extracting #3: cost 259 inf + 37842 1552470027.379 * * [simplify]: Extracting #4: cost 141 inf + 336186 1552470027.404 * * [simplify]: Extracting #5: cost 28 inf + 595296 1552470027.436 * * [simplify]: Extracting #6: cost 1 inf + 655569 1552470027.468 * * [simplify]: Extracting #7: cost 0 inf + 659011 1552470027.501 * [simplify]: Simplified to (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) 1552470027.501 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1)))))) 1552470027.501 * * * * [progress]: [ 13 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> 1552470027.502 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552470027.502 * * [simplify]: iters left: 3 (5 enodes) 1552470027.503 * * [simplify]: iters left: 2 (17 enodes) 1552470027.507 * * [simplify]: iters left: 1 (21 enodes) 1552470027.509 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470027.510 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470027.510 * * [simplify]: Extracting #2: cost 7 inf + 0 1552470027.510 * * [simplify]: Extracting #3: cost 5 inf + 2 1552470027.510 * * [simplify]: Extracting #4: cost 0 inf + 1050 1552470027.510 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552470027.510 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) 1552470027.510 * * * * [progress]: [ 14 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))> 1552470027.510 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) 1552470027.510 * * [simplify]: iters left: 4 (6 enodes) 1552470027.512 * * [simplify]: iters left: 3 (21 enodes) 1552470027.516 * * [simplify]: iters left: 2 (39 enodes) 1552470027.522 * * [simplify]: iters left: 1 (46 enodes) 1552470027.528 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470027.528 * * [simplify]: Extracting #1: cost 8 inf + 0 1552470027.528 * * [simplify]: Extracting #2: cost 14 inf + 1 1552470027.528 * * [simplify]: Extracting #3: cost 11 inf + 4 1552470027.528 * * [simplify]: Extracting #4: cost 4 inf + 2016 1552470027.528 * * [simplify]: Extracting #5: cost 0 inf + 4584 1552470027.529 * [simplify]: Simplified to (real->posit16 1) 1552470027.529 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) 1552470027.529 * * * * [progress]: [ 15 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))> 1552470027.529 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) 1552470027.529 * * [simplify]: iters left: 4 (6 enodes) 1552470027.531 * * [simplify]: iters left: 3 (21 enodes) 1552470027.535 * * [simplify]: iters left: 2 (39 enodes) 1552470027.541 * * [simplify]: iters left: 1 (46 enodes) 1552470027.547 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470027.547 * * [simplify]: Extracting #1: cost 8 inf + 0 1552470027.547 * * [simplify]: Extracting #2: cost 14 inf + 1 1552470027.547 * * [simplify]: Extracting #3: cost 11 inf + 4 1552470027.547 * * [simplify]: Extracting #4: cost 4 inf + 2016 1552470027.547 * * [simplify]: Extracting #5: cost 0 inf + 4584 1552470027.548 * [simplify]: Simplified to (real->posit16 1) 1552470027.548 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) 1552470027.548 * * * * [progress]: [ 16 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))> 1552470027.548 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) 1552470027.548 * * [simplify]: iters left: 4 (6 enodes) 1552470027.550 * * [simplify]: iters left: 3 (21 enodes) 1552470027.554 * * [simplify]: iters left: 2 (39 enodes) 1552470027.561 * * [simplify]: iters left: 1 (46 enodes) 1552470027.567 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470027.567 * * [simplify]: Extracting #1: cost 8 inf + 0 1552470027.567 * * [simplify]: Extracting #2: cost 14 inf + 1 1552470027.567 * * [simplify]: Extracting #3: cost 11 inf + 4 1552470027.567 * * [simplify]: Extracting #4: cost 4 inf + 2016 1552470027.568 * * [simplify]: Extracting #5: cost 0 inf + 4584 1552470027.568 * [simplify]: Simplified to (real->posit16 1) 1552470027.568 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) 1552470027.568 * * * * [progress]: [ 17 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))> 1552470027.568 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) 1552470027.568 * * [simplify]: iters left: 4 (6 enodes) 1552470027.570 * * [simplify]: iters left: 3 (21 enodes) 1552470027.574 * * [simplify]: iters left: 2 (39 enodes) 1552470027.580 * * [simplify]: iters left: 1 (46 enodes) 1552470027.587 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470027.587 * * [simplify]: Extracting #1: cost 8 inf + 0 1552470027.587 * * [simplify]: Extracting #2: cost 14 inf + 1 1552470027.587 * * [simplify]: Extracting #3: cost 11 inf + 4 1552470027.588 * * [simplify]: Extracting #4: cost 4 inf + 2016 1552470027.588 * * [simplify]: Extracting #5: cost 0 inf + 4584 1552470027.588 * [simplify]: Simplified to (real->posit16 1) 1552470027.588 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) 1552470027.588 * * * * [progress]: [ 18 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (+.p16 x (real->posit16 1)) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))> 1552470027.588 * * * * [progress]: [ 19 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552470027.588 * * * * [progress]: [ 20 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552470027.589 * * * * [progress]: [ 21 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552470027.589 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552470027.589 * * [simplify]: iters left: 2 (4 enodes) 1552470027.590 * * [simplify]: iters left: 1 (10 enodes) 1552470027.592 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470027.592 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470027.592 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470027.592 * * [simplify]: Extracting #3: cost 0 inf + 45 1552470027.592 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552470027.592 * [simplify]: Simplified (2 2 1 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))))) 1552470027.592 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552470027.592 * * [simplify]: iters left: 2 (4 enodes) 1552470027.593 * * [simplify]: iters left: 1 (16 enodes) 1552470027.596 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470027.596 * * [simplify]: Extracting #1: cost 6 inf + 0 1552470027.596 * * [simplify]: Extracting #2: cost 11 inf + 1 1552470027.596 * * [simplify]: Extracting #3: cost 11 inf + 323 1552470027.596 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552470027.596 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552470027.597 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552470027.597 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552470027.597 * [simplify]: Simplified (2 2 1 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))))) 1552470027.597 * * * * [progress]: [ 22 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552470027.597 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552470027.597 * * [simplify]: iters left: 2 (4 enodes) 1552470027.598 * * [simplify]: iters left: 1 (10 enodes) 1552470027.600 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470027.600 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470027.600 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470027.600 * * [simplify]: Extracting #3: cost 0 inf + 45 1552470027.600 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552470027.600 * [simplify]: Simplified (2 2 1 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))))) 1552470027.601 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552470027.601 * * [simplify]: iters left: 2 (4 enodes) 1552470027.602 * * [simplify]: iters left: 1 (16 enodes) 1552470027.605 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470027.605 * * [simplify]: Extracting #1: cost 6 inf + 0 1552470027.605 * * [simplify]: Extracting #2: cost 11 inf + 1 1552470027.605 * * [simplify]: Extracting #3: cost 11 inf + 323 1552470027.605 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552470027.606 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552470027.606 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552470027.606 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552470027.606 * [simplify]: Simplified (2 2 1 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))))) 1552470027.606 * * * * [progress]: [ 23 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552470027.606 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552470027.606 * * [simplify]: iters left: 2 (4 enodes) 1552470027.607 * * [simplify]: iters left: 1 (10 enodes) 1552470027.609 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470027.609 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470027.609 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470027.609 * * [simplify]: Extracting #3: cost 0 inf + 45 1552470027.609 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552470027.610 * [simplify]: Simplified (2 2 1 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))))) 1552470027.610 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552470027.610 * * [simplify]: iters left: 2 (4 enodes) 1552470027.611 * * [simplify]: iters left: 1 (16 enodes) 1552470027.614 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470027.614 * * [simplify]: Extracting #1: cost 6 inf + 0 1552470027.614 * * [simplify]: Extracting #2: cost 11 inf + 1 1552470027.614 * * [simplify]: Extracting #3: cost 11 inf + 323 1552470027.614 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552470027.614 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552470027.615 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552470027.615 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552470027.615 * [simplify]: Simplified (2 2 1 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))))) 1552470027.615 * * * * [progress]: [ 24 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552470027.615 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552470027.615 * * [simplify]: iters left: 2 (4 enodes) 1552470027.616 * * [simplify]: iters left: 1 (10 enodes) 1552470027.618 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470027.618 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470027.618 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470027.618 * * [simplify]: Extracting #3: cost 0 inf + 45 1552470027.618 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552470027.618 * [simplify]: Simplified (2 2 1 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))))) 1552470027.619 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552470027.619 * * [simplify]: iters left: 2 (4 enodes) 1552470027.620 * * [simplify]: iters left: 1 (16 enodes) 1552470027.623 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470027.623 * * [simplify]: Extracting #1: cost 6 inf + 0 1552470027.623 * * [simplify]: Extracting #2: cost 11 inf + 1 1552470027.623 * * [simplify]: Extracting #3: cost 11 inf + 323 1552470027.623 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552470027.623 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552470027.623 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552470027.624 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552470027.624 * [simplify]: Simplified (2 2 1 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))) (+.p16 x (real->posit16 1))))) 1552470027.624 * * * * [progress]: [ 25 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (*.p16 x x) (neg.p16 (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 x (real->posit16 1)))))> 1552470027.624 * * * * [progress]: [ 26 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (/.p16 (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 x (real->posit16 1)))))> 1552470027.624 * * * * [progress]: [ 27 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552470027.624 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552470027.624 * * [simplify]: iters left: 2 (4 enodes) 1552470027.626 * * [simplify]: iters left: 1 (10 enodes) 1552470027.628 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470027.628 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470027.628 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470027.628 * * [simplify]: Extracting #3: cost 0 inf + 45 1552470027.628 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552470027.628 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x)))) 1552470027.628 * * * * [progress]: [ 28 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552470027.628 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552470027.628 * * [simplify]: iters left: 2 (4 enodes) 1552470027.630 * * [simplify]: iters left: 1 (10 enodes) 1552470027.631 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470027.632 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470027.632 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470027.632 * * [simplify]: Extracting #3: cost 0 inf + 45 1552470027.632 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552470027.632 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x)))) 1552470027.632 * * * * [progress]: [ 29 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552470027.632 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552470027.632 * * [simplify]: iters left: 2 (4 enodes) 1552470027.633 * * [simplify]: iters left: 1 (10 enodes) 1552470027.635 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470027.635 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470027.635 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470027.635 * * [simplify]: Extracting #3: cost 0 inf + 45 1552470027.635 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552470027.635 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x)))) 1552470027.635 * * * * [progress]: [ 30 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1552470027.635 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552470027.635 * * [simplify]: iters left: 2 (4 enodes) 1552470027.636 * * [simplify]: iters left: 1 (10 enodes) 1552470027.638 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470027.638 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470027.638 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470027.638 * * [simplify]: Extracting #3: cost 0 inf + 45 1552470027.638 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552470027.638 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x)))) 1552470027.638 * * * [progress]: adding candidates to table 1552470029.447 * * [progress]: iteration 4 / 4 1552470029.448 * * * [progress]: picking best candidate 1552470029.763 * * * * [pick]: Picked #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> 1552470029.763 * * * [progress]: localizing error 1552470029.900 * * * [progress]: generating rewritten candidates 1552470029.900 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1552470029.941 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1552470029.956 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1552470029.961 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 1552470029.967 * * * [progress]: generating series expansions 1552470029.967 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1552470029.967 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1552470029.967 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1552470029.967 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 1552470029.967 * * * [progress]: simplifying candidates 1552470029.967 * * * * [progress]: [ 1 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))> 1552470029.967 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552470029.967 * * [simplify]: iters left: 3 (5 enodes) 1552470029.969 * * [simplify]: iters left: 2 (11 enodes) 1552470029.972 * * [simplify]: iters left: 1 (13 enodes) 1552470029.976 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470029.976 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470029.976 * * [simplify]: Extracting #2: cost 5 inf + 0 1552470029.977 * * [simplify]: Extracting #3: cost 3 inf + 2 1552470029.977 * * [simplify]: Extracting #4: cost 0 inf + 527 1552470029.977 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552470029.977 * [simplify]: Simplified (2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))) 1552470029.977 * * * * [progress]: [ 2 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))> 1552470029.977 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552470029.977 * * [simplify]: iters left: 3 (5 enodes) 1552470029.980 * * [simplify]: iters left: 2 (11 enodes) 1552470029.984 * * [simplify]: iters left: 1 (13 enodes) 1552470029.988 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470029.988 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470029.988 * * [simplify]: Extracting #2: cost 5 inf + 0 1552470029.988 * * [simplify]: Extracting #3: cost 3 inf + 2 1552470029.988 * * [simplify]: Extracting #4: cost 0 inf + 527 1552470029.988 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552470029.988 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))) 1552470029.989 * * * * [progress]: [ 3 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))> 1552470029.989 * * * * [progress]: [ 4 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))> 1552470029.989 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552470029.989 * * [simplify]: iters left: 2 (4 enodes) 1552470029.991 * * [simplify]: iters left: 1 (16 enodes) 1552470029.997 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470029.997 * * [simplify]: Extracting #1: cost 6 inf + 0 1552470029.997 * * [simplify]: Extracting #2: cost 11 inf + 1 1552470029.997 * * [simplify]: Extracting #3: cost 11 inf + 323 1552470029.998 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552470029.998 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552470029.998 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552470029.999 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552470029.999 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))) 1552470029.999 * * * * [progress]: [ 5 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))> 1552470029.999 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552470029.999 * * [simplify]: iters left: 2 (4 enodes) 1552470030.002 * * [simplify]: iters left: 1 (16 enodes) 1552470030.007 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.008 * * [simplify]: Extracting #1: cost 6 inf + 0 1552470030.008 * * [simplify]: Extracting #2: cost 11 inf + 1 1552470030.008 * * [simplify]: Extracting #3: cost 11 inf + 323 1552470030.008 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552470030.008 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552470030.009 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552470030.009 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552470030.009 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))) 1552470030.009 * * * * [progress]: [ 6 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))> 1552470030.010 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552470030.010 * * [simplify]: iters left: 2 (4 enodes) 1552470030.012 * * [simplify]: iters left: 1 (16 enodes) 1552470030.018 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.018 * * [simplify]: Extracting #1: cost 6 inf + 0 1552470030.018 * * [simplify]: Extracting #2: cost 11 inf + 1 1552470030.018 * * [simplify]: Extracting #3: cost 11 inf + 323 1552470030.018 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552470030.019 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552470030.019 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552470030.020 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552470030.020 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))) 1552470030.020 * * * * [progress]: [ 7 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1)))))> 1552470030.020 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552470030.020 * * [simplify]: iters left: 2 (4 enodes) 1552470030.022 * * [simplify]: iters left: 1 (16 enodes) 1552470030.028 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.028 * * [simplify]: Extracting #1: cost 6 inf + 0 1552470030.028 * * [simplify]: Extracting #2: cost 11 inf + 1 1552470030.028 * * [simplify]: Extracting #3: cost 11 inf + 323 1552470030.028 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552470030.028 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552470030.029 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552470030.029 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552470030.029 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))))) 1552470030.029 * * * * [progress]: [ 8 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (/.p16 (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1))))))> 1552470030.030 * [simplify]: Simplifying (real->posit16 1) 1552470030.030 * * [simplify]: iters left: 1 (2 enodes) 1552470030.031 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.031 * * [simplify]: Extracting #1: cost 2 inf + 0 1552470030.031 * * [simplify]: Extracting #2: cost 1 inf + 1 1552470030.031 * * [simplify]: Extracting #3: cost 0 inf + 2 1552470030.031 * [simplify]: Simplified to (real->posit16 1) 1552470030.031 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (/.p16 (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1)))))) 1552470030.031 * * * * [progress]: [ 9 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (+.p16 x (real->posit16 1)) (/.p16 (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (real->posit16 1)))))> 1552470030.031 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552470030.032 * * [simplify]: iters left: 2 (4 enodes) 1552470030.033 * * [simplify]: iters left: 1 (10 enodes) 1552470030.037 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.037 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470030.037 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470030.037 * * [simplify]: Extracting #3: cost 0 inf + 45 1552470030.037 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552470030.037 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (+.p16 (real->posit16 1) x) (/.p16 (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (real->posit16 1))))) 1552470030.037 * * * * [progress]: [ 10 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> 1552470030.037 * [simplify]: Simplifying (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) 1552470030.037 * * [simplify]: iters left: 3 (6 enodes) 1552470030.040 * * [simplify]: iters left: 2 (12 enodes) 1552470030.044 * * [simplify]: iters left: 1 (14 enodes) 1552470030.049 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.049 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470030.049 * * [simplify]: Extracting #2: cost 5 inf + 0 1552470030.049 * * [simplify]: Extracting #3: cost 5 inf + 1 1552470030.049 * * [simplify]: Extracting #4: cost 0 inf + 1327 1552470030.049 * [simplify]: Simplified to (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x)) 1552470030.049 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x))))) 1552470030.049 * * * * [progress]: [ 11 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))> 1552470030.050 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552470030.050 * * [simplify]: iters left: 3 (5 enodes) 1552470030.052 * * [simplify]: iters left: 2 (11 enodes) 1552470030.055 * * [simplify]: iters left: 1 (13 enodes) 1552470030.059 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.059 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470030.059 * * [simplify]: Extracting #2: cost 5 inf + 0 1552470030.059 * * [simplify]: Extracting #3: cost 3 inf + 2 1552470030.059 * * [simplify]: Extracting #4: cost 0 inf + 527 1552470030.060 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552470030.060 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))) 1552470030.060 * [simplify]: Simplifying (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))) 1552470030.060 * * [simplify]: iters left: 3 (6 enodes) 1552470030.063 * * [simplify]: iters left: 2 (18 enodes) 1552470030.071 * * [simplify]: iters left: 1 (31 enodes) 1552470030.083 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.083 * * [simplify]: Extracting #1: cost 10 inf + 0 1552470030.084 * * [simplify]: Extracting #2: cost 26 inf + 0 1552470030.084 * * [simplify]: Extracting #3: cost 31 inf + 1 1552470030.084 * * [simplify]: Extracting #4: cost 35 inf + 323 1552470030.085 * * [simplify]: Extracting #5: cost 17 inf + 8069 1552470030.086 * * [simplify]: Extracting #6: cost 0 inf + 25900 1552470030.089 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1))) 1552470030.089 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))))) 1552470030.089 * * * * [progress]: [ 12 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))> 1552470030.089 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552470030.089 * * [simplify]: iters left: 3 (5 enodes) 1552470030.092 * * [simplify]: iters left: 2 (11 enodes) 1552470030.096 * * [simplify]: iters left: 1 (13 enodes) 1552470030.100 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.100 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470030.100 * * [simplify]: Extracting #2: cost 5 inf + 0 1552470030.100 * * [simplify]: Extracting #3: cost 3 inf + 2 1552470030.100 * * [simplify]: Extracting #4: cost 0 inf + 527 1552470030.100 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552470030.100 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))) 1552470030.101 * [simplify]: Simplifying (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))) 1552470030.101 * * [simplify]: iters left: 3 (6 enodes) 1552470030.103 * * [simplify]: iters left: 2 (18 enodes) 1552470030.110 * * [simplify]: iters left: 1 (31 enodes) 1552470030.122 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.122 * * [simplify]: Extracting #1: cost 10 inf + 0 1552470030.122 * * [simplify]: Extracting #2: cost 26 inf + 0 1552470030.122 * * [simplify]: Extracting #3: cost 31 inf + 1 1552470030.122 * * [simplify]: Extracting #4: cost 35 inf + 323 1552470030.123 * * [simplify]: Extracting #5: cost 17 inf + 8069 1552470030.124 * * [simplify]: Extracting #6: cost 0 inf + 25900 1552470030.126 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1))) 1552470030.126 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))))) 1552470030.126 * * * * [progress]: [ 13 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))> 1552470030.127 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552470030.127 * * [simplify]: iters left: 3 (5 enodes) 1552470030.130 * * [simplify]: iters left: 2 (11 enodes) 1552470030.134 * * [simplify]: iters left: 1 (13 enodes) 1552470030.137 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.137 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470030.138 * * [simplify]: Extracting #2: cost 5 inf + 0 1552470030.138 * * [simplify]: Extracting #3: cost 3 inf + 2 1552470030.138 * * [simplify]: Extracting #4: cost 0 inf + 527 1552470030.138 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552470030.138 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))) 1552470030.138 * [simplify]: Simplifying (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))) 1552470030.138 * * [simplify]: iters left: 3 (6 enodes) 1552470030.141 * * [simplify]: iters left: 2 (18 enodes) 1552470030.147 * * [simplify]: iters left: 1 (31 enodes) 1552470030.158 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.158 * * [simplify]: Extracting #1: cost 10 inf + 0 1552470030.159 * * [simplify]: Extracting #2: cost 26 inf + 0 1552470030.159 * * [simplify]: Extracting #3: cost 31 inf + 1 1552470030.159 * * [simplify]: Extracting #4: cost 35 inf + 323 1552470030.159 * * [simplify]: Extracting #5: cost 17 inf + 8069 1552470030.161 * * [simplify]: Extracting #6: cost 0 inf + 25900 1552470030.163 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1))) 1552470030.163 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))))) 1552470030.163 * * * * [progress]: [ 14 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))> 1552470030.163 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552470030.164 * * [simplify]: iters left: 3 (5 enodes) 1552470030.166 * * [simplify]: iters left: 2 (11 enodes) 1552470030.170 * * [simplify]: iters left: 1 (13 enodes) 1552470030.174 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.174 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470030.174 * * [simplify]: Extracting #2: cost 5 inf + 0 1552470030.174 * * [simplify]: Extracting #3: cost 3 inf + 2 1552470030.174 * * [simplify]: Extracting #4: cost 0 inf + 527 1552470030.174 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552470030.174 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))) 1552470030.174 * [simplify]: Simplifying (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))) 1552470030.174 * * [simplify]: iters left: 3 (6 enodes) 1552470030.177 * * [simplify]: iters left: 2 (18 enodes) 1552470030.183 * * [simplify]: iters left: 1 (31 enodes) 1552470030.194 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.194 * * [simplify]: Extracting #1: cost 10 inf + 0 1552470030.195 * * [simplify]: Extracting #2: cost 26 inf + 0 1552470030.195 * * [simplify]: Extracting #3: cost 31 inf + 1 1552470030.195 * * [simplify]: Extracting #4: cost 35 inf + 323 1552470030.195 * * [simplify]: Extracting #5: cost 17 inf + 8069 1552470030.197 * * [simplify]: Extracting #6: cost 0 inf + 25900 1552470030.199 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1))) 1552470030.199 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))))) 1552470030.199 * * * * [progress]: [ 15 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552470030.199 * [simplify]: Simplifying (/.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) 1552470030.200 * * [simplify]: iters left: 3 (5 enodes) 1552470030.202 * * [simplify]: iters left: 2 (13 enodes) 1552470030.207 * * [simplify]: iters left: 1 (16 enodes) 1552470030.211 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.212 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470030.212 * * [simplify]: Extracting #2: cost 4 inf + 1 1552470030.212 * * [simplify]: Extracting #3: cost 3 inf + 3 1552470030.212 * * [simplify]: Extracting #4: cost 0 inf + 47 1552470030.212 * [simplify]: Simplified to (real->posit16 1.0) 1552470030.212 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552470030.212 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1552470030.212 * * [simplify]: iters left: 3 (5 enodes) 1552470030.215 * * [simplify]: iters left: 2 (17 enodes) 1552470030.223 * * [simplify]: iters left: 1 (31 enodes) 1552470030.234 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.234 * * [simplify]: Extracting #1: cost 11 inf + 0 1552470030.235 * * [simplify]: Extracting #2: cost 28 inf + 0 1552470030.235 * * [simplify]: Extracting #3: cost 29 inf + 324 1552470030.235 * * [simplify]: Extracting #4: cost 22 inf + 6266 1552470030.237 * * [simplify]: Extracting #5: cost 3 inf + 23256 1552470030.238 * * [simplify]: Extracting #6: cost 0 inf + 26382 1552470030.240 * * [simplify]: Extracting #7: cost 0 inf + 25822 1552470030.242 * [simplify]: Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1552470030.242 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552470030.242 * * * * [progress]: [ 16 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552470030.243 * [simplify]: Simplifying (/.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) 1552470030.243 * * [simplify]: iters left: 3 (5 enodes) 1552470030.246 * * [simplify]: iters left: 2 (13 enodes) 1552470030.251 * * [simplify]: iters left: 1 (16 enodes) 1552470030.256 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.256 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470030.256 * * [simplify]: Extracting #2: cost 4 inf + 1 1552470030.256 * * [simplify]: Extracting #3: cost 3 inf + 3 1552470030.256 * * [simplify]: Extracting #4: cost 0 inf + 47 1552470030.256 * [simplify]: Simplified to (real->posit16 1.0) 1552470030.257 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552470030.257 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1552470030.257 * * [simplify]: iters left: 3 (5 enodes) 1552470030.260 * * [simplify]: iters left: 2 (17 enodes) 1552470030.266 * * [simplify]: iters left: 1 (31 enodes) 1552470030.277 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.277 * * [simplify]: Extracting #1: cost 11 inf + 0 1552470030.277 * * [simplify]: Extracting #2: cost 28 inf + 0 1552470030.277 * * [simplify]: Extracting #3: cost 29 inf + 324 1552470030.278 * * [simplify]: Extracting #4: cost 22 inf + 6266 1552470030.279 * * [simplify]: Extracting #5: cost 3 inf + 23256 1552470030.281 * * [simplify]: Extracting #6: cost 0 inf + 26382 1552470030.283 * * [simplify]: Extracting #7: cost 0 inf + 25822 1552470030.285 * [simplify]: Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1552470030.285 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552470030.285 * * * * [progress]: [ 17 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552470030.285 * [simplify]: Simplifying (/.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) 1552470030.285 * * [simplify]: iters left: 3 (5 enodes) 1552470030.288 * * [simplify]: iters left: 2 (13 enodes) 1552470030.293 * * [simplify]: iters left: 1 (16 enodes) 1552470030.298 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.298 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470030.298 * * [simplify]: Extracting #2: cost 4 inf + 1 1552470030.298 * * [simplify]: Extracting #3: cost 3 inf + 3 1552470030.298 * * [simplify]: Extracting #4: cost 0 inf + 47 1552470030.298 * [simplify]: Simplified to (real->posit16 1.0) 1552470030.298 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552470030.299 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1552470030.299 * * [simplify]: iters left: 3 (5 enodes) 1552470030.301 * * [simplify]: iters left: 2 (17 enodes) 1552470030.308 * * [simplify]: iters left: 1 (31 enodes) 1552470030.320 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.320 * * [simplify]: Extracting #1: cost 11 inf + 0 1552470030.321 * * [simplify]: Extracting #2: cost 28 inf + 0 1552470030.321 * * [simplify]: Extracting #3: cost 29 inf + 324 1552470030.322 * * [simplify]: Extracting #4: cost 22 inf + 6266 1552470030.324 * * [simplify]: Extracting #5: cost 3 inf + 23256 1552470030.326 * * [simplify]: Extracting #6: cost 0 inf + 26382 1552470030.328 * * [simplify]: Extracting #7: cost 0 inf + 25822 1552470030.330 * [simplify]: Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1552470030.330 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552470030.330 * * * * [progress]: [ 18 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1552470030.331 * [simplify]: Simplifying (/.p16 (+.p16 x (real->posit16 1)) (+.p16 x (real->posit16 1))) 1552470030.331 * * [simplify]: iters left: 3 (5 enodes) 1552470030.334 * * [simplify]: iters left: 2 (13 enodes) 1552470030.338 * * [simplify]: iters left: 1 (16 enodes) 1552470030.343 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.343 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470030.343 * * [simplify]: Extracting #2: cost 4 inf + 1 1552470030.344 * * [simplify]: Extracting #3: cost 3 inf + 3 1552470030.344 * * [simplify]: Extracting #4: cost 0 inf + 47 1552470030.344 * [simplify]: Simplified to (real->posit16 1.0) 1552470030.344 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552470030.344 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1552470030.344 * * [simplify]: iters left: 3 (5 enodes) 1552470030.347 * * [simplify]: iters left: 2 (17 enodes) 1552470030.353 * * [simplify]: iters left: 1 (31 enodes) 1552470030.365 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.365 * * [simplify]: Extracting #1: cost 11 inf + 0 1552470030.365 * * [simplify]: Extracting #2: cost 28 inf + 0 1552470030.365 * * [simplify]: Extracting #3: cost 29 inf + 324 1552470030.366 * * [simplify]: Extracting #4: cost 22 inf + 6266 1552470030.367 * * [simplify]: Extracting #5: cost 3 inf + 23256 1552470030.369 * * [simplify]: Extracting #6: cost 0 inf + 26382 1552470030.371 * * [simplify]: Extracting #7: cost 0 inf + 25822 1552470030.373 * [simplify]: Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1552470030.373 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) 1552470030.373 * * * * [progress]: [ 19 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> 1552470030.373 * * * * [progress]: [ 20 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> 1552470030.373 * * * * [progress]: [ 21 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))> 1552470030.374 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552470030.374 * * [simplify]: iters left: 2 (4 enodes) 1552470030.375 * * [simplify]: iters left: 1 (10 enodes) 1552470030.378 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.378 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470030.378 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470030.378 * * [simplify]: Extracting #3: cost 0 inf + 45 1552470030.378 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552470030.378 * [simplify]: Simplified (2 2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))))) 1552470030.378 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552470030.379 * * [simplify]: iters left: 2 (4 enodes) 1552470030.380 * * [simplify]: iters left: 1 (16 enodes) 1552470030.383 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.383 * * [simplify]: Extracting #1: cost 6 inf + 0 1552470030.383 * * [simplify]: Extracting #2: cost 11 inf + 1 1552470030.383 * * [simplify]: Extracting #3: cost 11 inf + 323 1552470030.383 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552470030.383 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552470030.383 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552470030.383 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552470030.383 * [simplify]: Simplified (2 2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))) 1552470030.383 * * * * [progress]: [ 22 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))> 1552470030.384 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552470030.384 * * [simplify]: iters left: 2 (4 enodes) 1552470030.385 * * [simplify]: iters left: 1 (10 enodes) 1552470030.387 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.387 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470030.387 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470030.387 * * [simplify]: Extracting #3: cost 0 inf + 45 1552470030.387 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552470030.387 * [simplify]: Simplified (2 2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))))) 1552470030.387 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552470030.387 * * [simplify]: iters left: 2 (4 enodes) 1552470030.388 * * [simplify]: iters left: 1 (16 enodes) 1552470030.391 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.391 * * [simplify]: Extracting #1: cost 6 inf + 0 1552470030.391 * * [simplify]: Extracting #2: cost 11 inf + 1 1552470030.391 * * [simplify]: Extracting #3: cost 11 inf + 323 1552470030.391 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552470030.392 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552470030.392 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552470030.392 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552470030.392 * [simplify]: Simplified (2 2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))) 1552470030.392 * * * * [progress]: [ 23 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))> 1552470030.392 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552470030.392 * * [simplify]: iters left: 2 (4 enodes) 1552470030.393 * * [simplify]: iters left: 1 (10 enodes) 1552470030.395 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.395 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470030.395 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470030.395 * * [simplify]: Extracting #3: cost 0 inf + 45 1552470030.395 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552470030.395 * [simplify]: Simplified (2 2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))))) 1552470030.396 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552470030.396 * * [simplify]: iters left: 2 (4 enodes) 1552470030.397 * * [simplify]: iters left: 1 (16 enodes) 1552470030.400 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.400 * * [simplify]: Extracting #1: cost 6 inf + 0 1552470030.400 * * [simplify]: Extracting #2: cost 11 inf + 1 1552470030.400 * * [simplify]: Extracting #3: cost 11 inf + 323 1552470030.400 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552470030.400 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552470030.400 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552470030.400 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552470030.401 * [simplify]: Simplified (2 2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))) 1552470030.401 * * * * [progress]: [ 24 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))> 1552470030.401 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1552470030.401 * * [simplify]: iters left: 2 (4 enodes) 1552470030.402 * * [simplify]: iters left: 1 (10 enodes) 1552470030.404 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.404 * * [simplify]: Extracting #1: cost 3 inf + 0 1552470030.404 * * [simplify]: Extracting #2: cost 3 inf + 1 1552470030.404 * * [simplify]: Extracting #3: cost 0 inf + 45 1552470030.404 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1552470030.404 * [simplify]: Simplified (2 2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))))) 1552470030.404 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1552470030.404 * * [simplify]: iters left: 2 (4 enodes) 1552470030.405 * * [simplify]: iters left: 1 (16 enodes) 1552470030.408 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.408 * * [simplify]: Extracting #1: cost 6 inf + 0 1552470030.408 * * [simplify]: Extracting #2: cost 11 inf + 1 1552470030.408 * * [simplify]: Extracting #3: cost 11 inf + 323 1552470030.408 * * [simplify]: Extracting #4: cost 5 inf + 1491 1552470030.409 * * [simplify]: Extracting #5: cost 1 inf + 3657 1552470030.409 * * [simplify]: Extracting #6: cost 0 inf + 5019 1552470030.409 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1552470030.409 * [simplify]: Simplified (2 2 2 2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1)))))) 1552470030.409 * * * * [progress]: [ 25 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (*.p16 x x) (neg.p16 (*.p16 (real->posit16 1) (real->posit16 1)))))))> 1552470030.409 * * * * [progress]: [ 26 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))))> 1552470030.409 * * * * [progress]: [ 27 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> 1552470030.409 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552470030.409 * * [simplify]: iters left: 3 (5 enodes) 1552470030.411 * * [simplify]: iters left: 2 (17 enodes) 1552470030.415 * * [simplify]: iters left: 1 (21 enodes) 1552470030.421 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.421 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470030.421 * * [simplify]: Extracting #2: cost 7 inf + 0 1552470030.421 * * [simplify]: Extracting #3: cost 5 inf + 2 1552470030.421 * * [simplify]: Extracting #4: cost 0 inf + 1050 1552470030.422 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552470030.422 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) 1552470030.422 * * * * [progress]: [ 28 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> 1552470030.422 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552470030.422 * * [simplify]: iters left: 3 (5 enodes) 1552470030.425 * * [simplify]: iters left: 2 (17 enodes) 1552470030.432 * * [simplify]: iters left: 1 (21 enodes) 1552470030.436 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.436 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470030.436 * * [simplify]: Extracting #2: cost 7 inf + 0 1552470030.436 * * [simplify]: Extracting #3: cost 5 inf + 2 1552470030.436 * * [simplify]: Extracting #4: cost 0 inf + 1050 1552470030.436 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552470030.436 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) 1552470030.436 * * * * [progress]: [ 29 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> 1552470030.436 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552470030.436 * * [simplify]: iters left: 3 (5 enodes) 1552470030.438 * * [simplify]: iters left: 2 (17 enodes) 1552470030.441 * * [simplify]: iters left: 1 (21 enodes) 1552470030.444 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.444 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470030.444 * * [simplify]: Extracting #2: cost 7 inf + 0 1552470030.444 * * [simplify]: Extracting #3: cost 5 inf + 2 1552470030.444 * * [simplify]: Extracting #4: cost 0 inf + 1050 1552470030.444 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552470030.444 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) 1552470030.445 * * * * [progress]: [ 30 / 30 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> 1552470030.445 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1552470030.445 * * [simplify]: iters left: 3 (5 enodes) 1552470030.446 * * [simplify]: iters left: 2 (17 enodes) 1552470030.449 * * [simplify]: iters left: 1 (21 enodes) 1552470030.452 * * [simplify]: Extracting #0: cost 1 inf + 0 1552470030.452 * * [simplify]: Extracting #1: cost 5 inf + 0 1552470030.452 * * [simplify]: Extracting #2: cost 7 inf + 0 1552470030.452 * * [simplify]: Extracting #3: cost 5 inf + 2 1552470030.453 * * [simplify]: Extracting #4: cost 0 inf + 1050 1552470030.453 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1552470030.453 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))))) 1552470030.453 * * * [progress]: adding candidates to table 1552470032.547 * [progress]: [Phase 3 of 3] Extracting. 1552470032.547 * * [regime]: Finding splitpoints for: (#posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1))))))> #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))>) 1552470032.549 * * * [regime-changes]: Trying 1 branch expressions: (x) 1552470032.549 * * * * [regimes]: Trying to branch on x from (#posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) (+.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) (+.p16 x (real->posit16 1))))))> #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 (real->posit16 1) (real->posit16 1))))) (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))))))> #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))>) 1552470032.935 * * * [regime]: Found split indices: #