0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.002 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.005 * * * * [points]: Setting MPFR precision to 64
0.006 * * * * [points]: Setting MPFR precision to 320
0.007 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.015 * * * * [points]: Setting MPFR precision to 64
0.016 * * * * [points]: Setting MPFR precision to 320
0.018 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.023 * * * * [points]: Setting MPFR precision to 64
0.026 * * * * [points]: Setting MPFR precision to 320
0.029 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.033 * * * * [points]: Setting MPFR precision to 64
0.038 * * * * [points]: Setting MPFR precision to 320
0.043 * * * * [points]: Computing exacts for 256 points
0.047 * * * * [points]: Setting MPFR precision to 64
0.061 * * * * [points]: Setting MPFR precision to 320
0.076 * * * * [points]: Filtering points with unrepresentable outputs
0.076 * * * * [points]: Sampled 256 points with exact outputs
0.076 * * * [progress]: [2/2] Setting up program.
0.094 * [progress]: [Phase 2 of 3] Improving.
0.094 * * * * [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))))>
0.094 * [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)))
0.094 * * [simplify]: iters left: 6 (18 enodes)
0.099 * * [simplify]: iters left: 5 (47 enodes)
0.125 * * [simplify]: iters left: 4 (121 enodes)
0.153 * * [simplify]: iters left: 3 (337 enodes)
0.267 * * [simplify]: Extracting #0: cost 1 inf + 0
0.267 * * [simplify]: Extracting #1: cost 34 inf + 0
0.268 * * [simplify]: Extracting #2: cost 204 inf + 0
0.269 * * [simplify]: Extracting #3: cost 326 inf + 1286
0.270 * * [simplify]: Extracting #4: cost 362 inf + 6740
0.272 * * [simplify]: Extracting #5: cost 377 inf + 18286
0.274 * * [simplify]: Extracting #6: cost 358 inf + 29885
0.281 * * [simplify]: Extracting #7: cost 252 inf + 186163
0.309 * * [simplify]: Extracting #8: cost 47 inf + 586692
0.355 * * [simplify]: Extracting #9: cost 0 inf + 696950
0.412 * * [simplify]: Extracting #10: cost 0 inf + 694590
0.471 * [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))))))
0.471 * [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)))))))
0.499 * * [progress]: iteration 1 / 4
0.499 * * * [progress]: picking best candidate
0.522 * * * * [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))))>
0.523 * * * [progress]: localizing error
0.771 * * * [progress]: generating rewritten candidates
0.771 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
0.775 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.790 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1 2)
0.792 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.795 * * * [progress]: generating series expansions
0.795 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
0.795 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.795 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1 2)
0.795 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.795 * * * [progress]: simplifying candidates
0.795 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
0.796 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.796 * * [simplify]: iters left: 4 (9 enodes)
0.800 * * [simplify]: iters left: 3 (13 enodes)
0.804 * * [simplify]: Extracting #0: cost 1 inf + 0
0.804 * * [simplify]: Extracting #1: cost 3 inf + 0
0.804 * * [simplify]: Extracting #2: cost 5 inf + 0
0.804 * * [simplify]: Extracting #3: cost 6 inf + 1
0.804 * * [simplify]: Extracting #4: cost 7 inf + 2
0.804 * * [simplify]: Extracting #5: cost 0 inf + 1813
0.804 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.804 * [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))))
0.805 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
0.805 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
0.805 * * [simplify]: iters left: 4 (9 enodes)
0.808 * * [simplify]: iters left: 3 (13 enodes)
0.812 * * [simplify]: Extracting #0: cost 1 inf + 0
0.812 * * [simplify]: Extracting #1: cost 3 inf + 0
0.812 * * [simplify]: Extracting #2: cost 5 inf + 0
0.812 * * [simplify]: Extracting #3: cost 5 inf + 2
0.812 * * [simplify]: Extracting #4: cost 7 inf + 2
0.812 * * [simplify]: Extracting #5: cost 4 inf + 5
0.812 * * [simplify]: Extracting #6: cost 0 inf + 1813
0.813 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
0.813 * [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))))
0.813 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.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))))>
0.813 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.813 * * [simplify]: iters left: 3 (7 enodes)
0.816 * * [simplify]: iters left: 2 (12 enodes)
0.819 * * [simplify]: Extracting #0: cost 1 inf + 0
0.819 * * [simplify]: Extracting #1: cost 3 inf + 0
0.819 * * [simplify]: Extracting #2: cost 4 inf + 1
0.819 * * [simplify]: Extracting #3: cost 6 inf + 1
0.819 * * [simplify]: Extracting #4: cost 0 inf + 930
0.819 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.819 * [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))))
0.820 * * * * [progress]: [ 4 / 16 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand))))>
0.820 * * * * [progress]: [ 5 / 16 ] 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))))>
0.820 * [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))
0.820 * * [simplify]: iters left: 6 (17 enodes)
0.826 * * [simplify]: iters left: 5 (41 enodes)
0.837 * * [simplify]: iters left: 4 (95 enodes)
0.867 * * [simplify]: iters left: 3 (269 enodes)
0.972 * * [simplify]: Extracting #0: cost 1 inf + 0
0.972 * * [simplify]: Extracting #1: cost 46 inf + 0
0.973 * * [simplify]: Extracting #2: cost 206 inf + 1
0.974 * * [simplify]: Extracting #3: cost 258 inf + 648
0.976 * * [simplify]: Extracting #4: cost 307 inf + 7710
0.978 * * [simplify]: Extracting #5: cost 293 inf + 16045
0.980 * * [simplify]: Extracting #6: cost 277 inf + 25875
0.987 * * [simplify]: Extracting #7: cost 149 inf + 188177
1.011 * * [simplify]: Extracting #8: cost 7 inf + 469313
1.042 * * [simplify]: Extracting #9: cost 0 inf + 490709
1.074 * [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))))
1.074 * [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))))))
1.075 * * * * [progress]: [ 6 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.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))))))>
1.075 * [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))))
1.075 * * [simplify]: iters left: 6 (17 enodes)
1.081 * * [simplify]: iters left: 5 (41 enodes)
1.091 * * [simplify]: iters left: 4 (101 enodes)
1.128 * * [simplify]: iters left: 3 (291 enodes)
1.237 * * [simplify]: Extracting #0: cost 1 inf + 0
1.237 * * [simplify]: Extracting #1: cost 48 inf + 0
1.238 * * [simplify]: Extracting #2: cost 208 inf + 1
1.239 * * [simplify]: Extracting #3: cost 275 inf + 1610
1.240 * * [simplify]: Extracting #4: cost 319 inf + 9953
1.242 * * [simplify]: Extracting #5: cost 302 inf + 20857
1.244 * * [simplify]: Extracting #6: cost 279 inf + 36752
1.252 * * [simplify]: Extracting #7: cost 152 inf + 206471
1.275 * * [simplify]: Extracting #8: cost 9 inf + 486275
1.300 * * [simplify]: Extracting #9: cost 0 inf + 499918
1.328 * [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))))
1.328 * [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))))))
1.328 * * * * [progress]: [ 7 / 16 ] 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)))))>
1.328 * [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)))
1.328 * * [simplify]: iters left: 6 (21 enodes)
1.333 * * [simplify]: iters left: 5 (59 enodes)
1.346 * * [simplify]: iters left: 4 (176 enodes)
1.407 * * [simplify]: Extracting #0: cost 1 inf + 0
1.407 * * [simplify]: Extracting #1: cost 40 inf + 0
1.408 * * [simplify]: Extracting #2: cost 160 inf + 0
1.409 * * [simplify]: Extracting #3: cost 260 inf + 1607
1.410 * * [simplify]: Extracting #4: cost 294 inf + 4494
1.411 * * [simplify]: Extracting #5: cost 292 inf + 16036
1.414 * * [simplify]: Extracting #6: cost 224 inf + 77978
1.429 * * [simplify]: Extracting #7: cost 53 inf + 358389
1.451 * * [simplify]: Extracting #8: cost 4 inf + 462823
1.478 * * [simplify]: Extracting #9: cost 0 inf + 474767
1.503 * [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)))
1.503 * [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)))))
1.503 * * * * [progress]: [ 8 / 16 ] 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)))))>
1.503 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
1.503 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.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))))>
1.503 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (+.p16 a (neg.p16 (/.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))))>
1.503 * * * * [progress]: [ 12 / 16 ] 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 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))))>
1.503 * * * * [progress]: [ 13 / 16 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1.503 * [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)))
1.504 * * [simplify]: iters left: 6 (18 enodes)
1.508 * * [simplify]: iters left: 5 (47 enodes)
1.517 * * [simplify]: iters left: 4 (121 enodes)
1.546 * * [simplify]: iters left: 3 (337 enodes)
1.654 * * [simplify]: Extracting #0: cost 1 inf + 0
1.654 * * [simplify]: Extracting #1: cost 34 inf + 0
1.654 * * [simplify]: Extracting #2: cost 204 inf + 0
1.655 * * [simplify]: Extracting #3: cost 326 inf + 1286
1.657 * * [simplify]: Extracting #4: cost 362 inf + 6740
1.659 * * [simplify]: Extracting #5: cost 377 inf + 18286
1.664 * * [simplify]: Extracting #6: cost 358 inf + 29885
1.672 * * [simplify]: Extracting #7: cost 252 inf + 186163
1.699 * * [simplify]: Extracting #8: cost 47 inf + 586692
1.736 * * [simplify]: Extracting #9: cost 0 inf + 696950
1.773 * * [simplify]: Extracting #10: cost 0 inf + 694590
1.809 * [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))))))
1.809 * [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)))))))
1.810 * * * * [progress]: [ 14 / 16 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1.810 * [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)))
1.810 * * [simplify]: iters left: 6 (18 enodes)
1.815 * * [simplify]: iters left: 5 (47 enodes)
1.825 * * [simplify]: iters left: 4 (121 enodes)
1.859 * * [simplify]: iters left: 3 (337 enodes)
2.012 * * [simplify]: Extracting #0: cost 1 inf + 0
2.013 * * [simplify]: Extracting #1: cost 34 inf + 0
2.013 * * [simplify]: Extracting #2: cost 204 inf + 0
2.014 * * [simplify]: Extracting #3: cost 326 inf + 1286
2.015 * * [simplify]: Extracting #4: cost 362 inf + 6740
2.017 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.019 * * [simplify]: Extracting #6: cost 358 inf + 29885
2.028 * * [simplify]: Extracting #7: cost 252 inf + 186163
2.066 * * [simplify]: Extracting #8: cost 47 inf + 586692
2.109 * * [simplify]: Extracting #9: cost 0 inf + 696950
2.154 * * [simplify]: Extracting #10: cost 0 inf + 694590
2.198 * [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))))))
2.199 * [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)))))))
2.199 * * * * [progress]: [ 15 / 16 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
2.199 * [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)))
2.199 * * [simplify]: iters left: 6 (18 enodes)
2.206 * * [simplify]: iters left: 5 (47 enodes)
2.220 * * [simplify]: iters left: 4 (121 enodes)
2.261 * * [simplify]: iters left: 3 (337 enodes)
2.387 * * [simplify]: Extracting #0: cost 1 inf + 0
2.387 * * [simplify]: Extracting #1: cost 34 inf + 0
2.387 * * [simplify]: Extracting #2: cost 204 inf + 0
2.388 * * [simplify]: Extracting #3: cost 326 inf + 1286
2.390 * * [simplify]: Extracting #4: cost 362 inf + 6740
2.392 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.394 * * [simplify]: Extracting #6: cost 358 inf + 29885
2.401 * * [simplify]: Extracting #7: cost 252 inf + 186163
2.428 * * [simplify]: Extracting #8: cost 47 inf + 586692
2.469 * * [simplify]: Extracting #9: cost 0 inf + 696950
2.512 * * [simplify]: Extracting #10: cost 0 inf + 694590
2.547 * [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))))))
2.548 * [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)))))))
2.548 * * * * [progress]: [ 16 / 16 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
2.548 * [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)))
2.548 * * [simplify]: iters left: 6 (18 enodes)
2.553 * * [simplify]: iters left: 5 (47 enodes)
2.563 * * [simplify]: iters left: 4 (121 enodes)
2.590 * * [simplify]: iters left: 3 (337 enodes)
2.736 * * [simplify]: Extracting #0: cost 1 inf + 0
2.736 * * [simplify]: Extracting #1: cost 34 inf + 0
2.737 * * [simplify]: Extracting #2: cost 204 inf + 0
2.738 * * [simplify]: Extracting #3: cost 326 inf + 1286
2.740 * * [simplify]: Extracting #4: cost 362 inf + 6740
2.743 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.746 * * [simplify]: Extracting #6: cost 358 inf + 29885
2.756 * * [simplify]: Extracting #7: cost 252 inf + 186163
2.794 * * [simplify]: Extracting #8: cost 47 inf + 586692
2.852 * * [simplify]: Extracting #9: cost 0 inf + 696950
2.903 * * [simplify]: Extracting #10: cost 0 inf + 694590
2.959 * [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))))))
2.959 * [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)))))))
2.959 * * * [progress]: adding candidates to table
3.736 * * [progress]: iteration 2 / 4
3.736 * * * [progress]: picking best candidate
3.829 * * * * [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 (*.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))))>
3.829 * * * [progress]: localizing error
4.150 * * * [progress]: generating rewritten candidates
4.150 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1 1 2 2)
4.152 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1)
4.165 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1 1 2)
4.167 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 1 1)
4.171 * * * [progress]: generating series expansions
4.171 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1 1 2 2)
4.171 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1)
4.171 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1 1 2)
4.171 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 1 1)
4.171 * * * [progress]: simplifying candidates
4.171 * * * * [progress]: [ 1 / 17 ] 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 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 1.0)) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
4.171 * [simplify]: Simplifying (real->posit16 3.0)
4.171 * * [simplify]: iters left: 1 (2 enodes)
4.173 * * [simplify]: Extracting #0: cost 1 inf + 0
4.173 * * [simplify]: Extracting #1: cost 2 inf + 0
4.173 * * [simplify]: Extracting #2: cost 1 inf + 1
4.173 * * [simplify]: Extracting #3: cost 0 inf + 2
4.173 * [simplify]: Simplified to (real->posit16 3.0)
4.173 * [simplify]: Simplified (2 2 2 1 2 1 1 2 2 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 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 1.0)) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
4.173 * * * * [progress]: [ 2 / 17 ] 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) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
4.173 * [simplify]: Simplifying (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.173 * * [simplify]: iters left: 3 (6 enodes)
4.175 * * [simplify]: iters left: 2 (11 enodes)
4.177 * * [simplify]: iters left: 1 (19 enodes)
4.181 * * [simplify]: Extracting #0: cost 1 inf + 0
4.181 * * [simplify]: Extracting #1: cost 3 inf + 0
4.181 * * [simplify]: Extracting #2: cost 8 inf + 0
4.181 * * [simplify]: Extracting #3: cost 6 inf + 2
4.181 * * [simplify]: Extracting #4: cost 4 inf + 4
4.181 * * [simplify]: Extracting #5: cost 0 inf + 1530
4.181 * [simplify]: Simplified to (/.p16 (real->posit16 1.0) (real->posit16 3.0))
4.181 * [simplify]: Simplified (2 2 2 1 2 1 1 2 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
4.181 * * * * [progress]: [ 3 / 17 ] 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))))>
4.181 * * * * [progress]: [ 4 / 17 ] 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 (+.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)))))))) rand))))>
4.181 * [simplify]: Simplifying (real->posit16 9)
4.182 * * [simplify]: iters left: 1 (2 enodes)
4.182 * * [simplify]: Extracting #0: cost 1 inf + 0
4.182 * * [simplify]: Extracting #1: cost 2 inf + 0
4.182 * * [simplify]: Extracting #2: cost 1 inf + 1
4.182 * * [simplify]: Extracting #3: cost 0 inf + 2
4.182 * [simplify]: Simplified to (real->posit16 9)
4.182 * [simplify]: Simplified (2 2 2 1 2 1 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (real->posit16 9) (/.p16 (+.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)))))))) rand))))
4.182 * * * * [progress]: [ 5 / 17 ] 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 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (+.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)))))))) rand))))>
4.183 * [simplify]: Simplifying (*.p16 (real->posit16 9) (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
4.183 * * [simplify]: iters left: 6 (14 enodes)
4.187 * * [simplify]: iters left: 5 (42 enodes)
4.196 * * [simplify]: iters left: 4 (124 enodes)
4.243 * * [simplify]: iters left: 3 (486 enodes)
4.979 * * [simplify]: Extracting #0: cost 1 inf + 0
4.979 * * [simplify]: Extracting #1: cost 81 inf + 0
4.980 * * [simplify]: Extracting #2: cost 389 inf + 0
4.982 * * [simplify]: Extracting #3: cost 599 inf + 6735
4.986 * * [simplify]: Extracting #4: cost 668 inf + 46772
4.993 * * [simplify]: Extracting #5: cost 583 inf + 119279
5.017 * * [simplify]: Extracting #6: cost 407 inf + 395443
5.092 * * [simplify]: Extracting #7: cost 67 inf + 1197512
5.176 * * [simplify]: Extracting #8: cost 1 inf + 1361954
5.254 * * [simplify]: Extracting #9: cost 0 inf + 1362437
5.318 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (/.p16 (real->posit16 1.0) (*.p16 (*.p16 (real->posit16 3.0) (real->posit16 3.0)) (*.p16 (real->posit16 3.0) (real->posit16 3.0))))) (real->posit16 9))
5.318 * [simplify]: Simplified (2 2 2 1 2 1 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (/.p16 (real->posit16 1.0) (*.p16 (*.p16 (real->posit16 3.0) (real->posit16 3.0)) (*.p16 (real->posit16 3.0) (real->posit16 3.0))))) (real->posit16 9)) (*.p16 (+.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)))))))) rand))))
5.318 * * * * [progress]: [ 6 / 17 ] 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 (/.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)))))) rand))))>
5.318 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.318 * * [simplify]: iters left: 3 (7 enodes)
5.321 * * [simplify]: iters left: 2 (12 enodes)
5.323 * * [simplify]: Extracting #0: cost 1 inf + 0
5.323 * * [simplify]: Extracting #1: cost 3 inf + 0
5.323 * * [simplify]: Extracting #2: cost 4 inf + 1
5.323 * * [simplify]: Extracting #3: cost 6 inf + 1
5.323 * * [simplify]: Extracting #4: cost 0 inf + 930
5.323 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.323 * [simplify]: Simplified (2 2 2 1 2 1 1 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
5.323 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.323 * * [simplify]: iters left: 3 (7 enodes)
5.325 * * [simplify]: iters left: 2 (18 enodes)
5.328 * * [simplify]: iters left: 1 (32 enodes)
5.335 * * [simplify]: Extracting #0: cost 1 inf + 0
5.335 * * [simplify]: Extracting #1: cost 9 inf + 0
5.335 * * [simplify]: Extracting #2: cost 25 inf + 1
5.335 * * [simplify]: Extracting #3: cost 34 inf + 322
5.335 * * [simplify]: Extracting #4: cost 27 inf + 3209
5.335 * * [simplify]: Extracting #5: cost 22 inf + 4898
5.336 * * [simplify]: Extracting #6: cost 11 inf + 15047
5.337 * * [simplify]: Extracting #7: cost 0 inf + 29315
5.339 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.339 * [simplify]: Simplified (2 2 2 1 2 1 1 2 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 (/.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)))))) rand))))
5.339 * * * * [progress]: [ 7 / 17 ] 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) (neg.p16 (*.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))))>
5.339 * * * * [progress]: [ 8 / 17 ] 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 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.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)))))) rand))))>
5.339 * * * * [progress]: [ 9 / 17 ] 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 (*.p16 (real->posit16 9) (*.p16 a a)) (*.p16 (real->posit16 9) (neg.p16 (*.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))))>
5.340 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
5.340 * * [simplify]: iters left: 5 (10 enodes)
5.342 * * [simplify]: iters left: 4 (18 enodes)
5.346 * * [simplify]: iters left: 3 (24 enodes)
5.351 * * [simplify]: iters left: 2 (59 enodes)
5.371 * * [simplify]: iters left: 1 (159 enodes)
5.486 * * [simplify]: Extracting #0: cost 1 inf + 0
5.486 * * [simplify]: Extracting #1: cost 3 inf + 0
5.486 * * [simplify]: Extracting #2: cost 5 inf + 0
5.486 * * [simplify]: Extracting #3: cost 24 inf + 1
5.486 * * [simplify]: Extracting #4: cost 87 inf + 2
5.487 * * [simplify]: Extracting #5: cost 77 inf + 2053
5.488 * * [simplify]: Extracting #6: cost 26 inf + 29454
5.490 * * [simplify]: Extracting #7: cost 0 inf + 49266
5.492 * [simplify]: Simplified to (*.p16 (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9))
5.492 * [simplify]: Simplified (2 2 2 1 2 1 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 (*.p16 (real->posit16 9) (*.p16 a a)) (*.p16 (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
5.492 * * * * [progress]: [ 10 / 17 ] 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 (*.p16 (*.p16 a a) (real->posit16 9)) (*.p16 (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
5.492 * [simplify]: Simplifying (*.p16 (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9))
5.493 * * [simplify]: iters left: 5 (10 enodes)
5.495 * * [simplify]: iters left: 4 (18 enodes)
5.499 * * [simplify]: iters left: 3 (24 enodes)
5.505 * * [simplify]: iters left: 2 (60 enodes)
5.519 * * [simplify]: iters left: 1 (149 enodes)
5.620 * * [simplify]: Extracting #0: cost 1 inf + 0
5.620 * * [simplify]: Extracting #1: cost 3 inf + 0
5.620 * * [simplify]: Extracting #2: cost 5 inf + 0
5.620 * * [simplify]: Extracting #3: cost 9 inf + 2
5.620 * * [simplify]: Extracting #4: cost 62 inf + 2
5.620 * * [simplify]: Extracting #5: cost 55 inf + 969
5.621 * * [simplify]: Extracting #6: cost 20 inf + 15011
5.622 * * [simplify]: Extracting #7: cost 0 inf + 30251
5.623 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0)))) (real->posit16 9))
5.623 * [simplify]: Simplified (2 2 2 1 2 1 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 (*.p16 (*.p16 a a) (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0)))) (real->posit16 9))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
5.624 * * * * [progress]: [ 11 / 17 ] 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 (*.p16 (real->posit16 9) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
5.624 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.624 * * [simplify]: iters left: 3 (7 enodes)
5.626 * * [simplify]: iters left: 2 (18 enodes)
5.629 * * [simplify]: iters left: 1 (32 enodes)
5.635 * * [simplify]: Extracting #0: cost 1 inf + 0
5.636 * * [simplify]: Extracting #1: cost 9 inf + 0
5.636 * * [simplify]: Extracting #2: cost 25 inf + 1
5.636 * * [simplify]: Extracting #3: cost 34 inf + 322
5.636 * * [simplify]: Extracting #4: cost 27 inf + 3209
5.636 * * [simplify]: Extracting #5: cost 22 inf + 4898
5.637 * * [simplify]: Extracting #6: cost 11 inf + 15047
5.638 * * [simplify]: Extracting #7: cost 0 inf + 29315
5.639 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.639 * [simplify]: Simplified (2 2 2 1 2 1 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 (*.p16 (real->posit16 9) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
5.639 * * * * [progress]: [ 12 / 17 ] 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 (*.p16 (real->posit16 9) (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.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)))))) rand))))>
5.639 * [simplify]: Simplifying (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
5.639 * * [simplify]: iters left: 4 (9 enodes)
5.642 * * [simplify]: iters left: 3 (18 enodes)
5.645 * * [simplify]: iters left: 2 (24 enodes)
5.652 * * [simplify]: iters left: 1 (59 enodes)
5.677 * * [simplify]: Extracting #0: cost 1 inf + 0
5.678 * * [simplify]: Extracting #1: cost 3 inf + 0
5.678 * * [simplify]: Extracting #2: cost 30 inf + 0
5.678 * * [simplify]: Extracting #3: cost 68 inf + 322
5.679 * * [simplify]: Extracting #4: cost 34 inf + 13807
5.681 * * [simplify]: Extracting #5: cost 0 inf + 34348
5.684 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0))) (*.p16 a a))
5.684 * [simplify]: Simplified (2 2 2 1 2 1 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 (*.p16 (real->posit16 9) (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0))) (*.p16 a a))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
5.684 * * * * [progress]: [ 13 / 17 ] 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 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9)) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
5.684 * * * * [progress]: [ 14 / 17 ] 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))))>
5.684 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.685 * * [simplify]: iters left: 3 (7 enodes)
5.688 * * [simplify]: iters left: 2 (12 enodes)
5.691 * * [simplify]: Extracting #0: cost 1 inf + 0
5.692 * * [simplify]: Extracting #1: cost 3 inf + 0
5.692 * * [simplify]: Extracting #2: cost 4 inf + 1
5.692 * * [simplify]: Extracting #3: cost 6 inf + 1
5.692 * * [simplify]: Extracting #4: cost 0 inf + 930
5.692 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.692 * [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))))
5.692 * * * * [progress]: [ 15 / 17 ] 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))))>
5.692 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.693 * * [simplify]: iters left: 3 (7 enodes)
5.695 * * [simplify]: iters left: 2 (12 enodes)
5.699 * * [simplify]: Extracting #0: cost 1 inf + 0
5.699 * * [simplify]: Extracting #1: cost 3 inf + 0
5.699 * * [simplify]: Extracting #2: cost 4 inf + 1
5.699 * * [simplify]: Extracting #3: cost 6 inf + 1
5.699 * * [simplify]: Extracting #4: cost 0 inf + 930
5.699 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.699 * [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))))
5.700 * * * * [progress]: [ 16 / 17 ] 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))))>
5.700 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.700 * * [simplify]: iters left: 3 (7 enodes)
5.703 * * [simplify]: iters left: 2 (12 enodes)
5.706 * * [simplify]: Extracting #0: cost 1 inf + 0
5.706 * * [simplify]: Extracting #1: cost 3 inf + 0
5.706 * * [simplify]: Extracting #2: cost 4 inf + 1
5.706 * * [simplify]: Extracting #3: cost 6 inf + 1
5.706 * * [simplify]: Extracting #4: cost 0 inf + 930
5.706 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.706 * [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))))
5.706 * * * * [progress]: [ 17 / 17 ] 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))))>
5.707 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.707 * * [simplify]: iters left: 3 (7 enodes)
5.709 * * [simplify]: iters left: 2 (12 enodes)
5.712 * * [simplify]: Extracting #0: cost 1 inf + 0
5.712 * * [simplify]: Extracting #1: cost 3 inf + 0
5.712 * * [simplify]: Extracting #2: cost 4 inf + 1
5.712 * * [simplify]: Extracting #3: cost 6 inf + 1
5.712 * * [simplify]: Extracting #4: cost 0 inf + 930
5.713 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.713 * [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))))
5.713 * * * [progress]: adding candidates to table
6.468 * * [progress]: iteration 3 / 4
6.468 * * * [progress]: picking best candidate
6.599 * * * * [pick]: Picked  #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
6.599 * * * [progress]: localizing error
6.816 * * * [progress]: generating rewritten candidates
6.816 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
6.831 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1)
6.835 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
6.837 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2 1 2)
6.839 * * * [progress]: generating series expansions
6.839 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
6.839 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1)
6.839 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
6.839 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2 1 2)
6.839 * * * [progress]: simplifying candidates
6.839 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
6.839 * [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))))
6.839 * * [simplify]: iters left: 6 (18 enodes)
6.844 * * [simplify]: iters left: 5 (41 enodes)
6.851 * * [simplify]: iters left: 4 (83 enodes)
6.867 * * [simplify]: iters left: 3 (164 enodes)
6.911 * * [simplify]: iters left: 2 (496 enodes)
7.283 * * [simplify]: Extracting #0: cost 1 inf + 0
7.284 * * [simplify]: Extracting #1: cost 21 inf + 0
7.284 * * [simplify]: Extracting #2: cost 23 inf + 1
7.284 * * [simplify]: Extracting #3: cost 121 inf + 3
7.286 * * [simplify]: Extracting #4: cost 477 inf + 325
7.290 * * [simplify]: Extracting #5: cost 788 inf + 4871
7.308 * * [simplify]: Extracting #6: cost 663 inf + 189244
7.366 * * [simplify]: Extracting #7: cost 195 inf + 927268
7.464 * * [simplify]: Extracting #8: cost 10 inf + 1303684
7.568 * * [simplify]: Extracting #9: cost 0 inf + 1332318
7.646 * [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)))))
7.646 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
7.646 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))))>
7.646 * [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))
7.646 * * [simplify]: iters left: 6 (18 enodes)
7.651 * * [simplify]: iters left: 5 (41 enodes)
7.658 * * [simplify]: iters left: 4 (83 enodes)
7.675 * * [simplify]: iters left: 3 (164 enodes)
7.726 * * [simplify]: Extracting #0: cost 1 inf + 0
7.726 * * [simplify]: Extracting #1: cost 16 inf + 0
7.726 * * [simplify]: Extracting #2: cost 18 inf + 1
7.726 * * [simplify]: Extracting #3: cost 41 inf + 1
7.727 * * [simplify]: Extracting #4: cost 129 inf + 3
7.727 * * [simplify]: Extracting #5: cost 159 inf + 651
7.729 * * [simplify]: Extracting #6: cost 163 inf + 16579
7.735 * * [simplify]: Extracting #7: cost 66 inf + 116878
7.745 * * [simplify]: Extracting #8: cost 4 inf + 214206
7.756 * * [simplify]: Extracting #9: cost 0 inf + 221579
7.769 * [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))))
7.769 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
7.769 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
7.769 * [simplify]: Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
7.769 * * [simplify]: iters left: 6 (14 enodes)
7.773 * * [simplify]: iters left: 5 (30 enodes)
7.779 * * [simplify]: iters left: 4 (56 enodes)
7.791 * * [simplify]: iters left: 3 (122 enodes)
7.826 * * [simplify]: iters left: 2 (499 enodes)
8.274 * * [simplify]: Extracting #0: cost 1 inf + 0
8.274 * * [simplify]: Extracting #1: cost 3 inf + 0
8.274 * * [simplify]: Extracting #2: cost 5 inf + 0
8.274 * * [simplify]: Extracting #3: cost 93 inf + 1
8.276 * * [simplify]: Extracting #4: cost 451 inf + 2
8.280 * * [simplify]: Extracting #5: cost 850 inf + 2252
8.286 * * [simplify]: Extracting #6: cost 904 inf + 7387
8.294 * * [simplify]: Extracting #7: cost 835 inf + 65272
8.321 * * [simplify]: Extracting #8: cost 579 inf + 361623
8.389 * * [simplify]: Extracting #9: cost 181 inf + 1076854
8.490 * * [simplify]: Extracting #10: cost 6 inf + 1471563
8.607 * * [simplify]: Extracting #11: cost 0 inf + 1485305
8.708 * * [simplify]: Extracting #12: cost 0 inf + 1484905
8.825 * [simplify]: Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
8.825 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
8.825 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
8.825 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
8.825 * * [simplify]: iters left: 3 (7 enodes)
8.829 * * [simplify]: iters left: 2 (12 enodes)
8.832 * * [simplify]: Extracting #0: cost 1 inf + 0
8.832 * * [simplify]: Extracting #1: cost 3 inf + 0
8.832 * * [simplify]: Extracting #2: cost 4 inf + 1
8.832 * * [simplify]: Extracting #3: cost 6 inf + 1
8.832 * * [simplify]: Extracting #4: cost 0 inf + 930
8.832 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
8.832 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
8.833 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
8.833 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
8.833 * * [simplify]: iters left: 4 (12 enodes)
8.836 * * [simplify]: iters left: 3 (32 enodes)
8.848 * * [simplify]: iters left: 2 (72 enodes)
8.880 * * [simplify]: iters left: 1 (187 enodes)
8.981 * * [simplify]: Extracting #0: cost 1 inf + 0
8.982 * * [simplify]: Extracting #1: cost 23 inf + 0
8.982 * * [simplify]: Extracting #2: cost 127 inf + 1
8.984 * * [simplify]: Extracting #3: cost 199 inf + 1612
8.986 * * [simplify]: Extracting #4: cost 224 inf + 11556
8.989 * * [simplify]: Extracting #5: cost 214 inf + 19246
8.991 * * [simplify]: Extracting #6: cost 205 inf + 24740
8.995 * * [simplify]: Extracting #7: cost 101 inf + 143111
9.015 * * [simplify]: Extracting #8: cost 13 inf + 275987
9.043 * * [simplify]: Extracting #9: cost 0 inf + 294918
9.067 * [simplify]: Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
9.067 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
9.067 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
9.067 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
9.067 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
9.067 * * [simplify]: iters left: 4 (9 enodes)
9.072 * * [simplify]: iters left: 3 (13 enodes)
9.076 * * [simplify]: Extracting #0: cost 1 inf + 0
9.076 * * [simplify]: Extracting #1: cost 3 inf + 0
9.076 * * [simplify]: Extracting #2: cost 5 inf + 0
9.076 * * [simplify]: Extracting #3: cost 6 inf + 1
9.076 * * [simplify]: Extracting #4: cost 7 inf + 2
9.076 * * [simplify]: Extracting #5: cost 0 inf + 1813
9.076 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
9.076 * [simplify]: Simplified (2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
9.077 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
9.077 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
9.077 * * [simplify]: iters left: 4 (9 enodes)
9.081 * * [simplify]: iters left: 3 (13 enodes)
9.085 * * [simplify]: Extracting #0: cost 1 inf + 0
9.085 * * [simplify]: Extracting #1: cost 3 inf + 0
9.085 * * [simplify]: Extracting #2: cost 5 inf + 0
9.085 * * [simplify]: Extracting #3: cost 5 inf + 2
9.085 * * [simplify]: Extracting #4: cost 7 inf + 2
9.085 * * [simplify]: Extracting #5: cost 4 inf + 5
9.085 * * [simplify]: Extracting #6: cost 0 inf + 1813
9.085 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
9.085 * [simplify]: Simplified (2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
9.085 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
9.086 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
9.086 * * [simplify]: iters left: 3 (7 enodes)
9.089 * * [simplify]: iters left: 2 (12 enodes)
9.091 * * [simplify]: Extracting #0: cost 1 inf + 0
9.091 * * [simplify]: Extracting #1: cost 3 inf + 0
9.091 * * [simplify]: Extracting #2: cost 4 inf + 1
9.091 * * [simplify]: Extracting #3: cost 6 inf + 1
9.091 * * [simplify]: Extracting #4: cost 0 inf + 930
9.092 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
9.092 * [simplify]: Simplified (2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
9.092 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
9.092 * * * * [progress]: [ 11 / 18 ] 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 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
9.092 * * * * [progress]: [ 12 / 18 ] 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 (-.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)))))))>
9.092 * * * * [progress]: [ 13 / 18 ] 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 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
9.092 * * * * [progress]: [ 14 / 18 ] 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 (-.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))))))>
9.092 * * * * [progress]: [ 15 / 18 ] 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))))))>
9.092 * [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))))
9.092 * * [simplify]: iters left: 6 (17 enodes)
9.096 * * [simplify]: iters left: 5 (41 enodes)
9.104 * * [simplify]: iters left: 4 (101 enodes)
9.138 * * [simplify]: iters left: 3 (291 enodes)
9.294 * * [simplify]: Extracting #0: cost 1 inf + 0
9.294 * * [simplify]: Extracting #1: cost 48 inf + 0
9.294 * * [simplify]: Extracting #2: cost 208 inf + 1
9.295 * * [simplify]: Extracting #3: cost 275 inf + 1610
9.297 * * [simplify]: Extracting #4: cost 319 inf + 9953
9.299 * * [simplify]: Extracting #5: cost 302 inf + 20857
9.301 * * [simplify]: Extracting #6: cost 279 inf + 36752
9.309 * * [simplify]: Extracting #7: cost 152 inf + 206471
9.336 * * [simplify]: Extracting #8: cost 9 inf + 486275
9.367 * * [simplify]: Extracting #9: cost 0 inf + 499918
9.398 * [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))))
9.398 * [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))))))
9.398 * * * * [progress]: [ 16 / 18 ] 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))))))>
9.398 * [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))))
9.398 * * [simplify]: iters left: 6 (17 enodes)
9.407 * * [simplify]: iters left: 5 (41 enodes)
9.423 * * [simplify]: iters left: 4 (101 enodes)
9.450 * * [simplify]: iters left: 3 (291 enodes)
9.586 * * [simplify]: Extracting #0: cost 1 inf + 0
9.586 * * [simplify]: Extracting #1: cost 48 inf + 0
9.587 * * [simplify]: Extracting #2: cost 208 inf + 1
9.589 * * [simplify]: Extracting #3: cost 275 inf + 1610
9.591 * * [simplify]: Extracting #4: cost 319 inf + 9953
9.594 * * [simplify]: Extracting #5: cost 302 inf + 20857
9.598 * * [simplify]: Extracting #6: cost 279 inf + 36752
9.611 * * [simplify]: Extracting #7: cost 152 inf + 206471
9.658 * * [simplify]: Extracting #8: cost 9 inf + 486275
9.698 * * [simplify]: Extracting #9: cost 0 inf + 499918
9.730 * [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))))
9.730 * [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))))))
9.731 * * * * [progress]: [ 17 / 18 ] 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))))))>
9.731 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
9.731 * * [simplify]: iters left: 6 (17 enodes)
9.735 * * [simplify]: iters left: 5 (41 enodes)
9.744 * * [simplify]: iters left: 4 (101 enodes)
9.767 * * [simplify]: iters left: 3 (291 enodes)
9.861 * * [simplify]: Extracting #0: cost 1 inf + 0
9.861 * * [simplify]: Extracting #1: cost 48 inf + 0
9.862 * * [simplify]: Extracting #2: cost 208 inf + 1
9.863 * * [simplify]: Extracting #3: cost 275 inf + 1610
9.864 * * [simplify]: Extracting #4: cost 319 inf + 9953
9.866 * * [simplify]: Extracting #5: cost 302 inf + 20857
9.869 * * [simplify]: Extracting #6: cost 279 inf + 36752
9.887 * * [simplify]: Extracting #7: cost 152 inf + 206471
9.923 * * [simplify]: Extracting #8: cost 9 inf + 486275
9.964 * * [simplify]: Extracting #9: cost 0 inf + 499918
9.990 * [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))))
9.990 * [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))))))
9.990 * * * * [progress]: [ 18 / 18 ] 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))))))>
9.990 * [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))))
9.990 * * [simplify]: iters left: 6 (17 enodes)
9.995 * * [simplify]: iters left: 5 (41 enodes)
10.004 * * [simplify]: iters left: 4 (101 enodes)
10.041 * * [simplify]: iters left: 3 (291 enodes)
10.165 * * [simplify]: Extracting #0: cost 1 inf + 0
10.165 * * [simplify]: Extracting #1: cost 48 inf + 0
10.166 * * [simplify]: Extracting #2: cost 208 inf + 1
10.167 * * [simplify]: Extracting #3: cost 275 inf + 1610
10.168 * * [simplify]: Extracting #4: cost 319 inf + 9953
10.170 * * [simplify]: Extracting #5: cost 302 inf + 20857
10.172 * * [simplify]: Extracting #6: cost 279 inf + 36752
10.187 * * [simplify]: Extracting #7: cost 152 inf + 206471
10.219 * * [simplify]: Extracting #8: cost 9 inf + 486275
10.252 * * [simplify]: Extracting #9: cost 0 inf + 499918
10.281 * [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))))
10.281 * [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))))))
10.281 * * * [progress]: adding candidates to table
11.102 * * [progress]: iteration 4 / 4
11.102 * * * [progress]: picking best candidate
11.297 * * * * [pick]: Picked  #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
11.297 * * * [progress]: localizing error
11.547 * * * [progress]: generating rewritten candidates
11.547 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
11.551 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
11.556 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
11.559 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2)
11.561 * * * [progress]: generating series expansions
11.561 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
11.561 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
11.561 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
11.561 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2)
11.561 * * * [progress]: simplifying candidates
11.561 * * * * [progress]: [ 1 / 22 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (*.p16 rand a) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
11.561 * [simplify]: Simplifying (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
11.561 * * [simplify]: iters left: 4 (8 enodes)
11.571 * * [simplify]: iters left: 3 (13 enodes)
11.574 * * [simplify]: Extracting #0: cost 1 inf + 0
11.574 * * [simplify]: Extracting #1: cost 3 inf + 0
11.574 * * [simplify]: Extracting #2: cost 3 inf + 1
11.574 * * [simplify]: Extracting #3: cost 5 inf + 1
11.574 * * [simplify]: Extracting #4: cost 7 inf + 1
11.574 * * [simplify]: Extracting #5: cost 0 inf + 1812
11.574 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand)
11.574 * [simplify]: Simplified (2 2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (*.p16 rand a) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand)))))
11.574 * * * * [progress]: [ 2 / 22 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (*.p16 a rand) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand)))))>
11.574 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand)
11.574 * * [simplify]: iters left: 4 (8 enodes)
11.576 * * [simplify]: iters left: 3 (13 enodes)
11.579 * * [simplify]: Extracting #0: cost 1 inf + 0
11.579 * * [simplify]: Extracting #1: cost 3 inf + 0
11.579 * * [simplify]: Extracting #2: cost 3 inf + 1
11.579 * * [simplify]: Extracting #3: cost 5 inf + 1
11.579 * * [simplify]: Extracting #4: cost 7 inf + 1
11.579 * * [simplify]: Extracting #5: cost 4 inf + 4
11.579 * * [simplify]: Extracting #6: cost 0 inf + 1812
11.579 * [simplify]: Simplified to (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
11.579 * [simplify]: Simplified (2 2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (*.p16 a rand) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
11.579 * * * * [progress]: [ 3 / 22 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (/.p16 (*.p16 rand (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
11.579 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
11.579 * * [simplify]: iters left: 3 (7 enodes)
11.581 * * [simplify]: iters left: 2 (12 enodes)
11.583 * * [simplify]: Extracting #0: cost 1 inf + 0
11.583 * * [simplify]: Extracting #1: cost 3 inf + 0
11.583 * * [simplify]: Extracting #2: cost 4 inf + 1
11.583 * * [simplify]: Extracting #3: cost 6 inf + 1
11.583 * * [simplify]: Extracting #4: cost 0 inf + 930
11.583 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
11.583 * [simplify]: Simplified (2 2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (/.p16 (*.p16 rand (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
11.584 * * * * [progress]: [ 4 / 22 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))))>
11.584 * * * * [progress]: [ 5 / 22 ] 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)))))) (*.p16 rand a)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
11.584 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
11.584 * * [simplify]: iters left: 6 (18 enodes)
11.588 * * [simplify]: iters left: 5 (41 enodes)
11.596 * * [simplify]: iters left: 4 (82 enodes)
11.612 * * [simplify]: iters left: 3 (164 enodes)
11.654 * * [simplify]: Extracting #0: cost 1 inf + 0
11.654 * * [simplify]: Extracting #1: cost 17 inf + 0
11.654 * * [simplify]: Extracting #2: cost 19 inf + 1
11.654 * * [simplify]: Extracting #3: cost 40 inf + 2
11.655 * * [simplify]: Extracting #4: cost 129 inf + 3
11.655 * * [simplify]: Extracting #5: cost 156 inf + 651
11.656 * * [simplify]: Extracting #6: cost 166 inf + 13810
11.660 * * [simplify]: Extracting #7: cost 72 inf + 114309
11.670 * * [simplify]: Extracting #8: cost 7 inf + 206554
11.682 * * [simplify]: Extracting #9: cost 0 inf + 220420
11.692 * [simplify]: Simplified to (*.p16 (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
11.692 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand a)) (*.p16 (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))))
11.693 * * * * [progress]: [ 6 / 22 ] 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)))))) (*.p16 a rand)) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand)))))>
11.693 * [simplify]: Simplifying (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))
11.693 * * [simplify]: iters left: 6 (18 enodes)
11.697 * * [simplify]: iters left: 5 (41 enodes)
11.705 * * [simplify]: iters left: 4 (82 enodes)
11.721 * * [simplify]: iters left: 3 (164 enodes)
11.785 * * [simplify]: Extracting #0: cost 1 inf + 0
11.785 * * [simplify]: Extracting #1: cost 17 inf + 0
11.785 * * [simplify]: Extracting #2: cost 19 inf + 1
11.786 * * [simplify]: Extracting #3: cost 40 inf + 2
11.786 * * [simplify]: Extracting #4: cost 128 inf + 325
11.787 * * [simplify]: Extracting #5: cost 156 inf + 651
11.789 * * [simplify]: Extracting #6: cost 167 inf + 12687
11.795 * * [simplify]: Extracting #7: cost 69 inf + 112594
11.808 * * [simplify]: Extracting #8: cost 5 inf + 209720
11.819 * * [simplify]: Extracting #9: cost 0 inf + 220499
11.830 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
11.830 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 a rand)) (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))))
11.830 * * * * [progress]: [ 7 / 22 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.p16 rand a) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (*.p16 (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))))>
11.830 * [simplify]: Simplifying (*.p16 (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
11.830 * * [simplify]: iters left: 6 (18 enodes)
11.840 * * [simplify]: iters left: 5 (41 enodes)
11.851 * * [simplify]: iters left: 4 (82 enodes)
11.870 * * [simplify]: iters left: 3 (162 enodes)
11.913 * * [simplify]: Extracting #0: cost 1 inf + 0
11.913 * * [simplify]: Extracting #1: cost 19 inf + 0
11.913 * * [simplify]: Extracting #2: cost 24 inf + 1
11.913 * * [simplify]: Extracting #3: cost 44 inf + 3
11.914 * * [simplify]: Extracting #4: cost 133 inf + 325
11.914 * * [simplify]: Extracting #5: cost 158 inf + 974
11.918 * * [simplify]: Extracting #6: cost 167 inf + 18949
11.925 * * [simplify]: Extracting #7: cost 68 inf + 125778
11.941 * * [simplify]: Extracting #8: cost 7 inf + 230705
11.959 * * [simplify]: Extracting #9: cost 1 inf + 241164
11.977 * * [simplify]: Extracting #10: cost 0 inf + 244247
11.996 * [simplify]: Simplified to (/.p16 (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
11.996 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.p16 rand a) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (/.p16 (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))
11.996 * * * * [progress]: [ 8 / 22 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.p16 a rand) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))))>
11.997 * [simplify]: Simplifying (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
11.997 * * [simplify]: iters left: 6 (18 enodes)
12.004 * * [simplify]: iters left: 5 (41 enodes)
12.016 * * [simplify]: iters left: 4 (82 enodes)
12.032 * * [simplify]: iters left: 3 (162 enodes)
12.071 * * [simplify]: Extracting #0: cost 1 inf + 0
12.071 * * [simplify]: Extracting #1: cost 19 inf + 0
12.071 * * [simplify]: Extracting #2: cost 24 inf + 1
12.071 * * [simplify]: Extracting #3: cost 44 inf + 3
12.072 * * [simplify]: Extracting #4: cost 133 inf + 325
12.072 * * [simplify]: Extracting #5: cost 158 inf + 1296
12.073 * * [simplify]: Extracting #6: cost 157 inf + 33256
12.079 * * [simplify]: Extracting #7: cost 43 inf + 176089
12.089 * * [simplify]: Extracting #8: cost 1 inf + 243168
12.101 * * [simplify]: Extracting #9: cost 0 inf + 245532
12.114 * [simplify]: Simplified to (/.p16 (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
12.114 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.p16 a rand) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (/.p16 (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))
12.114 * * * * [progress]: [ 9 / 22 ] 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))))))>
12.114 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
12.114 * * [simplify]: iters left: 3 (7 enodes)
12.116 * * [simplify]: iters left: 2 (18 enodes)
12.120 * * [simplify]: iters left: 1 (32 enodes)
12.126 * * [simplify]: Extracting #0: cost 1 inf + 0
12.126 * * [simplify]: Extracting #1: cost 9 inf + 0
12.126 * * [simplify]: Extracting #2: cost 25 inf + 1
12.126 * * [simplify]: Extracting #3: cost 34 inf + 322
12.126 * * [simplify]: Extracting #4: cost 27 inf + 3209
12.126 * * [simplify]: Extracting #5: cost 22 inf + 4898
12.127 * * [simplify]: Extracting #6: cost 11 inf + 15047
12.128 * * [simplify]: Extracting #7: cost 0 inf + 29315
12.129 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
12.129 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (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))))))
12.129 * * * * [progress]: [ 10 / 22 ] 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)))))) (*.p16 rand (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
12.130 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
12.130 * * [simplify]: iters left: 3 (7 enodes)
12.131 * * [simplify]: iters left: 2 (12 enodes)
12.133 * * [simplify]: Extracting #0: cost 1 inf + 0
12.133 * * [simplify]: Extracting #1: cost 3 inf + 0
12.133 * * [simplify]: Extracting #2: cost 4 inf + 1
12.133 * * [simplify]: Extracting #3: cost 6 inf + 1
12.134 * * [simplify]: Extracting #4: cost 0 inf + 930
12.134 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
12.134 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
12.134 * * * * [progress]: [ 11 / 22 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (real->posit16 1) (*.p16 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))))))))>
12.134 * [simplify]: Simplifying (*.p16 (real->posit16 1) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
12.134 * * [simplify]: iters left: 5 (12 enodes)
12.137 * * [simplify]: iters left: 4 (32 enodes)
12.143 * * [simplify]: iters left: 3 (72 enodes)
12.159 * * [simplify]: iters left: 2 (188 enodes)
12.237 * * [simplify]: Extracting #0: cost 1 inf + 0
12.237 * * [simplify]: Extracting #1: cost 20 inf + 0
12.237 * * [simplify]: Extracting #2: cost 109 inf + 1
12.238 * * [simplify]: Extracting #3: cost 187 inf + 969
12.239 * * [simplify]: Extracting #4: cost 210 inf + 2897
12.241 * * [simplify]: Extracting #5: cost 214 inf + 15401
12.243 * * [simplify]: Extracting #6: cost 201 inf + 27305
12.251 * * [simplify]: Extracting #7: cost 114 inf + 118579
12.269 * * [simplify]: Extracting #8: cost 10 inf + 282344
12.291 * * [simplify]: Extracting #9: cost 0 inf + 287223
12.316 * [simplify]: Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
12.316 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
12.316 * * * * [progress]: [ 12 / 22 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))>
12.317 * * * * [progress]: [ 13 / 22 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
12.317 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
12.317 * * [simplify]: iters left: 4 (9 enodes)
12.321 * * [simplify]: iters left: 3 (13 enodes)
12.325 * * [simplify]: Extracting #0: cost 1 inf + 0
12.325 * * [simplify]: Extracting #1: cost 3 inf + 0
12.325 * * [simplify]: Extracting #2: cost 5 inf + 0
12.325 * * [simplify]: Extracting #3: cost 6 inf + 1
12.325 * * [simplify]: Extracting #4: cost 7 inf + 2
12.325 * * [simplify]: Extracting #5: cost 0 inf + 1813
12.325 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
12.325 * [simplify]: Simplified (2 2 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (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 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
12.326 * * * * [progress]: [ 14 / 22 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
12.326 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
12.326 * * [simplify]: iters left: 4 (9 enodes)
12.330 * * [simplify]: iters left: 3 (13 enodes)
12.333 * * [simplify]: Extracting #0: cost 1 inf + 0
12.333 * * [simplify]: Extracting #1: cost 3 inf + 0
12.333 * * [simplify]: Extracting #2: cost 5 inf + 0
12.333 * * [simplify]: Extracting #3: cost 5 inf + 2
12.333 * * [simplify]: Extracting #4: cost 7 inf + 2
12.334 * * [simplify]: Extracting #5: cost 4 inf + 5
12.334 * * [simplify]: Extracting #6: cost 0 inf + 1813
12.334 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
12.334 * [simplify]: Simplified (2 2 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (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 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
12.334 * * * * [progress]: [ 15 / 22 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.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 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
12.334 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
12.334 * * [simplify]: iters left: 3 (7 enodes)
12.337 * * [simplify]: iters left: 2 (12 enodes)
12.341 * * [simplify]: Extracting #0: cost 1 inf + 0
12.341 * * [simplify]: Extracting #1: cost 3 inf + 0
12.341 * * [simplify]: Extracting #2: cost 4 inf + 1
12.341 * * [simplify]: Extracting #3: cost 6 inf + 1
12.341 * * [simplify]: Extracting #4: cost 0 inf + 930
12.341 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
12.341 * [simplify]: Simplified (2 2 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (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 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
12.341 * * * * [progress]: [ 16 / 22 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
12.341 * * * * [progress]: [ 17 / 22 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
12.341 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (/.p16 (-.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))))))))>
12.342 * * * * [progress]: [ 19 / 22 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
12.342 * [simplify]: Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
12.342 * * [simplify]: iters left: 6 (14 enodes)
12.348 * * [simplify]: iters left: 5 (30 enodes)
12.358 * * [simplify]: iters left: 4 (56 enodes)
12.378 * * [simplify]: iters left: 3 (122 enodes)
12.440 * * [simplify]: iters left: 2 (499 enodes)
12.943 * * [simplify]: Extracting #0: cost 1 inf + 0
12.943 * * [simplify]: Extracting #1: cost 3 inf + 0
12.943 * * [simplify]: Extracting #2: cost 5 inf + 0
12.943 * * [simplify]: Extracting #3: cost 93 inf + 1
12.945 * * [simplify]: Extracting #4: cost 451 inf + 2
12.949 * * [simplify]: Extracting #5: cost 850 inf + 2252
12.958 * * [simplify]: Extracting #6: cost 904 inf + 7387
12.964 * * [simplify]: Extracting #7: cost 835 inf + 65272
12.979 * * [simplify]: Extracting #8: cost 579 inf + 361623
13.056 * * [simplify]: Extracting #9: cost 181 inf + 1076854
13.128 * * [simplify]: Extracting #10: cost 6 inf + 1471563
13.202 * * [simplify]: Extracting #11: cost 0 inf + 1485305
13.279 * * [simplify]: Extracting #12: cost 0 inf + 1484905
13.381 * [simplify]: Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
13.382 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
13.382 * * * * [progress]: [ 20 / 22 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
13.382 * [simplify]: Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
13.382 * * [simplify]: iters left: 6 (14 enodes)
13.387 * * [simplify]: iters left: 5 (30 enodes)
13.392 * * [simplify]: iters left: 4 (56 enodes)
13.405 * * [simplify]: iters left: 3 (122 enodes)
13.439 * * [simplify]: iters left: 2 (499 enodes)
14.267 * * [simplify]: Extracting #0: cost 1 inf + 0
14.267 * * [simplify]: Extracting #1: cost 3 inf + 0
14.267 * * [simplify]: Extracting #2: cost 5 inf + 0
14.267 * * [simplify]: Extracting #3: cost 93 inf + 1
14.268 * * [simplify]: Extracting #4: cost 451 inf + 2
14.271 * * [simplify]: Extracting #5: cost 850 inf + 2252
14.275 * * [simplify]: Extracting #6: cost 904 inf + 7387
14.281 * * [simplify]: Extracting #7: cost 835 inf + 65272
14.302 * * [simplify]: Extracting #8: cost 579 inf + 361623
14.356 * * [simplify]: Extracting #9: cost 181 inf + 1076854
14.441 * * [simplify]: Extracting #10: cost 6 inf + 1471563
14.563 * * [simplify]: Extracting #11: cost 0 inf + 1485305
14.665 * * [simplify]: Extracting #12: cost 0 inf + 1484905
14.746 * [simplify]: Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
14.746 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
14.746 * * * * [progress]: [ 21 / 22 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
14.746 * [simplify]: Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
14.747 * * [simplify]: iters left: 6 (14 enodes)
14.751 * * [simplify]: iters left: 5 (30 enodes)
14.757 * * [simplify]: iters left: 4 (56 enodes)
14.769 * * [simplify]: iters left: 3 (122 enodes)
14.826 * * [simplify]: iters left: 2 (499 enodes)
15.393 * * [simplify]: Extracting #0: cost 1 inf + 0
15.393 * * [simplify]: Extracting #1: cost 3 inf + 0
15.393 * * [simplify]: Extracting #2: cost 5 inf + 0
15.393 * * [simplify]: Extracting #3: cost 93 inf + 1
15.395 * * [simplify]: Extracting #4: cost 451 inf + 2
15.400 * * [simplify]: Extracting #5: cost 850 inf + 2252
15.407 * * [simplify]: Extracting #6: cost 904 inf + 7387
15.417 * * [simplify]: Extracting #7: cost 835 inf + 65272
15.441 * * [simplify]: Extracting #8: cost 579 inf + 361623
15.515 * * [simplify]: Extracting #9: cost 181 inf + 1076854
15.609 * * [simplify]: Extracting #10: cost 6 inf + 1471563
15.691 * * [simplify]: Extracting #11: cost 0 inf + 1485305
15.773 * * [simplify]: Extracting #12: cost 0 inf + 1484905
15.861 * [simplify]: Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
15.861 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
15.861 * * * * [progress]: [ 22 / 22 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
15.862 * [simplify]: Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
15.862 * * [simplify]: iters left: 6 (14 enodes)
15.870 * * [simplify]: iters left: 5 (30 enodes)
15.878 * * [simplify]: iters left: 4 (56 enodes)
15.889 * * [simplify]: iters left: 3 (122 enodes)
15.923 * * [simplify]: iters left: 2 (499 enodes)
16.375 * * [simplify]: Extracting #0: cost 1 inf + 0
16.375 * * [simplify]: Extracting #1: cost 3 inf + 0
16.375 * * [simplify]: Extracting #2: cost 5 inf + 0
16.375 * * [simplify]: Extracting #3: cost 93 inf + 1
16.376 * * [simplify]: Extracting #4: cost 451 inf + 2
16.379 * * [simplify]: Extracting #5: cost 850 inf + 2252
16.383 * * [simplify]: Extracting #6: cost 904 inf + 7387
16.389 * * [simplify]: Extracting #7: cost 835 inf + 65272
16.413 * * [simplify]: Extracting #8: cost 579 inf + 361623
16.485 * * [simplify]: Extracting #9: cost 181 inf + 1076854
16.562 * * [simplify]: Extracting #10: cost 6 inf + 1471563
16.663 * * [simplify]: Extracting #11: cost 0 inf + 1485305
16.771 * * [simplify]: Extracting #12: cost 0 inf + 1484905
16.905 * [simplify]: Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
16.905 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
16.905 * * * [progress]: adding candidates to table
18.079 * [progress]: [Phase 3 of 3] Extracting.
18.080 * * [regime]: Finding splitpoints for: (#<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.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 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.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)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (*.p16 a rand) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand)))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.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)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (*.p16 (/.p16 (-.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 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (/.p16 (-.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))))))))>)
18.084 * * * [regime-changes]: Trying 2 branch expressions: (rand a)
18.084 * * * * [regimes]: Trying to branch on rand from (#<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.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 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.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)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (*.p16 a rand) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand)))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.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)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (*.p16 (/.p16 (-.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 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (/.p16 (-.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))))))))>)
18.330 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.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 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.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)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (*.p16 a rand) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand)))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.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)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (*.p16 (/.p16 (-.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 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (/.p16 (-.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))))))))>)
18.575 * * * [regime]: Found split indices: #<option (#s(si 4 256))>
18.575 * [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 (*.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)))
18.576 * * [simplify]: iters left: 6 (23 enodes)
18.579 * * [simplify]: iters left: 5 (25 enodes)
18.581 * * [simplify]: Extracting #0: cost 1 inf + 0
18.582 * * [simplify]: Extracting #1: cost 3 inf + 0
18.582 * * [simplify]: Extracting #2: cost 7 inf + 0
18.582 * * [simplify]: Extracting #3: cost 11 inf + 1
18.582 * * [simplify]: Extracting #4: cost 11 inf + 4
18.582 * * [simplify]: Extracting #5: cost 10 inf + 6
18.582 * * [simplify]: Extracting #6: cost 9 inf + 450
18.582 * * [simplify]: Extracting #7: cost 9 inf + 1456
18.582 * * [simplify]: Extracting #8: cost 12 inf + 1456
18.583 * * [simplify]: Extracting #9: cost 8 inf + 3703
18.583 * * [simplify]: Extracting #10: cost 5 inf + 7152
18.584 * * [simplify]: Extracting #11: cost 2 inf + 14367
18.585 * * [simplify]: Extracting #12: cost 0 inf + 20379
18.586 * [simplify]: Simplified to (*.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)))
18.586 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
18.620 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
18.625 * * * * [points]: Setting MPFR precision to 64
18.626 * * * * [points]: Setting MPFR precision to 320
18.627 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
18.631 * * * * [points]: Setting MPFR precision to 64
18.633 * * * * [points]: Setting MPFR precision to 320
18.635 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
18.640 * * * * [points]: Setting MPFR precision to 64
18.644 * * * * [points]: Setting MPFR precision to 320
18.648 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
18.667 * * * * [points]: Setting MPFR precision to 64
18.680 * * * * [points]: Setting MPFR precision to 320
18.693 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
18.699 * * * * [points]: Setting MPFR precision to 64
18.713 * * * * [points]: Setting MPFR precision to 320
18.728 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
18.733 * * * * [points]: Setting MPFR precision to 64
18.760 * * * * [points]: Setting MPFR precision to 320
18.841 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
18.849 * * * * [points]: Setting MPFR precision to 64
18.930 * * * * [points]: Setting MPFR precision to 320
19.037 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
19.046 * * * * [points]: Setting MPFR precision to 64
19.239 * * * * [points]: Setting MPFR precision to 320
19.406 * * * * [points]: Computing exacts for 8000 points
19.416 * * * * [points]: Setting MPFR precision to 64
20.286 * * * * [points]: Setting MPFR precision to 320
21.456 * * * * [points]: Filtering points with unrepresentable outputs
21.486 * * * * [points]: Sampled 8000 points with exact outputs
31.592 * [regime-testing]: Baseline error score: 64.0
31.599 * [regime-testing]: Oracle error score: 64.0
31.612 * [regime-testing]: End program error score: 0.2255692110408143