1552469921.100 * [progress]: [Phase 1 of 3] Setting up.
1552469921.100 * * * [progress]: [1/2] Preparing points
1552469921.100 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
1552469921.101 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
1552469921.103 * * * * [points]: Setting MPFR precision to 64
1552469921.104 * * * * [points]: Setting MPFR precision to 320
1552469921.106 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
1552469921.110 * * * * [points]: Setting MPFR precision to 64
1552469921.111 * * * * [points]: Setting MPFR precision to 320
1552469921.113 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
1552469921.117 * * * * [points]: Setting MPFR precision to 64
1552469921.121 * * * * [points]: Setting MPFR precision to 320
1552469921.124 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
1552469921.128 * * * * [points]: Setting MPFR precision to 64
1552469921.139 * * * * [points]: Setting MPFR precision to 320
1552469921.145 * * * * [points]: Computing exacts for 256 points
1552469921.149 * * * * [points]: Setting MPFR precision to 64
1552469921.163 * * * * [points]: Setting MPFR precision to 320
1552469921.181 * * * * [points]: Filtering points with unrepresentable outputs
1552469921.187 * * * * [points]: Sampling 169 additional inputs, on iter 1 have 87 / 256
1552469921.188 * * * * [points]: Computing exacts on every 10 of 169 points to ramp up precision
1552469921.192 * * * * [points]: Setting MPFR precision to 64
1552469921.193 * * * * [points]: Setting MPFR precision to 320
1552469921.194 * * * * [points]: Computing exacts on every 5 of 169 points to ramp up precision
1552469921.198 * * * * [points]: Setting MPFR precision to 64
1552469921.200 * * * * [points]: Setting MPFR precision to 320
1552469921.202 * * * * [points]: Computing exacts on every 2 of 169 points to ramp up precision
1552469921.206 * * * * [points]: Setting MPFR precision to 64
1552469921.210 * * * * [points]: Setting MPFR precision to 320
1552469921.213 * * * * [points]: Computing exacts for 169 points
1552469921.218 * * * * [points]: Setting MPFR precision to 64
1552469921.228 * * * * [points]: Setting MPFR precision to 320
1552469921.261 * * * * [points]: Filtering points with unrepresentable outputs
1552469921.268 * * * * [points]: Sampling 108 additional inputs, on iter 2 have 148 / 256
1552469921.268 * * * * [points]: Computing exacts on every 6 of 108 points to ramp up precision
1552469921.275 * * * * [points]: Setting MPFR precision to 64
1552469921.276 * * * * [points]: Setting MPFR precision to 320
1552469921.278 * * * * [points]: Computing exacts on every 3 of 108 points to ramp up precision
1552469921.284 * * * * [points]: Setting MPFR precision to 64
1552469921.286 * * * * [points]: Setting MPFR precision to 320
1552469921.289 * * * * [points]: Computing exacts for 108 points
1552469921.295 * * * * [points]: Setting MPFR precision to 64
1552469921.304 * * * * [points]: Setting MPFR precision to 320
1552469921.315 * * * * [points]: Filtering points with unrepresentable outputs
1552469921.319 * * * * [points]: Sampling 66 additional inputs, on iter 3 have 190 / 256
1552469921.320 * * * * [points]: Computing exacts on every 4 of 66 points to ramp up precision
1552469921.326 * * * * [points]: Setting MPFR precision to 64
1552469921.328 * * * * [points]: Setting MPFR precision to 320
1552469921.329 * * * * [points]: Computing exacts on every 2 of 66 points to ramp up precision
1552469921.335 * * * * [points]: Setting MPFR precision to 64
1552469921.337 * * * * [points]: Setting MPFR precision to 320
1552469921.340 * * * * [points]: Computing exacts for 66 points
1552469921.344 * * * * [points]: Setting MPFR precision to 64
1552469921.348 * * * * [points]: Setting MPFR precision to 320
1552469921.352 * * * * [points]: Filtering points with unrepresentable outputs
1552469921.354 * * * * [points]: Sampling 43 additional inputs, on iter 4 have 213 / 256
1552469921.354 * * * * [points]: Computing exacts on every 2 of 43 points to ramp up precision
1552469921.374 * * * * [points]: Setting MPFR precision to 64
1552469921.375 * * * * [points]: Setting MPFR precision to 320
1552469921.376 * * * * [points]: Computing exacts for 43 points
1552469921.383 * * * * [points]: Setting MPFR precision to 64
1552469921.386 * * * * [points]: Setting MPFR precision to 320
1552469921.391 * * * * [points]: Filtering points with unrepresentable outputs
1552469921.392 * * * * [points]: Sampling 24 additional inputs, on iter 5 have 232 / 256
1552469921.392 * * * * [points]: Computing exacts for 24 points
1552469921.399 * * * * [points]: Setting MPFR precision to 64
1552469921.401 * * * * [points]: Setting MPFR precision to 320
1552469921.404 * * * * [points]: Filtering points with unrepresentable outputs
1552469921.405 * * * * [points]: Sampling 16 additional inputs, on iter 6 have 240 / 256
1552469921.405 * * * * [points]: Computing exacts for 16 points
1552469921.411 * * * * [points]: Setting MPFR precision to 64
1552469921.412 * * * * [points]: Setting MPFR precision to 320
1552469921.413 * * * * [points]: Filtering points with unrepresentable outputs
1552469921.414 * * * * [points]: Sampling 10 additional inputs, on iter 7 have 246 / 256
1552469921.414 * * * * [points]: Computing exacts for 10 points
1552469921.418 * * * * [points]: Setting MPFR precision to 64
1552469921.418 * * * * [points]: Setting MPFR precision to 320
1552469921.419 * * * * [points]: Filtering points with unrepresentable outputs
1552469921.419 * * * * [points]: Sampling 5 additional inputs, on iter 8 have 251 / 256
1552469921.419 * * * * [points]: Computing exacts for 5 points
1552469921.425 * * * * [points]: Setting MPFR precision to 64
1552469921.425 * * * * [points]: Setting MPFR precision to 320
1552469921.426 * * * * [points]: Filtering points with unrepresentable outputs
1552469921.426 * * * * [points]: Sampling 4 additional inputs, on iter 9 have 253 / 256
1552469921.426 * * * * [points]: Computing exacts for 4 points
1552469921.431 * * * * [points]: Setting MPFR precision to 64
1552469921.432 * * * * [points]: Setting MPFR precision to 320
1552469921.433 * * * * [points]: Filtering points with unrepresentable outputs
1552469921.433 * * * * [points]: Sampling 4 additional inputs, on iter 10 have 253 / 256
1552469921.433 * * * * [points]: Computing exacts for 4 points
1552469921.442 * * * * [points]: Setting MPFR precision to 64
1552469921.442 * * * * [points]: Setting MPFR precision to 320
1552469921.443 * * * * [points]: Filtering points with unrepresentable outputs
1552469921.443 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 255 / 256
1552469921.443 * * * * [points]: Computing exacts for 4 points
1552469921.452 * * * * [points]: Setting MPFR precision to 64
1552469921.452 * * * * [points]: Setting MPFR precision to 320
1552469921.453 * * * * [points]: Filtering points with unrepresentable outputs
1552469921.453 * * * * [points]: Sampled 258 points with exact outputs
1552469921.453 * * * [progress]: [2/2] Setting up program.
1552469921.504 * [progress]: [Phase 2 of 3] Improving.
1552469921.505 * * * * [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))))>
1552469921.505 * [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)))
1552469921.505 * * [simplify]: iters left: 6 (18 enodes)
1552469921.512 * * [simplify]: iters left: 5 (47 enodes)
1552469921.522 * * [simplify]: iters left: 4 (121 enodes)
1552469921.562 * * [simplify]: iters left: 3 (337 enodes)
1552469921.744 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469921.744 * * [simplify]: Extracting #1: cost 34 inf + 0
1552469921.745 * * [simplify]: Extracting #2: cost 204 inf + 0
1552469921.746 * * [simplify]: Extracting #3: cost 326 inf + 1286
1552469921.747 * * [simplify]: Extracting #4: cost 362 inf + 6740
1552469921.749 * * [simplify]: Extracting #5: cost 377 inf + 18286
1552469921.751 * * [simplify]: Extracting #6: cost 358 inf + 29885
1552469921.758 * * [simplify]: Extracting #7: cost 252 inf + 186163
1552469921.790 * * [simplify]: Extracting #8: cost 47 inf + 586692
1552469921.830 * * [simplify]: Extracting #9: cost 0 inf + 696950
1552469921.875 * * [simplify]: Extracting #10: cost 0 inf + 694590
1552469921.912 * [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))))))
1552469921.912 * [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)))))))
1552469921.939 * * [progress]: iteration 1 / 4
1552469921.939 * * * [progress]: picking best candidate
1552469921.963 * * * * [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))))>
1552469921.963 * * * [progress]: localizing error
1552469922.270 * * * [progress]: generating rewritten candidates
1552469922.270 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1552469922.276 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2)
1552469922.276 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1)
1552469922.279 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
1552469922.280 * * * [progress]: generating series expansions
1552469922.280 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1552469922.280 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2)
1552469922.280 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1)
1552469922.281 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
1552469922.281 * * * [progress]: simplifying candidates
1552469922.281 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1552469922.281 * [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))
1552469922.281 * * [simplify]: iters left: 6 (17 enodes)
1552469922.285 * * [simplify]: iters left: 5 (41 enodes)
1552469922.293 * * [simplify]: iters left: 4 (95 enodes)
1552469922.314 * * [simplify]: iters left: 3 (269 enodes)
1552469922.408 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469922.408 * * [simplify]: Extracting #1: cost 46 inf + 0
1552469922.409 * * [simplify]: Extracting #2: cost 206 inf + 1
1552469922.410 * * [simplify]: Extracting #3: cost 258 inf + 648
1552469922.411 * * [simplify]: Extracting #4: cost 307 inf + 7710
1552469922.412 * * [simplify]: Extracting #5: cost 293 inf + 16045
1552469922.415 * * [simplify]: Extracting #6: cost 277 inf + 25875
1552469922.428 * * [simplify]: Extracting #7: cost 149 inf + 188177
1552469922.456 * * [simplify]: Extracting #8: cost 7 inf + 469313
1552469922.482 * * [simplify]: Extracting #9: cost 0 inf + 490709
1552469922.511 * [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))))
1552469922.511 * [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))))))
1552469922.511 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))>
1552469922.511 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552469922.511 * * [simplify]: iters left: 4 (10 enodes)
1552469922.515 * * [simplify]: iters left: 3 (25 enodes)
1552469922.521 * * [simplify]: iters left: 2 (51 enodes)
1552469922.531 * * [simplify]: iters left: 1 (117 enodes)
1552469922.566 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469922.566 * * [simplify]: Extracting #1: cost 19 inf + 0
1552469922.566 * * [simplify]: Extracting #2: cost 109 inf + 0
1552469922.567 * * [simplify]: Extracting #3: cost 136 inf + 3
1552469922.567 * * [simplify]: Extracting #4: cost 158 inf + 2570
1552469922.568 * * [simplify]: Extracting #5: cost 147 inf + 12183
1552469922.569 * * [simplify]: Extracting #6: cost 128 inf + 24183
1552469922.575 * * [simplify]: Extracting #7: cost 36 inf + 137963
1552469922.584 * * [simplify]: Extracting #8: cost 0 inf + 200203
1552469922.593 * * [simplify]: Extracting #9: cost 0 inf + 200083
1552469922.601 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552469922.602 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))
1552469922.602 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469922.602 * [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))))
1552469922.602 * * [simplify]: iters left: 6 (17 enodes)
1552469922.607 * * [simplify]: iters left: 5 (41 enodes)
1552469922.614 * * [simplify]: iters left: 4 (101 enodes)
1552469922.640 * * [simplify]: iters left: 3 (291 enodes)
1552469922.753 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469922.753 * * [simplify]: Extracting #1: cost 48 inf + 0
1552469922.754 * * [simplify]: Extracting #2: cost 208 inf + 1
1552469922.756 * * [simplify]: Extracting #3: cost 275 inf + 1610
1552469922.759 * * [simplify]: Extracting #4: cost 319 inf + 9953
1552469922.763 * * [simplify]: Extracting #5: cost 302 inf + 20857
1552469922.766 * * [simplify]: Extracting #6: cost 279 inf + 36752
1552469922.774 * * [simplify]: Extracting #7: cost 152 inf + 206471
1552469922.797 * * [simplify]: Extracting #8: cost 9 inf + 486275
1552469922.826 * * [simplify]: Extracting #9: cost 0 inf + 499918
1552469922.869 * [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))))
1552469922.869 * [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))))))
1552469922.870 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469922.870 * [simplify]: Simplifying (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469922.870 * * [simplify]: iters left: 4 (10 enodes)
1552469922.875 * * [simplify]: iters left: 3 (25 enodes)
1552469922.885 * * [simplify]: iters left: 2 (51 enodes)
1552469922.906 * * [simplify]: iters left: 1 (117 enodes)
1552469922.973 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469922.974 * * [simplify]: Extracting #1: cost 19 inf + 0
1552469922.974 * * [simplify]: Extracting #2: cost 109 inf + 0
1552469922.975 * * [simplify]: Extracting #3: cost 147 inf + 3
1552469922.976 * * [simplify]: Extracting #4: cost 179 inf + 1929
1552469922.977 * * [simplify]: Extracting #5: cost 166 inf + 10904
1552469922.979 * * [simplify]: Extracting #6: cost 108 inf + 57078
1552469922.984 * * [simplify]: Extracting #7: cost 37 inf + 147287
1552469922.998 * * [simplify]: Extracting #8: cost 1 inf + 217319
1552469923.007 * * [simplify]: Extracting #9: cost 0 inf + 219483
1552469923.019 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552469923.020 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))
1552469923.020 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (a rand) (/.p16 (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))>
1552469923.020 * [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)))
1552469923.021 * * [simplify]: iters left: 6 (21 enodes)
1552469923.031 * * [simplify]: iters left: 5 (59 enodes)
1552469923.055 * * [simplify]: iters left: 4 (176 enodes)
1552469923.143 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469923.143 * * [simplify]: Extracting #1: cost 40 inf + 0
1552469923.143 * * [simplify]: Extracting #2: cost 160 inf + 0
1552469923.144 * * [simplify]: Extracting #3: cost 260 inf + 1607
1552469923.145 * * [simplify]: Extracting #4: cost 294 inf + 4494
1552469923.146 * * [simplify]: Extracting #5: cost 292 inf + 16036
1552469923.150 * * [simplify]: Extracting #6: cost 224 inf + 77978
1552469923.168 * * [simplify]: Extracting #7: cost 53 inf + 358389
1552469923.208 * * [simplify]: Extracting #8: cost 4 inf + 462823
1552469923.249 * * [simplify]: Extracting #9: cost 0 inf + 474767
1552469923.285 * [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)))
1552469923.286 * [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)))))
1552469923.286 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))>
1552469923.286 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
1552469923.286 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469923.286 * * [simplify]: iters left: 4 (9 enodes)
1552469923.289 * * [simplify]: iters left: 3 (13 enodes)
1552469923.291 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469923.291 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469923.291 * * [simplify]: Extracting #2: cost 5 inf + 0
1552469923.291 * * [simplify]: Extracting #3: cost 6 inf + 1
1552469923.291 * * [simplify]: Extracting #4: cost 7 inf + 2
1552469923.291 * * [simplify]: Extracting #5: cost 0 inf + 1813
1552469923.291 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469923.291 * [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))))
1552469923.291 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
1552469923.292 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1552469923.292 * * [simplify]: iters left: 4 (9 enodes)
1552469923.294 * * [simplify]: iters left: 3 (13 enodes)
1552469923.296 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469923.296 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469923.296 * * [simplify]: Extracting #2: cost 5 inf + 0
1552469923.296 * * [simplify]: Extracting #3: cost 5 inf + 2
1552469923.296 * * [simplify]: Extracting #4: cost 7 inf + 2
1552469923.297 * * [simplify]: Extracting #5: cost 4 inf + 5
1552469923.297 * * [simplify]: Extracting #6: cost 0 inf + 1813
1552469923.297 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1552469923.297 * [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))))
1552469923.297 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1552469923.297 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469923.297 * * [simplify]: iters left: 3 (7 enodes)
1552469923.299 * * [simplify]: iters left: 2 (12 enodes)
1552469923.301 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469923.301 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469923.301 * * [simplify]: Extracting #2: cost 4 inf + 1
1552469923.301 * * [simplify]: Extracting #3: cost 6 inf + 1
1552469923.301 * * [simplify]: Extracting #4: cost 0 inf + 930
1552469923.301 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469923.301 * [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))))
1552469923.301 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand))))>
1552469923.301 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1552469923.301 * [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)))
1552469923.302 * * [simplify]: iters left: 6 (18 enodes)
1552469923.306 * * [simplify]: iters left: 5 (47 enodes)
1552469923.319 * * [simplify]: iters left: 4 (121 enodes)
1552469923.366 * * [simplify]: iters left: 3 (337 enodes)
1552469923.548 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469923.548 * * [simplify]: Extracting #1: cost 34 inf + 0
1552469923.549 * * [simplify]: Extracting #2: cost 204 inf + 0
1552469923.550 * * [simplify]: Extracting #3: cost 326 inf + 1286
1552469923.551 * * [simplify]: Extracting #4: cost 362 inf + 6740
1552469923.553 * * [simplify]: Extracting #5: cost 377 inf + 18286
1552469923.555 * * [simplify]: Extracting #6: cost 358 inf + 29885
1552469923.562 * * [simplify]: Extracting #7: cost 252 inf + 186163
1552469923.589 * * [simplify]: Extracting #8: cost 47 inf + 586692
1552469923.628 * * [simplify]: Extracting #9: cost 0 inf + 696950
1552469923.664 * * [simplify]: Extracting #10: cost 0 inf + 694590
1552469923.700 * [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))))))
1552469923.700 * [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)))))))
1552469923.701 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1552469923.701 * [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)))
1552469923.701 * * [simplify]: iters left: 6 (18 enodes)
1552469923.706 * * [simplify]: iters left: 5 (47 enodes)
1552469923.715 * * [simplify]: iters left: 4 (121 enodes)
1552469923.743 * * [simplify]: iters left: 3 (337 enodes)
1552469923.886 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469923.887 * * [simplify]: Extracting #1: cost 34 inf + 0
1552469923.887 * * [simplify]: Extracting #2: cost 204 inf + 0
1552469923.888 * * [simplify]: Extracting #3: cost 326 inf + 1286
1552469923.889 * * [simplify]: Extracting #4: cost 362 inf + 6740
1552469923.891 * * [simplify]: Extracting #5: cost 377 inf + 18286
1552469923.894 * * [simplify]: Extracting #6: cost 358 inf + 29885
1552469923.901 * * [simplify]: Extracting #7: cost 252 inf + 186163
1552469923.934 * * [simplify]: Extracting #8: cost 47 inf + 586692
1552469923.991 * * [simplify]: Extracting #9: cost 0 inf + 696950
1552469924.044 * * [simplify]: Extracting #10: cost 0 inf + 694590
1552469924.104 * [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))))))
1552469924.104 * [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)))))))
1552469924.104 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1552469924.105 * [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)))
1552469924.105 * * [simplify]: iters left: 6 (18 enodes)
1552469924.112 * * [simplify]: iters left: 5 (47 enodes)
1552469924.128 * * [simplify]: iters left: 4 (121 enodes)
1552469924.172 * * [simplify]: iters left: 3 (337 enodes)
1552469924.353 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469924.353 * * [simplify]: Extracting #1: cost 34 inf + 0
1552469924.354 * * [simplify]: Extracting #2: cost 204 inf + 0
1552469924.356 * * [simplify]: Extracting #3: cost 326 inf + 1286
1552469924.360 * * [simplify]: Extracting #4: cost 362 inf + 6740
1552469924.363 * * [simplify]: Extracting #5: cost 377 inf + 18286
1552469924.367 * * [simplify]: Extracting #6: cost 358 inf + 29885
1552469924.379 * * [simplify]: Extracting #7: cost 252 inf + 186163
1552469924.427 * * [simplify]: Extracting #8: cost 47 inf + 586692
1552469924.487 * * [simplify]: Extracting #9: cost 0 inf + 696950
1552469924.535 * * [simplify]: Extracting #10: cost 0 inf + 694590
1552469924.573 * [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))))))
1552469924.573 * [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)))))))
1552469924.573 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1552469924.573 * [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)))
1552469924.573 * * [simplify]: iters left: 6 (18 enodes)
1552469924.579 * * [simplify]: iters left: 5 (47 enodes)
1552469924.588 * * [simplify]: iters left: 4 (121 enodes)
1552469924.624 * * [simplify]: iters left: 3 (337 enodes)
1552469924.800 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469924.800 * * [simplify]: Extracting #1: cost 34 inf + 0
1552469924.801 * * [simplify]: Extracting #2: cost 204 inf + 0
1552469924.803 * * [simplify]: Extracting #3: cost 326 inf + 1286
1552469924.805 * * [simplify]: Extracting #4: cost 362 inf + 6740
1552469924.808 * * [simplify]: Extracting #5: cost 377 inf + 18286
1552469924.811 * * [simplify]: Extracting #6: cost 358 inf + 29885
1552469924.827 * * [simplify]: Extracting #7: cost 252 inf + 186163
1552469924.871 * * [simplify]: Extracting #8: cost 47 inf + 586692
1552469924.929 * * [simplify]: Extracting #9: cost 0 inf + 696950
1552469924.989 * * [simplify]: Extracting #10: cost 0 inf + 694590
1552469925.047 * [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))))))
1552469925.047 * [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)))))))
1552469925.047 * * * [progress]: adding candidates to table
1552469926.468 * * [progress]: iteration 2 / 4
1552469926.468 * * * [progress]: picking best candidate
1552469926.615 * * * * [pick]: Picked  #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469926.615 * * * [progress]: localizing error
1552469926.712 * * * [progress]: generating rewritten candidates
1552469926.712 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1552469926.720 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1552469926.752 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2)
1552469926.753 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
1552469926.756 * * * [progress]: generating series expansions
1552469926.756 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1552469926.756 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1552469926.756 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2)
1552469926.756 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1)
1552469926.756 * * * [progress]: simplifying candidates
1552469926.756 * * * * [progress]: [ 1 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469926.756 * [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))))
1552469926.756 * * [simplify]: iters left: 6 (18 enodes)
1552469926.761 * * [simplify]: iters left: 5 (41 enodes)
1552469926.769 * * [simplify]: iters left: 4 (83 enodes)
1552469926.800 * * [simplify]: iters left: 3 (164 enodes)
1552469926.879 * * [simplify]: iters left: 2 (496 enodes)
1552469927.320 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469927.320 * * [simplify]: Extracting #1: cost 21 inf + 0
1552469927.321 * * [simplify]: Extracting #2: cost 23 inf + 1
1552469927.321 * * [simplify]: Extracting #3: cost 121 inf + 3
1552469927.323 * * [simplify]: Extracting #4: cost 477 inf + 325
1552469927.327 * * [simplify]: Extracting #5: cost 788 inf + 4871
1552469927.345 * * [simplify]: Extracting #6: cost 663 inf + 189244
1552469927.417 * * [simplify]: Extracting #7: cost 195 inf + 927268
1552469927.507 * * [simplify]: Extracting #8: cost 10 inf + 1303684
1552469927.606 * * [simplify]: Extracting #9: cost 0 inf + 1332318
1552469927.707 * [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)))))
1552469927.707 * [simplify]: Simplified (2 1 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469927.707 * * * * [progress]: [ 2 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469927.707 * [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))
1552469927.707 * * [simplify]: iters left: 6 (18 enodes)
1552469927.712 * * [simplify]: iters left: 5 (41 enodes)
1552469927.719 * * [simplify]: iters left: 4 (83 enodes)
1552469927.734 * * [simplify]: iters left: 3 (164 enodes)
1552469927.775 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469927.775 * * [simplify]: Extracting #1: cost 16 inf + 0
1552469927.776 * * [simplify]: Extracting #2: cost 18 inf + 1
1552469927.776 * * [simplify]: Extracting #3: cost 41 inf + 1
1552469927.776 * * [simplify]: Extracting #4: cost 129 inf + 3
1552469927.777 * * [simplify]: Extracting #5: cost 159 inf + 651
1552469927.777 * * [simplify]: Extracting #6: cost 163 inf + 16579
1552469927.782 * * [simplify]: Extracting #7: cost 66 inf + 116878
1552469927.798 * * [simplify]: Extracting #8: cost 4 inf + 214206
1552469927.812 * * [simplify]: Extracting #9: cost 0 inf + 221579
1552469927.824 * [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))))
1552469927.825 * [simplify]: Simplified (2 1 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469927.825 * * * * [progress]: [ 3 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469927.825 * [simplify]: Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469927.825 * * [simplify]: iters left: 6 (14 enodes)
1552469927.829 * * [simplify]: iters left: 5 (30 enodes)
1552469927.834 * * [simplify]: iters left: 4 (56 enodes)
1552469927.845 * * [simplify]: iters left: 3 (122 enodes)
1552469927.893 * * [simplify]: iters left: 2 (499 enodes)
1552469928.405 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469928.405 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469928.405 * * [simplify]: Extracting #2: cost 5 inf + 0
1552469928.405 * * [simplify]: Extracting #3: cost 93 inf + 1
1552469928.407 * * [simplify]: Extracting #4: cost 451 inf + 2
1552469928.413 * * [simplify]: Extracting #5: cost 850 inf + 2252
1552469928.420 * * [simplify]: Extracting #6: cost 904 inf + 7387
1552469928.431 * * [simplify]: Extracting #7: cost 835 inf + 65272
1552469928.454 * * [simplify]: Extracting #8: cost 579 inf + 361623
1552469928.524 * * [simplify]: Extracting #9: cost 181 inf + 1076854
1552469928.607 * * [simplify]: Extracting #10: cost 6 inf + 1471563
1552469928.713 * * [simplify]: Extracting #11: cost 0 inf + 1485305
1552469928.787 * * [simplify]: Extracting #12: cost 0 inf + 1484905
1552469928.875 * [simplify]: Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469928.875 * [simplify]: Simplified (2 1 1) to (λ (a rand) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469928.875 * * * * [progress]: [ 4 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469928.875 * * * * [progress]: [ 5 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469928.876 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469928.876 * * [simplify]: iters left: 3 (7 enodes)
1552469928.878 * * [simplify]: iters left: 2 (12 enodes)
1552469928.880 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469928.880 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469928.880 * * [simplify]: Extracting #2: cost 4 inf + 1
1552469928.880 * * [simplify]: Extracting #3: cost 6 inf + 1
1552469928.880 * * [simplify]: Extracting #4: cost 0 inf + 930
1552469928.880 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469928.880 * [simplify]: Simplified (2 1 2) to (λ (a rand) (+.p16 (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469928.880 * * * * [progress]: [ 6 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469928.880 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469928.880 * * [simplify]: iters left: 4 (12 enodes)
1552469928.885 * * [simplify]: iters left: 3 (32 enodes)
1552469928.892 * * [simplify]: iters left: 2 (72 enodes)
1552469928.907 * * [simplify]: iters left: 1 (187 enodes)
1552469928.987 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469928.987 * * [simplify]: Extracting #1: cost 23 inf + 0
1552469928.987 * * [simplify]: Extracting #2: cost 127 inf + 1
1552469928.988 * * [simplify]: Extracting #3: cost 199 inf + 1612
1552469928.989 * * [simplify]: Extracting #4: cost 224 inf + 11556
1552469928.990 * * [simplify]: Extracting #5: cost 214 inf + 19246
1552469928.991 * * [simplify]: Extracting #6: cost 205 inf + 24740
1552469928.996 * * [simplify]: Extracting #7: cost 101 inf + 143111
1552469929.010 * * [simplify]: Extracting #8: cost 13 inf + 275987
1552469929.023 * * [simplify]: Extracting #9: cost 0 inf + 294918
1552469929.045 * [simplify]: Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469929.046 * [simplify]: Simplified (2 1 1) to (λ (a rand) (+.p16 (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469929.046 * * * * [progress]: [ 7 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469929.046 * * * * [progress]: [ 8 / 23 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (real->posit16 1))))>
1552469929.046 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469929.046 * * [simplify]: iters left: 3 (7 enodes)
1552469929.050 * * [simplify]: iters left: 2 (18 enodes)
1552469929.056 * * [simplify]: iters left: 1 (32 enodes)
1552469929.068 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469929.068 * * [simplify]: Extracting #1: cost 9 inf + 0
1552469929.068 * * [simplify]: Extracting #2: cost 25 inf + 1
1552469929.068 * * [simplify]: Extracting #3: cost 34 inf + 322
1552469929.068 * * [simplify]: Extracting #4: cost 27 inf + 3209
1552469929.069 * * [simplify]: Extracting #5: cost 22 inf + 4898
1552469929.069 * * [simplify]: Extracting #6: cost 11 inf + 15047
1552469929.071 * * [simplify]: Extracting #7: cost 0 inf + 29315
1552469929.074 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469929.074 * [simplify]: Simplified (2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (real->posit16 1))))
1552469929.074 * [simplify]: Simplifying (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (real->posit16 1))
1552469929.074 * * [simplify]: iters left: 6 (17 enodes)
1552469929.082 * * [simplify]: iters left: 5 (39 enodes)
1552469929.094 * * [simplify]: iters left: 4 (69 enodes)
1552469929.116 * * [simplify]: iters left: 3 (135 enodes)
1552469929.163 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469929.163 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469929.163 * * [simplify]: Extracting #2: cost 9 inf + 0
1552469929.163 * * [simplify]: Extracting #3: cost 8 inf + 2
1552469929.163 * * [simplify]: Extracting #4: cost 24 inf + 325
1552469929.163 * * [simplify]: Extracting #5: cost 114 inf + 325
1552469929.164 * * [simplify]: Extracting #6: cost 151 inf + 649
1552469929.164 * * [simplify]: Extracting #7: cost 179 inf + 5780
1552469929.165 * * [simplify]: Extracting #8: cost 171 inf + 11228
1552469929.166 * * [simplify]: Extracting #9: cost 155 inf + 20299
1552469929.171 * * [simplify]: Extracting #10: cost 45 inf + 156646
1552469929.182 * * [simplify]: Extracting #11: cost 3 inf + 219582
1552469929.198 * * [simplify]: Extracting #12: cost 0 inf + 221713
1552469929.211 * [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))))))))
1552469929.211 * [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))))))))))
1552469929.211 * * * * [progress]: [ 9 / 23 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (real->posit16 1))))>
1552469929.211 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469929.211 * * [simplify]: iters left: 3 (7 enodes)
1552469929.213 * * [simplify]: iters left: 2 (18 enodes)
1552469929.219 * * [simplify]: iters left: 1 (32 enodes)
1552469929.225 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469929.225 * * [simplify]: Extracting #1: cost 9 inf + 0
1552469929.225 * * [simplify]: Extracting #2: cost 25 inf + 1
1552469929.225 * * [simplify]: Extracting #3: cost 34 inf + 322
1552469929.225 * * [simplify]: Extracting #4: cost 27 inf + 3209
1552469929.225 * * [simplify]: Extracting #5: cost 22 inf + 4898
1552469929.226 * * [simplify]: Extracting #6: cost 11 inf + 15047
1552469929.227 * * [simplify]: Extracting #7: cost 0 inf + 29315
1552469929.228 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469929.228 * [simplify]: Simplified (2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (real->posit16 1))))
1552469929.229 * [simplify]: Simplifying (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (real->posit16 1))
1552469929.229 * * [simplify]: iters left: 6 (17 enodes)
1552469929.233 * * [simplify]: iters left: 5 (39 enodes)
1552469929.240 * * [simplify]: iters left: 4 (69 enodes)
1552469929.259 * * [simplify]: iters left: 3 (135 enodes)
1552469929.319 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469929.319 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469929.319 * * [simplify]: Extracting #2: cost 9 inf + 0
1552469929.319 * * [simplify]: Extracting #3: cost 8 inf + 2
1552469929.320 * * [simplify]: Extracting #4: cost 24 inf + 325
1552469929.320 * * [simplify]: Extracting #5: cost 114 inf + 325
1552469929.320 * * [simplify]: Extracting #6: cost 151 inf + 649
1552469929.321 * * [simplify]: Extracting #7: cost 179 inf + 5780
1552469929.321 * * [simplify]: Extracting #8: cost 171 inf + 11228
1552469929.322 * * [simplify]: Extracting #9: cost 155 inf + 20299
1552469929.327 * * [simplify]: Extracting #10: cost 45 inf + 156646
1552469929.336 * * [simplify]: Extracting #11: cost 3 inf + 219582
1552469929.345 * * [simplify]: Extracting #12: cost 0 inf + 221713
1552469929.356 * [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))))))))
1552469929.356 * [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))))))))))
1552469929.356 * * * * [progress]: [ 10 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) a)) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469929.356 * [simplify]: Simplifying (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469929.356 * * [simplify]: iters left: 4 (9 enodes)
1552469929.359 * * [simplify]: iters left: 3 (15 enodes)
1552469929.361 * * [simplify]: iters left: 2 (17 enodes)
1552469929.365 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469929.365 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469929.365 * * [simplify]: Extracting #2: cost 5 inf + 0
1552469929.365 * * [simplify]: Extracting #3: cost 6 inf + 1
1552469929.365 * * [simplify]: Extracting #4: cost 7 inf + 2
1552469929.365 * * [simplify]: Extracting #5: cost 0 inf + 1813
1552469929.365 * [simplify]: Simplified to (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469929.365 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) a)) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469929.365 * * * * [progress]: [ 11 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 a (real->posit16 1))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))>
1552469929.365 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552469929.365 * * [simplify]: iters left: 4 (9 enodes)
1552469929.368 * * [simplify]: iters left: 3 (15 enodes)
1552469929.371 * * [simplify]: iters left: 2 (17 enodes)
1552469929.373 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469929.374 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469929.374 * * [simplify]: Extracting #2: cost 5 inf + 0
1552469929.374 * * [simplify]: Extracting #3: cost 5 inf + 2
1552469929.374 * * [simplify]: Extracting #4: cost 7 inf + 2
1552469929.374 * * [simplify]: Extracting #5: cost 4 inf + 5
1552469929.374 * * [simplify]: Extracting #6: cost 0 inf + 1813
1552469929.374 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552469929.374 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 a (real->posit16 1))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))
1552469929.374 * * * * [progress]: [ 12 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552469929.374 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a)
1552469929.374 * * [simplify]: iters left: 6 (17 enodes)
1552469929.378 * * [simplify]: iters left: 5 (41 enodes)
1552469929.386 * * [simplify]: iters left: 4 (83 enodes)
1552469929.403 * * [simplify]: iters left: 3 (164 enodes)
1552469929.445 * * [simplify]: iters left: 2 (496 enodes)
1552469929.797 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469929.797 * * [simplify]: Extracting #1: cost 21 inf + 0
1552469929.797 * * [simplify]: Extracting #2: cost 21 inf + 2
1552469929.797 * * [simplify]: Extracting #3: cost 106 inf + 325
1552469929.798 * * [simplify]: Extracting #4: cost 456 inf + 1291
1552469929.801 * * [simplify]: Extracting #5: cost 780 inf + 4830
1552469929.805 * * [simplify]: Extracting #6: cost 831 inf + 11573
1552469929.809 * * [simplify]: Extracting #7: cost 818 inf + 33038
1552469929.816 * * [simplify]: Extracting #8: cost 781 inf + 65038
1552469929.834 * * [simplify]: Extracting #9: cost 577 inf + 348857
1552469929.903 * * [simplify]: Extracting #10: cost 101 inf + 1189040
1552469929.987 * * [simplify]: Extracting #11: cost 2 inf + 1334418
1552469930.086 * * [simplify]: Extracting #12: cost 0 inf + 1334425
1552469930.208 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) a) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469930.209 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) a) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552469930.209 * * * * [progress]: [ 13 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552469930.209 * [simplify]: Simplifying (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))
1552469930.210 * * [simplify]: iters left: 6 (17 enodes)
1552469930.219 * * [simplify]: iters left: 5 (41 enodes)
1552469930.234 * * [simplify]: iters left: 4 (83 enodes)
1552469930.268 * * [simplify]: iters left: 3 (164 enodes)
1552469930.319 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469930.320 * * [simplify]: Extracting #1: cost 16 inf + 0
1552469930.320 * * [simplify]: Extracting #2: cost 16 inf + 2
1552469930.320 * * [simplify]: Extracting #3: cost 34 inf + 324
1552469930.320 * * [simplify]: Extracting #4: cost 122 inf + 325
1552469930.321 * * [simplify]: Extracting #5: cost 153 inf + 1293
1552469930.323 * * [simplify]: Extracting #6: cost 177 inf + 7067
1552469930.325 * * [simplify]: Extracting #7: cost 167 inf + 14757
1552469930.328 * * [simplify]: Extracting #8: cost 126 inf + 47865
1552469930.340 * * [simplify]: Extracting #9: cost 43 inf + 152433
1552469930.362 * * [simplify]: Extracting #10: cost 2 inf + 224802
1552469930.385 * * [simplify]: Extracting #11: cost 0 inf + 229608
1552469930.405 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 a rand))
1552469930.405 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 a rand)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552469930.405 * * * * [progress]: [ 14 / 23 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (real->posit16 1))))>
1552469930.406 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469930.406 * * [simplify]: iters left: 3 (7 enodes)
1552469930.410 * * [simplify]: iters left: 2 (18 enodes)
1552469930.415 * * [simplify]: iters left: 1 (32 enodes)
1552469930.422 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469930.423 * * [simplify]: Extracting #1: cost 9 inf + 0
1552469930.423 * * [simplify]: Extracting #2: cost 25 inf + 1
1552469930.423 * * [simplify]: Extracting #3: cost 34 inf + 322
1552469930.423 * * [simplify]: Extracting #4: cost 27 inf + 3209
1552469930.423 * * [simplify]: Extracting #5: cost 22 inf + 4898
1552469930.424 * * [simplify]: Extracting #6: cost 11 inf + 15047
1552469930.425 * * [simplify]: Extracting #7: cost 0 inf + 29315
1552469930.426 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469930.426 * [simplify]: Simplified (2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (real->posit16 1))))
1552469930.426 * [simplify]: Simplifying (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (real->posit16 1))
1552469930.426 * * [simplify]: iters left: 6 (17 enodes)
1552469930.431 * * [simplify]: iters left: 5 (39 enodes)
1552469930.439 * * [simplify]: iters left: 4 (69 enodes)
1552469930.463 * * [simplify]: iters left: 3 (135 enodes)
1552469930.510 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469930.510 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469930.510 * * [simplify]: Extracting #2: cost 9 inf + 0
1552469930.510 * * [simplify]: Extracting #3: cost 8 inf + 2
1552469930.510 * * [simplify]: Extracting #4: cost 24 inf + 325
1552469930.511 * * [simplify]: Extracting #5: cost 114 inf + 325
1552469930.512 * * [simplify]: Extracting #6: cost 151 inf + 649
1552469930.513 * * [simplify]: Extracting #7: cost 179 inf + 5780
1552469930.514 * * [simplify]: Extracting #8: cost 171 inf + 11228
1552469930.516 * * [simplify]: Extracting #9: cost 155 inf + 20299
1552469930.524 * * [simplify]: Extracting #10: cost 45 inf + 156646
1552469930.533 * * [simplify]: Extracting #11: cost 3 inf + 219582
1552469930.542 * * [simplify]: Extracting #12: cost 0 inf + 221713
1552469930.557 * [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))))))))
1552469930.557 * [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))))))))))
1552469930.557 * * * * [progress]: [ 15 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469930.557 * * * * [progress]: [ 16 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469930.557 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469930.557 * * [simplify]: iters left: 4 (9 enodes)
1552469930.561 * * [simplify]: iters left: 3 (13 enodes)
1552469930.566 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469930.566 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469930.566 * * [simplify]: Extracting #2: cost 5 inf + 0
1552469930.566 * * [simplify]: Extracting #3: cost 6 inf + 1
1552469930.566 * * [simplify]: Extracting #4: cost 7 inf + 2
1552469930.567 * * [simplify]: Extracting #5: cost 0 inf + 1813
1552469930.567 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469930.567 * [simplify]: Simplified (2 1 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469930.567 * * * * [progress]: [ 17 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469930.567 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1552469930.567 * * [simplify]: iters left: 4 (9 enodes)
1552469930.573 * * [simplify]: iters left: 3 (13 enodes)
1552469930.578 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469930.578 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469930.578 * * [simplify]: Extracting #2: cost 5 inf + 0
1552469930.578 * * [simplify]: Extracting #3: cost 5 inf + 2
1552469930.578 * * [simplify]: Extracting #4: cost 7 inf + 2
1552469930.578 * * [simplify]: Extracting #5: cost 4 inf + 5
1552469930.578 * * [simplify]: Extracting #6: cost 0 inf + 1813
1552469930.579 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1552469930.579 * [simplify]: Simplified (2 1 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469930.579 * * * * [progress]: [ 18 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469930.579 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469930.579 * * [simplify]: iters left: 3 (7 enodes)
1552469930.583 * * [simplify]: iters left: 2 (12 enodes)
1552469930.588 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469930.588 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469930.588 * * [simplify]: Extracting #2: cost 4 inf + 1
1552469930.588 * * [simplify]: Extracting #3: cost 6 inf + 1
1552469930.588 * * [simplify]: Extracting #4: cost 0 inf + 930
1552469930.588 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469930.588 * [simplify]: Simplified (2 1 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469930.588 * * * * [progress]: [ 19 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469930.588 * * * * [progress]: [ 20 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469930.589 * [simplify]: Simplifying (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469930.589 * * [simplify]: iters left: 4 (10 enodes)
1552469930.592 * * [simplify]: iters left: 3 (25 enodes)
1552469930.597 * * [simplify]: iters left: 2 (51 enodes)
1552469930.610 * * [simplify]: iters left: 1 (117 enodes)
1552469930.661 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469930.661 * * [simplify]: Extracting #1: cost 19 inf + 0
1552469930.662 * * [simplify]: Extracting #2: cost 109 inf + 0
1552469930.662 * * [simplify]: Extracting #3: cost 147 inf + 3
1552469930.663 * * [simplify]: Extracting #4: cost 179 inf + 1929
1552469930.663 * * [simplify]: Extracting #5: cost 166 inf + 10904
1552469930.665 * * [simplify]: Extracting #6: cost 108 inf + 57078
1552469930.670 * * [simplify]: Extracting #7: cost 37 inf + 147287
1552469930.682 * * [simplify]: Extracting #8: cost 1 inf + 217319
1552469930.699 * * [simplify]: Extracting #9: cost 0 inf + 219483
1552469930.719 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552469930.719 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))
1552469930.719 * * * * [progress]: [ 21 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469930.719 * [simplify]: Simplifying (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469930.719 * * [simplify]: iters left: 4 (10 enodes)
1552469930.724 * * [simplify]: iters left: 3 (25 enodes)
1552469930.733 * * [simplify]: iters left: 2 (51 enodes)
1552469930.751 * * [simplify]: iters left: 1 (117 enodes)
1552469930.817 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469930.817 * * [simplify]: Extracting #1: cost 19 inf + 0
1552469930.817 * * [simplify]: Extracting #2: cost 109 inf + 0
1552469930.818 * * [simplify]: Extracting #3: cost 147 inf + 3
1552469930.819 * * [simplify]: Extracting #4: cost 179 inf + 1929
1552469930.821 * * [simplify]: Extracting #5: cost 166 inf + 10904
1552469930.825 * * [simplify]: Extracting #6: cost 108 inf + 57078
1552469930.836 * * [simplify]: Extracting #7: cost 37 inf + 147287
1552469930.854 * * [simplify]: Extracting #8: cost 1 inf + 217319
1552469930.864 * * [simplify]: Extracting #9: cost 0 inf + 219483
1552469930.873 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552469930.873 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))
1552469930.873 * * * * [progress]: [ 22 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469930.873 * [simplify]: Simplifying (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469930.873 * * [simplify]: iters left: 4 (10 enodes)
1552469930.876 * * [simplify]: iters left: 3 (25 enodes)
1552469930.884 * * [simplify]: iters left: 2 (51 enodes)
1552469930.904 * * [simplify]: iters left: 1 (117 enodes)
1552469930.968 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469930.968 * * [simplify]: Extracting #1: cost 19 inf + 0
1552469930.968 * * [simplify]: Extracting #2: cost 109 inf + 0
1552469930.973 * * [simplify]: Extracting #3: cost 147 inf + 3
1552469930.974 * * [simplify]: Extracting #4: cost 179 inf + 1929
1552469930.976 * * [simplify]: Extracting #5: cost 166 inf + 10904
1552469930.979 * * [simplify]: Extracting #6: cost 108 inf + 57078
1552469930.991 * * [simplify]: Extracting #7: cost 37 inf + 147287
1552469931.005 * * [simplify]: Extracting #8: cost 1 inf + 217319
1552469931.015 * * [simplify]: Extracting #9: cost 0 inf + 219483
1552469931.024 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552469931.024 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))
1552469931.024 * * * * [progress]: [ 23 / 23 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469931.024 * [simplify]: Simplifying (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469931.024 * * [simplify]: iters left: 4 (10 enodes)
1552469931.027 * * [simplify]: iters left: 3 (25 enodes)
1552469931.032 * * [simplify]: iters left: 2 (51 enodes)
1552469931.042 * * [simplify]: iters left: 1 (117 enodes)
1552469931.094 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469931.094 * * [simplify]: Extracting #1: cost 19 inf + 0
1552469931.094 * * [simplify]: Extracting #2: cost 109 inf + 0
1552469931.095 * * [simplify]: Extracting #3: cost 147 inf + 3
1552469931.096 * * [simplify]: Extracting #4: cost 179 inf + 1929
1552469931.098 * * [simplify]: Extracting #5: cost 166 inf + 10904
1552469931.101 * * [simplify]: Extracting #6: cost 108 inf + 57078
1552469931.112 * * [simplify]: Extracting #7: cost 37 inf + 147287
1552469931.126 * * [simplify]: Extracting #8: cost 1 inf + 217319
1552469931.135 * * [simplify]: Extracting #9: cost 0 inf + 219483
1552469931.145 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552469931.145 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))
1552469931.145 * * * [progress]: adding candidates to table
1552469933.024 * * [progress]: iteration 3 / 4
1552469933.024 * * * [progress]: picking best candidate
1552469933.554 * * * * [pick]: Picked  #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469933.554 * * * [progress]: localizing error
1552469933.702 * * * [progress]: generating rewritten candidates
1552469933.702 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1552469933.707 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1552469933.745 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2)
1552469933.745 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1)
1552469933.752 * * * [progress]: generating series expansions
1552469933.752 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1552469933.752 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1552469933.752 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2)
1552469933.752 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1)
1552469933.752 * * * [progress]: simplifying candidates
1552469933.752 * * * * [progress]: [ 1 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) a) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469933.753 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469933.753 * * [simplify]: iters left: 6 (16 enodes)
1552469933.761 * * [simplify]: iters left: 5 (34 enodes)
1552469933.773 * * [simplify]: iters left: 4 (64 enodes)
1552469933.797 * * [simplify]: iters left: 3 (130 enodes)
1552469933.847 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469933.848 * * [simplify]: Extracting #1: cost 7 inf + 0
1552469933.848 * * [simplify]: Extracting #2: cost 10 inf + 0
1552469933.848 * * [simplify]: Extracting #3: cost 32 inf + 1
1552469933.848 * * [simplify]: Extracting #4: cost 121 inf + 2
1552469933.849 * * [simplify]: Extracting #5: cost 147 inf + 1614
1552469933.852 * * [simplify]: Extracting #6: cost 143 inf + 30338
1552469933.861 * * [simplify]: Extracting #7: cost 49 inf + 137705
1552469933.879 * * [simplify]: Extracting #8: cost 3 inf + 220618
1552469933.896 * * [simplify]: Extracting #9: cost 0 inf + 227068
1552469933.906 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552469933.906 * [simplify]: Simplified (2 1 2 2) to (λ (a rand) (+.p16 (*.p16 rand (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) a) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469933.906 * * * * [progress]: [ 2 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (+.p16 (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469933.906 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552469933.907 * * [simplify]: iters left: 6 (16 enodes)
1552469933.911 * * [simplify]: iters left: 5 (34 enodes)
1552469933.917 * * [simplify]: iters left: 4 (64 enodes)
1552469933.929 * * [simplify]: iters left: 3 (132 enodes)
1552469933.986 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469933.987 * * [simplify]: Extracting #1: cost 9 inf + 0
1552469933.987 * * [simplify]: Extracting #2: cost 12 inf + 0
1552469933.987 * * [simplify]: Extracting #3: cost 33 inf + 2
1552469933.987 * * [simplify]: Extracting #4: cost 123 inf + 2
1552469933.988 * * [simplify]: Extracting #5: cost 152 inf + 1292
1552469933.990 * * [simplify]: Extracting #6: cost 155 inf + 23196
1552469934.000 * * [simplify]: Extracting #7: cost 47 inf + 144210
1552469934.015 * * [simplify]: Extracting #8: cost 3 inf + 223510
1552469934.025 * * [simplify]: Extracting #9: cost 0 inf + 231561
1552469934.035 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469934.035 * [simplify]: Simplified (2 1 2 2) to (λ (a rand) (+.p16 (*.p16 rand (+.p16 (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469934.035 * * * * [progress]: [ 3 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469934.036 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469934.036 * * [simplify]: iters left: 3 (7 enodes)
1552469934.038 * * [simplify]: iters left: 2 (12 enodes)
1552469934.042 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469934.042 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469934.042 * * [simplify]: Extracting #2: cost 4 inf + 1
1552469934.042 * * [simplify]: Extracting #3: cost 6 inf + 1
1552469934.042 * * [simplify]: Extracting #4: cost 0 inf + 930
1552469934.043 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469934.043 * [simplify]: Simplified (2 1 2 2) to (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469934.043 * * * * [progress]: [ 4 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469934.043 * [simplify]: Simplifying (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469934.043 * * [simplify]: iters left: 4 (10 enodes)
1552469934.048 * * [simplify]: iters left: 3 (25 enodes)
1552469934.057 * * [simplify]: iters left: 2 (51 enodes)
1552469934.067 * * [simplify]: iters left: 1 (117 enodes)
1552469934.116 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469934.116 * * [simplify]: Extracting #1: cost 19 inf + 0
1552469934.116 * * [simplify]: Extracting #2: cost 109 inf + 0
1552469934.117 * * [simplify]: Extracting #3: cost 147 inf + 3
1552469934.119 * * [simplify]: Extracting #4: cost 179 inf + 1929
1552469934.120 * * [simplify]: Extracting #5: cost 166 inf + 10904
1552469934.124 * * [simplify]: Extracting #6: cost 108 inf + 57078
1552469934.134 * * [simplify]: Extracting #7: cost 37 inf + 147287
1552469934.151 * * [simplify]: Extracting #8: cost 1 inf + 217319
1552469934.163 * * [simplify]: Extracting #9: cost 0 inf + 219483
1552469934.172 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552469934.172 * [simplify]: Simplified (2 1 2 1) to (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469934.173 * * * * [progress]: [ 5 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469934.173 * * * * [progress]: [ 6 / 21 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (real->posit16 1))))>
1552469934.173 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469934.173 * * [simplify]: iters left: 3 (7 enodes)
1552469934.175 * * [simplify]: iters left: 2 (18 enodes)
1552469934.179 * * [simplify]: iters left: 1 (32 enodes)
1552469934.185 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469934.185 * * [simplify]: Extracting #1: cost 9 inf + 0
1552469934.185 * * [simplify]: Extracting #2: cost 25 inf + 1
1552469934.186 * * [simplify]: Extracting #3: cost 34 inf + 322
1552469934.186 * * [simplify]: Extracting #4: cost 27 inf + 3209
1552469934.186 * * [simplify]: Extracting #5: cost 22 inf + 4898
1552469934.186 * * [simplify]: Extracting #6: cost 11 inf + 15047
1552469934.187 * * [simplify]: Extracting #7: cost 0 inf + 29315
1552469934.189 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469934.189 * [simplify]: Simplified (2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (real->posit16 1))))
1552469934.189 * [simplify]: Simplifying (+.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (real->posit16 1))
1552469934.189 * * [simplify]: iters left: 6 (17 enodes)
1552469934.197 * * [simplify]: iters left: 5 (39 enodes)
1552469934.210 * * [simplify]: iters left: 4 (69 enodes)
1552469934.232 * * [simplify]: iters left: 3 (135 enodes)
1552469934.278 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469934.278 * * [simplify]: Extracting #1: cost 4 inf + 0
1552469934.278 * * [simplify]: Extracting #2: cost 13 inf + 0
1552469934.278 * * [simplify]: Extracting #3: cost 13 inf + 2
1552469934.279 * * [simplify]: Extracting #4: cost 27 inf + 327
1552469934.279 * * [simplify]: Extracting #5: cost 117 inf + 327
1552469934.280 * * [simplify]: Extracting #6: cost 154 inf + 1292
1552469934.281 * * [simplify]: Extracting #7: cost 176 inf + 6424
1552469934.283 * * [simplify]: Extracting #8: cost 164 inf + 14920
1552469934.290 * * [simplify]: Extracting #9: cost 58 inf + 135012
1552469934.300 * * [simplify]: Extracting #10: cost 3 inf + 227551
1552469934.310 * * [simplify]: Extracting #11: cost 0 inf + 228764
1552469934.320 * [simplify]: Simplified to (+.p16 (real->posit16 1) (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
1552469934.320 * [simplify]: Simplified (2 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))))
1552469934.320 * * * * [progress]: [ 7 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) a)) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469934.321 * [simplify]: Simplifying (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469934.321 * * [simplify]: iters left: 4 (9 enodes)
1552469934.323 * * [simplify]: iters left: 3 (15 enodes)
1552469934.326 * * [simplify]: iters left: 2 (17 enodes)
1552469934.329 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469934.329 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469934.329 * * [simplify]: Extracting #2: cost 5 inf + 0
1552469934.329 * * [simplify]: Extracting #3: cost 6 inf + 1
1552469934.329 * * [simplify]: Extracting #4: cost 7 inf + 2
1552469934.329 * * [simplify]: Extracting #5: cost 0 inf + 1813
1552469934.329 * [simplify]: Simplified to (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469934.329 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) a)) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469934.330 * * * * [progress]: [ 8 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 a (real->posit16 1))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))>
1552469934.330 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552469934.330 * * [simplify]: iters left: 4 (9 enodes)
1552469934.332 * * [simplify]: iters left: 3 (15 enodes)
1552469934.335 * * [simplify]: iters left: 2 (17 enodes)
1552469934.338 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469934.338 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469934.338 * * [simplify]: Extracting #2: cost 5 inf + 0
1552469934.338 * * [simplify]: Extracting #3: cost 5 inf + 2
1552469934.338 * * [simplify]: Extracting #4: cost 7 inf + 2
1552469934.338 * * [simplify]: Extracting #5: cost 4 inf + 5
1552469934.339 * * [simplify]: Extracting #6: cost 0 inf + 1813
1552469934.339 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552469934.339 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 a (real->posit16 1))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))
1552469934.339 * * * * [progress]: [ 9 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) a)) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552469934.339 * [simplify]: Simplifying (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) a))
1552469934.339 * * [simplify]: iters left: 6 (17 enodes)
1552469934.343 * * [simplify]: iters left: 5 (41 enodes)
1552469934.353 * * [simplify]: iters left: 4 (83 enodes)
1552469934.369 * * [simplify]: iters left: 3 (164 enodes)
1552469934.426 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469934.426 * * [simplify]: Extracting #1: cost 16 inf + 0
1552469934.426 * * [simplify]: Extracting #2: cost 16 inf + 2
1552469934.426 * * [simplify]: Extracting #3: cost 34 inf + 324
1552469934.427 * * [simplify]: Extracting #4: cost 122 inf + 325
1552469934.428 * * [simplify]: Extracting #5: cost 153 inf + 1615
1552469934.429 * * [simplify]: Extracting #6: cost 179 inf + 7067
1552469934.431 * * [simplify]: Extracting #7: cost 169 inf + 14757
1552469934.434 * * [simplify]: Extracting #8: cost 124 inf + 51758
1552469934.440 * * [simplify]: Extracting #9: cost 40 inf + 154728
1552469934.452 * * [simplify]: Extracting #10: cost 3 inf + 223843
1552469934.463 * * [simplify]: Extracting #11: cost 0 inf + 231252
1552469934.473 * [simplify]: Simplified to (*.p16 (/.p16 rand (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) a))
1552469934.473 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 (/.p16 rand (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) a)) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552469934.473 * * * * [progress]: [ 10 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) (+.p16 (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552469934.473 * [simplify]: Simplifying (*.p16 rand (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
1552469934.473 * * [simplify]: iters left: 6 (17 enodes)
1552469934.477 * * [simplify]: iters left: 5 (41 enodes)
1552469934.485 * * [simplify]: iters left: 4 (83 enodes)
1552469934.501 * * [simplify]: iters left: 3 (164 enodes)
1552469934.557 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469934.557 * * [simplify]: Extracting #1: cost 19 inf + 0
1552469934.557 * * [simplify]: Extracting #2: cost 20 inf + 2
1552469934.557 * * [simplify]: Extracting #3: cost 34 inf + 969
1552469934.558 * * [simplify]: Extracting #4: cost 121 inf + 1613
1552469934.558 * * [simplify]: Extracting #5: cost 159 inf + 1936
1552469934.559 * * [simplify]: Extracting #6: cost 185 inf + 7067
1552469934.560 * * [simplify]: Extracting #7: cost 176 inf + 14756
1552469934.561 * * [simplify]: Extracting #8: cost 171 inf + 15721
1552469934.564 * * [simplify]: Extracting #9: cost 99 inf + 92986
1552469934.571 * * [simplify]: Extracting #10: cost 14 inf + 216542
1552469934.586 * * [simplify]: Extracting #11: cost 0 inf + 238672
1552469934.607 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 a rand) (real->posit16 1)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))
1552469934.607 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (/.p16 (*.p16 (*.p16 a rand) (real->posit16 1)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (+.p16 (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552469934.607 * * * * [progress]: [ 11 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) a) rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552469934.608 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) a) rand)
1552469934.608 * * [simplify]: iters left: 6 (17 enodes)
1552469934.616 * * [simplify]: iters left: 5 (41 enodes)
1552469934.631 * * [simplify]: iters left: 4 (83 enodes)
1552469934.662 * * [simplify]: iters left: 3 (164 enodes)
1552469934.718 * * [simplify]: iters left: 2 (492 enodes)
1552469935.289 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469935.289 * * [simplify]: Extracting #1: cost 21 inf + 0
1552469935.290 * * [simplify]: Extracting #2: cost 21 inf + 2
1552469935.290 * * [simplify]: Extracting #3: cost 107 inf + 648
1552469935.293 * * [simplify]: Extracting #4: cost 468 inf + 1613
1552469935.298 * * [simplify]: Extracting #5: cost 838 inf + 3863
1552469935.305 * * [simplify]: Extracting #6: cost 894 inf + 7719
1552469935.314 * * [simplify]: Extracting #7: cost 866 inf + 40738
1552469935.333 * * [simplify]: Extracting #8: cost 696 inf + 221526
1552469935.388 * * [simplify]: Extracting #9: cost 268 inf + 937472
1552469935.502 * * [simplify]: Extracting #10: cost 14 inf + 1478717
1552469935.623 * * [simplify]: Extracting #11: cost 0 inf + 1510609
1552469935.710 * [simplify]: Simplified to (*.p16 (/.p16 (*.p16 a (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)
1552469935.710 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 (/.p16 (*.p16 a (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552469935.710 * * * * [progress]: [ 12 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (+.p16 (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552469935.710 * [simplify]: Simplifying (*.p16 (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)
1552469935.711 * * [simplify]: iters left: 6 (17 enodes)
1552469935.719 * * [simplify]: iters left: 5 (41 enodes)
1552469935.734 * * [simplify]: iters left: 4 (83 enodes)
1552469935.763 * * [simplify]: iters left: 3 (163 enodes)
1552469935.843 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469935.843 * * [simplify]: Extracting #1: cost 19 inf + 0
1552469935.843 * * [simplify]: Extracting #2: cost 20 inf + 2
1552469935.844 * * [simplify]: Extracting #3: cost 36 inf + 325
1552469935.844 * * [simplify]: Extracting #4: cost 121 inf + 1613
1552469935.844 * * [simplify]: Extracting #5: cost 155 inf + 1936
1552469935.845 * * [simplify]: Extracting #6: cost 181 inf + 6105
1552469935.846 * * [simplify]: Extracting #7: cost 171 inf + 14756
1552469935.847 * * [simplify]: Extracting #8: cost 166 inf + 15721
1552469935.849 * * [simplify]: Extracting #9: cost 112 inf + 69267
1552469935.856 * * [simplify]: Extracting #10: cost 25 inf + 189773
1552469935.866 * * [simplify]: Extracting #11: cost 0 inf + 233822
1552469935.887 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 a rand))
1552469935.887 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 a rand)) (+.p16 (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552469935.887 * * * * [progress]: [ 13 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552469935.887 * * * * [progress]: [ 14 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469935.887 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469935.888 * * [simplify]: iters left: 4 (9 enodes)
1552469935.892 * * [simplify]: iters left: 3 (13 enodes)
1552469935.897 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469935.897 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469935.897 * * [simplify]: Extracting #2: cost 5 inf + 0
1552469935.897 * * [simplify]: Extracting #3: cost 6 inf + 1
1552469935.897 * * [simplify]: Extracting #4: cost 7 inf + 2
1552469935.897 * * [simplify]: Extracting #5: cost 0 inf + 1813
1552469935.897 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469935.898 * [simplify]: Simplified (2 1 2 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469935.898 * * * * [progress]: [ 15 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469935.898 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1552469935.898 * * [simplify]: iters left: 4 (9 enodes)
1552469935.903 * * [simplify]: iters left: 3 (13 enodes)
1552469935.908 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469935.908 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469935.908 * * [simplify]: Extracting #2: cost 5 inf + 0
1552469935.908 * * [simplify]: Extracting #3: cost 5 inf + 2
1552469935.909 * * [simplify]: Extracting #4: cost 7 inf + 2
1552469935.909 * * [simplify]: Extracting #5: cost 4 inf + 5
1552469935.909 * * [simplify]: Extracting #6: cost 0 inf + 1813
1552469935.909 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1552469935.909 * [simplify]: Simplified (2 1 2 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469935.909 * * * * [progress]: [ 16 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469935.910 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469935.910 * * [simplify]: iters left: 3 (7 enodes)
1552469935.913 * * [simplify]: iters left: 2 (12 enodes)
1552469935.918 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469935.918 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469935.918 * * [simplify]: Extracting #2: cost 4 inf + 1
1552469935.918 * * [simplify]: Extracting #3: cost 6 inf + 1
1552469935.918 * * [simplify]: Extracting #4: cost 0 inf + 930
1552469935.918 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469935.918 * [simplify]: Simplified (2 1 2 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469935.918 * * * * [progress]: [ 17 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469935.919 * * * * [progress]: [ 18 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469935.919 * * * * [progress]: [ 19 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469935.919 * * * * [progress]: [ 20 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469935.919 * * * * [progress]: [ 21 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469935.919 * * * [progress]: adding candidates to table
1552469937.339 * * [progress]: iteration 4 / 4
1552469937.339 * * * [progress]: picking best candidate
1552469937.648 * * * * [pick]: Picked  #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469937.648 * * * [progress]: localizing error
1552469937.651 * * * [progress]: generating rewritten candidates
1552469937.651 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
1552469937.655 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
1552469937.674 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2)
1552469937.675 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1)
1552469937.678 * * * [progress]: generating series expansions
1552469937.678 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1552469937.678 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1552469937.678 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2)
1552469937.678 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1)
1552469937.678 * * * [progress]: simplifying candidates
1552469937.678 * * * * [progress]: [ 1 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) a) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469937.678 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469937.679 * * [simplify]: iters left: 6 (16 enodes)
1552469937.683 * * [simplify]: iters left: 5 (34 enodes)
1552469937.689 * * [simplify]: iters left: 4 (64 enodes)
1552469937.701 * * [simplify]: iters left: 3 (130 enodes)
1552469937.755 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469937.755 * * [simplify]: Extracting #1: cost 7 inf + 0
1552469937.755 * * [simplify]: Extracting #2: cost 10 inf + 0
1552469937.755 * * [simplify]: Extracting #3: cost 32 inf + 1
1552469937.755 * * [simplify]: Extracting #4: cost 121 inf + 2
1552469937.756 * * [simplify]: Extracting #5: cost 147 inf + 1614
1552469937.757 * * [simplify]: Extracting #6: cost 143 inf + 30338
1552469937.762 * * [simplify]: Extracting #7: cost 49 inf + 137705
1552469937.770 * * [simplify]: Extracting #8: cost 3 inf + 220618
1552469937.780 * * [simplify]: Extracting #9: cost 0 inf + 227068
1552469937.790 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552469937.790 * [simplify]: Simplified (2 1 2 2) to (λ (a rand) (+.p16 (*.p16 rand (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) a) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469937.790 * * * * [progress]: [ 2 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (+.p16 (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469937.791 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552469937.791 * * [simplify]: iters left: 6 (16 enodes)
1552469937.795 * * [simplify]: iters left: 5 (34 enodes)
1552469937.801 * * [simplify]: iters left: 4 (64 enodes)
1552469937.821 * * [simplify]: iters left: 3 (132 enodes)
1552469937.882 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469937.882 * * [simplify]: Extracting #1: cost 9 inf + 0
1552469937.882 * * [simplify]: Extracting #2: cost 12 inf + 0
1552469937.882 * * [simplify]: Extracting #3: cost 33 inf + 2
1552469937.882 * * [simplify]: Extracting #4: cost 123 inf + 2
1552469937.883 * * [simplify]: Extracting #5: cost 152 inf + 1292
1552469937.884 * * [simplify]: Extracting #6: cost 155 inf + 23196
1552469937.888 * * [simplify]: Extracting #7: cost 47 inf + 144210
1552469937.898 * * [simplify]: Extracting #8: cost 3 inf + 223510
1552469937.910 * * [simplify]: Extracting #9: cost 0 inf + 231561
1552469937.934 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469937.934 * [simplify]: Simplified (2 1 2 2) to (λ (a rand) (+.p16 (*.p16 rand (+.p16 (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469937.934 * * * * [progress]: [ 3 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469937.934 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469937.935 * * [simplify]: iters left: 3 (7 enodes)
1552469937.938 * * [simplify]: iters left: 2 (12 enodes)
1552469937.943 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469937.943 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469937.943 * * [simplify]: Extracting #2: cost 4 inf + 1
1552469937.943 * * [simplify]: Extracting #3: cost 6 inf + 1
1552469937.943 * * [simplify]: Extracting #4: cost 0 inf + 930
1552469937.943 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469937.943 * [simplify]: Simplified (2 1 2 2) to (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469937.943 * * * * [progress]: [ 4 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469937.944 * [simplify]: Simplifying (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469937.944 * * [simplify]: iters left: 4 (10 enodes)
1552469937.948 * * [simplify]: iters left: 3 (25 enodes)
1552469937.953 * * [simplify]: iters left: 2 (51 enodes)
1552469937.963 * * [simplify]: iters left: 1 (117 enodes)
1552469937.996 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469937.996 * * [simplify]: Extracting #1: cost 19 inf + 0
1552469937.996 * * [simplify]: Extracting #2: cost 109 inf + 0
1552469937.996 * * [simplify]: Extracting #3: cost 147 inf + 3
1552469937.997 * * [simplify]: Extracting #4: cost 179 inf + 1929
1552469937.998 * * [simplify]: Extracting #5: cost 166 inf + 10904
1552469937.999 * * [simplify]: Extracting #6: cost 108 inf + 57078
1552469938.007 * * [simplify]: Extracting #7: cost 37 inf + 147287
1552469938.016 * * [simplify]: Extracting #8: cost 1 inf + 217319
1552469938.025 * * [simplify]: Extracting #9: cost 0 inf + 219483
1552469938.035 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552469938.035 * [simplify]: Simplified (2 1 2 1) to (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469938.035 * * * * [progress]: [ 5 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469938.035 * * * * [progress]: [ 6 / 21 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (real->posit16 1))))>
1552469938.035 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469938.035 * * [simplify]: iters left: 3 (7 enodes)
1552469938.037 * * [simplify]: iters left: 2 (18 enodes)
1552469938.041 * * [simplify]: iters left: 1 (32 enodes)
1552469938.048 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469938.048 * * [simplify]: Extracting #1: cost 9 inf + 0
1552469938.048 * * [simplify]: Extracting #2: cost 25 inf + 1
1552469938.048 * * [simplify]: Extracting #3: cost 34 inf + 322
1552469938.048 * * [simplify]: Extracting #4: cost 27 inf + 3209
1552469938.048 * * [simplify]: Extracting #5: cost 22 inf + 4898
1552469938.049 * * [simplify]: Extracting #6: cost 11 inf + 15047
1552469938.050 * * [simplify]: Extracting #7: cost 0 inf + 29315
1552469938.051 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469938.051 * [simplify]: Simplified (2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (real->posit16 1))))
1552469938.051 * [simplify]: Simplifying (+.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (real->posit16 1))
1552469938.052 * * [simplify]: iters left: 6 (17 enodes)
1552469938.056 * * [simplify]: iters left: 5 (39 enodes)
1552469938.063 * * [simplify]: iters left: 4 (69 enodes)
1552469938.076 * * [simplify]: iters left: 3 (135 enodes)
1552469938.114 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469938.114 * * [simplify]: Extracting #1: cost 4 inf + 0
1552469938.114 * * [simplify]: Extracting #2: cost 13 inf + 0
1552469938.114 * * [simplify]: Extracting #3: cost 13 inf + 2
1552469938.114 * * [simplify]: Extracting #4: cost 27 inf + 327
1552469938.114 * * [simplify]: Extracting #5: cost 117 inf + 327
1552469938.115 * * [simplify]: Extracting #6: cost 154 inf + 1292
1552469938.116 * * [simplify]: Extracting #7: cost 176 inf + 6424
1552469938.116 * * [simplify]: Extracting #8: cost 164 inf + 14920
1552469938.121 * * [simplify]: Extracting #9: cost 58 inf + 135012
1552469938.130 * * [simplify]: Extracting #10: cost 3 inf + 227551
1552469938.140 * * [simplify]: Extracting #11: cost 0 inf + 228764
1552469938.154 * [simplify]: Simplified to (+.p16 (real->posit16 1) (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
1552469938.154 * [simplify]: Simplified (2 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))))
1552469938.154 * * * * [progress]: [ 7 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) a)) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469938.154 * [simplify]: Simplifying (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469938.154 * * [simplify]: iters left: 4 (9 enodes)
1552469938.158 * * [simplify]: iters left: 3 (15 enodes)
1552469938.163 * * [simplify]: iters left: 2 (17 enodes)
1552469938.169 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469938.169 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469938.169 * * [simplify]: Extracting #2: cost 5 inf + 0
1552469938.169 * * [simplify]: Extracting #3: cost 6 inf + 1
1552469938.169 * * [simplify]: Extracting #4: cost 7 inf + 2
1552469938.169 * * [simplify]: Extracting #5: cost 0 inf + 1813
1552469938.169 * [simplify]: Simplified to (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469938.169 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) a)) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469938.169 * * * * [progress]: [ 8 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 a (real->posit16 1))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))>
1552469938.170 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552469938.170 * * [simplify]: iters left: 4 (9 enodes)
1552469938.174 * * [simplify]: iters left: 3 (15 enodes)
1552469938.180 * * [simplify]: iters left: 2 (17 enodes)
1552469938.183 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469938.184 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469938.184 * * [simplify]: Extracting #2: cost 5 inf + 0
1552469938.184 * * [simplify]: Extracting #3: cost 5 inf + 2
1552469938.184 * * [simplify]: Extracting #4: cost 7 inf + 2
1552469938.184 * * [simplify]: Extracting #5: cost 4 inf + 5
1552469938.184 * * [simplify]: Extracting #6: cost 0 inf + 1813
1552469938.184 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1552469938.184 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 a (real->posit16 1))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))
1552469938.184 * * * * [progress]: [ 9 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) a)) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552469938.184 * [simplify]: Simplifying (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) a))
1552469938.184 * * [simplify]: iters left: 6 (17 enodes)
1552469938.189 * * [simplify]: iters left: 5 (41 enodes)
1552469938.197 * * [simplify]: iters left: 4 (83 enodes)
1552469938.218 * * [simplify]: iters left: 3 (164 enodes)
1552469938.282 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469938.282 * * [simplify]: Extracting #1: cost 16 inf + 0
1552469938.282 * * [simplify]: Extracting #2: cost 16 inf + 2
1552469938.282 * * [simplify]: Extracting #3: cost 34 inf + 324
1552469938.283 * * [simplify]: Extracting #4: cost 122 inf + 325
1552469938.283 * * [simplify]: Extracting #5: cost 153 inf + 1615
1552469938.284 * * [simplify]: Extracting #6: cost 179 inf + 7067
1552469938.285 * * [simplify]: Extracting #7: cost 169 inf + 14757
1552469938.287 * * [simplify]: Extracting #8: cost 124 inf + 51758
1552469938.292 * * [simplify]: Extracting #9: cost 40 inf + 154728
1552469938.302 * * [simplify]: Extracting #10: cost 3 inf + 223843
1552469938.312 * * [simplify]: Extracting #11: cost 0 inf + 231252
1552469938.322 * [simplify]: Simplified to (*.p16 (/.p16 rand (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) a))
1552469938.322 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 (/.p16 rand (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) a)) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552469938.322 * * * * [progress]: [ 10 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) (+.p16 (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552469938.323 * [simplify]: Simplifying (*.p16 rand (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
1552469938.323 * * [simplify]: iters left: 6 (17 enodes)
1552469938.328 * * [simplify]: iters left: 5 (41 enodes)
1552469938.335 * * [simplify]: iters left: 4 (83 enodes)
1552469938.351 * * [simplify]: iters left: 3 (164 enodes)
1552469938.395 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469938.396 * * [simplify]: Extracting #1: cost 19 inf + 0
1552469938.396 * * [simplify]: Extracting #2: cost 20 inf + 2
1552469938.396 * * [simplify]: Extracting #3: cost 34 inf + 969
1552469938.397 * * [simplify]: Extracting #4: cost 121 inf + 1613
1552469938.398 * * [simplify]: Extracting #5: cost 159 inf + 1936
1552469938.398 * * [simplify]: Extracting #6: cost 185 inf + 7067
1552469938.399 * * [simplify]: Extracting #7: cost 176 inf + 14756
1552469938.400 * * [simplify]: Extracting #8: cost 171 inf + 15721
1552469938.403 * * [simplify]: Extracting #9: cost 99 inf + 92986
1552469938.411 * * [simplify]: Extracting #10: cost 14 inf + 216542
1552469938.421 * * [simplify]: Extracting #11: cost 0 inf + 238672
1552469938.432 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 a rand) (real->posit16 1)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))
1552469938.432 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (/.p16 (*.p16 (*.p16 a rand) (real->posit16 1)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (+.p16 (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552469938.432 * * * * [progress]: [ 11 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) a) rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552469938.432 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) a) rand)
1552469938.432 * * [simplify]: iters left: 6 (17 enodes)
1552469938.439 * * [simplify]: iters left: 5 (41 enodes)
1552469938.447 * * [simplify]: iters left: 4 (83 enodes)
1552469938.462 * * [simplify]: iters left: 3 (164 enodes)
1552469938.528 * * [simplify]: iters left: 2 (492 enodes)
1552469939.044 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469939.044 * * [simplify]: Extracting #1: cost 21 inf + 0
1552469939.044 * * [simplify]: Extracting #2: cost 21 inf + 2
1552469939.045 * * [simplify]: Extracting #3: cost 107 inf + 648
1552469939.046 * * [simplify]: Extracting #4: cost 468 inf + 1613
1552469939.049 * * [simplify]: Extracting #5: cost 838 inf + 3863
1552469939.052 * * [simplify]: Extracting #6: cost 894 inf + 7719
1552469939.057 * * [simplify]: Extracting #7: cost 866 inf + 40738
1552469939.066 * * [simplify]: Extracting #8: cost 696 inf + 221526
1552469939.106 * * [simplify]: Extracting #9: cost 268 inf + 937472
1552469939.193 * * [simplify]: Extracting #10: cost 14 inf + 1478717
1552469939.272 * * [simplify]: Extracting #11: cost 0 inf + 1510609
1552469939.356 * [simplify]: Simplified to (*.p16 (/.p16 (*.p16 a (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)
1552469939.356 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 (/.p16 (*.p16 a (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552469939.356 * * * * [progress]: [ 12 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (+.p16 (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552469939.356 * [simplify]: Simplifying (*.p16 (*.p16 a (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)
1552469939.356 * * [simplify]: iters left: 6 (17 enodes)
1552469939.365 * * [simplify]: iters left: 5 (41 enodes)
1552469939.379 * * [simplify]: iters left: 4 (83 enodes)
1552469939.409 * * [simplify]: iters left: 3 (163 enodes)
1552469939.488 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469939.488 * * [simplify]: Extracting #1: cost 19 inf + 0
1552469939.488 * * [simplify]: Extracting #2: cost 20 inf + 2
1552469939.489 * * [simplify]: Extracting #3: cost 36 inf + 325
1552469939.489 * * [simplify]: Extracting #4: cost 121 inf + 1613
1552469939.490 * * [simplify]: Extracting #5: cost 155 inf + 1936
1552469939.490 * * [simplify]: Extracting #6: cost 181 inf + 6105
1552469939.491 * * [simplify]: Extracting #7: cost 171 inf + 14756
1552469939.492 * * [simplify]: Extracting #8: cost 166 inf + 15721
1552469939.494 * * [simplify]: Extracting #9: cost 112 inf + 69267
1552469939.501 * * [simplify]: Extracting #10: cost 25 inf + 189773
1552469939.511 * * [simplify]: Extracting #11: cost 0 inf + 233822
1552469939.521 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 a rand))
1552469939.521 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 a rand)) (+.p16 (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
1552469939.521 * * * * [progress]: [ 13 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
1552469939.521 * * * * [progress]: [ 14 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469939.522 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469939.522 * * [simplify]: iters left: 4 (9 enodes)
1552469939.527 * * [simplify]: iters left: 3 (13 enodes)
1552469939.532 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469939.532 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469939.532 * * [simplify]: Extracting #2: cost 5 inf + 0
1552469939.532 * * [simplify]: Extracting #3: cost 6 inf + 1
1552469939.532 * * [simplify]: Extracting #4: cost 7 inf + 2
1552469939.532 * * [simplify]: Extracting #5: cost 0 inf + 1813
1552469939.532 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1552469939.532 * [simplify]: Simplified (2 1 2 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469939.533 * * * * [progress]: [ 15 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469939.533 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1552469939.533 * * [simplify]: iters left: 4 (9 enodes)
1552469939.538 * * [simplify]: iters left: 3 (13 enodes)
1552469939.543 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469939.543 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469939.543 * * [simplify]: Extracting #2: cost 5 inf + 0
1552469939.543 * * [simplify]: Extracting #3: cost 5 inf + 2
1552469939.543 * * [simplify]: Extracting #4: cost 7 inf + 2
1552469939.543 * * [simplify]: Extracting #5: cost 4 inf + 5
1552469939.543 * * [simplify]: Extracting #6: cost 0 inf + 1813
1552469939.544 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1552469939.544 * [simplify]: Simplified (2 1 2 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469939.544 * * * * [progress]: [ 16 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469939.544 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469939.544 * * [simplify]: iters left: 3 (7 enodes)
1552469939.548 * * [simplify]: iters left: 2 (12 enodes)
1552469939.551 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469939.551 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469939.551 * * [simplify]: Extracting #2: cost 4 inf + 1
1552469939.551 * * [simplify]: Extracting #3: cost 6 inf + 1
1552469939.551 * * [simplify]: Extracting #4: cost 0 inf + 930
1552469939.552 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1552469939.552 * [simplify]: Simplified (2 1 2 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
1552469939.552 * * * * [progress]: [ 17 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469939.552 * * * * [progress]: [ 18 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469939.552 * * * * [progress]: [ 19 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469939.552 * * * * [progress]: [ 20 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469939.552 * * * * [progress]: [ 21 / 21 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
1552469939.552 * * * [progress]: adding candidates to table
1552469941.108 * [progress]: [Phase 3 of 3] Extracting.
1552469941.109 * * [regime]: Finding splitpoints for: (#<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) a)) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) a) rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #<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 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>)
1552469941.113 * * * [regime-changes]: Trying 2 branch expressions: (rand a)
1552469941.114 * * * * [regimes]: Trying to branch on rand from (#<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) a)) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) a) rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #<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 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>)
1552469941.765 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 rand (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) a)) (*.p16 (real->posit16 1) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) a) rand) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #<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 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>)
1552469942.473 * * * [regime]: Found split indices: #<option (#s(si 10 256))>
1552469942.473 * [simplify]: Simplifying (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
1552469942.474 * * [simplify]: iters left: 6 (19 enodes)
1552469942.477 * * [simplify]: iters left: 5 (21 enodes)
1552469942.480 * * [simplify]: Extracting #0: cost 1 inf + 0
1552469942.480 * * [simplify]: Extracting #1: cost 3 inf + 0
1552469942.480 * * [simplify]: Extracting #2: cost 7 inf + 0
1552469942.480 * * [simplify]: Extracting #3: cost 10 inf + 1
1552469942.480 * * [simplify]: Extracting #4: cost 10 inf + 4
1552469942.480 * * [simplify]: Extracting #5: cost 13 inf + 4
1552469942.480 * * [simplify]: Extracting #6: cost 10 inf + 8
1552469942.480 * * [simplify]: Extracting #7: cost 9 inf + 973
1552469942.481 * * [simplify]: Extracting #8: cost 7 inf + 1818
1552469942.481 * * [simplify]: Extracting #9: cost 4 inf + 3547
1552469942.481 * * [simplify]: Extracting #10: cost 2 inf + 6517
1552469942.482 * * [simplify]: Extracting #11: cost 0 inf + 10809
1552469942.483 * [simplify]: Simplified to (+.p16 (*.p16 rand (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
1552469942.483 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1552469942.524 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
1552469942.533 * * * * [points]: Setting MPFR precision to 64
1552469942.535 * * * * [points]: Setting MPFR precision to 320
1552469942.537 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
1552469942.554 * * * * [points]: Setting MPFR precision to 64
1552469942.557 * * * * [points]: Setting MPFR precision to 320
1552469942.559 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
1552469942.564 * * * * [points]: Setting MPFR precision to 64
1552469942.568 * * * * [points]: Setting MPFR precision to 320
1552469942.573 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
1552469942.581 * * * * [points]: Setting MPFR precision to 64
1552469942.595 * * * * [points]: Setting MPFR precision to 320
1552469942.609 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
1552469942.613 * * * * [points]: Setting MPFR precision to 64
1552469942.628 * * * * [points]: Setting MPFR precision to 320
1552469942.657 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
1552469942.668 * * * * [points]: Setting MPFR precision to 64
1552469942.722 * * * * [points]: Setting MPFR precision to 320
1552469942.759 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
1552469942.764 * * * * [points]: Setting MPFR precision to 64
1552469942.831 * * * * [points]: Setting MPFR precision to 320
1552469942.964 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
1552469942.974 * * * * [points]: Setting MPFR precision to 64
1552469943.665 * * * * [points]: Setting MPFR precision to 320
1552469943.928 * * * * [points]: Computing exacts for 8000 points
1552469943.936 * * * * [points]: Setting MPFR precision to 64
1552469944.871 * * * * [points]: Setting MPFR precision to 320
1552469945.855 * * * * [points]: Filtering points with unrepresentable outputs
1552469946.106 * * * * [points]: Sampling 5173 additional inputs, on iter 1 have 2827 / 8000
1552469946.120 * * * * [points]: Computing exacts on every 323 of 5173 points to ramp up precision
1552469946.125 * * * * [points]: Setting MPFR precision to 64
1552469946.126 * * * * [points]: Setting MPFR precision to 320
1552469946.127 * * * * [points]: Computing exacts on every 161 of 5173 points to ramp up precision
1552469946.131 * * * * [points]: Setting MPFR precision to 64
1552469946.133 * * * * [points]: Setting MPFR precision to 320
1552469946.136 * * * * [points]: Computing exacts on every 80 of 5173 points to ramp up precision
1552469946.140 * * * * [points]: Setting MPFR precision to 64
1552469946.144 * * * * [points]: Setting MPFR precision to 320
1552469946.151 * * * * [points]: Computing exacts on every 40 of 5173 points to ramp up precision
1552469946.160 * * * * [points]: Setting MPFR precision to 64
1552469946.174 * * * * [points]: Setting MPFR precision to 320
1552469946.191 * * * * [points]: Computing exacts on every 20 of 5173 points to ramp up precision
1552469946.200 * * * * [points]: Setting MPFR precision to 64
1552469946.223 * * * * [points]: Setting MPFR precision to 320
1552469946.256 * * * * [points]: Computing exacts on every 10 of 5173 points to ramp up precision
1552469946.281 * * * * [points]: Setting MPFR precision to 64
1552469946.310 * * * * [points]: Setting MPFR precision to 320
1552469946.346 * * * * [points]: Computing exacts on every 5 of 5173 points to ramp up precision
1552469946.350 * * * * [points]: Setting MPFR precision to 64
1552469946.431 * * * * [points]: Setting MPFR precision to 320
1552469946.500 * * * * [points]: Computing exacts on every 2 of 5173 points to ramp up precision
1552469946.505 * * * * [points]: Setting MPFR precision to 64
1552469946.645 * * * * [points]: Setting MPFR precision to 320
1552469946.944 * * * * [points]: Computing exacts for 5173 points
1552469946.952 * * * * [points]: Setting MPFR precision to 64
1552469947.971 * * * * [points]: Setting MPFR precision to 320
1552469948.723 * * * * [points]: Filtering points with unrepresentable outputs
1552469948.986 * * * * [points]: Sampling 3304 additional inputs, on iter 2 have 4696 / 8000
1552469949.003 * * * * [points]: Computing exacts on every 206 of 3304 points to ramp up precision
1552469949.011 * * * * [points]: Setting MPFR precision to 64
1552469949.013 * * * * [points]: Setting MPFR precision to 320
1552469949.015 * * * * [points]: Computing exacts on every 103 of 3304 points to ramp up precision
1552469949.024 * * * * [points]: Setting MPFR precision to 64
1552469949.027 * * * * [points]: Setting MPFR precision to 320
1552469949.031 * * * * [points]: Computing exacts on every 51 of 3304 points to ramp up precision
1552469949.054 * * * * [points]: Setting MPFR precision to 64
1552469949.062 * * * * [points]: Setting MPFR precision to 320
1552469949.070 * * * * [points]: Computing exacts on every 25 of 3304 points to ramp up precision
1552469949.079 * * * * [points]: Setting MPFR precision to 64
1552469949.092 * * * * [points]: Setting MPFR precision to 320
1552469949.108 * * * * [points]: Computing exacts on every 12 of 3304 points to ramp up precision
1552469949.117 * * * * [points]: Setting MPFR precision to 64
1552469949.132 * * * * [points]: Setting MPFR precision to 320
1552469949.152 * * * * [points]: Computing exacts on every 6 of 3304 points to ramp up precision
1552469949.156 * * * * [points]: Setting MPFR precision to 64
1552469949.184 * * * * [points]: Setting MPFR precision to 320
1552469949.249 * * * * [points]: Computing exacts on every 3 of 3304 points to ramp up precision
1552469949.253 * * * * [points]: Setting MPFR precision to 64
1552469949.302 * * * * [points]: Setting MPFR precision to 320
1552469949.392 * * * * [points]: Computing exacts for 3304 points
1552469949.397 * * * * [points]: Setting MPFR precision to 64
1552469949.621 * * * * [points]: Setting MPFR precision to 320
1552469950.060 * * * * [points]: Filtering points with unrepresentable outputs
1552469950.254 * * * * [points]: Sampling 2156 additional inputs, on iter 3 have 5844 / 8000
1552469950.260 * * * * [points]: Computing exacts on every 134 of 2156 points to ramp up precision
1552469950.264 * * * * [points]: Setting MPFR precision to 64
1552469950.266 * * * * [points]: Setting MPFR precision to 320
1552469950.267 * * * * [points]: Computing exacts on every 67 of 2156 points to ramp up precision
1552469950.271 * * * * [points]: Setting MPFR precision to 64
1552469950.273 * * * * [points]: Setting MPFR precision to 320
1552469950.275 * * * * [points]: Computing exacts on every 33 of 2156 points to ramp up precision
1552469950.291 * * * * [points]: Setting MPFR precision to 64
1552469950.296 * * * * [points]: Setting MPFR precision to 320
1552469950.301 * * * * [points]: Computing exacts on every 16 of 2156 points to ramp up precision
1552469950.306 * * * * [points]: Setting MPFR precision to 64
1552469950.314 * * * * [points]: Setting MPFR precision to 320
1552469950.325 * * * * [points]: Computing exacts on every 8 of 2156 points to ramp up precision
1552469950.329 * * * * [points]: Setting MPFR precision to 64
1552469950.354 * * * * [points]: Setting MPFR precision to 320
1552469950.388 * * * * [points]: Computing exacts on every 4 of 2156 points to ramp up precision
1552469950.396 * * * * [points]: Setting MPFR precision to 64
1552469950.441 * * * * [points]: Setting MPFR precision to 320
1552469950.537 * * * * [points]: Computing exacts on every 2 of 2156 points to ramp up precision
1552469950.547 * * * * [points]: Setting MPFR precision to 64
1552469950.624 * * * * [points]: Setting MPFR precision to 320
1552469950.707 * * * * [points]: Computing exacts for 2156 points
1552469950.712 * * * * [points]: Setting MPFR precision to 64
1552469950.863 * * * * [points]: Setting MPFR precision to 320
1552469951.551 * * * * [points]: Filtering points with unrepresentable outputs
1552469951.702 * * * * [points]: Sampling 1364 additional inputs, on iter 4 have 6636 / 8000
1552469951.710 * * * * [points]: Computing exacts on every 85 of 1364 points to ramp up precision
1552469951.720 * * * * [points]: Setting MPFR precision to 64
1552469951.722 * * * * [points]: Setting MPFR precision to 320
1552469951.724 * * * * [points]: Computing exacts on every 42 of 1364 points to ramp up precision
1552469951.733 * * * * [points]: Setting MPFR precision to 64
1552469951.736 * * * * [points]: Setting MPFR precision to 320
1552469951.741 * * * * [points]: Computing exacts on every 21 of 1364 points to ramp up precision
1552469951.750 * * * * [points]: Setting MPFR precision to 64
1552469951.758 * * * * [points]: Setting MPFR precision to 320
1552469951.767 * * * * [points]: Computing exacts on every 10 of 1364 points to ramp up precision
1552469951.776 * * * * [points]: Setting MPFR precision to 64
1552469951.790 * * * * [points]: Setting MPFR precision to 320
1552469951.807 * * * * [points]: Computing exacts on every 5 of 1364 points to ramp up precision
1552469951.817 * * * * [points]: Setting MPFR precision to 64
1552469951.842 * * * * [points]: Setting MPFR precision to 320
1552469951.871 * * * * [points]: Computing exacts on every 2 of 1364 points to ramp up precision
1552469951.892 * * * * [points]: Setting MPFR precision to 64
1552469951.945 * * * * [points]: Setting MPFR precision to 320
1552469952.012 * * * * [points]: Computing exacts for 1364 points
1552469952.022 * * * * [points]: Setting MPFR precision to 64
1552469952.180 * * * * [points]: Setting MPFR precision to 320
1552469952.368 * * * * [points]: Filtering points with unrepresentable outputs
1552469952.443 * * * * [points]: Sampling 879 additional inputs, on iter 5 have 7121 / 8000
1552469952.448 * * * * [points]: Computing exacts on every 54 of 879 points to ramp up precision
1552469952.457 * * * * [points]: Setting MPFR precision to 64
1552469952.459 * * * * [points]: Setting MPFR precision to 320
1552469952.461 * * * * [points]: Computing exacts on every 27 of 879 points to ramp up precision
1552469952.470 * * * * [points]: Setting MPFR precision to 64
1552469952.474 * * * * [points]: Setting MPFR precision to 320
1552469952.479 * * * * [points]: Computing exacts on every 13 of 879 points to ramp up precision
1552469952.488 * * * * [points]: Setting MPFR precision to 64
1552469952.495 * * * * [points]: Setting MPFR precision to 320
1552469952.504 * * * * [points]: Computing exacts on every 6 of 879 points to ramp up precision
1552469952.513 * * * * [points]: Setting MPFR precision to 64
1552469952.528 * * * * [points]: Setting MPFR precision to 320
1552469952.571 * * * * [points]: Computing exacts on every 3 of 879 points to ramp up precision
1552469952.582 * * * * [points]: Setting MPFR precision to 64
1552469952.603 * * * * [points]: Setting MPFR precision to 320
1552469952.634 * * * * [points]: Computing exacts for 879 points
1552469952.643 * * * * [points]: Setting MPFR precision to 64
1552469952.701 * * * * [points]: Setting MPFR precision to 320
1552469952.807 * * * * [points]: Filtering points with unrepresentable outputs
1552469952.834 * * * * [points]: Sampling 576 additional inputs, on iter 6 have 7424 / 8000
1552469952.835 * * * * [points]: Computing exacts on every 36 of 576 points to ramp up precision
1552469952.840 * * * * [points]: Setting MPFR precision to 64
1552469952.841 * * * * [points]: Setting MPFR precision to 320
1552469952.842 * * * * [points]: Computing exacts on every 18 of 576 points to ramp up precision
1552469952.846 * * * * [points]: Setting MPFR precision to 64
1552469952.848 * * * * [points]: Setting MPFR precision to 320
1552469952.851 * * * * [points]: Computing exacts on every 9 of 576 points to ramp up precision
1552469952.855 * * * * [points]: Setting MPFR precision to 64
1552469952.858 * * * * [points]: Setting MPFR precision to 320
1552469952.863 * * * * [points]: Computing exacts on every 4 of 576 points to ramp up precision
1552469952.884 * * * * [points]: Setting MPFR precision to 64
1552469952.891 * * * * [points]: Setting MPFR precision to 320
1552469952.902 * * * * [points]: Computing exacts on every 2 of 576 points to ramp up precision
1552469952.906 * * * * [points]: Setting MPFR precision to 64
1552469952.919 * * * * [points]: Setting MPFR precision to 320
1552469952.935 * * * * [points]: Computing exacts for 576 points
1552469952.939 * * * * [points]: Setting MPFR precision to 64
1552469952.972 * * * * [points]: Setting MPFR precision to 320
1552469953.048 * * * * [points]: Filtering points with unrepresentable outputs
1552469953.067 * * * * [points]: Sampling 378 additional inputs, on iter 7 have 7622 / 8000
1552469953.068 * * * * [points]: Computing exacts on every 23 of 378 points to ramp up precision
1552469953.072 * * * * [points]: Setting MPFR precision to 64
1552469953.074 * * * * [points]: Setting MPFR precision to 320
1552469953.075 * * * * [points]: Computing exacts on every 11 of 378 points to ramp up precision
1552469953.079 * * * * [points]: Setting MPFR precision to 64
1552469953.081 * * * * [points]: Setting MPFR precision to 320
1552469953.084 * * * * [points]: Computing exacts on every 5 of 378 points to ramp up precision
1552469953.088 * * * * [points]: Setting MPFR precision to 64
1552469953.092 * * * * [points]: Setting MPFR precision to 320
1552469953.097 * * * * [points]: Computing exacts on every 2 of 378 points to ramp up precision
1552469953.101 * * * * [points]: Setting MPFR precision to 64
1552469953.108 * * * * [points]: Setting MPFR precision to 320
1552469953.118 * * * * [points]: Computing exacts for 378 points
1552469953.139 * * * * [points]: Setting MPFR precision to 64
1552469953.163 * * * * [points]: Setting MPFR precision to 320
1552469953.205 * * * * [points]: Filtering points with unrepresentable outputs
1552469953.228 * * * * [points]: Sampling 240 additional inputs, on iter 8 have 7760 / 8000
1552469953.229 * * * * [points]: Computing exacts on every 15 of 240 points to ramp up precision
1552469953.238 * * * * [points]: Setting MPFR precision to 64
1552469953.240 * * * * [points]: Setting MPFR precision to 320
1552469953.242 * * * * [points]: Computing exacts on every 7 of 240 points to ramp up precision
1552469953.251 * * * * [points]: Setting MPFR precision to 64
1552469953.254 * * * * [points]: Setting MPFR precision to 320
1552469953.258 * * * * [points]: Computing exacts on every 3 of 240 points to ramp up precision
1552469953.267 * * * * [points]: Setting MPFR precision to 64
1552469953.273 * * * * [points]: Setting MPFR precision to 320
1552469953.282 * * * * [points]: Computing exacts for 240 points
1552469953.290 * * * * [points]: Setting MPFR precision to 64
1552469953.351 * * * * [points]: Setting MPFR precision to 320
1552469953.371 * * * * [points]: Filtering points with unrepresentable outputs
1552469953.379 * * * * [points]: Sampling 157 additional inputs, on iter 9 have 7843 / 8000
1552469953.380 * * * * [points]: Computing exacts on every 9 of 157 points to ramp up precision
1552469953.384 * * * * [points]: Setting MPFR precision to 64
1552469953.385 * * * * [points]: Setting MPFR precision to 320
1552469953.387 * * * * [points]: Computing exacts on every 4 of 157 points to ramp up precision
1552469953.391 * * * * [points]: Setting MPFR precision to 64
1552469953.393 * * * * [points]: Setting MPFR precision to 320
1552469953.395 * * * * [points]: Computing exacts on every 2 of 157 points to ramp up precision
1552469953.400 * * * * [points]: Setting MPFR precision to 64
1552469953.403 * * * * [points]: Setting MPFR precision to 320
1552469953.407 * * * * [points]: Computing exacts for 157 points
1552469953.412 * * * * [points]: Setting MPFR precision to 64
1552469953.421 * * * * [points]: Setting MPFR precision to 320
1552469953.433 * * * * [points]: Filtering points with unrepresentable outputs
1552469953.438 * * * * [points]: Sampling 95 additional inputs, on iter 10 have 7905 / 8000
1552469953.438 * * * * [points]: Computing exacts on every 5 of 95 points to ramp up precision
1552469953.462 * * * * [points]: Setting MPFR precision to 64
1552469953.463 * * * * [points]: Setting MPFR precision to 320
1552469953.464 * * * * [points]: Computing exacts on every 2 of 95 points to ramp up precision
1552469953.469 * * * * [points]: Setting MPFR precision to 64
1552469953.472 * * * * [points]: Setting MPFR precision to 320
1552469953.475 * * * * [points]: Computing exacts for 95 points
1552469953.479 * * * * [points]: Setting MPFR precision to 64
1552469953.484 * * * * [points]: Setting MPFR precision to 320
1552469953.492 * * * * [points]: Filtering points with unrepresentable outputs
1552469953.495 * * * * [points]: Sampling 62 additional inputs, on iter 11 have 7938 / 8000
1552469953.495 * * * * [points]: Computing exacts on every 3 of 62 points to ramp up precision
1552469953.499 * * * * [points]: Setting MPFR precision to 64
1552469953.500 * * * * [points]: Setting MPFR precision to 320
1552469953.502 * * * * [points]: Computing exacts for 62 points
1552469953.506 * * * * [points]: Setting MPFR precision to 64
1552469953.510 * * * * [points]: Setting MPFR precision to 320
1552469953.514 * * * * [points]: Filtering points with unrepresentable outputs
1552469953.516 * * * * [points]: Sampling 38 additional inputs, on iter 12 have 7962 / 8000
1552469953.516 * * * * [points]: Computing exacts on every 2 of 38 points to ramp up precision
1552469953.521 * * * * [points]: Setting MPFR precision to 64
1552469953.522 * * * * [points]: Setting MPFR precision to 320
1552469953.523 * * * * [points]: Computing exacts for 38 points
1552469953.527 * * * * [points]: Setting MPFR precision to 64
1552469953.529 * * * * [points]: Setting MPFR precision to 320
1552469953.532 * * * * [points]: Filtering points with unrepresentable outputs
1552469953.533 * * * * [points]: Sampling 31 additional inputs, on iter 13 have 7969 / 8000
1552469953.533 * * * * [points]: Computing exacts for 31 points
1552469953.538 * * * * [points]: Setting MPFR precision to 64
1552469953.540 * * * * [points]: Setting MPFR precision to 320
1552469953.543 * * * * [points]: Filtering points with unrepresentable outputs
1552469953.544 * * * * [points]: Sampling 18 additional inputs, on iter 14 have 7982 / 8000
1552469953.544 * * * * [points]: Computing exacts for 18 points
1552469953.562 * * * * [points]: Setting MPFR precision to 64
1552469953.564 * * * * [points]: Setting MPFR precision to 320
1552469953.565 * * * * [points]: Filtering points with unrepresentable outputs
1552469953.566 * * * * [points]: Sampling 12 additional inputs, on iter 15 have 7988 / 8000
1552469953.566 * * * * [points]: Computing exacts for 12 points
1552469953.570 * * * * [points]: Setting MPFR precision to 64
1552469953.572 * * * * [points]: Setting MPFR precision to 320
1552469953.573 * * * * [points]: Filtering points with unrepresentable outputs
1552469953.573 * * * * [points]: Sampling 7 additional inputs, on iter 16 have 7993 / 8000
1552469953.573 * * * * [points]: Computing exacts for 7 points
1552469953.578 * * * * [points]: Setting MPFR precision to 64
1552469953.579 * * * * [points]: Setting MPFR precision to 320
1552469953.579 * * * * [points]: Filtering points with unrepresentable outputs
1552469953.580 * * * * [points]: Sampling 4 additional inputs, on iter 17 have 7997 / 8000
1552469953.580 * * * * [points]: Computing exacts for 4 points
1552469953.584 * * * * [points]: Setting MPFR precision to 64
1552469953.585 * * * * [points]: Setting MPFR precision to 320
1552469953.585 * * * * [points]: Filtering points with unrepresentable outputs
1552469953.585 * * * * [points]: Sampling 4 additional inputs, on iter 18 have 7998 / 8000
1552469953.586 * * * * [points]: Computing exacts for 4 points
1552469953.590 * * * * [points]: Setting MPFR precision to 64
1552469953.591 * * * * [points]: Setting MPFR precision to 320
1552469953.591 * * * * [points]: Filtering points with unrepresentable outputs
1552469953.591 * * * * [points]: Sampled 8000 points with exact outputs
1552469964.767 * [regime-testing]: Baseline error score: 64.0
1552469964.782 * [regime-testing]: Oracle error score: 64.0
1552469964.789 * [regime-testing]: End program error score: 0.5184441001179452