1550842844.662 * [misc]progress: [Phase 1 of 3] Setting up. 1550842844.662 * * * [misc]progress: [1/2] Preparing points 1550842844.662 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1550842844.664 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1550842844.669 * * * * [misc]points: Setting MPFR precision to 64 1550842844.671 * * * * [misc]points: Setting MPFR precision to 320 1550842844.672 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1550842844.676 * * * * [misc]points: Setting MPFR precision to 64 1550842844.678 * * * * [misc]points: Setting MPFR precision to 320 1550842844.680 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1550842844.684 * * * * [misc]points: Setting MPFR precision to 64 1550842844.687 * * * * [misc]points: Setting MPFR precision to 320 1550842844.690 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1550842844.695 * * * * [misc]points: Setting MPFR precision to 64 1550842844.705 * * * * [misc]points: Setting MPFR precision to 320 1550842844.711 * * * * [misc]points: Computing exacts for 256 points 1550842844.715 * * * * [misc]points: Setting MPFR precision to 64 1550842844.729 * * * * [misc]points: Setting MPFR precision to 320 1550842844.747 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842844.752 * * * * [misc]points: Sampling 167 additional inputs, on iter 1 have 89 / 256 1550842844.753 * * * * [misc]points: Computing exacts on every 10 of 167 points to ramp up precision 1550842844.757 * * * * [misc]points: Setting MPFR precision to 64 1550842844.758 * * * * [misc]points: Setting MPFR precision to 320 1550842844.759 * * * * [misc]points: Computing exacts on every 5 of 167 points to ramp up precision 1550842844.763 * * * * [misc]points: Setting MPFR precision to 64 1550842844.765 * * * * [misc]points: Setting MPFR precision to 320 1550842844.767 * * * * [misc]points: Computing exacts on every 2 of 167 points to ramp up precision 1550842844.771 * * * * [misc]points: Setting MPFR precision to 64 1550842844.774 * * * * [misc]points: Setting MPFR precision to 320 1550842844.778 * * * * [misc]points: Computing exacts for 167 points 1550842844.782 * * * * [misc]points: Setting MPFR precision to 64 1550842844.791 * * * * [misc]points: Setting MPFR precision to 320 1550842844.818 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842844.822 * * * * [misc]points: Sampling 116 additional inputs, on iter 2 have 140 / 256 1550842844.823 * * * * [misc]points: Computing exacts on every 7 of 116 points to ramp up precision 1550842844.827 * * * * [misc]points: Setting MPFR precision to 64 1550842844.828 * * * * [misc]points: Setting MPFR precision to 320 1550842844.829 * * * * [misc]points: Computing exacts on every 3 of 116 points to ramp up precision 1550842844.834 * * * * [misc]points: Setting MPFR precision to 64 1550842844.835 * * * * [misc]points: Setting MPFR precision to 320 1550842844.837 * * * * [misc]points: Computing exacts for 116 points 1550842844.843 * * * * [misc]points: Setting MPFR precision to 64 1550842844.851 * * * * [misc]points: Setting MPFR precision to 320 1550842844.859 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842844.863 * * * * [misc]points: Sampling 82 additional inputs, on iter 3 have 174 / 256 1550842844.863 * * * * [misc]points: Computing exacts on every 5 of 82 points to ramp up precision 1550842844.870 * * * * [misc]points: Setting MPFR precision to 64 1550842844.871 * * * * [misc]points: Setting MPFR precision to 320 1550842844.872 * * * * [misc]points: Computing exacts on every 2 of 82 points to ramp up precision 1550842844.879 * * * * [misc]points: Setting MPFR precision to 64 1550842844.882 * * * * [misc]points: Setting MPFR precision to 320 1550842844.885 * * * * [misc]points: Computing exacts for 82 points 1550842844.890 * * * * [misc]points: Setting MPFR precision to 64 1550842844.894 * * * * [misc]points: Setting MPFR precision to 320 1550842844.901 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842844.904 * * * * [misc]points: Sampling 51 additional inputs, on iter 4 have 205 / 256 1550842844.904 * * * * [misc]points: Computing exacts on every 3 of 51 points to ramp up precision 1550842844.929 * * * * [misc]points: Setting MPFR precision to 64 1550842844.931 * * * * [misc]points: Setting MPFR precision to 320 1550842844.932 * * * * [misc]points: Computing exacts for 51 points 1550842844.938 * * * * [misc]points: Setting MPFR precision to 64 1550842844.941 * * * * [misc]points: Setting MPFR precision to 320 1550842844.945 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842844.947 * * * * [misc]points: Sampling 32 additional inputs, on iter 5 have 224 / 256 1550842844.947 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1550842844.953 * * * * [misc]points: Setting MPFR precision to 64 1550842844.955 * * * * [misc]points: Setting MPFR precision to 320 1550842844.956 * * * * [misc]points: Computing exacts for 32 points 1550842844.962 * * * * [misc]points: Setting MPFR precision to 64 1550842844.965 * * * * [misc]points: Setting MPFR precision to 320 1550842844.968 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842844.969 * * * * [misc]points: Sampling 24 additional inputs, on iter 6 have 232 / 256 1550842844.969 * * * * [misc]points: Computing exacts for 24 points 1550842844.975 * * * * [misc]points: Setting MPFR precision to 64 1550842844.977 * * * * [misc]points: Setting MPFR precision to 320 1550842844.980 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842844.980 * * * * [misc]points: Sampling 20 additional inputs, on iter 7 have 236 / 256 1550842844.980 * * * * [misc]points: Computing exacts for 20 points 1550842844.987 * * * * [misc]points: Setting MPFR precision to 64 1550842844.988 * * * * [misc]points: Setting MPFR precision to 320 1550842844.990 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842844.990 * * * * [misc]points: Sampling 15 additional inputs, on iter 8 have 241 / 256 1550842844.990 * * * * [misc]points: Computing exacts for 15 points 1550842844.994 * * * * [misc]points: Setting MPFR precision to 64 1550842844.996 * * * * [misc]points: Setting MPFR precision to 320 1550842844.997 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842844.997 * * * * [misc]points: Sampling 8 additional inputs, on iter 9 have 248 / 256 1550842844.997 * * * * [misc]points: Computing exacts for 8 points 1550842845.001 * * * * [misc]points: Setting MPFR precision to 64 1550842845.002 * * * * [misc]points: Setting MPFR precision to 320 1550842845.002 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842845.003 * * * * [misc]points: Sampling 6 additional inputs, on iter 10 have 250 / 256 1550842845.003 * * * * [misc]points: Computing exacts for 6 points 1550842845.009 * * * * [misc]points: Setting MPFR precision to 64 1550842845.009 * * * * [misc]points: Setting MPFR precision to 320 1550842845.010 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842845.010 * * * * [misc]points: Sampling 5 additional inputs, on iter 11 have 251 / 256 1550842845.010 * * * * [misc]points: Computing exacts for 5 points 1550842845.030 * * * * [misc]points: Setting MPFR precision to 64 1550842845.031 * * * * [misc]points: Setting MPFR precision to 320 1550842845.031 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842845.031 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 253 / 256 1550842845.031 * * * * [misc]points: Computing exacts for 4 points 1550842845.038 * * * * [misc]points: Setting MPFR precision to 64 1550842845.039 * * * * [misc]points: Setting MPFR precision to 320 1550842845.039 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842845.039 * * * * [misc]points: Sampling 4 additional inputs, on iter 13 have 255 / 256 1550842845.039 * * * * [misc]points: Computing exacts for 4 points 1550842845.046 * * * * [misc]points: Setting MPFR precision to 64 1550842845.047 * * * * [misc]points: Setting MPFR precision to 320 1550842845.047 * * * * [misc]points: Filtering points with unrepresentable outputs 1550842845.047 * * * * [exit]points: Sampled 257 points with exact outputs 1550842845.047 * * * [misc]progress: [2/2] Setting up program. 1550842845.081 * [misc]progress: [Phase 2 of 3] Improving. 1550842845.081 * * * * [misc]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))))> 1550842845.081 * [enter]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))) 1550842845.082 * * [misc]simplify: iters left: 6 (18 enodes) 1550842845.088 * * [misc]simplify: iters left: 5 (47 enodes) 1550842845.102 * * [misc]simplify: iters left: 4 (121 enodes) 1550842845.150 * * [misc]simplify: iters left: 3 (337 enodes) 1550842845.308 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842845.308 * * [misc]simplify: Extracting #1: cost 34 inf + 0 1550842845.309 * * [misc]simplify: Extracting #2: cost 204 inf + 0 1550842845.311 * * [misc]simplify: Extracting #3: cost 326 inf + 1286 1550842845.317 * * [misc]simplify: Extracting #4: cost 362 inf + 6740 1550842845.320 * * [misc]simplify: Extracting #5: cost 377 inf + 18286 1550842845.322 * * [misc]simplify: Extracting #6: cost 358 inf + 29885 1550842845.329 * * [misc]simplify: Extracting #7: cost 252 inf + 186163 1550842845.359 * * [misc]simplify: Extracting #8: cost 47 inf + 586692 1550842845.399 * * [misc]simplify: Extracting #9: cost 0 inf + 696950 1550842845.450 * * [misc]simplify: Extracting #10: cost 0 inf + 694590 1550842845.514 * [exit]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)))))) 1550842845.514 * [misc]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))))))) 1550842845.539 * * [misc]progress: iteration 1 / 4 1550842845.539 * * * [misc]progress: picking best candidate 1550842845.578 * * * * [misc]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))))> 1550842845.578 * * * [misc]progress: localizing error 1550842845.991 * * * [misc]progress: generating rewritten candidates 1550842845.991 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2) 1550842845.995 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 2 1 2) 1550842845.996 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 2 1) 1550842845.997 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 2 1 2 1) 1550842846.000 * * * [misc]progress: generating series expansions 1550842846.000 * * * * [misc]progress: [ 1 / 4 ] generating series at (2) 1550842846.000 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 2 1 2) 1550842846.000 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 2 1) 1550842846.000 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 2 1 2 1) 1550842846.000 * * * [misc]progress: simplifying candidates 1550842846.000 * * * * [misc]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))))> 1550842846.001 * [enter]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)) 1550842846.001 * * [misc]simplify: iters left: 6 (17 enodes) 1550842846.007 * * [misc]simplify: iters left: 5 (41 enodes) 1550842846.015 * * [misc]simplify: iters left: 4 (95 enodes) 1550842846.040 * * [misc]simplify: iters left: 3 (269 enodes) 1550842846.164 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842846.164 * * [misc]simplify: Extracting #1: cost 46 inf + 0 1550842846.164 * * [misc]simplify: Extracting #2: cost 206 inf + 1 1550842846.165 * * [misc]simplify: Extracting #3: cost 258 inf + 648 1550842846.167 * * [misc]simplify: Extracting #4: cost 307 inf + 7710 1550842846.168 * * [misc]simplify: Extracting #5: cost 293 inf + 16045 1550842846.170 * * [misc]simplify: Extracting #6: cost 277 inf + 25875 1550842846.178 * * [misc]simplify: Extracting #7: cost 149 inf + 188177 1550842846.200 * * [misc]simplify: Extracting #8: cost 7 inf + 469313 1550842846.239 * * [misc]simplify: Extracting #9: cost 0 inf + 490709 1550842846.266 * [exit]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)))) 1550842846.266 * [misc]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)))))) 1550842846.266 * * * * [misc]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))))))> 1550842846.267 * [enter]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)))) 1550842846.267 * * [misc]simplify: iters left: 6 (17 enodes) 1550842846.271 * * [misc]simplify: iters left: 5 (41 enodes) 1550842846.282 * * [misc]simplify: iters left: 4 (101 enodes) 1550842846.308 * * [misc]simplify: iters left: 3 (291 enodes) 1550842846.434 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842846.435 * * [misc]simplify: Extracting #1: cost 48 inf + 0 1550842846.435 * * [misc]simplify: Extracting #2: cost 208 inf + 1 1550842846.437 * * [misc]simplify: Extracting #3: cost 275 inf + 1610 1550842846.439 * * [misc]simplify: Extracting #4: cost 319 inf + 9953 1550842846.441 * * [misc]simplify: Extracting #5: cost 302 inf + 20857 1550842846.444 * * [misc]simplify: Extracting #6: cost 279 inf + 36752 1550842846.457 * * [misc]simplify: Extracting #7: cost 152 inf + 206471 1550842846.485 * * [misc]simplify: Extracting #8: cost 9 inf + 486275 1550842846.516 * * [misc]simplify: Extracting #9: cost 0 inf + 499918 1550842846.551 * [exit]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)))) 1550842846.551 * [misc]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)))))) 1550842846.552 * * * * [misc]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)))))> 1550842846.552 * [enter]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))) 1550842846.552 * * [misc]simplify: iters left: 6 (21 enodes) 1550842846.560 * * [misc]simplify: iters left: 5 (59 enodes) 1550842846.578 * * [misc]simplify: iters left: 4 (176 enodes) 1550842846.652 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842846.652 * * [misc]simplify: Extracting #1: cost 40 inf + 0 1550842846.653 * * [misc]simplify: Extracting #2: cost 160 inf + 0 1550842846.653 * * [misc]simplify: Extracting #3: cost 260 inf + 1607 1550842846.655 * * [misc]simplify: Extracting #4: cost 294 inf + 4494 1550842846.656 * * [misc]simplify: Extracting #5: cost 292 inf + 16036 1550842846.659 * * [misc]simplify: Extracting #6: cost 224 inf + 77978 1550842846.673 * * [misc]simplify: Extracting #7: cost 53 inf + 358389 1550842846.708 * * [misc]simplify: Extracting #8: cost 4 inf + 462823 1550842846.743 * * [misc]simplify: Extracting #9: cost 0 inf + 474767 1550842846.779 * [exit]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))) 1550842846.779 * [misc]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))))) 1550842846.780 * * * * [misc]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)))))> 1550842846.780 * * * * [misc]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))))> 1550842846.780 * [enter]simplify: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1550842846.780 * * [misc]simplify: iters left: 4 (9 enodes) 1550842846.783 * * [misc]simplify: iters left: 3 (13 enodes) 1550842846.787 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842846.787 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842846.787 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550842846.787 * * [misc]simplify: Extracting #3: cost 6 inf + 1 1550842846.787 * * [misc]simplify: Extracting #4: cost 7 inf + 2 1550842846.787 * * [misc]simplify: Extracting #5: cost 0 inf + 1813 1550842846.787 * [exit]simplify: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) 1550842846.787 * [misc]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)))) 1550842846.788 * * * * [misc]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))))> 1550842846.788 * [enter]simplify: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)) 1550842846.788 * * [misc]simplify: iters left: 4 (9 enodes) 1550842846.791 * * [misc]simplify: iters left: 3 (13 enodes) 1550842846.794 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842846.795 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842846.795 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550842846.795 * * [misc]simplify: Extracting #3: cost 5 inf + 2 1550842846.795 * * [misc]simplify: Extracting #4: cost 7 inf + 2 1550842846.795 * * [misc]simplify: Extracting #5: cost 4 inf + 5 1550842846.795 * * [misc]simplify: Extracting #6: cost 0 inf + 1813 1550842846.795 * [exit]simplify: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)) 1550842846.795 * [misc]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)))) 1550842846.795 * * * * [misc]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))))> 1550842846.796 * [enter]simplify: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1550842846.796 * * [misc]simplify: iters left: 3 (7 enodes) 1550842846.798 * * [misc]simplify: iters left: 2 (12 enodes) 1550842846.801 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842846.801 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842846.801 * * [misc]simplify: Extracting #2: cost 4 inf + 1 1550842846.801 * * [misc]simplify: Extracting #3: cost 6 inf + 1 1550842846.801 * * [misc]simplify: Extracting #4: cost 0 inf + 930 1550842846.802 * [exit]simplify: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1550842846.802 * [misc]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)))) 1550842846.802 * * * * [misc]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))))> 1550842846.802 * * * * [misc]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))))> 1550842846.802 * [enter]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))) 1550842846.802 * * [misc]simplify: iters left: 6 (18 enodes) 1550842846.808 * * [misc]simplify: iters left: 5 (47 enodes) 1550842846.823 * * [misc]simplify: iters left: 4 (121 enodes) 1550842846.863 * * [misc]simplify: iters left: 3 (337 enodes) 1550842847.029 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842847.029 * * [misc]simplify: Extracting #1: cost 34 inf + 0 1550842847.029 * * [misc]simplify: Extracting #2: cost 204 inf + 0 1550842847.031 * * [misc]simplify: Extracting #3: cost 326 inf + 1286 1550842847.033 * * [misc]simplify: Extracting #4: cost 362 inf + 6740 1550842847.036 * * [misc]simplify: Extracting #5: cost 377 inf + 18286 1550842847.039 * * [misc]simplify: Extracting #6: cost 358 inf + 29885 1550842847.049 * * [misc]simplify: Extracting #7: cost 252 inf + 186163 1550842847.089 * * [misc]simplify: Extracting #8: cost 47 inf + 586692 1550842847.142 * * [misc]simplify: Extracting #9: cost 0 inf + 696950 1550842847.195 * * [misc]simplify: Extracting #10: cost 0 inf + 694590 1550842847.250 * [exit]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)))))) 1550842847.250 * [misc]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))))))) 1550842847.251 * * * * [misc]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))))> 1550842847.251 * [enter]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))) 1550842847.251 * * [misc]simplify: iters left: 6 (18 enodes) 1550842847.258 * * [misc]simplify: iters left: 5 (47 enodes) 1550842847.273 * * [misc]simplify: iters left: 4 (121 enodes) 1550842847.316 * * [misc]simplify: iters left: 3 (337 enodes) 1550842847.490 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842847.490 * * [misc]simplify: Extracting #1: cost 34 inf + 0 1550842847.490 * * [misc]simplify: Extracting #2: cost 204 inf + 0 1550842847.492 * * [misc]simplify: Extracting #3: cost 326 inf + 1286 1550842847.494 * * [misc]simplify: Extracting #4: cost 362 inf + 6740 1550842847.497 * * [misc]simplify: Extracting #5: cost 377 inf + 18286 1550842847.500 * * [misc]simplify: Extracting #6: cost 358 inf + 29885 1550842847.511 * * [misc]simplify: Extracting #7: cost 252 inf + 186163 1550842847.555 * * [misc]simplify: Extracting #8: cost 47 inf + 586692 1550842847.606 * * [misc]simplify: Extracting #9: cost 0 inf + 696950 1550842847.643 * * [misc]simplify: Extracting #10: cost 0 inf + 694590 1550842847.700 * [exit]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)))))) 1550842847.700 * [misc]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))))))) 1550842847.701 * * * * [misc]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))))> 1550842847.701 * [enter]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))) 1550842847.701 * * [misc]simplify: iters left: 6 (18 enodes) 1550842847.710 * * [misc]simplify: iters left: 5 (47 enodes) 1550842847.727 * * [misc]simplify: iters left: 4 (121 enodes) 1550842847.778 * * [misc]simplify: iters left: 3 (337 enodes) 1550842847.960 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842847.960 * * [misc]simplify: Extracting #1: cost 34 inf + 0 1550842847.961 * * [misc]simplify: Extracting #2: cost 204 inf + 0 1550842847.963 * * [misc]simplify: Extracting #3: cost 326 inf + 1286 1550842847.966 * * [misc]simplify: Extracting #4: cost 362 inf + 6740 1550842847.970 * * [misc]simplify: Extracting #5: cost 377 inf + 18286 1550842847.974 * * [misc]simplify: Extracting #6: cost 358 inf + 29885 1550842847.987 * * [misc]simplify: Extracting #7: cost 252 inf + 186163 1550842848.034 * * [misc]simplify: Extracting #8: cost 47 inf + 586692 1550842848.088 * * [misc]simplify: Extracting #9: cost 0 inf + 696950 1550842848.125 * * [misc]simplify: Extracting #10: cost 0 inf + 694590 1550842848.173 * [exit]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)))))) 1550842848.173 * [misc]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))))))) 1550842848.173 * * * * [misc]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))))> 1550842848.173 * [enter]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))) 1550842848.174 * * [misc]simplify: iters left: 6 (18 enodes) 1550842848.180 * * [misc]simplify: iters left: 5 (47 enodes) 1550842848.194 * * [misc]simplify: iters left: 4 (121 enodes) 1550842848.232 * * [misc]simplify: iters left: 3 (337 enodes) 1550842848.364 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842848.364 * * [misc]simplify: Extracting #1: cost 34 inf + 0 1550842848.364 * * [misc]simplify: Extracting #2: cost 204 inf + 0 1550842848.365 * * [misc]simplify: Extracting #3: cost 326 inf + 1286 1550842848.367 * * [misc]simplify: Extracting #4: cost 362 inf + 6740 1550842848.368 * * [misc]simplify: Extracting #5: cost 377 inf + 18286 1550842848.370 * * [misc]simplify: Extracting #6: cost 358 inf + 29885 1550842848.381 * * [misc]simplify: Extracting #7: cost 252 inf + 186163 1550842848.412 * * [misc]simplify: Extracting #8: cost 47 inf + 586692 1550842848.449 * * [misc]simplify: Extracting #9: cost 0 inf + 696950 1550842848.486 * * [misc]simplify: Extracting #10: cost 0 inf + 694590 1550842848.535 * [exit]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)))))) 1550842848.535 * [misc]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))))))) 1550842848.535 * * * [misc]progress: adding candidates to table 1550842849.263 * * [misc]progress: iteration 2 / 4 1550842849.263 * * * [misc]progress: picking best candidate 1550842849.420 * * * * [misc]pick: Picked #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))))> 1550842849.421 * * * [misc]progress: localizing error 1550842849.536 * * * [misc]progress: generating rewritten candidates 1550842849.536 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2) 1550842849.539 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2) 1550842849.544 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 2 1 2) 1550842849.544 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 2 1) 1550842849.545 * * * [misc]progress: generating series expansions 1550842849.545 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2) 1550842849.545 * * * * [misc]progress: [ 2 / 4 ] generating series at (2) 1550842849.545 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 2 1 2) 1550842849.545 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 2 1) 1550842849.545 * * * [misc]progress: simplifying candidates 1550842849.545 * * * * [misc]progress: [ 1 / 11 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))> 1550842849.545 * * * * [misc]progress: [ 2 / 11 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.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))))))))> 1550842849.545 * [enter]simplify: Simplifying (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) 1550842849.545 * * [misc]simplify: iters left: 5 (11 enodes) 1550842849.549 * * [misc]simplify: iters left: 4 (24 enodes) 1550842849.553 * * [misc]simplify: iters left: 3 (48 enodes) 1550842849.570 * * [misc]simplify: iters left: 2 (112 enodes) 1550842849.601 * * [misc]simplify: iters left: 1 (474 enodes) 1550842850.046 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842850.046 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1550842850.046 * * [misc]simplify: Extracting #2: cost 88 inf + 0 1550842850.048 * * [misc]simplify: Extracting #3: cost 422 inf + 0 1550842850.051 * * [misc]simplify: Extracting #4: cost 742 inf + 4182 1550842850.056 * * [misc]simplify: Extracting #5: cost 799 inf + 13811 1550842850.062 * * [misc]simplify: Extracting #6: cost 788 inf + 38477 1550842850.070 * * [misc]simplify: Extracting #7: cost 747 inf + 68230 1550842850.092 * * [misc]simplify: Extracting #8: cost 473 inf + 439158 1550842850.175 * * [misc]simplify: Extracting #9: cost 76 inf + 1146891 1550842850.254 * * [misc]simplify: Extracting #10: cost 0 inf + 1272172 1550842850.347 * * [misc]simplify: Extracting #11: cost 0 inf + 1271812 1550842850.452 * [exit]simplify: Simplified to (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) 1550842850.452 * [misc]simplify: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))) 1550842850.453 * * * * [misc]progress: [ 3 / 11 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.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 (/.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))))))> 1550842850.453 * [enter]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 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) 1550842850.453 * * [misc]simplify: iters left: 6 (20 enodes) 1550842850.460 * * [misc]simplify: iters left: 5 (53 enodes) 1550842850.476 * * [misc]simplify: iters left: 4 (144 enodes) 1550842850.546 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842850.546 * * [misc]simplify: Extracting #1: cost 41 inf + 0 1550842850.547 * * [misc]simplify: Extracting #2: cost 161 inf + 1 1550842850.548 * * [misc]simplify: Extracting #3: cost 213 inf + 1606 1550842850.549 * * [misc]simplify: Extracting #4: cost 252 inf + 4494 1550842850.551 * * [misc]simplify: Extracting #5: cost 237 inf + 13473 1550842850.556 * * [misc]simplify: Extracting #6: cost 175 inf + 73971 1550842850.574 * * [misc]simplify: Extracting #7: cost 58 inf + 238009 1550842850.602 * * [misc]simplify: Extracting #8: cost 4 inf + 348069 1550842850.630 * * [misc]simplify: Extracting #9: cost 0 inf + 356524 1550842850.659 * [exit]simplify: Simplified to (*.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 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) 1550842850.659 * [misc]simplify: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.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 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) 1550842850.660 * * * * [misc]progress: [ 4 / 11 ] simplifiying candidate #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))))))> 1550842850.660 * * * * [misc]progress: [ 5 / 11 ] 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))))> 1550842850.660 * [enter]simplify: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1550842850.660 * * [misc]simplify: iters left: 3 (7 enodes) 1550842850.663 * * [misc]simplify: iters left: 2 (18 enodes) 1550842850.667 * * [misc]simplify: iters left: 1 (32 enodes) 1550842850.676 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842850.676 * * [misc]simplify: Extracting #1: cost 9 inf + 0 1550842850.676 * * [misc]simplify: Extracting #2: cost 25 inf + 1 1550842850.676 * * [misc]simplify: Extracting #3: cost 34 inf + 322 1550842850.676 * * [misc]simplify: Extracting #4: cost 27 inf + 3209 1550842850.676 * * [misc]simplify: Extracting #5: cost 22 inf + 4898 1550842850.677 * * [misc]simplify: Extracting #6: cost 11 inf + 15047 1550842850.678 * * [misc]simplify: Extracting #7: cost 0 inf + 29315 1550842850.679 * [exit]simplify: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1550842850.679 * [misc]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)))) 1550842850.679 * [enter]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)) 1550842850.680 * * [misc]simplify: iters left: 6 (17 enodes) 1550842850.684 * * [misc]simplify: iters left: 5 (39 enodes) 1550842850.691 * * [misc]simplify: iters left: 4 (69 enodes) 1550842850.706 * * [misc]simplify: iters left: 3 (135 enodes) 1550842850.746 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842850.746 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842850.746 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550842850.746 * * [misc]simplify: Extracting #3: cost 8 inf + 2 1550842850.746 * * [misc]simplify: Extracting #4: cost 24 inf + 325 1550842850.746 * * [misc]simplify: Extracting #5: cost 114 inf + 325 1550842850.747 * * [misc]simplify: Extracting #6: cost 151 inf + 649 1550842850.748 * * [misc]simplify: Extracting #7: cost 179 inf + 5780 1550842850.749 * * [misc]simplify: Extracting #8: cost 171 inf + 11228 1550842850.753 * * [misc]simplify: Extracting #9: cost 155 inf + 20299 1550842850.761 * * [misc]simplify: Extracting #10: cost 45 inf + 156646 1550842850.771 * * [misc]simplify: Extracting #11: cost 3 inf + 219582 1550842850.781 * * [misc]simplify: Extracting #12: cost 0 inf + 221713 1550842850.791 * [exit]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)))))))) 1550842850.791 * [misc]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)))))))))) 1550842850.791 * * * * [misc]progress: [ 6 / 11 ] 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))))> 1550842850.791 * [enter]simplify: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1550842850.791 * * [misc]simplify: iters left: 3 (7 enodes) 1550842850.794 * * [misc]simplify: iters left: 2 (18 enodes) 1550842850.799 * * [misc]simplify: iters left: 1 (32 enodes) 1550842850.806 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842850.806 * * [misc]simplify: Extracting #1: cost 9 inf + 0 1550842850.806 * * [misc]simplify: Extracting #2: cost 25 inf + 1 1550842850.806 * * [misc]simplify: Extracting #3: cost 34 inf + 322 1550842850.806 * * [misc]simplify: Extracting #4: cost 27 inf + 3209 1550842850.806 * * [misc]simplify: Extracting #5: cost 22 inf + 4898 1550842850.807 * * [misc]simplify: Extracting #6: cost 11 inf + 15047 1550842850.808 * * [misc]simplify: Extracting #7: cost 0 inf + 29315 1550842850.809 * [exit]simplify: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1550842850.809 * [misc]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)))) 1550842850.809 * [enter]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)) 1550842850.809 * * [misc]simplify: iters left: 6 (17 enodes) 1550842850.814 * * [misc]simplify: iters left: 5 (39 enodes) 1550842850.821 * * [misc]simplify: iters left: 4 (69 enodes) 1550842850.840 * * [misc]simplify: iters left: 3 (135 enodes) 1550842850.896 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842850.896 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842850.896 * * [misc]simplify: Extracting #2: cost 9 inf + 0 1550842850.896 * * [misc]simplify: Extracting #3: cost 8 inf + 2 1550842850.896 * * [misc]simplify: Extracting #4: cost 24 inf + 325 1550842850.896 * * [misc]simplify: Extracting #5: cost 114 inf + 325 1550842850.897 * * [misc]simplify: Extracting #6: cost 151 inf + 649 1550842850.897 * * [misc]simplify: Extracting #7: cost 179 inf + 5780 1550842850.898 * * [misc]simplify: Extracting #8: cost 171 inf + 11228 1550842850.899 * * [misc]simplify: Extracting #9: cost 155 inf + 20299 1550842850.904 * * [misc]simplify: Extracting #10: cost 45 inf + 156646 1550842850.920 * * [misc]simplify: Extracting #11: cost 3 inf + 219582 1550842850.937 * * [misc]simplify: Extracting #12: cost 0 inf + 221713 1550842850.952 * [exit]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)))))))) 1550842850.952 * [misc]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)))))))))) 1550842850.952 * * * * [misc]progress: [ 7 / 11 ] simplifiying candidate #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)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))> 1550842850.953 * * * * [misc]progress: [ 8 / 11 ] 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))))> 1550842850.953 * [enter]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)) 1550842850.953 * * [misc]simplify: iters left: 6 (17 enodes) 1550842850.960 * * [misc]simplify: iters left: 5 (41 enodes) 1550842850.975 * * [misc]simplify: iters left: 4 (95 enodes) 1550842851.007 * * [misc]simplify: iters left: 3 (269 enodes) 1550842851.137 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842851.137 * * [misc]simplify: Extracting #1: cost 46 inf + 0 1550842851.138 * * [misc]simplify: Extracting #2: cost 206 inf + 1 1550842851.139 * * [misc]simplify: Extracting #3: cost 258 inf + 648 1550842851.141 * * [misc]simplify: Extracting #4: cost 307 inf + 7710 1550842851.144 * * [misc]simplify: Extracting #5: cost 293 inf + 16045 1550842851.146 * * [misc]simplify: Extracting #6: cost 277 inf + 25875 1550842851.162 * * [misc]simplify: Extracting #7: cost 149 inf + 188177 1550842851.195 * * [misc]simplify: Extracting #8: cost 7 inf + 469313 1550842851.234 * * [misc]simplify: Extracting #9: cost 0 inf + 490709 1550842851.272 * [exit]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)))) 1550842851.272 * [misc]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)))))) 1550842851.272 * * * * [misc]progress: [ 9 / 11 ] 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))))> 1550842851.273 * [enter]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)) 1550842851.273 * * [misc]simplify: iters left: 6 (17 enodes) 1550842851.277 * * [misc]simplify: iters left: 5 (41 enodes) 1550842851.285 * * [misc]simplify: iters left: 4 (95 enodes) 1550842851.313 * * [misc]simplify: iters left: 3 (269 enodes) 1550842851.419 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842851.419 * * [misc]simplify: Extracting #1: cost 46 inf + 0 1550842851.420 * * [misc]simplify: Extracting #2: cost 206 inf + 1 1550842851.422 * * [misc]simplify: Extracting #3: cost 258 inf + 648 1550842851.424 * * [misc]simplify: Extracting #4: cost 307 inf + 7710 1550842851.426 * * [misc]simplify: Extracting #5: cost 293 inf + 16045 1550842851.428 * * [misc]simplify: Extracting #6: cost 277 inf + 25875 1550842851.438 * * [misc]simplify: Extracting #7: cost 149 inf + 188177 1550842851.473 * * [misc]simplify: Extracting #8: cost 7 inf + 469313 1550842851.511 * * [misc]simplify: Extracting #9: cost 0 inf + 490709 1550842851.545 * [exit]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)))) 1550842851.545 * [misc]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)))))) 1550842851.545 * * * * [misc]progress: [ 10 / 11 ] 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))))> 1550842851.545 * [enter]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)) 1550842851.545 * * [misc]simplify: iters left: 6 (17 enodes) 1550842851.552 * * [misc]simplify: iters left: 5 (41 enodes) 1550842851.563 * * [misc]simplify: iters left: 4 (95 enodes) 1550842851.595 * * [misc]simplify: iters left: 3 (269 enodes) 1550842851.709 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842851.709 * * [misc]simplify: Extracting #1: cost 46 inf + 0 1550842851.709 * * [misc]simplify: Extracting #2: cost 206 inf + 1 1550842851.710 * * [misc]simplify: Extracting #3: cost 258 inf + 648 1550842851.712 * * [misc]simplify: Extracting #4: cost 307 inf + 7710 1550842851.714 * * [misc]simplify: Extracting #5: cost 293 inf + 16045 1550842851.716 * * [misc]simplify: Extracting #6: cost 277 inf + 25875 1550842851.726 * * [misc]simplify: Extracting #7: cost 149 inf + 188177 1550842851.751 * * [misc]simplify: Extracting #8: cost 7 inf + 469313 1550842851.781 * * [misc]simplify: Extracting #9: cost 0 inf + 490709 1550842851.809 * [exit]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)))) 1550842851.809 * [misc]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)))))) 1550842851.809 * * * * [misc]progress: [ 11 / 11 ] 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))))> 1550842851.809 * [enter]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)) 1550842851.809 * * [misc]simplify: iters left: 6 (17 enodes) 1550842851.816 * * [misc]simplify: iters left: 5 (41 enodes) 1550842851.826 * * [misc]simplify: iters left: 4 (95 enodes) 1550842851.855 * * [misc]simplify: iters left: 3 (269 enodes) 1550842851.945 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842851.945 * * [misc]simplify: Extracting #1: cost 46 inf + 0 1550842851.945 * * [misc]simplify: Extracting #2: cost 206 inf + 1 1550842851.946 * * [misc]simplify: Extracting #3: cost 258 inf + 648 1550842851.948 * * [misc]simplify: Extracting #4: cost 307 inf + 7710 1550842851.949 * * [misc]simplify: Extracting #5: cost 293 inf + 16045 1550842851.951 * * [misc]simplify: Extracting #6: cost 277 inf + 25875 1550842851.958 * * [misc]simplify: Extracting #7: cost 149 inf + 188177 1550842851.982 * * [misc]simplify: Extracting #8: cost 7 inf + 469313 1550842852.008 * * [misc]simplify: Extracting #9: cost 0 inf + 490709 1550842852.036 * [exit]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)))) 1550842852.036 * [misc]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)))))) 1550842852.036 * * * [misc]progress: adding candidates to table 1550842852.634 * * [misc]progress: iteration 3 / 4 1550842852.634 * * * [misc]progress: picking best candidate 1550842852.867 * * * * [misc]pick: Picked #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))> 1550842852.867 * * * [misc]progress: localizing error 1550842852.984 * * * [misc]progress: generating rewritten candidates 1550842852.984 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1) 1550842852.987 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2) 1550842852.992 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 1 2 2) 1550842852.992 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1 2) 1550842852.994 * * * [misc]progress: generating series expansions 1550842852.994 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1) 1550842852.994 * * * * [misc]progress: [ 2 / 4 ] generating series at (2) 1550842852.994 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 1 2 2) 1550842852.994 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1 2) 1550842852.994 * * * [misc]progress: simplifying candidates 1550842852.994 * * * * [misc]progress: [ 1 / 8 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (-.p16 a (/.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)))))) rand)))> 1550842852.994 * [enter]simplify: Simplifying (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) 1550842852.995 * * [misc]simplify: iters left: 5 (11 enodes) 1550842852.999 * * [misc]simplify: iters left: 4 (24 enodes) 1550842853.005 * * [misc]simplify: iters left: 3 (48 enodes) 1550842853.028 * * [misc]simplify: iters left: 2 (112 enodes) 1550842853.074 * * [misc]simplify: iters left: 1 (474 enodes) 1550842853.872 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842853.872 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1550842853.872 * * [misc]simplify: Extracting #2: cost 88 inf + 0 1550842853.873 * * [misc]simplify: Extracting #3: cost 422 inf + 0 1550842853.876 * * [misc]simplify: Extracting #4: cost 742 inf + 4182 1550842853.879 * * [misc]simplify: Extracting #5: cost 799 inf + 13811 1550842853.883 * * [misc]simplify: Extracting #6: cost 788 inf + 38477 1550842853.888 * * [misc]simplify: Extracting #7: cost 747 inf + 68230 1550842853.905 * * [misc]simplify: Extracting #8: cost 473 inf + 439158 1550842853.961 * * [misc]simplify: Extracting #9: cost 76 inf + 1146891 1550842854.049 * * [misc]simplify: Extracting #10: cost 0 inf + 1272172 1550842854.131 * * [misc]simplify: Extracting #11: cost 0 inf + 1271812 1550842854.206 * [exit]simplify: Simplified to (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) 1550842854.206 * [misc]simplify: Simplified (2 2 1 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand))) 1550842854.206 * * * * [misc]progress: [ 2 / 8 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.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) (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)))) rand)))> 1550842854.207 * [enter]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) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) 1550842854.207 * * [misc]simplify: iters left: 6 (18 enodes) 1550842854.213 * * [misc]simplify: iters left: 5 (46 enodes) 1550842854.223 * * [misc]simplify: iters left: 4 (127 enodes) 1550842854.268 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842854.268 * * [misc]simplify: Extracting #1: cost 37 inf + 0 1550842854.268 * * [misc]simplify: Extracting #2: cost 121 inf + 0 1550842854.269 * * [misc]simplify: Extracting #3: cost 166 inf + 964 1550842854.269 * * [misc]simplify: Extracting #4: cost 211 inf + 3851 1550842854.270 * * [misc]simplify: Extracting #5: cost 198 inf + 11864 1550842854.274 * * [misc]simplify: Extracting #6: cost 127 inf + 75042 1550842854.284 * * [misc]simplify: Extracting #7: cost 27 inf + 226056 1550842854.298 * * [misc]simplify: Extracting #8: cost 1 inf + 286521 1550842854.317 * * [misc]simplify: Extracting #9: cost 0 inf + 289444 1550842854.332 * [exit]simplify: Simplified to (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (*.p16 (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))))))) 1550842854.332 * [misc]simplify: Simplified (2 2 1 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (*.p16 (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))))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand))) 1550842854.332 * * * * [misc]progress: [ 3 / 8 ] simplifiying candidate #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)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand)))> 1550842854.332 * * * * [misc]progress: [ 4 / 8 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (/.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 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))> 1550842854.332 * * * * [misc]progress: [ 5 / 8 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))> 1550842854.332 * * * * [misc]progress: [ 6 / 8 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))> 1550842854.332 * * * * [misc]progress: [ 7 / 8 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))> 1550842854.332 * * * * [misc]progress: [ 8 / 8 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))> 1550842854.332 * * * [misc]progress: adding candidates to table 1550842854.712 * * [misc]progress: iteration 4 / 4 1550842854.712 * * * [misc]progress: picking best candidate 1550842854.891 * * * * [misc]pick: Picked #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (*.p16 (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))))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand)))> 1550842854.891 * * * [misc]progress: localizing error 1550842855.082 * * * [misc]progress: generating rewritten candidates 1550842855.082 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 1) 1550842855.087 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 1 1 2) 1550842855.090 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2) 1550842855.096 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1 1) 1550842855.100 * * * [misc]progress: generating series expansions 1550842855.100 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 1) 1550842855.100 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 1 1 2) 1550842855.100 * * * * [misc]progress: [ 3 / 4 ] generating series at (2) 1550842855.100 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1 1) 1550842855.100 * * * [misc]progress: simplifying candidates 1550842855.100 * * * * [misc]progress: [ 1 / 11 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (+.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) (-.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)))))))) rand)))> 1550842855.100 * [enter]simplify: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1550842855.100 * * [misc]simplify: iters left: 3 (7 enodes) 1550842855.102 * * [misc]simplify: iters left: 2 (12 enodes) 1550842855.104 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842855.104 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550842855.104 * * [misc]simplify: Extracting #2: cost 4 inf + 1 1550842855.104 * * [misc]simplify: Extracting #3: cost 6 inf + 1 1550842855.104 * * [misc]simplify: Extracting #4: cost 0 inf + 930 1550842855.105 * [exit]simplify: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) 1550842855.105 * [misc]simplify: Simplified (2 2 1 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (+.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) (-.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)))))))) rand))) 1550842855.105 * * * * [misc]progress: [ 2 / 11 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (+.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))))) (*.p16 (+.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))))))) rand)))> 1550842855.105 * [enter]simplify: Simplifying (*.p16 (+.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))))) 1550842855.105 * * [misc]simplify: iters left: 5 (12 enodes) 1550842855.108 * * [misc]simplify: iters left: 4 (30 enodes) 1550842855.114 * * [misc]simplify: iters left: 3 (75 enodes) 1550842855.137 * * [misc]simplify: iters left: 2 (241 enodes) 1550842855.253 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842855.253 * * [misc]simplify: Extracting #1: cost 63 inf + 0 1550842855.254 * * [misc]simplify: Extracting #2: cost 344 inf + 0 1550842855.256 * * [misc]simplify: Extracting #3: cost 476 inf + 324 1550842855.257 * * [misc]simplify: Extracting #4: cost 489 inf + 6871 1550842855.266 * * [misc]simplify: Extracting #5: cost 288 inf + 217506 1550842855.292 * * [misc]simplify: Extracting #6: cost 37 inf + 573940 1550842855.328 * * [misc]simplify: Extracting #7: cost 3 inf + 652495 1550842855.378 * * [misc]simplify: Extracting #8: cost 0 inf + 658105 1550842855.418 * [exit]simplify: Simplified to (*.p16 (*.p16 (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)))) 1550842855.418 * [misc]simplify: Simplified (2 2 1 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (*.p16 (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 (+.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))))))) rand))) 1550842855.418 * * * * [misc]progress: [ 3 / 11 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (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)))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand)))> 1550842855.418 * [enter]simplify: Simplifying (real->posit16 1) 1550842855.419 * * [misc]simplify: iters left: 1 (2 enodes) 1550842855.420 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842855.420 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1550842855.420 * * [misc]simplify: Extracting #2: cost 1 inf + 1 1550842855.420 * * [misc]simplify: Extracting #3: cost 0 inf + 2 1550842855.420 * [exit]simplify: Simplified to (real->posit16 1) 1550842855.420 * [misc]simplify: Simplified (2 2 1 1 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (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)))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand))) 1550842855.420 * * * * [misc]progress: [ 4 / 11 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (*.p16 (real->posit16 1) (-.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)))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand)))> 1550842855.420 * [enter]simplify: Simplifying (*.p16 (real->posit16 1) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) 1550842855.420 * * [misc]simplify: iters left: 5 (12 enodes) 1550842855.424 * * [misc]simplify: iters left: 4 (34 enodes) 1550842855.434 * * [misc]simplify: iters left: 3 (85 enodes) 1550842855.468 * * [misc]simplify: iters left: 2 (323 enodes) 1550842855.757 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842855.758 * * [misc]simplify: Extracting #1: cost 64 inf + 0 1550842855.759 * * [misc]simplify: Extracting #2: cost 308 inf + 0 1550842855.761 * * [misc]simplify: Extracting #3: cost 543 inf + 1289 1550842855.765 * * [misc]simplify: Extracting #4: cost 775 inf + 9629 1550842855.768 * * [misc]simplify: Extracting #5: cost 745 inf + 25678 1550842855.779 * * [misc]simplify: Extracting #6: cost 586 inf + 166661 1550842855.813 * * [misc]simplify: Extracting #7: cost 177 inf + 732600 1550842855.859 * * [misc]simplify: Extracting #8: cost 14 inf + 1076917 1550842855.909 * * [misc]simplify: Extracting #9: cost 0 inf + 1112239 1550842855.972 * [exit]simplify: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a))) 1550842855.972 * [misc]simplify: Simplified (2 2 1 1 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (+.p16 a (/.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) (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a))) (*.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)))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand))) 1550842855.973 * * * * [misc]progress: [ 5 / 11 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (/.p16 (*.p16 (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))))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))> 1550842855.973 * * * * [misc]progress: [ 6 / 11 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (/.p16 (*.p16 (+.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))))) (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)))) rand)))> 1550842855.973 * [enter]simplify: Simplifying (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) 1550842855.973 * * [misc]simplify: iters left: 5 (11 enodes) 1550842855.976 * * [misc]simplify: iters left: 4 (24 enodes) 1550842855.981 * * [misc]simplify: iters left: 3 (48 enodes) 1550842855.991 * * [misc]simplify: iters left: 2 (112 enodes) 1550842856.025 * * [misc]simplify: iters left: 1 (474 enodes) 1550842856.500 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842856.500 * * [misc]simplify: Extracting #1: cost 2 inf + 0 1550842856.500 * * [misc]simplify: Extracting #2: cost 88 inf + 0 1550842856.502 * * [misc]simplify: Extracting #3: cost 422 inf + 0 1550842856.513 * * [misc]simplify: Extracting #4: cost 742 inf + 4182 1550842856.520 * * [misc]simplify: Extracting #5: cost 799 inf + 13811 1550842856.528 * * [misc]simplify: Extracting #6: cost 788 inf + 38477 1550842856.537 * * [misc]simplify: Extracting #7: cost 747 inf + 68230 1550842856.569 * * [misc]simplify: Extracting #8: cost 473 inf + 439158 1550842856.657 * * [misc]simplify: Extracting #9: cost 76 inf + 1146891 1550842856.762 * * [misc]simplify: Extracting #10: cost 0 inf + 1272172 1550842856.879 * * [misc]simplify: Extracting #11: cost 0 inf + 1271812 1550842856.982 * [exit]simplify: Simplified to (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) 1550842856.982 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (/.p16 (*.p16 (+.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))))) (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)))) rand))) 1550842856.983 * * * * [misc]progress: [ 7 / 11 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (/.p16 (*.p16 (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)))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand)))> 1550842856.983 * * * * [misc]progress: [ 8 / 11 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (*.p16 (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))))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand)))> 1550842856.983 * [enter]simplify: Simplifying (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (*.p16 (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))))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand)) 1550842856.983 * * [misc]simplify: iters left: 6 (22 enodes) 1550842856.990 * * [misc]simplify: iters left: 5 (51 enodes) 1550842857.006 * * [misc]simplify: iters left: 4 (131 enodes) 1550842857.051 * * [misc]simplify: iters left: 3 (489 enodes) 1550842857.635 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842857.635 * * [misc]simplify: Extracting #1: cost 9 inf + 0 1550842857.635 * * [misc]simplify: Extracting #2: cost 142 inf + 0 1550842857.637 * * [misc]simplify: Extracting #3: cost 641 inf + 2 1550842857.645 * * [misc]simplify: Extracting #4: cost 843 inf + 3864 1550842857.649 * * [misc]simplify: Extracting #5: cost 882 inf + 16063 1550842857.653 * * [misc]simplify: Extracting #6: cost 863 inf + 30815 1550842857.658 * * [misc]simplify: Extracting #7: cost 824 inf + 61729 1550842857.676 * * [misc]simplify: Extracting #8: cost 519 inf + 456753 1550842857.750 * * [misc]simplify: Extracting #9: cost 78 inf + 1311995 1550842857.852 * * [misc]simplify: Extracting #10: cost 0 inf + 1481337 1550842857.966 * * [misc]simplify: Extracting #11: cost 0 inf + 1481097 1550842858.063 * [exit]simplify: Simplified to (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)) 1550842858.063 * [misc]simplify: Simplified (2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))) 1550842858.063 * * * * [misc]progress: [ 9 / 11 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (*.p16 (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))))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand)))> 1550842858.063 * [enter]simplify: Simplifying (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (*.p16 (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))))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand)) 1550842858.064 * * [misc]simplify: iters left: 6 (22 enodes) 1550842858.073 * * [misc]simplify: iters left: 5 (51 enodes) 1550842858.089 * * [misc]simplify: iters left: 4 (131 enodes) 1550842858.149 * * [misc]simplify: iters left: 3 (489 enodes) 1550842858.728 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842858.728 * * [misc]simplify: Extracting #1: cost 9 inf + 0 1550842858.729 * * [misc]simplify: Extracting #2: cost 142 inf + 0 1550842858.730 * * [misc]simplify: Extracting #3: cost 641 inf + 2 1550842858.735 * * [misc]simplify: Extracting #4: cost 843 inf + 3864 1550842858.744 * * [misc]simplify: Extracting #5: cost 882 inf + 16063 1550842858.753 * * [misc]simplify: Extracting #6: cost 863 inf + 30815 1550842858.764 * * [misc]simplify: Extracting #7: cost 824 inf + 61729 1550842858.794 * * [misc]simplify: Extracting #8: cost 519 inf + 456753 1550842858.874 * * [misc]simplify: Extracting #9: cost 78 inf + 1311995 1550842858.981 * * [misc]simplify: Extracting #10: cost 0 inf + 1481337 1550842859.066 * * [misc]simplify: Extracting #11: cost 0 inf + 1481097 1550842859.170 * [exit]simplify: Simplified to (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)) 1550842859.170 * [misc]simplify: Simplified (2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))) 1550842859.170 * * * * [misc]progress: [ 10 / 11 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (*.p16 (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))))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand)))> 1550842859.170 * [enter]simplify: Simplifying (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (*.p16 (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))))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand)) 1550842859.170 * * [misc]simplify: iters left: 6 (22 enodes) 1550842859.176 * * [misc]simplify: iters left: 5 (51 enodes) 1550842859.186 * * [misc]simplify: iters left: 4 (131 enodes) 1550842859.243 * * [misc]simplify: iters left: 3 (489 enodes) 1550842859.938 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842859.938 * * [misc]simplify: Extracting #1: cost 9 inf + 0 1550842859.938 * * [misc]simplify: Extracting #2: cost 142 inf + 0 1550842859.940 * * [misc]simplify: Extracting #3: cost 641 inf + 2 1550842859.943 * * [misc]simplify: Extracting #4: cost 843 inf + 3864 1550842859.947 * * [misc]simplify: Extracting #5: cost 882 inf + 16063 1550842859.951 * * [misc]simplify: Extracting #6: cost 863 inf + 30815 1550842859.958 * * [misc]simplify: Extracting #7: cost 824 inf + 61729 1550842859.976 * * [misc]simplify: Extracting #8: cost 519 inf + 456753 1550842860.036 * * [misc]simplify: Extracting #9: cost 78 inf + 1311995 1550842860.117 * * [misc]simplify: Extracting #10: cost 0 inf + 1481337 1550842860.240 * * [misc]simplify: Extracting #11: cost 0 inf + 1481097 1550842860.370 * [exit]simplify: Simplified to (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)) 1550842860.370 * [misc]simplify: Simplified (2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))) 1550842860.371 * * * * [misc]progress: [ 11 / 11 ] simplifiying candidate #posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (*.p16 (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))))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand)))> 1550842860.371 * [enter]simplify: Simplifying (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (*.p16 (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))))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand)) 1550842860.371 * * [misc]simplify: iters left: 6 (22 enodes) 1550842860.376 * * [misc]simplify: iters left: 5 (51 enodes) 1550842860.388 * * [misc]simplify: iters left: 4 (131 enodes) 1550842860.436 * * [misc]simplify: iters left: 3 (489 enodes) 1550842860.966 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550842860.966 * * [misc]simplify: Extracting #1: cost 9 inf + 0 1550842860.967 * * [misc]simplify: Extracting #2: cost 142 inf + 0 1550842860.970 * * [misc]simplify: Extracting #3: cost 641 inf + 2 1550842860.977 * * [misc]simplify: Extracting #4: cost 843 inf + 3864 1550842860.985 * * [misc]simplify: Extracting #5: cost 882 inf + 16063 1550842860.994 * * [misc]simplify: Extracting #6: cost 863 inf + 30815 1550842861.007 * * [misc]simplify: Extracting #7: cost 824 inf + 61729 1550842861.025 * * [misc]simplify: Extracting #8: cost 519 inf + 456753 1550842861.114 * * [misc]simplify: Extracting #9: cost 78 inf + 1311995 1550842861.233 * * [misc]simplify: Extracting #10: cost 0 inf + 1481337 1550842861.349 * * [misc]simplify: Extracting #11: cost 0 inf + 1481097 1550842861.474 * [exit]simplify: Simplified to (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)) 1550842861.474 * [misc]simplify: Simplified (2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))) 1550842861.474 * * * [misc]progress: adding candidates to table 1550842862.168 * [misc]progress: [Phase 3 of 3] Extracting. 1550842862.168 * * [misc]regime: Finding splitpoints for: (#posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.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))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (+.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))))) (*.p16 (+.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))))))) 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.0) (real->posit16 3.0))) (real->posit16 1)) (/.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))))))))> #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.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))))> #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.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (+.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) (-.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)))))))) rand)))>) 1550842862.170 * * * [misc]regime-changes: Trying 2 branch expressions: (rand a) 1550842862.170 * * * * [misc]regimes: Trying to branch on rand from (#posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.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))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (+.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))))) (*.p16 (+.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))))))) 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.0) (real->posit16 3.0))) (real->posit16 1)) (/.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))))))))> #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.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))))> #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.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (+.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) (-.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)))))))) rand)))>) 1550842862.554 * * * * [misc]regimes: Trying to branch on a from (#posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.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))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (+.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))))) (*.p16 (+.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))))))) 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.0) (real->posit16 3.0))) (real->posit16 1)) (/.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))))))))> #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.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))))> #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.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (+.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) (-.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)))))))) rand)))>) 1550842862.960 * * * [misc]regime: Found split indices: #