1550619753.572 * [misc]progress:  [Phase 1 of 3] Setting up.
1550619753.572 * * * [misc]progress:  [1/2] Preparing points
1550619753.573 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550619753.573 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550619753.577 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.578 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.579 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550619753.584 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.586 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.588 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550619753.592 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.595 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.599 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550619753.604 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.612 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.624 * * * * [misc]points:  Computing exacts for 256 points
1550619753.633 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.671 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.691 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619753.698 * * * * [misc]points:  Sampling 168 additional inputs, on iter 1 have 88 / 256
1550619753.699 * * * * [misc]points:  Computing exacts on every 10 of 168 points to ramp up precision
1550619753.703 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.704 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.706 * * * * [misc]points:  Computing exacts on every 5 of 168 points to ramp up precision
1550619753.710 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.712 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.714 * * * * [misc]points:  Computing exacts on every 2 of 168 points to ramp up precision
1550619753.718 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.722 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.726 * * * * [misc]points:  Computing exacts for 168 points
1550619753.730 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.744 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.764 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619753.796 * * * * [misc]points:  Sampling 119 additional inputs, on iter 2 have 137 / 256
1550619753.797 * * * * [misc]points:  Computing exacts on every 7 of 119 points to ramp up precision
1550619753.805 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.807 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.809 * * * * [misc]points:  Computing exacts on every 3 of 119 points to ramp up precision
1550619753.816 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.819 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.823 * * * * [misc]points:  Computing exacts for 119 points
1550619753.831 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.842 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.851 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619753.855 * * * * [misc]points:  Sampling 73 additional inputs, on iter 3 have 183 / 256
1550619753.855 * * * * [misc]points:  Computing exacts on every 4 of 73 points to ramp up precision
1550619753.860 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.861 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.862 * * * * [misc]points:  Computing exacts on every 2 of 73 points to ramp up precision
1550619753.866 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.868 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.869 * * * * [misc]points:  Computing exacts for 73 points
1550619753.874 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.880 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.889 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619753.893 * * * * [misc]points:  Sampling 41 additional inputs, on iter 4 have 215 / 256
1550619753.894 * * * * [misc]points:  Computing exacts on every 2 of 41 points to ramp up precision
1550619753.919 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.920 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.922 * * * * [misc]points:  Computing exacts for 41 points
1550619753.930 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.934 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.939 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619753.941 * * * * [misc]points:  Sampling 25 additional inputs, on iter 5 have 231 / 256
1550619753.941 * * * * [misc]points:  Computing exacts for 25 points
1550619753.950 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.952 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.955 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619753.956 * * * * [misc]points:  Sampling 15 additional inputs, on iter 6 have 241 / 256
1550619753.956 * * * * [misc]points:  Computing exacts for 15 points
1550619753.965 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.967 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.969 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619753.970 * * * * [misc]points:  Sampling 11 additional inputs, on iter 7 have 245 / 256
1550619753.970 * * * * [misc]points:  Computing exacts for 11 points
1550619753.978 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.979 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.980 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619753.980 * * * * [misc]points:  Sampling 9 additional inputs, on iter 8 have 247 / 256
1550619753.980 * * * * [misc]points:  Computing exacts for 9 points
1550619753.985 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.986 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.987 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619753.987 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 252 / 256
1550619753.987 * * * * [misc]points:  Computing exacts for 4 points
1550619753.992 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.992 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.992 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619753.992 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 252 / 256
1550619753.992 * * * * [misc]points:  Computing exacts for 4 points
1550619753.997 * * * * [misc]points:  Setting MPFR precision to 64
1550619753.997 * * * * [misc]points:  Setting MPFR precision to 320
1550619753.998 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619753.998 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 254 / 256
1550619753.998 * * * * [misc]points:  Computing exacts for 4 points
1550619754.003 * * * * [misc]points:  Setting MPFR precision to 64
1550619754.003 * * * * [misc]points:  Setting MPFR precision to 320
1550619754.003 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619754.004 * * * * [misc]points:  Sampling 4 additional inputs, on iter 12 have 255 / 256
1550619754.004 * * * * [misc]points:  Computing exacts for 4 points
1550619754.022 * * * * [misc]points:  Setting MPFR precision to 64
1550619754.022 * * * * [misc]points:  Setting MPFR precision to 320
1550619754.023 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619754.023 * * * * [exit]points:  Sampled 256 points with exact outputs
1550619754.023 * * * [misc]progress:  [2/2] Setting up program.
1550619754.076 * [misc]progress:  [Phase 2 of 3] Improving.
1550619754.076 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (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))))>
1550619754.076 * [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)))
1550619754.077 * * [misc]simplify:  iters left: 6 (18 enodes)
1550619754.085 * * [misc]simplify:  iters left: 5 (47 enodes)
1550619754.101 * * [misc]simplify:  iters left: 4 (121 enodes)
1550619754.152 * * [misc]simplify:  iters left: 3 (337 enodes)
1550619754.368 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619754.368 * * [misc]simplify:  Extracting #1: cost 34 inf + 0
1550619754.369 * * [misc]simplify:  Extracting #2: cost 204 inf + 0
1550619754.372 * * [misc]simplify:  Extracting #3: cost 326 inf + 1286
1550619754.375 * * [misc]simplify:  Extracting #4: cost 362 inf + 6740
1550619754.379 * * [misc]simplify:  Extracting #5: cost 377 inf + 18286
1550619754.383 * * [misc]simplify:  Extracting #6: cost 358 inf + 29885
1550619754.398 * * [misc]simplify:  Extracting #7: cost 252 inf + 186163
1550619754.452 * * [misc]simplify:  Extracting #8: cost 47 inf + 586692
1550619754.513 * * [misc]simplify:  Extracting #9: cost 0 inf + 696950
1550619754.573 * * [misc]simplify:  Extracting #10: cost 0 inf + 694590
1550619754.624 * [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))))))
1550619754.624 * [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)))))))
1550619754.649 * * [misc]progress:  iteration 1 / 4
1550619754.649 * * * [misc]progress:  picking best candidate
1550619754.673 * * * * [misc]pick:  Picked  #<alt (λ (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))))>
1550619754.673 * * * [misc]progress:  localizing error
1550619755.028 * * * [misc]progress:  generating rewritten candidates
1550619755.028 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550619755.031 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2 1 2)
1550619755.031 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 2 1)
1550619755.032 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2)
1550619755.034 * * * [misc]progress:  generating series expansions
1550619755.034 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550619755.034 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2 1 2)
1550619755.034 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 2 1)
1550619755.034 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2)
1550619755.034 * * * [misc]progress:  simplifying candidates
1550619755.034 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->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))))>
1550619755.034 * [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))
1550619755.034 * * [misc]simplify:  iters left: 6 (17 enodes)
1550619755.038 * * [misc]simplify:  iters left: 5 (41 enodes)
1550619755.046 * * [misc]simplify:  iters left: 4 (95 enodes)
1550619755.066 * * [misc]simplify:  iters left: 3 (269 enodes)
1550619755.183 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619755.183 * * [misc]simplify:  Extracting #1: cost 46 inf + 0
1550619755.184 * * [misc]simplify:  Extracting #2: cost 206 inf + 1
1550619755.186 * * [misc]simplify:  Extracting #3: cost 258 inf + 648
1550619755.188 * * [misc]simplify:  Extracting #4: cost 307 inf + 7710
1550619755.189 * * [misc]simplify:  Extracting #5: cost 293 inf + 16045
1550619755.191 * * [misc]simplify:  Extracting #6: cost 277 inf + 25875
1550619755.198 * * [misc]simplify:  Extracting #7: cost 149 inf + 188177
1550619755.229 * * [misc]simplify:  Extracting #8: cost 7 inf + 469313
1550619755.268 * * [misc]simplify:  Extracting #9: cost 0 inf + 490709
1550619755.309 * [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))))
1550619755.309 * [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))))))
1550619755.309 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (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))))))>
1550619755.309 * [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))))
1550619755.310 * * [misc]simplify:  iters left: 6 (17 enodes)
1550619755.316 * * [misc]simplify:  iters left: 5 (41 enodes)
1550619755.327 * * [misc]simplify:  iters left: 4 (101 enodes)
1550619755.360 * * [misc]simplify:  iters left: 3 (291 enodes)
1550619755.455 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619755.455 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1550619755.456 * * [misc]simplify:  Extracting #2: cost 208 inf + 1
1550619755.457 * * [misc]simplify:  Extracting #3: cost 275 inf + 1610
1550619755.458 * * [misc]simplify:  Extracting #4: cost 319 inf + 9953
1550619755.460 * * [misc]simplify:  Extracting #5: cost 302 inf + 20857
1550619755.462 * * [misc]simplify:  Extracting #6: cost 279 inf + 36752
1550619755.470 * * [misc]simplify:  Extracting #7: cost 152 inf + 206471
1550619755.493 * * [misc]simplify:  Extracting #8: cost 9 inf + 486275
1550619755.521 * * [misc]simplify:  Extracting #9: cost 0 inf + 499918
1550619755.559 * [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))))
1550619755.559 * [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))))))
1550619755.560 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (a rand) (/.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) (*.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)))))>
1550619755.560 * [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)))
1550619755.560 * * [misc]simplify:  iters left: 6 (21 enodes)
1550619755.567 * * [misc]simplify:  iters left: 5 (59 enodes)
1550619755.585 * * [misc]simplify:  iters left: 4 (176 enodes)
1550619755.671 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619755.671 * * [misc]simplify:  Extracting #1: cost 40 inf + 0
1550619755.672 * * [misc]simplify:  Extracting #2: cost 160 inf + 0
1550619755.673 * * [misc]simplify:  Extracting #3: cost 260 inf + 1607
1550619755.674 * * [misc]simplify:  Extracting #4: cost 294 inf + 4494
1550619755.676 * * [misc]simplify:  Extracting #5: cost 292 inf + 16036
1550619755.681 * * [misc]simplify:  Extracting #6: cost 224 inf + 77978
1550619755.702 * * [misc]simplify:  Extracting #7: cost 53 inf + 358389
1550619755.733 * * [misc]simplify:  Extracting #8: cost 4 inf + 462823
1550619755.769 * * [misc]simplify:  Extracting #9: cost 0 inf + 474767
1550619755.805 * [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)))
1550619755.805 * [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)))))
1550619755.805 * * * * [misc]progress:  [ 4 / 10 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (+.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)))))>
1550619755.805 * * * * [misc]progress:  [ 5 / 10 ] simplifiying candidate #<alt (λ (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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))>
1550619755.805 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) rand)
1550619755.805 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619755.807 * * [misc]simplify:  iters left: 1 (10 enodes)
1550619755.810 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619755.810 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619755.810 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619755.810 * * [misc]simplify:  Extracting #3: cost 2 inf + 2
1550619755.810 * * [misc]simplify:  Extracting #4: cost 0 inf + 325
1550619755.810 * [exit]simplify:  Simplified to (*.p16 rand (real->posit16 1))
1550619755.810 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 rand (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))
1550619755.810 * * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (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))))))))))>
1550619755.810 * * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (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))))>
1550619755.810 * [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)))
1550619755.810 * * [misc]simplify:  iters left: 6 (18 enodes)
1550619755.816 * * [misc]simplify:  iters left: 5 (47 enodes)
1550619755.828 * * [misc]simplify:  iters left: 4 (121 enodes)
1550619755.864 * * [misc]simplify:  iters left: 3 (337 enodes)
1550619755.997 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619755.997 * * [misc]simplify:  Extracting #1: cost 34 inf + 0
1550619755.998 * * [misc]simplify:  Extracting #2: cost 204 inf + 0
1550619755.999 * * [misc]simplify:  Extracting #3: cost 326 inf + 1286
1550619756.001 * * [misc]simplify:  Extracting #4: cost 362 inf + 6740
1550619756.003 * * [misc]simplify:  Extracting #5: cost 377 inf + 18286
1550619756.005 * * [misc]simplify:  Extracting #6: cost 358 inf + 29885
1550619756.015 * * [misc]simplify:  Extracting #7: cost 252 inf + 186163
1550619756.044 * * [misc]simplify:  Extracting #8: cost 47 inf + 586692
1550619756.082 * * [misc]simplify:  Extracting #9: cost 0 inf + 696950
1550619756.126 * * [misc]simplify:  Extracting #10: cost 0 inf + 694590
1550619756.176 * [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))))))
1550619756.176 * [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)))))))
1550619756.176 * * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (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))))>
1550619756.176 * [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)))
1550619756.176 * * [misc]simplify:  iters left: 6 (18 enodes)
1550619756.181 * * [misc]simplify:  iters left: 5 (47 enodes)
1550619756.190 * * [misc]simplify:  iters left: 4 (121 enodes)
1550619756.217 * * [misc]simplify:  iters left: 3 (337 enodes)
1550619756.325 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619756.325 * * [misc]simplify:  Extracting #1: cost 34 inf + 0
1550619756.325 * * [misc]simplify:  Extracting #2: cost 204 inf + 0
1550619756.326 * * [misc]simplify:  Extracting #3: cost 326 inf + 1286
1550619756.331 * * [misc]simplify:  Extracting #4: cost 362 inf + 6740
1550619756.333 * * [misc]simplify:  Extracting #5: cost 377 inf + 18286
1550619756.335 * * [misc]simplify:  Extracting #6: cost 358 inf + 29885
1550619756.342 * * [misc]simplify:  Extracting #7: cost 252 inf + 186163
1550619756.375 * * [misc]simplify:  Extracting #8: cost 47 inf + 586692
1550619756.414 * * [misc]simplify:  Extracting #9: cost 0 inf + 696950
1550619756.462 * * [misc]simplify:  Extracting #10: cost 0 inf + 694590
1550619756.508 * [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))))))
1550619756.508 * [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)))))))
1550619756.508 * * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (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))))>
1550619756.509 * [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)))
1550619756.509 * * [misc]simplify:  iters left: 6 (18 enodes)
1550619756.513 * * [misc]simplify:  iters left: 5 (47 enodes)
1550619756.524 * * [misc]simplify:  iters left: 4 (121 enodes)
1550619756.552 * * [misc]simplify:  iters left: 3 (337 enodes)
1550619756.664 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619756.665 * * [misc]simplify:  Extracting #1: cost 34 inf + 0
1550619756.665 * * [misc]simplify:  Extracting #2: cost 204 inf + 0
1550619756.666 * * [misc]simplify:  Extracting #3: cost 326 inf + 1286
1550619756.668 * * [misc]simplify:  Extracting #4: cost 362 inf + 6740
1550619756.669 * * [misc]simplify:  Extracting #5: cost 377 inf + 18286
1550619756.672 * * [misc]simplify:  Extracting #6: cost 358 inf + 29885
1550619756.679 * * [misc]simplify:  Extracting #7: cost 252 inf + 186163
1550619756.706 * * [misc]simplify:  Extracting #8: cost 47 inf + 586692
1550619756.745 * * [misc]simplify:  Extracting #9: cost 0 inf + 696950
1550619756.783 * * [misc]simplify:  Extracting #10: cost 0 inf + 694590
1550619756.820 * [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))))))
1550619756.820 * [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)))))))
1550619756.820 * * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (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))))>
1550619756.820 * [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)))
1550619756.820 * * [misc]simplify:  iters left: 6 (18 enodes)
1550619756.825 * * [misc]simplify:  iters left: 5 (47 enodes)
1550619756.834 * * [misc]simplify:  iters left: 4 (121 enodes)
1550619756.862 * * [misc]simplify:  iters left: 3 (337 enodes)
1550619756.985 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619756.985 * * [misc]simplify:  Extracting #1: cost 34 inf + 0
1550619756.985 * * [misc]simplify:  Extracting #2: cost 204 inf + 0
1550619756.986 * * [misc]simplify:  Extracting #3: cost 326 inf + 1286
1550619756.988 * * [misc]simplify:  Extracting #4: cost 362 inf + 6740
1550619756.990 * * [misc]simplify:  Extracting #5: cost 377 inf + 18286
1550619756.992 * * [misc]simplify:  Extracting #6: cost 358 inf + 29885
1550619757.002 * * [misc]simplify:  Extracting #7: cost 252 inf + 186163
1550619757.031 * * [misc]simplify:  Extracting #8: cost 47 inf + 586692
1550619757.070 * * [misc]simplify:  Extracting #9: cost 0 inf + 696950
1550619757.126 * * [misc]simplify:  Extracting #10: cost 0 inf + 694590
1550619757.182 * [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))))))
1550619757.182 * [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)))))))
1550619757.182 * * * [misc]progress:  adding candidates to table
1550619757.634 * * [misc]progress:  iteration 2 / 4
1550619757.634 * * * [misc]progress:  picking best candidate
1550619757.750 * * * * [misc]pick:  Picked  #<alt (λ (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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))>
1550619757.750 * * * [misc]progress:  localizing error
1550619757.865 * * * [misc]progress:  generating rewritten candidates
1550619757.865 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550619757.870 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2 2)
1550619757.870 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 2)
1550619757.873 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2 2 1)
1550619757.876 * * * [misc]progress:  generating series expansions
1550619757.876 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550619757.876 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2 2)
1550619757.876 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 2)
1550619757.876 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2 2 1)
1550619757.876 * * * [misc]progress:  simplifying candidates
1550619757.876 * * * * [misc]progress:  [ 1 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->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) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))>
1550619757.876 * [enter]simplify:  Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1550619757.876 * * [misc]simplify:  iters left: 6 (17 enodes)
1550619757.883 * * [misc]simplify:  iters left: 5 (41 enodes)
1550619757.893 * * [misc]simplify:  iters left: 4 (92 enodes)
1550619757.920 * * [misc]simplify:  iters left: 3 (249 enodes)
1550619758.026 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619758.026 * * [misc]simplify:  Extracting #1: cost 62 inf + 0
1550619758.026 * * [misc]simplify:  Extracting #2: cost 221 inf + 1
1550619758.027 * * [misc]simplify:  Extracting #3: cost 276 inf + 326
1550619758.029 * * [misc]simplify:  Extracting #4: cost 322 inf + 7069
1550619758.031 * * [misc]simplify:  Extracting #5: cost 313 inf + 16046
1550619758.038 * * [misc]simplify:  Extracting #6: cost 280 inf + 45161
1550619758.053 * * [misc]simplify:  Extracting #7: cost 113 inf + 306861
1550619758.087 * * [misc]simplify:  Extracting #8: cost 9 inf + 493125
1550619758.125 * * [misc]simplify:  Extracting #9: cost 0 inf + 508775
1550619758.163 * * [misc]simplify:  Extracting #10: cost 0 inf + 508535
1550619758.203 * [exit]simplify:  Simplified to (*.p16 (/.p16 (*.p16 (real->posit16 1) rand) (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))))
1550619758.203 * [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 (*.p16 (real->posit16 1) rand) (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))))))
1550619758.203 * * * * [misc]progress:  [ 2 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.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)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1550619758.203 * [enter]simplify:  Simplifying (*.p16 (/.p16 (*.p16 (real->posit16 1) rand) (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))))
1550619758.204 * * [misc]simplify:  iters left: 6 (17 enodes)
1550619758.210 * * [misc]simplify:  iters left: 5 (41 enodes)
1550619758.219 * * [misc]simplify:  iters left: 4 (98 enodes)
1550619758.245 * * [misc]simplify:  iters left: 3 (262 enodes)
1550619758.327 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619758.327 * * [misc]simplify:  Extracting #1: cost 55 inf + 0
1550619758.327 * * [misc]simplify:  Extracting #2: cost 195 inf + 1
1550619758.329 * * [misc]simplify:  Extracting #3: cost 279 inf + 2576
1550619758.330 * * [misc]simplify:  Extracting #4: cost 330 inf + 8350
1550619758.332 * * [misc]simplify:  Extracting #5: cost 332 inf + 16047
1550619758.335 * * [misc]simplify:  Extracting #6: cost 284 inf + 62310
1550619758.348 * * [misc]simplify:  Extracting #7: cost 115 inf + 309800
1550619758.372 * * [misc]simplify:  Extracting #8: cost 2 inf + 529669
1550619758.403 * * [misc]simplify:  Extracting #9: cost 0 inf + 533955
1550619758.431 * [exit]simplify:  Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (*.p16 rand (real->posit16 1)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))
1550619758.431 * [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 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (*.p16 rand (real->posit16 1)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
1550619758.432 * * * * [misc]progress:  [ 3 / 13 ] simplifiying candidate #<alt (λ (a rand) (/.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) (/.p16 (*.p16 (real->posit16 1) rand) (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)))))>
1550619758.432 * [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) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
1550619758.432 * * [misc]simplify:  iters left: 6 (21 enodes)
1550619758.437 * * [misc]simplify:  iters left: 5 (59 enodes)
1550619758.452 * * [misc]simplify:  iters left: 4 (168 enodes)
1550619758.504 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619758.504 * * [misc]simplify:  Extracting #1: cost 40 inf + 0
1550619758.504 * * [misc]simplify:  Extracting #2: cost 164 inf + 0
1550619758.505 * * [misc]simplify:  Extracting #3: cost 246 inf + 965
1550619758.506 * * [misc]simplify:  Extracting #4: cost 277 inf + 5458
1550619758.507 * * [misc]simplify:  Extracting #5: cost 276 inf + 16358
1550619758.510 * * [misc]simplify:  Extracting #6: cost 208 inf + 76279
1550619758.519 * * [misc]simplify:  Extracting #7: cost 107 inf + 214928
1550619758.531 * * [misc]simplify:  Extracting #8: cost 81 inf + 259598
1550619758.549 * * [misc]simplify:  Extracting #9: cost 26 inf + 389317
1550619758.574 * * [misc]simplify:  Extracting #10: cost 3 inf + 446935
1550619758.598 * * [misc]simplify:  Extracting #11: cost 0 inf + 454113
1550619758.622 * [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)))
1550619758.622 * [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)))))
1550619758.623 * * * * [misc]progress:  [ 4 / 13 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (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)))))>
1550619758.623 * * * * [misc]progress:  [ 5 / 13 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (real->posit16 1) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) rand)))))>
1550619758.623 * [enter]simplify:  Simplifying (real->posit16 1)
1550619758.623 * * [misc]simplify:  iters left: 1 (2 enodes)
1550619758.624 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619758.624 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619758.624 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550619758.624 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550619758.624 * [exit]simplify:  Simplified to (real->posit16 1)
1550619758.624 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (real->posit16 1) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) rand)))))
1550619758.624 * * * * [misc]progress:  [ 6 / 13 ] simplifiying candidate #<alt (λ (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 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))))>
1550619758.624 * [enter]simplify:  Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550619758.624 * * [misc]simplify:  iters left: 4 (9 enodes)
1550619758.627 * * [misc]simplify:  iters left: 3 (13 enodes)
1550619758.629 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619758.629 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619758.629 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550619758.629 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550619758.629 * * [misc]simplify:  Extracting #4: cost 7 inf + 2
1550619758.630 * * [misc]simplify:  Extracting #5: cost 0 inf + 1813
1550619758.630 * [exit]simplify:  Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550619758.630 * [misc]simplify:  Simplified (2 2 2 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) rand) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))))
1550619758.630 * * * * [misc]progress:  [ 7 / 13 ] simplifiying candidate #<alt (λ (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 (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))))>
1550619758.630 * [enter]simplify:  Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1550619758.630 * * [misc]simplify:  iters left: 4 (9 enodes)
1550619758.632 * * [misc]simplify:  iters left: 3 (13 enodes)
1550619758.636 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619758.636 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619758.636 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550619758.636 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550619758.636 * * [misc]simplify:  Extracting #4: cost 7 inf + 2
1550619758.636 * * [misc]simplify:  Extracting #5: cost 4 inf + 5
1550619758.636 * * [misc]simplify:  Extracting #6: cost 0 inf + 1813
1550619758.636 * [exit]simplify:  Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1550619758.636 * [misc]simplify:  Simplified (2 2 2 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) rand) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))))
1550619758.637 * * * * [misc]progress:  [ 8 / 13 ] simplifiying candidate #<alt (λ (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 (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)))))))))>
1550619758.637 * [enter]simplify:  Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1550619758.637 * * [misc]simplify:  iters left: 3 (7 enodes)
1550619758.639 * * [misc]simplify:  iters left: 2 (12 enodes)
1550619758.641 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619758.641 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619758.641 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1550619758.641 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550619758.641 * * [misc]simplify:  Extracting #4: cost 0 inf + 930
1550619758.641 * [exit]simplify:  Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1550619758.641 * [misc]simplify:  Simplified (2 2 2 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) rand) (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)))))))))
1550619758.642 * * * * [misc]progress:  [ 9 / 13 ] simplifiying candidate #<alt (λ (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)))))))>
1550619758.642 * * * * [misc]progress:  [ 10 / 13 ] simplifiying candidate #<alt (λ (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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))>
1550619758.642 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) rand)
1550619758.642 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619758.643 * * [misc]simplify:  iters left: 1 (10 enodes)
1550619758.645 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619758.645 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619758.645 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619758.645 * * [misc]simplify:  Extracting #3: cost 2 inf + 2
1550619758.645 * * [misc]simplify:  Extracting #4: cost 0 inf + 325
1550619758.645 * [exit]simplify:  Simplified to (*.p16 rand (real->posit16 1))
1550619758.645 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 rand (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))
1550619758.645 * * * * [misc]progress:  [ 11 / 13 ] simplifiying candidate #<alt (λ (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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))>
1550619758.645 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) rand)
1550619758.645 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619758.646 * * [misc]simplify:  iters left: 1 (10 enodes)
1550619758.648 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619758.648 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619758.648 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619758.648 * * [misc]simplify:  Extracting #3: cost 2 inf + 2
1550619758.648 * * [misc]simplify:  Extracting #4: cost 0 inf + 325
1550619758.648 * [exit]simplify:  Simplified to (*.p16 rand (real->posit16 1))
1550619758.648 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 rand (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))
1550619758.648 * * * * [misc]progress:  [ 12 / 13 ] simplifiying candidate #<alt (λ (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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))>
1550619758.648 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) rand)
1550619758.649 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619758.650 * * [misc]simplify:  iters left: 1 (10 enodes)
1550619758.651 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619758.651 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619758.651 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619758.651 * * [misc]simplify:  Extracting #3: cost 2 inf + 2
1550619758.651 * * [misc]simplify:  Extracting #4: cost 0 inf + 325
1550619758.651 * [exit]simplify:  Simplified to (*.p16 rand (real->posit16 1))
1550619758.651 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 rand (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))
1550619758.651 * * * * [misc]progress:  [ 13 / 13 ] simplifiying candidate #<alt (λ (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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))>
1550619758.652 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) rand)
1550619758.652 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619758.653 * * [misc]simplify:  iters left: 1 (10 enodes)
1550619758.654 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619758.654 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619758.654 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619758.654 * * [misc]simplify:  Extracting #3: cost 2 inf + 2
1550619758.655 * * [misc]simplify:  Extracting #4: cost 0 inf + 325
1550619758.655 * [exit]simplify:  Simplified to (*.p16 rand (real->posit16 1))
1550619758.655 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 rand (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))
1550619758.655 * * * [misc]progress:  adding candidates to table
1550619759.532 * * [misc]progress:  iteration 3 / 4
1550619759.532 * * * [misc]progress:  picking best candidate
1550619759.726 * * * * [misc]pick:  Picked  #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (real->posit16 1) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) rand)))))>
1550619759.726 * * * [misc]progress:  localizing error
1550619759.844 * * * [misc]progress:  generating rewritten candidates
1550619759.844 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550619759.847 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2 2 1)
1550619759.847 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 2)
1550619759.848 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2 2)
1550619759.849 * * * [misc]progress:  generating series expansions
1550619759.849 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550619759.849 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2 2 1)
1550619759.850 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 2)
1550619759.850 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2 2)
1550619759.850 * * * [misc]progress:  simplifying candidates
1550619759.850 * * * * [misc]progress:  [ 1 / 9 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.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))))) rand)))))>
1550619759.850 * [enter]simplify:  Simplifying (*.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))))) rand)))
1550619759.850 * * [misc]simplify:  iters left: 6 (17 enodes)
1550619759.854 * * [misc]simplify:  iters left: 5 (40 enodes)
1550619759.862 * * [misc]simplify:  iters left: 4 (91 enodes)
1550619759.881 * * [misc]simplify:  iters left: 3 (263 enodes)
1550619760.014 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619760.014 * * [misc]simplify:  Extracting #1: cost 56 inf + 0
1550619760.015 * * [misc]simplify:  Extracting #2: cost 230 inf + 1
1550619760.016 * * [misc]simplify:  Extracting #3: cost 289 inf + 647
1550619760.018 * * [misc]simplify:  Extracting #4: cost 337 inf + 6106
1550619760.023 * * [misc]simplify:  Extracting #5: cost 333 inf + 14119
1550619760.026 * * [misc]simplify:  Extracting #6: cost 306 inf + 32496
1550619760.033 * * [misc]simplify:  Extracting #7: cost 174 inf + 208312
1550619760.057 * * [misc]simplify:  Extracting #8: cost 17 inf + 511482
1550619760.086 * * [misc]simplify:  Extracting #9: cost 0 inf + 550003
1550619760.117 * [exit]simplify:  Simplified to (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.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))))
1550619760.117 * [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 (*.p16 (real->posit16 1) rand) (-.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))))))
1550619760.117 * * * * [misc]progress:  [ 2 / 9 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (/.p16 (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))))))>
1550619760.118 * [enter]simplify:  Simplifying (*.p16 (/.p16 (real->posit16 1) (/.p16 (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))))
1550619760.118 * * [misc]simplify:  iters left: 6 (17 enodes)
1550619760.122 * * [misc]simplify:  iters left: 5 (40 enodes)
1550619760.129 * * [misc]simplify:  iters left: 4 (97 enodes)
1550619760.150 * * [misc]simplify:  iters left: 3 (269 enodes)
1550619760.245 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619760.245 * * [misc]simplify:  Extracting #1: cost 49 inf + 0
1550619760.246 * * [misc]simplify:  Extracting #2: cost 224 inf + 1
1550619760.247 * * [misc]simplify:  Extracting #3: cost 292 inf + 2576
1550619760.248 * * [misc]simplify:  Extracting #4: cost 343 inf + 6427
1550619760.250 * * [misc]simplify:  Extracting #5: cost 345 inf + 14766
1550619760.251 * * [misc]simplify:  Extracting #6: cost 338 inf + 18934
1550619760.255 * * [misc]simplify:  Extracting #7: cost 269 inf + 83286
1550619760.267 * * [misc]simplify:  Extracting #8: cost 109 inf + 322539
1550619760.294 * * [misc]simplify:  Extracting #9: cost 4 inf + 529429
1550619760.329 * * [misc]simplify:  Extracting #10: cost 0 inf + 538610
1550619760.369 * [exit]simplify:  Simplified to (*.p16 (/.p16 (*.p16 rand (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))))
1550619760.370 * [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 (*.p16 rand (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))))))
1550619760.370 * * * * [misc]progress:  [ 3 / 9 ] simplifiying candidate #<alt (λ (a rand) (/.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) (/.p16 (real->posit16 1) (/.p16 (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)))))>
1550619760.370 * [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 (real->posit16 1) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) rand))))
1550619760.370 * * [misc]simplify:  iters left: 6 (21 enodes)
1550619760.379 * * [misc]simplify:  iters left: 5 (58 enodes)
1550619760.399 * * [misc]simplify:  iters left: 4 (168 enodes)
1550619760.492 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619760.492 * * [misc]simplify:  Extracting #1: cost 40 inf + 0
1550619760.492 * * [misc]simplify:  Extracting #2: cost 166 inf + 0
1550619760.494 * * [misc]simplify:  Extracting #3: cost 255 inf + 323
1550619760.496 * * [misc]simplify:  Extracting #4: cost 283 inf + 6102
1550619760.498 * * [misc]simplify:  Extracting #5: cost 282 inf + 17000
1550619760.505 * * [misc]simplify:  Extracting #6: cost 194 inf + 114413
1550619760.530 * * [misc]simplify:  Extracting #7: cost 35 inf + 394439
1550619760.569 * * [misc]simplify:  Extracting #8: cost 0 inf + 461846
1550619760.605 * * [misc]simplify:  Extracting #9: cost 0 inf + 461806
1550619760.645 * [exit]simplify:  Simplified to (*.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 (*.p16 rand (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))))
1550619760.645 * [misc]simplify:  Simplified (2 1) to (λ (a rand) (/.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 (*.p16 rand (real->posit16 1)) (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)))))
1550619760.645 * * * * [misc]progress:  [ 4 / 9 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (+.p16 (real->posit16 1) (/.p16 (real->posit16 1) (/.p16 (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)))))>
1550619760.645 * * * * [misc]progress:  [ 5 / 9 ] simplifiying candidate #<alt (λ (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))))>
1550619760.645 * * * * [misc]progress:  [ 6 / 9 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (real->posit16 1) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) rand)))))>
1550619760.645 * [enter]simplify:  Simplifying (real->posit16 1)
1550619760.645 * * [misc]simplify:  iters left: 1 (2 enodes)
1550619760.647 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619760.647 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619760.647 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550619760.647 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550619760.647 * [exit]simplify:  Simplified to (real->posit16 1)
1550619760.647 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (real->posit16 1) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) rand)))))
1550619760.647 * * * * [misc]progress:  [ 7 / 9 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (real->posit16 1) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) rand)))))>
1550619760.647 * [enter]simplify:  Simplifying (real->posit16 1)
1550619760.647 * * [misc]simplify:  iters left: 1 (2 enodes)
1550619760.649 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619760.649 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619760.649 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550619760.649 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550619760.649 * [exit]simplify:  Simplified to (real->posit16 1)
1550619760.649 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (real->posit16 1) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) rand)))))
1550619760.649 * * * * [misc]progress:  [ 8 / 9 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (real->posit16 1) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) rand)))))>
1550619760.649 * [enter]simplify:  Simplifying (real->posit16 1)
1550619760.649 * * [misc]simplify:  iters left: 1 (2 enodes)
1550619760.650 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619760.650 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619760.650 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550619760.650 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550619760.650 * [exit]simplify:  Simplified to (real->posit16 1)
1550619760.650 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (real->posit16 1) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) rand)))))
1550619760.651 * * * * [misc]progress:  [ 9 / 9 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (real->posit16 1) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) rand)))))>
1550619760.651 * [enter]simplify:  Simplifying (real->posit16 1)
1550619760.651 * * [misc]simplify:  iters left: 1 (2 enodes)
1550619760.652 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619760.652 * * [misc]simplify:  Extracting #1: cost 2 inf + 0
1550619760.652 * * [misc]simplify:  Extracting #2: cost 1 inf + 1
1550619760.652 * * [misc]simplify:  Extracting #3: cost 0 inf + 2
1550619760.652 * [exit]simplify:  Simplified to (real->posit16 1)
1550619760.652 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (real->posit16 1) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) rand)))))
1550619760.652 * * * [misc]progress:  adding candidates to table
1550619761.135 * * [misc]progress:  iteration 4 / 4
1550619761.135 * * * [misc]progress:  picking best candidate
1550619761.318 * * * * [misc]pick:  Picked  #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (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))))))>
1550619761.318 * * * [misc]progress:  localizing error
1550619761.403 * * * [misc]progress:  generating rewritten candidates
1550619761.403 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1550619761.406 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1550619761.410 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 1 2)
1550619761.411 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 1)
1550619761.412 * * * [misc]progress:  generating series expansions
1550619761.412 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1550619761.412 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1550619761.412 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 1 2)
1550619761.412 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 1)
1550619761.412 * * * [misc]progress:  simplifying candidates
1550619761.412 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1550619761.412 * [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) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550619761.413 * * [misc]simplify:  iters left: 6 (18 enodes)
1550619761.417 * * [misc]simplify:  iters left: 5 (41 enodes)
1550619761.433 * * [misc]simplify:  iters left: 4 (83 enodes)
1550619761.448 * * [misc]simplify:  iters left: 3 (164 enodes)
1550619761.483 * * [misc]simplify:  iters left: 2 (496 enodes)
1550619761.828 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619761.828 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1550619761.828 * * [misc]simplify:  Extracting #2: cost 23 inf + 1
1550619761.828 * * [misc]simplify:  Extracting #3: cost 121 inf + 3
1550619761.830 * * [misc]simplify:  Extracting #4: cost 477 inf + 325
1550619761.835 * * [misc]simplify:  Extracting #5: cost 788 inf + 4871
1550619761.848 * * [misc]simplify:  Extracting #6: cost 663 inf + 189244
1550619761.896 * * [misc]simplify:  Extracting #7: cost 195 inf + 927268
1550619761.973 * * [misc]simplify:  Extracting #8: cost 10 inf + 1303684
1550619762.075 * * [misc]simplify:  Extracting #9: cost 0 inf + 1332318
1550619762.148 * [exit]simplify:  Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
1550619762.148 * [misc]simplify:  Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
1550619762.148 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))))>
1550619762.148 * [enter]simplify:  Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))
1550619762.149 * * [misc]simplify:  iters left: 6 (18 enodes)
1550619762.153 * * [misc]simplify:  iters left: 5 (41 enodes)
1550619762.160 * * [misc]simplify:  iters left: 4 (83 enodes)
1550619762.175 * * [misc]simplify:  iters left: 3 (164 enodes)
1550619762.214 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619762.214 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550619762.214 * * [misc]simplify:  Extracting #2: cost 18 inf + 1
1550619762.214 * * [misc]simplify:  Extracting #3: cost 41 inf + 1
1550619762.214 * * [misc]simplify:  Extracting #4: cost 129 inf + 3
1550619762.215 * * [misc]simplify:  Extracting #5: cost 159 inf + 651
1550619762.216 * * [misc]simplify:  Extracting #6: cost 163 inf + 16579
1550619762.220 * * [misc]simplify:  Extracting #7: cost 66 inf + 116878
1550619762.229 * * [misc]simplify:  Extracting #8: cost 4 inf + 214206
1550619762.240 * * [misc]simplify:  Extracting #9: cost 0 inf + 221579
1550619762.251 * [exit]simplify:  Simplified to (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))
1550619762.251 * [misc]simplify:  Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
1550619762.251 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1550619762.251 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1550619762.251 * * [misc]simplify:  iters left: 6 (14 enodes)
1550619762.255 * * [misc]simplify:  iters left: 5 (30 enodes)
1550619762.260 * * [misc]simplify:  iters left: 4 (56 enodes)
1550619762.271 * * [misc]simplify:  iters left: 3 (122 enodes)
1550619762.306 * * [misc]simplify:  iters left: 2 (499 enodes)
1550619762.716 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619762.716 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619762.716 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550619762.716 * * [misc]simplify:  Extracting #3: cost 93 inf + 1
1550619762.718 * * [misc]simplify:  Extracting #4: cost 451 inf + 2
1550619762.722 * * [misc]simplify:  Extracting #5: cost 850 inf + 2252
1550619762.726 * * [misc]simplify:  Extracting #6: cost 904 inf + 7387
1550619762.732 * * [misc]simplify:  Extracting #7: cost 835 inf + 65272
1550619762.747 * * [misc]simplify:  Extracting #8: cost 579 inf + 361623
1550619762.801 * * [misc]simplify:  Extracting #9: cost 181 inf + 1076854
1550619762.871 * * [misc]simplify:  Extracting #10: cost 6 inf + 1471563
1550619762.969 * * [misc]simplify:  Extracting #11: cost 0 inf + 1485305
1550619763.044 * * [misc]simplify:  Extracting #12: cost 0 inf + 1484905
1550619763.117 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1550619763.117 * [misc]simplify:  Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1550619763.118 * * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1550619763.118 * [enter]simplify:  Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1550619763.118 * * [misc]simplify:  iters left: 3 (7 enodes)
1550619763.120 * * [misc]simplify:  iters left: 2 (12 enodes)
1550619763.122 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619763.122 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619763.122 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1550619763.122 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550619763.122 * * [misc]simplify:  Extracting #4: cost 0 inf + 930
1550619763.122 * [exit]simplify:  Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1550619763.122 * [misc]simplify:  Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1550619763.122 * * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
1550619763.122 * [enter]simplify:  Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550619763.122 * * [misc]simplify:  iters left: 4 (12 enodes)
1550619763.125 * * [misc]simplify:  iters left: 3 (32 enodes)
1550619763.134 * * [misc]simplify:  iters left: 2 (72 enodes)
1550619763.163 * * [misc]simplify:  iters left: 1 (187 enodes)
1550619763.252 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619763.252 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1550619763.253 * * [misc]simplify:  Extracting #2: cost 127 inf + 1
1550619763.254 * * [misc]simplify:  Extracting #3: cost 199 inf + 1612
1550619763.255 * * [misc]simplify:  Extracting #4: cost 224 inf + 11556
1550619763.257 * * [misc]simplify:  Extracting #5: cost 214 inf + 19246
1550619763.258 * * [misc]simplify:  Extracting #6: cost 205 inf + 24740
1550619763.263 * * [misc]simplify:  Extracting #7: cost 101 inf + 143111
1550619763.275 * * [misc]simplify:  Extracting #8: cost 13 inf + 275987
1550619763.289 * * [misc]simplify:  Extracting #9: cost 0 inf + 294918
1550619763.315 * [exit]simplify:  Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550619763.315 * [misc]simplify:  Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
1550619763.315 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.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))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1550619763.315 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (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))))>
1550619763.315 * [enter]simplify:  Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1550619763.315 * * [misc]simplify:  iters left: 3 (7 enodes)
1550619763.318 * * [misc]simplify:  iters left: 2 (18 enodes)
1550619763.323 * * [misc]simplify:  iters left: 1 (32 enodes)
1550619763.334 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619763.334 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1550619763.334 * * [misc]simplify:  Extracting #2: cost 25 inf + 1
1550619763.334 * * [misc]simplify:  Extracting #3: cost 34 inf + 322
1550619763.334 * * [misc]simplify:  Extracting #4: cost 27 inf + 3209
1550619763.334 * * [misc]simplify:  Extracting #5: cost 22 inf + 4898
1550619763.335 * * [misc]simplify:  Extracting #6: cost 11 inf + 15047
1550619763.337 * * [misc]simplify:  Extracting #7: cost 0 inf + 29315
1550619763.339 * [exit]simplify:  Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1550619763.339 * [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))))
1550619763.340 * [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))
1550619763.340 * * [misc]simplify:  iters left: 6 (17 enodes)
1550619763.346 * * [misc]simplify:  iters left: 5 (39 enodes)
1550619763.357 * * [misc]simplify:  iters left: 4 (69 enodes)
1550619763.378 * * [misc]simplify:  iters left: 3 (135 enodes)
1550619763.428 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619763.429 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619763.429 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1550619763.429 * * [misc]simplify:  Extracting #3: cost 8 inf + 2
1550619763.429 * * [misc]simplify:  Extracting #4: cost 24 inf + 325
1550619763.429 * * [misc]simplify:  Extracting #5: cost 114 inf + 325
1550619763.430 * * [misc]simplify:  Extracting #6: cost 151 inf + 649
1550619763.431 * * [misc]simplify:  Extracting #7: cost 179 inf + 5780
1550619763.432 * * [misc]simplify:  Extracting #8: cost 171 inf + 11228
1550619763.434 * * [misc]simplify:  Extracting #9: cost 155 inf + 20299
1550619763.441 * * [misc]simplify:  Extracting #10: cost 45 inf + 156646
1550619763.456 * * [misc]simplify:  Extracting #11: cost 3 inf + 219582
1550619763.471 * * [misc]simplify:  Extracting #12: cost 0 inf + 221713
1550619763.487 * [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))))))))
1550619763.487 * [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))))))))))
1550619763.487 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1550619763.488 * [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) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550619763.488 * * [misc]simplify:  iters left: 6 (18 enodes)
1550619763.495 * * [misc]simplify:  iters left: 5 (41 enodes)
1550619763.507 * * [misc]simplify:  iters left: 4 (83 enodes)
1550619763.532 * * [misc]simplify:  iters left: 3 (164 enodes)
1550619763.582 * * [misc]simplify:  iters left: 2 (496 enodes)
1550619763.939 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619763.939 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1550619763.939 * * [misc]simplify:  Extracting #2: cost 23 inf + 1
1550619763.940 * * [misc]simplify:  Extracting #3: cost 121 inf + 3
1550619763.941 * * [misc]simplify:  Extracting #4: cost 477 inf + 325
1550619763.944 * * [misc]simplify:  Extracting #5: cost 788 inf + 4871
1550619763.954 * * [misc]simplify:  Extracting #6: cost 663 inf + 189244
1550619763.998 * * [misc]simplify:  Extracting #7: cost 195 inf + 927268
1550619764.107 * * [misc]simplify:  Extracting #8: cost 10 inf + 1303684
1550619764.236 * * [misc]simplify:  Extracting #9: cost 0 inf + 1332318
1550619764.310 * [exit]simplify:  Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
1550619764.310 * [misc]simplify:  Simplified (2 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1550619764.310 * * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1550619764.310 * [enter]simplify:  Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))
1550619764.310 * * [misc]simplify:  iters left: 6 (18 enodes)
1550619764.315 * * [misc]simplify:  iters left: 5 (41 enodes)
1550619764.327 * * [misc]simplify:  iters left: 4 (83 enodes)
1550619764.353 * * [misc]simplify:  iters left: 3 (164 enodes)
1550619764.419 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619764.419 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550619764.419 * * [misc]simplify:  Extracting #2: cost 18 inf + 1
1550619764.420 * * [misc]simplify:  Extracting #3: cost 41 inf + 1
1550619764.420 * * [misc]simplify:  Extracting #4: cost 129 inf + 3
1550619764.421 * * [misc]simplify:  Extracting #5: cost 159 inf + 651
1550619764.423 * * [misc]simplify:  Extracting #6: cost 163 inf + 16579
1550619764.431 * * [misc]simplify:  Extracting #7: cost 66 inf + 116878
1550619764.448 * * [misc]simplify:  Extracting #8: cost 4 inf + 214206
1550619764.469 * * [misc]simplify:  Extracting #9: cost 0 inf + 221579
1550619764.487 * [exit]simplify:  Simplified to (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))
1550619764.487 * [misc]simplify:  Simplified (2 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
1550619764.487 * * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (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)))))))>
1550619764.488 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) a)
1550619764.488 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619764.489 * * [misc]simplify:  iters left: 1 (10 enodes)
1550619764.491 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619764.491 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619764.491 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619764.491 * * [misc]simplify:  Extracting #3: cost 2 inf + 2
1550619764.491 * * [misc]simplify:  Extracting #4: cost 0 inf + 325
1550619764.491 * [exit]simplify:  Simplified to (*.p16 a (real->posit16 1))
1550619764.491 * [misc]simplify:  Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1550619764.491 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1550619764.491 * [enter]simplify:  Simplifying (*.p16 a (real->posit16 1))
1550619764.491 * * [misc]simplify:  iters left: 2 (4 enodes)
1550619764.492 * * [misc]simplify:  iters left: 1 (10 enodes)
1550619764.494 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619764.494 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619764.494 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550619764.494 * * [misc]simplify:  Extracting #3: cost 0 inf + 325
1550619764.494 * [exit]simplify:  Simplified to (*.p16 a (real->posit16 1))
1550619764.494 * [misc]simplify:  Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1550619764.494 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1550619764.494 * * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (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))))))>
1550619764.494 * [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))))
1550619764.494 * * [misc]simplify:  iters left: 6 (17 enodes)
1550619764.498 * * [misc]simplify:  iters left: 5 (41 enodes)
1550619764.506 * * [misc]simplify:  iters left: 4 (101 enodes)
1550619764.540 * * [misc]simplify:  iters left: 3 (291 enodes)
1550619764.696 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619764.697 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1550619764.698 * * [misc]simplify:  Extracting #2: cost 208 inf + 1
1550619764.699 * * [misc]simplify:  Extracting #3: cost 275 inf + 1610
1550619764.702 * * [misc]simplify:  Extracting #4: cost 319 inf + 9953
1550619764.705 * * [misc]simplify:  Extracting #5: cost 302 inf + 20857
1550619764.709 * * [misc]simplify:  Extracting #6: cost 279 inf + 36752
1550619764.723 * * [misc]simplify:  Extracting #7: cost 152 inf + 206471
1550619764.765 * * [misc]simplify:  Extracting #8: cost 9 inf + 486275
1550619764.806 * * [misc]simplify:  Extracting #9: cost 0 inf + 499918
1550619764.836 * [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))))
1550619764.836 * [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))))))
1550619764.836 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (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))))))>
1550619764.837 * [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))))
1550619764.837 * * [misc]simplify:  iters left: 6 (17 enodes)
1550619764.841 * * [misc]simplify:  iters left: 5 (41 enodes)
1550619764.850 * * [misc]simplify:  iters left: 4 (101 enodes)
1550619764.873 * * [misc]simplify:  iters left: 3 (291 enodes)
1550619765.003 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619765.003 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1550619765.004 * * [misc]simplify:  Extracting #2: cost 208 inf + 1
1550619765.005 * * [misc]simplify:  Extracting #3: cost 275 inf + 1610
1550619765.006 * * [misc]simplify:  Extracting #4: cost 319 inf + 9953
1550619765.008 * * [misc]simplify:  Extracting #5: cost 302 inf + 20857
1550619765.011 * * [misc]simplify:  Extracting #6: cost 279 inf + 36752
1550619765.019 * * [misc]simplify:  Extracting #7: cost 152 inf + 206471
1550619765.052 * * [misc]simplify:  Extracting #8: cost 9 inf + 486275
1550619765.085 * * [misc]simplify:  Extracting #9: cost 0 inf + 499918
1550619765.111 * [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))))
1550619765.111 * [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))))))
1550619765.111 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (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))))))>
1550619765.111 * [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))))
1550619765.111 * * [misc]simplify:  iters left: 6 (17 enodes)
1550619765.118 * * [misc]simplify:  iters left: 5 (41 enodes)
1550619765.126 * * [misc]simplify:  iters left: 4 (101 enodes)
1550619765.149 * * [misc]simplify:  iters left: 3 (291 enodes)
1550619765.247 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619765.247 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1550619765.248 * * [misc]simplify:  Extracting #2: cost 208 inf + 1
1550619765.249 * * [misc]simplify:  Extracting #3: cost 275 inf + 1610
1550619765.251 * * [misc]simplify:  Extracting #4: cost 319 inf + 9953
1550619765.255 * * [misc]simplify:  Extracting #5: cost 302 inf + 20857
1550619765.258 * * [misc]simplify:  Extracting #6: cost 279 inf + 36752
1550619765.271 * * [misc]simplify:  Extracting #7: cost 152 inf + 206471
1550619765.311 * * [misc]simplify:  Extracting #8: cost 9 inf + 486275
1550619765.345 * * [misc]simplify:  Extracting #9: cost 0 inf + 499918
1550619765.372 * [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))))
1550619765.372 * [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))))))
1550619765.373 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (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))))))>
1550619765.373 * [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))))
1550619765.373 * * [misc]simplify:  iters left: 6 (17 enodes)
1550619765.377 * * [misc]simplify:  iters left: 5 (41 enodes)
1550619765.385 * * [misc]simplify:  iters left: 4 (101 enodes)
1550619765.420 * * [misc]simplify:  iters left: 3 (291 enodes)
1550619765.520 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619765.520 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1550619765.520 * * [misc]simplify:  Extracting #2: cost 208 inf + 1
1550619765.521 * * [misc]simplify:  Extracting #3: cost 275 inf + 1610
1550619765.524 * * [misc]simplify:  Extracting #4: cost 319 inf + 9953
1550619765.527 * * [misc]simplify:  Extracting #5: cost 302 inf + 20857
1550619765.529 * * [misc]simplify:  Extracting #6: cost 279 inf + 36752
1550619765.537 * * [misc]simplify:  Extracting #7: cost 152 inf + 206471
1550619765.574 * * [misc]simplify:  Extracting #8: cost 9 inf + 486275
1550619765.616 * * [misc]simplify:  Extracting #9: cost 0 inf + 499918
1550619765.658 * [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))))
1550619765.658 * [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))))))
1550619765.659 * * * [misc]progress:  adding candidates to table
1550619766.892 * [misc]progress:  [Phase 3 of 3] Extracting.
1550619766.892 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (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 (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)))))))))> #<alt (λ (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 (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.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))))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (real->posit16 1) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) rand)))))> #<alt (λ (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)))))> #<alt (λ (a rand) (/.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 (*.p16 rand (real->posit16 1)) (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)))))> #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>)
1550619766.895 * * * [misc]regime-changes:  Trying 2 branch expressions: (rand a)
1550619766.895 * * * * [misc]regimes:  Trying to branch on rand from (#<alt (λ (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 (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)))))))))> #<alt (λ (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 (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.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))))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (real->posit16 1) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) rand)))))> #<alt (λ (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)))))> #<alt (λ (a rand) (/.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 (*.p16 rand (real->posit16 1)) (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)))))> #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>)
1550619767.416 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (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 (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)))))))))> #<alt (λ (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 (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.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))))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (real->posit16 1) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) rand)))))> #<alt (λ (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)))))> #<alt (λ (a rand) (/.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 (*.p16 rand (real->posit16 1)) (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)))))> #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>)
1550619768.141 * * * [misc]regime:  Found split indices: #<option (#s(si 7 256))>
1550619768.142 * [enter]simplify:  Simplifying (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1550619768.142 * * [misc]simplify:  iters left: 6 (22 enodes)
1550619768.145 * * [misc]simplify:  iters left: 5 (24 enodes)
1550619768.147 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550619768.147 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550619768.147 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550619768.147 * * [misc]simplify:  Extracting #3: cost 10 inf + 1
1550619768.147 * * [misc]simplify:  Extracting #4: cost 10 inf + 325
1550619768.148 * * [misc]simplify:  Extracting #5: cost 12 inf + 326
1550619768.148 * * [misc]simplify:  Extracting #6: cost 15 inf + 326
1550619768.148 * * [misc]simplify:  Extracting #7: cost 12 inf + 330
1550619768.148 * * [misc]simplify:  Extracting #8: cost 10 inf + 1817
1550619768.148 * * [misc]simplify:  Extracting #9: cost 8 inf + 2661
1550619768.148 * * [misc]simplify:  Extracting #10: cost 5 inf + 4390
1550619768.149 * * [misc]simplify:  Extracting #11: cost 3 inf + 7361
1550619768.150 * * [misc]simplify:  Extracting #12: cost 1 inf + 11733
1550619768.151 * * [misc]simplify:  Extracting #13: cost 0 inf + 14499
1550619768.152 * [exit]simplify:  Simplified to (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1550619768.152 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550619768.185 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550619768.193 * * * * [misc]points:  Setting MPFR precision to 64
1550619768.194 * * * * [misc]points:  Setting MPFR precision to 320
1550619768.196 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550619768.204 * * * * [misc]points:  Setting MPFR precision to 64
1550619768.206 * * * * [misc]points:  Setting MPFR precision to 320
1550619768.210 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550619768.218 * * * * [misc]points:  Setting MPFR precision to 64
1550619768.224 * * * * [misc]points:  Setting MPFR precision to 320
1550619768.232 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550619768.239 * * * * [misc]points:  Setting MPFR precision to 64
1550619768.250 * * * * [misc]points:  Setting MPFR precision to 320
1550619768.266 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550619768.273 * * * * [misc]points:  Setting MPFR precision to 64
1550619768.319 * * * * [misc]points:  Setting MPFR precision to 320
1550619768.351 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550619768.356 * * * * [misc]points:  Setting MPFR precision to 64
1550619768.384 * * * * [misc]points:  Setting MPFR precision to 320
1550619768.434 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550619768.444 * * * * [misc]points:  Setting MPFR precision to 64
1550619768.548 * * * * [misc]points:  Setting MPFR precision to 320
1550619768.636 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550619768.674 * * * * [misc]points:  Setting MPFR precision to 64
1550619768.906 * * * * [misc]points:  Setting MPFR precision to 320
1550619769.107 * * * * [misc]points:  Computing exacts for 8000 points
1550619769.116 * * * * [misc]points:  Setting MPFR precision to 64
1550619769.902 * * * * [misc]points:  Setting MPFR precision to 320
1550619770.857 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619771.444 * * * * [misc]points:  Sampling 5148 additional inputs, on iter 1 have 2852 / 8000
1550619771.458 * * * * [misc]points:  Computing exacts on every 321 of 5148 points to ramp up precision
1550619771.462 * * * * [misc]points:  Setting MPFR precision to 64
1550619771.463 * * * * [misc]points:  Setting MPFR precision to 320
1550619771.464 * * * * [misc]points:  Computing exacts on every 160 of 5148 points to ramp up precision
1550619771.469 * * * * [misc]points:  Setting MPFR precision to 64
1550619771.471 * * * * [misc]points:  Setting MPFR precision to 320
1550619771.473 * * * * [misc]points:  Computing exacts on every 80 of 5148 points to ramp up precision
1550619771.477 * * * * [misc]points:  Setting MPFR precision to 64
1550619771.481 * * * * [misc]points:  Setting MPFR precision to 320
1550619771.485 * * * * [misc]points:  Computing exacts on every 40 of 5148 points to ramp up precision
1550619771.490 * * * * [misc]points:  Setting MPFR precision to 64
1550619771.497 * * * * [misc]points:  Setting MPFR precision to 320
1550619771.518 * * * * [misc]points:  Computing exacts on every 20 of 5148 points to ramp up precision
1550619771.523 * * * * [misc]points:  Setting MPFR precision to 64
1550619771.545 * * * * [misc]points:  Setting MPFR precision to 320
1550619771.572 * * * * [misc]points:  Computing exacts on every 10 of 5148 points to ramp up precision
1550619771.580 * * * * [misc]points:  Setting MPFR precision to 64
1550619771.621 * * * * [misc]points:  Setting MPFR precision to 320
1550619771.657 * * * * [misc]points:  Computing exacts on every 5 of 5148 points to ramp up precision
1550619771.686 * * * * [misc]points:  Setting MPFR precision to 64
1550619771.744 * * * * [misc]points:  Setting MPFR precision to 320
1550619771.856 * * * * [misc]points:  Computing exacts on every 2 of 5148 points to ramp up precision
1550619771.867 * * * * [misc]points:  Setting MPFR precision to 64
1550619772.011 * * * * [misc]points:  Setting MPFR precision to 320
1550619772.214 * * * * [misc]points:  Computing exacts for 5148 points
1550619772.247 * * * * [misc]points:  Setting MPFR precision to 64
1550619772.729 * * * * [misc]points:  Setting MPFR precision to 320
1550619773.359 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619773.574 * * * * [misc]points:  Sampling 3368 additional inputs, on iter 2 have 4632 / 8000
1550619773.588 * * * * [misc]points:  Computing exacts on every 210 of 3368 points to ramp up precision
1550619773.596 * * * * [misc]points:  Setting MPFR precision to 64
1550619773.598 * * * * [misc]points:  Setting MPFR precision to 320
1550619773.599 * * * * [misc]points:  Computing exacts on every 105 of 3368 points to ramp up precision
1550619773.603 * * * * [misc]points:  Setting MPFR precision to 64
1550619773.605 * * * * [misc]points:  Setting MPFR precision to 320
1550619773.608 * * * * [misc]points:  Computing exacts on every 52 of 3368 points to ramp up precision
1550619773.612 * * * * [misc]points:  Setting MPFR precision to 64
1550619773.616 * * * * [misc]points:  Setting MPFR precision to 320
1550619773.620 * * * * [misc]points:  Computing exacts on every 26 of 3368 points to ramp up precision
1550619773.625 * * * * [misc]points:  Setting MPFR precision to 64
1550619773.632 * * * * [misc]points:  Setting MPFR precision to 320
1550619773.641 * * * * [misc]points:  Computing exacts on every 13 of 3368 points to ramp up precision
1550619773.646 * * * * [misc]points:  Setting MPFR precision to 64
1550619773.659 * * * * [misc]points:  Setting MPFR precision to 320
1550619773.693 * * * * [misc]points:  Computing exacts on every 6 of 3368 points to ramp up precision
1550619773.698 * * * * [misc]points:  Setting MPFR precision to 64
1550619773.726 * * * * [misc]points:  Setting MPFR precision to 320
1550619773.761 * * * * [misc]points:  Computing exacts on every 3 of 3368 points to ramp up precision
1550619773.766 * * * * [misc]points:  Setting MPFR precision to 64
1550619773.837 * * * * [misc]points:  Setting MPFR precision to 320
1550619773.901 * * * * [misc]points:  Computing exacts for 3368 points
1550619773.906 * * * * [misc]points:  Setting MPFR precision to 64
1550619774.221 * * * * [misc]points:  Setting MPFR precision to 320
1550619774.867 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619774.963 * * * * [misc]points:  Sampling 2119 additional inputs, on iter 3 have 5881 / 8000
1550619774.969 * * * * [misc]points:  Computing exacts on every 132 of 2119 points to ramp up precision
1550619774.974 * * * * [misc]points:  Setting MPFR precision to 64
1550619774.975 * * * * [misc]points:  Setting MPFR precision to 320
1550619774.976 * * * * [misc]points:  Computing exacts on every 66 of 2119 points to ramp up precision
1550619774.980 * * * * [misc]points:  Setting MPFR precision to 64
1550619774.982 * * * * [misc]points:  Setting MPFR precision to 320
1550619774.984 * * * * [misc]points:  Computing exacts on every 33 of 2119 points to ramp up precision
1550619774.989 * * * * [misc]points:  Setting MPFR precision to 64
1550619774.992 * * * * [misc]points:  Setting MPFR precision to 320
1550619774.997 * * * * [misc]points:  Computing exacts on every 16 of 2119 points to ramp up precision
1550619775.002 * * * * [misc]points:  Setting MPFR precision to 64
1550619775.012 * * * * [misc]points:  Setting MPFR precision to 320
1550619775.027 * * * * [misc]points:  Computing exacts on every 8 of 2119 points to ramp up precision
1550619775.054 * * * * [misc]points:  Setting MPFR precision to 64
1550619775.069 * * * * [misc]points:  Setting MPFR precision to 320
1550619775.085 * * * * [misc]points:  Computing exacts on every 4 of 2119 points to ramp up precision
1550619775.090 * * * * [misc]points:  Setting MPFR precision to 64
1550619775.121 * * * * [misc]points:  Setting MPFR precision to 320
1550619775.168 * * * * [misc]points:  Computing exacts on every 2 of 2119 points to ramp up precision
1550619775.176 * * * * [misc]points:  Setting MPFR precision to 64
1550619775.268 * * * * [misc]points:  Setting MPFR precision to 320
1550619775.319 * * * * [misc]points:  Computing exacts for 2119 points
1550619775.324 * * * * [misc]points:  Setting MPFR precision to 64
1550619775.527 * * * * [misc]points:  Setting MPFR precision to 320
1550619775.756 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619775.835 * * * * [misc]points:  Sampling 1325 additional inputs, on iter 4 have 6675 / 8000
1550619775.839 * * * * [misc]points:  Computing exacts on every 82 of 1325 points to ramp up precision
1550619775.845 * * * * [misc]points:  Setting MPFR precision to 64
1550619775.846 * * * * [misc]points:  Setting MPFR precision to 320
1550619775.848 * * * * [misc]points:  Computing exacts on every 41 of 1325 points to ramp up precision
1550619775.853 * * * * [misc]points:  Setting MPFR precision to 64
1550619775.855 * * * * [misc]points:  Setting MPFR precision to 320
1550619775.857 * * * * [misc]points:  Computing exacts on every 20 of 1325 points to ramp up precision
1550619775.861 * * * * [misc]points:  Setting MPFR precision to 64
1550619775.865 * * * * [misc]points:  Setting MPFR precision to 320
1550619775.869 * * * * [misc]points:  Computing exacts on every 10 of 1325 points to ramp up precision
1550619775.886 * * * * [misc]points:  Setting MPFR precision to 64
1550619775.894 * * * * [misc]points:  Setting MPFR precision to 320
1550619775.902 * * * * [misc]points:  Computing exacts on every 5 of 1325 points to ramp up precision
1550619775.906 * * * * [misc]points:  Setting MPFR precision to 64
1550619775.919 * * * * [misc]points:  Setting MPFR precision to 320
1550619775.934 * * * * [misc]points:  Computing exacts on every 2 of 1325 points to ramp up precision
1550619775.939 * * * * [misc]points:  Setting MPFR precision to 64
1550619775.962 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.018 * * * * [misc]points:  Computing exacts for 1325 points
1550619776.025 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.096 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.222 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619776.264 * * * * [misc]points:  Sampling 847 additional inputs, on iter 5 have 7153 / 8000
1550619776.267 * * * * [misc]points:  Computing exacts on every 52 of 847 points to ramp up precision
1550619776.304 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.306 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.310 * * * * [misc]points:  Computing exacts on every 26 of 847 points to ramp up precision
1550619776.317 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.321 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.324 * * * * [misc]points:  Computing exacts on every 13 of 847 points to ramp up precision
1550619776.332 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.338 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.345 * * * * [misc]points:  Computing exacts on every 6 of 847 points to ramp up precision
1550619776.352 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.363 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.378 * * * * [misc]points:  Computing exacts on every 3 of 847 points to ramp up precision
1550619776.386 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.405 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.431 * * * * [misc]points:  Computing exacts for 847 points
1550619776.439 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.532 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.613 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619776.662 * * * * [misc]points:  Sampling 548 additional inputs, on iter 6 have 7452 / 8000
1550619776.664 * * * * [misc]points:  Computing exacts on every 34 of 548 points to ramp up precision
1550619776.669 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.670 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.671 * * * * [misc]points:  Computing exacts on every 17 of 548 points to ramp up precision
1550619776.675 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.677 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.679 * * * * [misc]points:  Computing exacts on every 8 of 548 points to ramp up precision
1550619776.686 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.691 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.699 * * * * [misc]points:  Computing exacts on every 4 of 548 points to ramp up precision
1550619776.708 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.718 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.731 * * * * [misc]points:  Computing exacts on every 2 of 548 points to ramp up precision
1550619776.738 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.755 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.799 * * * * [misc]points:  Computing exacts for 548 points
1550619776.807 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.852 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.897 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619776.912 * * * * [misc]points:  Sampling 358 additional inputs, on iter 7 have 7642 / 8000
1550619776.913 * * * * [misc]points:  Computing exacts on every 22 of 358 points to ramp up precision
1550619776.917 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.918 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.919 * * * * [misc]points:  Computing exacts on every 11 of 358 points to ramp up precision
1550619776.943 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.945 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.947 * * * * [misc]points:  Computing exacts on every 5 of 358 points to ramp up precision
1550619776.952 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.957 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.961 * * * * [misc]points:  Computing exacts on every 2 of 358 points to ramp up precision
1550619776.965 * * * * [misc]points:  Setting MPFR precision to 64
1550619776.972 * * * * [misc]points:  Setting MPFR precision to 320
1550619776.981 * * * * [misc]points:  Computing exacts for 358 points
1550619776.985 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.018 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.058 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619777.069 * * * * [misc]points:  Sampling 231 additional inputs, on iter 8 have 7769 / 8000
1550619777.069 * * * * [misc]points:  Computing exacts on every 14 of 231 points to ramp up precision
1550619777.099 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.100 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.101 * * * * [misc]points:  Computing exacts on every 7 of 231 points to ramp up precision
1550619777.107 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.110 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.114 * * * * [misc]points:  Computing exacts on every 3 of 231 points to ramp up precision
1550619777.121 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.127 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.133 * * * * [misc]points:  Computing exacts for 231 points
1550619777.140 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.152 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.170 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619777.176 * * * * [misc]points:  Sampling 154 additional inputs, on iter 9 have 7846 / 8000
1550619777.176 * * * * [misc]points:  Computing exacts on every 9 of 154 points to ramp up precision
1550619777.181 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.182 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.183 * * * * [misc]points:  Computing exacts on every 4 of 154 points to ramp up precision
1550619777.188 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.189 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.192 * * * * [misc]points:  Computing exacts on every 2 of 154 points to ramp up precision
1550619777.221 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.229 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.236 * * * * [misc]points:  Computing exacts for 154 points
1550619777.244 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.256 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.276 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619777.284 * * * * [misc]points:  Sampling 98 additional inputs, on iter 10 have 7902 / 8000
1550619777.284 * * * * [misc]points:  Computing exacts on every 6 of 98 points to ramp up precision
1550619777.293 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.294 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.296 * * * * [misc]points:  Computing exacts on every 3 of 98 points to ramp up precision
1550619777.304 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.307 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.310 * * * * [misc]points:  Computing exacts for 98 points
1550619777.319 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.329 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.343 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619777.348 * * * * [misc]points:  Sampling 65 additional inputs, on iter 11 have 7935 / 8000
1550619777.348 * * * * [misc]points:  Computing exacts on every 4 of 65 points to ramp up precision
1550619777.358 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.360 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.361 * * * * [misc]points:  Computing exacts on every 2 of 65 points to ramp up precision
1550619777.392 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.394 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.400 * * * * [misc]points:  Computing exacts for 65 points
1550619777.409 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.415 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.423 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619777.426 * * * * [misc]points:  Sampling 44 additional inputs, on iter 12 have 7956 / 8000
1550619777.426 * * * * [misc]points:  Computing exacts on every 2 of 44 points to ramp up precision
1550619777.434 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.436 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.438 * * * * [misc]points:  Computing exacts for 44 points
1550619777.447 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.451 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.456 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619777.458 * * * * [misc]points:  Sampling 29 additional inputs, on iter 13 have 7971 / 8000
1550619777.459 * * * * [misc]points:  Computing exacts for 29 points
1550619777.467 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.470 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.474 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619777.475 * * * * [misc]points:  Sampling 17 additional inputs, on iter 14 have 7983 / 8000
1550619777.476 * * * * [misc]points:  Computing exacts for 17 points
1550619777.484 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.486 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.489 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619777.490 * * * * [misc]points:  Sampling 10 additional inputs, on iter 15 have 7990 / 8000
1550619777.490 * * * * [misc]points:  Computing exacts for 10 points
1550619777.499 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.501 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.503 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619777.503 * * * * [misc]points:  Sampling 8 additional inputs, on iter 16 have 7992 / 8000
1550619777.503 * * * * [misc]points:  Computing exacts for 8 points
1550619777.512 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.513 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.514 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619777.515 * * * * [misc]points:  Sampling 6 additional inputs, on iter 17 have 7994 / 8000
1550619777.515 * * * * [misc]points:  Computing exacts for 6 points
1550619777.542 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.543 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.544 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619777.544 * * * * [misc]points:  Sampling 5 additional inputs, on iter 18 have 7995 / 8000
1550619777.544 * * * * [misc]points:  Computing exacts for 5 points
1550619777.553 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.554 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.555 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619777.555 * * * * [misc]points:  Sampling 5 additional inputs, on iter 19 have 7995 / 8000
1550619777.555 * * * * [misc]points:  Computing exacts for 5 points
1550619777.565 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.566 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.567 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619777.567 * * * * [misc]points:  Sampling 4 additional inputs, on iter 20 have 7996 / 8000
1550619777.567 * * * * [misc]points:  Computing exacts for 4 points
1550619777.577 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.577 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.578 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619777.578 * * * * [misc]points:  Sampling 4 additional inputs, on iter 21 have 7998 / 8000
1550619777.578 * * * * [misc]points:  Computing exacts for 4 points
1550619777.587 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.588 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.588 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619777.589 * * * * [misc]points:  Sampling 4 additional inputs, on iter 22 have 7998 / 8000
1550619777.589 * * * * [misc]points:  Computing exacts for 4 points
1550619777.593 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.593 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.594 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619777.594 * * * * [misc]points:  Sampling 4 additional inputs, on iter 23 have 7999 / 8000
1550619777.594 * * * * [misc]points:  Computing exacts for 4 points
1550619777.598 * * * * [misc]points:  Setting MPFR precision to 64
1550619777.599 * * * * [misc]points:  Setting MPFR precision to 320
1550619777.599 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550619777.599 * * * * [exit]points:  Sampled 8000 points with exact outputs
1550619787.401 * [misc]regime-testing:  Baseline error score: 64.0
1550619787.405 * [misc]regime-testing:  Oracle error score: 64.0
1550619787.411 * [misc]regime-testing:  End program error score: 0.40866939753809645