1553935277.712 * [progress]: [Phase 1 of 3] Setting up. 1553935277.712 * * * [progress]: [1/2] Preparing points 1553935277.712 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1553935277.713 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1553935277.716 * * * * [points]: Setting MPFR precision to 64 1553935277.718 * * * * [points]: Setting MPFR precision to 320 1553935277.719 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1553935277.722 * * * * [points]: Setting MPFR precision to 64 1553935277.724 * * * * [points]: Setting MPFR precision to 320 1553935277.727 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1553935277.731 * * * * [points]: Setting MPFR precision to 64 1553935277.735 * * * * [points]: Setting MPFR precision to 320 1553935277.741 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1553935277.745 * * * * [points]: Setting MPFR precision to 64 1553935277.750 * * * * [points]: Setting MPFR precision to 320 1553935277.755 * * * * [points]: Computing exacts for 256 points 1553935277.758 * * * * [points]: Setting MPFR precision to 64 1553935277.771 * * * * [points]: Setting MPFR precision to 320 1553935277.789 * * * * [points]: Filtering points with unrepresentable outputs 1553935277.800 * * * * [points]: Sampled 256 points with exact outputs 1553935277.800 * * * [progress]: [2/2] Setting up program. 1553935277.834 * [progress]: [Phase 2 of 3] Improving. 1553935277.834 * * * * [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)))))> 1553935277.834 * [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)))) 1553935277.834 * * [simplify]: iters left: 5 (12 enodes) 1553935277.837 * * [simplify]: iters left: 4 (35 enodes) 1553935277.860 * * [simplify]: iters left: 3 (83 enodes) 1553935277.880 * * [simplify]: iters left: 2 (233 enodes) 1553935277.970 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935277.970 * * [simplify]: Extracting #1: cost 29 inf + 0 1553935277.971 * * [simplify]: Extracting #2: cost 123 inf + 0 1553935277.971 * * [simplify]: Extracting #3: cost 244 inf + 1 1553935277.973 * * [simplify]: Extracting #4: cost 308 inf + 32857 1553935277.985 * * [simplify]: Extracting #5: cost 149 inf + 308686 1553935278.007 * * [simplify]: Extracting #6: cost 4 inf + 549893 1553935278.031 * * [simplify]: Extracting #7: cost 0 inf + 561504 1553935278.058 * [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))) 1553935278.058 * [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)))) 1553935278.085 * * [progress]: iteration 1 / 4 1553935278.085 * * * [progress]: picking best candidate 1553935278.119 * * * * [pick]: Picked #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> 1553935278.119 * * * [progress]: localizing error 1553935278.422 * * * [progress]: generating rewritten candidates 1553935278.422 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1553935278.433 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1553935278.436 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 1553935278.438 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 1553935278.440 * * * [progress]: generating series expansions 1553935278.440 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1553935278.440 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1553935278.440 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 1553935278.440 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 1553935278.440 * * * [progress]: simplifying candidates 1553935278.440 * * * * [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))))))> 1553935278.440 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553935278.440 * * [simplify]: iters left: 3 (5 enodes) 1553935278.442 * * [simplify]: iters left: 2 (11 enodes) 1553935278.443 * * [simplify]: iters left: 1 (13 enodes) 1553935278.445 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935278.445 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935278.445 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935278.446 * * [simplify]: Extracting #3: cost 3 inf + 2 1553935278.446 * * [simplify]: Extracting #4: cost 0 inf + 527 1553935278.446 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553935278.446 * [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)))))) 1553935278.446 * * * * [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))))))> 1553935278.446 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553935278.446 * * [simplify]: iters left: 3 (5 enodes) 1553935278.447 * * [simplify]: iters left: 2 (11 enodes) 1553935278.449 * * [simplify]: iters left: 1 (13 enodes) 1553935278.451 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935278.451 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935278.451 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935278.451 * * [simplify]: Extracting #3: cost 3 inf + 2 1553935278.451 * * [simplify]: Extracting #4: cost 0 inf + 527 1553935278.451 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553935278.451 * [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)))))) 1553935278.451 * * * * [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))))> 1553935278.451 * * * * [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)))))> 1553935278.451 * * * * [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)))))> 1553935278.451 * * * * [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)))))> 1553935278.452 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1553935278.452 * * [simplify]: iters left: 2 (4 enodes) 1553935278.453 * * [simplify]: iters left: 1 (10 enodes) 1553935278.454 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935278.454 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935278.454 * * [simplify]: Extracting #2: cost 3 inf + 1 1553935278.454 * * [simplify]: Extracting #3: cost 0 inf + 45 1553935278.454 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1553935278.454 * [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)))) 1553935278.455 * * * * [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)))))> 1553935278.455 * [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)))) 1553935278.455 * * [simplify]: iters left: 5 (12 enodes) 1553935278.457 * * [simplify]: iters left: 4 (35 enodes) 1553935278.469 * * [simplify]: iters left: 3 (83 enodes) 1553935278.485 * * [simplify]: iters left: 2 (233 enodes) 1553935278.562 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935278.562 * * [simplify]: Extracting #1: cost 29 inf + 0 1553935278.562 * * [simplify]: Extracting #2: cost 123 inf + 0 1553935278.563 * * [simplify]: Extracting #3: cost 244 inf + 1 1553935278.566 * * [simplify]: Extracting #4: cost 308 inf + 32857 1553935278.587 * * [simplify]: Extracting #5: cost 149 inf + 308686 1553935278.625 * * [simplify]: Extracting #6: cost 4 inf + 549893 1553935278.653 * * [simplify]: Extracting #7: cost 0 inf + 561504 1553935278.679 * [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))) 1553935278.679 * [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)))) 1553935278.679 * * * * [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)))))> 1553935278.680 * [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)))) 1553935278.681 * * [simplify]: iters left: 5 (12 enodes) 1553935278.685 * * [simplify]: iters left: 4 (35 enodes) 1553935278.692 * * [simplify]: iters left: 3 (83 enodes) 1553935278.708 * * [simplify]: iters left: 2 (233 enodes) 1553935278.811 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935278.811 * * [simplify]: Extracting #1: cost 29 inf + 0 1553935278.812 * * [simplify]: Extracting #2: cost 123 inf + 0 1553935278.813 * * [simplify]: Extracting #3: cost 244 inf + 1 1553935278.816 * * [simplify]: Extracting #4: cost 308 inf + 32857 1553935278.837 * * [simplify]: Extracting #5: cost 149 inf + 308686 1553935278.874 * * [simplify]: Extracting #6: cost 4 inf + 549893 1553935278.910 * * [simplify]: Extracting #7: cost 0 inf + 561504 1553935278.948 * [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))) 1553935278.948 * [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)))) 1553935278.948 * * * * [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)))))> 1553935278.948 * [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)))) 1553935278.948 * * [simplify]: iters left: 5 (12 enodes) 1553935278.953 * * [simplify]: iters left: 4 (35 enodes) 1553935278.963 * * [simplify]: iters left: 3 (83 enodes) 1553935278.994 * * [simplify]: iters left: 2 (233 enodes) 1553935279.103 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935279.103 * * [simplify]: Extracting #1: cost 29 inf + 0 1553935279.107 * * [simplify]: Extracting #2: cost 123 inf + 0 1553935279.108 * * [simplify]: Extracting #3: cost 244 inf + 1 1553935279.110 * * [simplify]: Extracting #4: cost 308 inf + 32857 1553935279.122 * * [simplify]: Extracting #5: cost 149 inf + 308686 1553935279.151 * * [simplify]: Extracting #6: cost 4 inf + 549893 1553935279.183 * * [simplify]: Extracting #7: cost 0 inf + 561504 1553935279.219 * [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))) 1553935279.219 * [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)))) 1553935279.219 * * * * [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)))))> 1553935279.219 * [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)))) 1553935279.219 * * [simplify]: iters left: 5 (12 enodes) 1553935279.224 * * [simplify]: iters left: 4 (35 enodes) 1553935279.232 * * [simplify]: iters left: 3 (83 enodes) 1553935279.250 * * [simplify]: iters left: 2 (233 enodes) 1553935279.329 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935279.329 * * [simplify]: Extracting #1: cost 29 inf + 0 1553935279.329 * * [simplify]: Extracting #2: cost 123 inf + 0 1553935279.330 * * [simplify]: Extracting #3: cost 244 inf + 1 1553935279.332 * * [simplify]: Extracting #4: cost 308 inf + 32857 1553935279.343 * * [simplify]: Extracting #5: cost 149 inf + 308686 1553935279.372 * * [simplify]: Extracting #6: cost 4 inf + 549893 1553935279.403 * * [simplify]: Extracting #7: cost 0 inf + 561504 1553935279.438 * [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))) 1553935279.438 * [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)))) 1553935279.444 * * * [progress]: adding candidates to table 1553935279.978 * * [progress]: iteration 2 / 4 1553935279.979 * * * [progress]: picking best candidate 1553935280.042 * * * * [pick]: Picked #posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1553935280.042 * * * [progress]: localizing error 1553935280.338 * * * [progress]: generating rewritten candidates 1553935280.338 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1553935280.342 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1553935280.346 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 1553935280.349 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1553935280.352 * * * [progress]: generating series expansions 1553935280.352 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1553935280.352 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1553935280.352 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 1553935280.352 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1553935280.352 * * * [progress]: simplifying candidates 1553935280.352 * * * * [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))))))> 1553935280.352 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) 1553935280.352 * * [simplify]: iters left: 4 (6 enodes) 1553935280.355 * * [simplify]: iters left: 3 (18 enodes) 1553935280.359 * * [simplify]: iters left: 2 (32 enodes) 1553935280.368 * * [simplify]: iters left: 1 (80 enodes) 1553935280.394 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935280.394 * * [simplify]: Extracting #1: cost 2 inf + 0 1553935280.394 * * [simplify]: Extracting #2: cost 23 inf + 0 1553935280.394 * * [simplify]: Extracting #3: cost 71 inf + 0 1553935280.394 * * [simplify]: Extracting #4: cost 96 inf + 405 1553935280.396 * * [simplify]: Extracting #5: cost 67 inf + 28805 1553935280.400 * * [simplify]: Extracting #6: cost 13 inf + 98338 1553935280.405 * * [simplify]: Extracting #7: cost 1 inf + 114359 1553935280.409 * * [simplify]: Extracting #8: cost 0 inf + 115761 1553935280.413 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) 1553935280.413 * [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)))))) 1553935280.414 * * * * [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)))))> 1553935280.414 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1553935280.414 * * [simplify]: iters left: 3 (5 enodes) 1553935280.415 * * [simplify]: iters left: 2 (17 enodes) 1553935280.418 * * [simplify]: iters left: 1 (31 enodes) 1553935280.424 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935280.424 * * [simplify]: Extracting #1: cost 11 inf + 0 1553935280.424 * * [simplify]: Extracting #2: cost 28 inf + 0 1553935280.424 * * [simplify]: Extracting #3: cost 29 inf + 324 1553935280.424 * * [simplify]: Extracting #4: cost 22 inf + 6266 1553935280.425 * * [simplify]: Extracting #5: cost 3 inf + 23256 1553935280.426 * * [simplify]: Extracting #6: cost 0 inf + 26382 1553935280.427 * * [simplify]: Extracting #7: cost 0 inf + 25822 1553935280.428 * [simplify]: Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1553935280.428 * [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))))) 1553935280.428 * * * * [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)))))))> 1553935280.429 * * * * [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)))))))> 1553935280.429 * * * * [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)))))))> 1553935280.429 * * * * [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)))))))> 1553935280.429 * * * * [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))))))> 1553935280.429 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1553935280.429 * * [simplify]: iters left: 2 (4 enodes) 1553935280.431 * * [simplify]: iters left: 1 (10 enodes) 1553935280.433 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935280.433 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935280.433 * * [simplify]: Extracting #2: cost 3 inf + 1 1553935280.433 * * [simplify]: Extracting #3: cost 0 inf + 45 1553935280.433 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1553935280.433 * [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))))) 1553935280.434 * * * * [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))))))> 1553935280.434 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553935280.434 * * [simplify]: iters left: 3 (5 enodes) 1553935280.436 * * [simplify]: iters left: 2 (11 enodes) 1553935280.438 * * [simplify]: iters left: 1 (13 enodes) 1553935280.440 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935280.440 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935280.440 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935280.440 * * [simplify]: Extracting #3: cost 3 inf + 2 1553935280.440 * * [simplify]: Extracting #4: cost 0 inf + 527 1553935280.440 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553935280.440 * [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)))))) 1553935280.440 * * * * [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))))))> 1553935280.440 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553935280.440 * * [simplify]: iters left: 3 (5 enodes) 1553935280.441 * * [simplify]: iters left: 2 (11 enodes) 1553935280.443 * * [simplify]: iters left: 1 (13 enodes) 1553935280.445 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935280.445 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935280.445 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935280.445 * * [simplify]: Extracting #3: cost 3 inf + 2 1553935280.445 * * [simplify]: Extracting #4: cost 0 inf + 527 1553935280.445 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553935280.445 * [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)))))) 1553935280.445 * * * * [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))))))> 1553935280.445 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553935280.445 * * [simplify]: iters left: 3 (5 enodes) 1553935280.447 * * [simplify]: iters left: 2 (11 enodes) 1553935280.448 * * [simplify]: iters left: 1 (13 enodes) 1553935280.450 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935280.450 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935280.450 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935280.450 * * [simplify]: Extracting #3: cost 3 inf + 2 1553935280.450 * * [simplify]: Extracting #4: cost 0 inf + 527 1553935280.450 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553935280.450 * [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)))))) 1553935280.451 * * * * [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))))))> 1553935280.451 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553935280.451 * * [simplify]: iters left: 3 (5 enodes) 1553935280.452 * * [simplify]: iters left: 2 (11 enodes) 1553935280.454 * * [simplify]: iters left: 1 (13 enodes) 1553935280.456 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935280.456 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935280.456 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935280.456 * * [simplify]: Extracting #3: cost 3 inf + 2 1553935280.456 * * [simplify]: Extracting #4: cost 0 inf + 527 1553935280.456 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553935280.456 * [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)))))) 1553935280.456 * * * [progress]: adding candidates to table 1553935280.874 * * [progress]: iteration 3 / 4 1553935280.874 * * * [progress]: picking best candidate 1553935280.990 * * * * [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)))))> 1553935280.990 * * * [progress]: localizing error 1553935281.410 * * * [progress]: generating rewritten candidates 1553935281.410 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1553935281.422 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1553935281.424 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1553935281.434 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1553935281.436 * * * [progress]: generating series expansions 1553935281.436 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1553935281.436 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1553935281.436 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1553935281.436 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1553935281.436 * * * [progress]: simplifying candidates 1553935281.436 * * * * [progress]: [ 1 / 18 ] 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))))> 1553935281.436 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1)) 1553935281.436 * * [simplify]: iters left: 5 (8 enodes) 1553935281.439 * * [simplify]: iters left: 4 (25 enodes) 1553935281.444 * * [simplify]: iters left: 3 (62 enodes) 1553935281.457 * * [simplify]: iters left: 2 (193 enodes) 1553935281.534 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935281.535 * * [simplify]: Extracting #1: cost 65 inf + 0 1553935281.535 * * [simplify]: Extracting #2: cost 241 inf + 0 1553935281.537 * * [simplify]: Extracting #3: cost 260 inf + 43096 1553935281.547 * * [simplify]: Extracting #4: cost 122 inf + 266467 1553935281.577 * * [simplify]: Extracting #5: cost 18 inf + 464771 1553935281.609 * * [simplify]: Extracting #6: cost 0 inf + 502437 1553935281.640 * * [simplify]: Extracting #7: cost 0 inf + 501277 1553935281.671 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) 1553935281.671 * [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)))))) 1553935281.671 * * * * [progress]: [ 2 / 18 ] 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)))))))> 1553935281.671 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) 1553935281.672 * * [simplify]: iters left: 5 (8 enodes) 1553935281.675 * * [simplify]: iters left: 4 (25 enodes) 1553935281.682 * * [simplify]: iters left: 3 (62 enodes) 1553935281.700 * * [simplify]: iters left: 2 (193 enodes) 1553935281.812 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935281.812 * * [simplify]: Extracting #1: cost 65 inf + 0 1553935281.813 * * [simplify]: Extracting #2: cost 241 inf + 0 1553935281.816 * * [simplify]: Extracting #3: cost 260 inf + 43096 1553935281.830 * * [simplify]: Extracting #4: cost 122 inf + 266467 1553935281.859 * * [simplify]: Extracting #5: cost 18 inf + 464771 1553935281.892 * * [simplify]: Extracting #6: cost 0 inf + 502437 1553935281.927 * * [simplify]: Extracting #7: cost 0 inf + 501277 1553935281.952 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) 1553935281.952 * [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)))))) 1553935281.952 * * * * [progress]: [ 3 / 18 ] 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))))))> 1553935281.952 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553935281.952 * * [simplify]: iters left: 3 (5 enodes) 1553935281.954 * * [simplify]: iters left: 2 (11 enodes) 1553935281.956 * * [simplify]: iters left: 1 (13 enodes) 1553935281.958 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935281.958 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935281.958 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935281.958 * * [simplify]: Extracting #3: cost 3 inf + 2 1553935281.958 * * [simplify]: Extracting #4: cost 0 inf + 527 1553935281.958 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553935281.958 * [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)))))) 1553935281.959 * * * * [progress]: [ 4 / 18 ] 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))))))> 1553935281.959 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553935281.959 * * [simplify]: iters left: 3 (5 enodes) 1553935281.960 * * [simplify]: iters left: 2 (11 enodes) 1553935281.962 * * [simplify]: iters left: 1 (13 enodes) 1553935281.964 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935281.964 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935281.964 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935281.964 * * [simplify]: Extracting #3: cost 3 inf + 2 1553935281.964 * * [simplify]: Extracting #4: cost 0 inf + 527 1553935281.964 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553935281.964 * [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)))))) 1553935281.964 * * * * [progress]: [ 5 / 18 ] 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))))> 1553935281.964 * * * * [progress]: [ 6 / 18 ] 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)))))> 1553935281.964 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1)) 1553935281.964 * * [simplify]: iters left: 5 (8 enodes) 1553935281.966 * * [simplify]: iters left: 4 (25 enodes) 1553935281.971 * * [simplify]: iters left: 3 (62 enodes) 1553935281.984 * * [simplify]: iters left: 2 (193 enodes) 1553935282.067 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935282.068 * * [simplify]: Extracting #1: cost 65 inf + 0 1553935282.068 * * [simplify]: Extracting #2: cost 241 inf + 0 1553935282.070 * * [simplify]: Extracting #3: cost 260 inf + 43096 1553935282.080 * * [simplify]: Extracting #4: cost 122 inf + 266467 1553935282.100 * * [simplify]: Extracting #5: cost 18 inf + 464771 1553935282.121 * * [simplify]: Extracting #6: cost 0 inf + 502437 1553935282.143 * * [simplify]: Extracting #7: cost 0 inf + 501277 1553935282.165 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) 1553935282.166 * [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))))))) 1553935282.166 * * * * [progress]: [ 7 / 18 ] 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))))))))> 1553935282.166 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) 1553935282.166 * * [simplify]: iters left: 5 (8 enodes) 1553935282.168 * * [simplify]: iters left: 4 (25 enodes) 1553935282.174 * * [simplify]: iters left: 3 (62 enodes) 1553935282.189 * * [simplify]: iters left: 2 (193 enodes) 1553935282.292 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935282.292 * * [simplify]: Extracting #1: cost 65 inf + 0 1553935282.293 * * [simplify]: Extracting #2: cost 241 inf + 0 1553935282.296 * * [simplify]: Extracting #3: cost 260 inf + 43096 1553935282.311 * * [simplify]: Extracting #4: cost 122 inf + 266467 1553935282.344 * * [simplify]: Extracting #5: cost 18 inf + 464771 1553935282.375 * * [simplify]: Extracting #6: cost 0 inf + 502437 1553935282.408 * * [simplify]: Extracting #7: cost 0 inf + 501277 1553935282.439 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) 1553935282.440 * [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))))))) 1553935282.440 * * * * [progress]: [ 8 / 18 ] 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))))))> 1553935282.440 * [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))))) 1553935282.440 * * [simplify]: iters left: 5 (9 enodes) 1553935282.444 * * [simplify]: iters left: 4 (32 enodes) 1553935282.450 * * [simplify]: iters left: 3 (76 enodes) 1553935282.475 * * [simplify]: iters left: 2 (239 enodes) 1553935282.611 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935282.612 * * [simplify]: Extracting #1: cost 46 inf + 0 1553935282.612 * * [simplify]: Extracting #2: cost 215 inf + 0 1553935282.615 * * [simplify]: Extracting #3: cost 259 inf + 37842 1553935282.633 * * [simplify]: Extracting #4: cost 141 inf + 336186 1553935282.676 * * [simplify]: Extracting #5: cost 28 inf + 595296 1553935282.726 * * [simplify]: Extracting #6: cost 1 inf + 655569 1553935282.775 * * [simplify]: Extracting #7: cost 0 inf + 659011 1553935282.817 * [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))))) 1553935282.817 * [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)))))) 1553935282.817 * * * * [progress]: [ 9 / 18 ] 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))))))> 1553935282.817 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553935282.817 * * [simplify]: iters left: 3 (5 enodes) 1553935282.821 * * [simplify]: iters left: 2 (17 enodes) 1553935282.824 * * [simplify]: iters left: 1 (21 enodes) 1553935282.826 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935282.826 * * [simplify]: Extracting #1: cost 5 inf + 0 1553935282.826 * * [simplify]: Extracting #2: cost 7 inf + 0 1553935282.826 * * [simplify]: Extracting #3: cost 5 inf + 2 1553935282.826 * * [simplify]: Extracting #4: cost 0 inf + 1050 1553935282.826 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553935282.827 * [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)))))) 1553935282.827 * * * * [progress]: [ 10 / 18 ] 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)))))))> 1553935282.827 * * * * [progress]: [ 11 / 18 ] 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)))))> 1553935282.827 * * * * [progress]: [ 12 / 18 ] 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)))))> 1553935282.827 * * * * [progress]: [ 13 / 18 ] 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)))))> 1553935282.827 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1553935282.827 * * [simplify]: iters left: 2 (4 enodes) 1553935282.828 * * [simplify]: iters left: 1 (16 enodes) 1553935282.831 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935282.831 * * [simplify]: Extracting #1: cost 6 inf + 0 1553935282.831 * * [simplify]: Extracting #2: cost 11 inf + 1 1553935282.831 * * [simplify]: Extracting #3: cost 11 inf + 323 1553935282.831 * * [simplify]: Extracting #4: cost 5 inf + 1491 1553935282.831 * * [simplify]: Extracting #5: cost 1 inf + 3657 1553935282.831 * * [simplify]: Extracting #6: cost 0 inf + 5019 1553935282.832 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1553935282.832 * [simplify]: Simplified (2 2 1 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))))) 1553935282.832 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (*.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 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))> 1553935282.832 * [simplify]: Simplifying (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) 1553935282.832 * * [simplify]: iters left: 3 (6 enodes) 1553935282.834 * * [simplify]: iters left: 2 (12 enodes) 1553935282.837 * * [simplify]: iters left: 1 (14 enodes) 1553935282.840 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935282.840 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935282.841 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935282.841 * * [simplify]: Extracting #3: cost 5 inf + 1 1553935282.841 * * [simplify]: Extracting #4: cost 0 inf + 1327 1553935282.841 * [simplify]: Simplified to (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x)) 1553935282.841 * [simplify]: Simplified (2 2 1 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 (*.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))) (+.p16 x (real->posit16 1))))) 1553935282.841 * * * * [progress]: [ 15 / 18 ] 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)))))> 1553935282.841 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1553935282.841 * * [simplify]: iters left: 2 (4 enodes) 1553935282.843 * * [simplify]: iters left: 1 (10 enodes) 1553935282.845 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935282.845 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935282.845 * * [simplify]: Extracting #2: cost 3 inf + 1 1553935282.845 * * [simplify]: Extracting #3: cost 0 inf + 45 1553935282.845 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1553935282.845 * [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)))) 1553935282.845 * * * * [progress]: [ 16 / 18 ] 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)))))> 1553935282.846 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1553935282.846 * * [simplify]: iters left: 2 (4 enodes) 1553935282.848 * * [simplify]: iters left: 1 (10 enodes) 1553935282.850 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935282.850 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935282.850 * * [simplify]: Extracting #2: cost 3 inf + 1 1553935282.850 * * [simplify]: Extracting #3: cost 0 inf + 45 1553935282.850 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1553935282.850 * [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)))) 1553935282.850 * * * * [progress]: [ 17 / 18 ] 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)))))> 1553935282.851 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1553935282.851 * * [simplify]: iters left: 2 (4 enodes) 1553935282.852 * * [simplify]: iters left: 1 (10 enodes) 1553935282.854 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935282.855 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935282.855 * * [simplify]: Extracting #2: cost 3 inf + 1 1553935282.855 * * [simplify]: Extracting #3: cost 0 inf + 45 1553935282.855 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1553935282.855 * [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)))) 1553935282.855 * * * * [progress]: [ 18 / 18 ] 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)))))> 1553935282.855 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1553935282.855 * * [simplify]: iters left: 2 (4 enodes) 1553935282.857 * * [simplify]: iters left: 1 (10 enodes) 1553935282.859 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935282.859 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935282.859 * * [simplify]: Extracting #2: cost 3 inf + 1 1553935282.859 * * [simplify]: Extracting #3: cost 0 inf + 45 1553935282.859 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1553935282.859 * [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)))) 1553935282.859 * * * [progress]: adding candidates to table 1553935283.876 * * [progress]: iteration 4 / 4 1553935283.876 * * * [progress]: picking best candidate 1553935284.091 * * * * [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))))))> 1553935284.091 * * * [progress]: localizing error 1553935284.549 * * * [progress]: generating rewritten candidates 1553935284.549 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1553935284.568 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1553935284.573 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1553935284.578 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 1553935284.581 * * * [progress]: generating series expansions 1553935284.581 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1553935284.581 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1553935284.582 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1553935284.582 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 1553935284.582 * * * [progress]: simplifying candidates 1553935284.582 * * * * [progress]: [ 1 / 16 ] 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)))))))> 1553935284.582 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553935284.582 * * [simplify]: iters left: 3 (5 enodes) 1553935284.584 * * [simplify]: iters left: 2 (11 enodes) 1553935284.587 * * [simplify]: iters left: 1 (13 enodes) 1553935284.589 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935284.589 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935284.589 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935284.590 * * [simplify]: Extracting #3: cost 3 inf + 2 1553935284.590 * * [simplify]: Extracting #4: cost 0 inf + 527 1553935284.590 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553935284.590 * [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))))))) 1553935284.590 * * * * [progress]: [ 2 / 16 ] 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)))))))> 1553935284.590 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553935284.590 * * [simplify]: iters left: 3 (5 enodes) 1553935284.592 * * [simplify]: iters left: 2 (11 enodes) 1553935284.594 * * [simplify]: iters left: 1 (13 enodes) 1553935284.597 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935284.597 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935284.597 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935284.597 * * [simplify]: Extracting #3: cost 3 inf + 2 1553935284.597 * * [simplify]: Extracting #4: cost 0 inf + 527 1553935284.598 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553935284.598 * [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))))))) 1553935284.598 * * * * [progress]: [ 3 / 16 ] 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))))> 1553935284.598 * * * * [progress]: [ 4 / 16 ] 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)))))> 1553935284.598 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1553935284.598 * * [simplify]: iters left: 2 (4 enodes) 1553935284.600 * * [simplify]: iters left: 1 (16 enodes) 1553935284.604 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935284.604 * * [simplify]: Extracting #1: cost 6 inf + 0 1553935284.604 * * [simplify]: Extracting #2: cost 11 inf + 1 1553935284.604 * * [simplify]: Extracting #3: cost 11 inf + 323 1553935284.604 * * [simplify]: Extracting #4: cost 5 inf + 1491 1553935284.604 * * [simplify]: Extracting #5: cost 1 inf + 3657 1553935284.604 * * [simplify]: Extracting #6: cost 0 inf + 5019 1553935284.605 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1553935284.605 * [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))))) 1553935284.605 * * * * [progress]: [ 5 / 16 ] 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))))))> 1553935284.605 * [simplify]: Simplifying (real->posit16 1) 1553935284.605 * * [simplify]: iters left: 1 (2 enodes) 1553935284.606 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935284.606 * * [simplify]: Extracting #1: cost 2 inf + 0 1553935284.606 * * [simplify]: Extracting #2: cost 1 inf + 1 1553935284.606 * * [simplify]: Extracting #3: cost 0 inf + 2 1553935284.606 * [simplify]: Simplified to (real->posit16 1) 1553935284.606 * [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)))))) 1553935284.606 * * * * [progress]: [ 6 / 16 ] 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))))))> 1553935284.607 * [simplify]: Simplifying (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) 1553935284.607 * * [simplify]: iters left: 3 (6 enodes) 1553935284.609 * * [simplify]: iters left: 2 (12 enodes) 1553935284.612 * * [simplify]: iters left: 1 (14 enodes) 1553935284.620 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935284.620 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935284.620 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935284.620 * * [simplify]: Extracting #3: cost 5 inf + 1 1553935284.620 * * [simplify]: Extracting #4: cost 0 inf + 1327 1553935284.620 * [simplify]: Simplified to (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x)) 1553935284.620 * [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))))) 1553935284.620 * * * * [progress]: [ 7 / 16 ] 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))))))> 1553935284.620 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553935284.621 * * [simplify]: iters left: 3 (5 enodes) 1553935284.622 * * [simplify]: iters left: 2 (11 enodes) 1553935284.624 * * [simplify]: iters left: 1 (13 enodes) 1553935284.626 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935284.626 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935284.626 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935284.626 * * [simplify]: Extracting #3: cost 3 inf + 2 1553935284.626 * * [simplify]: Extracting #4: cost 0 inf + 527 1553935284.626 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553935284.626 * [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)))))) 1553935284.627 * [simplify]: Simplifying (/.p16 (+.p16 x (real->posit16 1)) (-.p16 x (real->posit16 1))) 1553935284.627 * * [simplify]: iters left: 3 (6 enodes) 1553935284.629 * * [simplify]: iters left: 2 (18 enodes) 1553935284.633 * * [simplify]: iters left: 1 (31 enodes) 1553935284.642 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935284.642 * * [simplify]: Extracting #1: cost 10 inf + 0 1553935284.642 * * [simplify]: Extracting #2: cost 26 inf + 0 1553935284.642 * * [simplify]: Extracting #3: cost 31 inf + 1 1553935284.642 * * [simplify]: Extracting #4: cost 35 inf + 323 1553935284.643 * * [simplify]: Extracting #5: cost 17 inf + 8069 1553935284.644 * * [simplify]: Extracting #6: cost 0 inf + 25900 1553935284.645 * [simplify]: Simplified to (/.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1))) 1553935284.646 * [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)))))) 1553935284.646 * * * * [progress]: [ 8 / 16 ] 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))))))> 1553935284.646 * * * * [progress]: [ 9 / 16 ] 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))))))> 1553935284.646 * * * * [progress]: [ 10 / 16 ] 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))))))> 1553935284.646 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1553935284.646 * * [simplify]: iters left: 2 (4 enodes) 1553935284.648 * * [simplify]: iters left: 1 (10 enodes) 1553935284.650 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935284.650 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935284.650 * * [simplify]: Extracting #2: cost 3 inf + 1 1553935284.650 * * [simplify]: Extracting #3: cost 0 inf + 45 1553935284.650 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1553935284.650 * [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)))))) 1553935284.650 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1553935284.651 * * [simplify]: iters left: 2 (4 enodes) 1553935284.652 * * [simplify]: iters left: 1 (16 enodes) 1553935284.656 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935284.656 * * [simplify]: Extracting #1: cost 6 inf + 0 1553935284.656 * * [simplify]: Extracting #2: cost 11 inf + 1 1553935284.656 * * [simplify]: Extracting #3: cost 11 inf + 323 1553935284.657 * * [simplify]: Extracting #4: cost 5 inf + 1491 1553935284.657 * * [simplify]: Extracting #5: cost 1 inf + 3657 1553935284.657 * * [simplify]: Extracting #6: cost 0 inf + 5019 1553935284.657 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1553935284.657 * [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)))))) 1553935284.658 * * * * [progress]: [ 11 / 16 ] 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)))))))> 1553935284.658 * * * * [progress]: [ 12 / 16 ] 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)))))))> 1553935284.658 * * * * [progress]: [ 13 / 16 ] 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))))))> 1553935284.658 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553935284.658 * * [simplify]: iters left: 3 (5 enodes) 1553935284.660 * * [simplify]: iters left: 2 (17 enodes) 1553935284.664 * * [simplify]: iters left: 1 (21 enodes) 1553935284.668 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935284.668 * * [simplify]: Extracting #1: cost 5 inf + 0 1553935284.668 * * [simplify]: Extracting #2: cost 7 inf + 0 1553935284.668 * * [simplify]: Extracting #3: cost 5 inf + 2 1553935284.669 * * [simplify]: Extracting #4: cost 0 inf + 1050 1553935284.669 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553935284.669 * [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)))))) 1553935284.669 * * * * [progress]: [ 14 / 16 ] 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))))))> 1553935284.669 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553935284.669 * * [simplify]: iters left: 3 (5 enodes) 1553935284.671 * * [simplify]: iters left: 2 (17 enodes) 1553935284.675 * * [simplify]: iters left: 1 (21 enodes) 1553935284.679 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935284.680 * * [simplify]: Extracting #1: cost 5 inf + 0 1553935284.680 * * [simplify]: Extracting #2: cost 7 inf + 0 1553935284.680 * * [simplify]: Extracting #3: cost 5 inf + 2 1553935284.680 * * [simplify]: Extracting #4: cost 0 inf + 1050 1553935284.680 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553935284.680 * [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)))))) 1553935284.680 * * * * [progress]: [ 15 / 16 ] 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))))))> 1553935284.680 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553935284.680 * * [simplify]: iters left: 3 (5 enodes) 1553935284.682 * * [simplify]: iters left: 2 (17 enodes) 1553935284.687 * * [simplify]: iters left: 1 (21 enodes) 1553935284.691 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935284.691 * * [simplify]: Extracting #1: cost 5 inf + 0 1553935284.691 * * [simplify]: Extracting #2: cost 7 inf + 0 1553935284.691 * * [simplify]: Extracting #3: cost 5 inf + 2 1553935284.691 * * [simplify]: Extracting #4: cost 0 inf + 1050 1553935284.691 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553935284.691 * [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)))))) 1553935284.691 * * * * [progress]: [ 16 / 16 ] 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))))))> 1553935284.692 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553935284.692 * * [simplify]: iters left: 3 (5 enodes) 1553935284.694 * * [simplify]: iters left: 2 (17 enodes) 1553935284.698 * * [simplify]: iters left: 1 (21 enodes) 1553935284.702 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935284.702 * * [simplify]: Extracting #1: cost 5 inf + 0 1553935284.702 * * [simplify]: Extracting #2: cost 7 inf + 0 1553935284.702 * * [simplify]: Extracting #3: cost 5 inf + 2 1553935284.702 * * [simplify]: Extracting #4: cost 0 inf + 1050 1553935284.702 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553935284.703 * [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)))))) 1553935284.703 * * * [progress]: adding candidates to table 1553935285.647 * [progress]: [Phase 3 of 3] Extracting. 1553935285.647 * * [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 (real->posit16 1) (-.p16 x (real->posit16 1)))))> #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))))))> #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 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)))))))> #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 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (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)))))))> #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 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 (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 (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)))))))>) 1553935285.650 * * * [regime-changes]: Trying 1 branch expressions: (x) 1553935285.650 * * * * [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 (real->posit16 1) (-.p16 x (real->posit16 1)))))> #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))))))> #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 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)))))))> #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 2) x)) (*.p16 (/.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 x (real->posit16 1))) (+.p16 x (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)))))))> #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 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 (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 (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)))))))>) 1553935286.172 * * * [regime]: Found split indices: #