1553935170.454 * [progress]: [Phase 1 of 3] Setting up. 1553935170.454 * * * [progress]: [1/2] Preparing points 1553935170.454 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 1553935170.455 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 1553935170.461 * * * * [points]: Setting MPFR precision to 64 1553935170.463 * * * * [points]: Setting MPFR precision to 320 1553935170.465 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 1553935170.475 * * * * [points]: Setting MPFR precision to 64 1553935170.478 * * * * [points]: Setting MPFR precision to 320 1553935170.482 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 1553935170.491 * * * * [points]: Setting MPFR precision to 64 1553935170.497 * * * * [points]: Setting MPFR precision to 320 1553935170.504 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 1553935170.513 * * * * [points]: Setting MPFR precision to 64 1553935170.522 * * * * [points]: Setting MPFR precision to 320 1553935170.533 * * * * [points]: Computing exacts for 256 points 1553935170.558 * * * * [points]: Setting MPFR precision to 64 1553935170.587 * * * * [points]: Setting MPFR precision to 320 1553935170.608 * * * * [points]: Filtering points with unrepresentable outputs 1553935170.616 * * * * [points]: Sampling 159 additional inputs, on iter 1 have 97 / 256 1553935170.616 * * * * [points]: Computing exacts on every 9 of 159 points to ramp up precision 1553935170.620 * * * * [points]: Setting MPFR precision to 64 1553935170.621 * * * * [points]: Setting MPFR precision to 320 1553935170.623 * * * * [points]: Computing exacts on every 4 of 159 points to ramp up precision 1553935170.627 * * * * [points]: Setting MPFR precision to 64 1553935170.629 * * * * [points]: Setting MPFR precision to 320 1553935170.631 * * * * [points]: Computing exacts on every 2 of 159 points to ramp up precision 1553935170.636 * * * * [points]: Setting MPFR precision to 64 1553935170.641 * * * * [points]: Setting MPFR precision to 320 1553935170.648 * * * * [points]: Computing exacts for 159 points 1553935170.656 * * * * [points]: Setting MPFR precision to 64 1553935170.673 * * * * [points]: Setting MPFR precision to 320 1553935170.694 * * * * [points]: Filtering points with unrepresentable outputs 1553935170.702 * * * * [points]: Sampling 91 additional inputs, on iter 2 have 165 / 256 1553935170.703 * * * * [points]: Computing exacts on every 5 of 91 points to ramp up precision 1553935170.740 * * * * [points]: Setting MPFR precision to 64 1553935170.744 * * * * [points]: Setting MPFR precision to 320 1553935170.747 * * * * [points]: Computing exacts on every 2 of 91 points to ramp up precision 1553935170.755 * * * * [points]: Setting MPFR precision to 64 1553935170.759 * * * * [points]: Setting MPFR precision to 320 1553935170.763 * * * * [points]: Computing exacts for 91 points 1553935170.772 * * * * [points]: Setting MPFR precision to 64 1553935170.781 * * * * [points]: Setting MPFR precision to 320 1553935170.794 * * * * [points]: Filtering points with unrepresentable outputs 1553935170.799 * * * * [points]: Sampling 67 additional inputs, on iter 3 have 189 / 256 1553935170.799 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision 1553935170.808 * * * * [points]: Setting MPFR precision to 64 1553935170.809 * * * * [points]: Setting MPFR precision to 320 1553935170.811 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision 1553935170.820 * * * * [points]: Setting MPFR precision to 64 1553935170.822 * * * * [points]: Setting MPFR precision to 320 1553935170.825 * * * * [points]: Computing exacts for 67 points 1553935170.834 * * * * [points]: Setting MPFR precision to 64 1553935170.841 * * * * [points]: Setting MPFR precision to 320 1553935170.851 * * * * [points]: Filtering points with unrepresentable outputs 1553935170.854 * * * * [points]: Sampling 44 additional inputs, on iter 4 have 212 / 256 1553935170.854 * * * * [points]: Computing exacts on every 2 of 44 points to ramp up precision 1553935170.863 * * * * [points]: Setting MPFR precision to 64 1553935170.864 * * * * [points]: Setting MPFR precision to 320 1553935170.866 * * * * [points]: Computing exacts for 44 points 1553935170.875 * * * * [points]: Setting MPFR precision to 64 1553935170.879 * * * * [points]: Setting MPFR precision to 320 1553935170.907 * * * * [points]: Filtering points with unrepresentable outputs 1553935170.910 * * * * [points]: Sampling 31 additional inputs, on iter 5 have 225 / 256 1553935170.910 * * * * [points]: Computing exacts for 31 points 1553935170.921 * * * * [points]: Setting MPFR precision to 64 1553935170.925 * * * * [points]: Setting MPFR precision to 320 1553935170.929 * * * * [points]: Filtering points with unrepresentable outputs 1553935170.931 * * * * [points]: Sampling 19 additional inputs, on iter 6 have 237 / 256 1553935170.931 * * * * [points]: Computing exacts for 19 points 1553935170.940 * * * * [points]: Setting MPFR precision to 64 1553935170.942 * * * * [points]: Setting MPFR precision to 320 1553935170.944 * * * * [points]: Filtering points with unrepresentable outputs 1553935170.946 * * * * [points]: Sampling 10 additional inputs, on iter 7 have 246 / 256 1553935170.946 * * * * [points]: Computing exacts for 10 points 1553935170.954 * * * * [points]: Setting MPFR precision to 64 1553935170.956 * * * * [points]: Setting MPFR precision to 320 1553935170.957 * * * * [points]: Filtering points with unrepresentable outputs 1553935170.957 * * * * [points]: Sampling 8 additional inputs, on iter 8 have 248 / 256 1553935170.958 * * * * [points]: Computing exacts for 8 points 1553935170.966 * * * * [points]: Setting MPFR precision to 64 1553935170.967 * * * * [points]: Setting MPFR precision to 320 1553935170.968 * * * * [points]: Filtering points with unrepresentable outputs 1553935170.969 * * * * [points]: Sampling 5 additional inputs, on iter 9 have 251 / 256 1553935170.969 * * * * [points]: Computing exacts for 5 points 1553935170.977 * * * * [points]: Setting MPFR precision to 64 1553935170.978 * * * * [points]: Setting MPFR precision to 320 1553935170.979 * * * * [points]: Filtering points with unrepresentable outputs 1553935170.979 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 252 / 256 1553935170.979 * * * * [points]: Computing exacts for 4 points 1553935170.987 * * * * [points]: Setting MPFR precision to 64 1553935170.988 * * * * [points]: Setting MPFR precision to 320 1553935170.989 * * * * [points]: Filtering points with unrepresentable outputs 1553935170.989 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 253 / 256 1553935170.989 * * * * [points]: Computing exacts for 4 points 1553935170.997 * * * * [points]: Setting MPFR precision to 64 1553935170.998 * * * * [points]: Setting MPFR precision to 320 1553935170.999 * * * * [points]: Filtering points with unrepresentable outputs 1553935170.999 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 254 / 256 1553935170.999 * * * * [points]: Computing exacts for 4 points 1553935171.008 * * * * [points]: Setting MPFR precision to 64 1553935171.008 * * * * [points]: Setting MPFR precision to 320 1553935171.009 * * * * [points]: Filtering points with unrepresentable outputs 1553935171.009 * * * * [points]: Sampled 257 points with exact outputs 1553935171.009 * * * [progress]: [2/2] Setting up program. 1553935171.383 * [progress]: [Phase 2 of 3] Improving. 1553935171.383 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> 1553935171.383 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) 1553935171.384 * * [simplify]: iters left: 6 (18 enodes) 1553935171.393 * * [simplify]: iters left: 5 (47 enodes) 1553935171.402 * * [simplify]: iters left: 4 (121 enodes) 1553935171.429 * * [simplify]: iters left: 3 (337 enodes) 1553935171.609 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935171.609 * * [simplify]: Extracting #1: cost 34 inf + 0 1553935171.610 * * [simplify]: Extracting #2: cost 204 inf + 0 1553935171.612 * * [simplify]: Extracting #3: cost 326 inf + 1286 1553935171.615 * * [simplify]: Extracting #4: cost 362 inf + 6740 1553935171.618 * * [simplify]: Extracting #5: cost 377 inf + 18286 1553935171.623 * * [simplify]: Extracting #6: cost 358 inf + 29885 1553935171.636 * * [simplify]: Extracting #7: cost 252 inf + 186163 1553935171.671 * * [simplify]: Extracting #8: cost 47 inf + 586692 1553935171.707 * * [simplify]: Extracting #9: cost 0 inf + 696950 1553935171.742 * * [simplify]: Extracting #10: cost 0 inf + 694590 1553935171.780 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))) 1553935171.780 * [simplify]: Simplified (2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))) 1553935171.826 * * [progress]: iteration 1 / 4 1553935171.826 * * * [progress]: picking best candidate 1553935171.858 * * * * [pick]: Picked #posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> 1553935171.859 * * * [progress]: localizing error 1553935172.300 * * * [progress]: generating rewritten candidates 1553935172.300 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1553935172.311 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2) 1553935172.312 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1) 1553935172.315 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 1553935172.316 * * * [progress]: generating series expansions 1553935172.316 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1553935172.316 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2) 1553935172.316 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1) 1553935172.316 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 1553935172.316 * * * [progress]: simplifying candidates 1553935172.316 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> 1553935172.316 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) 1553935172.316 * * [simplify]: iters left: 6 (17 enodes) 1553935172.322 * * [simplify]: iters left: 5 (41 enodes) 1553935172.330 * * [simplify]: iters left: 4 (95 enodes) 1553935172.350 * * [simplify]: iters left: 3 (269 enodes) 1553935172.439 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935172.439 * * [simplify]: Extracting #1: cost 46 inf + 0 1553935172.439 * * [simplify]: Extracting #2: cost 206 inf + 1 1553935172.444 * * [simplify]: Extracting #3: cost 258 inf + 648 1553935172.445 * * [simplify]: Extracting #4: cost 307 inf + 7710 1553935172.447 * * [simplify]: Extracting #5: cost 293 inf + 16045 1553935172.448 * * [simplify]: Extracting #6: cost 277 inf + 25875 1553935172.455 * * [simplify]: Extracting #7: cost 149 inf + 188177 1553935172.477 * * [simplify]: Extracting #8: cost 7 inf + 469313 1553935172.502 * * [simplify]: Extracting #9: cost 0 inf + 490709 1553935172.528 * [simplify]: Simplified to (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935172.528 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) 1553935172.529 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> 1553935172.529 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935172.529 * * [simplify]: iters left: 6 (17 enodes) 1553935172.533 * * [simplify]: iters left: 5 (41 enodes) 1553935172.541 * * [simplify]: iters left: 4 (101 enodes) 1553935172.564 * * [simplify]: iters left: 3 (291 enodes) 1553935172.651 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935172.651 * * [simplify]: Extracting #1: cost 48 inf + 0 1553935172.652 * * [simplify]: Extracting #2: cost 208 inf + 1 1553935172.653 * * [simplify]: Extracting #3: cost 275 inf + 1610 1553935172.657 * * [simplify]: Extracting #4: cost 319 inf + 9953 1553935172.659 * * [simplify]: Extracting #5: cost 302 inf + 20857 1553935172.661 * * [simplify]: Extracting #6: cost 279 inf + 36752 1553935172.669 * * [simplify]: Extracting #7: cost 152 inf + 206471 1553935172.692 * * [simplify]: Extracting #8: cost 9 inf + 486275 1553935172.716 * * [simplify]: Extracting #9: cost 0 inf + 499918 1553935172.742 * [simplify]: Simplified to (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935172.742 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) 1553935172.743 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> 1553935172.743 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) 1553935172.743 * * [simplify]: iters left: 6 (21 enodes) 1553935172.749 * * [simplify]: iters left: 5 (59 enodes) 1553935172.761 * * [simplify]: iters left: 4 (176 enodes) 1553935172.820 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935172.820 * * [simplify]: Extracting #1: cost 40 inf + 0 1553935172.820 * * [simplify]: Extracting #2: cost 160 inf + 0 1553935172.821 * * [simplify]: Extracting #3: cost 260 inf + 1607 1553935172.822 * * [simplify]: Extracting #4: cost 294 inf + 4494 1553935172.823 * * [simplify]: Extracting #5: cost 292 inf + 16036 1553935172.826 * * [simplify]: Extracting #6: cost 224 inf + 77978 1553935172.842 * * [simplify]: Extracting #7: cost 53 inf + 358389 1553935172.877 * * [simplify]: Extracting #8: cost 4 inf + 462823 1553935172.913 * * [simplify]: Extracting #9: cost 0 inf + 474767 1553935172.946 * [simplify]: Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) 1553935172.946 * [simplify]: Simplified (2 1) to (λ (a rand) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) 1553935172.946 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> 1553935172.946 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))> 1553935172.946 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935172.946 * * [simplify]: iters left: 4 (9 enodes) 1553935172.949 * * [simplify]: iters left: 3 (13 enodes) 1553935172.951 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935172.951 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935172.951 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935172.951 * * [simplify]: Extracting #3: cost 6 inf + 1 1553935172.951 * * [simplify]: Extracting #4: cost 7 inf + 2 1553935172.951 * * [simplify]: Extracting #5: cost 0 inf + 1813 1553935172.952 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935172.952 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))) 1553935172.952 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))> 1553935172.952 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)) 1553935172.952 * * [simplify]: iters left: 4 (9 enodes) 1553935172.954 * * [simplify]: iters left: 3 (13 enodes) 1553935172.957 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935172.957 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935172.957 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935172.957 * * [simplify]: Extracting #3: cost 5 inf + 2 1553935172.957 * * [simplify]: Extracting #4: cost 7 inf + 2 1553935172.957 * * [simplify]: Extracting #5: cost 4 inf + 5 1553935172.957 * * [simplify]: Extracting #6: cost 0 inf + 1813 1553935172.957 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)) 1553935172.957 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)))) 1553935172.957 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> 1553935172.957 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1553935172.957 * * [simplify]: iters left: 3 (7 enodes) 1553935172.959 * * [simplify]: iters left: 2 (12 enodes) 1553935172.961 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935172.961 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935172.961 * * [simplify]: Extracting #2: cost 4 inf + 1 1553935172.961 * * [simplify]: Extracting #3: cost 6 inf + 1 1553935172.961 * * [simplify]: Extracting #4: cost 0 inf + 930 1553935172.961 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1553935172.961 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))) 1553935172.962 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand))))> 1553935172.962 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> 1553935172.962 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) 1553935172.962 * * [simplify]: iters left: 6 (18 enodes) 1553935172.966 * * [simplify]: iters left: 5 (47 enodes) 1553935172.975 * * [simplify]: iters left: 4 (121 enodes) 1553935173.015 * * [simplify]: iters left: 3 (337 enodes) 1553935173.161 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935173.161 * * [simplify]: Extracting #1: cost 34 inf + 0 1553935173.162 * * [simplify]: Extracting #2: cost 204 inf + 0 1553935173.163 * * [simplify]: Extracting #3: cost 326 inf + 1286 1553935173.165 * * [simplify]: Extracting #4: cost 362 inf + 6740 1553935173.168 * * [simplify]: Extracting #5: cost 377 inf + 18286 1553935173.171 * * [simplify]: Extracting #6: cost 358 inf + 29885 1553935173.185 * * [simplify]: Extracting #7: cost 252 inf + 186163 1553935173.215 * * [simplify]: Extracting #8: cost 47 inf + 586692 1553935173.268 * * [simplify]: Extracting #9: cost 0 inf + 696950 1553935173.316 * * [simplify]: Extracting #10: cost 0 inf + 694590 1553935173.358 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))) 1553935173.359 * [simplify]: Simplified (2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))) 1553935173.359 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> 1553935173.359 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) 1553935173.359 * * [simplify]: iters left: 6 (18 enodes) 1553935173.366 * * [simplify]: iters left: 5 (47 enodes) 1553935173.380 * * [simplify]: iters left: 4 (121 enodes) 1553935173.418 * * [simplify]: iters left: 3 (337 enodes) 1553935173.584 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935173.584 * * [simplify]: Extracting #1: cost 34 inf + 0 1553935173.585 * * [simplify]: Extracting #2: cost 204 inf + 0 1553935173.586 * * [simplify]: Extracting #3: cost 326 inf + 1286 1553935173.592 * * [simplify]: Extracting #4: cost 362 inf + 6740 1553935173.595 * * [simplify]: Extracting #5: cost 377 inf + 18286 1553935173.598 * * [simplify]: Extracting #6: cost 358 inf + 29885 1553935173.609 * * [simplify]: Extracting #7: cost 252 inf + 186163 1553935173.650 * * [simplify]: Extracting #8: cost 47 inf + 586692 1553935173.703 * * [simplify]: Extracting #9: cost 0 inf + 696950 1553935173.752 * * [simplify]: Extracting #10: cost 0 inf + 694590 1553935173.805 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))) 1553935173.805 * [simplify]: Simplified (2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))) 1553935173.805 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> 1553935173.806 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) 1553935173.806 * * [simplify]: iters left: 6 (18 enodes) 1553935173.813 * * [simplify]: iters left: 5 (47 enodes) 1553935173.827 * * [simplify]: iters left: 4 (121 enodes) 1553935173.869 * * [simplify]: iters left: 3 (337 enodes) 1553935174.039 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935174.039 * * [simplify]: Extracting #1: cost 34 inf + 0 1553935174.040 * * [simplify]: Extracting #2: cost 204 inf + 0 1553935174.042 * * [simplify]: Extracting #3: cost 326 inf + 1286 1553935174.044 * * [simplify]: Extracting #4: cost 362 inf + 6740 1553935174.047 * * [simplify]: Extracting #5: cost 377 inf + 18286 1553935174.050 * * [simplify]: Extracting #6: cost 358 inf + 29885 1553935174.059 * * [simplify]: Extracting #7: cost 252 inf + 186163 1553935174.089 * * [simplify]: Extracting #8: cost 47 inf + 586692 1553935174.141 * * [simplify]: Extracting #9: cost 0 inf + 696950 1553935174.180 * * [simplify]: Extracting #10: cost 0 inf + 694590 1553935174.229 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))) 1553935174.229 * [simplify]: Simplified (2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))) 1553935174.229 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> 1553935174.229 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) 1553935174.229 * * [simplify]: iters left: 6 (18 enodes) 1553935174.235 * * [simplify]: iters left: 5 (47 enodes) 1553935174.250 * * [simplify]: iters left: 4 (121 enodes) 1553935174.291 * * [simplify]: iters left: 3 (337 enodes) 1553935174.435 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935174.435 * * [simplify]: Extracting #1: cost 34 inf + 0 1553935174.436 * * [simplify]: Extracting #2: cost 204 inf + 0 1553935174.438 * * [simplify]: Extracting #3: cost 326 inf + 1286 1553935174.440 * * [simplify]: Extracting #4: cost 362 inf + 6740 1553935174.443 * * [simplify]: Extracting #5: cost 377 inf + 18286 1553935174.446 * * [simplify]: Extracting #6: cost 358 inf + 29885 1553935174.456 * * [simplify]: Extracting #7: cost 252 inf + 186163 1553935174.495 * * [simplify]: Extracting #8: cost 47 inf + 586692 1553935174.539 * * [simplify]: Extracting #9: cost 0 inf + 696950 1553935174.589 * * [simplify]: Extracting #10: cost 0 inf + 694590 1553935174.644 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))) 1553935174.644 * [simplify]: Simplified (2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))) 1553935174.644 * * * [progress]: adding candidates to table 1553935175.418 * * [progress]: iteration 2 / 4 1553935175.418 * * * [progress]: picking best candidate 1553935175.528 * * * * [pick]: Picked #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> 1553935175.529 * * * [progress]: localizing error 1553935175.888 * * * [progress]: generating rewritten candidates 1553935175.888 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1553935175.893 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 1553935175.900 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2) 1553935175.901 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2 1) 1553935175.905 * * * [progress]: generating series expansions 1553935175.905 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1553935175.905 * * * * [progress]: [ 2 / 4 ] generating series at (2) 1553935175.906 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2) 1553935175.906 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2 1) 1553935175.906 * * * [progress]: simplifying candidates 1553935175.906 * * * * [progress]: [ 1 / 20 ] simplifiying candidate #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> 1553935175.906 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935175.906 * * [simplify]: iters left: 6 (18 enodes) 1553935175.914 * * [simplify]: iters left: 5 (41 enodes) 1553935175.927 * * [simplify]: iters left: 4 (83 enodes) 1553935175.946 * * [simplify]: iters left: 3 (164 enodes) 1553935175.985 * * [simplify]: iters left: 2 (496 enodes) 1553935176.340 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935176.340 * * [simplify]: Extracting #1: cost 21 inf + 0 1553935176.341 * * [simplify]: Extracting #2: cost 23 inf + 1 1553935176.341 * * [simplify]: Extracting #3: cost 121 inf + 3 1553935176.343 * * [simplify]: Extracting #4: cost 477 inf + 325 1553935176.352 * * [simplify]: Extracting #5: cost 788 inf + 4871 1553935176.362 * * [simplify]: Extracting #6: cost 663 inf + 189244 1553935176.407 * * [simplify]: Extracting #7: cost 195 inf + 927268 1553935176.499 * * [simplify]: Extracting #8: cost 10 inf + 1303684 1553935176.603 * * [simplify]: Extracting #9: cost 0 inf + 1332318 1553935176.686 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) 1553935176.686 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) 1553935176.687 * * * * [progress]: [ 2 / 20 ] simplifiying candidate #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))))> 1553935176.687 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) 1553935176.687 * * [simplify]: iters left: 6 (18 enodes) 1553935176.694 * * [simplify]: iters left: 5 (41 enodes) 1553935176.704 * * [simplify]: iters left: 4 (83 enodes) 1553935176.730 * * [simplify]: iters left: 3 (164 enodes) 1553935176.781 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935176.781 * * [simplify]: Extracting #1: cost 16 inf + 0 1553935176.781 * * [simplify]: Extracting #2: cost 18 inf + 1 1553935176.781 * * [simplify]: Extracting #3: cost 41 inf + 1 1553935176.781 * * [simplify]: Extracting #4: cost 129 inf + 3 1553935176.782 * * [simplify]: Extracting #5: cost 159 inf + 651 1553935176.784 * * [simplify]: Extracting #6: cost 163 inf + 16579 1553935176.790 * * [simplify]: Extracting #7: cost 66 inf + 116878 1553935176.799 * * [simplify]: Extracting #8: cost 4 inf + 214206 1553935176.817 * * [simplify]: Extracting #9: cost 0 inf + 221579 1553935176.833 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) 1553935176.833 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))) 1553935176.833 * * * * [progress]: [ 3 / 20 ] simplifiying candidate #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> 1553935176.833 * [simplify]: Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) 1553935176.833 * * [simplify]: iters left: 6 (14 enodes) 1553935176.839 * * [simplify]: iters left: 5 (30 enodes) 1553935176.846 * * [simplify]: iters left: 4 (56 enodes) 1553935176.862 * * [simplify]: iters left: 3 (122 enodes) 1553935176.908 * * [simplify]: iters left: 2 (499 enodes) 1553935177.405 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935177.405 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935177.405 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935177.406 * * [simplify]: Extracting #3: cost 93 inf + 1 1553935177.407 * * [simplify]: Extracting #4: cost 451 inf + 2 1553935177.409 * * [simplify]: Extracting #5: cost 850 inf + 2252 1553935177.413 * * [simplify]: Extracting #6: cost 904 inf + 7387 1553935177.426 * * [simplify]: Extracting #7: cost 835 inf + 65272 1553935177.444 * * [simplify]: Extracting #8: cost 579 inf + 361623 1553935177.508 * * [simplify]: Extracting #9: cost 181 inf + 1076854 1553935177.607 * * [simplify]: Extracting #10: cost 6 inf + 1471563 1553935177.715 * * [simplify]: Extracting #11: cost 0 inf + 1485305 1553935177.787 * * [simplify]: Extracting #12: cost 0 inf + 1484905 1553935177.858 * [simplify]: Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) 1553935177.859 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) 1553935177.859 * * * * [progress]: [ 4 / 20 ] simplifiying candidate #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> 1553935177.859 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1553935177.859 * * [simplify]: iters left: 3 (7 enodes) 1553935177.861 * * [simplify]: iters left: 2 (12 enodes) 1553935177.863 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935177.863 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935177.863 * * [simplify]: Extracting #2: cost 4 inf + 1 1553935177.863 * * [simplify]: Extracting #3: cost 6 inf + 1 1553935177.863 * * [simplify]: Extracting #4: cost 0 inf + 930 1553935177.863 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1553935177.864 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) 1553935177.864 * * * * [progress]: [ 5 / 20 ] simplifiying candidate #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> 1553935177.864 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935177.864 * * [simplify]: iters left: 4 (12 enodes) 1553935177.867 * * [simplify]: iters left: 3 (32 enodes) 1553935177.873 * * [simplify]: iters left: 2 (72 enodes) 1553935177.890 * * [simplify]: iters left: 1 (187 enodes) 1553935177.942 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935177.942 * * [simplify]: Extracting #1: cost 23 inf + 0 1553935177.942 * * [simplify]: Extracting #2: cost 127 inf + 1 1553935177.943 * * [simplify]: Extracting #3: cost 199 inf + 1612 1553935177.946 * * [simplify]: Extracting #4: cost 224 inf + 11556 1553935177.947 * * [simplify]: Extracting #5: cost 214 inf + 19246 1553935177.948 * * [simplify]: Extracting #6: cost 205 inf + 24740 1553935177.955 * * [simplify]: Extracting #7: cost 101 inf + 143111 1553935177.970 * * [simplify]: Extracting #8: cost 13 inf + 275987 1553935177.991 * * [simplify]: Extracting #9: cost 0 inf + 294918 1553935178.013 * [simplify]: Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935178.013 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) 1553935178.013 * * * * [progress]: [ 6 / 20 ] simplifiying candidate #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> 1553935178.013 * * * * [progress]: [ 7 / 20 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> 1553935178.014 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1553935178.014 * * [simplify]: iters left: 3 (7 enodes) 1553935178.017 * * [simplify]: iters left: 2 (18 enodes) 1553935178.022 * * [simplify]: iters left: 1 (32 enodes) 1553935178.033 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935178.033 * * [simplify]: Extracting #1: cost 9 inf + 0 1553935178.033 * * [simplify]: Extracting #2: cost 25 inf + 1 1553935178.033 * * [simplify]: Extracting #3: cost 34 inf + 322 1553935178.033 * * [simplify]: Extracting #4: cost 27 inf + 3209 1553935178.034 * * [simplify]: Extracting #5: cost 22 inf + 4898 1553935178.034 * * [simplify]: Extracting #6: cost 11 inf + 15047 1553935178.036 * * [simplify]: Extracting #7: cost 0 inf + 29315 1553935178.038 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1553935178.038 * [simplify]: Simplified (2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))) 1553935178.039 * [simplify]: Simplifying (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) 1553935178.039 * * [simplify]: iters left: 6 (17 enodes) 1553935178.045 * * [simplify]: iters left: 5 (39 enodes) 1553935178.058 * * [simplify]: iters left: 4 (69 enodes) 1553935178.084 * * [simplify]: iters left: 3 (135 enodes) 1553935178.143 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935178.143 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935178.143 * * [simplify]: Extracting #2: cost 9 inf + 0 1553935178.143 * * [simplify]: Extracting #3: cost 8 inf + 2 1553935178.143 * * [simplify]: Extracting #4: cost 24 inf + 325 1553935178.144 * * [simplify]: Extracting #5: cost 114 inf + 325 1553935178.144 * * [simplify]: Extracting #6: cost 151 inf + 649 1553935178.146 * * [simplify]: Extracting #7: cost 179 inf + 5780 1553935178.147 * * [simplify]: Extracting #8: cost 171 inf + 11228 1553935178.149 * * [simplify]: Extracting #9: cost 155 inf + 20299 1553935178.158 * * [simplify]: Extracting #10: cost 45 inf + 156646 1553935178.167 * * [simplify]: Extracting #11: cost 3 inf + 219582 1553935178.180 * * [simplify]: Extracting #12: cost 0 inf + 221713 1553935178.192 * [simplify]: Simplified to (+.p16 (real->posit16 1) (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) 1553935178.192 * [simplify]: Simplified (2 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))) 1553935178.192 * * * * [progress]: [ 8 / 20 ] simplifiying candidate #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> 1553935178.192 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935178.192 * * [simplify]: iters left: 6 (18 enodes) 1553935178.197 * * [simplify]: iters left: 5 (41 enodes) 1553935178.204 * * [simplify]: iters left: 4 (83 enodes) 1553935178.220 * * [simplify]: iters left: 3 (164 enodes) 1553935178.266 * * [simplify]: iters left: 2 (496 enodes) 1553935178.537 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935178.537 * * [simplify]: Extracting #1: cost 21 inf + 0 1553935178.537 * * [simplify]: Extracting #2: cost 23 inf + 1 1553935178.537 * * [simplify]: Extracting #3: cost 121 inf + 3 1553935178.538 * * [simplify]: Extracting #4: cost 477 inf + 325 1553935178.541 * * [simplify]: Extracting #5: cost 788 inf + 4871 1553935178.554 * * [simplify]: Extracting #6: cost 663 inf + 189244 1553935178.593 * * [simplify]: Extracting #7: cost 195 inf + 927268 1553935178.660 * * [simplify]: Extracting #8: cost 10 inf + 1303684 1553935178.730 * * [simplify]: Extracting #9: cost 0 inf + 1332318 1553935178.801 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) 1553935178.801 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) 1553935178.802 * * * * [progress]: [ 9 / 20 ] simplifiying candidate #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> 1553935178.802 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) 1553935178.802 * * [simplify]: iters left: 6 (18 enodes) 1553935178.806 * * [simplify]: iters left: 5 (41 enodes) 1553935178.814 * * [simplify]: iters left: 4 (83 enodes) 1553935178.829 * * [simplify]: iters left: 3 (164 enodes) 1553935178.868 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935178.868 * * [simplify]: Extracting #1: cost 16 inf + 0 1553935178.868 * * [simplify]: Extracting #2: cost 18 inf + 1 1553935178.868 * * [simplify]: Extracting #3: cost 41 inf + 1 1553935178.868 * * [simplify]: Extracting #4: cost 129 inf + 3 1553935178.869 * * [simplify]: Extracting #5: cost 159 inf + 651 1553935178.870 * * [simplify]: Extracting #6: cost 163 inf + 16579 1553935178.873 * * [simplify]: Extracting #7: cost 66 inf + 116878 1553935178.883 * * [simplify]: Extracting #8: cost 4 inf + 214206 1553935178.893 * * [simplify]: Extracting #9: cost 0 inf + 221579 1553935178.904 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) 1553935178.904 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))) 1553935178.904 * * * * [progress]: [ 10 / 20 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> 1553935178.905 * [simplify]: Simplifying (*.p16 (real->posit16 1) a) 1553935178.905 * * [simplify]: iters left: 2 (4 enodes) 1553935178.906 * * [simplify]: iters left: 1 (10 enodes) 1553935178.908 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935178.908 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935178.908 * * [simplify]: Extracting #2: cost 3 inf + 1 1553935178.908 * * [simplify]: Extracting #3: cost 2 inf + 2 1553935178.908 * * [simplify]: Extracting #4: cost 0 inf + 325 1553935178.908 * [simplify]: Simplified to (*.p16 a (real->posit16 1)) 1553935178.908 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) 1553935178.908 * * * * [progress]: [ 11 / 20 ] simplifiying candidate #posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> 1553935178.908 * [simplify]: Simplifying (*.p16 a (real->posit16 1)) 1553935178.908 * * [simplify]: iters left: 2 (4 enodes) 1553935178.909 * * [simplify]: iters left: 1 (10 enodes) 1553935178.913 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935178.913 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935178.913 * * [simplify]: Extracting #2: cost 3 inf + 1 1553935178.913 * * [simplify]: Extracting #3: cost 0 inf + 325 1553935178.913 * [simplify]: Simplified to (*.p16 a (real->posit16 1)) 1553935178.913 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) 1553935178.913 * * * * [progress]: [ 12 / 20 ] simplifiying candidate #posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> 1553935178.913 * * * * [progress]: [ 13 / 20 ] simplifiying candidate #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> 1553935178.913 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935178.913 * * [simplify]: iters left: 4 (9 enodes) 1553935178.916 * * [simplify]: iters left: 3 (13 enodes) 1553935178.918 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935178.918 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935178.918 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935178.918 * * [simplify]: Extracting #3: cost 6 inf + 1 1553935178.918 * * [simplify]: Extracting #4: cost 7 inf + 2 1553935178.918 * * [simplify]: Extracting #5: cost 0 inf + 1813 1553935178.918 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935178.918 * [simplify]: Simplified (2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) 1553935178.919 * * * * [progress]: [ 14 / 20 ] simplifiying candidate #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> 1553935178.919 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)) 1553935178.919 * * [simplify]: iters left: 4 (9 enodes) 1553935178.921 * * [simplify]: iters left: 3 (13 enodes) 1553935178.923 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935178.923 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935178.923 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935178.923 * * [simplify]: Extracting #3: cost 5 inf + 2 1553935178.923 * * [simplify]: Extracting #4: cost 7 inf + 2 1553935178.923 * * [simplify]: Extracting #5: cost 4 inf + 5 1553935178.924 * * [simplify]: Extracting #6: cost 0 inf + 1813 1553935178.924 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)) 1553935178.924 * [simplify]: Simplified (2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) 1553935178.924 * * * * [progress]: [ 15 / 20 ] simplifiying candidate #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> 1553935178.924 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1553935178.924 * * [simplify]: iters left: 3 (7 enodes) 1553935178.926 * * [simplify]: iters left: 2 (12 enodes) 1553935178.928 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935178.928 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935178.928 * * [simplify]: Extracting #2: cost 4 inf + 1 1553935178.928 * * [simplify]: Extracting #3: cost 6 inf + 1 1553935178.928 * * [simplify]: Extracting #4: cost 0 inf + 930 1553935178.928 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1553935178.928 * [simplify]: Simplified (2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) 1553935178.928 * * * * [progress]: [ 16 / 20 ] simplifiying candidate #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> 1553935178.928 * * * * [progress]: [ 17 / 20 ] simplifiying candidate #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> 1553935178.929 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935178.929 * * [simplify]: iters left: 6 (17 enodes) 1553935178.933 * * [simplify]: iters left: 5 (41 enodes) 1553935178.940 * * [simplify]: iters left: 4 (101 enodes) 1553935178.962 * * [simplify]: iters left: 3 (291 enodes) 1553935179.051 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935179.052 * * [simplify]: Extracting #1: cost 48 inf + 0 1553935179.052 * * [simplify]: Extracting #2: cost 208 inf + 1 1553935179.053 * * [simplify]: Extracting #3: cost 275 inf + 1610 1553935179.054 * * [simplify]: Extracting #4: cost 319 inf + 9953 1553935179.056 * * [simplify]: Extracting #5: cost 302 inf + 20857 1553935179.058 * * [simplify]: Extracting #6: cost 279 inf + 36752 1553935179.066 * * [simplify]: Extracting #7: cost 152 inf + 206471 1553935179.089 * * [simplify]: Extracting #8: cost 9 inf + 486275 1553935179.113 * * [simplify]: Extracting #9: cost 0 inf + 499918 1553935179.140 * [simplify]: Simplified to (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935179.140 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) 1553935179.140 * * * * [progress]: [ 18 / 20 ] simplifiying candidate #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> 1553935179.141 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935179.141 * * [simplify]: iters left: 6 (17 enodes) 1553935179.145 * * [simplify]: iters left: 5 (41 enodes) 1553935179.153 * * [simplify]: iters left: 4 (101 enodes) 1553935179.175 * * [simplify]: iters left: 3 (291 enodes) 1553935179.283 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935179.283 * * [simplify]: Extracting #1: cost 48 inf + 0 1553935179.284 * * [simplify]: Extracting #2: cost 208 inf + 1 1553935179.286 * * [simplify]: Extracting #3: cost 275 inf + 1610 1553935179.288 * * [simplify]: Extracting #4: cost 319 inf + 9953 1553935179.290 * * [simplify]: Extracting #5: cost 302 inf + 20857 1553935179.292 * * [simplify]: Extracting #6: cost 279 inf + 36752 1553935179.302 * * [simplify]: Extracting #7: cost 152 inf + 206471 1553935179.334 * * [simplify]: Extracting #8: cost 9 inf + 486275 1553935179.370 * * [simplify]: Extracting #9: cost 0 inf + 499918 1553935179.409 * [simplify]: Simplified to (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935179.409 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) 1553935179.409 * * * * [progress]: [ 19 / 20 ] simplifiying candidate #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> 1553935179.409 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935179.409 * * [simplify]: iters left: 6 (17 enodes) 1553935179.415 * * [simplify]: iters left: 5 (41 enodes) 1553935179.427 * * [simplify]: iters left: 4 (101 enodes) 1553935179.460 * * [simplify]: iters left: 3 (291 enodes) 1553935179.591 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935179.591 * * [simplify]: Extracting #1: cost 48 inf + 0 1553935179.591 * * [simplify]: Extracting #2: cost 208 inf + 1 1553935179.593 * * [simplify]: Extracting #3: cost 275 inf + 1610 1553935179.595 * * [simplify]: Extracting #4: cost 319 inf + 9953 1553935179.597 * * [simplify]: Extracting #5: cost 302 inf + 20857 1553935179.600 * * [simplify]: Extracting #6: cost 279 inf + 36752 1553935179.612 * * [simplify]: Extracting #7: cost 152 inf + 206471 1553935179.644 * * [simplify]: Extracting #8: cost 9 inf + 486275 1553935179.681 * * [simplify]: Extracting #9: cost 0 inf + 499918 1553935179.718 * [simplify]: Simplified to (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935179.718 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) 1553935179.718 * * * * [progress]: [ 20 / 20 ] simplifiying candidate #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> 1553935179.718 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935179.718 * * [simplify]: iters left: 6 (17 enodes) 1553935179.722 * * [simplify]: iters left: 5 (41 enodes) 1553935179.732 * * [simplify]: iters left: 4 (101 enodes) 1553935179.764 * * [simplify]: iters left: 3 (291 enodes) 1553935179.871 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935179.871 * * [simplify]: Extracting #1: cost 48 inf + 0 1553935179.872 * * [simplify]: Extracting #2: cost 208 inf + 1 1553935179.873 * * [simplify]: Extracting #3: cost 275 inf + 1610 1553935179.874 * * [simplify]: Extracting #4: cost 319 inf + 9953 1553935179.875 * * [simplify]: Extracting #5: cost 302 inf + 20857 1553935179.877 * * [simplify]: Extracting #6: cost 279 inf + 36752 1553935179.888 * * [simplify]: Extracting #7: cost 152 inf + 206471 1553935179.911 * * [simplify]: Extracting #8: cost 9 inf + 486275 1553935179.936 * * [simplify]: Extracting #9: cost 0 inf + 499918 1553935179.963 * [simplify]: Simplified to (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935179.963 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) 1553935179.963 * * * [progress]: adding candidates to table 1553935181.240 * * [progress]: iteration 3 / 4 1553935181.240 * * * [progress]: picking best candidate 1553935181.475 * * * * [pick]: Picked #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> 1553935181.475 * * * [progress]: localizing error 1553935181.999 * * * [progress]: generating rewritten candidates 1553935181.999 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1553935182.004 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1553935182.011 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2) 1553935182.011 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1) 1553935182.016 * * * [progress]: generating series expansions 1553935182.016 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1553935182.016 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1553935182.016 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2) 1553935182.016 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1) 1553935182.016 * * * [progress]: simplifying candidates 1553935182.016 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> 1553935182.016 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935182.016 * * [simplify]: iters left: 6 (18 enodes) 1553935182.024 * * [simplify]: iters left: 5 (41 enodes) 1553935182.035 * * [simplify]: iters left: 4 (83 enodes) 1553935182.057 * * [simplify]: iters left: 3 (164 enodes) 1553935182.114 * * [simplify]: iters left: 2 (496 enodes) 1553935182.450 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935182.450 * * [simplify]: Extracting #1: cost 21 inf + 0 1553935182.450 * * [simplify]: Extracting #2: cost 23 inf + 1 1553935182.451 * * [simplify]: Extracting #3: cost 121 inf + 3 1553935182.453 * * [simplify]: Extracting #4: cost 477 inf + 325 1553935182.459 * * [simplify]: Extracting #5: cost 788 inf + 4871 1553935182.481 * * [simplify]: Extracting #6: cost 663 inf + 189244 1553935182.530 * * [simplify]: Extracting #7: cost 195 inf + 927268 1553935182.647 * * [simplify]: Extracting #8: cost 10 inf + 1303684 1553935182.776 * * [simplify]: Extracting #9: cost 0 inf + 1332318 1553935182.877 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) 1553935182.877 * [simplify]: Simplified (2 2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) 1553935182.877 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))))> 1553935182.877 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) 1553935182.877 * * [simplify]: iters left: 6 (18 enodes) 1553935182.882 * * [simplify]: iters left: 5 (41 enodes) 1553935182.890 * * [simplify]: iters left: 4 (83 enodes) 1553935182.906 * * [simplify]: iters left: 3 (164 enodes) 1553935182.943 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935182.943 * * [simplify]: Extracting #1: cost 16 inf + 0 1553935182.944 * * [simplify]: Extracting #2: cost 18 inf + 1 1553935182.944 * * [simplify]: Extracting #3: cost 41 inf + 1 1553935182.944 * * [simplify]: Extracting #4: cost 129 inf + 3 1553935182.944 * * [simplify]: Extracting #5: cost 159 inf + 651 1553935182.945 * * [simplify]: Extracting #6: cost 163 inf + 16579 1553935182.949 * * [simplify]: Extracting #7: cost 66 inf + 116878 1553935182.958 * * [simplify]: Extracting #8: cost 4 inf + 214206 1553935182.969 * * [simplify]: Extracting #9: cost 0 inf + 221579 1553935182.981 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) 1553935182.981 * [simplify]: Simplified (2 2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))) 1553935182.981 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> 1553935182.981 * [simplify]: Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) 1553935182.982 * * [simplify]: iters left: 6 (14 enodes) 1553935182.985 * * [simplify]: iters left: 5 (30 enodes) 1553935182.991 * * [simplify]: iters left: 4 (56 enodes) 1553935183.002 * * [simplify]: iters left: 3 (122 enodes) 1553935183.053 * * [simplify]: iters left: 2 (499 enodes) 1553935183.581 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935183.581 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935183.581 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935183.581 * * [simplify]: Extracting #3: cost 93 inf + 1 1553935183.583 * * [simplify]: Extracting #4: cost 451 inf + 2 1553935183.587 * * [simplify]: Extracting #5: cost 850 inf + 2252 1553935183.592 * * [simplify]: Extracting #6: cost 904 inf + 7387 1553935183.600 * * [simplify]: Extracting #7: cost 835 inf + 65272 1553935183.627 * * [simplify]: Extracting #8: cost 579 inf + 361623 1553935183.698 * * [simplify]: Extracting #9: cost 181 inf + 1076854 1553935183.770 * * [simplify]: Extracting #10: cost 6 inf + 1471563 1553935183.858 * * [simplify]: Extracting #11: cost 0 inf + 1485305 1553935183.964 * * [simplify]: Extracting #12: cost 0 inf + 1484905 1553935184.073 * [simplify]: Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) 1553935184.073 * [simplify]: Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) 1553935184.073 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> 1553935184.074 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1553935184.074 * * [simplify]: iters left: 3 (7 enodes) 1553935184.077 * * [simplify]: iters left: 2 (12 enodes) 1553935184.080 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935184.080 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935184.080 * * [simplify]: Extracting #2: cost 4 inf + 1 1553935184.080 * * [simplify]: Extracting #3: cost 6 inf + 1 1553935184.080 * * [simplify]: Extracting #4: cost 0 inf + 930 1553935184.080 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1553935184.080 * [simplify]: Simplified (2 2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) 1553935184.080 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))> 1553935184.081 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935184.081 * * [simplify]: iters left: 4 (12 enodes) 1553935184.085 * * [simplify]: iters left: 3 (32 enodes) 1553935184.094 * * [simplify]: iters left: 2 (72 enodes) 1553935184.120 * * [simplify]: iters left: 1 (187 enodes) 1553935184.199 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935184.199 * * [simplify]: Extracting #1: cost 23 inf + 0 1553935184.200 * * [simplify]: Extracting #2: cost 127 inf + 1 1553935184.201 * * [simplify]: Extracting #3: cost 199 inf + 1612 1553935184.202 * * [simplify]: Extracting #4: cost 224 inf + 11556 1553935184.204 * * [simplify]: Extracting #5: cost 214 inf + 19246 1553935184.209 * * [simplify]: Extracting #6: cost 205 inf + 24740 1553935184.216 * * [simplify]: Extracting #7: cost 101 inf + 143111 1553935184.234 * * [simplify]: Extracting #8: cost 13 inf + 275987 1553935184.254 * * [simplify]: Extracting #9: cost 0 inf + 294918 1553935184.274 * [simplify]: Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935184.275 * [simplify]: Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) 1553935184.275 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))))> 1553935184.275 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #posit16 1) a) (+.p16 (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> 1553935184.275 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935184.275 * * [simplify]: iters left: 6 (18 enodes) 1553935184.282 * * [simplify]: iters left: 5 (41 enodes) 1553935184.292 * * [simplify]: iters left: 4 (83 enodes) 1553935184.314 * * [simplify]: iters left: 3 (164 enodes) 1553935184.370 * * [simplify]: iters left: 2 (496 enodes) 1553935184.760 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935184.760 * * [simplify]: Extracting #1: cost 21 inf + 0 1553935184.760 * * [simplify]: Extracting #2: cost 23 inf + 1 1553935184.760 * * [simplify]: Extracting #3: cost 121 inf + 3 1553935184.762 * * [simplify]: Extracting #4: cost 477 inf + 325 1553935184.764 * * [simplify]: Extracting #5: cost 788 inf + 4871 1553935184.778 * * [simplify]: Extracting #6: cost 663 inf + 189244 1553935184.825 * * [simplify]: Extracting #7: cost 195 inf + 927268 1553935184.912 * * [simplify]: Extracting #8: cost 10 inf + 1303684 1553935184.995 * * [simplify]: Extracting #9: cost 0 inf + 1332318 1553935185.088 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) 1553935185.089 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) 1553935185.089 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #posit16 1) a) (+.p16 (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))))> 1553935185.089 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) 1553935185.089 * * [simplify]: iters left: 6 (18 enodes) 1553935185.094 * * [simplify]: iters left: 5 (41 enodes) 1553935185.102 * * [simplify]: iters left: 4 (83 enodes) 1553935185.120 * * [simplify]: iters left: 3 (164 enodes) 1553935185.174 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935185.174 * * [simplify]: Extracting #1: cost 16 inf + 0 1553935185.174 * * [simplify]: Extracting #2: cost 18 inf + 1 1553935185.175 * * [simplify]: Extracting #3: cost 41 inf + 1 1553935185.175 * * [simplify]: Extracting #4: cost 129 inf + 3 1553935185.176 * * [simplify]: Extracting #5: cost 159 inf + 651 1553935185.177 * * [simplify]: Extracting #6: cost 163 inf + 16579 1553935185.185 * * [simplify]: Extracting #7: cost 66 inf + 116878 1553935185.195 * * [simplify]: Extracting #8: cost 4 inf + 214206 1553935185.205 * * [simplify]: Extracting #9: cost 0 inf + 221579 1553935185.221 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) 1553935185.221 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))) 1553935185.221 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> 1553935185.221 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> 1553935185.221 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935185.222 * * [simplify]: iters left: 4 (9 enodes) 1553935185.225 * * [simplify]: iters left: 3 (13 enodes) 1553935185.229 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935185.229 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935185.229 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935185.229 * * [simplify]: Extracting #3: cost 6 inf + 1 1553935185.229 * * [simplify]: Extracting #4: cost 7 inf + 2 1553935185.230 * * [simplify]: Extracting #5: cost 0 inf + 1813 1553935185.230 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935185.230 * [simplify]: Simplified (2 2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) 1553935185.230 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> 1553935185.230 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)) 1553935185.230 * * [simplify]: iters left: 4 (9 enodes) 1553935185.234 * * [simplify]: iters left: 3 (13 enodes) 1553935185.237 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935185.237 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935185.237 * * [simplify]: Extracting #2: cost 5 inf + 0 1553935185.237 * * [simplify]: Extracting #3: cost 5 inf + 2 1553935185.237 * * [simplify]: Extracting #4: cost 7 inf + 2 1553935185.237 * * [simplify]: Extracting #5: cost 4 inf + 5 1553935185.237 * * [simplify]: Extracting #6: cost 0 inf + 1813 1553935185.238 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)) 1553935185.238 * [simplify]: Simplified (2 2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) 1553935185.238 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> 1553935185.238 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1553935185.238 * * [simplify]: iters left: 3 (7 enodes) 1553935185.241 * * [simplify]: iters left: 2 (12 enodes) 1553935185.244 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935185.244 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935185.244 * * [simplify]: Extracting #2: cost 4 inf + 1 1553935185.244 * * [simplify]: Extracting #3: cost 6 inf + 1 1553935185.244 * * [simplify]: Extracting #4: cost 0 inf + 930 1553935185.244 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1553935185.244 * [simplify]: Simplified (2 2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) 1553935185.244 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> 1553935185.244 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> 1553935185.245 * [simplify]: Simplifying (*.p16 (real->posit16 1) a) 1553935185.245 * * [simplify]: iters left: 2 (4 enodes) 1553935185.246 * * [simplify]: iters left: 1 (10 enodes) 1553935185.248 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935185.248 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935185.248 * * [simplify]: Extracting #2: cost 3 inf + 1 1553935185.249 * * [simplify]: Extracting #3: cost 2 inf + 2 1553935185.249 * * [simplify]: Extracting #4: cost 0 inf + 325 1553935185.249 * [simplify]: Simplified to (*.p16 a (real->posit16 1)) 1553935185.249 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) 1553935185.249 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> 1553935185.249 * [simplify]: Simplifying (*.p16 (real->posit16 1) a) 1553935185.249 * * [simplify]: iters left: 2 (4 enodes) 1553935185.251 * * [simplify]: iters left: 1 (10 enodes) 1553935185.253 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935185.253 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935185.253 * * [simplify]: Extracting #2: cost 3 inf + 1 1553935185.253 * * [simplify]: Extracting #3: cost 2 inf + 2 1553935185.253 * * [simplify]: Extracting #4: cost 0 inf + 325 1553935185.253 * [simplify]: Simplified to (*.p16 a (real->posit16 1)) 1553935185.253 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) 1553935185.253 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> 1553935185.254 * [simplify]: Simplifying (*.p16 (real->posit16 1) a) 1553935185.254 * * [simplify]: iters left: 2 (4 enodes) 1553935185.255 * * [simplify]: iters left: 1 (10 enodes) 1553935185.257 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935185.258 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935185.258 * * [simplify]: Extracting #2: cost 3 inf + 1 1553935185.258 * * [simplify]: Extracting #3: cost 2 inf + 2 1553935185.258 * * [simplify]: Extracting #4: cost 0 inf + 325 1553935185.258 * [simplify]: Simplified to (*.p16 a (real->posit16 1)) 1553935185.258 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) 1553935185.258 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> 1553935185.258 * [simplify]: Simplifying (*.p16 (real->posit16 1) a) 1553935185.258 * * [simplify]: iters left: 2 (4 enodes) 1553935185.260 * * [simplify]: iters left: 1 (10 enodes) 1553935185.262 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935185.262 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935185.263 * * [simplify]: Extracting #2: cost 3 inf + 1 1553935185.263 * * [simplify]: Extracting #3: cost 2 inf + 2 1553935185.263 * * [simplify]: Extracting #4: cost 0 inf + 325 1553935185.263 * [simplify]: Simplified to (*.p16 a (real->posit16 1)) 1553935185.263 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) 1553935185.263 * * * [progress]: adding candidates to table 1553935186.471 * * [progress]: iteration 4 / 4 1553935186.472 * * * [progress]: picking best candidate 1553935186.724 * * * * [pick]: Picked #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))> 1553935186.724 * * * [progress]: localizing error 1553935187.167 * * * [progress]: generating rewritten candidates 1553935187.167 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 1553935187.171 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1553935187.184 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 1553935187.184 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 1553935187.188 * * * [progress]: generating series expansions 1553935187.188 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 1553935187.188 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1553935187.189 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 1553935187.189 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 1553935187.189 * * * [progress]: simplifying candidates 1553935187.189 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (real->posit16 1) rand) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> 1553935187.189 * [simplify]: Simplifying (*.p16 (real->posit16 1) rand) 1553935187.189 * * [simplify]: iters left: 2 (4 enodes) 1553935187.191 * * [simplify]: iters left: 1 (10 enodes) 1553935187.192 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935187.192 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935187.192 * * [simplify]: Extracting #2: cost 3 inf + 1 1553935187.192 * * [simplify]: Extracting #3: cost 2 inf + 2 1553935187.193 * * [simplify]: Extracting #4: cost 0 inf + 325 1553935187.193 * [simplify]: Simplified to (*.p16 rand (real->posit16 1)) 1553935187.193 * [simplify]: Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 rand (real->posit16 1)) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) 1553935187.193 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> 1553935187.193 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) 1553935187.193 * * [simplify]: iters left: 5 (14 enodes) 1553935187.196 * * [simplify]: iters left: 4 (41 enodes) 1553935187.205 * * [simplify]: iters left: 3 (108 enodes) 1553935187.235 * * [simplify]: iters left: 2 (438 enodes) 1553935187.903 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935187.903 * * [simplify]: Extracting #1: cost 83 inf + 0 1553935187.905 * * [simplify]: Extracting #2: cost 471 inf + 1 1553935187.908 * * [simplify]: Extracting #3: cost 651 inf + 9953 1553935187.911 * * [simplify]: Extracting #4: cost 699 inf + 32726 1553935187.916 * * [simplify]: Extracting #5: cost 662 inf + 64573 1553935187.938 * * [simplify]: Extracting #6: cost 367 inf + 464714 1553935187.992 * * [simplify]: Extracting #7: cost 20 inf + 1124190 1553935188.048 * * [simplify]: Extracting #8: cost 0 inf + 1154503 1553935188.102 * * [simplify]: Extracting #9: cost 0 inf + 1153663 1553935188.158 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 rand (real->posit16 1)) (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935188.158 * [simplify]: Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (*.p16 rand (real->posit16 1)) (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) 1553935188.158 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #posit16 1) a) (+.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> 1553935188.158 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (+.p16 (*.p16 (*.p16 (real->posit16 1) rand) a) (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))> 1553935188.158 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935188.159 * * [simplify]: iters left: 4 (11 enodes) 1553935188.163 * * [simplify]: iters left: 3 (22 enodes) 1553935188.168 * * [simplify]: iters left: 2 (30 enodes) 1553935188.175 * * [simplify]: iters left: 1 (32 enodes) 1553935188.180 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935188.180 * * [simplify]: Extracting #1: cost 7 inf + 0 1553935188.180 * * [simplify]: Extracting #2: cost 8 inf + 1 1553935188.180 * * [simplify]: Extracting #3: cost 9 inf + 2 1553935188.180 * * [simplify]: Extracting #4: cost 9 inf + 325 1553935188.180 * * [simplify]: Extracting #5: cost 5 inf + 329 1553935188.180 * * [simplify]: Extracting #6: cost 2 inf + 2136 1553935188.181 * * [simplify]: Extracting #7: cost 0 inf + 4143 1553935188.181 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (real->posit16 1)) 1553935188.181 * [simplify]: Simplified (2 2 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (+.p16 (*.p16 (*.p16 (real->posit16 1) rand) a) (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (real->posit16 1))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) 1553935188.181 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (+.p16 (*.p16 a (*.p16 (real->posit16 1) rand)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))> 1553935188.181 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) 1553935188.181 * * [simplify]: iters left: 4 (11 enodes) 1553935188.184 * * [simplify]: iters left: 3 (22 enodes) 1553935188.189 * * [simplify]: iters left: 2 (30 enodes) 1553935188.196 * * [simplify]: iters left: 1 (32 enodes) 1553935188.203 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935188.203 * * [simplify]: Extracting #1: cost 7 inf + 0 1553935188.203 * * [simplify]: Extracting #2: cost 8 inf + 1 1553935188.204 * * [simplify]: Extracting #3: cost 9 inf + 2 1553935188.204 * * [simplify]: Extracting #4: cost 9 inf + 325 1553935188.204 * * [simplify]: Extracting #5: cost 6 inf + 328 1553935188.204 * * [simplify]: Extracting #6: cost 5 inf + 329 1553935188.204 * * [simplify]: Extracting #7: cost 1 inf + 2979 1553935188.205 * * [simplify]: Extracting #8: cost 0 inf + 4143 1553935188.205 * [simplify]: Simplified to (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))) 1553935188.205 * [simplify]: Simplified (2 2 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (+.p16 (*.p16 a (*.p16 (real->posit16 1) rand)) (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) 1553935188.205 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (real->posit16 1) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))> 1553935188.206 * [simplify]: Simplifying (real->posit16 1) 1553935188.206 * * [simplify]: iters left: 1 (2 enodes) 1553935188.207 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935188.207 * * [simplify]: Extracting #1: cost 2 inf + 0 1553935188.207 * * [simplify]: Extracting #2: cost 1 inf + 1 1553935188.207 * * [simplify]: Extracting #3: cost 0 inf + 2 1553935188.207 * [simplify]: Simplified to (real->posit16 1) 1553935188.207 * [simplify]: Simplified (2 2 2 1 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (real->posit16 1) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) 1553935188.207 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))> 1553935188.207 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1553935188.207 * * [simplify]: iters left: 3 (7 enodes) 1553935188.210 * * [simplify]: iters left: 2 (12 enodes) 1553935188.213 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935188.214 * * [simplify]: Extracting #1: cost 3 inf + 0 1553935188.214 * * [simplify]: Extracting #2: cost 4 inf + 1 1553935188.214 * * [simplify]: Extracting #3: cost 6 inf + 1 1553935188.214 * * [simplify]: Extracting #4: cost 0 inf + 930 1553935188.214 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1553935188.214 * [simplify]: Simplified (2 2 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) 1553935188.214 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))> 1553935188.214 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))> 1553935188.214 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935188.215 * * [simplify]: iters left: 4 (12 enodes) 1553935188.219 * * [simplify]: iters left: 3 (32 enodes) 1553935188.227 * * [simplify]: iters left: 2 (72 enodes) 1553935188.246 * * [simplify]: iters left: 1 (187 enodes) 1553935188.322 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935188.322 * * [simplify]: Extracting #1: cost 23 inf + 0 1553935188.322 * * [simplify]: Extracting #2: cost 127 inf + 1 1553935188.323 * * [simplify]: Extracting #3: cost 199 inf + 1612 1553935188.325 * * [simplify]: Extracting #4: cost 224 inf + 11556 1553935188.326 * * [simplify]: Extracting #5: cost 214 inf + 19246 1553935188.327 * * [simplify]: Extracting #6: cost 205 inf + 24740 1553935188.332 * * [simplify]: Extracting #7: cost 101 inf + 143111 1553935188.344 * * [simplify]: Extracting #8: cost 13 inf + 275987 1553935188.360 * * [simplify]: Extracting #9: cost 0 inf + 294918 1553935188.374 * [simplify]: Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935188.374 * [simplify]: Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) 1553935188.374 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))> 1553935188.374 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935188.374 * * [simplify]: iters left: 4 (12 enodes) 1553935188.378 * * [simplify]: iters left: 3 (32 enodes) 1553935188.383 * * [simplify]: iters left: 2 (72 enodes) 1553935188.398 * * [simplify]: iters left: 1 (187 enodes) 1553935188.455 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935188.456 * * [simplify]: Extracting #1: cost 23 inf + 0 1553935188.456 * * [simplify]: Extracting #2: cost 127 inf + 1 1553935188.457 * * [simplify]: Extracting #3: cost 199 inf + 1612 1553935188.458 * * [simplify]: Extracting #4: cost 224 inf + 11556 1553935188.459 * * [simplify]: Extracting #5: cost 214 inf + 19246 1553935188.460 * * [simplify]: Extracting #6: cost 205 inf + 24740 1553935188.465 * * [simplify]: Extracting #7: cost 101 inf + 143111 1553935188.479 * * [simplify]: Extracting #8: cost 13 inf + 275987 1553935188.497 * * [simplify]: Extracting #9: cost 0 inf + 294918 1553935188.520 * [simplify]: Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935188.520 * [simplify]: Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) 1553935188.520 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))> 1553935188.520 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935188.520 * * [simplify]: iters left: 4 (12 enodes) 1553935188.525 * * [simplify]: iters left: 3 (32 enodes) 1553935188.530 * * [simplify]: iters left: 2 (72 enodes) 1553935188.545 * * [simplify]: iters left: 1 (187 enodes) 1553935188.625 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935188.625 * * [simplify]: Extracting #1: cost 23 inf + 0 1553935188.625 * * [simplify]: Extracting #2: cost 127 inf + 1 1553935188.626 * * [simplify]: Extracting #3: cost 199 inf + 1612 1553935188.628 * * [simplify]: Extracting #4: cost 224 inf + 11556 1553935188.630 * * [simplify]: Extracting #5: cost 214 inf + 19246 1553935188.632 * * [simplify]: Extracting #6: cost 205 inf + 24740 1553935188.638 * * [simplify]: Extracting #7: cost 101 inf + 143111 1553935188.652 * * [simplify]: Extracting #8: cost 13 inf + 275987 1553935188.672 * * [simplify]: Extracting #9: cost 0 inf + 294918 1553935188.692 * [simplify]: Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935188.692 * [simplify]: Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) 1553935188.692 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))> 1553935188.693 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935188.693 * * [simplify]: iters left: 4 (12 enodes) 1553935188.697 * * [simplify]: iters left: 3 (32 enodes) 1553935188.705 * * [simplify]: iters left: 2 (72 enodes) 1553935188.726 * * [simplify]: iters left: 1 (187 enodes) 1553935188.798 * * [simplify]: Extracting #0: cost 1 inf + 0 1553935188.798 * * [simplify]: Extracting #1: cost 23 inf + 0 1553935188.798 * * [simplify]: Extracting #2: cost 127 inf + 1 1553935188.799 * * [simplify]: Extracting #3: cost 199 inf + 1612 1553935188.800 * * [simplify]: Extracting #4: cost 224 inf + 11556 1553935188.801 * * [simplify]: Extracting #5: cost 214 inf + 19246 1553935188.802 * * [simplify]: Extracting #6: cost 205 inf + 24740 1553935188.806 * * [simplify]: Extracting #7: cost 101 inf + 143111 1553935188.820 * * [simplify]: Extracting #8: cost 13 inf + 275987 1553935188.838 * * [simplify]: Extracting #9: cost 0 inf + 294918 1553935188.852 * [simplify]: Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1553935188.852 * [simplify]: Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) 1553935188.852 * * * [progress]: adding candidates to table 1553935189.722 * [progress]: [Phase 3 of 3] Extracting. 1553935189.722 * * [regime]: Finding splitpoints for: (#posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))> #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (*.p16 rand (real->posit16 1)) (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (real->posit16 1) rand) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>) 1553935189.726 * * * [regime-changes]: Trying 2 branch expressions: (rand a) 1553935189.727 * * * * [regimes]: Trying to branch on rand from (#posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))> #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (*.p16 rand (real->posit16 1)) (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (real->posit16 1) rand) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>) 1553935190.202 * * * * [regimes]: Trying to branch on a from (#posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))> #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (*.p16 rand (real->posit16 1)) (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (real->posit16 1) rand) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>) 1553935190.698 * * * [regime]: Found split indices: #