1550699503.032 * [misc]progress:  [Phase 1 of 3] Setting up.
1550699503.032 * * * [misc]progress:  [1/2] Preparing points
1550699503.032 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1550699503.033 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1550699503.037 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.039 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.041 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1550699503.048 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.051 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.054 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1550699503.061 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.066 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.071 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1550699503.078 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.086 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.096 * * * * [misc]points:  Computing exacts for 256 points
1550699503.103 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.134 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.157 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699503.167 * * * * [misc]points:  Sampling 158 additional inputs, on iter 1 have 98 / 256
1550699503.167 * * * * [misc]points:  Computing exacts on every 9 of 158 points to ramp up precision
1550699503.174 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.176 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.177 * * * * [misc]points:  Computing exacts on every 4 of 158 points to ramp up precision
1550699503.182 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.186 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.189 * * * * [misc]points:  Computing exacts on every 2 of 158 points to ramp up precision
1550699503.195 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.200 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.206 * * * * [misc]points:  Computing exacts for 158 points
1550699503.212 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.223 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.237 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699503.242 * * * * [misc]points:  Sampling 99 additional inputs, on iter 2 have 157 / 256
1550699503.243 * * * * [misc]points:  Computing exacts on every 6 of 99 points to ramp up precision
1550699503.273 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.275 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.277 * * * * [misc]points:  Computing exacts on every 3 of 99 points to ramp up precision
1550699503.283 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.286 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.288 * * * * [misc]points:  Computing exacts for 99 points
1550699503.293 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.299 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.306 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699503.310 * * * * [misc]points:  Sampling 62 additional inputs, on iter 3 have 194 / 256
1550699503.310 * * * * [misc]points:  Computing exacts on every 3 of 62 points to ramp up precision
1550699503.315 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.317 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.319 * * * * [misc]points:  Computing exacts for 62 points
1550699503.324 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.328 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.333 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699503.335 * * * * [misc]points:  Sampling 39 additional inputs, on iter 4 have 217 / 256
1550699503.335 * * * * [misc]points:  Computing exacts on every 2 of 39 points to ramp up precision
1550699503.340 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.341 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.342 * * * * [misc]points:  Computing exacts for 39 points
1550699503.349 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.352 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.354 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699503.356 * * * * [misc]points:  Sampling 22 additional inputs, on iter 5 have 234 / 256
1550699503.356 * * * * [misc]points:  Computing exacts for 22 points
1550699503.376 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.379 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.381 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699503.382 * * * * [misc]points:  Sampling 14 additional inputs, on iter 6 have 242 / 256
1550699503.382 * * * * [misc]points:  Computing exacts for 14 points
1550699503.397 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.399 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.401 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699503.401 * * * * [misc]points:  Sampling 8 additional inputs, on iter 7 have 248 / 256
1550699503.402 * * * * [misc]points:  Computing exacts for 8 points
1550699503.409 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.410 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.411 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699503.411 * * * * [misc]points:  Sampling 4 additional inputs, on iter 8 have 252 / 256
1550699503.411 * * * * [misc]points:  Computing exacts for 4 points
1550699503.418 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.419 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.419 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699503.419 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 253 / 256
1550699503.419 * * * * [misc]points:  Computing exacts for 4 points
1550699503.426 * * * * [misc]points:  Setting MPFR precision to 64
1550699503.427 * * * * [misc]points:  Setting MPFR precision to 320
1550699503.428 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699503.428 * * * * [exit]points:  Sampled 256 points with exact outputs
1550699503.428 * * * [misc]progress:  [2/2] Setting up program.
1550699503.455 * [misc]progress:  [Phase 2 of 3] Improving.
1550699503.455 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1550699503.456 * [enter]simplify:  Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
1550699503.456 * * [misc]simplify:  iters left: 6 (18 enodes)
1550699503.461 * * [misc]simplify:  iters left: 5 (47 enodes)
1550699503.471 * * [misc]simplify:  iters left: 4 (121 enodes)
1550699503.524 * * [misc]simplify:  iters left: 3 (337 enodes)
1550699503.707 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699503.707 * * [misc]simplify:  Extracting #1: cost 34 inf + 0
1550699503.708 * * [misc]simplify:  Extracting #2: cost 204 inf + 0
1550699503.710 * * [misc]simplify:  Extracting #3: cost 326 inf + 1286
1550699503.713 * * [misc]simplify:  Extracting #4: cost 362 inf + 6740
1550699503.716 * * [misc]simplify:  Extracting #5: cost 377 inf + 18286
1550699503.720 * * [misc]simplify:  Extracting #6: cost 358 inf + 29885
1550699503.731 * * [misc]simplify:  Extracting #7: cost 252 inf + 186163
1550699503.767 * * [misc]simplify:  Extracting #8: cost 47 inf + 586692
1550699503.823 * * [misc]simplify:  Extracting #9: cost 0 inf + 696950
1550699503.877 * * [misc]simplify:  Extracting #10: cost 0 inf + 694590
1550699503.929 * [exit]simplify:  Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
1550699503.929 * [misc]simplify:  Simplified (2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
1550699503.969 * * [misc]progress:  iteration 1 / 4
1550699503.970 * * * [misc]progress:  picking best candidate
1550699504.004 * * * * [misc]pick:  Picked  #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1550699504.004 * * * [misc]progress:  localizing error
1550699504.386 * * * [misc]progress:  generating rewritten candidates
1550699504.386 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2)
1550699504.391 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2 1)
1550699504.393 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 2 1 2)
1550699504.393 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2 1 2 1)
1550699504.396 * * * [misc]progress:  generating series expansions
1550699504.396 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2)
1550699504.396 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2 1)
1550699504.397 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 2 1 2)
1550699504.397 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2 1 2 1)
1550699504.397 * * * [misc]progress:  simplifying candidates
1550699504.397 * * * * [misc]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))))>
1550699504.397 * [enter]simplify:  Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))
1550699504.397 * * [misc]simplify:  iters left: 6 (17 enodes)
1550699504.405 * * [misc]simplify:  iters left: 5 (41 enodes)
1550699504.417 * * [misc]simplify:  iters left: 4 (95 enodes)
1550699504.458 * * [misc]simplify:  iters left: 3 (269 enodes)
1550699504.597 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699504.597 * * [misc]simplify:  Extracting #1: cost 46 inf + 0
1550699504.598 * * [misc]simplify:  Extracting #2: cost 206 inf + 1
1550699504.599 * * [misc]simplify:  Extracting #3: cost 258 inf + 648
1550699504.601 * * [misc]simplify:  Extracting #4: cost 307 inf + 7710
1550699504.603 * * [misc]simplify:  Extracting #5: cost 293 inf + 16045
1550699504.606 * * [misc]simplify:  Extracting #6: cost 277 inf + 25875
1550699504.615 * * [misc]simplify:  Extracting #7: cost 149 inf + 188177
1550699504.647 * * [misc]simplify:  Extracting #8: cost 7 inf + 469313
1550699504.681 * * [misc]simplify:  Extracting #9: cost 0 inf + 490709
1550699504.714 * [exit]simplify:  Simplified to (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699504.714 * [misc]simplify:  Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1550699504.714 * * * * [misc]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))))))>
1550699504.714 * [enter]simplify:  Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699504.714 * * [misc]simplify:  iters left: 6 (17 enodes)
1550699504.721 * * [misc]simplify:  iters left: 5 (41 enodes)
1550699504.733 * * [misc]simplify:  iters left: 4 (101 enodes)
1550699504.757 * * [misc]simplify:  iters left: 3 (291 enodes)
1550699504.857 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699504.857 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1550699504.858 * * [misc]simplify:  Extracting #2: cost 208 inf + 1
1550699504.859 * * [misc]simplify:  Extracting #3: cost 275 inf + 1610
1550699504.860 * * [misc]simplify:  Extracting #4: cost 319 inf + 9953
1550699504.862 * * [misc]simplify:  Extracting #5: cost 302 inf + 20857
1550699504.864 * * [misc]simplify:  Extracting #6: cost 279 inf + 36752
1550699504.875 * * [misc]simplify:  Extracting #7: cost 152 inf + 206471
1550699504.913 * * [misc]simplify:  Extracting #8: cost 9 inf + 486275
1550699504.946 * * [misc]simplify:  Extracting #9: cost 0 inf + 499918
1550699504.985 * [exit]simplify:  Simplified to (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699504.985 * [misc]simplify:  Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1550699504.985 * * * * [misc]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)))))>
1550699504.986 * [enter]simplify:  Simplifying (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
1550699504.986 * * [misc]simplify:  iters left: 6 (21 enodes)
1550699504.994 * * [misc]simplify:  iters left: 5 (59 enodes)
1550699505.013 * * [misc]simplify:  iters left: 4 (176 enodes)
1550699505.081 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699505.081 * * [misc]simplify:  Extracting #1: cost 40 inf + 0
1550699505.081 * * [misc]simplify:  Extracting #2: cost 160 inf + 0
1550699505.082 * * [misc]simplify:  Extracting #3: cost 260 inf + 1607
1550699505.083 * * [misc]simplify:  Extracting #4: cost 294 inf + 4494
1550699505.085 * * [misc]simplify:  Extracting #5: cost 292 inf + 16036
1550699505.090 * * [misc]simplify:  Extracting #6: cost 224 inf + 77978
1550699505.108 * * [misc]simplify:  Extracting #7: cost 53 inf + 358389
1550699505.143 * * [misc]simplify:  Extracting #8: cost 4 inf + 462823
1550699505.182 * * [misc]simplify:  Extracting #9: cost 0 inf + 474767
1550699505.220 * [exit]simplify:  Simplified to (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1)))
1550699505.220 * [misc]simplify:  Simplified (2 1) to (λ (a rand) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
1550699505.221 * * * * [misc]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)))))>
1550699505.221 * * * * [misc]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))))>
1550699505.221 * [enter]simplify:  Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699505.221 * * [misc]simplify:  iters left: 4 (9 enodes)
1550699505.225 * * [misc]simplify:  iters left: 3 (13 enodes)
1550699505.230 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699505.230 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699505.230 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699505.230 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550699505.230 * * [misc]simplify:  Extracting #4: cost 7 inf + 2
1550699505.230 * * [misc]simplify:  Extracting #5: cost 0 inf + 1813
1550699505.230 * [exit]simplify:  Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699505.231 * [misc]simplify:  Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
1550699505.231 * * * * [misc]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))))>
1550699505.231 * [enter]simplify:  Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1550699505.231 * * [misc]simplify:  iters left: 4 (9 enodes)
1550699505.235 * * [misc]simplify:  iters left: 3 (13 enodes)
1550699505.241 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699505.241 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699505.241 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699505.241 * * [misc]simplify:  Extracting #3: cost 5 inf + 2
1550699505.241 * * [misc]simplify:  Extracting #4: cost 7 inf + 2
1550699505.241 * * [misc]simplify:  Extracting #5: cost 4 inf + 5
1550699505.241 * * [misc]simplify:  Extracting #6: cost 0 inf + 1813
1550699505.241 * [exit]simplify:  Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1550699505.241 * [misc]simplify:  Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))
1550699505.242 * * * * [misc]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))))>
1550699505.242 * [enter]simplify:  Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1550699505.242 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699505.246 * * [misc]simplify:  iters left: 2 (12 enodes)
1550699505.250 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699505.250 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699505.250 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1550699505.251 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550699505.252 * * [misc]simplify:  Extracting #4: cost 0 inf + 930
1550699505.252 * [exit]simplify:  Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1550699505.252 * [misc]simplify:  Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
1550699505.252 * * * * [misc]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))))>
1550699505.252 * * * * [misc]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))))>
1550699505.253 * [enter]simplify:  Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
1550699505.253 * * [misc]simplify:  iters left: 6 (18 enodes)
1550699505.261 * * [misc]simplify:  iters left: 5 (47 enodes)
1550699505.277 * * [misc]simplify:  iters left: 4 (121 enodes)
1550699505.322 * * [misc]simplify:  iters left: 3 (337 enodes)
1550699505.486 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699505.487 * * [misc]simplify:  Extracting #1: cost 34 inf + 0
1550699505.487 * * [misc]simplify:  Extracting #2: cost 204 inf + 0
1550699505.488 * * [misc]simplify:  Extracting #3: cost 326 inf + 1286
1550699505.490 * * [misc]simplify:  Extracting #4: cost 362 inf + 6740
1550699505.493 * * [misc]simplify:  Extracting #5: cost 377 inf + 18286
1550699505.497 * * [misc]simplify:  Extracting #6: cost 358 inf + 29885
1550699505.508 * * [misc]simplify:  Extracting #7: cost 252 inf + 186163
1550699505.542 * * [misc]simplify:  Extracting #8: cost 47 inf + 586692
1550699505.595 * * [misc]simplify:  Extracting #9: cost 0 inf + 696950
1550699505.645 * * [misc]simplify:  Extracting #10: cost 0 inf + 694590
1550699505.688 * [exit]simplify:  Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
1550699505.688 * [misc]simplify:  Simplified (2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
1550699505.688 * * * * [misc]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))))>
1550699505.688 * [enter]simplify:  Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
1550699505.688 * * [misc]simplify:  iters left: 6 (18 enodes)
1550699505.693 * * [misc]simplify:  iters left: 5 (47 enodes)
1550699505.703 * * [misc]simplify:  iters left: 4 (121 enodes)
1550699505.732 * * [misc]simplify:  iters left: 3 (337 enodes)
1550699505.866 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699505.866 * * [misc]simplify:  Extracting #1: cost 34 inf + 0
1550699505.867 * * [misc]simplify:  Extracting #2: cost 204 inf + 0
1550699505.868 * * [misc]simplify:  Extracting #3: cost 326 inf + 1286
1550699505.871 * * [misc]simplify:  Extracting #4: cost 362 inf + 6740
1550699505.873 * * [misc]simplify:  Extracting #5: cost 377 inf + 18286
1550699505.875 * * [misc]simplify:  Extracting #6: cost 358 inf + 29885
1550699505.885 * * [misc]simplify:  Extracting #7: cost 252 inf + 186163
1550699505.929 * * [misc]simplify:  Extracting #8: cost 47 inf + 586692
1550699505.975 * * [misc]simplify:  Extracting #9: cost 0 inf + 696950
1550699506.025 * * [misc]simplify:  Extracting #10: cost 0 inf + 694590
1550699506.064 * [exit]simplify:  Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
1550699506.064 * [misc]simplify:  Simplified (2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
1550699506.064 * * * * [misc]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))))>
1550699506.064 * [enter]simplify:  Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
1550699506.064 * * [misc]simplify:  iters left: 6 (18 enodes)
1550699506.069 * * [misc]simplify:  iters left: 5 (47 enodes)
1550699506.078 * * [misc]simplify:  iters left: 4 (121 enodes)
1550699506.107 * * [misc]simplify:  iters left: 3 (337 enodes)
1550699506.253 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699506.253 * * [misc]simplify:  Extracting #1: cost 34 inf + 0
1550699506.254 * * [misc]simplify:  Extracting #2: cost 204 inf + 0
1550699506.255 * * [misc]simplify:  Extracting #3: cost 326 inf + 1286
1550699506.258 * * [misc]simplify:  Extracting #4: cost 362 inf + 6740
1550699506.261 * * [misc]simplify:  Extracting #5: cost 377 inf + 18286
1550699506.265 * * [misc]simplify:  Extracting #6: cost 358 inf + 29885
1550699506.275 * * [misc]simplify:  Extracting #7: cost 252 inf + 186163
1550699506.316 * * [misc]simplify:  Extracting #8: cost 47 inf + 586692
1550699506.361 * * [misc]simplify:  Extracting #9: cost 0 inf + 696950
1550699506.412 * * [misc]simplify:  Extracting #10: cost 0 inf + 694590
1550699506.466 * [exit]simplify:  Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
1550699506.466 * [misc]simplify:  Simplified (2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
1550699506.466 * * * * [misc]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))))>
1550699506.466 * [enter]simplify:  Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
1550699506.466 * * [misc]simplify:  iters left: 6 (18 enodes)
1550699506.472 * * [misc]simplify:  iters left: 5 (47 enodes)
1550699506.483 * * [misc]simplify:  iters left: 4 (121 enodes)
1550699506.517 * * [misc]simplify:  iters left: 3 (337 enodes)
1550699506.677 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699506.678 * * [misc]simplify:  Extracting #1: cost 34 inf + 0
1550699506.678 * * [misc]simplify:  Extracting #2: cost 204 inf + 0
1550699506.680 * * [misc]simplify:  Extracting #3: cost 326 inf + 1286
1550699506.682 * * [misc]simplify:  Extracting #4: cost 362 inf + 6740
1550699506.684 * * [misc]simplify:  Extracting #5: cost 377 inf + 18286
1550699506.687 * * [misc]simplify:  Extracting #6: cost 358 inf + 29885
1550699506.701 * * [misc]simplify:  Extracting #7: cost 252 inf + 186163
1550699506.730 * * [misc]simplify:  Extracting #8: cost 47 inf + 586692
1550699506.773 * * [misc]simplify:  Extracting #9: cost 0 inf + 696950
1550699506.821 * * [misc]simplify:  Extracting #10: cost 0 inf + 694590
1550699506.876 * [exit]simplify:  Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
1550699506.876 * [misc]simplify:  Simplified (2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
1550699506.876 * * * [misc]progress:  adding candidates to table
1550699507.772 * * [misc]progress:  iteration 2 / 4
1550699507.772 * * * [misc]progress:  picking best candidate
1550699507.929 * * * * [misc]pick:  Picked  #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1550699507.929 * * * [misc]progress:  localizing error
1550699508.042 * * * [misc]progress:  generating rewritten candidates
1550699508.042 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1550699508.047 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2)
1550699508.054 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 1)
1550699508.055 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 1 1 2)
1550699508.056 * * * [misc]progress:  generating series expansions
1550699508.056 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1550699508.056 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2)
1550699508.056 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 1)
1550699508.056 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 1 1 2)
1550699508.056 * * * [misc]progress:  simplifying candidates
1550699508.057 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1550699508.057 * [enter]simplify:  Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699508.057 * * [misc]simplify:  iters left: 6 (18 enodes)
1550699508.063 * * [misc]simplify:  iters left: 5 (41 enodes)
1550699508.090 * * [misc]simplify:  iters left: 4 (83 enodes)
1550699508.114 * * [misc]simplify:  iters left: 3 (164 enodes)
1550699508.171 * * [misc]simplify:  iters left: 2 (496 enodes)
1550699508.584 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699508.584 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1550699508.584 * * [misc]simplify:  Extracting #2: cost 23 inf + 1
1550699508.585 * * [misc]simplify:  Extracting #3: cost 121 inf + 3
1550699508.587 * * [misc]simplify:  Extracting #4: cost 477 inf + 325
1550699508.592 * * [misc]simplify:  Extracting #5: cost 788 inf + 4871
1550699508.604 * * [misc]simplify:  Extracting #6: cost 663 inf + 189244
1550699508.666 * * [misc]simplify:  Extracting #7: cost 195 inf + 927268
1550699508.759 * * [misc]simplify:  Extracting #8: cost 10 inf + 1303684
1550699508.859 * * [misc]simplify:  Extracting #9: cost 0 inf + 1332318
1550699508.959 * [exit]simplify:  Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
1550699508.959 * [misc]simplify:  Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
1550699508.960 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))))>
1550699508.960 * [enter]simplify:  Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))
1550699508.960 * * [misc]simplify:  iters left: 6 (18 enodes)
1550699508.966 * * [misc]simplify:  iters left: 5 (41 enodes)
1550699508.976 * * [misc]simplify:  iters left: 4 (83 enodes)
1550699509.000 * * [misc]simplify:  iters left: 3 (164 enodes)
1550699509.066 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699509.066 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550699509.066 * * [misc]simplify:  Extracting #2: cost 18 inf + 1
1550699509.066 * * [misc]simplify:  Extracting #3: cost 41 inf + 1
1550699509.067 * * [misc]simplify:  Extracting #4: cost 129 inf + 3
1550699509.068 * * [misc]simplify:  Extracting #5: cost 159 inf + 651
1550699509.069 * * [misc]simplify:  Extracting #6: cost 163 inf + 16579
1550699509.076 * * [misc]simplify:  Extracting #7: cost 66 inf + 116878
1550699509.090 * * [misc]simplify:  Extracting #8: cost 4 inf + 214206
1550699509.106 * * [misc]simplify:  Extracting #9: cost 0 inf + 221579
1550699509.123 * [exit]simplify:  Simplified to (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))
1550699509.123 * [misc]simplify:  Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
1550699509.124 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1550699509.124 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1550699509.124 * * [misc]simplify:  iters left: 6 (14 enodes)
1550699509.130 * * [misc]simplify:  iters left: 5 (30 enodes)
1550699509.140 * * [misc]simplify:  iters left: 4 (56 enodes)
1550699509.157 * * [misc]simplify:  iters left: 3 (122 enodes)
1550699509.211 * * [misc]simplify:  iters left: 2 (499 enodes)
1550699509.829 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699509.829 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699509.829 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699509.829 * * [misc]simplify:  Extracting #3: cost 93 inf + 1
1550699509.831 * * [misc]simplify:  Extracting #4: cost 451 inf + 2
1550699509.836 * * [misc]simplify:  Extracting #5: cost 850 inf + 2252
1550699509.843 * * [misc]simplify:  Extracting #6: cost 904 inf + 7387
1550699509.852 * * [misc]simplify:  Extracting #7: cost 835 inf + 65272
1550699509.877 * * [misc]simplify:  Extracting #8: cost 579 inf + 361623
1550699509.945 * * [misc]simplify:  Extracting #9: cost 181 inf + 1076854
1550699510.047 * * [misc]simplify:  Extracting #10: cost 6 inf + 1471563
1550699510.171 * * [misc]simplify:  Extracting #11: cost 0 inf + 1485305
1550699510.274 * * [misc]simplify:  Extracting #12: cost 0 inf + 1484905
1550699510.382 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1550699510.383 * [misc]simplify:  Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1550699510.383 * * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1550699510.383 * [enter]simplify:  Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1550699510.383 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699510.386 * * [misc]simplify:  iters left: 2 (12 enodes)
1550699510.390 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699510.390 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699510.390 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1550699510.390 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550699510.390 * * [misc]simplify:  Extracting #4: cost 0 inf + 930
1550699510.391 * [exit]simplify:  Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1550699510.391 * [misc]simplify:  Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1550699510.391 * * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
1550699510.391 * [enter]simplify:  Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699510.391 * * [misc]simplify:  iters left: 4 (12 enodes)
1550699510.395 * * [misc]simplify:  iters left: 3 (32 enodes)
1550699510.402 * * [misc]simplify:  iters left: 2 (72 enodes)
1550699510.423 * * [misc]simplify:  iters left: 1 (187 enodes)
1550699510.512 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699510.512 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1550699510.512 * * [misc]simplify:  Extracting #2: cost 127 inf + 1
1550699510.514 * * [misc]simplify:  Extracting #3: cost 199 inf + 1612
1550699510.515 * * [misc]simplify:  Extracting #4: cost 224 inf + 11556
1550699510.517 * * [misc]simplify:  Extracting #5: cost 214 inf + 19246
1550699510.520 * * [misc]simplify:  Extracting #6: cost 205 inf + 24740
1550699510.527 * * [misc]simplify:  Extracting #7: cost 101 inf + 143111
1550699510.542 * * [misc]simplify:  Extracting #8: cost 13 inf + 275987
1550699510.562 * * [misc]simplify:  Extracting #9: cost 0 inf + 294918
1550699510.587 * [exit]simplify:  Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699510.587 * [misc]simplify:  Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
1550699510.587 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1550699510.587 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1550699510.588 * [enter]simplify:  Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1550699510.588 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699510.591 * * [misc]simplify:  iters left: 2 (18 enodes)
1550699510.597 * * [misc]simplify:  iters left: 1 (32 enodes)
1550699510.607 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699510.607 * * [misc]simplify:  Extracting #1: cost 9 inf + 0
1550699510.607 * * [misc]simplify:  Extracting #2: cost 25 inf + 1
1550699510.608 * * [misc]simplify:  Extracting #3: cost 34 inf + 322
1550699510.608 * * [misc]simplify:  Extracting #4: cost 27 inf + 3209
1550699510.608 * * [misc]simplify:  Extracting #5: cost 22 inf + 4898
1550699510.609 * * [misc]simplify:  Extracting #6: cost 11 inf + 15047
1550699510.611 * * [misc]simplify:  Extracting #7: cost 0 inf + 29315
1550699510.613 * [exit]simplify:  Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1550699510.613 * [misc]simplify:  Simplified (2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
1550699510.614 * [enter]simplify:  Simplifying (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))
1550699510.614 * * [misc]simplify:  iters left: 6 (17 enodes)
1550699510.621 * * [misc]simplify:  iters left: 5 (39 enodes)
1550699510.633 * * [misc]simplify:  iters left: 4 (69 enodes)
1550699510.653 * * [misc]simplify:  iters left: 3 (135 enodes)
1550699510.710 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699510.710 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699510.710 * * [misc]simplify:  Extracting #2: cost 9 inf + 0
1550699510.710 * * [misc]simplify:  Extracting #3: cost 8 inf + 2
1550699510.710 * * [misc]simplify:  Extracting #4: cost 24 inf + 325
1550699510.710 * * [misc]simplify:  Extracting #5: cost 114 inf + 325
1550699510.711 * * [misc]simplify:  Extracting #6: cost 151 inf + 649
1550699510.712 * * [misc]simplify:  Extracting #7: cost 179 inf + 5780
1550699510.713 * * [misc]simplify:  Extracting #8: cost 171 inf + 11228
1550699510.715 * * [misc]simplify:  Extracting #9: cost 155 inf + 20299
1550699510.723 * * [misc]simplify:  Extracting #10: cost 45 inf + 156646
1550699510.736 * * [misc]simplify:  Extracting #11: cost 3 inf + 219582
1550699510.751 * * [misc]simplify:  Extracting #12: cost 0 inf + 221713
1550699510.766 * [exit]simplify:  Simplified to (+.p16 (real->posit16 1) (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
1550699510.766 * [misc]simplify:  Simplified (2 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))))
1550699510.767 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1550699510.767 * [enter]simplify:  Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699510.767 * * [misc]simplify:  iters left: 6 (18 enodes)
1550699510.775 * * [misc]simplify:  iters left: 5 (41 enodes)
1550699510.788 * * [misc]simplify:  iters left: 4 (83 enodes)
1550699510.812 * * [misc]simplify:  iters left: 3 (164 enodes)
1550699510.869 * * [misc]simplify:  iters left: 2 (496 enodes)
1550699511.670 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699511.670 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1550699511.670 * * [misc]simplify:  Extracting #2: cost 23 inf + 1
1550699511.671 * * [misc]simplify:  Extracting #3: cost 121 inf + 3
1550699511.673 * * [misc]simplify:  Extracting #4: cost 477 inf + 325
1550699511.677 * * [misc]simplify:  Extracting #5: cost 788 inf + 4871
1550699511.689 * * [misc]simplify:  Extracting #6: cost 663 inf + 189244
1550699511.749 * * [misc]simplify:  Extracting #7: cost 195 inf + 927268
1550699511.846 * * [misc]simplify:  Extracting #8: cost 10 inf + 1303684
1550699511.929 * * [misc]simplify:  Extracting #9: cost 0 inf + 1332318
1550699512.016 * [exit]simplify:  Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
1550699512.017 * [misc]simplify:  Simplified (2 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1550699512.017 * * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1550699512.017 * [enter]simplify:  Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))
1550699512.017 * * [misc]simplify:  iters left: 6 (18 enodes)
1550699512.024 * * [misc]simplify:  iters left: 5 (41 enodes)
1550699512.037 * * [misc]simplify:  iters left: 4 (83 enodes)
1550699512.059 * * [misc]simplify:  iters left: 3 (164 enodes)
1550699512.118 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699512.119 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550699512.119 * * [misc]simplify:  Extracting #2: cost 18 inf + 1
1550699512.119 * * [misc]simplify:  Extracting #3: cost 41 inf + 1
1550699512.119 * * [misc]simplify:  Extracting #4: cost 129 inf + 3
1550699512.120 * * [misc]simplify:  Extracting #5: cost 159 inf + 651
1550699512.122 * * [misc]simplify:  Extracting #6: cost 163 inf + 16579
1550699512.127 * * [misc]simplify:  Extracting #7: cost 66 inf + 116878
1550699512.139 * * [misc]simplify:  Extracting #8: cost 4 inf + 214206
1550699512.156 * * [misc]simplify:  Extracting #9: cost 0 inf + 221579
1550699512.173 * [exit]simplify:  Simplified to (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))
1550699512.173 * [misc]simplify:  Simplified (2 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
1550699512.173 * * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1550699512.174 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) a)
1550699512.174 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699512.175 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699512.177 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699512.177 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699512.177 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699512.177 * * [misc]simplify:  Extracting #3: cost 2 inf + 2
1550699512.177 * * [misc]simplify:  Extracting #4: cost 0 inf + 325
1550699512.177 * [exit]simplify:  Simplified to (*.p16 a (real->posit16 1))
1550699512.177 * [misc]simplify:  Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1550699512.177 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1550699512.177 * [enter]simplify:  Simplifying (*.p16 a (real->posit16 1))
1550699512.177 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699512.179 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699512.181 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699512.181 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699512.181 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699512.181 * * [misc]simplify:  Extracting #3: cost 0 inf + 325
1550699512.181 * [exit]simplify:  Simplified to (*.p16 a (real->posit16 1))
1550699512.181 * [misc]simplify:  Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1550699512.181 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1550699512.181 * * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1550699512.182 * [enter]simplify:  Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699512.182 * * [misc]simplify:  iters left: 6 (17 enodes)
1550699512.188 * * [misc]simplify:  iters left: 5 (41 enodes)
1550699512.199 * * [misc]simplify:  iters left: 4 (101 enodes)
1550699512.233 * * [misc]simplify:  iters left: 3 (291 enodes)
1550699512.373 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699512.373 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1550699512.374 * * [misc]simplify:  Extracting #2: cost 208 inf + 1
1550699512.376 * * [misc]simplify:  Extracting #3: cost 275 inf + 1610
1550699512.379 * * [misc]simplify:  Extracting #4: cost 319 inf + 9953
1550699512.382 * * [misc]simplify:  Extracting #5: cost 302 inf + 20857
1550699512.385 * * [misc]simplify:  Extracting #6: cost 279 inf + 36752
1550699512.398 * * [misc]simplify:  Extracting #7: cost 152 inf + 206471
1550699512.437 * * [misc]simplify:  Extracting #8: cost 9 inf + 486275
1550699512.473 * * [misc]simplify:  Extracting #9: cost 0 inf + 499918
1550699512.504 * [exit]simplify:  Simplified to (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699512.504 * [misc]simplify:  Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1550699512.504 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1550699512.505 * [enter]simplify:  Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699512.505 * * [misc]simplify:  iters left: 6 (17 enodes)
1550699512.509 * * [misc]simplify:  iters left: 5 (41 enodes)
1550699512.519 * * [misc]simplify:  iters left: 4 (101 enodes)
1550699512.553 * * [misc]simplify:  iters left: 3 (291 enodes)
1550699512.680 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699512.680 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1550699512.681 * * [misc]simplify:  Extracting #2: cost 208 inf + 1
1550699512.683 * * [misc]simplify:  Extracting #3: cost 275 inf + 1610
1550699512.685 * * [misc]simplify:  Extracting #4: cost 319 inf + 9953
1550699512.687 * * [misc]simplify:  Extracting #5: cost 302 inf + 20857
1550699512.691 * * [misc]simplify:  Extracting #6: cost 279 inf + 36752
1550699512.702 * * [misc]simplify:  Extracting #7: cost 152 inf + 206471
1550699512.739 * * [misc]simplify:  Extracting #8: cost 9 inf + 486275
1550699512.770 * * [misc]simplify:  Extracting #9: cost 0 inf + 499918
1550699512.805 * [exit]simplify:  Simplified to (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699512.806 * [misc]simplify:  Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1550699512.806 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1550699512.806 * [enter]simplify:  Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699512.806 * * [misc]simplify:  iters left: 6 (17 enodes)
1550699512.813 * * [misc]simplify:  iters left: 5 (41 enodes)
1550699512.824 * * [misc]simplify:  iters left: 4 (101 enodes)
1550699512.859 * * [misc]simplify:  iters left: 3 (291 enodes)
1550699512.982 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699512.982 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1550699512.983 * * [misc]simplify:  Extracting #2: cost 208 inf + 1
1550699512.985 * * [misc]simplify:  Extracting #3: cost 275 inf + 1610
1550699512.987 * * [misc]simplify:  Extracting #4: cost 319 inf + 9953
1550699512.989 * * [misc]simplify:  Extracting #5: cost 302 inf + 20857
1550699512.992 * * [misc]simplify:  Extracting #6: cost 279 inf + 36752
1550699513.003 * * [misc]simplify:  Extracting #7: cost 152 inf + 206471
1550699513.037 * * [misc]simplify:  Extracting #8: cost 9 inf + 486275
1550699513.072 * * [misc]simplify:  Extracting #9: cost 0 inf + 499918
1550699513.108 * [exit]simplify:  Simplified to (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699513.108 * [misc]simplify:  Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1550699513.108 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1550699513.109 * [enter]simplify:  Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699513.109 * * [misc]simplify:  iters left: 6 (17 enodes)
1550699513.115 * * [misc]simplify:  iters left: 5 (41 enodes)
1550699513.126 * * [misc]simplify:  iters left: 4 (101 enodes)
1550699513.160 * * [misc]simplify:  iters left: 3 (291 enodes)
1550699513.284 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699513.284 * * [misc]simplify:  Extracting #1: cost 48 inf + 0
1550699513.285 * * [misc]simplify:  Extracting #2: cost 208 inf + 1
1550699513.287 * * [misc]simplify:  Extracting #3: cost 275 inf + 1610
1550699513.289 * * [misc]simplify:  Extracting #4: cost 319 inf + 9953
1550699513.291 * * [misc]simplify:  Extracting #5: cost 302 inf + 20857
1550699513.294 * * [misc]simplify:  Extracting #6: cost 279 inf + 36752
1550699513.304 * * [misc]simplify:  Extracting #7: cost 152 inf + 206471
1550699513.338 * * [misc]simplify:  Extracting #8: cost 9 inf + 486275
1550699513.368 * * [misc]simplify:  Extracting #9: cost 0 inf + 499918
1550699513.406 * [exit]simplify:  Simplified to (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699513.406 * [misc]simplify:  Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1550699513.406 * * * [misc]progress:  adding candidates to table
1550699514.618 * * [misc]progress:  iteration 3 / 4
1550699514.618 * * * [misc]progress:  picking best candidate
1550699514.907 * * * * [misc]pick:  Picked  #<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)))))))>
1550699514.907 * * * [misc]progress:  localizing error
1550699515.108 * * * [misc]progress:  generating rewritten candidates
1550699515.108 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2)
1550699515.113 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2 1 1)
1550699515.115 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 2 1 1 2)
1550699515.116 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2)
1550699515.123 * * * [misc]progress:  generating series expansions
1550699515.123 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2)
1550699515.123 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2 1 1)
1550699515.123 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 2 1 1 2)
1550699515.123 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2)
1550699515.124 * * * [misc]progress:  simplifying candidates
1550699515.124 * * * * [misc]progress:  [ 1 / 13 ] 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 (/.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))))))))>
1550699515.124 * [enter]simplify:  Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699515.124 * * [misc]simplify:  iters left: 6 (18 enodes)
1550699515.133 * * [misc]simplify:  iters left: 5 (41 enodes)
1550699515.145 * * [misc]simplify:  iters left: 4 (83 enodes)
1550699515.168 * * [misc]simplify:  iters left: 3 (164 enodes)
1550699515.228 * * [misc]simplify:  iters left: 2 (496 enodes)
1550699515.631 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699515.631 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1550699515.631 * * [misc]simplify:  Extracting #2: cost 23 inf + 1
1550699515.632 * * [misc]simplify:  Extracting #3: cost 121 inf + 3
1550699515.640 * * [misc]simplify:  Extracting #4: cost 477 inf + 325
1550699515.645 * * [misc]simplify:  Extracting #5: cost 788 inf + 4871
1550699515.656 * * [misc]simplify:  Extracting #6: cost 663 inf + 189244
1550699515.710 * * [misc]simplify:  Extracting #7: cost 195 inf + 927268
1550699515.803 * * [misc]simplify:  Extracting #8: cost 10 inf + 1303684
1550699515.912 * * [misc]simplify:  Extracting #9: cost 0 inf + 1332318
1550699516.031 * [exit]simplify:  Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
1550699516.031 * [misc]simplify:  Simplified (2 2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))
1550699516.032 * * * * [misc]progress:  [ 2 / 13 ] 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 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))))))>
1550699516.032 * [enter]simplify:  Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))
1550699516.032 * * [misc]simplify:  iters left: 6 (18 enodes)
1550699516.040 * * [misc]simplify:  iters left: 5 (41 enodes)
1550699516.053 * * [misc]simplify:  iters left: 4 (83 enodes)
1550699516.076 * * [misc]simplify:  iters left: 3 (164 enodes)
1550699516.131 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699516.131 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550699516.131 * * [misc]simplify:  Extracting #2: cost 18 inf + 1
1550699516.132 * * [misc]simplify:  Extracting #3: cost 41 inf + 1
1550699516.132 * * [misc]simplify:  Extracting #4: cost 129 inf + 3
1550699516.133 * * [misc]simplify:  Extracting #5: cost 159 inf + 651
1550699516.134 * * [misc]simplify:  Extracting #6: cost 163 inf + 16579
1550699516.141 * * [misc]simplify:  Extracting #7: cost 66 inf + 116878
1550699516.154 * * [misc]simplify:  Extracting #8: cost 4 inf + 214206
1550699516.174 * * [misc]simplify:  Extracting #9: cost 0 inf + 221579
1550699516.190 * [exit]simplify:  Simplified to (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))
1550699516.190 * [misc]simplify:  Simplified (2 2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))))
1550699516.190 * * * * [misc]progress:  [ 3 / 13 ] 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 (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))))))))>
1550699516.191 * [enter]simplify:  Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1550699516.191 * * [misc]simplify:  iters left: 6 (14 enodes)
1550699516.196 * * [misc]simplify:  iters left: 5 (30 enodes)
1550699516.203 * * [misc]simplify:  iters left: 4 (56 enodes)
1550699516.217 * * [misc]simplify:  iters left: 3 (122 enodes)
1550699516.265 * * [misc]simplify:  iters left: 2 (499 enodes)
1550699516.848 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699516.848 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699516.848 * * [misc]simplify:  Extracting #2: cost 5 inf + 0
1550699516.848 * * [misc]simplify:  Extracting #3: cost 93 inf + 1
1550699516.850 * * [misc]simplify:  Extracting #4: cost 451 inf + 2
1550699516.855 * * [misc]simplify:  Extracting #5: cost 850 inf + 2252
1550699516.863 * * [misc]simplify:  Extracting #6: cost 904 inf + 7387
1550699516.881 * * [misc]simplify:  Extracting #7: cost 835 inf + 65272
1550699516.908 * * [misc]simplify:  Extracting #8: cost 579 inf + 361623
1550699516.979 * * [misc]simplify:  Extracting #9: cost 181 inf + 1076854
1550699517.105 * * [misc]simplify:  Extracting #10: cost 6 inf + 1471563
1550699517.214 * * [misc]simplify:  Extracting #11: cost 0 inf + 1485305
1550699517.317 * * [misc]simplify:  Extracting #12: cost 0 inf + 1484905
1550699517.404 * [exit]simplify:  Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1550699517.404 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
1550699517.404 * * * * [misc]progress:  [ 4 / 13 ] 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 (/.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)))))))>
1550699517.404 * [enter]simplify:  Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1550699517.405 * * [misc]simplify:  iters left: 3 (7 enodes)
1550699517.408 * * [misc]simplify:  iters left: 2 (12 enodes)
1550699517.412 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699517.412 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699517.412 * * [misc]simplify:  Extracting #2: cost 4 inf + 1
1550699517.412 * * [misc]simplify:  Extracting #3: cost 6 inf + 1
1550699517.412 * * [misc]simplify:  Extracting #4: cost 0 inf + 930
1550699517.412 * [exit]simplify:  Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1550699517.412 * [misc]simplify:  Simplified (2 2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1550699517.412 * * * * [misc]progress:  [ 5 / 13 ] 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) 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)))))))))>
1550699517.413 * [enter]simplify:  Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699517.413 * * [misc]simplify:  iters left: 4 (12 enodes)
1550699517.418 * * [misc]simplify:  iters left: 3 (32 enodes)
1550699517.427 * * [misc]simplify:  iters left: 2 (72 enodes)
1550699517.453 * * [misc]simplify:  iters left: 1 (187 enodes)
1550699517.535 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699517.536 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1550699517.536 * * [misc]simplify:  Extracting #2: cost 127 inf + 1
1550699517.537 * * [misc]simplify:  Extracting #3: cost 199 inf + 1612
1550699517.539 * * [misc]simplify:  Extracting #4: cost 224 inf + 11556
1550699517.540 * * [misc]simplify:  Extracting #5: cost 214 inf + 19246
1550699517.542 * * [misc]simplify:  Extracting #6: cost 205 inf + 24740
1550699517.550 * * [misc]simplify:  Extracting #7: cost 101 inf + 143111
1550699517.567 * * [misc]simplify:  Extracting #8: cost 13 inf + 275987
1550699517.585 * * [misc]simplify:  Extracting #9: cost 0 inf + 294918
1550699517.606 * [exit]simplify:  Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699517.606 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))
1550699517.606 * * * * [misc]progress:  [ 6 / 13 ] 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 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)))))>
1550699517.606 * * * * [misc]progress:  [ 7 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a)) (*.p16 (*.p16 (/.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)))))))>
1550699517.606 * [enter]simplify:  Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699517.606 * * [misc]simplify:  iters left: 6 (18 enodes)
1550699517.613 * * [misc]simplify:  iters left: 5 (41 enodes)
1550699517.624 * * [misc]simplify:  iters left: 4 (83 enodes)
1550699517.643 * * [misc]simplify:  iters left: 3 (164 enodes)
1550699517.691 * * [misc]simplify:  iters left: 2 (496 enodes)
1550699518.071 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699518.072 * * [misc]simplify:  Extracting #1: cost 21 inf + 0
1550699518.072 * * [misc]simplify:  Extracting #2: cost 23 inf + 1
1550699518.072 * * [misc]simplify:  Extracting #3: cost 121 inf + 3
1550699518.074 * * [misc]simplify:  Extracting #4: cost 477 inf + 325
1550699518.079 * * [misc]simplify:  Extracting #5: cost 788 inf + 4871
1550699518.091 * * [misc]simplify:  Extracting #6: cost 663 inf + 189244
1550699518.145 * * [misc]simplify:  Extracting #7: cost 195 inf + 927268
1550699518.241 * * [misc]simplify:  Extracting #8: cost 10 inf + 1303684
1550699518.345 * * [misc]simplify:  Extracting #9: cost 0 inf + 1332318
1550699518.446 * [exit]simplify:  Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
1550699518.446 * [misc]simplify:  Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
1550699518.446 * * * * [misc]progress:  [ 8 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (*.p16 (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)))))>
1550699518.446 * [enter]simplify:  Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))
1550699518.446 * * [misc]simplify:  iters left: 6 (18 enodes)
1550699518.452 * * [misc]simplify:  iters left: 5 (41 enodes)
1550699518.461 * * [misc]simplify:  iters left: 4 (83 enodes)
1550699518.478 * * [misc]simplify:  iters left: 3 (164 enodes)
1550699518.528 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699518.528 * * [misc]simplify:  Extracting #1: cost 16 inf + 0
1550699518.529 * * [misc]simplify:  Extracting #2: cost 18 inf + 1
1550699518.529 * * [misc]simplify:  Extracting #3: cost 41 inf + 1
1550699518.529 * * [misc]simplify:  Extracting #4: cost 129 inf + 3
1550699518.529 * * [misc]simplify:  Extracting #5: cost 159 inf + 651
1550699518.530 * * [misc]simplify:  Extracting #6: cost 163 inf + 16579
1550699518.534 * * [misc]simplify:  Extracting #7: cost 66 inf + 116878
1550699518.544 * * [misc]simplify:  Extracting #8: cost 4 inf + 214206
1550699518.555 * * [misc]simplify:  Extracting #9: cost 0 inf + 221579
1550699518.566 * [exit]simplify:  Simplified to (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))
1550699518.566 * [misc]simplify:  Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
1550699518.567 * * * * [misc]progress:  [ 9 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1550699518.567 * * * * [misc]progress:  [ 10 / 13 ] 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)))))))>
1550699518.567 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) a)
1550699518.567 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699518.569 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699518.572 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699518.572 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699518.572 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699518.572 * * [misc]simplify:  Extracting #3: cost 2 inf + 2
1550699518.572 * * [misc]simplify:  Extracting #4: cost 0 inf + 325
1550699518.572 * [exit]simplify:  Simplified to (*.p16 a (real->posit16 1))
1550699518.572 * [misc]simplify:  Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1550699518.572 * * * * [misc]progress:  [ 11 / 13 ] 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)))))))>
1550699518.572 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) a)
1550699518.573 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699518.574 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699518.577 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699518.577 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699518.577 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699518.577 * * [misc]simplify:  Extracting #3: cost 2 inf + 2
1550699518.577 * * [misc]simplify:  Extracting #4: cost 0 inf + 325
1550699518.577 * [exit]simplify:  Simplified to (*.p16 a (real->posit16 1))
1550699518.577 * [misc]simplify:  Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1550699518.578 * * * * [misc]progress:  [ 12 / 13 ] 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)))))))>
1550699518.578 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) a)
1550699518.578 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699518.580 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699518.583 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699518.583 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699518.583 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699518.583 * * [misc]simplify:  Extracting #3: cost 2 inf + 2
1550699518.583 * * [misc]simplify:  Extracting #4: cost 0 inf + 325
1550699518.583 * [exit]simplify:  Simplified to (*.p16 a (real->posit16 1))
1550699518.583 * [misc]simplify:  Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1550699518.583 * * * * [misc]progress:  [ 13 / 13 ] 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)))))))>
1550699518.583 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) a)
1550699518.583 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699518.585 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699518.588 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699518.588 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699518.588 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699518.588 * * [misc]simplify:  Extracting #3: cost 2 inf + 2
1550699518.588 * * [misc]simplify:  Extracting #4: cost 0 inf + 325
1550699518.589 * [exit]simplify:  Simplified to (*.p16 a (real->posit16 1))
1550699518.589 * [misc]simplify:  Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 a (real->posit16 1)) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1550699518.589 * * * [misc]progress:  adding candidates to table
1550699519.540 * * [misc]progress:  iteration 4 / 4
1550699519.540 * * * [misc]progress:  picking best candidate
1550699519.844 * * * * [misc]pick:  Picked  #<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) 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)))))))))>
1550699519.845 * * * [misc]progress:  localizing error
1550699520.019 * * * [misc]progress:  generating rewritten candidates
1550699520.019 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2)
1550699520.024 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2 2)
1550699520.024 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2)
1550699520.030 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1550699520.041 * * * [misc]progress:  generating series expansions
1550699520.041 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2)
1550699520.041 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2 2)
1550699520.041 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2)
1550699520.041 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1550699520.041 * * * [misc]progress:  simplifying candidates
1550699520.041 * * * * [misc]progress:  [ 1 / 9 ] 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 (real->posit16 1) rand) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
1550699520.041 * [enter]simplify:  Simplifying (*.p16 (real->posit16 1) rand)
1550699520.041 * * [misc]simplify:  iters left: 2 (4 enodes)
1550699520.043 * * [misc]simplify:  iters left: 1 (10 enodes)
1550699520.045 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699520.045 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699520.045 * * [misc]simplify:  Extracting #2: cost 3 inf + 1
1550699520.045 * * [misc]simplify:  Extracting #3: cost 2 inf + 2
1550699520.045 * * [misc]simplify:  Extracting #4: cost 0 inf + 325
1550699520.045 * [exit]simplify:  Simplified to (*.p16 rand (real->posit16 1))
1550699520.045 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 rand (real->posit16 1)) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
1550699520.045 * * * * [misc]progress:  [ 2 / 9 ] 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) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
1550699520.045 * [enter]simplify:  Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
1550699520.045 * * [misc]simplify:  iters left: 5 (14 enodes)
1550699520.057 * * [misc]simplify:  iters left: 4 (41 enodes)
1550699520.068 * * [misc]simplify:  iters left: 3 (108 enodes)
1550699520.103 * * [misc]simplify:  iters left: 2 (438 enodes)
1550699520.509 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699520.509 * * [misc]simplify:  Extracting #1: cost 83 inf + 0
1550699520.512 * * [misc]simplify:  Extracting #2: cost 471 inf + 1
1550699520.517 * * [misc]simplify:  Extracting #3: cost 651 inf + 9953
1550699520.531 * * [misc]simplify:  Extracting #4: cost 699 inf + 32726
1550699520.540 * * [misc]simplify:  Extracting #5: cost 662 inf + 64573
1550699520.570 * * [misc]simplify:  Extracting #6: cost 367 inf + 464714
1550699520.637 * * [misc]simplify:  Extracting #7: cost 20 inf + 1124190
1550699520.715 * * [misc]simplify:  Extracting #8: cost 0 inf + 1154503
1550699520.795 * * [misc]simplify:  Extracting #9: cost 0 inf + 1153663
1550699520.862 * [exit]simplify:  Simplified to (*.p16 (*.p16 (*.p16 rand (real->posit16 1)) (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699520.862 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (*.p16 rand (real->posit16 1)) (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
1550699520.863 * * * * [misc]progress:  [ 3 / 9 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1550699520.863 * * * * [misc]progress:  [ 4 / 9 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) a) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
1550699520.863 * [enter]simplify:  Simplifying (/.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))))))
1550699520.863 * * [misc]simplify:  iters left: 6 (17 enodes)
1550699520.870 * * [misc]simplify:  iters left: 5 (41 enodes)
1550699520.882 * * [misc]simplify:  iters left: 4 (95 enodes)
1550699520.913 * * [misc]simplify:  iters left: 3 (279 enodes)
1550699521.014 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699521.014 * * [misc]simplify:  Extracting #1: cost 67 inf + 0
1550699521.015 * * [misc]simplify:  Extracting #2: cost 235 inf + 1
1550699521.017 * * [misc]simplify:  Extracting #3: cost 318 inf + 1291
1550699521.020 * * [misc]simplify:  Extracting #4: cost 368 inf + 9311
1550699521.023 * * [misc]simplify:  Extracting #5: cost 348 inf + 20856
1550699521.030 * * [misc]simplify:  Extracting #6: cost 266 inf + 130590
1550699521.054 * * [misc]simplify:  Extracting #7: cost 85 inf + 410281
1550699521.095 * * [misc]simplify:  Extracting #8: cost 1 inf + 562380
1550699521.138 * * [misc]simplify:  Extracting #9: cost 0 inf + 565104
1550699521.181 * [exit]simplify:  Simplified to (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))
1550699521.181 * [misc]simplify:  Simplified (2 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) a) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
1550699521.181 * * * * [misc]progress:  [ 5 / 9 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (*.p16 (real->posit16 1) a)))>
1550699521.181 * * * * [misc]progress:  [ 6 / 9 ] 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) 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)))))))))>
1550699521.181 * [enter]simplify:  Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699521.181 * * [misc]simplify:  iters left: 4 (12 enodes)
1550699521.185 * * [misc]simplify:  iters left: 3 (32 enodes)
1550699521.194 * * [misc]simplify:  iters left: 2 (72 enodes)
1550699521.216 * * [misc]simplify:  iters left: 1 (187 enodes)
1550699521.283 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699521.283 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1550699521.284 * * [misc]simplify:  Extracting #2: cost 127 inf + 1
1550699521.287 * * [misc]simplify:  Extracting #3: cost 199 inf + 1612
1550699521.288 * * [misc]simplify:  Extracting #4: cost 224 inf + 11556
1550699521.290 * * [misc]simplify:  Extracting #5: cost 214 inf + 19246
1550699521.292 * * [misc]simplify:  Extracting #6: cost 205 inf + 24740
1550699521.300 * * [misc]simplify:  Extracting #7: cost 101 inf + 143111
1550699521.315 * * [misc]simplify:  Extracting #8: cost 13 inf + 275987
1550699521.329 * * [misc]simplify:  Extracting #9: cost 0 inf + 294918
1550699521.343 * [exit]simplify:  Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699521.344 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))
1550699521.344 * * * * [misc]progress:  [ 7 / 9 ] 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) 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)))))))))>
1550699521.344 * [enter]simplify:  Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699521.344 * * [misc]simplify:  iters left: 4 (12 enodes)
1550699521.347 * * [misc]simplify:  iters left: 3 (32 enodes)
1550699521.353 * * [misc]simplify:  iters left: 2 (72 enodes)
1550699521.370 * * [misc]simplify:  iters left: 1 (187 enodes)
1550699521.448 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699521.448 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1550699521.449 * * [misc]simplify:  Extracting #2: cost 127 inf + 1
1550699521.450 * * [misc]simplify:  Extracting #3: cost 199 inf + 1612
1550699521.451 * * [misc]simplify:  Extracting #4: cost 224 inf + 11556
1550699521.453 * * [misc]simplify:  Extracting #5: cost 214 inf + 19246
1550699521.455 * * [misc]simplify:  Extracting #6: cost 205 inf + 24740
1550699521.463 * * [misc]simplify:  Extracting #7: cost 101 inf + 143111
1550699521.482 * * [misc]simplify:  Extracting #8: cost 13 inf + 275987
1550699521.501 * * [misc]simplify:  Extracting #9: cost 0 inf + 294918
1550699521.520 * [exit]simplify:  Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699521.520 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))
1550699521.520 * * * * [misc]progress:  [ 8 / 9 ] 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) 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)))))))))>
1550699521.520 * [enter]simplify:  Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699521.520 * * [misc]simplify:  iters left: 4 (12 enodes)
1550699521.525 * * [misc]simplify:  iters left: 3 (32 enodes)
1550699521.534 * * [misc]simplify:  iters left: 2 (72 enodes)
1550699521.553 * * [misc]simplify:  iters left: 1 (187 enodes)
1550699521.633 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699521.634 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1550699521.634 * * [misc]simplify:  Extracting #2: cost 127 inf + 1
1550699521.635 * * [misc]simplify:  Extracting #3: cost 199 inf + 1612
1550699521.637 * * [misc]simplify:  Extracting #4: cost 224 inf + 11556
1550699521.639 * * [misc]simplify:  Extracting #5: cost 214 inf + 19246
1550699521.641 * * [misc]simplify:  Extracting #6: cost 205 inf + 24740
1550699521.648 * * [misc]simplify:  Extracting #7: cost 101 inf + 143111
1550699521.665 * * [misc]simplify:  Extracting #8: cost 13 inf + 275987
1550699521.690 * * [misc]simplify:  Extracting #9: cost 0 inf + 294918
1550699521.708 * [exit]simplify:  Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699521.708 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))
1550699521.708 * * * * [misc]progress:  [ 9 / 9 ] 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) 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)))))))))>
1550699521.708 * [enter]simplify:  Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699521.708 * * [misc]simplify:  iters left: 4 (12 enodes)
1550699521.713 * * [misc]simplify:  iters left: 3 (32 enodes)
1550699521.721 * * [misc]simplify:  iters left: 2 (72 enodes)
1550699521.743 * * [misc]simplify:  iters left: 1 (187 enodes)
1550699521.820 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699521.820 * * [misc]simplify:  Extracting #1: cost 23 inf + 0
1550699521.821 * * [misc]simplify:  Extracting #2: cost 127 inf + 1
1550699521.822 * * [misc]simplify:  Extracting #3: cost 199 inf + 1612
1550699521.823 * * [misc]simplify:  Extracting #4: cost 224 inf + 11556
1550699521.825 * * [misc]simplify:  Extracting #5: cost 214 inf + 19246
1550699521.827 * * [misc]simplify:  Extracting #6: cost 205 inf + 24740
1550699521.835 * * [misc]simplify:  Extracting #7: cost 101 inf + 143111
1550699521.851 * * [misc]simplify:  Extracting #8: cost 13 inf + 275987
1550699521.872 * * [misc]simplify:  Extracting #9: cost 0 inf + 294918
1550699521.893 * [exit]simplify:  Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1550699521.893 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))
1550699521.893 * * * [misc]progress:  adding candidates to table
1550699522.755 * [misc]progress:  [Phase 3 of 3] Extracting.
1550699522.755 * * [misc]regime:  Finding splitpoints for: (#<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 (/.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 (*.p16 (real->posit16 1) a) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #<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))))> #<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 (real->posit16 1) rand) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #<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 (real->posit16 1) a) (+.p16 (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a)) (*.p16 (*.p16 (/.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)))))))>)
1550699522.758 * * * [misc]regime-changes:  Trying 2 branch expressions: (rand a)
1550699522.758 * * * * [misc]regimes:  Trying to branch on rand from (#<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 (/.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 (*.p16 (real->posit16 1) a) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #<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))))> #<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 (real->posit16 1) rand) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #<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 (real->posit16 1) a) (+.p16 (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a)) (*.p16 (*.p16 (/.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)))))))>)
1550699523.286 * * * * [misc]regimes:  Trying to branch on a from (#<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 (/.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 (*.p16 (real->posit16 1) a) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #<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))))> #<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 (real->posit16 1) rand) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #<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 (real->posit16 1) a) (+.p16 (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a)) (*.p16 (*.p16 (/.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)))))))>)
1550699523.756 * * * [misc]regime:  Found split indices: #<option (#s(si 4 256))>
1550699523.756 * [enter]simplify:  Simplifying (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (real->posit16 1) rand) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1550699523.756 * * [misc]simplify:  iters left: 6 (22 enodes)
1550699523.759 * * [misc]simplify:  iters left: 5 (24 enodes)
1550699523.762 * * [misc]simplify:  Extracting #0: cost 1 inf + 0
1550699523.762 * * [misc]simplify:  Extracting #1: cost 3 inf + 0
1550699523.762 * * [misc]simplify:  Extracting #2: cost 7 inf + 0
1550699523.762 * * [misc]simplify:  Extracting #3: cost 10 inf + 1
1550699523.762 * * [misc]simplify:  Extracting #4: cost 13 inf + 2
1550699523.762 * * [misc]simplify:  Extracting #5: cost 13 inf + 326
1550699523.762 * * [misc]simplify:  Extracting #6: cost 15 inf + 648
1550699523.762 * * [misc]simplify:  Extracting #7: cost 12 inf + 652
1550699523.762 * * [misc]simplify:  Extracting #8: cost 8 inf + 2140
1550699523.762 * * [misc]simplify:  Extracting #9: cost 5 inf + 3828
1550699523.762 * * [misc]simplify:  Extracting #10: cost 3 inf + 6036
1550699523.763 * * [misc]simplify:  Extracting #11: cost 1 inf + 10648
1550699523.763 * * [misc]simplify:  Extracting #12: cost 0 inf + 13534
1550699523.764 * [exit]simplify:  Simplified to (+.p16 (*.p16 (real->posit16 1) a) (+.p16 (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (real->posit16 1) rand) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1550699523.764 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1550699523.793 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1550699523.801 * * * * [misc]points:  Setting MPFR precision to 64
1550699523.803 * * * * [misc]points:  Setting MPFR precision to 320
1550699523.805 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1550699523.813 * * * * [misc]points:  Setting MPFR precision to 64
1550699523.816 * * * * [misc]points:  Setting MPFR precision to 320
1550699523.820 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1550699523.827 * * * * [misc]points:  Setting MPFR precision to 64
1550699523.832 * * * * [misc]points:  Setting MPFR precision to 320
1550699523.839 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1550699523.845 * * * * [misc]points:  Setting MPFR precision to 64
1550699523.855 * * * * [misc]points:  Setting MPFR precision to 320
1550699523.869 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1550699523.897 * * * * [misc]points:  Setting MPFR precision to 64
1550699523.923 * * * * [misc]points:  Setting MPFR precision to 320
1550699523.950 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1550699523.956 * * * * [misc]points:  Setting MPFR precision to 64
1550699523.991 * * * * [misc]points:  Setting MPFR precision to 320
1550699524.031 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1550699524.074 * * * * [misc]points:  Setting MPFR precision to 64
1550699524.154 * * * * [misc]points:  Setting MPFR precision to 320
1550699524.301 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1550699524.310 * * * * [misc]points:  Setting MPFR precision to 64
1550699524.539 * * * * [misc]points:  Setting MPFR precision to 320
1550699524.768 * * * * [misc]points:  Computing exacts for 8000 points
1550699524.773 * * * * [misc]points:  Setting MPFR precision to 64
1550699525.940 * * * * [misc]points:  Setting MPFR precision to 320
1550699527.031 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699527.439 * * * * [misc]points:  Sampling 5188 additional inputs, on iter 1 have 2812 / 8000
1550699527.465 * * * * [misc]points:  Computing exacts on every 324 of 5188 points to ramp up precision
1550699527.474 * * * * [misc]points:  Setting MPFR precision to 64
1550699527.476 * * * * [misc]points:  Setting MPFR precision to 320
1550699527.478 * * * * [misc]points:  Computing exacts on every 162 of 5188 points to ramp up precision
1550699527.487 * * * * [misc]points:  Setting MPFR precision to 64
1550699527.491 * * * * [misc]points:  Setting MPFR precision to 320
1550699527.495 * * * * [misc]points:  Computing exacts on every 81 of 5188 points to ramp up precision
1550699527.503 * * * * [misc]points:  Setting MPFR precision to 64
1550699527.531 * * * * [misc]points:  Setting MPFR precision to 320
1550699527.542 * * * * [misc]points:  Computing exacts on every 40 of 5188 points to ramp up precision
1550699527.552 * * * * [misc]points:  Setting MPFR precision to 64
1550699527.566 * * * * [misc]points:  Setting MPFR precision to 320
1550699527.583 * * * * [misc]points:  Computing exacts on every 20 of 5188 points to ramp up precision
1550699527.592 * * * * [misc]points:  Setting MPFR precision to 64
1550699527.616 * * * * [misc]points:  Setting MPFR precision to 320
1550699527.636 * * * * [misc]points:  Computing exacts on every 10 of 5188 points to ramp up precision
1550699527.641 * * * * [misc]points:  Setting MPFR precision to 64
1550699527.685 * * * * [misc]points:  Setting MPFR precision to 320
1550699527.778 * * * * [misc]points:  Computing exacts on every 5 of 5188 points to ramp up precision
1550699527.788 * * * * [misc]points:  Setting MPFR precision to 64
1550699527.878 * * * * [misc]points:  Setting MPFR precision to 320
1550699528.031 * * * * [misc]points:  Computing exacts on every 2 of 5188 points to ramp up precision
1550699528.041 * * * * [misc]points:  Setting MPFR precision to 64
1550699528.242 * * * * [misc]points:  Setting MPFR precision to 320
1550699528.521 * * * * [misc]points:  Computing exacts for 5188 points
1550699528.530 * * * * [misc]points:  Setting MPFR precision to 64
1550699529.146 * * * * [misc]points:  Setting MPFR precision to 320
1550699530.397 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699530.605 * * * * [misc]points:  Sampling 3330 additional inputs, on iter 2 have 4670 / 8000
1550699530.614 * * * * [misc]points:  Computing exacts on every 208 of 3330 points to ramp up precision
1550699530.620 * * * * [misc]points:  Setting MPFR precision to 64
1550699530.621 * * * * [misc]points:  Setting MPFR precision to 320
1550699530.622 * * * * [misc]points:  Computing exacts on every 104 of 3330 points to ramp up precision
1550699530.627 * * * * [misc]points:  Setting MPFR precision to 64
1550699530.629 * * * * [misc]points:  Setting MPFR precision to 320
1550699530.631 * * * * [misc]points:  Computing exacts on every 52 of 3330 points to ramp up precision
1550699530.636 * * * * [misc]points:  Setting MPFR precision to 64
1550699530.640 * * * * [misc]points:  Setting MPFR precision to 320
1550699530.646 * * * * [misc]points:  Computing exacts on every 26 of 3330 points to ramp up precision
1550699530.651 * * * * [misc]points:  Setting MPFR precision to 64
1550699530.658 * * * * [misc]points:  Setting MPFR precision to 320
1550699530.690 * * * * [misc]points:  Computing exacts on every 13 of 3330 points to ramp up precision
1550699530.700 * * * * [misc]points:  Setting MPFR precision to 64
1550699530.728 * * * * [misc]points:  Setting MPFR precision to 320
1550699530.762 * * * * [misc]points:  Computing exacts on every 6 of 3330 points to ramp up precision
1550699530.770 * * * * [misc]points:  Setting MPFR precision to 64
1550699530.801 * * * * [misc]points:  Setting MPFR precision to 320
1550699530.843 * * * * [misc]points:  Computing exacts on every 3 of 3330 points to ramp up precision
1550699530.890 * * * * [misc]points:  Setting MPFR precision to 64
1550699530.985 * * * * [misc]points:  Setting MPFR precision to 320
1550699531.101 * * * * [misc]points:  Computing exacts for 3330 points
1550699531.159 * * * * [misc]points:  Setting MPFR precision to 64
1550699531.582 * * * * [misc]points:  Setting MPFR precision to 320
1550699532.151 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699532.348 * * * * [misc]points:  Sampling 2137 additional inputs, on iter 3 have 5863 / 8000
1550699532.359 * * * * [misc]points:  Computing exacts on every 133 of 2137 points to ramp up precision
1550699532.368 * * * * [misc]points:  Setting MPFR precision to 64
1550699532.370 * * * * [misc]points:  Setting MPFR precision to 320
1550699532.372 * * * * [misc]points:  Computing exacts on every 66 of 2137 points to ramp up precision
1550699532.382 * * * * [misc]points:  Setting MPFR precision to 64
1550699532.385 * * * * [misc]points:  Setting MPFR precision to 320
1550699532.389 * * * * [misc]points:  Computing exacts on every 33 of 2137 points to ramp up precision
1550699532.399 * * * * [misc]points:  Setting MPFR precision to 64
1550699532.406 * * * * [misc]points:  Setting MPFR precision to 320
1550699532.414 * * * * [misc]points:  Computing exacts on every 16 of 2137 points to ramp up precision
1550699532.446 * * * * [misc]points:  Setting MPFR precision to 64
1550699532.460 * * * * [misc]points:  Setting MPFR precision to 320
1550699532.478 * * * * [misc]points:  Computing exacts on every 8 of 2137 points to ramp up precision
1550699532.487 * * * * [misc]points:  Setting MPFR precision to 64
1550699532.512 * * * * [misc]points:  Setting MPFR precision to 320
1550699532.544 * * * * [misc]points:  Computing exacts on every 4 of 2137 points to ramp up precision
1550699532.553 * * * * [misc]points:  Setting MPFR precision to 64
1550699532.598 * * * * [misc]points:  Setting MPFR precision to 320
1550699532.703 * * * * [misc]points:  Computing exacts on every 2 of 2137 points to ramp up precision
1550699532.713 * * * * [misc]points:  Setting MPFR precision to 64
1550699532.788 * * * * [misc]points:  Setting MPFR precision to 320
1550699532.891 * * * * [misc]points:  Computing exacts for 2137 points
1550699532.943 * * * * [misc]points:  Setting MPFR precision to 64
1550699533.234 * * * * [misc]points:  Setting MPFR precision to 320
1550699533.594 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699533.709 * * * * [misc]points:  Sampling 1398 additional inputs, on iter 4 have 6602 / 8000
1550699533.716 * * * * [misc]points:  Computing exacts on every 87 of 1398 points to ramp up precision
1550699533.743 * * * * [misc]points:  Setting MPFR precision to 64
1550699533.745 * * * * [misc]points:  Setting MPFR precision to 320
1550699533.746 * * * * [misc]points:  Computing exacts on every 43 of 1398 points to ramp up precision
1550699533.752 * * * * [misc]points:  Setting MPFR precision to 64
1550699533.756 * * * * [misc]points:  Setting MPFR precision to 320
1550699533.761 * * * * [misc]points:  Computing exacts on every 21 of 1398 points to ramp up precision
1550699533.770 * * * * [misc]points:  Setting MPFR precision to 64
1550699533.777 * * * * [misc]points:  Setting MPFR precision to 320
1550699533.785 * * * * [misc]points:  Computing exacts on every 10 of 1398 points to ramp up precision
1550699533.790 * * * * [misc]points:  Setting MPFR precision to 64
1550699533.799 * * * * [misc]points:  Setting MPFR precision to 320
1550699533.810 * * * * [misc]points:  Computing exacts on every 5 of 1398 points to ramp up precision
1550699533.815 * * * * [misc]points:  Setting MPFR precision to 64
1550699533.838 * * * * [misc]points:  Setting MPFR precision to 320
1550699533.874 * * * * [misc]points:  Computing exacts on every 2 of 1398 points to ramp up precision
1550699533.883 * * * * [misc]points:  Setting MPFR precision to 64
1550699533.976 * * * * [misc]points:  Setting MPFR precision to 320
1550699534.037 * * * * [misc]points:  Computing exacts for 1398 points
1550699534.046 * * * * [misc]points:  Setting MPFR precision to 64
1550699534.233 * * * * [misc]points:  Setting MPFR precision to 320
1550699534.458 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699534.519 * * * * [misc]points:  Sampling 916 additional inputs, on iter 5 have 7084 / 8000
1550699534.523 * * * * [misc]points:  Computing exacts on every 57 of 916 points to ramp up precision
1550699534.532 * * * * [misc]points:  Setting MPFR precision to 64
1550699534.534 * * * * [misc]points:  Setting MPFR precision to 320
1550699534.536 * * * * [misc]points:  Computing exacts on every 28 of 916 points to ramp up precision
1550699534.545 * * * * [misc]points:  Setting MPFR precision to 64
1550699534.548 * * * * [misc]points:  Setting MPFR precision to 320
1550699534.551 * * * * [misc]points:  Computing exacts on every 14 of 916 points to ramp up precision
1550699534.560 * * * * [misc]points:  Setting MPFR precision to 64
1550699534.566 * * * * [misc]points:  Setting MPFR precision to 320
1550699534.573 * * * * [misc]points:  Computing exacts on every 7 of 916 points to ramp up precision
1550699534.583 * * * * [misc]points:  Setting MPFR precision to 64
1550699534.595 * * * * [misc]points:  Setting MPFR precision to 320
1550699534.611 * * * * [misc]points:  Computing exacts on every 3 of 916 points to ramp up precision
1550699535.153 * * * * [misc]points:  Setting MPFR precision to 64
1550699535.179 * * * * [misc]points:  Setting MPFR precision to 320
1550699535.210 * * * * [misc]points:  Computing exacts for 916 points
1550699535.219 * * * * [misc]points:  Setting MPFR precision to 64
1550699535.316 * * * * [misc]points:  Setting MPFR precision to 320
1550699535.478 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699535.520 * * * * [misc]points:  Sampling 585 additional inputs, on iter 6 have 7415 / 8000
1550699535.522 * * * * [misc]points:  Computing exacts on every 36 of 585 points to ramp up precision
1550699535.527 * * * * [misc]points:  Setting MPFR precision to 64
1550699535.529 * * * * [misc]points:  Setting MPFR precision to 320
1550699535.530 * * * * [misc]points:  Computing exacts on every 18 of 585 points to ramp up precision
1550699535.535 * * * * [misc]points:  Setting MPFR precision to 64
1550699535.537 * * * * [misc]points:  Setting MPFR precision to 320
1550699535.539 * * * * [misc]points:  Computing exacts on every 9 of 585 points to ramp up precision
1550699535.548 * * * * [misc]points:  Setting MPFR precision to 64
1550699535.555 * * * * [misc]points:  Setting MPFR precision to 320
1550699535.563 * * * * [misc]points:  Computing exacts on every 4 of 585 points to ramp up precision
1550699535.610 * * * * [misc]points:  Setting MPFR precision to 64
1550699535.625 * * * * [misc]points:  Setting MPFR precision to 320
1550699535.643 * * * * [misc]points:  Computing exacts on every 2 of 585 points to ramp up precision
1550699535.653 * * * * [misc]points:  Setting MPFR precision to 64
1550699535.674 * * * * [misc]points:  Setting MPFR precision to 320
1550699535.702 * * * * [misc]points:  Computing exacts for 585 points
1550699535.712 * * * * [misc]points:  Setting MPFR precision to 64
1550699535.773 * * * * [misc]points:  Setting MPFR precision to 320
1550699535.903 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699535.937 * * * * [misc]points:  Sampling 363 additional inputs, on iter 7 have 7637 / 8000
1550699535.939 * * * * [misc]points:  Computing exacts on every 22 of 363 points to ramp up precision
1550699535.949 * * * * [misc]points:  Setting MPFR precision to 64
1550699535.951 * * * * [misc]points:  Setting MPFR precision to 320
1550699535.954 * * * * [misc]points:  Computing exacts on every 11 of 363 points to ramp up precision
1550699535.963 * * * * [misc]points:  Setting MPFR precision to 64
1550699535.968 * * * * [misc]points:  Setting MPFR precision to 320
1550699535.972 * * * * [misc]points:  Computing exacts on every 5 of 363 points to ramp up precision
1550699535.982 * * * * [misc]points:  Setting MPFR precision to 64
1550699535.989 * * * * [misc]points:  Setting MPFR precision to 320
1550699535.998 * * * * [misc]points:  Computing exacts on every 2 of 363 points to ramp up precision
1550699536.008 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.023 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.041 * * * * [misc]points:  Computing exacts for 363 points
1550699536.090 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.132 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.182 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699536.204 * * * * [misc]points:  Sampling 232 additional inputs, on iter 8 have 7768 / 8000
1550699536.205 * * * * [misc]points:  Computing exacts on every 14 of 232 points to ramp up precision
1550699536.212 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.214 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.216 * * * * [misc]points:  Computing exacts on every 7 of 232 points to ramp up precision
1550699536.226 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.230 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.234 * * * * [misc]points:  Computing exacts on every 3 of 232 points to ramp up precision
1550699536.244 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.251 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.261 * * * * [misc]points:  Computing exacts for 232 points
1550699536.304 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.335 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.370 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699536.384 * * * * [misc]points:  Sampling 156 additional inputs, on iter 9 have 7844 / 8000
1550699536.385 * * * * [misc]points:  Computing exacts on every 9 of 156 points to ramp up precision
1550699536.396 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.399 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.401 * * * * [misc]points:  Computing exacts on every 4 of 156 points to ramp up precision
1550699536.411 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.415 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.421 * * * * [misc]points:  Computing exacts on every 2 of 156 points to ramp up precision
1550699536.431 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.436 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.444 * * * * [misc]points:  Computing exacts for 156 points
1550699536.453 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.470 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.491 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699536.500 * * * * [misc]points:  Sampling 98 additional inputs, on iter 10 have 7902 / 8000
1550699536.500 * * * * [misc]points:  Computing exacts on every 6 of 98 points to ramp up precision
1550699536.542 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.544 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.549 * * * * [misc]points:  Computing exacts on every 3 of 98 points to ramp up precision
1550699536.557 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.560 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.563 * * * * [misc]points:  Computing exacts for 98 points
1550699536.572 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.582 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.596 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699536.602 * * * * [misc]points:  Sampling 61 additional inputs, on iter 11 have 7939 / 8000
1550699536.602 * * * * [misc]points:  Computing exacts on every 3 of 61 points to ramp up precision
1550699536.611 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.614 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.616 * * * * [misc]points:  Computing exacts for 61 points
1550699536.626 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.633 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.641 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699536.644 * * * * [misc]points:  Sampling 40 additional inputs, on iter 12 have 7960 / 8000
1550699536.645 * * * * [misc]points:  Computing exacts on every 2 of 40 points to ramp up precision
1550699536.654 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.656 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.658 * * * * [misc]points:  Computing exacts for 40 points
1550699536.668 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.671 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.674 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699536.675 * * * * [misc]points:  Sampling 30 additional inputs, on iter 13 have 7970 / 8000
1550699536.675 * * * * [misc]points:  Computing exacts for 30 points
1550699536.700 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.702 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.705 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699536.706 * * * * [misc]points:  Sampling 20 additional inputs, on iter 14 have 7980 / 8000
1550699536.706 * * * * [misc]points:  Computing exacts for 20 points
1550699536.712 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.714 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.716 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699536.716 * * * * [misc]points:  Sampling 14 additional inputs, on iter 15 have 7986 / 8000
1550699536.717 * * * * [misc]points:  Computing exacts for 14 points
1550699536.721 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.722 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.723 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699536.724 * * * * [misc]points:  Sampling 9 additional inputs, on iter 16 have 7991 / 8000
1550699536.724 * * * * [misc]points:  Computing exacts for 9 points
1550699536.729 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.729 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.730 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699536.731 * * * * [misc]points:  Sampling 6 additional inputs, on iter 17 have 7994 / 8000
1550699536.731 * * * * [misc]points:  Computing exacts for 6 points
1550699536.735 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.736 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.736 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699536.737 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 7996 / 8000
1550699536.737 * * * * [misc]points:  Computing exacts for 4 points
1550699536.741 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.742 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.742 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699536.742 * * * * [misc]points:  Sampling 4 additional inputs, on iter 19 have 7997 / 8000
1550699536.742 * * * * [misc]points:  Computing exacts for 4 points
1550699536.747 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.747 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.748 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699536.748 * * * * [misc]points:  Sampling 4 additional inputs, on iter 20 have 7997 / 8000
1550699536.748 * * * * [misc]points:  Computing exacts for 4 points
1550699536.752 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.753 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.753 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699536.753 * * * * [misc]points:  Sampling 4 additional inputs, on iter 21 have 7997 / 8000
1550699536.753 * * * * [misc]points:  Computing exacts for 4 points
1550699536.758 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.759 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.759 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699536.759 * * * * [misc]points:  Sampling 4 additional inputs, on iter 22 have 7998 / 8000
1550699536.759 * * * * [misc]points:  Computing exacts for 4 points
1550699536.764 * * * * [misc]points:  Setting MPFR precision to 64
1550699536.764 * * * * [misc]points:  Setting MPFR precision to 320
1550699536.765 * * * * [misc]points:  Filtering points with unrepresentable outputs
1550699536.765 * * * * [exit]points:  Sampled 8001 points with exact outputs
1550699547.522 * [misc]regime-testing:  Baseline error score: 64.0
1550699547.526 * [misc]regime-testing:  Oracle error score: 64.0
1550699547.535 * [misc]regime-testing:  End program error score: 0.3984505228571885