1553863147.811 * [progress]: [Phase 1 of 3] Setting up. 1553863147.811 * * * [progress]: [1/2] Preparing points 1553863147.811 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1553863147.812 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1553863147.816 * * * * [points]: Setting MPFR precision to 64 1553863147.817 * * * * [points]: Setting MPFR precision to 320 1553863147.819 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1553863147.824 * * * * [points]: Setting MPFR precision to 64 1553863147.827 * * * * [points]: Setting MPFR precision to 320 1553863147.830 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1553863147.835 * * * * [points]: Setting MPFR precision to 64 1553863147.839 * * * * [points]: Setting MPFR precision to 320 1553863147.843 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1553863147.846 * * * * [points]: Setting MPFR precision to 64 1553863147.850 * * * * [points]: Setting MPFR precision to 320 1553863147.856 * * * * [points]: Computing exacts for 256 points 1553863147.858 * * * * [points]: Setting MPFR precision to 64 1553863147.872 * * * * [points]: Setting MPFR precision to 320 1553863147.902 * * * * [points]: Filtering points with unrepresentable outputs 1553863147.937 * * * * [points]: Sampled 256 points with exact outputs 1553863147.937 * * * [progress]: [2/2] Setting up program. 1553863147.979 * [progress]: [Phase 2 of 3] Improving. 1553863147.979 * * * * [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)))))> 1553863147.979 * [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)))) 1553863147.980 * * [simplify]: iters left: 5 (12 enodes) 1553863147.986 * * [simplify]: iters left: 4 (35 enodes) 1553863147.999 * * [simplify]: iters left: 3 (83 enodes) 1553863148.021 * * [simplify]: iters left: 2 (233 enodes) 1553863148.094 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863148.094 * * [simplify]: Extracting #1: cost 29 inf + 0 1553863148.094 * * [simplify]: Extracting #2: cost 123 inf + 0 1553863148.095 * * [simplify]: Extracting #3: cost 244 inf + 1 1553863148.097 * * [simplify]: Extracting #4: cost 308 inf + 32857 1553863148.110 * * [simplify]: Extracting #5: cost 149 inf + 308686 1553863148.137 * * [simplify]: Extracting #6: cost 4 inf + 549893 1553863148.165 * * [simplify]: Extracting #7: cost 0 inf + 561504 1553863148.212 * [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))) 1553863148.212 * [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)))) 1553863148.255 * * [progress]: iteration 1 / 4 1553863148.255 * * * [progress]: picking best candidate 1553863148.296 * * * * [pick]: Picked #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> 1553863148.296 * * * [progress]: localizing error 1553863148.587 * * * [progress]: generating rewritten candidates 1553863148.588 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1553863148.600 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1553863148.609 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1553863148.611 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1553863148.613 * * * [progress]: generating series expansions 1553863148.614 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1553863148.614 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1553863148.614 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1553863148.614 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1553863148.614 * * * [progress]: simplifying candidates 1553863148.614 * * * * [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))))))> 1553863148.614 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553863148.614 * * [simplify]: iters left: 3 (5 enodes) 1553863148.617 * * [simplify]: iters left: 2 (11 enodes) 1553863148.619 * * [simplify]: iters left: 1 (13 enodes) 1553863148.621 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863148.621 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863148.621 * * [simplify]: Extracting #2: cost 5 inf + 0 1553863148.621 * * [simplify]: Extracting #3: cost 3 inf + 2 1553863148.621 * * [simplify]: Extracting #4: cost 0 inf + 527 1553863148.621 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553863148.621 * [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)))))) 1553863148.621 * * * * [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))))))> 1553863148.621 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553863148.621 * * [simplify]: iters left: 3 (5 enodes) 1553863148.623 * * [simplify]: iters left: 2 (11 enodes) 1553863148.625 * * [simplify]: iters left: 1 (13 enodes) 1553863148.627 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863148.627 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863148.627 * * [simplify]: Extracting #2: cost 5 inf + 0 1553863148.627 * * [simplify]: Extracting #3: cost 3 inf + 2 1553863148.627 * * [simplify]: Extracting #4: cost 0 inf + 527 1553863148.627 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553863148.627 * [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)))))) 1553863148.627 * * * * [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))))> 1553863148.627 * * * * [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)))))> 1553863148.627 * * * * [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)))))> 1553863148.627 * * * * [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)))))> 1553863148.627 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1553863148.627 * * [simplify]: iters left: 2 (4 enodes) 1553863148.629 * * [simplify]: iters left: 1 (10 enodes) 1553863148.630 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863148.630 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863148.630 * * [simplify]: Extracting #2: cost 3 inf + 1 1553863148.631 * * [simplify]: Extracting #3: cost 0 inf + 45 1553863148.631 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1553863148.631 * [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)))) 1553863148.631 * * * * [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)))))> 1553863148.631 * [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)))) 1553863148.631 * * [simplify]: iters left: 5 (12 enodes) 1553863148.634 * * [simplify]: iters left: 4 (35 enodes) 1553863148.642 * * [simplify]: iters left: 3 (83 enodes) 1553863148.659 * * [simplify]: iters left: 2 (233 enodes) 1553863148.729 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863148.729 * * [simplify]: Extracting #1: cost 29 inf + 0 1553863148.729 * * [simplify]: Extracting #2: cost 123 inf + 0 1553863148.730 * * [simplify]: Extracting #3: cost 244 inf + 1 1553863148.732 * * [simplify]: Extracting #4: cost 308 inf + 32857 1553863148.745 * * [simplify]: Extracting #5: cost 149 inf + 308686 1553863148.772 * * [simplify]: Extracting #6: cost 4 inf + 549893 1553863148.798 * * [simplify]: Extracting #7: cost 0 inf + 561504 1553863148.824 * [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))) 1553863148.824 * [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)))) 1553863148.825 * * * * [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)))))> 1553863148.825 * [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)))) 1553863148.825 * * [simplify]: iters left: 5 (12 enodes) 1553863148.828 * * [simplify]: iters left: 4 (35 enodes) 1553863148.835 * * [simplify]: iters left: 3 (83 enodes) 1553863148.853 * * [simplify]: iters left: 2 (233 enodes) 1553863148.924 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863148.924 * * [simplify]: Extracting #1: cost 29 inf + 0 1553863148.924 * * [simplify]: Extracting #2: cost 123 inf + 0 1553863148.925 * * [simplify]: Extracting #3: cost 244 inf + 1 1553863148.927 * * [simplify]: Extracting #4: cost 308 inf + 32857 1553863148.939 * * [simplify]: Extracting #5: cost 149 inf + 308686 1553863148.963 * * [simplify]: Extracting #6: cost 4 inf + 549893 1553863148.991 * * [simplify]: Extracting #7: cost 0 inf + 561504 1553863149.018 * [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))) 1553863149.019 * [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)))) 1553863149.019 * * * * [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)))))> 1553863149.019 * [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)))) 1553863149.019 * * [simplify]: iters left: 5 (12 enodes) 1553863149.022 * * [simplify]: iters left: 4 (35 enodes) 1553863149.029 * * [simplify]: iters left: 3 (83 enodes) 1553863149.046 * * [simplify]: iters left: 2 (233 enodes) 1553863149.121 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863149.121 * * [simplify]: Extracting #1: cost 29 inf + 0 1553863149.121 * * [simplify]: Extracting #2: cost 123 inf + 0 1553863149.123 * * [simplify]: Extracting #3: cost 244 inf + 1 1553863149.127 * * [simplify]: Extracting #4: cost 308 inf + 32857 1553863149.152 * * [simplify]: Extracting #5: cost 149 inf + 308686 1553863149.197 * * [simplify]: Extracting #6: cost 4 inf + 549893 1553863149.251 * * [simplify]: Extracting #7: cost 0 inf + 561504 1553863149.300 * [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))) 1553863149.300 * [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)))) 1553863149.300 * * * * [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)))))> 1553863149.300 * [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)))) 1553863149.301 * * [simplify]: iters left: 5 (12 enodes) 1553863149.306 * * [simplify]: iters left: 4 (35 enodes) 1553863149.320 * * [simplify]: iters left: 3 (83 enodes) 1553863149.353 * * [simplify]: iters left: 2 (233 enodes) 1553863149.490 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863149.490 * * [simplify]: Extracting #1: cost 29 inf + 0 1553863149.491 * * [simplify]: Extracting #2: cost 123 inf + 0 1553863149.492 * * [simplify]: Extracting #3: cost 244 inf + 1 1553863149.496 * * [simplify]: Extracting #4: cost 308 inf + 32857 1553863149.521 * * [simplify]: Extracting #5: cost 149 inf + 308686 1553863149.572 * * [simplify]: Extracting #6: cost 4 inf + 549893 1553863149.623 * * [simplify]: Extracting #7: cost 0 inf + 561504 1553863149.675 * [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))) 1553863149.675 * [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)))) 1553863149.675 * * * [progress]: adding candidates to table 1553863150.307 * * [progress]: iteration 2 / 4 1553863150.307 * * * [progress]: picking best candidate 1553863150.444 * * * * [pick]: Picked #posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1553863150.444 * * * [progress]: localizing error 1553863150.944 * * * [progress]: generating rewritten candidates 1553863150.944 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1553863150.957 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1553863150.963 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1553863150.968 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 1553863150.972 * * * [progress]: generating series expansions 1553863150.972 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1553863150.972 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1553863150.972 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1553863150.972 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 1553863150.972 * * * [progress]: simplifying candidates 1553863150.972 * * * * [progress]: [ 1 / 9 ] 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)))))> 1553863150.973 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1553863150.973 * * [simplify]: iters left: 3 (5 enodes) 1553863150.976 * * [simplify]: iters left: 2 (17 enodes) 1553863150.982 * * [simplify]: iters left: 1 (31 enodes) 1553863150.994 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863150.994 * * [simplify]: Extracting #1: cost 11 inf + 0 1553863150.994 * * [simplify]: Extracting #2: cost 28 inf + 0 1553863150.994 * * [simplify]: Extracting #3: cost 29 inf + 324 1553863150.995 * * [simplify]: Extracting #4: cost 22 inf + 6266 1553863150.996 * * [simplify]: Extracting #5: cost 3 inf + 23256 1553863150.998 * * [simplify]: Extracting #6: cost 0 inf + 26382 1553863151.001 * * [simplify]: Extracting #7: cost 0 inf + 25822 1553863151.003 * [simplify]: Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1553863151.003 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) 1553863151.003 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (neg.p16 (/.p16 (real->posit16 2) x))))> 1553863151.003 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 2) x)) 1553863151.003 * * [simplify]: iters left: 3 (5 enodes) 1553863151.006 * * [simplify]: iters left: 2 (8 enodes) 1553863151.008 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863151.008 * * [simplify]: Extracting #1: cost 2 inf + 0 1553863151.008 * * [simplify]: Extracting #2: cost 4 inf + 0 1553863151.008 * * [simplify]: Extracting #3: cost 4 inf + 1 1553863151.008 * * [simplify]: Extracting #4: cost 3 inf + 2 1553863151.009 * * [simplify]: Extracting #5: cost 0 inf + 967 1553863151.009 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 2) x)) 1553863151.009 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (neg.p16 (/.p16 (real->posit16 2) x)))) 1553863151.009 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))))> 1553863151.009 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x)))))> 1553863151.009 * * * * [progress]: [ 5 / 9 ] 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))))))> 1553863151.009 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1553863151.009 * * [simplify]: iters left: 2 (4 enodes) 1553863151.011 * * [simplify]: iters left: 1 (10 enodes) 1553863151.015 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863151.015 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863151.015 * * [simplify]: Extracting #2: cost 3 inf + 1 1553863151.015 * * [simplify]: Extracting #3: cost 0 inf + 45 1553863151.015 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1553863151.015 * [simplify]: Simplified (2 2 2 2) to (λ (x) (+.p16 (/.p16 (real->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 (real->posit16 1) x))))) 1553863151.015 * * * * [progress]: [ 6 / 9 ] 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))))))> 1553863151.015 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553863151.016 * * [simplify]: iters left: 3 (5 enodes) 1553863151.018 * * [simplify]: iters left: 2 (11 enodes) 1553863151.022 * * [simplify]: iters left: 1 (13 enodes) 1553863151.026 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863151.026 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863151.026 * * [simplify]: Extracting #2: cost 5 inf + 0 1553863151.026 * * [simplify]: Extracting #3: cost 3 inf + 2 1553863151.026 * * [simplify]: Extracting #4: cost 0 inf + 527 1553863151.027 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553863151.027 * [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)))))) 1553863151.027 * * * * [progress]: [ 7 / 9 ] 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))))))> 1553863151.027 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553863151.027 * * [simplify]: iters left: 3 (5 enodes) 1553863151.030 * * [simplify]: iters left: 2 (11 enodes) 1553863151.041 * * [simplify]: iters left: 1 (13 enodes) 1553863151.045 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863151.045 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863151.045 * * [simplify]: Extracting #2: cost 5 inf + 0 1553863151.045 * * [simplify]: Extracting #3: cost 3 inf + 2 1553863151.045 * * [simplify]: Extracting #4: cost 0 inf + 527 1553863151.045 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553863151.045 * [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)))))) 1553863151.045 * * * * [progress]: [ 8 / 9 ] 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))))))> 1553863151.046 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553863151.046 * * [simplify]: iters left: 3 (5 enodes) 1553863151.048 * * [simplify]: iters left: 2 (11 enodes) 1553863151.052 * * [simplify]: iters left: 1 (13 enodes) 1553863151.056 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863151.056 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863151.056 * * [simplify]: Extracting #2: cost 5 inf + 0 1553863151.056 * * [simplify]: Extracting #3: cost 3 inf + 2 1553863151.056 * * [simplify]: Extracting #4: cost 0 inf + 527 1553863151.056 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553863151.056 * [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)))))) 1553863151.056 * * * * [progress]: [ 9 / 9 ] 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))))))> 1553863151.057 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553863151.057 * * [simplify]: iters left: 3 (5 enodes) 1553863151.059 * * [simplify]: iters left: 2 (11 enodes) 1553863151.063 * * [simplify]: iters left: 1 (13 enodes) 1553863151.067 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863151.067 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863151.067 * * [simplify]: Extracting #2: cost 5 inf + 0 1553863151.067 * * [simplify]: Extracting #3: cost 3 inf + 2 1553863151.067 * * [simplify]: Extracting #4: cost 0 inf + 527 1553863151.067 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553863151.067 * [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)))))) 1553863151.067 * * * [progress]: adding candidates to table 1553863151.645 * * [progress]: iteration 3 / 4 1553863151.645 * * * [progress]: picking best candidate 1553863151.768 * * * * [pick]: Picked #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (neg.p16 (/.p16 (real->posit16 2) x))))> 1553863151.768 * * * [progress]: localizing error 1553863152.237 * * * [progress]: generating rewritten candidates 1553863152.237 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1553863152.270 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1553863152.274 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1553863152.276 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 1553863152.278 * * * [progress]: generating series expansions 1553863152.279 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1553863152.279 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1553863152.279 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1553863152.279 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 1553863152.279 * * * [progress]: simplifying candidates 1553863152.279 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x)))))> 1553863152.279 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553863152.279 * * [simplify]: iters left: 3 (5 enodes) 1553863152.280 * * [simplify]: iters left: 2 (11 enodes) 1553863152.282 * * [simplify]: iters left: 1 (13 enodes) 1553863152.284 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863152.284 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863152.284 * * [simplify]: Extracting #2: cost 5 inf + 0 1553863152.284 * * [simplify]: Extracting #3: cost 3 inf + 2 1553863152.285 * * [simplify]: Extracting #4: cost 0 inf + 527 1553863152.285 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553863152.285 * [simplify]: Simplified (2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))))) 1553863152.285 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #posit16 1) (-.p16 x (real->posit16 1))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x)))))> 1553863152.285 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1553863152.285 * * [simplify]: iters left: 3 (5 enodes) 1553863152.286 * * [simplify]: iters left: 2 (17 enodes) 1553863152.289 * * [simplify]: iters left: 1 (31 enodes) 1553863152.295 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863152.295 * * [simplify]: Extracting #1: cost 11 inf + 0 1553863152.295 * * [simplify]: Extracting #2: cost 28 inf + 0 1553863152.295 * * [simplify]: Extracting #3: cost 29 inf + 324 1553863152.296 * * [simplify]: Extracting #4: cost 22 inf + 6266 1553863152.296 * * [simplify]: Extracting #5: cost 3 inf + 23256 1553863152.298 * * [simplify]: Extracting #6: cost 0 inf + 26382 1553863152.299 * * [simplify]: Extracting #7: cost 0 inf + 25822 1553863152.300 * [simplify]: Simplified to (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) 1553863152.300 * [simplify]: Simplified (2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))))) 1553863152.300 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x)))> 1553863152.300 * [simplify]: Simplifying (/.p16 (real->posit16 2) x) 1553863152.300 * * [simplify]: iters left: 2 (4 enodes) 1553863152.301 * * [simplify]: iters left: 1 (7 enodes) 1553863152.302 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863152.302 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863152.302 * * [simplify]: Extracting #2: cost 3 inf + 1 1553863152.303 * * [simplify]: Extracting #3: cost 2 inf + 2 1553863152.303 * * [simplify]: Extracting #4: cost 0 inf + 445 1553863152.303 * [simplify]: Simplified to (/.p16 (real->posit16 2) x) 1553863152.303 * [simplify]: Simplified (2 2) to (λ (x) (-.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x))) 1553863152.303 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))> 1553863152.303 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (neg.p16 (/.p16 (real->posit16 2) x))))> 1553863152.303 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))) (neg.p16 (/.p16 (real->posit16 2) x))))> 1553863152.303 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1553863152.303 * * [simplify]: iters left: 2 (4 enodes) 1553863152.304 * * [simplify]: iters left: 1 (10 enodes) 1553863152.306 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863152.306 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863152.306 * * [simplify]: Extracting #2: cost 3 inf + 1 1553863152.306 * * [simplify]: Extracting #3: cost 0 inf + 45 1553863152.306 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1553863152.306 * [simplify]: Simplified (2 1 2 2) to (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 (real->posit16 1) x))) (neg.p16 (/.p16 (real->posit16 2) x)))) 1553863152.306 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (neg.p16 (/.p16 (real->posit16 2) x))))> 1553863152.306 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 2) x)) 1553863152.306 * * [simplify]: iters left: 3 (5 enodes) 1553863152.307 * * [simplify]: iters left: 2 (8 enodes) 1553863152.309 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863152.309 * * [simplify]: Extracting #1: cost 2 inf + 0 1553863152.309 * * [simplify]: Extracting #2: cost 4 inf + 0 1553863152.309 * * [simplify]: Extracting #3: cost 4 inf + 1 1553863152.309 * * [simplify]: Extracting #4: cost 3 inf + 2 1553863152.309 * * [simplify]: Extracting #5: cost 0 inf + 967 1553863152.309 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 2) x)) 1553863152.309 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (neg.p16 (/.p16 (real->posit16 2) x)))) 1553863152.309 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (neg.p16 (/.p16 (real->posit16 2) x))))> 1553863152.309 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 2) x)) 1553863152.309 * * [simplify]: iters left: 3 (5 enodes) 1553863152.310 * * [simplify]: iters left: 2 (8 enodes) 1553863152.312 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863152.312 * * [simplify]: Extracting #1: cost 2 inf + 0 1553863152.312 * * [simplify]: Extracting #2: cost 4 inf + 0 1553863152.312 * * [simplify]: Extracting #3: cost 4 inf + 1 1553863152.312 * * [simplify]: Extracting #4: cost 3 inf + 2 1553863152.312 * * [simplify]: Extracting #5: cost 0 inf + 967 1553863152.312 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 2) x)) 1553863152.312 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (neg.p16 (/.p16 (real->posit16 2) x)))) 1553863152.312 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (neg.p16 (/.p16 (real->posit16 2) x))))> 1553863152.312 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 2) x)) 1553863152.312 * * [simplify]: iters left: 3 (5 enodes) 1553863152.314 * * [simplify]: iters left: 2 (8 enodes) 1553863152.315 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863152.315 * * [simplify]: Extracting #1: cost 2 inf + 0 1553863152.315 * * [simplify]: Extracting #2: cost 4 inf + 0 1553863152.315 * * [simplify]: Extracting #3: cost 4 inf + 1 1553863152.315 * * [simplify]: Extracting #4: cost 3 inf + 2 1553863152.315 * * [simplify]: Extracting #5: cost 0 inf + 967 1553863152.315 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 2) x)) 1553863152.315 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (neg.p16 (/.p16 (real->posit16 2) x)))) 1553863152.315 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (neg.p16 (/.p16 (real->posit16 2) x))))> 1553863152.315 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 2) x)) 1553863152.315 * * [simplify]: iters left: 3 (5 enodes) 1553863152.317 * * [simplify]: iters left: 2 (8 enodes) 1553863152.318 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863152.318 * * [simplify]: Extracting #1: cost 2 inf + 0 1553863152.318 * * [simplify]: Extracting #2: cost 4 inf + 0 1553863152.318 * * [simplify]: Extracting #3: cost 4 inf + 1 1553863152.318 * * [simplify]: Extracting #4: cost 3 inf + 2 1553863152.318 * * [simplify]: Extracting #5: cost 0 inf + 967 1553863152.318 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 2) x)) 1553863152.318 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (neg.p16 (/.p16 (real->posit16 2) x)))) 1553863152.318 * * * [progress]: adding candidates to table 1553863152.935 * * [progress]: iteration 4 / 4 1553863152.935 * * * [progress]: picking best candidate 1553863152.983 * * * * [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)))))> 1553863152.984 * * * [progress]: localizing error 1553863153.506 * * * [progress]: generating rewritten candidates 1553863153.506 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1553863153.546 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1553863153.558 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1553863153.561 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1553863153.566 * * * [progress]: generating series expansions 1553863153.566 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1553863153.566 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1553863153.566 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1553863153.566 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1553863153.566 * * * [progress]: simplifying candidates 1553863153.566 * * * * [progress]: [ 1 / 29 ] 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))))> 1553863153.566 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1)) 1553863153.567 * * [simplify]: iters left: 5 (8 enodes) 1553863153.569 * * [simplify]: iters left: 4 (25 enodes) 1553863153.573 * * [simplify]: iters left: 3 (62 enodes) 1553863153.586 * * [simplify]: iters left: 2 (193 enodes) 1553863153.673 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863153.673 * * [simplify]: Extracting #1: cost 65 inf + 0 1553863153.674 * * [simplify]: Extracting #2: cost 241 inf + 0 1553863153.676 * * [simplify]: Extracting #3: cost 260 inf + 43096 1553863153.687 * * [simplify]: Extracting #4: cost 122 inf + 266467 1553863153.722 * * [simplify]: Extracting #5: cost 18 inf + 464771 1553863153.766 * * [simplify]: Extracting #6: cost 0 inf + 502437 1553863153.815 * * [simplify]: Extracting #7: cost 0 inf + 501277 1553863153.855 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) 1553863153.855 * [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)))))) 1553863153.855 * * * * [progress]: [ 2 / 29 ] 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)))> 1553863153.855 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x) 1553863153.855 * * [simplify]: iters left: 5 (8 enodes) 1553863153.857 * * [simplify]: iters left: 4 (26 enodes) 1553863153.862 * * [simplify]: iters left: 3 (65 enodes) 1553863153.876 * * [simplify]: iters left: 2 (206 enodes) 1553863154.025 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863154.025 * * [simplify]: Extracting #1: cost 77 inf + 0 1553863154.026 * * [simplify]: Extracting #2: cost 273 inf + 1 1553863154.028 * * [simplify]: Extracting #3: cost 294 inf + 40731 1553863154.041 * * [simplify]: Extracting #4: cost 159 inf + 260335 1553863154.083 * * [simplify]: Extracting #5: cost 10 inf + 531203 1553863154.117 * * [simplify]: Extracting #6: cost 0 inf + 554220 1553863154.155 * * [simplify]: Extracting #7: cost 0 inf + 554060 1553863154.190 * [simplify]: Simplified to (*.p16 (/.p16 x (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) (real->posit16 1)) 1553863154.190 * [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)))) 1553863154.190 * * * * [progress]: [ 3 / 29 ] 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)))))))> 1553863154.190 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) 1553863154.190 * * [simplify]: iters left: 5 (8 enodes) 1553863154.192 * * [simplify]: iters left: 4 (25 enodes) 1553863154.198 * * [simplify]: iters left: 3 (62 enodes) 1553863154.219 * * [simplify]: iters left: 2 (193 enodes) 1553863154.341 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863154.341 * * [simplify]: Extracting #1: cost 65 inf + 0 1553863154.342 * * [simplify]: Extracting #2: cost 241 inf + 0 1553863154.347 * * [simplify]: Extracting #3: cost 260 inf + 43096 1553863154.367 * * [simplify]: Extracting #4: cost 122 inf + 266467 1553863154.411 * * [simplify]: Extracting #5: cost 18 inf + 464771 1553863154.455 * * [simplify]: Extracting #6: cost 0 inf + 502437 1553863154.497 * * [simplify]: Extracting #7: cost 0 inf + 501277 1553863154.537 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) 1553863154.537 * [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)))))) 1553863154.537 * * * * [progress]: [ 4 / 29 ] 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)))))))> 1553863154.537 * [simplify]: Simplifying (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) 1553863154.537 * * [simplify]: iters left: 5 (8 enodes) 1553863154.541 * * [simplify]: iters left: 4 (26 enodes) 1553863154.550 * * [simplify]: iters left: 3 (66 enodes) 1553863154.568 * * [simplify]: iters left: 2 (207 enodes) 1553863154.658 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863154.659 * * [simplify]: Extracting #1: cost 77 inf + 0 1553863154.659 * * [simplify]: Extracting #2: cost 273 inf + 1 1553863154.661 * * [simplify]: Extracting #3: cost 303 inf + 33074 1553863154.678 * * [simplify]: Extracting #4: cost 141 inf + 297808 1553863154.703 * * [simplify]: Extracting #5: cost 22 inf + 505698 1553863154.731 * * [simplify]: Extracting #6: cost 0 inf + 553899 1553863154.764 * * [simplify]: Extracting #7: cost 0 inf + 553659 1553863154.805 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) x) 1553863154.805 * [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))) 1553863154.805 * * * * [progress]: [ 5 / 29 ] 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))))))> 1553863154.806 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553863154.806 * * [simplify]: iters left: 3 (5 enodes) 1553863154.807 * * [simplify]: iters left: 2 (11 enodes) 1553863154.809 * * [simplify]: iters left: 1 (13 enodes) 1553863154.811 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863154.811 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863154.811 * * [simplify]: Extracting #2: cost 5 inf + 0 1553863154.811 * * [simplify]: Extracting #3: cost 3 inf + 2 1553863154.811 * * [simplify]: Extracting #4: cost 0 inf + 527 1553863154.811 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553863154.811 * [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)))))) 1553863154.812 * * * * [progress]: [ 6 / 29 ] 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))))))> 1553863154.812 * [simplify]: Simplifying (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553863154.812 * * [simplify]: iters left: 3 (5 enodes) 1553863154.813 * * [simplify]: iters left: 2 (11 enodes) 1553863154.815 * * [simplify]: iters left: 1 (13 enodes) 1553863154.817 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863154.817 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863154.817 * * [simplify]: Extracting #2: cost 5 inf + 0 1553863154.817 * * [simplify]: Extracting #3: cost 3 inf + 2 1553863154.817 * * [simplify]: Extracting #4: cost 0 inf + 527 1553863154.817 * [simplify]: Simplified to (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553863154.817 * [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)))))) 1553863154.817 * * * * [progress]: [ 7 / 29 ] 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))))> 1553863154.817 * * * * [progress]: [ 8 / 29 ] 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)))))> 1553863154.818 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (real->posit16 1)) 1553863154.818 * * [simplify]: iters left: 5 (8 enodes) 1553863154.820 * * [simplify]: iters left: 4 (25 enodes) 1553863154.824 * * [simplify]: iters left: 3 (62 enodes) 1553863154.839 * * [simplify]: iters left: 2 (193 enodes) 1553863154.956 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863154.956 * * [simplify]: Extracting #1: cost 65 inf + 0 1553863154.958 * * [simplify]: Extracting #2: cost 241 inf + 0 1553863154.963 * * [simplify]: Extracting #3: cost 260 inf + 43096 1553863154.983 * * [simplify]: Extracting #4: cost 122 inf + 266467 1553863155.023 * * [simplify]: Extracting #5: cost 18 inf + 464771 1553863155.073 * * [simplify]: Extracting #6: cost 0 inf + 502437 1553863155.117 * * [simplify]: Extracting #7: cost 0 inf + 501277 1553863155.160 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) 1553863155.160 * [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))))))) 1553863155.160 * * * * [progress]: [ 9 / 29 ] 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))))> 1553863155.160 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) x) 1553863155.161 * * [simplify]: iters left: 5 (8 enodes) 1553863155.165 * * [simplify]: iters left: 4 (26 enodes) 1553863155.176 * * [simplify]: iters left: 3 (65 enodes) 1553863155.201 * * [simplify]: iters left: 2 (206 enodes) 1553863155.292 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863155.292 * * [simplify]: Extracting #1: cost 77 inf + 0 1553863155.293 * * [simplify]: Extracting #2: cost 273 inf + 1 1553863155.298 * * [simplify]: Extracting #3: cost 294 inf + 40731 1553863155.317 * * [simplify]: Extracting #4: cost 159 inf + 260335 1553863155.361 * * [simplify]: Extracting #5: cost 10 inf + 531203 1553863155.400 * * [simplify]: Extracting #6: cost 0 inf + 554220 1553863155.439 * * [simplify]: Extracting #7: cost 0 inf + 554060 1553863155.481 * [simplify]: Simplified to (*.p16 (/.p16 x (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) (real->posit16 1)) 1553863155.481 * [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))))) 1553863155.481 * * * * [progress]: [ 10 / 29 ] 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))))))))> 1553863155.481 * [simplify]: Simplifying (*.p16 (real->posit16 1) (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) 1553863155.481 * * [simplify]: iters left: 5 (8 enodes) 1553863155.483 * * [simplify]: iters left: 4 (25 enodes) 1553863155.488 * * [simplify]: iters left: 3 (62 enodes) 1553863155.501 * * [simplify]: iters left: 2 (193 enodes) 1553863155.618 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863155.618 * * [simplify]: Extracting #1: cost 65 inf + 0 1553863155.619 * * [simplify]: Extracting #2: cost 241 inf + 0 1553863155.624 * * [simplify]: Extracting #3: cost 260 inf + 43096 1553863155.650 * * [simplify]: Extracting #4: cost 122 inf + 266467 1553863155.690 * * [simplify]: Extracting #5: cost 18 inf + 464771 1553863155.734 * * [simplify]: Extracting #6: cost 0 inf + 502437 1553863155.774 * * [simplify]: Extracting #7: cost 0 inf + 501277 1553863155.804 * [simplify]: Simplified to (/.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) 1553863155.804 * [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))))))) 1553863155.804 * * * * [progress]: [ 11 / 29 ] 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))))))))> 1553863155.804 * [simplify]: Simplifying (*.p16 x (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))) 1553863155.804 * * [simplify]: iters left: 5 (8 enodes) 1553863155.807 * * [simplify]: iters left: 4 (26 enodes) 1553863155.812 * * [simplify]: iters left: 3 (66 enodes) 1553863155.825 * * [simplify]: iters left: 2 (207 enodes) 1553863155.945 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863155.945 * * [simplify]: Extracting #1: cost 77 inf + 0 1553863155.947 * * [simplify]: Extracting #2: cost 273 inf + 1 1553863155.950 * * [simplify]: Extracting #3: cost 303 inf + 33074 1553863155.972 * * [simplify]: Extracting #4: cost 141 inf + 297808 1553863156.018 * * [simplify]: Extracting #5: cost 22 inf + 505698 1553863156.066 * * [simplify]: Extracting #6: cost 0 inf + 553899 1553863156.115 * * [simplify]: Extracting #7: cost 0 inf + 553659 1553863156.160 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (*.p16 (+.p16 (real->posit16 1) x) (-.p16 x (real->posit16 1)))) x) 1553863156.160 * [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)))) 1553863156.160 * * * * [progress]: [ 12 / 29 ] 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))))))> 1553863156.161 * [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))))) 1553863156.161 * * [simplify]: iters left: 5 (9 enodes) 1553863156.163 * * [simplify]: iters left: 4 (32 enodes) 1553863156.171 * * [simplify]: iters left: 3 (76 enodes) 1553863156.187 * * [simplify]: iters left: 2 (239 enodes) 1553863156.277 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863156.277 * * [simplify]: Extracting #1: cost 46 inf + 0 1553863156.277 * * [simplify]: Extracting #2: cost 215 inf + 0 1553863156.279 * * [simplify]: Extracting #3: cost 259 inf + 37842 1553863156.295 * * [simplify]: Extracting #4: cost 141 inf + 336186 1553863156.333 * * [simplify]: Extracting #5: cost 28 inf + 595296 1553863156.394 * * [simplify]: Extracting #6: cost 1 inf + 655569 1553863156.456 * * [simplify]: Extracting #7: cost 0 inf + 659011 1553863156.519 * [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))))) 1553863156.519 * [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)))))) 1553863156.520 * * * * [progress]: [ 13 / 29 ] 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))))))> 1553863156.520 * [simplify]: Simplifying (*.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) 1553863156.520 * * [simplify]: iters left: 3 (5 enodes) 1553863156.523 * * [simplify]: iters left: 2 (17 enodes) 1553863156.527 * * [simplify]: iters left: 1 (21 enodes) 1553863156.531 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863156.531 * * [simplify]: Extracting #1: cost 5 inf + 0 1553863156.531 * * [simplify]: Extracting #2: cost 7 inf + 0 1553863156.531 * * [simplify]: Extracting #3: cost 5 inf + 2 1553863156.531 * * [simplify]: Extracting #4: cost 0 inf + 1050 1553863156.531 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) 1553863156.531 * [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)))))) 1553863156.531 * * * * [progress]: [ 14 / 29 ] 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)))))> 1553863156.532 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) 1553863156.532 * * [simplify]: iters left: 4 (6 enodes) 1553863156.534 * * [simplify]: iters left: 3 (21 enodes) 1553863156.539 * * [simplify]: iters left: 2 (39 enodes) 1553863156.546 * * [simplify]: iters left: 1 (46 enodes) 1553863156.552 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863156.552 * * [simplify]: Extracting #1: cost 8 inf + 0 1553863156.552 * * [simplify]: Extracting #2: cost 14 inf + 1 1553863156.553 * * [simplify]: Extracting #3: cost 11 inf + 4 1553863156.553 * * [simplify]: Extracting #4: cost 4 inf + 2016 1553863156.553 * * [simplify]: Extracting #5: cost 0 inf + 4584 1553863156.553 * [simplify]: Simplified to (real->posit16 1) 1553863156.553 * [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))))) 1553863156.554 * * * * [progress]: [ 15 / 29 ] 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)))))> 1553863156.554 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) 1553863156.554 * * [simplify]: iters left: 4 (6 enodes) 1553863156.555 * * [simplify]: iters left: 3 (21 enodes) 1553863156.560 * * [simplify]: iters left: 2 (39 enodes) 1553863156.566 * * [simplify]: iters left: 1 (46 enodes) 1553863156.572 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863156.572 * * [simplify]: Extracting #1: cost 8 inf + 0 1553863156.572 * * [simplify]: Extracting #2: cost 14 inf + 1 1553863156.573 * * [simplify]: Extracting #3: cost 11 inf + 4 1553863156.573 * * [simplify]: Extracting #4: cost 4 inf + 2016 1553863156.573 * * [simplify]: Extracting #5: cost 0 inf + 4584 1553863156.573 * [simplify]: Simplified to (real->posit16 1) 1553863156.574 * [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))))) 1553863156.574 * * * * [progress]: [ 16 / 29 ] 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)))))> 1553863156.574 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) 1553863156.574 * * [simplify]: iters left: 4 (6 enodes) 1553863156.575 * * [simplify]: iters left: 3 (21 enodes) 1553863156.580 * * [simplify]: iters left: 2 (39 enodes) 1553863156.586 * * [simplify]: iters left: 1 (46 enodes) 1553863156.592 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863156.592 * * [simplify]: Extracting #1: cost 8 inf + 0 1553863156.592 * * [simplify]: Extracting #2: cost 14 inf + 1 1553863156.592 * * [simplify]: Extracting #3: cost 11 inf + 4 1553863156.592 * * [simplify]: Extracting #4: cost 4 inf + 2016 1553863156.592 * * [simplify]: Extracting #5: cost 0 inf + 4584 1553863156.593 * [simplify]: Simplified to (real->posit16 1) 1553863156.593 * [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))))) 1553863156.593 * * * * [progress]: [ 17 / 29 ] 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)))))> 1553863156.593 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 x (real->posit16 1))) 1553863156.594 * * [simplify]: iters left: 4 (6 enodes) 1553863156.597 * * [simplify]: iters left: 3 (21 enodes) 1553863156.606 * * [simplify]: iters left: 2 (39 enodes) 1553863156.615 * * [simplify]: iters left: 1 (46 enodes) 1553863156.621 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863156.621 * * [simplify]: Extracting #1: cost 8 inf + 0 1553863156.621 * * [simplify]: Extracting #2: cost 14 inf + 1 1553863156.621 * * [simplify]: Extracting #3: cost 11 inf + 4 1553863156.622 * * [simplify]: Extracting #4: cost 4 inf + 2016 1553863156.622 * * [simplify]: Extracting #5: cost 0 inf + 4584 1553863156.622 * [simplify]: Simplified to (real->posit16 1) 1553863156.622 * [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))))) 1553863156.622 * * * * [progress]: [ 18 / 29 ] 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)))))))> 1553863156.622 * * * * [progress]: [ 19 / 29 ] 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)))))> 1553863156.622 * * * * [progress]: [ 20 / 29 ] 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)))))> 1553863156.623 * * * * [progress]: [ 21 / 29 ] 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)))))> 1553863156.623 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1553863156.623 * * [simplify]: iters left: 2 (4 enodes) 1553863156.624 * * [simplify]: iters left: 1 (16 enodes) 1553863156.627 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863156.627 * * [simplify]: Extracting #1: cost 6 inf + 0 1553863156.627 * * [simplify]: Extracting #2: cost 11 inf + 1 1553863156.627 * * [simplify]: Extracting #3: cost 11 inf + 323 1553863156.627 * * [simplify]: Extracting #4: cost 5 inf + 1491 1553863156.627 * * [simplify]: Extracting #5: cost 1 inf + 3657 1553863156.627 * * [simplify]: Extracting #6: cost 0 inf + 5019 1553863156.627 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1553863156.628 * [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))))) 1553863156.628 * * * * [progress]: [ 22 / 29 ] 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)))))> 1553863156.628 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1553863156.628 * * [simplify]: iters left: 2 (4 enodes) 1553863156.629 * * [simplify]: iters left: 1 (16 enodes) 1553863156.632 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863156.632 * * [simplify]: Extracting #1: cost 6 inf + 0 1553863156.632 * * [simplify]: Extracting #2: cost 11 inf + 1 1553863156.632 * * [simplify]: Extracting #3: cost 11 inf + 323 1553863156.632 * * [simplify]: Extracting #4: cost 5 inf + 1491 1553863156.632 * * [simplify]: Extracting #5: cost 1 inf + 3657 1553863156.632 * * [simplify]: Extracting #6: cost 0 inf + 5019 1553863156.632 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1553863156.633 * [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))))) 1553863156.633 * * * * [progress]: [ 23 / 29 ] 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)))))> 1553863156.633 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1553863156.633 * * [simplify]: iters left: 2 (4 enodes) 1553863156.634 * * [simplify]: iters left: 1 (16 enodes) 1553863156.637 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863156.637 * * [simplify]: Extracting #1: cost 6 inf + 0 1553863156.637 * * [simplify]: Extracting #2: cost 11 inf + 1 1553863156.637 * * [simplify]: Extracting #3: cost 11 inf + 323 1553863156.637 * * [simplify]: Extracting #4: cost 5 inf + 1491 1553863156.637 * * [simplify]: Extracting #5: cost 1 inf + 3657 1553863156.638 * * [simplify]: Extracting #6: cost 0 inf + 5019 1553863156.638 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1553863156.638 * [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))))) 1553863156.638 * * * * [progress]: [ 24 / 29 ] 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)))))> 1553863156.638 * [simplify]: Simplifying (-.p16 x (real->posit16 1)) 1553863156.638 * * [simplify]: iters left: 2 (4 enodes) 1553863156.639 * * [simplify]: iters left: 1 (16 enodes) 1553863156.642 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863156.642 * * [simplify]: Extracting #1: cost 6 inf + 0 1553863156.642 * * [simplify]: Extracting #2: cost 11 inf + 1 1553863156.642 * * [simplify]: Extracting #3: cost 11 inf + 323 1553863156.642 * * [simplify]: Extracting #4: cost 5 inf + 1491 1553863156.642 * * [simplify]: Extracting #5: cost 1 inf + 3657 1553863156.643 * * [simplify]: Extracting #6: cost 0 inf + 5019 1553863156.643 * [simplify]: Simplified to (-.p16 x (real->posit16 1)) 1553863156.643 * [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))))) 1553863156.643 * * * * [progress]: [ 25 / 29 ] 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)))))> 1553863156.643 * [simplify]: Simplifying (+.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))) 1553863156.643 * * [simplify]: iters left: 3 (6 enodes) 1553863156.645 * * [simplify]: iters left: 2 (12 enodes) 1553863156.647 * * [simplify]: iters left: 1 (14 enodes) 1553863156.649 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863156.649 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863156.649 * * [simplify]: Extracting #2: cost 5 inf + 0 1553863156.649 * * [simplify]: Extracting #3: cost 5 inf + 1 1553863156.649 * * [simplify]: Extracting #4: cost 0 inf + 1327 1553863156.649 * [simplify]: Simplified to (+.p16 (*.p16 (real->posit16 1) (real->posit16 1)) (*.p16 x x)) 1553863156.649 * [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))))) 1553863156.650 * * * * [progress]: [ 26 / 29 ] 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)))))> 1553863156.650 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1553863156.650 * * [simplify]: iters left: 2 (4 enodes) 1553863156.651 * * [simplify]: iters left: 1 (10 enodes) 1553863156.652 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863156.652 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863156.652 * * [simplify]: Extracting #2: cost 3 inf + 1 1553863156.653 * * [simplify]: Extracting #3: cost 0 inf + 45 1553863156.653 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1553863156.653 * [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)))) 1553863156.653 * * * * [progress]: [ 27 / 29 ] 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)))))> 1553863156.653 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1553863156.653 * * [simplify]: iters left: 2 (4 enodes) 1553863156.654 * * [simplify]: iters left: 1 (10 enodes) 1553863156.656 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863156.656 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863156.656 * * [simplify]: Extracting #2: cost 3 inf + 1 1553863156.656 * * [simplify]: Extracting #3: cost 0 inf + 45 1553863156.656 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1553863156.656 * [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)))) 1553863156.656 * * * * [progress]: [ 28 / 29 ] 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)))))> 1553863156.656 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1553863156.656 * * [simplify]: iters left: 2 (4 enodes) 1553863156.657 * * [simplify]: iters left: 1 (10 enodes) 1553863156.659 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863156.659 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863156.659 * * [simplify]: Extracting #2: cost 3 inf + 1 1553863156.659 * * [simplify]: Extracting #3: cost 0 inf + 45 1553863156.659 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1553863156.659 * [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)))) 1553863156.659 * * * * [progress]: [ 29 / 29 ] 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)))))> 1553863156.659 * [simplify]: Simplifying (+.p16 x (real->posit16 1)) 1553863156.659 * * [simplify]: iters left: 2 (4 enodes) 1553863156.660 * * [simplify]: iters left: 1 (10 enodes) 1553863156.662 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863156.662 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863156.662 * * [simplify]: Extracting #2: cost 3 inf + 1 1553863156.662 * * [simplify]: Extracting #3: cost 0 inf + 45 1553863156.662 * [simplify]: Simplified to (+.p16 (real->posit16 1) x) 1553863156.662 * [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)))) 1553863156.662 * * * [progress]: adding candidates to table 1553863158.928 * [progress]: [Phase 3 of 3] Extracting. 1553863158.928 * * [regime]: Finding splitpoints for: (#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 (/.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)))) (neg.p16 (/.p16 (real->posit16 2) x))))> #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 (*.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)))))> #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 (neg.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))))>) 1553863158.929 * * * [regime-changes]: Trying 1 branch expressions: (x) 1553863158.929 * * * * [regimes]: Trying to branch on x from (#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 (/.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)))) (neg.p16 (/.p16 (real->posit16 2) x))))> #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 (*.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)))))> #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 (neg.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))))>) 1553863159.301 * * * [regime]: Found split indices: #