1552480246.522 * [progress]: [Phase 1 of 3] Setting up.
1552480246.522 * * * [progress]: [1/2] Preparing points
1552480246.522 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1552480246.523 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1552480246.526 * * * * [points]: Setting MPFR precision to 64
1552480246.527 * * * * [points]: Setting MPFR precision to 320
1552480246.528 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1552480246.533 * * * * [points]: Setting MPFR precision to 64
1552480246.534 * * * * [points]: Setting MPFR precision to 320
1552480246.536 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1552480246.542 * * * * [points]: Setting MPFR precision to 64
1552480246.546 * * * * [points]: Setting MPFR precision to 320
1552480246.549 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1552480246.554 * * * * [points]: Setting MPFR precision to 64
1552480246.560 * * * * [points]: Setting MPFR precision to 320
1552480246.573 * * * * [points]: Computing exacts for 256 points
1552480246.579 * * * * [points]: Setting MPFR precision to 64
1552480246.601 * * * * [points]: Setting MPFR precision to 320
1552480246.626 * * * * [points]: Filtering points with unrepresentable outputs
1552480246.633 * * * * [points]: Sampling 169 additional inputs, on iter 1 have 87 / 256
1552480246.633 * * * * [points]: Computing exacts on every 10 of 169 points to ramp up precision
1552480246.637 * * * * [points]: Setting MPFR precision to 64
1552480246.638 * * * * [points]: Setting MPFR precision to 320
1552480246.640 * * * * [points]: Computing exacts on every 5 of 169 points to ramp up precision
1552480246.644 * * * * [points]: Setting MPFR precision to 64
1552480246.646 * * * * [points]: Setting MPFR precision to 320
1552480246.648 * * * * [points]: Computing exacts on every 2 of 169 points to ramp up precision
1552480246.652 * * * * [points]: Setting MPFR precision to 64
1552480246.655 * * * * [points]: Setting MPFR precision to 320
1552480246.659 * * * * [points]: Computing exacts for 169 points
1552480246.664 * * * * [points]: Setting MPFR precision to 64
1552480246.673 * * * * [points]: Setting MPFR precision to 320
1552480246.701 * * * * [points]: Filtering points with unrepresentable outputs
1552480246.705 * * * * [points]: Sampling 108 additional inputs, on iter 2 have 148 / 256
1552480246.706 * * * * [points]: Computing exacts on every 6 of 108 points to ramp up precision
1552480246.713 * * * * [points]: Setting MPFR precision to 64
1552480246.714 * * * * [points]: Setting MPFR precision to 320
1552480246.715 * * * * [points]: Computing exacts on every 3 of 108 points to ramp up precision
1552480246.719 * * * * [points]: Setting MPFR precision to 64
1552480246.721 * * * * [points]: Setting MPFR precision to 320
1552480246.723 * * * * [points]: Computing exacts for 108 points
1552480246.727 * * * * [points]: Setting MPFR precision to 64
1552480246.734 * * * * [points]: Setting MPFR precision to 320
1552480246.741 * * * * [points]: Filtering points with unrepresentable outputs
1552480246.744 * * * * [points]: Sampling 66 additional inputs, on iter 3 have 190 / 256
1552480246.744 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
1552480246.748 * * * * [points]: Setting MPFR precision to 64
1552480246.749 * * * * [points]: Setting MPFR precision to 320
1552480246.750 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
1552480246.755 * * * * [points]: Setting MPFR precision to 64
1552480246.756 * * * * [points]: Setting MPFR precision to 320
1552480246.758 * * * * [points]: Computing exacts for 66 points
1552480246.762 * * * * [points]: Setting MPFR precision to 64
1552480246.766 * * * * [points]: Setting MPFR precision to 320
1552480246.770 * * * * [points]: Filtering points with unrepresentable outputs
1552480246.772 * * * * [points]: Sampling 43 additional inputs, on iter 4 have 213 / 256
1552480246.772 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
1552480246.792 * * * * [points]: Setting MPFR precision to 64
1552480246.794 * * * * [points]: Setting MPFR precision to 320
1552480246.795 * * * * [points]: Computing exacts for 43 points
1552480246.802 * * * * [points]: Setting MPFR precision to 64
1552480246.805 * * * * [points]: Setting MPFR precision to 320
1552480246.810 * * * * [points]: Filtering points with unrepresentable outputs
1552480246.811 * * * * [points]: Sampling 24 additional inputs, on iter 5 have 232 / 256
1552480246.811 * * * * [points]: Computing exacts for 24 points
1552480246.818 * * * * [points]: Setting MPFR precision to 64
1552480246.820 * * * * [points]: Setting MPFR precision to 320
1552480246.823 * * * * [points]: Filtering points with unrepresentable outputs
1552480246.824 * * * * [points]: Sampling 16 additional inputs, on iter 6 have 240 / 256
1552480246.824 * * * * [points]: Computing exacts for 16 points
1552480246.830 * * * * [points]: Setting MPFR precision to 64
1552480246.832 * * * * [points]: Setting MPFR precision to 320
1552480246.834 * * * * [points]: Filtering points with unrepresentable outputs
1552480246.834 * * * * [points]: Sampling 10 additional inputs, on iter 7 have 246 / 256
1552480246.834 * * * * [points]: Computing exacts for 10 points
1552480246.841 * * * * [points]: Setting MPFR precision to 64
1552480246.842 * * * * [points]: Setting MPFR precision to 320
1552480246.843 * * * * [points]: Filtering points with unrepresentable outputs
1552480246.843 * * * * [points]: Sampling 5 additional inputs, on iter 8 have 251 / 256
1552480246.844 * * * * [points]: Computing exacts for 5 points
1552480246.850 * * * * [points]: Setting MPFR precision to 64
1552480246.851 * * * * [points]: Setting MPFR precision to 320
1552480246.851 * * * * [points]: Filtering points with unrepresentable outputs
1552480246.852 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 253 / 256
1552480246.852 * * * * [points]: Computing exacts for 4 points
1552480246.859 * * * * [points]: Setting MPFR precision to 64
1552480246.859 * * * * [points]: Setting MPFR precision to 320
1552480246.859 * * * * [points]: Filtering points with unrepresentable outputs
1552480246.860 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 253 / 256
1552480246.860 * * * * [points]: Computing exacts for 4 points
1552480246.867 * * * * [points]: Setting MPFR precision to 64
1552480246.868 * * * * [points]: Setting MPFR precision to 320
1552480246.868 * * * * [points]: Filtering points with unrepresentable outputs
1552480246.869 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 255 / 256
1552480246.869 * * * * [points]: Computing exacts for 4 points
1552480246.875 * * * * [points]: Setting MPFR precision to 64
1552480246.876 * * * * [points]: Setting MPFR precision to 320
1552480246.876 * * * * [points]: Filtering points with unrepresentable outputs
1552480246.876 * * * * [points]: Sampled 258 points with exact outputs
1552480246.877 * * * [progress]: [2/2] Setting up program.
1552480246.924 * [progress]: [Phase 2 of 3] Improving.
1552480246.924 * * * * [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))))>
1552480246.924 * [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)))
1552480246.924 * * [simplify]: iters left: 6 (18 enodes)
1552480246.931 * * [simplify]: iters left: 5 (47 enodes)
1552480246.945 * * [simplify]: iters left: 4 (121 enodes)
1552480246.987 * * [simplify]: iters left: 3 (337 enodes)
1552480247.140 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480247.140 * * [simplify]: Extracting #1: cost 34 inf + 0
1552480247.140 * * [simplify]: Extracting #2: cost 204 inf + 0
1552480247.141 * * [simplify]: Extracting #3: cost 326 inf + 1286
1552480247.142 * * [simplify]: Extracting #4: cost 362 inf + 6740
1552480247.144 * * [simplify]: Extracting #5: cost 377 inf + 18286
1552480247.148 * * [simplify]: Extracting #6: cost 358 inf + 29885
1552480247.155 * * [simplify]: Extracting #7: cost 252 inf + 186163
1552480247.186 * * [simplify]: Extracting #8: cost 47 inf + 586692
1552480247.233 * * [simplify]: Extracting #9: cost 0 inf + 696950
1552480247.271 * * [simplify]: Extracting #10: cost 0 inf + 694590
1552480247.308 * [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))))))
1552480247.308 * [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)))))))
1552480247.333 * * [progress]: iteration 1 / 4
1552480247.333 * * * [progress]: picking best candidate
1552480247.357 * * * * [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))))>
1552480247.357 * * * [progress]: localizing error
1552480247.699 * * * [progress]: generating rewritten candidates
1552480247.699 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1552480247.707 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2)
1552480247.707 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1)
1552480247.712 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
1552480247.715 * * * [progress]: generating series expansions
1552480247.715 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1552480247.715 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2)
1552480247.715 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1)
1552480247.715 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
1552480247.715 * * * [progress]: simplifying candidates
1552480247.715 * * * * [progress]: [ 1 / 14 ] 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))))>
1552480247.715 * [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))
1552480247.715 * * [simplify]: iters left: 6 (17 enodes)
1552480247.722 * * [simplify]: iters left: 5 (41 enodes)
1552480247.734 * * [simplify]: iters left: 4 (95 enodes)
1552480247.765 * * [simplify]: iters left: 3 (269 enodes)
1552480247.879 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480247.879 * * [simplify]: Extracting #1: cost 46 inf + 0
1552480247.880 * * [simplify]: Extracting #2: cost 206 inf + 1
1552480247.882 * * [simplify]: Extracting #3: cost 258 inf + 648
1552480247.884 * * [simplify]: Extracting #4: cost 307 inf + 7710
1552480247.886 * * [simplify]: Extracting #5: cost 293 inf + 16045
1552480247.889 * * [simplify]: Extracting #6: cost 277 inf + 25875
1552480247.896 * * [simplify]: Extracting #7: cost 149 inf + 188177
1552480247.927 * * [simplify]: Extracting #8: cost 7 inf + 469313
1552480247.964 * * [simplify]: Extracting #9: cost 0 inf + 490709
1552480247.992 * [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))))
1552480247.992 * [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))))))
1552480247.992 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.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)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))>
1552480247.992 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552480247.992 * * [simplify]: iters left: 4 (10 enodes)
1552480247.995 * * [simplify]: iters left: 3 (25 enodes)
1552480248.000 * * [simplify]: iters left: 2 (51 enodes)
1552480248.010 * * [simplify]: iters left: 1 (117 enodes)
1552480248.040 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480248.040 * * [simplify]: Extracting #1: cost 19 inf + 0
1552480248.041 * * [simplify]: Extracting #2: cost 109 inf + 0
1552480248.041 * * [simplify]: Extracting #3: cost 136 inf + 3
1552480248.041 * * [simplify]: Extracting #4: cost 158 inf + 2570
1552480248.044 * * [simplify]: Extracting #5: cost 147 inf + 12183
1552480248.045 * * [simplify]: Extracting #6: cost 128 inf + 24183
1552480248.049 * * [simplify]: Extracting #7: cost 36 inf + 137963
1552480248.058 * * [simplify]: Extracting #8: cost 0 inf + 200203
1552480248.067 * * [simplify]: Extracting #9: cost 0 inf + 200083
1552480248.075 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552480248.076 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (*.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)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))
1552480248.076 * * * * [progress]: [ 3 / 14 ] 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))))))>
1552480248.076 * [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))))
1552480248.076 * * [simplify]: iters left: 6 (17 enodes)
1552480248.080 * * [simplify]: iters left: 5 (41 enodes)
1552480248.088 * * [simplify]: iters left: 4 (101 enodes)
1552480248.113 * * [simplify]: iters left: 3 (291 enodes)
1552480248.206 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480248.206 * * [simplify]: Extracting #1: cost 48 inf + 0
1552480248.206 * * [simplify]: Extracting #2: cost 208 inf + 1
1552480248.207 * * [simplify]: Extracting #3: cost 275 inf + 1610
1552480248.209 * * [simplify]: Extracting #4: cost 319 inf + 9953
1552480248.210 * * [simplify]: Extracting #5: cost 302 inf + 20857
1552480248.213 * * [simplify]: Extracting #6: cost 279 inf + 36752
1552480248.226 * * [simplify]: Extracting #7: cost 152 inf + 206471
1552480248.253 * * [simplify]: Extracting #8: cost 9 inf + 486275
1552480248.286 * * [simplify]: Extracting #9: cost 0 inf + 499918
1552480248.316 * [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))))
1552480248.316 * [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))))))
1552480248.316 * * * * [progress]: [ 4 / 14 ] 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))))))>
1552480248.316 * [simplify]: Simplifying (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480248.316 * * [simplify]: iters left: 4 (10 enodes)
1552480248.319 * * [simplify]: iters left: 3 (25 enodes)
1552480248.323 * * [simplify]: iters left: 2 (51 enodes)
1552480248.333 * * [simplify]: iters left: 1 (117 enodes)
1552480248.377 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480248.377 * * [simplify]: Extracting #1: cost 19 inf + 0
1552480248.377 * * [simplify]: Extracting #2: cost 109 inf + 0
1552480248.378 * * [simplify]: Extracting #3: cost 147 inf + 3
1552480248.379 * * [simplify]: Extracting #4: cost 179 inf + 1929
1552480248.380 * * [simplify]: Extracting #5: cost 166 inf + 10904
1552480248.382 * * [simplify]: Extracting #6: cost 108 inf + 57078
1552480248.390 * * [simplify]: Extracting #7: cost 37 inf + 147287
1552480248.405 * * [simplify]: Extracting #8: cost 1 inf + 217319
1552480248.418 * * [simplify]: Extracting #9: cost 0 inf + 219483
1552480248.432 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552480248.432 * [simplify]: Simplified (2 2) to (λ (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 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))
1552480248.432 * * * * [progress]: [ 5 / 14 ] 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)))))>
1552480248.432 * [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)))
1552480248.432 * * [simplify]: iters left: 6 (21 enodes)
1552480248.440 * * [simplify]: iters left: 5 (59 enodes)
1552480248.453 * * [simplify]: iters left: 4 (176 enodes)
1552480248.518 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480248.518 * * [simplify]: Extracting #1: cost 40 inf + 0
1552480248.518 * * [simplify]: Extracting #2: cost 160 inf + 0
1552480248.519 * * [simplify]: Extracting #3: cost 260 inf + 1607
1552480248.520 * * [simplify]: Extracting #4: cost 294 inf + 4494
1552480248.522 * * [simplify]: Extracting #5: cost 292 inf + 16036
1552480248.527 * * [simplify]: Extracting #6: cost 224 inf + 77978
1552480248.547 * * [simplify]: Extracting #7: cost 53 inf + 358389
1552480248.580 * * [simplify]: Extracting #8: cost 4 inf + 462823
1552480248.617 * * [simplify]: Extracting #9: cost 0 inf + 474767
1552480248.652 * [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)))
1552480248.652 * [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)))))
1552480248.653 * * * * [progress]: [ 6 / 14 ] 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)))))>
1552480248.653 * * * * [progress]: [ 7 / 14 ] 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 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
1552480248.653 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480248.653 * * [simplify]: iters left: 4 (9 enodes)
1552480248.657 * * [simplify]: iters left: 3 (13 enodes)
1552480248.660 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480248.660 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480248.660 * * [simplify]: Extracting #2: cost 5 inf + 0
1552480248.660 * * [simplify]: Extracting #3: cost 6 inf + 1
1552480248.660 * * [simplify]: Extracting #4: cost 7 inf + 2
1552480248.661 * * [simplify]: Extracting #5: cost 0 inf + 1813
1552480248.661 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480248.661 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
1552480248.661 * * * * [progress]: [ 8 / 14 ] 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 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
1552480248.661 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1552480248.661 * * [simplify]: iters left: 4 (9 enodes)
1552480248.665 * * [simplify]: iters left: 3 (13 enodes)
1552480248.668 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480248.668 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480248.668 * * [simplify]: Extracting #2: cost 5 inf + 0
1552480248.668 * * [simplify]: Extracting #3: cost 5 inf + 2
1552480248.668 * * [simplify]: Extracting #4: cost 7 inf + 2
1552480248.668 * * [simplify]: Extracting #5: cost 4 inf + 5
1552480248.668 * * [simplify]: Extracting #6: cost 0 inf + 1813
1552480248.668 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1552480248.668 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))
1552480248.669 * * * * [progress]: [ 9 / 14 ] 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 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1552480248.669 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480248.669 * * [simplify]: iters left: 3 (7 enodes)
1552480248.671 * * [simplify]: iters left: 2 (12 enodes)
1552480248.676 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480248.676 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480248.676 * * [simplify]: Extracting #2: cost 4 inf + 1
1552480248.676 * * [simplify]: Extracting #3: cost 6 inf + 1
1552480248.676 * * [simplify]: Extracting #4: cost 0 inf + 930
1552480248.676 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480248.676 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
1552480248.676 * * * * [progress]: [ 10 / 14 ] 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 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand))))>
1552480248.677 * * * * [progress]: [ 11 / 14 ] 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))))>
1552480248.677 * [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)))
1552480248.677 * * [simplify]: iters left: 6 (18 enodes)
1552480248.684 * * [simplify]: iters left: 5 (47 enodes)
1552480248.695 * * [simplify]: iters left: 4 (121 enodes)
1552480248.730 * * [simplify]: iters left: 3 (337 enodes)
1552480248.877 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480248.877 * * [simplify]: Extracting #1: cost 34 inf + 0
1552480248.877 * * [simplify]: Extracting #2: cost 204 inf + 0
1552480248.878 * * [simplify]: Extracting #3: cost 326 inf + 1286
1552480248.880 * * [simplify]: Extracting #4: cost 362 inf + 6740
1552480248.882 * * [simplify]: Extracting #5: cost 377 inf + 18286
1552480248.884 * * [simplify]: Extracting #6: cost 358 inf + 29885
1552480248.891 * * [simplify]: Extracting #7: cost 252 inf + 186163
1552480248.921 * * [simplify]: Extracting #8: cost 47 inf + 586692
1552480248.963 * * [simplify]: Extracting #9: cost 0 inf + 696950
1552480249.015 * * [simplify]: Extracting #10: cost 0 inf + 694590
1552480249.062 * [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))))))
1552480249.062 * [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)))))))
1552480249.063 * * * * [progress]: [ 12 / 14 ] 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))))>
1552480249.063 * [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)))
1552480249.063 * * [simplify]: iters left: 6 (18 enodes)
1552480249.070 * * [simplify]: iters left: 5 (47 enodes)
1552480249.084 * * [simplify]: iters left: 4 (121 enodes)
1552480249.115 * * [simplify]: iters left: 3 (337 enodes)
1552480249.269 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480249.269 * * [simplify]: Extracting #1: cost 34 inf + 0
1552480249.270 * * [simplify]: Extracting #2: cost 204 inf + 0
1552480249.271 * * [simplify]: Extracting #3: cost 326 inf + 1286
1552480249.272 * * [simplify]: Extracting #4: cost 362 inf + 6740
1552480249.274 * * [simplify]: Extracting #5: cost 377 inf + 18286
1552480249.276 * * [simplify]: Extracting #6: cost 358 inf + 29885
1552480249.285 * * [simplify]: Extracting #7: cost 252 inf + 186163
1552480249.330 * * [simplify]: Extracting #8: cost 47 inf + 586692
1552480249.377 * * [simplify]: Extracting #9: cost 0 inf + 696950
1552480249.424 * * [simplify]: Extracting #10: cost 0 inf + 694590
1552480249.472 * [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))))))
1552480249.472 * [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)))))))
1552480249.472 * * * * [progress]: [ 13 / 14 ] 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))))>
1552480249.473 * [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)))
1552480249.473 * * [simplify]: iters left: 6 (18 enodes)
1552480249.480 * * [simplify]: iters left: 5 (47 enodes)
1552480249.494 * * [simplify]: iters left: 4 (121 enodes)
1552480249.522 * * [simplify]: iters left: 3 (337 enodes)
1552480249.695 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480249.695 * * [simplify]: Extracting #1: cost 34 inf + 0
1552480249.696 * * [simplify]: Extracting #2: cost 204 inf + 0
1552480249.698 * * [simplify]: Extracting #3: cost 326 inf + 1286
1552480249.702 * * [simplify]: Extracting #4: cost 362 inf + 6740
1552480249.706 * * [simplify]: Extracting #5: cost 377 inf + 18286
1552480249.710 * * [simplify]: Extracting #6: cost 358 inf + 29885
1552480249.729 * * [simplify]: Extracting #7: cost 252 inf + 186163
1552480249.780 * * [simplify]: Extracting #8: cost 47 inf + 586692
1552480249.854 * * [simplify]: Extracting #9: cost 0 inf + 696950
1552480249.906 * * [simplify]: Extracting #10: cost 0 inf + 694590
1552480249.965 * [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))))))
1552480249.965 * [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)))))))
1552480249.965 * * * * [progress]: [ 14 / 14 ] 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))))>
1552480249.966 * [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)))
1552480249.966 * * [simplify]: iters left: 6 (18 enodes)
1552480249.975 * * [simplify]: iters left: 5 (47 enodes)
1552480249.995 * * [simplify]: iters left: 4 (121 enodes)
1552480250.052 * * [simplify]: iters left: 3 (337 enodes)
1552480250.181 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480250.181 * * [simplify]: Extracting #1: cost 34 inf + 0
1552480250.181 * * [simplify]: Extracting #2: cost 204 inf + 0
1552480250.182 * * [simplify]: Extracting #3: cost 326 inf + 1286
1552480250.184 * * [simplify]: Extracting #4: cost 362 inf + 6740
1552480250.189 * * [simplify]: Extracting #5: cost 377 inf + 18286
1552480250.191 * * [simplify]: Extracting #6: cost 358 inf + 29885
1552480250.198 * * [simplify]: Extracting #7: cost 252 inf + 186163
1552480250.250 * * [simplify]: Extracting #8: cost 47 inf + 586692
1552480250.323 * * [simplify]: Extracting #9: cost 0 inf + 696950
1552480250.392 * * [simplify]: Extracting #10: cost 0 inf + 694590
1552480250.432 * [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))))))
1552480250.432 * [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)))))))
1552480250.433 * * * [progress]: adding candidates to table
1552480251.372 * * [progress]: iteration 2 / 4
1552480251.372 * * * [progress]: picking best candidate
1552480251.545 * * * * [pick]: Picked  #<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))))))>
1552480251.545 * * * [progress]: localizing error
1552480251.638 * * * [progress]: generating rewritten candidates
1552480251.638 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1552480251.646 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1552480251.685 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
1552480251.685 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
1552480251.691 * * * [progress]: generating series expansions
1552480251.691 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1552480251.691 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1552480251.691 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
1552480251.691 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1)
1552480251.691 * * * [progress]: simplifying candidates
1552480251.691 * * * * [progress]: [ 1 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480251.691 * [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))))
1552480251.691 * * [simplify]: iters left: 6 (18 enodes)
1552480251.698 * * [simplify]: iters left: 5 (41 enodes)
1552480251.711 * * [simplify]: iters left: 4 (83 enodes)
1552480251.736 * * [simplify]: iters left: 3 (164 enodes)
1552480251.788 * * [simplify]: iters left: 2 (496 enodes)
1552480252.196 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480252.196 * * [simplify]: Extracting #1: cost 21 inf + 0
1552480252.197 * * [simplify]: Extracting #2: cost 23 inf + 1
1552480252.203 * * [simplify]: Extracting #3: cost 121 inf + 3
1552480252.205 * * [simplify]: Extracting #4: cost 477 inf + 325
1552480252.211 * * [simplify]: Extracting #5: cost 788 inf + 4871
1552480252.228 * * [simplify]: Extracting #6: cost 663 inf + 189244
1552480252.293 * * [simplify]: Extracting #7: cost 195 inf + 927268
1552480252.391 * * [simplify]: Extracting #8: cost 10 inf + 1303684
1552480252.501 * * [simplify]: Extracting #9: cost 0 inf + 1332318
1552480252.613 * [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)))))
1552480252.613 * [simplify]: Simplified (2 1 2) to (λ (a rand) (+.p16 (+.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)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480252.613 * * * * [progress]: [ 2 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.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))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480252.613 * [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))
1552480252.613 * * [simplify]: iters left: 6 (18 enodes)
1552480252.618 * * [simplify]: iters left: 5 (41 enodes)
1552480252.625 * * [simplify]: iters left: 4 (83 enodes)
1552480252.643 * * [simplify]: iters left: 3 (164 enodes)
1552480252.702 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480252.703 * * [simplify]: Extracting #1: cost 16 inf + 0
1552480252.703 * * [simplify]: Extracting #2: cost 18 inf + 1
1552480252.703 * * [simplify]: Extracting #3: cost 41 inf + 1
1552480252.703 * * [simplify]: Extracting #4: cost 129 inf + 3
1552480252.704 * * [simplify]: Extracting #5: cost 159 inf + 651
1552480252.704 * * [simplify]: Extracting #6: cost 163 inf + 16579
1552480252.708 * * [simplify]: Extracting #7: cost 66 inf + 116878
1552480252.723 * * [simplify]: Extracting #8: cost 4 inf + 214206
1552480252.740 * * [simplify]: Extracting #9: cost 0 inf + 221579
1552480252.751 * [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))))
1552480252.751 * [simplify]: Simplified (2 1 2) to (λ (a rand) (+.p16 (+.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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480252.751 * * * * [progress]: [ 3 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480252.751 * [simplify]: Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480252.752 * * [simplify]: iters left: 6 (14 enodes)
1552480252.755 * * [simplify]: iters left: 5 (30 enodes)
1552480252.761 * * [simplify]: iters left: 4 (56 enodes)
1552480252.772 * * [simplify]: iters left: 3 (122 enodes)
1552480252.814 * * [simplify]: iters left: 2 (499 enodes)
1552480253.326 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480253.326 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480253.326 * * [simplify]: Extracting #2: cost 5 inf + 0
1552480253.326 * * [simplify]: Extracting #3: cost 93 inf + 1
1552480253.327 * * [simplify]: Extracting #4: cost 451 inf + 2
1552480253.330 * * [simplify]: Extracting #5: cost 850 inf + 2252
1552480253.339 * * [simplify]: Extracting #6: cost 904 inf + 7387
1552480253.344 * * [simplify]: Extracting #7: cost 835 inf + 65272
1552480253.359 * * [simplify]: Extracting #8: cost 579 inf + 361623
1552480253.403 * * [simplify]: Extracting #9: cost 181 inf + 1076854
1552480253.473 * * [simplify]: Extracting #10: cost 6 inf + 1471563
1552480253.564 * * [simplify]: Extracting #11: cost 0 inf + 1485305
1552480253.637 * * [simplify]: Extracting #12: cost 0 inf + 1484905
1552480253.717 * [simplify]: Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480253.717 * [simplify]: Simplified (2 1 1) to (λ (a rand) (+.p16 (*.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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480253.717 * * * * [progress]: [ 4 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480253.717 * * * * [progress]: [ 5 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (/.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)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480253.718 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480253.718 * * [simplify]: iters left: 3 (7 enodes)
1552480253.721 * * [simplify]: iters left: 2 (12 enodes)
1552480253.723 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480253.723 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480253.723 * * [simplify]: Extracting #2: cost 4 inf + 1
1552480253.723 * * [simplify]: Extracting #3: cost 6 inf + 1
1552480253.723 * * [simplify]: Extracting #4: cost 0 inf + 930
1552480253.723 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480253.723 * [simplify]: Simplified (2 1 2) to (λ (a rand) (+.p16 (/.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)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480253.724 * * * * [progress]: [ 6 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480253.724 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480253.724 * * [simplify]: iters left: 4 (12 enodes)
1552480253.728 * * [simplify]: iters left: 3 (32 enodes)
1552480253.733 * * [simplify]: iters left: 2 (72 enodes)
1552480253.750 * * [simplify]: iters left: 1 (187 enodes)
1552480253.817 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480253.817 * * [simplify]: Extracting #1: cost 23 inf + 0
1552480253.817 * * [simplify]: Extracting #2: cost 127 inf + 1
1552480253.818 * * [simplify]: Extracting #3: cost 199 inf + 1612
1552480253.820 * * [simplify]: Extracting #4: cost 224 inf + 11556
1552480253.822 * * [simplify]: Extracting #5: cost 214 inf + 19246
1552480253.824 * * [simplify]: Extracting #6: cost 205 inf + 24740
1552480253.832 * * [simplify]: Extracting #7: cost 101 inf + 143111
1552480253.852 * * [simplify]: Extracting #8: cost 13 inf + 275987
1552480253.866 * * [simplify]: Extracting #9: cost 0 inf + 294918
1552480253.884 * [simplify]: Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480253.884 * [simplify]: Simplified (2 1 1) to (λ (a rand) (+.p16 (/.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)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480253.885 * * * * [progress]: [ 7 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.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)) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480253.885 * * * * [progress]: [ 8 / 23 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.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) (real->posit16 1))))>
1552480253.885 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480253.885 * * [simplify]: iters left: 3 (7 enodes)
1552480253.888 * * [simplify]: iters left: 2 (18 enodes)
1552480253.894 * * [simplify]: iters left: 1 (32 enodes)
1552480253.900 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480253.900 * * [simplify]: Extracting #1: cost 9 inf + 0
1552480253.900 * * [simplify]: Extracting #2: cost 25 inf + 1
1552480253.901 * * [simplify]: Extracting #3: cost 34 inf + 322
1552480253.901 * * [simplify]: Extracting #4: cost 27 inf + 3209
1552480253.901 * * [simplify]: Extracting #5: cost 22 inf + 4898
1552480253.901 * * [simplify]: Extracting #6: cost 11 inf + 15047
1552480253.903 * * [simplify]: Extracting #7: cost 0 inf + 29315
1552480253.904 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480253.904 * [simplify]: Simplified (2 1) to (λ (a rand) (*.p16 (-.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) (real->posit16 1))))
1552480253.904 * [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) (real->posit16 1))
1552480253.904 * * [simplify]: iters left: 6 (17 enodes)
1552480253.910 * * [simplify]: iters left: 5 (39 enodes)
1552480253.925 * * [simplify]: iters left: 4 (69 enodes)
1552480253.937 * * [simplify]: iters left: 3 (135 enodes)
1552480253.972 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480253.972 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480253.972 * * [simplify]: Extracting #2: cost 9 inf + 0
1552480253.972 * * [simplify]: Extracting #3: cost 8 inf + 2
1552480253.972 * * [simplify]: Extracting #4: cost 24 inf + 325
1552480253.973 * * [simplify]: Extracting #5: cost 114 inf + 325
1552480253.973 * * [simplify]: Extracting #6: cost 151 inf + 649
1552480253.974 * * [simplify]: Extracting #7: cost 179 inf + 5780
1552480253.974 * * [simplify]: Extracting #8: cost 171 inf + 11228
1552480253.975 * * [simplify]: Extracting #9: cost 155 inf + 20299
1552480253.980 * * [simplify]: Extracting #10: cost 45 inf + 156646
1552480253.995 * * [simplify]: Extracting #11: cost 3 inf + 219582
1552480254.008 * * [simplify]: Extracting #12: cost 0 inf + 221713
1552480254.018 * [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))))))))
1552480254.018 * [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))))))))))
1552480254.018 * * * * [progress]: [ 9 / 23 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.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) (real->posit16 1))))>
1552480254.018 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480254.018 * * [simplify]: iters left: 3 (7 enodes)
1552480254.020 * * [simplify]: iters left: 2 (18 enodes)
1552480254.023 * * [simplify]: iters left: 1 (32 enodes)
1552480254.030 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480254.030 * * [simplify]: Extracting #1: cost 9 inf + 0
1552480254.030 * * [simplify]: Extracting #2: cost 25 inf + 1
1552480254.030 * * [simplify]: Extracting #3: cost 34 inf + 322
1552480254.030 * * [simplify]: Extracting #4: cost 27 inf + 3209
1552480254.030 * * [simplify]: Extracting #5: cost 22 inf + 4898
1552480254.031 * * [simplify]: Extracting #6: cost 11 inf + 15047
1552480254.032 * * [simplify]: Extracting #7: cost 0 inf + 29315
1552480254.033 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480254.033 * [simplify]: Simplified (2 1) to (λ (a rand) (*.p16 (-.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) (real->posit16 1))))
1552480254.033 * [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) (real->posit16 1))
1552480254.033 * * [simplify]: iters left: 6 (17 enodes)
1552480254.037 * * [simplify]: iters left: 5 (39 enodes)
1552480254.044 * * [simplify]: iters left: 4 (69 enodes)
1552480254.057 * * [simplify]: iters left: 3 (135 enodes)
1552480254.102 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480254.102 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480254.102 * * [simplify]: Extracting #2: cost 9 inf + 0
1552480254.102 * * [simplify]: Extracting #3: cost 8 inf + 2
1552480254.102 * * [simplify]: Extracting #4: cost 24 inf + 325
1552480254.103 * * [simplify]: Extracting #5: cost 114 inf + 325
1552480254.104 * * [simplify]: Extracting #6: cost 151 inf + 649
1552480254.105 * * [simplify]: Extracting #7: cost 179 inf + 5780
1552480254.106 * * [simplify]: Extracting #8: cost 171 inf + 11228
1552480254.108 * * [simplify]: Extracting #9: cost 155 inf + 20299
1552480254.116 * * [simplify]: Extracting #10: cost 45 inf + 156646
1552480254.130 * * [simplify]: Extracting #11: cost 3 inf + 219582
1552480254.145 * * [simplify]: Extracting #12: cost 0 inf + 221713
1552480254.159 * [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))))))))
1552480254.159 * [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))))))))))
1552480254.159 * * * * [progress]: [ 10 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.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) a)) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480254.159 * [simplify]: Simplifying (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480254.159 * * [simplify]: iters left: 4 (9 enodes)
1552480254.162 * * [simplify]: iters left: 3 (15 enodes)
1552480254.165 * * [simplify]: iters left: 2 (17 enodes)
1552480254.168 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480254.168 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480254.168 * * [simplify]: Extracting #2: cost 5 inf + 0
1552480254.168 * * [simplify]: Extracting #3: cost 6 inf + 1
1552480254.168 * * [simplify]: Extracting #4: cost 7 inf + 2
1552480254.168 * * [simplify]: Extracting #5: cost 0 inf + 1813
1552480254.169 * [simplify]: Simplified to (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480254.169 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (+.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) a)) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480254.169 * * * * [progress]: [ 11 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.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 a (real->posit16 1))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))>
1552480254.169 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552480254.169 * * [simplify]: iters left: 4 (9 enodes)
1552480254.171 * * [simplify]: iters left: 3 (15 enodes)
1552480254.174 * * [simplify]: iters left: 2 (17 enodes)
1552480254.177 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480254.177 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480254.177 * * [simplify]: Extracting #2: cost 5 inf + 0
1552480254.177 * * [simplify]: Extracting #3: cost 5 inf + 2
1552480254.177 * * [simplify]: Extracting #4: cost 7 inf + 2
1552480254.177 * * [simplify]: Extracting #5: cost 4 inf + 5
1552480254.177 * * [simplify]: Extracting #6: cost 0 inf + 1813
1552480254.178 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552480254.178 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (+.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 a (real->posit16 1))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))
1552480254.178 * * * * [progress]: [ 12 / 23 ] 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) a) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552480254.178 * [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) a)
1552480254.178 * * [simplify]: iters left: 6 (17 enodes)
1552480254.186 * * [simplify]: iters left: 5 (41 enodes)
1552480254.193 * * [simplify]: iters left: 4 (83 enodes)
1552480254.210 * * [simplify]: iters left: 3 (164 enodes)
1552480254.253 * * [simplify]: iters left: 2 (496 enodes)
1552480254.634 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480254.634 * * [simplify]: Extracting #1: cost 21 inf + 0
1552480254.635 * * [simplify]: Extracting #2: cost 21 inf + 2
1552480254.635 * * [simplify]: Extracting #3: cost 106 inf + 325
1552480254.637 * * [simplify]: Extracting #4: cost 456 inf + 1291
1552480254.642 * * [simplify]: Extracting #5: cost 780 inf + 4830
1552480254.648 * * [simplify]: Extracting #6: cost 831 inf + 11573
1552480254.659 * * [simplify]: Extracting #7: cost 818 inf + 33038
1552480254.667 * * [simplify]: Extracting #8: cost 781 inf + 65038
1552480254.685 * * [simplify]: Extracting #9: cost 577 inf + 348857
1552480254.738 * * [simplify]: Extracting #10: cost 101 inf + 1189040
1552480254.856 * * [simplify]: Extracting #11: cost 2 inf + 1334418
1552480254.950 * * [simplify]: Extracting #12: cost 0 inf + 1334425
1552480255.056 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) a) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480255.057 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) a) (sqrt.p16 (*.p16 (real->posit16 9) (-.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) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552480255.057 * * * * [progress]: [ 13 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.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 (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)) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552480255.057 * [simplify]: Simplifying (*.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))
1552480255.057 * * [simplify]: iters left: 6 (17 enodes)
1552480255.066 * * [simplify]: iters left: 5 (41 enodes)
1552480255.080 * * [simplify]: iters left: 4 (83 enodes)
1552480255.110 * * [simplify]: iters left: 3 (164 enodes)
1552480255.173 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480255.173 * * [simplify]: Extracting #1: cost 16 inf + 0
1552480255.173 * * [simplify]: Extracting #2: cost 16 inf + 2
1552480255.173 * * [simplify]: Extracting #3: cost 34 inf + 324
1552480255.173 * * [simplify]: Extracting #4: cost 122 inf + 325
1552480255.174 * * [simplify]: Extracting #5: cost 153 inf + 1293
1552480255.175 * * [simplify]: Extracting #6: cost 177 inf + 7067
1552480255.177 * * [simplify]: Extracting #7: cost 167 inf + 14757
1552480255.179 * * [simplify]: Extracting #8: cost 126 inf + 47865
1552480255.187 * * [simplify]: Extracting #9: cost 43 inf + 152433
1552480255.202 * * [simplify]: Extracting #10: cost 2 inf + 224802
1552480255.219 * * [simplify]: Extracting #11: cost 0 inf + 229608
1552480255.236 * [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 a rand))
1552480255.236 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 a rand)) (+.p16 (*.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)) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552480255.236 * * * * [progress]: [ 14 / 23 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.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) (real->posit16 1))))>
1552480255.236 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480255.237 * * [simplify]: iters left: 3 (7 enodes)
1552480255.240 * * [simplify]: iters left: 2 (18 enodes)
1552480255.245 * * [simplify]: iters left: 1 (32 enodes)
1552480255.256 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480255.256 * * [simplify]: Extracting #1: cost 9 inf + 0
1552480255.256 * * [simplify]: Extracting #2: cost 25 inf + 1
1552480255.256 * * [simplify]: Extracting #3: cost 34 inf + 322
1552480255.256 * * [simplify]: Extracting #4: cost 27 inf + 3209
1552480255.257 * * [simplify]: Extracting #5: cost 22 inf + 4898
1552480255.258 * * [simplify]: Extracting #6: cost 11 inf + 15047
1552480255.259 * * [simplify]: Extracting #7: cost 0 inf + 29315
1552480255.262 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480255.262 * [simplify]: Simplified (2 1) to (λ (a rand) (*.p16 (-.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) (real->posit16 1))))
1552480255.262 * [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) (real->posit16 1))
1552480255.262 * * [simplify]: iters left: 6 (17 enodes)
1552480255.269 * * [simplify]: iters left: 5 (39 enodes)
1552480255.280 * * [simplify]: iters left: 4 (69 enodes)
1552480255.293 * * [simplify]: iters left: 3 (135 enodes)
1552480255.330 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480255.330 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480255.330 * * [simplify]: Extracting #2: cost 9 inf + 0
1552480255.330 * * [simplify]: Extracting #3: cost 8 inf + 2
1552480255.331 * * [simplify]: Extracting #4: cost 24 inf + 325
1552480255.331 * * [simplify]: Extracting #5: cost 114 inf + 325
1552480255.331 * * [simplify]: Extracting #6: cost 151 inf + 649
1552480255.332 * * [simplify]: Extracting #7: cost 179 inf + 5780
1552480255.333 * * [simplify]: Extracting #8: cost 171 inf + 11228
1552480255.334 * * [simplify]: Extracting #9: cost 155 inf + 20299
1552480255.339 * * [simplify]: Extracting #10: cost 45 inf + 156646
1552480255.348 * * [simplify]: Extracting #11: cost 3 inf + 219582
1552480255.358 * * [simplify]: Extracting #12: cost 0 inf + 221713
1552480255.368 * [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))))))))
1552480255.368 * [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))))))))))
1552480255.368 * * * * [progress]: [ 15 / 23 ] 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))))))>
1552480255.368 * * * * [progress]: [ 16 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480255.368 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480255.368 * * [simplify]: iters left: 4 (9 enodes)
1552480255.373 * * [simplify]: iters left: 3 (13 enodes)
1552480255.375 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480255.375 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480255.375 * * [simplify]: Extracting #2: cost 5 inf + 0
1552480255.375 * * [simplify]: Extracting #3: cost 6 inf + 1
1552480255.375 * * [simplify]: Extracting #4: cost 7 inf + 2
1552480255.375 * * [simplify]: Extracting #5: cost 0 inf + 1813
1552480255.375 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480255.375 * [simplify]: Simplified (2 1 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480255.375 * * * * [progress]: [ 17 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480255.376 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1552480255.376 * * [simplify]: iters left: 4 (9 enodes)
1552480255.378 * * [simplify]: iters left: 3 (13 enodes)
1552480255.380 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480255.380 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480255.380 * * [simplify]: Extracting #2: cost 5 inf + 0
1552480255.380 * * [simplify]: Extracting #3: cost 5 inf + 2
1552480255.380 * * [simplify]: Extracting #4: cost 7 inf + 2
1552480255.380 * * [simplify]: Extracting #5: cost 4 inf + 5
1552480255.381 * * [simplify]: Extracting #6: cost 0 inf + 1813
1552480255.381 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1552480255.381 * [simplify]: Simplified (2 1 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480255.381 * * * * [progress]: [ 18 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480255.381 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480255.381 * * [simplify]: iters left: 3 (7 enodes)
1552480255.383 * * [simplify]: iters left: 2 (12 enodes)
1552480255.385 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480255.385 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480255.385 * * [simplify]: Extracting #2: cost 4 inf + 1
1552480255.385 * * [simplify]: Extracting #3: cost 6 inf + 1
1552480255.385 * * [simplify]: Extracting #4: cost 0 inf + 930
1552480255.385 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480255.385 * [simplify]: Simplified (2 1 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480255.386 * * * * [progress]: [ 19 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480255.386 * * * * [progress]: [ 20 / 23 ] 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))))))>
1552480255.386 * [simplify]: Simplifying (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480255.386 * * [simplify]: iters left: 4 (10 enodes)
1552480255.389 * * [simplify]: iters left: 3 (25 enodes)
1552480255.398 * * [simplify]: iters left: 2 (51 enodes)
1552480255.417 * * [simplify]: iters left: 1 (117 enodes)
1552480255.451 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480255.451 * * [simplify]: Extracting #1: cost 19 inf + 0
1552480255.451 * * [simplify]: Extracting #2: cost 109 inf + 0
1552480255.451 * * [simplify]: Extracting #3: cost 147 inf + 3
1552480255.452 * * [simplify]: Extracting #4: cost 179 inf + 1929
1552480255.453 * * [simplify]: Extracting #5: cost 166 inf + 10904
1552480255.454 * * [simplify]: Extracting #6: cost 108 inf + 57078
1552480255.461 * * [simplify]: Extracting #7: cost 37 inf + 147287
1552480255.471 * * [simplify]: Extracting #8: cost 1 inf + 217319
1552480255.481 * * [simplify]: Extracting #9: cost 0 inf + 219483
1552480255.490 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552480255.490 * [simplify]: Simplified (2 2) to (λ (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 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))
1552480255.490 * * * * [progress]: [ 21 / 23 ] 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))))))>
1552480255.491 * [simplify]: Simplifying (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480255.491 * * [simplify]: iters left: 4 (10 enodes)
1552480255.494 * * [simplify]: iters left: 3 (25 enodes)
1552480255.503 * * [simplify]: iters left: 2 (51 enodes)
1552480255.514 * * [simplify]: iters left: 1 (117 enodes)
1552480255.559 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480255.559 * * [simplify]: Extracting #1: cost 19 inf + 0
1552480255.559 * * [simplify]: Extracting #2: cost 109 inf + 0
1552480255.560 * * [simplify]: Extracting #3: cost 147 inf + 3
1552480255.561 * * [simplify]: Extracting #4: cost 179 inf + 1929
1552480255.562 * * [simplify]: Extracting #5: cost 166 inf + 10904
1552480255.566 * * [simplify]: Extracting #6: cost 108 inf + 57078
1552480255.574 * * [simplify]: Extracting #7: cost 37 inf + 147287
1552480255.590 * * [simplify]: Extracting #8: cost 1 inf + 217319
1552480255.605 * * [simplify]: Extracting #9: cost 0 inf + 219483
1552480255.620 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552480255.620 * [simplify]: Simplified (2 2) to (λ (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 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))
1552480255.620 * * * * [progress]: [ 22 / 23 ] 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))))))>
1552480255.621 * [simplify]: Simplifying (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480255.621 * * [simplify]: iters left: 4 (10 enodes)
1552480255.625 * * [simplify]: iters left: 3 (25 enodes)
1552480255.633 * * [simplify]: iters left: 2 (51 enodes)
1552480255.648 * * [simplify]: iters left: 1 (117 enodes)
1552480255.692 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480255.692 * * [simplify]: Extracting #1: cost 19 inf + 0
1552480255.693 * * [simplify]: Extracting #2: cost 109 inf + 0
1552480255.694 * * [simplify]: Extracting #3: cost 147 inf + 3
1552480255.695 * * [simplify]: Extracting #4: cost 179 inf + 1929
1552480255.696 * * [simplify]: Extracting #5: cost 166 inf + 10904
1552480255.699 * * [simplify]: Extracting #6: cost 108 inf + 57078
1552480255.704 * * [simplify]: Extracting #7: cost 37 inf + 147287
1552480255.714 * * [simplify]: Extracting #8: cost 1 inf + 217319
1552480255.724 * * [simplify]: Extracting #9: cost 0 inf + 219483
1552480255.733 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552480255.733 * [simplify]: Simplified (2 2) to (λ (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 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))
1552480255.733 * * * * [progress]: [ 23 / 23 ] 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))))))>
1552480255.733 * [simplify]: Simplifying (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480255.733 * * [simplify]: iters left: 4 (10 enodes)
1552480255.736 * * [simplify]: iters left: 3 (25 enodes)
1552480255.741 * * [simplify]: iters left: 2 (51 enodes)
1552480255.754 * * [simplify]: iters left: 1 (117 enodes)
1552480255.786 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480255.786 * * [simplify]: Extracting #1: cost 19 inf + 0
1552480255.786 * * [simplify]: Extracting #2: cost 109 inf + 0
1552480255.787 * * [simplify]: Extracting #3: cost 147 inf + 3
1552480255.787 * * [simplify]: Extracting #4: cost 179 inf + 1929
1552480255.788 * * [simplify]: Extracting #5: cost 166 inf + 10904
1552480255.790 * * [simplify]: Extracting #6: cost 108 inf + 57078
1552480255.796 * * [simplify]: Extracting #7: cost 37 inf + 147287
1552480255.807 * * [simplify]: Extracting #8: cost 1 inf + 217319
1552480255.817 * * [simplify]: Extracting #9: cost 0 inf + 219483
1552480255.829 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552480255.829 * [simplify]: Simplified (2 2) to (λ (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 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))
1552480255.829 * * * [progress]: adding candidates to table
1552480257.786 * * [progress]: iteration 3 / 4
1552480257.786 * * * [progress]: picking best candidate
1552480258.099 * * * * [pick]: Picked  #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480258.099 * * * [progress]: localizing error
1552480258.218 * * * [progress]: generating rewritten candidates
1552480258.218 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1552480258.225 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1552480258.255 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2)
1552480258.255 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1)
1552480258.261 * * * [progress]: generating series expansions
1552480258.261 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1552480258.261 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1552480258.261 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2)
1552480258.261 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1)
1552480258.261 * * * [progress]: simplifying candidates
1552480258.261 * * * * [progress]: [ 1 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) a) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480258.262 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480258.262 * * [simplify]: iters left: 6 (16 enodes)
1552480258.267 * * [simplify]: iters left: 5 (34 enodes)
1552480258.273 * * [simplify]: iters left: 4 (64 enodes)
1552480258.290 * * [simplify]: iters left: 3 (130 enodes)
1552480258.326 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480258.326 * * [simplify]: Extracting #1: cost 7 inf + 0
1552480258.326 * * [simplify]: Extracting #2: cost 10 inf + 0
1552480258.327 * * [simplify]: Extracting #3: cost 32 inf + 1
1552480258.327 * * [simplify]: Extracting #4: cost 121 inf + 2
1552480258.327 * * [simplify]: Extracting #5: cost 147 inf + 1614
1552480258.329 * * [simplify]: Extracting #6: cost 143 inf + 30338
1552480258.333 * * [simplify]: Extracting #7: cost 49 inf + 137705
1552480258.347 * * [simplify]: Extracting #8: cost 3 inf + 220618
1552480258.356 * * [simplify]: Extracting #9: cost 0 inf + 227068
1552480258.371 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552480258.371 * [simplify]: Simplified (2 1 2 2) to (λ (a rand) (+.p16 (*.p16 rand (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) a) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480258.371 * * * * [progress]: [ 2 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (+.p16 (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480258.371 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552480258.371 * * [simplify]: iters left: 6 (16 enodes)
1552480258.376 * * [simplify]: iters left: 5 (34 enodes)
1552480258.382 * * [simplify]: iters left: 4 (64 enodes)
1552480258.394 * * [simplify]: iters left: 3 (132 enodes)
1552480258.452 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480258.452 * * [simplify]: Extracting #1: cost 9 inf + 0
1552480258.452 * * [simplify]: Extracting #2: cost 12 inf + 0
1552480258.452 * * [simplify]: Extracting #3: cost 33 inf + 2
1552480258.453 * * [simplify]: Extracting #4: cost 123 inf + 2
1552480258.453 * * [simplify]: Extracting #5: cost 152 inf + 1292
1552480258.455 * * [simplify]: Extracting #6: cost 155 inf + 23196
1552480258.463 * * [simplify]: Extracting #7: cost 47 inf + 144210
1552480258.480 * * [simplify]: Extracting #8: cost 3 inf + 223510
1552480258.492 * * [simplify]: Extracting #9: cost 0 inf + 231561
1552480258.502 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480258.502 * [simplify]: Simplified (2 1 2 2) to (λ (a rand) (+.p16 (*.p16 rand (+.p16 (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480258.503 * * * * [progress]: [ 3 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480258.503 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480258.503 * * [simplify]: iters left: 3 (7 enodes)
1552480258.505 * * [simplify]: iters left: 2 (12 enodes)
1552480258.507 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480258.507 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480258.507 * * [simplify]: Extracting #2: cost 4 inf + 1
1552480258.507 * * [simplify]: Extracting #3: cost 6 inf + 1
1552480258.507 * * [simplify]: Extracting #4: cost 0 inf + 930
1552480258.507 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480258.507 * [simplify]: Simplified (2 1 2 2) to (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480258.508 * * * * [progress]: [ 4 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480258.508 * [simplify]: Simplifying (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480258.508 * * [simplify]: iters left: 4 (10 enodes)
1552480258.510 * * [simplify]: iters left: 3 (25 enodes)
1552480258.515 * * [simplify]: iters left: 2 (51 enodes)
1552480258.528 * * [simplify]: iters left: 1 (117 enodes)
1552480258.563 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480258.563 * * [simplify]: Extracting #1: cost 19 inf + 0
1552480258.563 * * [simplify]: Extracting #2: cost 109 inf + 0
1552480258.563 * * [simplify]: Extracting #3: cost 147 inf + 3
1552480258.564 * * [simplify]: Extracting #4: cost 179 inf + 1929
1552480258.565 * * [simplify]: Extracting #5: cost 166 inf + 10904
1552480258.567 * * [simplify]: Extracting #6: cost 108 inf + 57078
1552480258.572 * * [simplify]: Extracting #7: cost 37 inf + 147287
1552480258.581 * * [simplify]: Extracting #8: cost 1 inf + 217319
1552480258.593 * * [simplify]: Extracting #9: cost 0 inf + 219483
1552480258.607 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552480258.607 * [simplify]: Simplified (2 1 2 1) to (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480258.607 * * * * [progress]: [ 5 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480258.607 * * * * [progress]: [ 6 / 21 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.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))))))) (real->posit16 1))))>
1552480258.607 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480258.607 * * [simplify]: iters left: 3 (7 enodes)
1552480258.611 * * [simplify]: iters left: 2 (18 enodes)
1552480258.616 * * [simplify]: iters left: 1 (32 enodes)
1552480258.626 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480258.627 * * [simplify]: Extracting #1: cost 9 inf + 0
1552480258.627 * * [simplify]: Extracting #2: cost 25 inf + 1
1552480258.627 * * [simplify]: Extracting #3: cost 34 inf + 322
1552480258.627 * * [simplify]: Extracting #4: cost 27 inf + 3209
1552480258.627 * * [simplify]: Extracting #5: cost 22 inf + 4898
1552480258.628 * * [simplify]: Extracting #6: cost 11 inf + 15047
1552480258.629 * * [simplify]: Extracting #7: cost 0 inf + 29315
1552480258.630 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480258.630 * [simplify]: Simplified (2 1) to (λ (a rand) (*.p16 (-.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))))))) (real->posit16 1))))
1552480258.630 * [simplify]: Simplifying (+.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (real->posit16 1))
1552480258.630 * * [simplify]: iters left: 6 (17 enodes)
1552480258.634 * * [simplify]: iters left: 5 (39 enodes)
1552480258.642 * * [simplify]: iters left: 4 (69 enodes)
1552480258.666 * * [simplify]: iters left: 3 (135 enodes)
1552480258.716 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480258.716 * * [simplify]: Extracting #1: cost 4 inf + 0
1552480258.716 * * [simplify]: Extracting #2: cost 13 inf + 0
1552480258.717 * * [simplify]: Extracting #3: cost 13 inf + 2
1552480258.717 * * [simplify]: Extracting #4: cost 27 inf + 327
1552480258.717 * * [simplify]: Extracting #5: cost 117 inf + 327
1552480258.717 * * [simplify]: Extracting #6: cost 154 inf + 1292
1552480258.718 * * [simplify]: Extracting #7: cost 176 inf + 6424
1552480258.719 * * [simplify]: Extracting #8: cost 164 inf + 14920
1552480258.723 * * [simplify]: Extracting #9: cost 58 inf + 135012
1552480258.737 * * [simplify]: Extracting #10: cost 3 inf + 227551
1552480258.754 * * [simplify]: Extracting #11: cost 0 inf + 228764
1552480258.773 * [simplify]: Simplified to (+.p16 (real->posit16 1) (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
1552480258.773 * [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 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))))
1552480258.773 * * * * [progress]: [ 7 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) a)) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480258.773 * [simplify]: Simplifying (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480258.773 * * [simplify]: iters left: 4 (9 enodes)
1552480258.778 * * [simplify]: iters left: 3 (15 enodes)
1552480258.782 * * [simplify]: iters left: 2 (17 enodes)
1552480258.787 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480258.787 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480258.787 * * [simplify]: Extracting #2: cost 5 inf + 0
1552480258.787 * * [simplify]: Extracting #3: cost 6 inf + 1
1552480258.787 * * [simplify]: Extracting #4: cost 7 inf + 2
1552480258.787 * * [simplify]: Extracting #5: cost 0 inf + 1813
1552480258.788 * [simplify]: Simplified to (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480258.788 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) a)) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480258.788 * * * * [progress]: [ 8 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 a (real->posit16 1))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))>
1552480258.788 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552480258.788 * * [simplify]: iters left: 4 (9 enodes)
1552480258.792 * * [simplify]: iters left: 3 (15 enodes)
1552480258.798 * * [simplify]: iters left: 2 (17 enodes)
1552480258.803 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480258.803 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480258.803 * * [simplify]: Extracting #2: cost 5 inf + 0
1552480258.803 * * [simplify]: Extracting #3: cost 5 inf + 2
1552480258.803 * * [simplify]: Extracting #4: cost 7 inf + 2
1552480258.803 * * [simplify]: Extracting #5: cost 4 inf + 5
1552480258.803 * * [simplify]: Extracting #6: cost 0 inf + 1813
1552480258.804 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552480258.804 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 a (real->posit16 1))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))
1552480258.804 * * * * [progress]: [ 9 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) a)) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552480258.804 * [simplify]: Simplifying (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) a))
1552480258.804 * * [simplify]: iters left: 6 (17 enodes)
1552480258.811 * * [simplify]: iters left: 5 (41 enodes)
1552480258.824 * * [simplify]: iters left: 4 (83 enodes)
1552480258.841 * * [simplify]: iters left: 3 (164 enodes)
1552480258.885 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480258.885 * * [simplify]: Extracting #1: cost 16 inf + 0
1552480258.885 * * [simplify]: Extracting #2: cost 16 inf + 2
1552480258.885 * * [simplify]: Extracting #3: cost 34 inf + 324
1552480258.885 * * [simplify]: Extracting #4: cost 122 inf + 325
1552480258.886 * * [simplify]: Extracting #5: cost 153 inf + 1615
1552480258.887 * * [simplify]: Extracting #6: cost 179 inf + 7067
1552480258.888 * * [simplify]: Extracting #7: cost 169 inf + 14757
1552480258.890 * * [simplify]: Extracting #8: cost 124 inf + 51758
1552480258.895 * * [simplify]: Extracting #9: cost 40 inf + 154728
1552480258.905 * * [simplify]: Extracting #10: cost 3 inf + 223843
1552480258.915 * * [simplify]: Extracting #11: cost 0 inf + 231252
1552480258.925 * [simplify]: Simplified to (*.p16 (/.p16 rand (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) a))
1552480258.926 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 (/.p16 rand (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) a)) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552480258.926 * * * * [progress]: [ 10 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) (+.p16 (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552480258.926 * [simplify]: Simplifying (*.p16 rand (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
1552480258.926 * * [simplify]: iters left: 6 (17 enodes)
1552480258.931 * * [simplify]: iters left: 5 (41 enodes)
1552480258.941 * * [simplify]: iters left: 4 (83 enodes)
1552480258.959 * * [simplify]: iters left: 3 (164 enodes)
1552480258.997 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480258.997 * * [simplify]: Extracting #1: cost 19 inf + 0
1552480258.998 * * [simplify]: Extracting #2: cost 20 inf + 2
1552480258.998 * * [simplify]: Extracting #3: cost 34 inf + 969
1552480258.999 * * [simplify]: Extracting #4: cost 121 inf + 1613
1552480258.999 * * [simplify]: Extracting #5: cost 159 inf + 1936
1552480259.001 * * [simplify]: Extracting #6: cost 185 inf + 7067
1552480259.002 * * [simplify]: Extracting #7: cost 176 inf + 14756
1552480259.004 * * [simplify]: Extracting #8: cost 171 inf + 15721
1552480259.008 * * [simplify]: Extracting #9: cost 99 inf + 92986
1552480259.017 * * [simplify]: Extracting #10: cost 14 inf + 216542
1552480259.036 * * [simplify]: Extracting #11: cost 0 inf + 238672
1552480259.048 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 a rand) (real->posit16 1)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))
1552480259.048 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (/.p16 (*.p16 (*.p16 a rand) (real->posit16 1)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (+.p16 (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552480259.048 * * * * [progress]: [ 11 / 21 ] 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)))))) 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)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552480259.048 * [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)))))) a) rand)
1552480259.049 * * [simplify]: iters left: 6 (17 enodes)
1552480259.056 * * [simplify]: iters left: 5 (41 enodes)
1552480259.069 * * [simplify]: iters left: 4 (83 enodes)
1552480259.095 * * [simplify]: iters left: 3 (164 enodes)
1552480259.159 * * [simplify]: iters left: 2 (492 enodes)
1552480259.588 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480259.588 * * [simplify]: Extracting #1: cost 21 inf + 0
1552480259.588 * * [simplify]: Extracting #2: cost 21 inf + 2
1552480259.588 * * [simplify]: Extracting #3: cost 107 inf + 648
1552480259.589 * * [simplify]: Extracting #4: cost 468 inf + 1613
1552480259.592 * * [simplify]: Extracting #5: cost 838 inf + 3863
1552480259.596 * * [simplify]: Extracting #6: cost 894 inf + 7719
1552480259.600 * * [simplify]: Extracting #7: cost 866 inf + 40738
1552480259.617 * * [simplify]: Extracting #8: cost 696 inf + 221526
1552480259.667 * * [simplify]: Extracting #9: cost 268 inf + 937472
1552480259.746 * * [simplify]: Extracting #10: cost 14 inf + 1478717
1552480259.863 * * [simplify]: Extracting #11: cost 0 inf + 1510609
1552480259.960 * [simplify]: Simplified to (*.p16 (/.p16 (*.p16 a (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)
1552480259.960 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 (/.p16 (*.p16 a (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) 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)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552480259.960 * * * * [progress]: [ 12 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 a (/.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 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552480259.961 * [simplify]: Simplifying (*.p16 (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)
1552480259.961 * * [simplify]: iters left: 6 (17 enodes)
1552480259.969 * * [simplify]: iters left: 5 (41 enodes)
1552480259.979 * * [simplify]: iters left: 4 (83 enodes)
1552480259.995 * * [simplify]: iters left: 3 (163 enodes)
1552480260.047 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480260.047 * * [simplify]: Extracting #1: cost 19 inf + 0
1552480260.047 * * [simplify]: Extracting #2: cost 20 inf + 2
1552480260.047 * * [simplify]: Extracting #3: cost 36 inf + 325
1552480260.048 * * [simplify]: Extracting #4: cost 121 inf + 1613
1552480260.048 * * [simplify]: Extracting #5: cost 155 inf + 1936
1552480260.049 * * [simplify]: Extracting #6: cost 181 inf + 6105
1552480260.050 * * [simplify]: Extracting #7: cost 171 inf + 14756
1552480260.051 * * [simplify]: Extracting #8: cost 166 inf + 15721
1552480260.053 * * [simplify]: Extracting #9: cost 112 inf + 69267
1552480260.060 * * [simplify]: Extracting #10: cost 25 inf + 189773
1552480260.071 * * [simplify]: Extracting #11: cost 0 inf + 233822
1552480260.081 * [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 a rand))
1552480260.081 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 a rand)) (+.p16 (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552480260.081 * * * * [progress]: [ 13 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552480260.082 * * * * [progress]: [ 14 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.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))))))>
1552480260.082 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480260.082 * * [simplify]: iters left: 4 (9 enodes)
1552480260.087 * * [simplify]: iters left: 3 (13 enodes)
1552480260.089 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480260.089 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480260.089 * * [simplify]: Extracting #2: cost 5 inf + 0
1552480260.089 * * [simplify]: Extracting #3: cost 6 inf + 1
1552480260.089 * * [simplify]: Extracting #4: cost 7 inf + 2
1552480260.089 * * [simplify]: Extracting #5: cost 0 inf + 1813
1552480260.090 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480260.090 * [simplify]: Simplified (2 1 2 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.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))))))
1552480260.090 * * * * [progress]: [ 15 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (-.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))))))>
1552480260.090 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1552480260.090 * * [simplify]: iters left: 4 (9 enodes)
1552480260.093 * * [simplify]: iters left: 3 (13 enodes)
1552480260.095 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480260.095 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480260.095 * * [simplify]: Extracting #2: cost 5 inf + 0
1552480260.095 * * [simplify]: Extracting #3: cost 5 inf + 2
1552480260.095 * * [simplify]: Extracting #4: cost 7 inf + 2
1552480260.095 * * [simplify]: Extracting #5: cost 4 inf + 5
1552480260.095 * * [simplify]: Extracting #6: cost 0 inf + 1813
1552480260.095 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1552480260.095 * [simplify]: Simplified (2 1 2 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (-.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))))))
1552480260.096 * * * * [progress]: [ 16 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.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))))))>
1552480260.096 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480260.096 * * [simplify]: iters left: 3 (7 enodes)
1552480260.098 * * [simplify]: iters left: 2 (12 enodes)
1552480260.100 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480260.100 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480260.100 * * [simplify]: Extracting #2: cost 4 inf + 1
1552480260.100 * * [simplify]: Extracting #3: cost 6 inf + 1
1552480260.100 * * [simplify]: Extracting #4: cost 0 inf + 930
1552480260.100 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480260.100 * [simplify]: Simplified (2 1 2 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.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))))))
1552480260.100 * * * * [progress]: [ 17 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480260.100 * * * * [progress]: [ 18 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480260.100 * * * * [progress]: [ 19 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480260.100 * * * * [progress]: [ 20 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480260.100 * * * * [progress]: [ 21 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480260.100 * * * [progress]: adding candidates to table
1552480261.778 * * [progress]: iteration 4 / 4
1552480261.778 * * * [progress]: picking best candidate
1552480262.207 * * * * [pick]: Picked  #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480262.207 * * * [progress]: localizing error
1552480262.390 * * * [progress]: generating rewritten candidates
1552480262.390 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1552480262.395 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1552480262.416 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2)
1552480262.416 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1)
1552480262.424 * * * [progress]: generating series expansions
1552480262.424 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1552480262.424 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1552480262.424 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2)
1552480262.424 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1)
1552480262.424 * * * [progress]: simplifying candidates
1552480262.424 * * * * [progress]: [ 1 / 19 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) a) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480262.424 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480262.424 * * [simplify]: iters left: 6 (16 enodes)
1552480262.429 * * [simplify]: iters left: 5 (34 enodes)
1552480262.435 * * [simplify]: iters left: 4 (64 enodes)
1552480262.457 * * [simplify]: iters left: 3 (130 enodes)
1552480262.505 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480262.505 * * [simplify]: Extracting #1: cost 7 inf + 0
1552480262.505 * * [simplify]: Extracting #2: cost 10 inf + 0
1552480262.505 * * [simplify]: Extracting #3: cost 31 inf + 1
1552480262.506 * * [simplify]: Extracting #4: cost 120 inf + 2
1552480262.506 * * [simplify]: Extracting #5: cost 150 inf + 970
1552480262.508 * * [simplify]: Extracting #6: cost 141 inf + 31906
1552480262.513 * * [simplify]: Extracting #7: cost 47 inf + 132312
1552480262.534 * * [simplify]: Extracting #8: cost 2 inf + 209140
1552480262.554 * * [simplify]: Extracting #9: cost 0 inf + 214108
1552480262.576 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))
1552480262.576 * [simplify]: Simplified (2 1 2 2) to (λ (a rand) (+.p16 (*.p16 rand (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) a) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480262.576 * * * * [progress]: [ 2 / 19 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (+.p16 (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480262.577 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))
1552480262.577 * * [simplify]: iters left: 6 (16 enodes)
1552480262.585 * * [simplify]: iters left: 5 (34 enodes)
1552480262.594 * * [simplify]: iters left: 4 (64 enodes)
1552480262.606 * * [simplify]: iters left: 3 (132 enodes)
1552480262.665 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480262.665 * * [simplify]: Extracting #1: cost 9 inf + 0
1552480262.665 * * [simplify]: Extracting #2: cost 12 inf + 0
1552480262.665 * * [simplify]: Extracting #3: cost 33 inf + 2
1552480262.666 * * [simplify]: Extracting #4: cost 123 inf + 2
1552480262.666 * * [simplify]: Extracting #5: cost 154 inf + 8
1552480262.668 * * [simplify]: Extracting #6: cost 177 inf + 5143
1552480262.672 * * [simplify]: Extracting #7: cost 134 inf + 53312
1552480262.679 * * [simplify]: Extracting #8: cost 24 inf + 192392
1552480262.689 * * [simplify]: Extracting #9: cost 0 inf + 225237
1552480262.699 * [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)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480262.699 * [simplify]: Simplified (2 1 2 2) to (λ (a rand) (+.p16 (*.p16 rand (+.p16 (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480262.700 * * * * [progress]: [ 3 / 19 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480262.700 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480262.700 * * [simplify]: iters left: 3 (7 enodes)
1552480262.702 * * [simplify]: iters left: 2 (12 enodes)
1552480262.704 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480262.704 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480262.704 * * [simplify]: Extracting #2: cost 4 inf + 1
1552480262.704 * * [simplify]: Extracting #3: cost 6 inf + 1
1552480262.704 * * [simplify]: Extracting #4: cost 0 inf + 930
1552480262.704 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480262.704 * [simplify]: Simplified (2 1 2 2) to (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480262.705 * * * * [progress]: [ 4 / 19 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480262.705 * [simplify]: Simplifying (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480262.705 * * [simplify]: iters left: 4 (10 enodes)
1552480262.708 * * [simplify]: iters left: 3 (25 enodes)
1552480262.714 * * [simplify]: iters left: 2 (51 enodes)
1552480262.730 * * [simplify]: iters left: 1 (117 enodes)
1552480262.796 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480262.796 * * [simplify]: Extracting #1: cost 19 inf + 0
1552480262.797 * * [simplify]: Extracting #2: cost 109 inf + 0
1552480262.798 * * [simplify]: Extracting #3: cost 147 inf + 3
1552480262.799 * * [simplify]: Extracting #4: cost 179 inf + 1929
1552480262.800 * * [simplify]: Extracting #5: cost 166 inf + 10904
1552480262.804 * * [simplify]: Extracting #6: cost 108 inf + 57078
1552480262.814 * * [simplify]: Extracting #7: cost 37 inf + 147287
1552480262.832 * * [simplify]: Extracting #8: cost 1 inf + 217319
1552480262.851 * * [simplify]: Extracting #9: cost 0 inf + 219483
1552480262.871 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552480262.871 * [simplify]: Simplified (2 1 2 1) to (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480262.871 * * * * [progress]: [ 5 / 19 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480262.872 * * * * [progress]: [ 6 / 19 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (real->posit16 1))))>
1552480262.872 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480262.872 * * [simplify]: iters left: 3 (7 enodes)
1552480262.876 * * [simplify]: iters left: 2 (18 enodes)
1552480262.883 * * [simplify]: iters left: 1 (32 enodes)
1552480262.897 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480262.897 * * [simplify]: Extracting #1: cost 9 inf + 0
1552480262.897 * * [simplify]: Extracting #2: cost 25 inf + 1
1552480262.897 * * [simplify]: Extracting #3: cost 34 inf + 322
1552480262.898 * * [simplify]: Extracting #4: cost 27 inf + 3209
1552480262.898 * * [simplify]: Extracting #5: cost 22 inf + 4898
1552480262.899 * * [simplify]: Extracting #6: cost 11 inf + 15047
1552480262.901 * * [simplify]: Extracting #7: cost 0 inf + 29315
1552480262.904 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552480262.904 * [simplify]: Simplified (2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (real->posit16 1))))
1552480262.904 * [simplify]: Simplifying (+.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (real->posit16 1))
1552480262.905 * * [simplify]: iters left: 6 (17 enodes)
1552480262.917 * * [simplify]: iters left: 5 (39 enodes)
1552480262.931 * * [simplify]: iters left: 4 (69 enodes)
1552480262.945 * * [simplify]: iters left: 3 (135 enodes)
1552480262.997 * * [simplify]: iters left: 2 (499 enodes)
1552480263.705 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480263.705 * * [simplify]: Extracting #1: cost 4 inf + 0
1552480263.705 * * [simplify]: Extracting #2: cost 13 inf + 0
1552480263.705 * * [simplify]: Extracting #3: cost 19 inf + 2
1552480263.705 * * [simplify]: Extracting #4: cost 106 inf + 648
1552480263.707 * * [simplify]: Extracting #5: cost 498 inf + 1933
1552480263.710 * * [simplify]: Extracting #6: cost 816 inf + 11250
1552480263.714 * * [simplify]: Extracting #7: cost 833 inf + 27464
1552480263.730 * * [simplify]: Extracting #8: cost 611 inf + 353779
1552480263.822 * * [simplify]: Extracting #9: cost 149 inf + 1173524
1552480263.924 * * [simplify]: Extracting #10: cost 0 inf + 1476454
1552480264.046 * * [simplify]: Extracting #11: cost 0 inf + 1473414
1552480264.166 * * [simplify]: Extracting #12: cost 0 inf + 1471294
1552480264.312 * * [simplify]: Extracting #13: cost 0 inf + 1469294
1552480264.424 * [simplify]: Simplified to (+.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)))))))
1552480264.424 * [simplify]: Simplified (2 2) 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)))))))))
1552480264.424 * * * * [progress]: [ 7 / 19 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.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))))) (*.p16 (real->posit16 1) a)) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480264.425 * [simplify]: Simplifying (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480264.425 * * [simplify]: iters left: 4 (9 enodes)
1552480264.430 * * [simplify]: iters left: 3 (15 enodes)
1552480264.436 * * [simplify]: iters left: 2 (17 enodes)
1552480264.442 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480264.442 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480264.442 * * [simplify]: Extracting #2: cost 5 inf + 0
1552480264.442 * * [simplify]: Extracting #3: cost 6 inf + 1
1552480264.442 * * [simplify]: Extracting #4: cost 7 inf + 2
1552480264.442 * * [simplify]: Extracting #5: cost 0 inf + 1813
1552480264.443 * [simplify]: Simplified to (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552480264.443 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.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))))) (*.p16 (real->posit16 1) a)) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480264.443 * * * * [progress]: [ 8 / 19 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.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))))) (*.p16 a (real->posit16 1))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))>
1552480264.444 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552480264.444 * * [simplify]: iters left: 4 (9 enodes)
1552480264.448 * * [simplify]: iters left: 3 (15 enodes)
1552480264.456 * * [simplify]: iters left: 2 (17 enodes)
1552480264.462 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480264.462 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480264.462 * * [simplify]: Extracting #2: cost 5 inf + 0
1552480264.462 * * [simplify]: Extracting #3: cost 5 inf + 2
1552480264.462 * * [simplify]: Extracting #4: cost 7 inf + 2
1552480264.462 * * [simplify]: Extracting #5: cost 4 inf + 5
1552480264.462 * * [simplify]: Extracting #6: cost 0 inf + 1813
1552480264.463 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552480264.463 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.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))))) (*.p16 a (real->posit16 1))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))
1552480264.463 * * * * [progress]: [ 9 / 19 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) a)) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552480264.463 * [simplify]: Simplifying (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) a))
1552480264.464 * * [simplify]: iters left: 6 (17 enodes)
1552480264.472 * * [simplify]: iters left: 5 (41 enodes)
1552480264.487 * * [simplify]: iters left: 4 (83 enodes)
1552480264.520 * * [simplify]: iters left: 3 (164 enodes)
1552480264.602 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480264.602 * * [simplify]: Extracting #1: cost 16 inf + 0
1552480264.602 * * [simplify]: Extracting #2: cost 16 inf + 2
1552480264.602 * * [simplify]: Extracting #3: cost 34 inf + 324
1552480264.603 * * [simplify]: Extracting #4: cost 122 inf + 325
1552480264.604 * * [simplify]: Extracting #5: cost 151 inf + 1615
1552480264.606 * * [simplify]: Extracting #6: cost 177 inf + 7067
1552480264.607 * * [simplify]: Extracting #7: cost 166 inf + 15078
1552480264.612 * * [simplify]: Extracting #8: cost 120 inf + 53366
1552480264.622 * * [simplify]: Extracting #9: cost 51 inf + 128369
1552480264.640 * * [simplify]: Extracting #10: cost 4 inf + 206913
1552480264.661 * * [simplify]: Extracting #11: cost 0 inf + 216648
1552480264.681 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 a (real->posit16 1)) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480264.682 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (/.p16 (*.p16 (*.p16 a (real->posit16 1)) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552480264.682 * * * * [progress]: [ 10 / 19 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))) (+.p16 (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552480264.682 * [simplify]: Simplifying (*.p16 rand (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
1552480264.682 * * [simplify]: iters left: 6 (17 enodes)
1552480264.691 * * [simplify]: iters left: 5 (41 enodes)
1552480264.706 * * [simplify]: iters left: 4 (83 enodes)
1552480264.736 * * [simplify]: iters left: 3 (164 enodes)
1552480264.812 * * [simplify]: iters left: 2 (493 enodes)
1552480265.230 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480265.231 * * [simplify]: Extracting #1: cost 25 inf + 0
1552480265.231 * * [simplify]: Extracting #2: cost 25 inf + 2
1552480265.231 * * [simplify]: Extracting #3: cost 103 inf + 1613
1552480265.234 * * [simplify]: Extracting #4: cost 432 inf + 1613
1552480265.245 * * [simplify]: Extracting #5: cost 725 inf + 3863
1552480265.252 * * [simplify]: Extracting #6: cost 772 inf + 8359
1552480265.262 * * [simplify]: Extracting #7: cost 701 inf + 70831
1552480265.307 * * [simplify]: Extracting #8: cost 376 inf + 526211
1552480265.409 * * [simplify]: Extracting #9: cost 28 inf + 1155193
1552480265.495 * * [simplify]: Extracting #10: cost 0 inf + 1220214
1552480265.585 * [simplify]: Simplified to (*.p16 (/.p16 rand (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 a (real->posit16 1)))
1552480265.585 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 (/.p16 rand (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 a (real->posit16 1))) (+.p16 (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552480265.585 * * * * [progress]: [ 11 / 19 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) a) rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552480265.585 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) a) rand)
1552480265.585 * * [simplify]: iters left: 6 (17 enodes)
1552480265.590 * * [simplify]: iters left: 5 (41 enodes)
1552480265.598 * * [simplify]: iters left: 4 (83 enodes)
1552480265.613 * * [simplify]: iters left: 3 (164 enodes)
1552480265.659 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480265.659 * * [simplify]: Extracting #1: cost 17 inf + 0
1552480265.659 * * [simplify]: Extracting #2: cost 18 inf + 2
1552480265.659 * * [simplify]: Extracting #3: cost 33 inf + 326
1552480265.659 * * [simplify]: Extracting #4: cost 119 inf + 1613
1552480265.660 * * [simplify]: Extracting #5: cost 149 inf + 1935
1552480265.661 * * [simplify]: Extracting #6: cost 169 inf + 7067
1552480265.661 * * [simplify]: Extracting #7: cost 158 inf + 15078
1552480265.663 * * [simplify]: Extracting #8: cost 123 inf + 43496
1552480265.668 * * [simplify]: Extracting #9: cost 45 inf + 143182
1552480265.678 * * [simplify]: Extracting #10: cost 8 inf + 207251
1552480265.695 * * [simplify]: Extracting #11: cost 1 inf + 219672
1552480265.705 * * [simplify]: Extracting #12: cost 0 inf + 222755
1552480265.716 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 rand a))
1552480265.717 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 rand a)) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552480265.717 * * * * [progress]: [ 12 / 19 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (+.p16 (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552480265.717 * [simplify]: Simplifying (*.p16 (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)
1552480265.717 * * [simplify]: iters left: 6 (17 enodes)
1552480265.722 * * [simplify]: iters left: 5 (41 enodes)
1552480265.734 * * [simplify]: iters left: 4 (83 enodes)
1552480265.757 * * [simplify]: iters left: 3 (163 enodes)
1552480265.818 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480265.818 * * [simplify]: Extracting #1: cost 19 inf + 0
1552480265.818 * * [simplify]: Extracting #2: cost 20 inf + 2
1552480265.818 * * [simplify]: Extracting #3: cost 36 inf + 325
1552480265.818 * * [simplify]: Extracting #4: cost 121 inf + 1613
1552480265.819 * * [simplify]: Extracting #5: cost 158 inf + 1935
1552480265.820 * * [simplify]: Extracting #6: cost 185 inf + 4182
1552480265.821 * * [simplify]: Extracting #7: cost 173 inf + 13476
1552480265.824 * * [simplify]: Extracting #8: cost 130 inf + 48709
1552480265.834 * * [simplify]: Extracting #9: cost 53 inf + 138177
1552480265.855 * * [simplify]: Extracting #10: cost 7 inf + 218203
1552480265.872 * * [simplify]: Extracting #11: cost 0 inf + 235746
1552480265.883 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 a rand))
1552480265.883 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 a rand)) (+.p16 (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552480265.883 * * * * [progress]: [ 13 / 19 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 rand (*.p16 (/.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)))))))>
1552480265.883 * * * * [progress]: [ 14 / 19 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9)) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480265.883 * [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)))) (real->posit16 9))
1552480265.883 * * [simplify]: iters left: 5 (12 enodes)
1552480265.887 * * [simplify]: iters left: 4 (32 enodes)
1552480265.893 * * [simplify]: iters left: 3 (83 enodes)
1552480265.930 * * [simplify]: iters left: 2 (328 enodes)
1552480266.336 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480266.336 * * [simplify]: Extracting #1: cost 57 inf + 0
1552480266.337 * * [simplify]: Extracting #2: cost 276 inf + 0
1552480266.338 * * [simplify]: Extracting #3: cost 393 inf + 965
1552480266.340 * * [simplify]: Extracting #4: cost 412 inf + 14118
1552480266.343 * * [simplify]: Extracting #5: cost 371 inf + 47390
1552480266.348 * * [simplify]: Extracting #6: cost 306 inf + 117500
1552480266.374 * * [simplify]: Extracting #7: cost 113 inf + 438019
1552480266.434 * * [simplify]: Extracting #8: cost 8 inf + 635803
1552480266.493 * * [simplify]: Extracting #9: cost 0 inf + 657189
1552480266.532 * * [simplify]: Extracting #10: cost 0 inf + 656909
1552480266.571 * [simplify]: Simplified to (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
1552480266.571 * [simplify]: Simplified (2 1 2 1 2 1 1) to (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552480266.571 * * * * [progress]: [ 15 / 19 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480266.571 * * * * [progress]: [ 16 / 19 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480266.571 * * * * [progress]: [ 17 / 19 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480266.571 * * * * [progress]: [ 18 / 19 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480266.572 * * * * [progress]: [ 19 / 19 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552480266.572 * * * [progress]: adding candidates to table
1552480267.775 * [progress]: [Phase 3 of 3] Extracting.
1552480267.775 * * [regime]: Finding splitpoints for: (#<alt (λ (a rand) (+.p16 (*.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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.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))))))> #<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 rand (*.p16 (/.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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<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) a) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.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))))) (*.p16 (real->posit16 1) a)) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.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))))) (*.p16 (real->posit16 1) (-.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) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))) (+.p16 (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #<alt (λ (a rand) (+.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>)
1552480267.780 * * * [regime-changes]: Trying 2 branch expressions: (rand a)
1552480267.780 * * * * [regimes]: Trying to branch on rand from (#<alt (λ (a rand) (+.p16 (*.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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.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))))))> #<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 rand (*.p16 (/.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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<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) a) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.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))))) (*.p16 (real->posit16 1) a)) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.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))))) (*.p16 (real->posit16 1) (-.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) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))) (+.p16 (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #<alt (λ (a rand) (+.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>)
1552480268.409 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a rand) (+.p16 (*.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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.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))))))> #<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 rand (*.p16 (/.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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<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) a) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.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))))) (*.p16 (real->posit16 1) a)) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.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))))) (*.p16 (real->posit16 1) (-.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) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))) (+.p16 (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #<alt (λ (a rand) (+.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>)
1552480268.903 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
1552480268.903 * [simplify]: Simplifying (+.p16 (*.p16 rand (*.p16 (/.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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
1552480268.903 * * [simplify]: iters left: 6 (19 enodes)
1552480268.905 * * [simplify]: iters left: 5 (21 enodes)
1552480268.907 * * [simplify]: Extracting #0: cost 1 inf + 0
1552480268.907 * * [simplify]: Extracting #1: cost 3 inf + 0
1552480268.907 * * [simplify]: Extracting #2: cost 7 inf + 0
1552480268.907 * * [simplify]: Extracting #3: cost 10 inf + 1
1552480268.907 * * [simplify]: Extracting #4: cost 10 inf + 4
1552480268.907 * * [simplify]: Extracting #5: cost 13 inf + 4
1552480268.907 * * [simplify]: Extracting #6: cost 10 inf + 8
1552480268.907 * * [simplify]: Extracting #7: cost 9 inf + 973
1552480268.907 * * [simplify]: Extracting #8: cost 6 inf + 1819
1552480268.908 * * [simplify]: Extracting #9: cost 4 inf + 3547
1552480268.908 * * [simplify]: Extracting #10: cost 2 inf + 6517
1552480268.908 * * [simplify]: Extracting #11: cost 0 inf + 10809
1552480268.908 * [simplify]: Simplified to (+.p16 (*.p16 rand (*.p16 (/.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))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
1552480268.909 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1552480268.933 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1552480268.937 * * * * [points]: Setting MPFR precision to 64
1552480268.938 * * * * [points]: Setting MPFR precision to 320
1552480268.939 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1552480268.944 * * * * [points]: Setting MPFR precision to 64
1552480268.946 * * * * [points]: Setting MPFR precision to 320
1552480268.948 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1552480268.962 * * * * [points]: Setting MPFR precision to 64
1552480268.967 * * * * [points]: Setting MPFR precision to 320
1552480268.972 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1552480268.977 * * * * [points]: Setting MPFR precision to 64
1552480268.984 * * * * [points]: Setting MPFR precision to 320
1552480268.993 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1552480268.998 * * * * [points]: Setting MPFR precision to 64
1552480269.013 * * * * [points]: Setting MPFR precision to 320
1552480269.032 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1552480269.037 * * * * [points]: Setting MPFR precision to 64
1552480269.065 * * * * [points]: Setting MPFR precision to 320
1552480269.129 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1552480269.134 * * * * [points]: Setting MPFR precision to 64
1552480269.194 * * * * [points]: Setting MPFR precision to 320
1552480269.321 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1552480269.326 * * * * [points]: Setting MPFR precision to 64
1552480269.475 * * * * [points]: Setting MPFR precision to 320
1552480269.691 * * * * [points]: Computing exacts for 8000 points
1552480269.701 * * * * [points]: Setting MPFR precision to 64
1552480270.835 * * * * [points]: Setting MPFR precision to 320
1552480271.892 * * * * [points]: Filtering points with unrepresentable outputs
1552480272.199 * * * * [points]: Sampling 5173 additional inputs, on iter 1 have 2827 / 8000
1552480272.237 * * * * [points]: Computing exacts on every 323 of 5173 points to ramp up precision
1552480272.241 * * * * [points]: Setting MPFR precision to 64
1552480272.243 * * * * [points]: Setting MPFR precision to 320
1552480272.244 * * * * [points]: Computing exacts on every 161 of 5173 points to ramp up precision
1552480272.249 * * * * [points]: Setting MPFR precision to 64
1552480272.251 * * * * [points]: Setting MPFR precision to 320
1552480272.254 * * * * [points]: Computing exacts on every 80 of 5173 points to ramp up precision
1552480272.259 * * * * [points]: Setting MPFR precision to 64
1552480272.265 * * * * [points]: Setting MPFR precision to 320
1552480272.274 * * * * [points]: Computing exacts on every 40 of 5173 points to ramp up precision
1552480272.283 * * * * [points]: Setting MPFR precision to 64
1552480272.296 * * * * [points]: Setting MPFR precision to 320
1552480272.313 * * * * [points]: Computing exacts on every 20 of 5173 points to ramp up precision
1552480272.322 * * * * [points]: Setting MPFR precision to 64
1552480272.343 * * * * [points]: Setting MPFR precision to 320
1552480272.362 * * * * [points]: Computing exacts on every 10 of 5173 points to ramp up precision
1552480272.389 * * * * [points]: Setting MPFR precision to 64
1552480272.444 * * * * [points]: Setting MPFR precision to 320
1552480272.511 * * * * [points]: Computing exacts on every 5 of 5173 points to ramp up precision
1552480272.520 * * * * [points]: Setting MPFR precision to 64
1552480272.656 * * * * [points]: Setting MPFR precision to 320
1552480272.748 * * * * [points]: Computing exacts on every 2 of 5173 points to ramp up precision
1552480272.753 * * * * [points]: Setting MPFR precision to 64
1552480272.943 * * * * [points]: Setting MPFR precision to 320
1552480273.182 * * * * [points]: Computing exacts for 5173 points
1552480273.186 * * * * [points]: Setting MPFR precision to 64
1552480274.204 * * * * [points]: Setting MPFR precision to 320
1552480275.052 * * * * [points]: Filtering points with unrepresentable outputs
1552480275.339 * * * * [points]: Sampling 3304 additional inputs, on iter 2 have 4696 / 8000
1552480275.358 * * * * [points]: Computing exacts on every 206 of 3304 points to ramp up precision
1552480275.367 * * * * [points]: Setting MPFR precision to 64
1552480275.369 * * * * [points]: Setting MPFR precision to 320
1552480275.371 * * * * [points]: Computing exacts on every 103 of 3304 points to ramp up precision
1552480275.380 * * * * [points]: Setting MPFR precision to 64
1552480275.383 * * * * [points]: Setting MPFR precision to 320
1552480275.388 * * * * [points]: Computing exacts on every 51 of 3304 points to ramp up precision
1552480275.415 * * * * [points]: Setting MPFR precision to 64
1552480275.423 * * * * [points]: Setting MPFR precision to 320
1552480275.431 * * * * [points]: Computing exacts on every 25 of 3304 points to ramp up precision
1552480275.440 * * * * [points]: Setting MPFR precision to 64
1552480275.454 * * * * [points]: Setting MPFR precision to 320
1552480275.473 * * * * [points]: Computing exacts on every 12 of 3304 points to ramp up precision
1552480275.482 * * * * [points]: Setting MPFR precision to 64
1552480275.511 * * * * [points]: Setting MPFR precision to 320
1552480275.542 * * * * [points]: Computing exacts on every 6 of 3304 points to ramp up precision
1552480275.547 * * * * [points]: Setting MPFR precision to 64
1552480275.596 * * * * [points]: Setting MPFR precision to 320
1552480275.661 * * * * [points]: Computing exacts on every 3 of 3304 points to ramp up precision
1552480275.666 * * * * [points]: Setting MPFR precision to 64
1552480275.725 * * * * [points]: Setting MPFR precision to 320
1552480275.862 * * * * [points]: Computing exacts for 3304 points
1552480275.866 * * * * [points]: Setting MPFR precision to 64
1552480276.100 * * * * [points]: Setting MPFR precision to 320
1552480276.523 * * * * [points]: Filtering points with unrepresentable outputs
1552480276.680 * * * * [points]: Sampling 2156 additional inputs, on iter 3 have 5844 / 8000
1552480276.686 * * * * [points]: Computing exacts on every 134 of 2156 points to ramp up precision
1552480276.691 * * * * [points]: Setting MPFR precision to 64
1552480276.692 * * * * [points]: Setting MPFR precision to 320
1552480276.693 * * * * [points]: Computing exacts on every 67 of 2156 points to ramp up precision
1552480276.698 * * * * [points]: Setting MPFR precision to 64
1552480276.700 * * * * [points]: Setting MPFR precision to 320
1552480276.702 * * * * [points]: Computing exacts on every 33 of 2156 points to ramp up precision
1552480276.719 * * * * [points]: Setting MPFR precision to 64
1552480276.726 * * * * [points]: Setting MPFR precision to 320
1552480276.732 * * * * [points]: Computing exacts on every 16 of 2156 points to ramp up precision
1552480276.737 * * * * [points]: Setting MPFR precision to 64
1552480276.745 * * * * [points]: Setting MPFR precision to 320
1552480276.762 * * * * [points]: Computing exacts on every 8 of 2156 points to ramp up precision
1552480276.771 * * * * [points]: Setting MPFR precision to 64
1552480276.798 * * * * [points]: Setting MPFR precision to 320
1552480276.818 * * * * [points]: Computing exacts on every 4 of 2156 points to ramp up precision
1552480276.825 * * * * [points]: Setting MPFR precision to 64
1552480276.870 * * * * [points]: Setting MPFR precision to 320
1552480276.963 * * * * [points]: Computing exacts on every 2 of 2156 points to ramp up precision
1552480276.972 * * * * [points]: Setting MPFR precision to 64
1552480277.055 * * * * [points]: Setting MPFR precision to 320
1552480277.212 * * * * [points]: Computing exacts for 2156 points
1552480277.220 * * * * [points]: Setting MPFR precision to 64
1552480277.463 * * * * [points]: Setting MPFR precision to 320
1552480277.734 * * * * [points]: Filtering points with unrepresentable outputs
1552480277.845 * * * * [points]: Sampling 1364 additional inputs, on iter 4 have 6636 / 8000
1552480277.852 * * * * [points]: Computing exacts on every 85 of 1364 points to ramp up precision
1552480277.861 * * * * [points]: Setting MPFR precision to 64
1552480277.863 * * * * [points]: Setting MPFR precision to 320
1552480277.865 * * * * [points]: Computing exacts on every 42 of 1364 points to ramp up precision
1552480277.874 * * * * [points]: Setting MPFR precision to 64
1552480277.878 * * * * [points]: Setting MPFR precision to 320
1552480277.882 * * * * [points]: Computing exacts on every 21 of 1364 points to ramp up precision
1552480277.890 * * * * [points]: Setting MPFR precision to 64
1552480277.897 * * * * [points]: Setting MPFR precision to 320
1552480277.905 * * * * [points]: Computing exacts on every 10 of 1364 points to ramp up precision
1552480277.914 * * * * [points]: Setting MPFR precision to 64
1552480277.924 * * * * [points]: Setting MPFR precision to 320
1552480277.939 * * * * [points]: Computing exacts on every 5 of 1364 points to ramp up precision
1552480277.944 * * * * [points]: Setting MPFR precision to 64
1552480277.959 * * * * [points]: Setting MPFR precision to 320
1552480277.987 * * * * [points]: Computing exacts on every 2 of 1364 points to ramp up precision
1552480278.024 * * * * [points]: Setting MPFR precision to 64
1552480278.054 * * * * [points]: Setting MPFR precision to 320
1552480278.122 * * * * [points]: Computing exacts for 1364 points
1552480278.132 * * * * [points]: Setting MPFR precision to 64
1552480278.330 * * * * [points]: Setting MPFR precision to 320
1552480279.008 * * * * [points]: Filtering points with unrepresentable outputs
1552480279.067 * * * * [points]: Sampling 879 additional inputs, on iter 5 have 7121 / 8000
1552480279.069 * * * * [points]: Computing exacts on every 54 of 879 points to ramp up precision
1552480279.074 * * * * [points]: Setting MPFR precision to 64
1552480279.076 * * * * [points]: Setting MPFR precision to 320
1552480279.077 * * * * [points]: Computing exacts on every 27 of 879 points to ramp up precision
1552480279.082 * * * * [points]: Setting MPFR precision to 64
1552480279.084 * * * * [points]: Setting MPFR precision to 320
1552480279.086 * * * * [points]: Computing exacts on every 13 of 879 points to ramp up precision
1552480279.091 * * * * [points]: Setting MPFR precision to 64
1552480279.096 * * * * [points]: Setting MPFR precision to 320
1552480279.105 * * * * [points]: Computing exacts on every 6 of 879 points to ramp up precision
1552480279.114 * * * * [points]: Setting MPFR precision to 64
1552480279.128 * * * * [points]: Setting MPFR precision to 320
1552480279.167 * * * * [points]: Computing exacts on every 3 of 879 points to ramp up precision
1552480279.177 * * * * [points]: Setting MPFR precision to 64
1552480279.201 * * * * [points]: Setting MPFR precision to 320
1552480279.230 * * * * [points]: Computing exacts for 879 points
1552480279.234 * * * * [points]: Setting MPFR precision to 64
1552480279.299 * * * * [points]: Setting MPFR precision to 320
1552480279.450 * * * * [points]: Filtering points with unrepresentable outputs
1552480279.475 * * * * [points]: Sampling 576 additional inputs, on iter 6 have 7424 / 8000
1552480279.476 * * * * [points]: Computing exacts on every 36 of 576 points to ramp up precision
1552480279.481 * * * * [points]: Setting MPFR precision to 64
1552480279.482 * * * * [points]: Setting MPFR precision to 320
1552480279.483 * * * * [points]: Computing exacts on every 18 of 576 points to ramp up precision
1552480279.487 * * * * [points]: Setting MPFR precision to 64
1552480279.489 * * * * [points]: Setting MPFR precision to 320
1552480279.492 * * * * [points]: Computing exacts on every 9 of 576 points to ramp up precision
1552480279.496 * * * * [points]: Setting MPFR precision to 64
1552480279.499 * * * * [points]: Setting MPFR precision to 320
1552480279.504 * * * * [points]: Computing exacts on every 4 of 576 points to ramp up precision
1552480279.525 * * * * [points]: Setting MPFR precision to 64
1552480279.534 * * * * [points]: Setting MPFR precision to 320
1552480279.544 * * * * [points]: Computing exacts on every 2 of 576 points to ramp up precision
1552480279.549 * * * * [points]: Setting MPFR precision to 64
1552480279.560 * * * * [points]: Setting MPFR precision to 320
1552480279.575 * * * * [points]: Computing exacts for 576 points
1552480279.579 * * * * [points]: Setting MPFR precision to 64
1552480279.614 * * * * [points]: Setting MPFR precision to 320
1552480279.730 * * * * [points]: Filtering points with unrepresentable outputs
1552480279.758 * * * * [points]: Sampling 378 additional inputs, on iter 7 have 7622 / 8000
1552480279.760 * * * * [points]: Computing exacts on every 23 of 378 points to ramp up precision
1552480279.769 * * * * [points]: Setting MPFR precision to 64
1552480279.771 * * * * [points]: Setting MPFR precision to 320
1552480279.773 * * * * [points]: Computing exacts on every 11 of 378 points to ramp up precision
1552480279.782 * * * * [points]: Setting MPFR precision to 64
1552480279.785 * * * * [points]: Setting MPFR precision to 320
1552480279.790 * * * * [points]: Computing exacts on every 5 of 378 points to ramp up precision
1552480279.799 * * * * [points]: Setting MPFR precision to 64
1552480279.806 * * * * [points]: Setting MPFR precision to 320
1552480279.815 * * * * [points]: Computing exacts on every 2 of 378 points to ramp up precision
1552480279.824 * * * * [points]: Setting MPFR precision to 64
1552480279.838 * * * * [points]: Setting MPFR precision to 320
1552480279.855 * * * * [points]: Computing exacts for 378 points
1552480279.885 * * * * [points]: Setting MPFR precision to 64
1552480279.908 * * * * [points]: Setting MPFR precision to 320
1552480279.938 * * * * [points]: Filtering points with unrepresentable outputs
1552480279.949 * * * * [points]: Sampling 240 additional inputs, on iter 8 have 7760 / 8000
1552480279.950 * * * * [points]: Computing exacts on every 15 of 240 points to ramp up precision
1552480279.955 * * * * [points]: Setting MPFR precision to 64
1552480279.957 * * * * [points]: Setting MPFR precision to 320
1552480279.959 * * * * [points]: Computing exacts on every 7 of 240 points to ramp up precision
1552480279.969 * * * * [points]: Setting MPFR precision to 64
1552480279.972 * * * * [points]: Setting MPFR precision to 320
1552480279.976 * * * * [points]: Computing exacts on every 3 of 240 points to ramp up precision
1552480279.985 * * * * [points]: Setting MPFR precision to 64
1552480279.991 * * * * [points]: Setting MPFR precision to 320
1552480279.999 * * * * [points]: Computing exacts for 240 points
1552480280.038 * * * * [points]: Setting MPFR precision to 64
1552480280.067 * * * * [points]: Setting MPFR precision to 320
1552480280.101 * * * * [points]: Filtering points with unrepresentable outputs
1552480280.113 * * * * [points]: Sampling 157 additional inputs, on iter 9 have 7843 / 8000
1552480280.114 * * * * [points]: Computing exacts on every 9 of 157 points to ramp up precision
1552480280.123 * * * * [points]: Setting MPFR precision to 64
1552480280.125 * * * * [points]: Setting MPFR precision to 320
1552480280.127 * * * * [points]: Computing exacts on every 4 of 157 points to ramp up precision
1552480280.136 * * * * [points]: Setting MPFR precision to 64
1552480280.139 * * * * [points]: Setting MPFR precision to 320
1552480280.143 * * * * [points]: Computing exacts on every 2 of 157 points to ramp up precision
1552480280.153 * * * * [points]: Setting MPFR precision to 64
1552480280.158 * * * * [points]: Setting MPFR precision to 320
1552480280.165 * * * * [points]: Computing exacts for 157 points
1552480280.174 * * * * [points]: Setting MPFR precision to 64
1552480280.183 * * * * [points]: Setting MPFR precision to 320
1552480280.194 * * * * [points]: Filtering points with unrepresentable outputs
1552480280.199 * * * * [points]: Sampling 95 additional inputs, on iter 10 have 7905 / 8000
1552480280.199 * * * * [points]: Computing exacts on every 5 of 95 points to ramp up precision
1552480280.222 * * * * [points]: Setting MPFR precision to 64
1552480280.223 * * * * [points]: Setting MPFR precision to 320
1552480280.224 * * * * [points]: Computing exacts on every 2 of 95 points to ramp up precision
1552480280.230 * * * * [points]: Setting MPFR precision to 64
1552480280.233 * * * * [points]: Setting MPFR precision to 320
1552480280.235 * * * * [points]: Computing exacts for 95 points
1552480280.239 * * * * [points]: Setting MPFR precision to 64
1552480280.245 * * * * [points]: Setting MPFR precision to 320
1552480280.252 * * * * [points]: Filtering points with unrepresentable outputs
1552480280.255 * * * * [points]: Sampling 62 additional inputs, on iter 11 have 7938 / 8000
1552480280.255 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
1552480280.260 * * * * [points]: Setting MPFR precision to 64
1552480280.261 * * * * [points]: Setting MPFR precision to 320
1552480280.262 * * * * [points]: Computing exacts for 62 points
1552480280.266 * * * * [points]: Setting MPFR precision to 64
1552480280.270 * * * * [points]: Setting MPFR precision to 320
1552480280.276 * * * * [points]: Filtering points with unrepresentable outputs
1552480280.278 * * * * [points]: Sampling 38 additional inputs, on iter 12 have 7962 / 8000
1552480280.278 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
1552480280.282 * * * * [points]: Setting MPFR precision to 64
1552480280.283 * * * * [points]: Setting MPFR precision to 320
1552480280.284 * * * * [points]: Computing exacts for 38 points
1552480280.290 * * * * [points]: Setting MPFR precision to 64
1552480280.292 * * * * [points]: Setting MPFR precision to 320
1552480280.295 * * * * [points]: Filtering points with unrepresentable outputs
1552480280.296 * * * * [points]: Sampling 31 additional inputs, on iter 13 have 7969 / 8000
1552480280.297 * * * * [points]: Computing exacts for 31 points
1552480280.315 * * * * [points]: Setting MPFR precision to 64
1552480280.317 * * * * [points]: Setting MPFR precision to 320
1552480280.321 * * * * [points]: Filtering points with unrepresentable outputs
1552480280.322 * * * * [points]: Sampling 18 additional inputs, on iter 14 have 7982 / 8000
1552480280.322 * * * * [points]: Computing exacts for 18 points
1552480280.327 * * * * [points]: Setting MPFR precision to 64
1552480280.328 * * * * [points]: Setting MPFR precision to 320
1552480280.329 * * * * [points]: Filtering points with unrepresentable outputs
1552480280.330 * * * * [points]: Sampling 12 additional inputs, on iter 15 have 7988 / 8000
1552480280.330 * * * * [points]: Computing exacts for 12 points
1552480280.334 * * * * [points]: Setting MPFR precision to 64
1552480280.335 * * * * [points]: Setting MPFR precision to 320
1552480280.336 * * * * [points]: Filtering points with unrepresentable outputs
1552480280.337 * * * * [points]: Sampling 7 additional inputs, on iter 16 have 7993 / 8000
1552480280.337 * * * * [points]: Computing exacts for 7 points
1552480280.341 * * * * [points]: Setting MPFR precision to 64
1552480280.342 * * * * [points]: Setting MPFR precision to 320
1552480280.342 * * * * [points]: Filtering points with unrepresentable outputs
1552480280.343 * * * * [points]: Sampling 4 additional inputs, on iter 17 have 7997 / 8000
1552480280.343 * * * * [points]: Computing exacts for 4 points
1552480280.347 * * * * [points]: Setting MPFR precision to 64
1552480280.347 * * * * [points]: Setting MPFR precision to 320
1552480280.348 * * * * [points]: Filtering points with unrepresentable outputs
1552480280.348 * * * * [points]: Sampling 4 additional inputs, on iter 18 have 7998 / 8000
1552480280.348 * * * * [points]: Computing exacts for 4 points
1552480280.352 * * * * [points]: Setting MPFR precision to 64
1552480280.352 * * * * [points]: Setting MPFR precision to 320
1552480280.353 * * * * [points]: Filtering points with unrepresentable outputs
1552480280.353 * * * * [points]: Sampled 8000 points with exact outputs
1552480292.213 * [regime-testing]: Baseline error score: 64.0
1552480292.215 * [regime-testing]: Oracle error score: 64.0
1552480292.219 * [regime-testing]: End program error score: 0.5184441001179452