1552123082.507 * [progress]: [Phase 1 of 3] Setting up.
1552123082.507 * * * [progress]: [1/2] Preparing points
1552123082.507 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1552123082.508 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1552123082.512 * * * * [points]: Setting MPFR precision to 64
1552123082.513 * * * * [points]: Setting MPFR precision to 320
1552123082.515 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1552123082.519 * * * * [points]: Setting MPFR precision to 64
1552123082.520 * * * * [points]: Setting MPFR precision to 320
1552123082.523 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1552123082.529 * * * * [points]: Setting MPFR precision to 64
1552123082.539 * * * * [points]: Setting MPFR precision to 320
1552123082.545 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1552123082.552 * * * * [points]: Setting MPFR precision to 64
1552123082.557 * * * * [points]: Setting MPFR precision to 320
1552123082.563 * * * * [points]: Computing exacts for 256 points
1552123082.568 * * * * [points]: Setting MPFR precision to 64
1552123082.585 * * * * [points]: Setting MPFR precision to 320
1552123082.609 * * * * [points]: Filtering points with unrepresentable outputs
1552123082.619 * * * * [points]: Sampling 176 additional inputs, on iter 1 have 80 / 256
1552123082.620 * * * * [points]: Computing exacts on every 11 of 176 points to ramp up precision
1552123082.627 * * * * [points]: Setting MPFR precision to 64
1552123082.629 * * * * [points]: Setting MPFR precision to 320
1552123082.630 * * * * [points]: Computing exacts on every 5 of 176 points to ramp up precision
1552123082.637 * * * * [points]: Setting MPFR precision to 64
1552123082.640 * * * * [points]: Setting MPFR precision to 320
1552123082.644 * * * * [points]: Computing exacts on every 2 of 176 points to ramp up precision
1552123082.651 * * * * [points]: Setting MPFR precision to 64
1552123082.657 * * * * [points]: Setting MPFR precision to 320
1552123082.686 * * * * [points]: Computing exacts for 176 points
1552123082.693 * * * * [points]: Setting MPFR precision to 64
1552123082.709 * * * * [points]: Setting MPFR precision to 320
1552123082.724 * * * * [points]: Filtering points with unrepresentable outputs
1552123082.730 * * * * [points]: Sampling 117 additional inputs, on iter 2 have 139 / 256
1552123082.731 * * * * [points]: Computing exacts on every 7 of 117 points to ramp up precision
1552123082.738 * * * * [points]: Setting MPFR precision to 64
1552123082.739 * * * * [points]: Setting MPFR precision to 320
1552123082.741 * * * * [points]: Computing exacts on every 3 of 117 points to ramp up precision
1552123082.748 * * * * [points]: Setting MPFR precision to 64
1552123082.751 * * * * [points]: Setting MPFR precision to 320
1552123082.754 * * * * [points]: Computing exacts for 117 points
1552123082.761 * * * * [points]: Setting MPFR precision to 64
1552123082.772 * * * * [points]: Setting MPFR precision to 320
1552123082.785 * * * * [points]: Filtering points with unrepresentable outputs
1552123082.789 * * * * [points]: Sampling 77 additional inputs, on iter 3 have 179 / 256
1552123082.790 * * * * [points]: Computing exacts on every 4 of 77 points to ramp up precision
1552123082.798 * * * * [points]: Setting MPFR precision to 64
1552123082.799 * * * * [points]: Setting MPFR precision to 320
1552123082.801 * * * * [points]: Computing exacts on every 2 of 77 points to ramp up precision
1552123082.808 * * * * [points]: Setting MPFR precision to 64
1552123082.811 * * * * [points]: Setting MPFR precision to 320
1552123082.834 * * * * [points]: Computing exacts for 77 points
1552123082.841 * * * * [points]: Setting MPFR precision to 64
1552123082.848 * * * * [points]: Setting MPFR precision to 320
1552123082.857 * * * * [points]: Filtering points with unrepresentable outputs
1552123082.860 * * * * [points]: Sampling 54 additional inputs, on iter 4 have 202 / 256
1552123082.860 * * * * [points]: Computing exacts on every 3 of 54 points to ramp up precision
1552123082.867 * * * * [points]: Setting MPFR precision to 64
1552123082.868 * * * * [points]: Setting MPFR precision to 320
1552123082.870 * * * * [points]: Computing exacts for 54 points
1552123082.877 * * * * [points]: Setting MPFR precision to 64
1552123082.881 * * * * [points]: Setting MPFR precision to 320
1552123082.885 * * * * [points]: Filtering points with unrepresentable outputs
1552123082.886 * * * * [points]: Sampling 35 additional inputs, on iter 5 have 221 / 256
1552123082.886 * * * * [points]: Computing exacts on every 2 of 35 points to ramp up precision
1552123082.893 * * * * [points]: Setting MPFR precision to 64
1552123082.894 * * * * [points]: Setting MPFR precision to 320
1552123082.895 * * * * [points]: Computing exacts for 35 points
1552123082.899 * * * * [points]: Setting MPFR precision to 64
1552123082.901 * * * * [points]: Setting MPFR precision to 320
1552123082.904 * * * * [points]: Filtering points with unrepresentable outputs
1552123082.905 * * * * [points]: Sampling 23 additional inputs, on iter 6 have 233 / 256
1552123082.905 * * * * [points]: Computing exacts for 23 points
1552123082.909 * * * * [points]: Setting MPFR precision to 64
1552123082.910 * * * * [points]: Setting MPFR precision to 320
1552123082.912 * * * * [points]: Filtering points with unrepresentable outputs
1552123082.912 * * * * [points]: Sampling 17 additional inputs, on iter 7 have 239 / 256
1552123082.913 * * * * [points]: Computing exacts for 17 points
1552123082.917 * * * * [points]: Setting MPFR precision to 64
1552123082.919 * * * * [points]: Setting MPFR precision to 320
1552123082.921 * * * * [points]: Filtering points with unrepresentable outputs
1552123082.921 * * * * [points]: Sampling 12 additional inputs, on iter 8 have 244 / 256
1552123082.921 * * * * [points]: Computing exacts for 12 points
1552123082.939 * * * * [points]: Setting MPFR precision to 64
1552123082.940 * * * * [points]: Setting MPFR precision to 320
1552123082.941 * * * * [points]: Filtering points with unrepresentable outputs
1552123082.942 * * * * [points]: Sampling 6 additional inputs, on iter 9 have 250 / 256
1552123082.942 * * * * [points]: Computing exacts for 6 points
1552123082.946 * * * * [points]: Setting MPFR precision to 64
1552123082.946 * * * * [points]: Setting MPFR precision to 320
1552123082.947 * * * * [points]: Filtering points with unrepresentable outputs
1552123082.947 * * * * [points]: Sampling 5 additional inputs, on iter 10 have 251 / 256
1552123082.947 * * * * [points]: Computing exacts for 5 points
1552123082.951 * * * * [points]: Setting MPFR precision to 64
1552123082.952 * * * * [points]: Setting MPFR precision to 320
1552123082.952 * * * * [points]: Filtering points with unrepresentable outputs
1552123082.952 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 254 / 256
1552123082.953 * * * * [points]: Computing exacts for 4 points
1552123082.957 * * * * [points]: Setting MPFR precision to 64
1552123082.957 * * * * [points]: Setting MPFR precision to 320
1552123082.957 * * * * [points]: Filtering points with unrepresentable outputs
1552123082.958 * * * * [points]: Sampled 256 points with exact outputs
1552123082.958 * * * [progress]: [2/2] Setting up program.
1552123082.982 * [progress]: [Phase 2 of 3] Improving.
1552123082.982 * * * * [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))))>
1552123082.982 * [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)))
1552123082.982 * * [simplify]: iters left: 6 (18 enodes)
1552123082.987 * * [simplify]: iters left: 5 (47 enodes)
1552123082.996 * * [simplify]: iters left: 4 (121 enodes)
1552123083.049 * * [simplify]: iters left: 3 (337 enodes)
1552123083.218 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123083.218 * * [simplify]: Extracting #1: cost 34 inf + 0
1552123083.219 * * [simplify]: Extracting #2: cost 204 inf + 0
1552123083.225 * * [simplify]: Extracting #3: cost 326 inf + 1286
1552123083.226 * * [simplify]: Extracting #4: cost 362 inf + 6740
1552123083.228 * * [simplify]: Extracting #5: cost 377 inf + 18286
1552123083.232 * * [simplify]: Extracting #6: cost 358 inf + 29885
1552123083.244 * * [simplify]: Extracting #7: cost 252 inf + 186163
1552123083.292 * * [simplify]: Extracting #8: cost 47 inf + 586692
1552123083.355 * * [simplify]: Extracting #9: cost 0 inf + 696950
1552123083.414 * * [simplify]: Extracting #10: cost 0 inf + 694590
1552123083.485 * [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))))))
1552123083.485 * [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)))))))
1552123083.524 * * [progress]: iteration 1 / 4
1552123083.524 * * * [progress]: picking best candidate
1552123083.554 * * * * [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))))>
1552123083.554 * * * [progress]: localizing error
1552123083.935 * * * [progress]: generating rewritten candidates
1552123083.935 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1552123083.938 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2)
1552123083.939 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1)
1552123083.941 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
1552123083.942 * * * [progress]: generating series expansions
1552123083.942 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1552123083.942 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2)
1552123083.942 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1)
1552123083.942 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
1552123083.942 * * * [progress]: simplifying candidates
1552123083.942 * * * * [progress]: [ 1 / 12 ] 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))))>
1552123083.942 * [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))
1552123083.942 * * [simplify]: iters left: 6 (17 enodes)
1552123083.947 * * [simplify]: iters left: 5 (41 enodes)
1552123083.954 * * [simplify]: iters left: 4 (95 enodes)
1552123083.980 * * [simplify]: iters left: 3 (269 enodes)
1552123084.081 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123084.082 * * [simplify]: Extracting #1: cost 46 inf + 0
1552123084.082 * * [simplify]: Extracting #2: cost 206 inf + 1
1552123084.084 * * [simplify]: Extracting #3: cost 258 inf + 648
1552123084.086 * * [simplify]: Extracting #4: cost 307 inf + 7710
1552123084.088 * * [simplify]: Extracting #5: cost 293 inf + 16045
1552123084.091 * * [simplify]: Extracting #6: cost 277 inf + 25875
1552123084.100 * * [simplify]: Extracting #7: cost 149 inf + 188177
1552123084.130 * * [simplify]: Extracting #8: cost 7 inf + 469313
1552123084.161 * * [simplify]: Extracting #9: cost 0 inf + 490709
1552123084.190 * [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))))
1552123084.190 * [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))))))
1552123084.190 * * * * [progress]: [ 2 / 12 ] 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))))))>
1552123084.190 * [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))))
1552123084.190 * * [simplify]: iters left: 6 (17 enodes)
1552123084.194 * * [simplify]: iters left: 5 (41 enodes)
1552123084.204 * * [simplify]: iters left: 4 (101 enodes)
1552123084.226 * * [simplify]: iters left: 3 (291 enodes)
1552123084.315 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123084.315 * * [simplify]: Extracting #1: cost 48 inf + 0
1552123084.316 * * [simplify]: Extracting #2: cost 208 inf + 1
1552123084.317 * * [simplify]: Extracting #3: cost 275 inf + 1610
1552123084.318 * * [simplify]: Extracting #4: cost 319 inf + 9953
1552123084.320 * * [simplify]: Extracting #5: cost 302 inf + 20857
1552123084.322 * * [simplify]: Extracting #6: cost 279 inf + 36752
1552123084.330 * * [simplify]: Extracting #7: cost 152 inf + 206471
1552123084.353 * * [simplify]: Extracting #8: cost 9 inf + 486275
1552123084.381 * * [simplify]: Extracting #9: cost 0 inf + 499918
1552123084.413 * [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))))
1552123084.413 * [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))))))
1552123084.413 * * * * [progress]: [ 3 / 12 ] 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)))))>
1552123084.413 * [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)))
1552123084.414 * * [simplify]: iters left: 6 (21 enodes)
1552123084.422 * * [simplify]: iters left: 5 (59 enodes)
1552123084.438 * * [simplify]: iters left: 4 (176 enodes)
1552123084.518 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123084.518 * * [simplify]: Extracting #1: cost 40 inf + 0
1552123084.519 * * [simplify]: Extracting #2: cost 160 inf + 0
1552123084.520 * * [simplify]: Extracting #3: cost 260 inf + 1607
1552123084.521 * * [simplify]: Extracting #4: cost 294 inf + 4494
1552123084.524 * * [simplify]: Extracting #5: cost 292 inf + 16036
1552123084.528 * * [simplify]: Extracting #6: cost 224 inf + 77978
1552123084.550 * * [simplify]: Extracting #7: cost 53 inf + 358389
1552123084.576 * * [simplify]: Extracting #8: cost 4 inf + 462823
1552123084.605 * * [simplify]: Extracting #9: cost 0 inf + 474767
1552123084.636 * [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)))
1552123084.636 * [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)))))
1552123084.636 * * * * [progress]: [ 4 / 12 ] 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)))))>
1552123084.636 * * * * [progress]: [ 5 / 12 ] 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))))>
1552123084.637 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552123084.637 * * [simplify]: iters left: 4 (9 enodes)
1552123084.641 * * [simplify]: iters left: 3 (13 enodes)
1552123084.644 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123084.644 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123084.644 * * [simplify]: Extracting #2: cost 5 inf + 0
1552123084.644 * * [simplify]: Extracting #3: cost 6 inf + 1
1552123084.644 * * [simplify]: Extracting #4: cost 7 inf + 2
1552123084.645 * * [simplify]: Extracting #5: cost 0 inf + 1813
1552123084.645 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552123084.645 * [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))))
1552123084.645 * * * * [progress]: [ 6 / 12 ] 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))))>
1552123084.645 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1552123084.645 * * [simplify]: iters left: 4 (9 enodes)
1552123084.649 * * [simplify]: iters left: 3 (13 enodes)
1552123084.652 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123084.652 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123084.652 * * [simplify]: Extracting #2: cost 5 inf + 0
1552123084.652 * * [simplify]: Extracting #3: cost 5 inf + 2
1552123084.652 * * [simplify]: Extracting #4: cost 7 inf + 2
1552123084.652 * * [simplify]: Extracting #5: cost 4 inf + 5
1552123084.653 * * [simplify]: Extracting #6: cost 0 inf + 1813
1552123084.653 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1552123084.653 * [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))))
1552123084.653 * * * * [progress]: [ 7 / 12 ] 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))))>
1552123084.653 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552123084.653 * * [simplify]: iters left: 3 (7 enodes)
1552123084.656 * * [simplify]: iters left: 2 (12 enodes)
1552123084.659 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123084.659 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123084.659 * * [simplify]: Extracting #2: cost 4 inf + 1
1552123084.659 * * [simplify]: Extracting #3: cost 6 inf + 1
1552123084.659 * * [simplify]: Extracting #4: cost 0 inf + 930
1552123084.659 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552123084.660 * [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))))
1552123084.660 * * * * [progress]: [ 8 / 12 ] 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))))>
1552123084.660 * * * * [progress]: [ 9 / 12 ] 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))))>
1552123084.660 * [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)))
1552123084.660 * * [simplify]: iters left: 6 (18 enodes)
1552123084.667 * * [simplify]: iters left: 5 (47 enodes)
1552123084.681 * * [simplify]: iters left: 4 (121 enodes)
1552123084.722 * * [simplify]: iters left: 3 (337 enodes)
1552123084.874 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123084.874 * * [simplify]: Extracting #1: cost 34 inf + 0
1552123084.875 * * [simplify]: Extracting #2: cost 204 inf + 0
1552123084.876 * * [simplify]: Extracting #3: cost 326 inf + 1286
1552123084.879 * * [simplify]: Extracting #4: cost 362 inf + 6740
1552123084.881 * * [simplify]: Extracting #5: cost 377 inf + 18286
1552123084.884 * * [simplify]: Extracting #6: cost 358 inf + 29885
1552123084.894 * * [simplify]: Extracting #7: cost 252 inf + 186163
1552123084.932 * * [simplify]: Extracting #8: cost 47 inf + 586692
1552123084.983 * * [simplify]: Extracting #9: cost 0 inf + 696950
1552123085.027 * * [simplify]: Extracting #10: cost 0 inf + 694590
1552123085.077 * [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))))))
1552123085.077 * [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)))))))
1552123085.077 * * * * [progress]: [ 10 / 12 ] 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))))>
1552123085.077 * [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)))
1552123085.077 * * [simplify]: iters left: 6 (18 enodes)
1552123085.084 * * [simplify]: iters left: 5 (47 enodes)
1552123085.097 * * [simplify]: iters left: 4 (121 enodes)
1552123085.128 * * [simplify]: iters left: 3 (337 enodes)
1552123085.262 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123085.262 * * [simplify]: Extracting #1: cost 34 inf + 0
1552123085.263 * * [simplify]: Extracting #2: cost 204 inf + 0
1552123085.264 * * [simplify]: Extracting #3: cost 326 inf + 1286
1552123085.265 * * [simplify]: Extracting #4: cost 362 inf + 6740
1552123085.267 * * [simplify]: Extracting #5: cost 377 inf + 18286
1552123085.269 * * [simplify]: Extracting #6: cost 358 inf + 29885
1552123085.276 * * [simplify]: Extracting #7: cost 252 inf + 186163
1552123085.311 * * [simplify]: Extracting #8: cost 47 inf + 586692
1552123085.362 * * [simplify]: Extracting #9: cost 0 inf + 696950
1552123085.416 * * [simplify]: Extracting #10: cost 0 inf + 694590
1552123085.479 * [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))))))
1552123085.479 * [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)))))))
1552123085.479 * * * * [progress]: [ 11 / 12 ] 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))))>
1552123085.480 * [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)))
1552123085.480 * * [simplify]: iters left: 6 (18 enodes)
1552123085.485 * * [simplify]: iters left: 5 (47 enodes)
1552123085.494 * * [simplify]: iters left: 4 (121 enodes)
1552123085.534 * * [simplify]: iters left: 3 (337 enodes)
1552123085.711 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123085.711 * * [simplify]: Extracting #1: cost 34 inf + 0
1552123085.712 * * [simplify]: Extracting #2: cost 204 inf + 0
1552123085.714 * * [simplify]: Extracting #3: cost 326 inf + 1286
1552123085.716 * * [simplify]: Extracting #4: cost 362 inf + 6740
1552123085.719 * * [simplify]: Extracting #5: cost 377 inf + 18286
1552123085.722 * * [simplify]: Extracting #6: cost 358 inf + 29885
1552123085.733 * * [simplify]: Extracting #7: cost 252 inf + 186163
1552123085.774 * * [simplify]: Extracting #8: cost 47 inf + 586692
1552123085.821 * * [simplify]: Extracting #9: cost 0 inf + 696950
1552123085.873 * * [simplify]: Extracting #10: cost 0 inf + 694590
1552123085.926 * [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))))))
1552123085.926 * [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)))))))
1552123085.926 * * * * [progress]: [ 12 / 12 ] 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))))>
1552123085.926 * [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)))
1552123085.926 * * [simplify]: iters left: 6 (18 enodes)
1552123085.934 * * [simplify]: iters left: 5 (47 enodes)
1552123085.952 * * [simplify]: iters left: 4 (121 enodes)
1552123085.995 * * [simplify]: iters left: 3 (337 enodes)
1552123086.160 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123086.161 * * [simplify]: Extracting #1: cost 34 inf + 0
1552123086.161 * * [simplify]: Extracting #2: cost 204 inf + 0
1552123086.163 * * [simplify]: Extracting #3: cost 326 inf + 1286
1552123086.165 * * [simplify]: Extracting #4: cost 362 inf + 6740
1552123086.168 * * [simplify]: Extracting #5: cost 377 inf + 18286
1552123086.171 * * [simplify]: Extracting #6: cost 358 inf + 29885
1552123086.182 * * [simplify]: Extracting #7: cost 252 inf + 186163
1552123086.222 * * [simplify]: Extracting #8: cost 47 inf + 586692
1552123086.275 * * [simplify]: Extracting #9: cost 0 inf + 696950
1552123086.329 * * [simplify]: Extracting #10: cost 0 inf + 694590
1552123086.383 * [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))))))
1552123086.383 * [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)))))))
1552123086.383 * * * [progress]: adding candidates to table
1552123087.088 * * [progress]: iteration 2 / 4
1552123087.088 * * * [progress]: picking best candidate
1552123087.191 * * * * [pick]: Picked  #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552123087.191 * * * [progress]: localizing error
1552123087.298 * * * [progress]: generating rewritten candidates
1552123087.298 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1552123087.302 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1552123087.306 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2)
1552123087.306 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2 1)
1552123087.309 * * * [progress]: generating series expansions
1552123087.309 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1552123087.309 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1552123087.309 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2)
1552123087.309 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2 1)
1552123087.309 * * * [progress]: simplifying candidates
1552123087.309 * * * * [progress]: [ 1 / 20 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552123087.309 * [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))))
1552123087.309 * * [simplify]: iters left: 6 (18 enodes)
1552123087.315 * * [simplify]: iters left: 5 (41 enodes)
1552123087.325 * * [simplify]: iters left: 4 (83 enodes)
1552123087.352 * * [simplify]: iters left: 3 (164 enodes)
1552123087.409 * * [simplify]: iters left: 2 (496 enodes)
1552123088.086 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123088.086 * * [simplify]: Extracting #1: cost 21 inf + 0
1552123088.086 * * [simplify]: Extracting #2: cost 23 inf + 1
1552123088.086 * * [simplify]: Extracting #3: cost 121 inf + 3
1552123088.088 * * [simplify]: Extracting #4: cost 477 inf + 325
1552123088.093 * * [simplify]: Extracting #5: cost 788 inf + 4871
1552123088.108 * * [simplify]: Extracting #6: cost 663 inf + 189244
1552123088.174 * * [simplify]: Extracting #7: cost 195 inf + 927268
1552123088.272 * * [simplify]: Extracting #8: cost 10 inf + 1303684
1552123088.363 * * [simplify]: Extracting #9: cost 0 inf + 1332318
1552123088.447 * [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)))))
1552123088.447 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
1552123088.447 * * * * [progress]: [ 2 / 20 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))))>
1552123088.447 * [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))
1552123088.447 * * [simplify]: iters left: 6 (18 enodes)
1552123088.452 * * [simplify]: iters left: 5 (41 enodes)
1552123088.459 * * [simplify]: iters left: 4 (83 enodes)
1552123088.473 * * [simplify]: iters left: 3 (164 enodes)
1552123088.515 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123088.515 * * [simplify]: Extracting #1: cost 16 inf + 0
1552123088.515 * * [simplify]: Extracting #2: cost 18 inf + 1
1552123088.515 * * [simplify]: Extracting #3: cost 41 inf + 1
1552123088.515 * * [simplify]: Extracting #4: cost 129 inf + 3
1552123088.516 * * [simplify]: Extracting #5: cost 159 inf + 651
1552123088.517 * * [simplify]: Extracting #6: cost 163 inf + 16579
1552123088.521 * * [simplify]: Extracting #7: cost 66 inf + 116878
1552123088.530 * * [simplify]: Extracting #8: cost 4 inf + 214206
1552123088.540 * * [simplify]: Extracting #9: cost 0 inf + 221579
1552123088.551 * [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))))
1552123088.551 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
1552123088.551 * * * * [progress]: [ 3 / 20 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552123088.551 * [simplify]: Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552123088.551 * * [simplify]: iters left: 6 (14 enodes)
1552123088.555 * * [simplify]: iters left: 5 (30 enodes)
1552123088.560 * * [simplify]: iters left: 4 (56 enodes)
1552123088.571 * * [simplify]: iters left: 3 (122 enodes)
1552123088.611 * * [simplify]: iters left: 2 (499 enodes)
1552123088.996 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123088.996 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123088.996 * * [simplify]: Extracting #2: cost 5 inf + 0
1552123088.997 * * [simplify]: Extracting #3: cost 93 inf + 1
1552123088.998 * * [simplify]: Extracting #4: cost 451 inf + 2
1552123089.003 * * [simplify]: Extracting #5: cost 850 inf + 2252
1552123089.010 * * [simplify]: Extracting #6: cost 904 inf + 7387
1552123089.020 * * [simplify]: Extracting #7: cost 835 inf + 65272
1552123089.043 * * [simplify]: Extracting #8: cost 579 inf + 361623
1552123089.114 * * [simplify]: Extracting #9: cost 181 inf + 1076854
1552123089.205 * * [simplify]: Extracting #10: cost 6 inf + 1471563
1552123089.284 * * [simplify]: Extracting #11: cost 0 inf + 1485305
1552123089.366 * * [simplify]: Extracting #12: cost 0 inf + 1484905
1552123089.458 * [simplify]: Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552123089.458 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552123089.459 * * * * [progress]: [ 4 / 20 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552123089.459 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552123089.459 * * [simplify]: iters left: 3 (7 enodes)
1552123089.463 * * [simplify]: iters left: 2 (12 enodes)
1552123089.466 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123089.466 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123089.466 * * [simplify]: Extracting #2: cost 4 inf + 1
1552123089.466 * * [simplify]: Extracting #3: cost 6 inf + 1
1552123089.466 * * [simplify]: Extracting #4: cost 0 inf + 930
1552123089.466 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552123089.466 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552123089.466 * * * * [progress]: [ 5 / 20 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
1552123089.466 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552123089.467 * * [simplify]: iters left: 4 (12 enodes)
1552123089.470 * * [simplify]: iters left: 3 (32 enodes)
1552123089.477 * * [simplify]: iters left: 2 (72 enodes)
1552123089.493 * * [simplify]: iters left: 1 (187 enodes)
1552123089.547 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123089.547 * * [simplify]: Extracting #1: cost 23 inf + 0
1552123089.547 * * [simplify]: Extracting #2: cost 127 inf + 1
1552123089.548 * * [simplify]: Extracting #3: cost 199 inf + 1612
1552123089.549 * * [simplify]: Extracting #4: cost 224 inf + 11556
1552123089.550 * * [simplify]: Extracting #5: cost 214 inf + 19246
1552123089.551 * * [simplify]: Extracting #6: cost 205 inf + 24740
1552123089.556 * * [simplify]: Extracting #7: cost 101 inf + 143111
1552123089.570 * * [simplify]: Extracting #8: cost 13 inf + 275987
1552123089.593 * * [simplify]: Extracting #9: cost 0 inf + 294918
1552123089.616 * [simplify]: Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552123089.616 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
1552123089.616 * * * * [progress]: [ 6 / 20 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1552123089.616 * * * * [progress]: [ 7 / 20 ] 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))))>
1552123089.617 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552123089.617 * * [simplify]: iters left: 3 (7 enodes)
1552123089.620 * * [simplify]: iters left: 2 (18 enodes)
1552123089.625 * * [simplify]: iters left: 1 (32 enodes)
1552123089.639 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123089.639 * * [simplify]: Extracting #1: cost 9 inf + 0
1552123089.639 * * [simplify]: Extracting #2: cost 25 inf + 1
1552123089.640 * * [simplify]: Extracting #3: cost 34 inf + 322
1552123089.640 * * [simplify]: Extracting #4: cost 27 inf + 3209
1552123089.640 * * [simplify]: Extracting #5: cost 22 inf + 4898
1552123089.641 * * [simplify]: Extracting #6: cost 11 inf + 15047
1552123089.643 * * [simplify]: Extracting #7: cost 0 inf + 29315
1552123089.645 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552123089.645 * [simplify]: Simplified (2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
1552123089.646 * [simplify]: Simplifying (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))
1552123089.646 * * [simplify]: iters left: 6 (17 enodes)
1552123089.653 * * [simplify]: iters left: 5 (39 enodes)
1552123089.665 * * [simplify]: iters left: 4 (69 enodes)
1552123089.687 * * [simplify]: iters left: 3 (135 enodes)
1552123089.727 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123089.727 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123089.727 * * [simplify]: Extracting #2: cost 9 inf + 0
1552123089.727 * * [simplify]: Extracting #3: cost 8 inf + 2
1552123089.727 * * [simplify]: Extracting #4: cost 24 inf + 325
1552123089.728 * * [simplify]: Extracting #5: cost 114 inf + 325
1552123089.730 * * [simplify]: Extracting #6: cost 151 inf + 649
1552123089.731 * * [simplify]: Extracting #7: cost 179 inf + 5780
1552123089.731 * * [simplify]: Extracting #8: cost 171 inf + 11228
1552123089.732 * * [simplify]: Extracting #9: cost 155 inf + 20299
1552123089.737 * * [simplify]: Extracting #10: cost 45 inf + 156646
1552123089.746 * * [simplify]: Extracting #11: cost 3 inf + 219582
1552123089.755 * * [simplify]: Extracting #12: cost 0 inf + 221713
1552123089.765 * [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))))))))
1552123089.765 * [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))))))))))
1552123089.765 * * * * [progress]: [ 8 / 20 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552123089.765 * [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))))
1552123089.765 * * [simplify]: iters left: 6 (18 enodes)
1552123089.770 * * [simplify]: iters left: 5 (41 enodes)
1552123089.777 * * [simplify]: iters left: 4 (83 enodes)
1552123089.794 * * [simplify]: iters left: 3 (164 enodes)
1552123089.857 * * [simplify]: iters left: 2 (496 enodes)
1552123090.173 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123090.174 * * [simplify]: Extracting #1: cost 21 inf + 0
1552123090.174 * * [simplify]: Extracting #2: cost 23 inf + 1
1552123090.174 * * [simplify]: Extracting #3: cost 121 inf + 3
1552123090.175 * * [simplify]: Extracting #4: cost 477 inf + 325
1552123090.178 * * [simplify]: Extracting #5: cost 788 inf + 4871
1552123090.188 * * [simplify]: Extracting #6: cost 663 inf + 189244
1552123090.245 * * [simplify]: Extracting #7: cost 195 inf + 927268
1552123090.335 * * [simplify]: Extracting #8: cost 10 inf + 1303684
1552123090.445 * * [simplify]: Extracting #9: cost 0 inf + 1332318
1552123090.550 * [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)))))
1552123090.550 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552123090.550 * * * * [progress]: [ 9 / 20 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1552123090.550 * [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))
1552123090.551 * * [simplify]: iters left: 6 (18 enodes)
1552123090.557 * * [simplify]: iters left: 5 (41 enodes)
1552123090.567 * * [simplify]: iters left: 4 (83 enodes)
1552123090.583 * * [simplify]: iters left: 3 (164 enodes)
1552123090.638 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123090.638 * * [simplify]: Extracting #1: cost 16 inf + 0
1552123090.638 * * [simplify]: Extracting #2: cost 18 inf + 1
1552123090.638 * * [simplify]: Extracting #3: cost 41 inf + 1
1552123090.638 * * [simplify]: Extracting #4: cost 129 inf + 3
1552123090.639 * * [simplify]: Extracting #5: cost 159 inf + 651
1552123090.640 * * [simplify]: Extracting #6: cost 163 inf + 16579
1552123090.644 * * [simplify]: Extracting #7: cost 66 inf + 116878
1552123090.654 * * [simplify]: Extracting #8: cost 4 inf + 214206
1552123090.665 * * [simplify]: Extracting #9: cost 0 inf + 221579
1552123090.675 * [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))))
1552123090.675 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
1552123090.676 * * * * [progress]: [ 10 / 20 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552123090.676 * [simplify]: Simplifying (*.p16 (real->posit16 1) a)
1552123090.676 * * [simplify]: iters left: 2 (4 enodes)
1552123090.677 * * [simplify]: iters left: 1 (10 enodes)
1552123090.679 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123090.679 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123090.679 * * [simplify]: Extracting #2: cost 3 inf + 1
1552123090.679 * * [simplify]: Extracting #3: cost 2 inf + 2
1552123090.679 * * [simplify]: Extracting #4: cost 0 inf + 325
1552123090.679 * [simplify]: Simplified to (*.p16 a (real->posit16 1))
1552123090.679 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552123090.679 * * * * [progress]: [ 11 / 20 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552123090.679 * [simplify]: Simplifying (*.p16 a (real->posit16 1))
1552123090.679 * * [simplify]: iters left: 2 (4 enodes)
1552123090.680 * * [simplify]: iters left: 1 (10 enodes)
1552123090.682 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123090.682 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123090.682 * * [simplify]: Extracting #2: cost 3 inf + 1
1552123090.682 * * [simplify]: Extracting #3: cost 0 inf + 325
1552123090.682 * [simplify]: Simplified to (*.p16 a (real->posit16 1))
1552123090.682 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552123090.682 * * * * [progress]: [ 12 / 20 ] 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))))))>
1552123090.682 * * * * [progress]: [ 13 / 20 ] 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 (*.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))))))>
1552123090.683 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552123090.683 * * [simplify]: iters left: 4 (9 enodes)
1552123090.685 * * [simplify]: iters left: 3 (13 enodes)
1552123090.687 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123090.687 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123090.687 * * [simplify]: Extracting #2: cost 5 inf + 0
1552123090.687 * * [simplify]: Extracting #3: cost 6 inf + 1
1552123090.687 * * [simplify]: Extracting #4: cost 7 inf + 2
1552123090.687 * * [simplify]: Extracting #5: cost 0 inf + 1813
1552123090.687 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552123090.687 * [simplify]: Simplified (2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552123090.687 * * * * [progress]: [ 14 / 20 ] 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 (*.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))))))>
1552123090.688 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1552123090.688 * * [simplify]: iters left: 4 (9 enodes)
1552123090.690 * * [simplify]: iters left: 3 (13 enodes)
1552123090.692 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123090.692 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123090.692 * * [simplify]: Extracting #2: cost 5 inf + 0
1552123090.692 * * [simplify]: Extracting #3: cost 5 inf + 2
1552123090.692 * * [simplify]: Extracting #4: cost 7 inf + 2
1552123090.692 * * [simplify]: Extracting #5: cost 4 inf + 5
1552123090.693 * * [simplify]: Extracting #6: cost 0 inf + 1813
1552123090.693 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1552123090.693 * [simplify]: Simplified (2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552123090.693 * * * * [progress]: [ 15 / 20 ] 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 (*.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))))))>
1552123090.693 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552123090.693 * * [simplify]: iters left: 3 (7 enodes)
1552123090.695 * * [simplify]: iters left: 2 (12 enodes)
1552123090.697 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123090.697 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123090.697 * * [simplify]: Extracting #2: cost 4 inf + 1
1552123090.697 * * [simplify]: Extracting #3: cost 6 inf + 1
1552123090.697 * * [simplify]: Extracting #4: cost 0 inf + 930
1552123090.697 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552123090.697 * [simplify]: Simplified (2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552123090.697 * * * * [progress]: [ 16 / 20 ] 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 (-.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))))))>
1552123090.697 * * * * [progress]: [ 17 / 20 ] 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))))))>
1552123090.697 * [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))))
1552123090.697 * * [simplify]: iters left: 6 (17 enodes)
1552123090.701 * * [simplify]: iters left: 5 (41 enodes)
1552123090.708 * * [simplify]: iters left: 4 (101 enodes)
1552123090.734 * * [simplify]: iters left: 3 (291 enodes)
1552123090.825 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123090.826 * * [simplify]: Extracting #1: cost 48 inf + 0
1552123090.826 * * [simplify]: Extracting #2: cost 208 inf + 1
1552123090.828 * * [simplify]: Extracting #3: cost 275 inf + 1610
1552123090.830 * * [simplify]: Extracting #4: cost 319 inf + 9953
1552123090.832 * * [simplify]: Extracting #5: cost 302 inf + 20857
1552123090.835 * * [simplify]: Extracting #6: cost 279 inf + 36752
1552123090.847 * * [simplify]: Extracting #7: cost 152 inf + 206471
1552123090.881 * * [simplify]: Extracting #8: cost 9 inf + 486275
1552123090.923 * * [simplify]: Extracting #9: cost 0 inf + 499918
1552123090.958 * [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))))
1552123090.958 * [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))))))
1552123090.958 * * * * [progress]: [ 18 / 20 ] 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))))))>
1552123090.959 * [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))))
1552123090.959 * * [simplify]: iters left: 6 (17 enodes)
1552123090.965 * * [simplify]: iters left: 5 (41 enodes)
1552123090.976 * * [simplify]: iters left: 4 (101 enodes)
1552123091.004 * * [simplify]: iters left: 3 (291 enodes)
1552123091.112 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123091.112 * * [simplify]: Extracting #1: cost 48 inf + 0
1552123091.113 * * [simplify]: Extracting #2: cost 208 inf + 1
1552123091.114 * * [simplify]: Extracting #3: cost 275 inf + 1610
1552123091.116 * * [simplify]: Extracting #4: cost 319 inf + 9953
1552123091.119 * * [simplify]: Extracting #5: cost 302 inf + 20857
1552123091.122 * * [simplify]: Extracting #6: cost 279 inf + 36752
1552123091.133 * * [simplify]: Extracting #7: cost 152 inf + 206471
1552123091.167 * * [simplify]: Extracting #8: cost 9 inf + 486275
1552123091.206 * * [simplify]: Extracting #9: cost 0 inf + 499918
1552123091.236 * [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))))
1552123091.236 * [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))))))
1552123091.236 * * * * [progress]: [ 19 / 20 ] 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))))))>
1552123091.236 * [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))))
1552123091.236 * * [simplify]: iters left: 6 (17 enodes)
1552123091.241 * * [simplify]: iters left: 5 (41 enodes)
1552123091.248 * * [simplify]: iters left: 4 (101 enodes)
1552123091.271 * * [simplify]: iters left: 3 (291 enodes)
1552123091.364 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123091.364 * * [simplify]: Extracting #1: cost 48 inf + 0
1552123091.365 * * [simplify]: Extracting #2: cost 208 inf + 1
1552123091.366 * * [simplify]: Extracting #3: cost 275 inf + 1610
1552123091.368 * * [simplify]: Extracting #4: cost 319 inf + 9953
1552123091.370 * * [simplify]: Extracting #5: cost 302 inf + 20857
1552123091.373 * * [simplify]: Extracting #6: cost 279 inf + 36752
1552123091.385 * * [simplify]: Extracting #7: cost 152 inf + 206471
1552123091.417 * * [simplify]: Extracting #8: cost 9 inf + 486275
1552123091.449 * * [simplify]: Extracting #9: cost 0 inf + 499918
1552123091.485 * [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))))
1552123091.485 * [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))))))
1552123091.486 * * * * [progress]: [ 20 / 20 ] 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))))))>
1552123091.486 * [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))))
1552123091.486 * * [simplify]: iters left: 6 (17 enodes)
1552123091.492 * * [simplify]: iters left: 5 (41 enodes)
1552123091.503 * * [simplify]: iters left: 4 (101 enodes)
1552123091.537 * * [simplify]: iters left: 3 (291 enodes)
1552123091.664 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123091.664 * * [simplify]: Extracting #1: cost 48 inf + 0
1552123091.665 * * [simplify]: Extracting #2: cost 208 inf + 1
1552123091.666 * * [simplify]: Extracting #3: cost 275 inf + 1610
1552123091.668 * * [simplify]: Extracting #4: cost 319 inf + 9953
1552123091.671 * * [simplify]: Extracting #5: cost 302 inf + 20857
1552123091.674 * * [simplify]: Extracting #6: cost 279 inf + 36752
1552123091.685 * * [simplify]: Extracting #7: cost 152 inf + 206471
1552123091.717 * * [simplify]: Extracting #8: cost 9 inf + 486275
1552123091.756 * * [simplify]: Extracting #9: cost 0 inf + 499918
1552123091.791 * [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))))
1552123091.791 * [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))))))
1552123091.791 * * * [progress]: adding candidates to table
1552123093.196 * * [progress]: iteration 3 / 4
1552123093.196 * * * [progress]: picking best candidate
1552123093.519 * * * * [pick]: Picked  #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552123093.519 * * * [progress]: localizing error
1552123093.716 * * * [progress]: generating rewritten candidates
1552123093.716 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1552123093.720 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1552123093.727 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2)
1552123093.727 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 1)
1552123093.731 * * * [progress]: generating series expansions
1552123093.731 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1552123093.731 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1552123093.731 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2)
1552123093.731 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 1)
1552123093.731 * * * [progress]: simplifying candidates
1552123093.731 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (+.p16 (*.p16 (*.p16 (/.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))))))))>
1552123093.731 * [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))))
1552123093.731 * * [simplify]: iters left: 6 (18 enodes)
1552123093.738 * * [simplify]: iters left: 5 (41 enodes)
1552123093.750 * * [simplify]: iters left: 4 (83 enodes)
1552123093.782 * * [simplify]: iters left: 3 (164 enodes)
1552123093.839 * * [simplify]: iters left: 2 (496 enodes)
1552123094.256 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123094.256 * * [simplify]: Extracting #1: cost 21 inf + 0
1552123094.256 * * [simplify]: Extracting #2: cost 23 inf + 1
1552123094.256 * * [simplify]: Extracting #3: cost 121 inf + 3
1552123094.257 * * [simplify]: Extracting #4: cost 477 inf + 325
1552123094.260 * * [simplify]: Extracting #5: cost 788 inf + 4871
1552123094.269 * * [simplify]: Extracting #6: cost 663 inf + 189244
1552123094.313 * * [simplify]: Extracting #7: cost 195 inf + 927268
1552123094.390 * * [simplify]: Extracting #8: cost 10 inf + 1303684
1552123094.479 * * [simplify]: Extracting #9: cost 0 inf + 1332318
1552123094.550 * [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)))))
1552123094.551 * [simplify]: Simplified (2 2 2 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (+.p16 (*.p16 (*.p16 (/.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)))))))))
1552123094.551 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (+.p16 (*.p16 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))))))>
1552123094.551 * [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))
1552123094.551 * * [simplify]: iters left: 6 (18 enodes)
1552123094.556 * * [simplify]: iters left: 5 (41 enodes)
1552123094.563 * * [simplify]: iters left: 4 (83 enodes)
1552123094.579 * * [simplify]: iters left: 3 (164 enodes)
1552123094.632 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123094.632 * * [simplify]: Extracting #1: cost 16 inf + 0
1552123094.632 * * [simplify]: Extracting #2: cost 18 inf + 1
1552123094.633 * * [simplify]: Extracting #3: cost 41 inf + 1
1552123094.633 * * [simplify]: Extracting #4: cost 129 inf + 3
1552123094.633 * * [simplify]: Extracting #5: cost 159 inf + 651
1552123094.634 * * [simplify]: Extracting #6: cost 163 inf + 16579
1552123094.638 * * [simplify]: Extracting #7: cost 66 inf + 116878
1552123094.647 * * [simplify]: Extracting #8: cost 4 inf + 214206
1552123094.658 * * [simplify]: Extracting #9: cost 0 inf + 221579
1552123094.669 * [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))))
1552123094.670 * [simplify]: Simplified (2 2 2 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (+.p16 (*.p16 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))))))))
1552123094.670 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (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))))))))>
1552123094.670 * [simplify]: Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552123094.670 * * [simplify]: iters left: 6 (14 enodes)
1552123094.674 * * [simplify]: iters left: 5 (30 enodes)
1552123094.680 * * [simplify]: iters left: 4 (56 enodes)
1552123094.691 * * [simplify]: iters left: 3 (122 enodes)
1552123094.727 * * [simplify]: iters left: 2 (499 enodes)
1552123095.278 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123095.278 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123095.279 * * [simplify]: Extracting #2: cost 5 inf + 0
1552123095.279 * * [simplify]: Extracting #3: cost 93 inf + 1
1552123095.280 * * [simplify]: Extracting #4: cost 451 inf + 2
1552123095.285 * * [simplify]: Extracting #5: cost 850 inf + 2252
1552123095.292 * * [simplify]: Extracting #6: cost 904 inf + 7387
1552123095.300 * * [simplify]: Extracting #7: cost 835 inf + 65272
1552123095.320 * * [simplify]: Extracting #8: cost 579 inf + 361623
1552123095.390 * * [simplify]: Extracting #9: cost 181 inf + 1076854
1552123095.493 * * [simplify]: Extracting #10: cost 6 inf + 1471563
1552123095.587 * * [simplify]: Extracting #11: cost 0 inf + 1485305
1552123095.676 * * [simplify]: Extracting #12: cost 0 inf + 1484905
1552123095.759 * [simplify]: Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552123095.759 * [simplify]: Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (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))))))))
1552123095.759 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (/.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)))))))>
1552123095.759 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552123095.759 * * [simplify]: iters left: 3 (7 enodes)
1552123095.762 * * [simplify]: iters left: 2 (12 enodes)
1552123095.764 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123095.765 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123095.765 * * [simplify]: Extracting #2: cost 4 inf + 1
1552123095.765 * * [simplify]: Extracting #3: cost 6 inf + 1
1552123095.765 * * [simplify]: Extracting #4: cost 0 inf + 930
1552123095.765 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552123095.765 * [simplify]: Simplified (2 2 2 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (/.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)))))))
1552123095.765 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (real->posit16 1) 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)))))))))>
1552123095.765 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552123095.766 * * [simplify]: iters left: 4 (12 enodes)
1552123095.770 * * [simplify]: iters left: 3 (32 enodes)
1552123095.778 * * [simplify]: iters left: 2 (72 enodes)
1552123095.800 * * [simplify]: iters left: 1 (187 enodes)
1552123095.876 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123095.877 * * [simplify]: Extracting #1: cost 23 inf + 0
1552123095.877 * * [simplify]: Extracting #2: cost 127 inf + 1
1552123095.877 * * [simplify]: Extracting #3: cost 199 inf + 1612
1552123095.878 * * [simplify]: Extracting #4: cost 224 inf + 11556
1552123095.879 * * [simplify]: Extracting #5: cost 214 inf + 19246
1552123095.881 * * [simplify]: Extracting #6: cost 205 inf + 24740
1552123095.885 * * [simplify]: Extracting #7: cost 101 inf + 143111
1552123095.898 * * [simplify]: Extracting #8: cost 13 inf + 275987
1552123095.913 * * [simplify]: Extracting #9: cost 0 inf + 294918
1552123095.928 * [simplify]: Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552123095.929 * [simplify]: Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 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)))))))))
1552123095.929 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 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)))))>
1552123095.929 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) 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)))))))>
1552123095.929 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552123095.929 * * [simplify]: iters left: 6 (18 enodes)
1552123095.933 * * [simplify]: iters left: 5 (41 enodes)
1552123095.940 * * [simplify]: iters left: 4 (83 enodes)
1552123095.955 * * [simplify]: iters left: 3 (164 enodes)
1552123096.004 * * [simplify]: iters left: 2 (496 enodes)
1552123096.359 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.359 * * [simplify]: Extracting #1: cost 21 inf + 0
1552123096.359 * * [simplify]: Extracting #2: cost 23 inf + 1
1552123096.359 * * [simplify]: Extracting #3: cost 121 inf + 3
1552123096.360 * * [simplify]: Extracting #4: cost 477 inf + 325
1552123096.363 * * [simplify]: Extracting #5: cost 788 inf + 4871
1552123096.373 * * [simplify]: Extracting #6: cost 663 inf + 189244
1552123096.431 * * [simplify]: Extracting #7: cost 195 inf + 927268
1552123096.528 * * [simplify]: Extracting #8: cost 10 inf + 1303684
1552123096.604 * * [simplify]: Extracting #9: cost 0 inf + 1332318
1552123096.678 * [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)))))
1552123096.678 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) 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))))))))
1552123096.678 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.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)))))>
1552123096.678 * [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))
1552123096.679 * * [simplify]: iters left: 6 (18 enodes)
1552123096.683 * * [simplify]: iters left: 5 (41 enodes)
1552123096.690 * * [simplify]: iters left: 4 (83 enodes)
1552123096.705 * * [simplify]: iters left: 3 (164 enodes)
1552123096.743 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.743 * * [simplify]: Extracting #1: cost 16 inf + 0
1552123096.743 * * [simplify]: Extracting #2: cost 18 inf + 1
1552123096.744 * * [simplify]: Extracting #3: cost 41 inf + 1
1552123096.744 * * [simplify]: Extracting #4: cost 129 inf + 3
1552123096.744 * * [simplify]: Extracting #5: cost 159 inf + 651
1552123096.745 * * [simplify]: Extracting #6: cost 163 inf + 16579
1552123096.749 * * [simplify]: Extracting #7: cost 66 inf + 116878
1552123096.758 * * [simplify]: Extracting #8: cost 4 inf + 214206
1552123096.769 * * [simplify]: Extracting #9: cost 0 inf + 221579
1552123096.780 * [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))))
1552123096.780 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.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)))))))
1552123096.780 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)))))>
1552123096.780 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.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)))))))>
1552123096.780 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552123096.780 * * [simplify]: iters left: 4 (9 enodes)
1552123096.783 * * [simplify]: iters left: 3 (13 enodes)
1552123096.785 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.785 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123096.785 * * [simplify]: Extracting #2: cost 5 inf + 0
1552123096.785 * * [simplify]: Extracting #3: cost 6 inf + 1
1552123096.785 * * [simplify]: Extracting #4: cost 7 inf + 2
1552123096.785 * * [simplify]: Extracting #5: cost 0 inf + 1813
1552123096.785 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552123096.785 * [simplify]: Simplified (2 2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.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)))))))
1552123096.786 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.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)))))))>
1552123096.786 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1552123096.786 * * [simplify]: iters left: 4 (9 enodes)
1552123096.788 * * [simplify]: iters left: 3 (13 enodes)
1552123096.790 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.790 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123096.790 * * [simplify]: Extracting #2: cost 5 inf + 0
1552123096.790 * * [simplify]: Extracting #3: cost 5 inf + 2
1552123096.790 * * [simplify]: Extracting #4: cost 7 inf + 2
1552123096.791 * * [simplify]: Extracting #5: cost 4 inf + 5
1552123096.791 * * [simplify]: Extracting #6: cost 0 inf + 1813
1552123096.791 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1552123096.791 * [simplify]: Simplified (2 2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.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)))))))
1552123096.791 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.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)))))))>
1552123096.791 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552123096.791 * * [simplify]: iters left: 3 (7 enodes)
1552123096.795 * * [simplify]: iters left: 2 (12 enodes)
1552123096.797 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.797 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123096.797 * * [simplify]: Extracting #2: cost 4 inf + 1
1552123096.797 * * [simplify]: Extracting #3: cost 6 inf + 1
1552123096.797 * * [simplify]: Extracting #4: cost 0 inf + 930
1552123096.797 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552123096.797 * [simplify]: Simplified (2 2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.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)))))))
1552123096.797 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.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)))))))>
1552123096.797 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552123096.798 * [simplify]: Simplifying (*.p16 a (real->posit16 1))
1552123096.798 * * [simplify]: iters left: 2 (4 enodes)
1552123096.799 * * [simplify]: iters left: 1 (10 enodes)
1552123096.800 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.800 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123096.800 * * [simplify]: Extracting #2: cost 3 inf + 1
1552123096.800 * * [simplify]: Extracting #3: cost 0 inf + 325
1552123096.800 * [simplify]: Simplified to (*.p16 a (real->posit16 1))
1552123096.801 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552123096.801 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552123096.801 * [simplify]: Simplifying (*.p16 a (real->posit16 1))
1552123096.801 * * [simplify]: iters left: 2 (4 enodes)
1552123096.802 * * [simplify]: iters left: 1 (10 enodes)
1552123096.803 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.804 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123096.804 * * [simplify]: Extracting #2: cost 3 inf + 1
1552123096.804 * * [simplify]: Extracting #3: cost 0 inf + 325
1552123096.804 * [simplify]: Simplified to (*.p16 a (real->posit16 1))
1552123096.804 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552123096.804 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552123096.804 * [simplify]: Simplifying (*.p16 a (real->posit16 1))
1552123096.804 * * [simplify]: iters left: 2 (4 enodes)
1552123096.805 * * [simplify]: iters left: 1 (10 enodes)
1552123096.807 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.807 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123096.807 * * [simplify]: Extracting #2: cost 3 inf + 1
1552123096.807 * * [simplify]: Extracting #3: cost 0 inf + 325
1552123096.807 * [simplify]: Simplified to (*.p16 a (real->posit16 1))
1552123096.807 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552123096.807 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552123096.807 * [simplify]: Simplifying (*.p16 a (real->posit16 1))
1552123096.807 * * [simplify]: iters left: 2 (4 enodes)
1552123096.808 * * [simplify]: iters left: 1 (10 enodes)
1552123096.810 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123096.810 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123096.810 * * [simplify]: Extracting #2: cost 3 inf + 1
1552123096.810 * * [simplify]: Extracting #3: cost 0 inf + 325
1552123096.810 * [simplify]: Simplified to (*.p16 a (real->posit16 1))
1552123096.810 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552123096.810 * * * [progress]: adding candidates to table
1552123098.042 * * [progress]: iteration 4 / 4
1552123098.042 * * * [progress]: picking best candidate
1552123098.340 * * * * [pick]: Picked  #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (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))))))))>
1552123098.340 * * * [progress]: localizing error
1552123098.480 * * * [progress]: generating rewritten candidates
1552123098.480 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1552123098.485 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1552123098.491 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2)
1552123098.492 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2)
1552123098.494 * * * [progress]: generating series expansions
1552123098.494 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1552123098.494 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1552123098.494 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2)
1552123098.494 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2)
1552123098.494 * * * [progress]: simplifying candidates
1552123098.494 * * * * [progress]: [ 1 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 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)))))))))>
1552123098.494 * [simplify]: Simplifying (*.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)))))
1552123098.494 * * [simplify]: iters left: 6 (18 enodes)
1552123098.499 * * [simplify]: iters left: 5 (41 enodes)
1552123098.506 * * [simplify]: iters left: 4 (82 enodes)
1552123098.521 * * [simplify]: iters left: 3 (164 enodes)
1552123098.579 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123098.579 * * [simplify]: Extracting #1: cost 17 inf + 0
1552123098.579 * * [simplify]: Extracting #2: cost 19 inf + 1
1552123098.579 * * [simplify]: Extracting #3: cost 40 inf + 2
1552123098.580 * * [simplify]: Extracting #4: cost 129 inf + 3
1552123098.580 * * [simplify]: Extracting #5: cost 156 inf + 651
1552123098.582 * * [simplify]: Extracting #6: cost 166 inf + 13810
1552123098.587 * * [simplify]: Extracting #7: cost 72 inf + 114309
1552123098.600 * * [simplify]: Extracting #8: cost 7 inf + 206554
1552123098.615 * * [simplify]: Extracting #9: cost 0 inf + 220420
1552123098.630 * [simplify]: Simplified to (*.p16 (*.p16 rand (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)))))))
1552123098.630 * [simplify]: Simplified (2 2 2 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand a)) (*.p16 (*.p16 rand (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)))))))))))
1552123098.630 * * * * [progress]: [ 2 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 a rand)) (*.p16 (/.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))) rand))))))>
1552123098.630 * [simplify]: Simplifying (*.p16 (/.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))) rand))
1552123098.630 * * [simplify]: iters left: 6 (18 enodes)
1552123098.636 * * [simplify]: iters left: 5 (41 enodes)
1552123098.649 * * [simplify]: iters left: 4 (82 enodes)
1552123098.663 * * [simplify]: iters left: 3 (164 enodes)
1552123098.718 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123098.719 * * [simplify]: Extracting #1: cost 17 inf + 0
1552123098.719 * * [simplify]: Extracting #2: cost 19 inf + 1
1552123098.719 * * [simplify]: Extracting #3: cost 40 inf + 2
1552123098.719 * * [simplify]: Extracting #4: cost 128 inf + 325
1552123098.720 * * [simplify]: Extracting #5: cost 156 inf + 651
1552123098.721 * * [simplify]: Extracting #6: cost 167 inf + 12687
1552123098.726 * * [simplify]: Extracting #7: cost 69 inf + 112594
1552123098.741 * * [simplify]: Extracting #8: cost 5 inf + 209720
1552123098.751 * * [simplify]: Extracting #9: cost 0 inf + 220499
1552123098.761 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552123098.761 * [simplify]: Simplified (2 2 2 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 a rand)) (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))))
1552123098.762 * * * * [progress]: [ 3 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (+.p16 (*.p16 (*.p16 rand 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 (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)))))))))))>
1552123098.762 * [simplify]: Simplifying (*.p16 (*.p16 rand (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)))))))
1552123098.762 * * [simplify]: iters left: 6 (18 enodes)
1552123098.766 * * [simplify]: iters left: 5 (41 enodes)
1552123098.773 * * [simplify]: iters left: 4 (82 enodes)
1552123098.793 * * [simplify]: iters left: 3 (162 enodes)
1552123098.855 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123098.855 * * [simplify]: Extracting #1: cost 19 inf + 0
1552123098.855 * * [simplify]: Extracting #2: cost 24 inf + 1
1552123098.855 * * [simplify]: Extracting #3: cost 44 inf + 3
1552123098.856 * * [simplify]: Extracting #4: cost 133 inf + 325
1552123098.856 * * [simplify]: Extracting #5: cost 158 inf + 974
1552123098.857 * * [simplify]: Extracting #6: cost 167 inf + 18949
1552123098.861 * * [simplify]: Extracting #7: cost 68 inf + 125778
1552123098.871 * * [simplify]: Extracting #8: cost 7 inf + 230705
1552123098.881 * * [simplify]: Extracting #9: cost 1 inf + 241164
1552123098.897 * * [simplify]: Extracting #10: cost 0 inf + 244247
1552123098.915 * [simplify]: Simplified to (/.p16 (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552123098.915 * [simplify]: Simplified (2 2 2 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (+.p16 (*.p16 (*.p16 rand 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))) (real->posit16 1))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))))
1552123098.915 * * * * [progress]: [ 4 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (+.p16 (*.p16 (*.p16 a rand) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))))>
1552123098.916 * [simplify]: Simplifying (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552123098.916 * * [simplify]: iters left: 6 (18 enodes)
1552123098.922 * * [simplify]: iters left: 5 (41 enodes)
1552123098.931 * * [simplify]: iters left: 4 (82 enodes)
1552123098.952 * * [simplify]: iters left: 3 (162 enodes)
1552123099.006 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123099.006 * * [simplify]: Extracting #1: cost 19 inf + 0
1552123099.006 * * [simplify]: Extracting #2: cost 24 inf + 1
1552123099.006 * * [simplify]: Extracting #3: cost 44 inf + 3
1552123099.007 * * [simplify]: Extracting #4: cost 133 inf + 325
1552123099.007 * * [simplify]: Extracting #5: cost 158 inf + 1296
1552123099.009 * * [simplify]: Extracting #6: cost 157 inf + 33256
1552123099.019 * * [simplify]: Extracting #7: cost 43 inf + 176089
1552123099.032 * * [simplify]: Extracting #8: cost 1 inf + 243168
1552123099.048 * * [simplify]: Extracting #9: cost 0 inf + 245532
1552123099.064 * [simplify]: Simplified to (/.p16 (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552123099.064 * [simplify]: Simplified (2 2 2 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (+.p16 (*.p16 (*.p16 a rand) (/.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))) (real->posit16 1))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))))
1552123099.064 * * * * [progress]: [ 5 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552123099.064 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552123099.065 * * [simplify]: iters left: 3 (7 enodes)
1552123099.068 * * [simplify]: iters left: 2 (18 enodes)
1552123099.072 * * [simplify]: iters left: 1 (32 enodes)
1552123099.082 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123099.082 * * [simplify]: Extracting #1: cost 9 inf + 0
1552123099.082 * * [simplify]: Extracting #2: cost 25 inf + 1
1552123099.082 * * [simplify]: Extracting #3: cost 34 inf + 322
1552123099.082 * * [simplify]: Extracting #4: cost 27 inf + 3209
1552123099.083 * * [simplify]: Extracting #5: cost 22 inf + 4898
1552123099.083 * * [simplify]: Extracting #6: cost 11 inf + 15047
1552123099.085 * * [simplify]: Extracting #7: cost 0 inf + 29315
1552123099.087 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552123099.087 * [simplify]: Simplified (2 2 2 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552123099.087 * * * * [progress]: [ 6 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 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)))))))>
1552123099.088 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552123099.088 * * [simplify]: iters left: 3 (7 enodes)
1552123099.090 * * [simplify]: iters left: 2 (12 enodes)
1552123099.092 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123099.092 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123099.093 * * [simplify]: Extracting #2: cost 4 inf + 1
1552123099.093 * * [simplify]: Extracting #3: cost 6 inf + 1
1552123099.093 * * [simplify]: Extracting #4: cost 0 inf + 930
1552123099.093 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552123099.093 * [simplify]: Simplified (2 2 2 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 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)))))))
1552123099.093 * * * * [progress]: [ 7 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (real->posit16 1) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))>
1552123099.093 * [simplify]: Simplifying (*.p16 (real->posit16 1) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
1552123099.093 * * [simplify]: iters left: 5 (12 enodes)
1552123099.096 * * [simplify]: iters left: 4 (32 enodes)
1552123099.103 * * [simplify]: iters left: 3 (72 enodes)
1552123099.126 * * [simplify]: iters left: 2 (188 enodes)
1552123099.186 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123099.186 * * [simplify]: Extracting #1: cost 20 inf + 0
1552123099.186 * * [simplify]: Extracting #2: cost 109 inf + 1
1552123099.187 * * [simplify]: Extracting #3: cost 187 inf + 969
1552123099.187 * * [simplify]: Extracting #4: cost 210 inf + 2897
1552123099.188 * * [simplify]: Extracting #5: cost 214 inf + 15401
1552123099.190 * * [simplify]: Extracting #6: cost 201 inf + 27305
1552123099.196 * * [simplify]: Extracting #7: cost 114 inf + 118579
1552123099.215 * * [simplify]: Extracting #8: cost 10 inf + 282344
1552123099.234 * * [simplify]: Extracting #9: cost 0 inf + 287223
1552123099.251 * [simplify]: Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552123099.251 * [simplify]: Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 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)))))))))
1552123099.251 * * * * [progress]: [ 8 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 rand (-.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))))))))))>
1552123099.251 * * * * [progress]: [ 9 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (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)))))) (*.p16 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))))))))>
1552123099.251 * [simplify]: Simplifying (*.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)))))
1552123099.251 * * [simplify]: iters left: 6 (18 enodes)
1552123099.256 * * [simplify]: iters left: 5 (41 enodes)
1552123099.263 * * [simplify]: iters left: 4 (82 enodes)
1552123099.278 * * [simplify]: iters left: 3 (164 enodes)
1552123099.319 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123099.319 * * [simplify]: Extracting #1: cost 17 inf + 0
1552123099.319 * * [simplify]: Extracting #2: cost 19 inf + 1
1552123099.319 * * [simplify]: Extracting #3: cost 40 inf + 2
1552123099.319 * * [simplify]: Extracting #4: cost 129 inf + 3
1552123099.320 * * [simplify]: Extracting #5: cost 156 inf + 651
1552123099.321 * * [simplify]: Extracting #6: cost 166 inf + 13810
1552123099.324 * * [simplify]: Extracting #7: cost 72 inf + 114309
1552123099.333 * * [simplify]: Extracting #8: cost 7 inf + 206554
1552123099.344 * * [simplify]: Extracting #9: cost 0 inf + 220420
1552123099.354 * [simplify]: Simplified to (*.p16 (*.p16 rand (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)))))))
1552123099.354 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (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)))))) (*.p16 rand a))) (*.p16 (*.p16 rand (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))))))))))
1552123099.355 * * * * [progress]: [ 10 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (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)))))) (*.p16 a rand))) (*.p16 (/.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))) rand)))))>
1552123099.355 * [simplify]: Simplifying (*.p16 (/.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))) rand))
1552123099.355 * * [simplify]: iters left: 6 (18 enodes)
1552123099.359 * * [simplify]: iters left: 5 (41 enodes)
1552123099.367 * * [simplify]: iters left: 4 (82 enodes)
1552123099.383 * * [simplify]: iters left: 3 (164 enodes)
1552123099.422 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123099.422 * * [simplify]: Extracting #1: cost 17 inf + 0
1552123099.422 * * [simplify]: Extracting #2: cost 19 inf + 1
1552123099.423 * * [simplify]: Extracting #3: cost 40 inf + 2
1552123099.423 * * [simplify]: Extracting #4: cost 128 inf + 325
1552123099.423 * * [simplify]: Extracting #5: cost 156 inf + 651
1552123099.424 * * [simplify]: Extracting #6: cost 167 inf + 12687
1552123099.428 * * [simplify]: Extracting #7: cost 69 inf + 112594
1552123099.436 * * [simplify]: Extracting #8: cost 5 inf + 209720
1552123099.449 * * [simplify]: Extracting #9: cost 0 inf + 220499
1552123099.459 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552123099.459 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (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)))))) (*.p16 a rand))) (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))))
1552123099.459 * * * * [progress]: [ 11 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 rand 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 (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))))))))))>
1552123099.459 * [simplify]: Simplifying (*.p16 (*.p16 rand (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)))))))
1552123099.460 * * [simplify]: iters left: 6 (18 enodes)
1552123099.464 * * [simplify]: iters left: 5 (41 enodes)
1552123099.475 * * [simplify]: iters left: 4 (82 enodes)
1552123099.492 * * [simplify]: iters left: 3 (162 enodes)
1552123099.545 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123099.545 * * [simplify]: Extracting #1: cost 19 inf + 0
1552123099.545 * * [simplify]: Extracting #2: cost 24 inf + 1
1552123099.546 * * [simplify]: Extracting #3: cost 44 inf + 3
1552123099.546 * * [simplify]: Extracting #4: cost 133 inf + 325
1552123099.547 * * [simplify]: Extracting #5: cost 158 inf + 974
1552123099.548 * * [simplify]: Extracting #6: cost 167 inf + 18949
1552123099.554 * * [simplify]: Extracting #7: cost 68 inf + 125778
1552123099.568 * * [simplify]: Extracting #8: cost 7 inf + 230705
1552123099.583 * * [simplify]: Extracting #9: cost 1 inf + 241164
1552123099.600 * * [simplify]: Extracting #10: cost 0 inf + 244247
1552123099.616 * [simplify]: Simplified to (/.p16 (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552123099.616 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 rand 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))) (real->posit16 1))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))
1552123099.616 * * * * [progress]: [ 12 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 a rand) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))))>
1552123099.616 * [simplify]: Simplifying (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552123099.616 * * [simplify]: iters left: 6 (18 enodes)
1552123099.622 * * [simplify]: iters left: 5 (41 enodes)
1552123099.633 * * [simplify]: iters left: 4 (82 enodes)
1552123099.656 * * [simplify]: iters left: 3 (162 enodes)
1552123099.710 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123099.710 * * [simplify]: Extracting #1: cost 19 inf + 0
1552123099.710 * * [simplify]: Extracting #2: cost 24 inf + 1
1552123099.710 * * [simplify]: Extracting #3: cost 44 inf + 3
1552123099.710 * * [simplify]: Extracting #4: cost 133 inf + 325
1552123099.711 * * [simplify]: Extracting #5: cost 158 inf + 1296
1552123099.712 * * [simplify]: Extracting #6: cost 157 inf + 33256
1552123099.719 * * [simplify]: Extracting #7: cost 43 inf + 176089
1552123099.734 * * [simplify]: Extracting #8: cost 1 inf + 243168
1552123099.753 * * [simplify]: Extracting #9: cost 0 inf + 245532
1552123099.764 * [simplify]: Simplified to (/.p16 (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552123099.764 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 a rand) (/.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))) (real->posit16 1))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))
1552123099.764 * * * * [progress]: [ 13 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)))))>
1552123099.764 * * * * [progress]: [ 14 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (*.p16 rand a) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))>
1552123099.764 * [simplify]: Simplifying (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552123099.764 * * [simplify]: iters left: 4 (8 enodes)
1552123099.766 * * [simplify]: iters left: 3 (13 enodes)
1552123099.768 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123099.769 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123099.769 * * [simplify]: Extracting #2: cost 3 inf + 1
1552123099.769 * * [simplify]: Extracting #3: cost 5 inf + 1
1552123099.769 * * [simplify]: Extracting #4: cost 7 inf + 1
1552123099.769 * * [simplify]: Extracting #5: cost 0 inf + 1812
1552123099.769 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand)
1552123099.769 * [simplify]: Simplified (2 2 2 2 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (*.p16 rand a) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))))))
1552123099.769 * * * * [progress]: [ 15 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (*.p16 a rand) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))))))>
1552123099.769 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand)
1552123099.769 * * [simplify]: iters left: 4 (8 enodes)
1552123099.771 * * [simplify]: iters left: 3 (13 enodes)
1552123099.773 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123099.773 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123099.773 * * [simplify]: Extracting #2: cost 3 inf + 1
1552123099.773 * * [simplify]: Extracting #3: cost 5 inf + 1
1552123099.773 * * [simplify]: Extracting #4: cost 7 inf + 1
1552123099.773 * * [simplify]: Extracting #5: cost 4 inf + 4
1552123099.773 * * [simplify]: Extracting #6: cost 0 inf + 1812
1552123099.774 * [simplify]: Simplified to (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552123099.774 * [simplify]: Simplified (2 2 2 2 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (*.p16 a rand) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))
1552123099.774 * * * * [progress]: [ 16 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (/.p16 (*.p16 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))))))))>
1552123099.774 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552123099.774 * * [simplify]: iters left: 3 (7 enodes)
1552123099.776 * * [simplify]: iters left: 2 (12 enodes)
1552123099.778 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123099.778 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123099.778 * * [simplify]: Extracting #2: cost 4 inf + 1
1552123099.778 * * [simplify]: Extracting #3: cost 6 inf + 1
1552123099.778 * * [simplify]: Extracting #4: cost 0 inf + 930
1552123099.778 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552123099.778 * [simplify]: Simplified (2 2 2 2 2) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (/.p16 (*.p16 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))))))))
1552123099.779 * * * * [progress]: [ 17 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand)))))>
1552123099.779 * * * * [progress]: [ 18 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (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))))))))>
1552123099.779 * [simplify]: Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552123099.779 * * [simplify]: iters left: 6 (14 enodes)
1552123099.783 * * [simplify]: iters left: 5 (30 enodes)
1552123099.789 * * [simplify]: iters left: 4 (56 enodes)
1552123099.801 * * [simplify]: iters left: 3 (122 enodes)
1552123099.860 * * [simplify]: iters left: 2 (499 enodes)
1552123100.326 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123100.326 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123100.326 * * [simplify]: Extracting #2: cost 5 inf + 0
1552123100.327 * * [simplify]: Extracting #3: cost 93 inf + 1
1552123100.329 * * [simplify]: Extracting #4: cost 451 inf + 2
1552123100.334 * * [simplify]: Extracting #5: cost 850 inf + 2252
1552123100.347 * * [simplify]: Extracting #6: cost 904 inf + 7387
1552123100.355 * * [simplify]: Extracting #7: cost 835 inf + 65272
1552123100.377 * * [simplify]: Extracting #8: cost 579 inf + 361623
1552123100.442 * * [simplify]: Extracting #9: cost 181 inf + 1076854
1552123100.541 * * [simplify]: Extracting #10: cost 6 inf + 1471563
1552123100.648 * * [simplify]: Extracting #11: cost 0 inf + 1485305
1552123100.755 * * [simplify]: Extracting #12: cost 0 inf + 1484905
1552123100.859 * [simplify]: Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552123100.859 * [simplify]: Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (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))))))))
1552123100.859 * * * * [progress]: [ 19 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (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))))))))>
1552123100.860 * [simplify]: Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552123100.860 * * [simplify]: iters left: 6 (14 enodes)
1552123100.865 * * [simplify]: iters left: 5 (30 enodes)
1552123100.874 * * [simplify]: iters left: 4 (56 enodes)
1552123100.890 * * [simplify]: iters left: 3 (122 enodes)
1552123100.937 * * [simplify]: iters left: 2 (499 enodes)
1552123101.371 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123101.371 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123101.371 * * [simplify]: Extracting #2: cost 5 inf + 0
1552123101.372 * * [simplify]: Extracting #3: cost 93 inf + 1
1552123101.373 * * [simplify]: Extracting #4: cost 451 inf + 2
1552123101.375 * * [simplify]: Extracting #5: cost 850 inf + 2252
1552123101.379 * * [simplify]: Extracting #6: cost 904 inf + 7387
1552123101.385 * * [simplify]: Extracting #7: cost 835 inf + 65272
1552123101.399 * * [simplify]: Extracting #8: cost 579 inf + 361623
1552123101.453 * * [simplify]: Extracting #9: cost 181 inf + 1076854
1552123101.557 * * [simplify]: Extracting #10: cost 6 inf + 1471563
1552123101.647 * * [simplify]: Extracting #11: cost 0 inf + 1485305
1552123101.719 * * [simplify]: Extracting #12: cost 0 inf + 1484905
1552123101.791 * [simplify]: Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552123101.791 * [simplify]: Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (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))))))))
1552123101.791 * * * * [progress]: [ 20 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (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))))))))>
1552123101.791 * [simplify]: Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552123101.791 * * [simplify]: iters left: 6 (14 enodes)
1552123101.795 * * [simplify]: iters left: 5 (30 enodes)
1552123101.800 * * [simplify]: iters left: 4 (56 enodes)
1552123101.811 * * [simplify]: iters left: 3 (122 enodes)
1552123101.847 * * [simplify]: iters left: 2 (499 enodes)
1552123102.398 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123102.398 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123102.399 * * [simplify]: Extracting #2: cost 5 inf + 0
1552123102.399 * * [simplify]: Extracting #3: cost 93 inf + 1
1552123102.406 * * [simplify]: Extracting #4: cost 451 inf + 2
1552123102.410 * * [simplify]: Extracting #5: cost 850 inf + 2252
1552123102.415 * * [simplify]: Extracting #6: cost 904 inf + 7387
1552123102.420 * * [simplify]: Extracting #7: cost 835 inf + 65272
1552123102.434 * * [simplify]: Extracting #8: cost 579 inf + 361623
1552123102.498 * * [simplify]: Extracting #9: cost 181 inf + 1076854
1552123102.599 * * [simplify]: Extracting #10: cost 6 inf + 1471563
1552123102.713 * * [simplify]: Extracting #11: cost 0 inf + 1485305
1552123102.826 * * [simplify]: Extracting #12: cost 0 inf + 1484905
1552123102.914 * [simplify]: Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552123102.914 * [simplify]: Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (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))))))))
1552123102.914 * * * * [progress]: [ 21 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (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))))))))>
1552123102.915 * [simplify]: Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552123102.915 * * [simplify]: iters left: 6 (14 enodes)
1552123102.921 * * [simplify]: iters left: 5 (30 enodes)
1552123102.929 * * [simplify]: iters left: 4 (56 enodes)
1552123102.944 * * [simplify]: iters left: 3 (122 enodes)
1552123102.992 * * [simplify]: iters left: 2 (499 enodes)
1552123103.387 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123103.387 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123103.387 * * [simplify]: Extracting #2: cost 5 inf + 0
1552123103.388 * * [simplify]: Extracting #3: cost 93 inf + 1
1552123103.389 * * [simplify]: Extracting #4: cost 451 inf + 2
1552123103.391 * * [simplify]: Extracting #5: cost 850 inf + 2252
1552123103.395 * * [simplify]: Extracting #6: cost 904 inf + 7387
1552123103.400 * * [simplify]: Extracting #7: cost 835 inf + 65272
1552123103.418 * * [simplify]: Extracting #8: cost 579 inf + 361623
1552123103.463 * * [simplify]: Extracting #9: cost 181 inf + 1076854
1552123103.532 * * [simplify]: Extracting #10: cost 6 inf + 1471563
1552123103.606 * * [simplify]: Extracting #11: cost 0 inf + 1485305
1552123103.704 * * [simplify]: Extracting #12: cost 0 inf + 1484905
1552123103.813 * [simplify]: Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552123103.813 * [simplify]: Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (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))))))))
1552123103.813 * * * [progress]: adding candidates to table
1552123105.295 * [progress]: [Phase 3 of 3] Extracting.
1552123105.295 * * [regime]: Finding splitpoints for: (#<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (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))))> #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (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))))))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (*.p16 rand a) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))> #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (/.p16 (*.p16 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))))))))> #<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))))> #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.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 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.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)))))))> #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>)
1552123105.302 * * * [regime-changes]: Trying 2 branch expressions: (rand a)
1552123105.302 * * * * [regimes]: Trying to branch on rand from (#<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (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))))> #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (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))))))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (*.p16 rand a) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))> #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (/.p16 (*.p16 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))))))))> #<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))))> #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.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 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.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)))))))> #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>)
1552123106.285 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (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))))> #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (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))))))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (*.p16 rand a) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))> #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (/.p16 (*.p16 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))))))))> #<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))))> #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.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 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.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)))))))> #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>)
1552123106.766 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
1552123106.766 * [simplify]: Simplifying (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (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)))))))
1552123106.766 * * [simplify]: iters left: 6 (22 enodes)
1552123106.768 * * [simplify]: iters left: 5 (24 enodes)
1552123106.770 * * [simplify]: Extracting #0: cost 1 inf + 0
1552123106.770 * * [simplify]: Extracting #1: cost 3 inf + 0
1552123106.770 * * [simplify]: Extracting #2: cost 7 inf + 0
1552123106.770 * * [simplify]: Extracting #3: cost 10 inf + 1
1552123106.770 * * [simplify]: Extracting #4: cost 11 inf + 325
1552123106.770 * * [simplify]: Extracting #5: cost 13 inf + 326
1552123106.770 * * [simplify]: Extracting #6: cost 16 inf + 326
1552123106.770 * * [simplify]: Extracting #7: cost 13 inf + 330
1552123106.770 * * [simplify]: Extracting #8: cost 9 inf + 1818
1552123106.771 * * [simplify]: Extracting #9: cost 4 inf + 5234
1552123106.771 * * [simplify]: Extracting #10: cost 3 inf + 6559
1552123106.777 * * [simplify]: Extracting #11: cost 1 inf + 10931
1552123106.778 * * [simplify]: Extracting #12: cost 0 inf + 13697
1552123106.779 * [simplify]: Simplified to (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (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)))))))
1552123106.779 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1552123106.809 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1552123106.817 * * * * [points]: Setting MPFR precision to 64
1552123106.819 * * * * [points]: Setting MPFR precision to 320
1552123106.821 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1552123106.829 * * * * [points]: Setting MPFR precision to 64
1552123106.832 * * * * [points]: Setting MPFR precision to 320
1552123106.837 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1552123106.846 * * * * [points]: Setting MPFR precision to 64
1552123106.852 * * * * [points]: Setting MPFR precision to 320
1552123106.860 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1552123106.868 * * * * [points]: Setting MPFR precision to 64
1552123106.879 * * * * [points]: Setting MPFR precision to 320
1552123106.887 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1552123106.892 * * * * [points]: Setting MPFR precision to 64
1552123106.906 * * * * [points]: Setting MPFR precision to 320
1552123106.947 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1552123106.953 * * * * [points]: Setting MPFR precision to 64
1552123106.994 * * * * [points]: Setting MPFR precision to 320
1552123107.034 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1552123107.038 * * * * [points]: Setting MPFR precision to 64
1552123107.162 * * * * [points]: Setting MPFR precision to 320
1552123107.274 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1552123107.279 * * * * [points]: Setting MPFR precision to 64
1552123107.512 * * * * [points]: Setting MPFR precision to 320
1552123107.776 * * * * [points]: Computing exacts for 8000 points
1552123107.786 * * * * [points]: Setting MPFR precision to 64
1552123108.519 * * * * [points]: Setting MPFR precision to 320
1552123109.699 * * * * [points]: Filtering points with unrepresentable outputs
1552123109.975 * * * * [points]: Sampling 5160 additional inputs, on iter 1 have 2840 / 8000
1552123109.992 * * * * [points]: Computing exacts on every 322 of 5160 points to ramp up precision
1552123109.999 * * * * [points]: Setting MPFR precision to 64
1552123110.001 * * * * [points]: Setting MPFR precision to 320
1552123110.003 * * * * [points]: Computing exacts on every 161 of 5160 points to ramp up precision
1552123110.011 * * * * [points]: Setting MPFR precision to 64
1552123110.014 * * * * [points]: Setting MPFR precision to 320
1552123110.018 * * * * [points]: Computing exacts on every 80 of 5160 points to ramp up precision
1552123110.022 * * * * [points]: Setting MPFR precision to 64
1552123110.026 * * * * [points]: Setting MPFR precision to 320
1552123110.030 * * * * [points]: Computing exacts on every 40 of 5160 points to ramp up precision
1552123110.035 * * * * [points]: Setting MPFR precision to 64
1552123110.041 * * * * [points]: Setting MPFR precision to 320
1552123110.050 * * * * [points]: Computing exacts on every 20 of 5160 points to ramp up precision
1552123110.054 * * * * [points]: Setting MPFR precision to 64
1552123110.087 * * * * [points]: Setting MPFR precision to 320
1552123110.113 * * * * [points]: Computing exacts on every 10 of 5160 points to ramp up precision
1552123110.118 * * * * [points]: Setting MPFR precision to 64
1552123110.143 * * * * [points]: Setting MPFR precision to 320
1552123110.188 * * * * [points]: Computing exacts on every 5 of 5160 points to ramp up precision
1552123110.195 * * * * [points]: Setting MPFR precision to 64
1552123110.275 * * * * [points]: Setting MPFR precision to 320
1552123110.355 * * * * [points]: Computing exacts on every 2 of 5160 points to ramp up precision
1552123110.360 * * * * [points]: Setting MPFR precision to 64
1552123110.524 * * * * [points]: Setting MPFR precision to 320
1552123110.691 * * * * [points]: Computing exacts for 5160 points
1552123110.695 * * * * [points]: Setting MPFR precision to 64
1552123111.159 * * * * [points]: Setting MPFR precision to 320
1552123111.929 * * * * [points]: Filtering points with unrepresentable outputs
1552123112.202 * * * * [points]: Sampling 3350 additional inputs, on iter 2 have 4650 / 8000
1552123112.236 * * * * [points]: Computing exacts on every 209 of 3350 points to ramp up precision
1552123112.245 * * * * [points]: Setting MPFR precision to 64
1552123112.247 * * * * [points]: Setting MPFR precision to 320
1552123112.250 * * * * [points]: Computing exacts on every 104 of 3350 points to ramp up precision
1552123112.258 * * * * [points]: Setting MPFR precision to 64
1552123112.262 * * * * [points]: Setting MPFR precision to 320
1552123112.267 * * * * [points]: Computing exacts on every 52 of 3350 points to ramp up precision
1552123112.275 * * * * [points]: Setting MPFR precision to 64
1552123112.279 * * * * [points]: Setting MPFR precision to 320
1552123112.283 * * * * [points]: Computing exacts on every 26 of 3350 points to ramp up precision
1552123112.288 * * * * [points]: Setting MPFR precision to 64
1552123112.296 * * * * [points]: Setting MPFR precision to 320
1552123112.308 * * * * [points]: Computing exacts on every 13 of 3350 points to ramp up precision
1552123112.317 * * * * [points]: Setting MPFR precision to 64
1552123112.342 * * * * [points]: Setting MPFR precision to 320
1552123112.373 * * * * [points]: Computing exacts on every 6 of 3350 points to ramp up precision
1552123112.407 * * * * [points]: Setting MPFR precision to 64
1552123112.461 * * * * [points]: Setting MPFR precision to 320
1552123112.527 * * * * [points]: Computing exacts on every 3 of 3350 points to ramp up precision
1552123112.536 * * * * [points]: Setting MPFR precision to 64
1552123112.663 * * * * [points]: Setting MPFR precision to 320
1552123112.777 * * * * [points]: Computing exacts for 3350 points
1552123112.782 * * * * [points]: Setting MPFR precision to 64
1552123113.122 * * * * [points]: Setting MPFR precision to 320
1552123113.975 * * * * [points]: Filtering points with unrepresentable outputs
1552123114.088 * * * * [points]: Sampling 2193 additional inputs, on iter 3 have 5807 / 8000
1552123114.094 * * * * [points]: Computing exacts on every 137 of 2193 points to ramp up precision
1552123114.099 * * * * [points]: Setting MPFR precision to 64
1552123114.100 * * * * [points]: Setting MPFR precision to 320
1552123114.101 * * * * [points]: Computing exacts on every 68 of 2193 points to ramp up precision
1552123114.105 * * * * [points]: Setting MPFR precision to 64
1552123114.107 * * * * [points]: Setting MPFR precision to 320
1552123114.110 * * * * [points]: Computing exacts on every 34 of 2193 points to ramp up precision
1552123114.114 * * * * [points]: Setting MPFR precision to 64
1552123114.118 * * * * [points]: Setting MPFR precision to 320
1552123114.123 * * * * [points]: Computing exacts on every 17 of 2193 points to ramp up precision
1552123114.127 * * * * [points]: Setting MPFR precision to 64
1552123114.134 * * * * [points]: Setting MPFR precision to 320
1552123114.143 * * * * [points]: Computing exacts on every 8 of 2193 points to ramp up precision
1552123114.148 * * * * [points]: Setting MPFR precision to 64
1552123114.162 * * * * [points]: Setting MPFR precision to 320
1552123114.199 * * * * [points]: Computing exacts on every 4 of 2193 points to ramp up precision
1552123114.204 * * * * [points]: Setting MPFR precision to 64
1552123114.229 * * * * [points]: Setting MPFR precision to 320
1552123114.264 * * * * [points]: Computing exacts on every 2 of 2193 points to ramp up precision
1552123114.268 * * * * [points]: Setting MPFR precision to 64
1552123114.334 * * * * [points]: Setting MPFR precision to 320
1552123114.393 * * * * [points]: Computing exacts for 2193 points
1552123114.397 * * * * [points]: Setting MPFR precision to 64
1552123114.550 * * * * [points]: Setting MPFR precision to 320
1552123114.756 * * * * [points]: Filtering points with unrepresentable outputs
1552123114.841 * * * * [points]: Sampling 1383 additional inputs, on iter 4 have 6617 / 8000
1552123114.845 * * * * [points]: Computing exacts on every 86 of 1383 points to ramp up precision
1552123114.850 * * * * [points]: Setting MPFR precision to 64
1552123114.852 * * * * [points]: Setting MPFR precision to 320
1552123114.854 * * * * [points]: Computing exacts on every 43 of 1383 points to ramp up precision
1552123114.863 * * * * [points]: Setting MPFR precision to 64
1552123114.866 * * * * [points]: Setting MPFR precision to 320
1552123114.868 * * * * [points]: Computing exacts on every 21 of 1383 points to ramp up precision
1552123114.873 * * * * [points]: Setting MPFR precision to 64
1552123114.877 * * * * [points]: Setting MPFR precision to 320
1552123114.881 * * * * [points]: Computing exacts on every 10 of 1383 points to ramp up precision
1552123114.886 * * * * [points]: Setting MPFR precision to 64
1552123114.906 * * * * [points]: Setting MPFR precision to 320
1552123114.921 * * * * [points]: Computing exacts on every 5 of 1383 points to ramp up precision
1552123114.930 * * * * [points]: Setting MPFR precision to 64
1552123114.956 * * * * [points]: Setting MPFR precision to 320
1552123114.986 * * * * [points]: Computing exacts on every 2 of 1383 points to ramp up precision
1552123114.995 * * * * [points]: Setting MPFR precision to 64
1552123115.038 * * * * [points]: Setting MPFR precision to 320
1552123115.098 * * * * [points]: Computing exacts for 1383 points
1552123115.103 * * * * [points]: Setting MPFR precision to 64
1552123115.198 * * * * [points]: Setting MPFR precision to 320
1552123115.425 * * * * [points]: Filtering points with unrepresentable outputs
1552123115.489 * * * * [points]: Sampling 918 additional inputs, on iter 5 have 7082 / 8000
1552123115.494 * * * * [points]: Computing exacts on every 57 of 918 points to ramp up precision
1552123115.533 * * * * [points]: Setting MPFR precision to 64
1552123115.535 * * * * [points]: Setting MPFR precision to 320
1552123115.539 * * * * [points]: Computing exacts on every 28 of 918 points to ramp up precision
1552123115.548 * * * * [points]: Setting MPFR precision to 64
1552123115.551 * * * * [points]: Setting MPFR precision to 320
1552123115.556 * * * * [points]: Computing exacts on every 14 of 918 points to ramp up precision
1552123115.565 * * * * [points]: Setting MPFR precision to 64
1552123115.571 * * * * [points]: Setting MPFR precision to 320
1552123115.579 * * * * [points]: Computing exacts on every 7 of 918 points to ramp up precision
1552123115.587 * * * * [points]: Setting MPFR precision to 64
1552123115.594 * * * * [points]: Setting MPFR precision to 320
1552123115.603 * * * * [points]: Computing exacts on every 3 of 918 points to ramp up precision
1552123115.607 * * * * [points]: Setting MPFR precision to 64
1552123115.621 * * * * [points]: Setting MPFR precision to 320
1552123115.650 * * * * [points]: Computing exacts for 918 points
1552123115.655 * * * * [points]: Setting MPFR precision to 64
1552123115.728 * * * * [points]: Setting MPFR precision to 320
1552123115.793 * * * * [points]: Filtering points with unrepresentable outputs
1552123115.849 * * * * [points]: Sampling 590 additional inputs, on iter 6 have 7410 / 8000
1552123115.852 * * * * [points]: Computing exacts on every 36 of 590 points to ramp up precision
1552123115.857 * * * * [points]: Setting MPFR precision to 64
1552123115.858 * * * * [points]: Setting MPFR precision to 320
1552123115.860 * * * * [points]: Computing exacts on every 18 of 590 points to ramp up precision
1552123115.864 * * * * [points]: Setting MPFR precision to 64
1552123115.866 * * * * [points]: Setting MPFR precision to 320
1552123115.868 * * * * [points]: Computing exacts on every 9 of 590 points to ramp up precision
1552123115.873 * * * * [points]: Setting MPFR precision to 64
1552123115.876 * * * * [points]: Setting MPFR precision to 320
1552123115.881 * * * * [points]: Computing exacts on every 4 of 590 points to ramp up precision
1552123115.885 * * * * [points]: Setting MPFR precision to 64
1552123115.892 * * * * [points]: Setting MPFR precision to 320
1552123115.903 * * * * [points]: Computing exacts on every 2 of 590 points to ramp up precision
1552123115.907 * * * * [points]: Setting MPFR precision to 64
1552123115.918 * * * * [points]: Setting MPFR precision to 320
1552123115.951 * * * * [points]: Computing exacts for 590 points
1552123115.961 * * * * [points]: Setting MPFR precision to 64
1552123116.024 * * * * [points]: Setting MPFR precision to 320
1552123116.089 * * * * [points]: Filtering points with unrepresentable outputs
1552123116.118 * * * * [points]: Sampling 389 additional inputs, on iter 7 have 7611 / 8000
1552123116.119 * * * * [points]: Computing exacts on every 24 of 389 points to ramp up precision
1552123116.151 * * * * [points]: Setting MPFR precision to 64
1552123116.153 * * * * [points]: Setting MPFR precision to 320
1552123116.155 * * * * [points]: Computing exacts on every 12 of 389 points to ramp up precision
1552123116.167 * * * * [points]: Setting MPFR precision to 64
1552123116.170 * * * * [points]: Setting MPFR precision to 320
1552123116.174 * * * * [points]: Computing exacts on every 6 of 389 points to ramp up precision
1552123116.184 * * * * [points]: Setting MPFR precision to 64
1552123116.188 * * * * [points]: Setting MPFR precision to 320
1552123116.192 * * * * [points]: Computing exacts on every 3 of 389 points to ramp up precision
1552123116.197 * * * * [points]: Setting MPFR precision to 64
1552123116.203 * * * * [points]: Setting MPFR precision to 320
1552123116.210 * * * * [points]: Computing exacts for 389 points
1552123116.216 * * * * [points]: Setting MPFR precision to 64
1552123116.243 * * * * [points]: Setting MPFR precision to 320
1552123116.301 * * * * [points]: Filtering points with unrepresentable outputs
1552123116.326 * * * * [points]: Sampling 239 additional inputs, on iter 8 have 7761 / 8000
1552123116.327 * * * * [points]: Computing exacts on every 14 of 239 points to ramp up precision
1552123116.331 * * * * [points]: Setting MPFR precision to 64
1552123116.332 * * * * [points]: Setting MPFR precision to 320
1552123116.334 * * * * [points]: Computing exacts on every 7 of 239 points to ramp up precision
1552123116.338 * * * * [points]: Setting MPFR precision to 64
1552123116.340 * * * * [points]: Setting MPFR precision to 320
1552123116.342 * * * * [points]: Computing exacts on every 3 of 239 points to ramp up precision
1552123116.346 * * * * [points]: Setting MPFR precision to 64
1552123116.350 * * * * [points]: Setting MPFR precision to 320
1552123116.355 * * * * [points]: Computing exacts for 239 points
1552123116.364 * * * * [points]: Setting MPFR precision to 64
1552123116.389 * * * * [points]: Setting MPFR precision to 320
1552123116.409 * * * * [points]: Filtering points with unrepresentable outputs
1552123116.417 * * * * [points]: Sampling 161 additional inputs, on iter 9 have 7839 / 8000
1552123116.417 * * * * [points]: Computing exacts on every 10 of 161 points to ramp up precision
1552123116.422 * * * * [points]: Setting MPFR precision to 64
1552123116.424 * * * * [points]: Setting MPFR precision to 320
1552123116.425 * * * * [points]: Computing exacts on every 5 of 161 points to ramp up precision
1552123116.446 * * * * [points]: Setting MPFR precision to 64
1552123116.448 * * * * [points]: Setting MPFR precision to 320
1552123116.450 * * * * [points]: Computing exacts on every 2 of 161 points to ramp up precision
1552123116.458 * * * * [points]: Setting MPFR precision to 64
1552123116.464 * * * * [points]: Setting MPFR precision to 320
1552123116.471 * * * * [points]: Computing exacts for 161 points
1552123116.480 * * * * [points]: Setting MPFR precision to 64
1552123116.497 * * * * [points]: Setting MPFR precision to 320
1552123116.519 * * * * [points]: Filtering points with unrepresentable outputs
1552123116.527 * * * * [points]: Sampling 109 additional inputs, on iter 10 have 7891 / 8000
1552123116.528 * * * * [points]: Computing exacts on every 6 of 109 points to ramp up precision
1552123116.535 * * * * [points]: Setting MPFR precision to 64
1552123116.536 * * * * [points]: Setting MPFR precision to 320
1552123116.537 * * * * [points]: Computing exacts on every 3 of 109 points to ramp up precision
1552123116.542 * * * * [points]: Setting MPFR precision to 64
1552123116.543 * * * * [points]: Setting MPFR precision to 320
1552123116.545 * * * * [points]: Computing exacts for 109 points
1552123116.550 * * * * [points]: Setting MPFR precision to 64
1552123116.556 * * * * [points]: Setting MPFR precision to 320
1552123116.568 * * * * [points]: Filtering points with unrepresentable outputs
1552123116.572 * * * * [points]: Sampling 82 additional inputs, on iter 11 have 7918 / 8000
1552123116.573 * * * * [points]: Computing exacts on every 5 of 82 points to ramp up precision
1552123116.604 * * * * [points]: Setting MPFR precision to 64
1552123116.606 * * * * [points]: Setting MPFR precision to 320
1552123116.610 * * * * [points]: Computing exacts on every 2 of 82 points to ramp up precision
1552123116.619 * * * * [points]: Setting MPFR precision to 64
1552123116.621 * * * * [points]: Setting MPFR precision to 320
1552123116.624 * * * * [points]: Computing exacts for 82 points
1552123116.633 * * * * [points]: Setting MPFR precision to 64
1552123116.640 * * * * [points]: Setting MPFR precision to 320
1552123116.648 * * * * [points]: Filtering points with unrepresentable outputs
1552123116.650 * * * * [points]: Sampling 48 additional inputs, on iter 12 have 7952 / 8000
1552123116.650 * * * * [points]: Computing exacts on every 3 of 48 points to ramp up precision
1552123116.655 * * * * [points]: Setting MPFR precision to 64
1552123116.656 * * * * [points]: Setting MPFR precision to 320
1552123116.657 * * * * [points]: Computing exacts for 48 points
1552123116.662 * * * * [points]: Setting MPFR precision to 64
1552123116.669 * * * * [points]: Setting MPFR precision to 320
1552123116.675 * * * * [points]: Filtering points with unrepresentable outputs
1552123116.677 * * * * [points]: Sampling 32 additional inputs, on iter 13 have 7968 / 8000
1552123116.677 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
1552123116.686 * * * * [points]: Setting MPFR precision to 64
1552123116.687 * * * * [points]: Setting MPFR precision to 320
1552123116.689 * * * * [points]: Computing exacts for 32 points
1552123116.697 * * * * [points]: Setting MPFR precision to 64
1552123116.701 * * * * [points]: Setting MPFR precision to 320
1552123116.706 * * * * [points]: Filtering points with unrepresentable outputs
1552123116.707 * * * * [points]: Sampling 19 additional inputs, on iter 14 have 7981 / 8000
1552123116.708 * * * * [points]: Computing exacts for 19 points
1552123116.717 * * * * [points]: Setting MPFR precision to 64
1552123116.719 * * * * [points]: Setting MPFR precision to 320
1552123116.740 * * * * [points]: Filtering points with unrepresentable outputs
1552123116.741 * * * * [points]: Sampling 13 additional inputs, on iter 15 have 7987 / 8000
1552123116.741 * * * * [points]: Computing exacts for 13 points
1552123116.753 * * * * [points]: Setting MPFR precision to 64
1552123116.755 * * * * [points]: Setting MPFR precision to 320
1552123116.757 * * * * [points]: Filtering points with unrepresentable outputs
1552123116.757 * * * * [points]: Sampling 9 additional inputs, on iter 16 have 7991 / 8000
1552123116.757 * * * * [points]: Computing exacts for 9 points
1552123116.762 * * * * [points]: Setting MPFR precision to 64
1552123116.763 * * * * [points]: Setting MPFR precision to 320
1552123116.763 * * * * [points]: Filtering points with unrepresentable outputs
1552123116.764 * * * * [points]: Sampling 5 additional inputs, on iter 17 have 7995 / 8000
1552123116.764 * * * * [points]: Computing exacts for 5 points
1552123116.768 * * * * [points]: Setting MPFR precision to 64
1552123116.769 * * * * [points]: Setting MPFR precision to 320
1552123116.769 * * * * [points]: Filtering points with unrepresentable outputs
1552123116.769 * * * * [points]: Sampling 4 additional inputs, on iter 18 have 7997 / 8000
1552123116.769 * * * * [points]: Computing exacts for 4 points
1552123116.774 * * * * [points]: Setting MPFR precision to 64
1552123116.774 * * * * [points]: Setting MPFR precision to 320
1552123116.775 * * * * [points]: Filtering points with unrepresentable outputs
1552123116.775 * * * * [points]: Sampling 4 additional inputs, on iter 19 have 7998 / 8000
1552123116.775 * * * * [points]: Computing exacts for 4 points
1552123116.779 * * * * [points]: Setting MPFR precision to 64
1552123116.780 * * * * [points]: Setting MPFR precision to 320
1552123116.780 * * * * [points]: Filtering points with unrepresentable outputs
1552123116.780 * * * * [points]: Sampled 8000 points with exact outputs
1552123130.474 * [regime-testing]: Baseline error score: 64.0
1552123130.477 * [regime-testing]: Oracle error score: 64.0
1552123130.481 * [regime-testing]: End program error score: 0.46125562297563516