0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.001 * * * * [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.012 * * * * [points]: Setting MPFR precision to 64
0.014 * * * * [points]: Setting MPFR precision to 320
0.016 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.020 * * * * [points]: Setting MPFR precision to 64
0.023 * * * * [points]: Setting MPFR precision to 320
0.026 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.037 * * * * [points]: Setting MPFR precision to 64
0.042 * * * * [points]: Setting MPFR precision to 320
0.047 * * * * [points]: Computing exacts for 256 points
0.052 * * * * [points]: Setting MPFR precision to 64
0.066 * * * * [points]: Setting MPFR precision to 320
0.089 * * * * [points]: Filtering points with unrepresentable outputs
0.090 * * * * [points]: Sampled 256 points with exact outputs
0.090 * * * [progress]: [2/2] Setting up program.
0.115 * [progress]: [Phase 2 of 3] Improving.
0.115 * * * * [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.115 * [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.115 * * [simplify]: iters left: 6 (18 enodes)
0.125 * * [simplify]: iters left: 5 (47 enodes)
0.144 * * [simplify]: iters left: 4 (121 enodes)
0.197 * * [simplify]: iters left: 3 (337 enodes)
0.340 * * [simplify]: Extracting #0: cost 1 inf + 0
0.340 * * [simplify]: Extracting #1: cost 34 inf + 0
0.341 * * [simplify]: Extracting #2: cost 204 inf + 0
0.342 * * [simplify]: Extracting #3: cost 326 inf + 1286
0.344 * * [simplify]: Extracting #4: cost 362 inf + 6740
0.347 * * [simplify]: Extracting #5: cost 377 inf + 18286
0.350 * * [simplify]: Extracting #6: cost 358 inf + 29885
0.358 * * [simplify]: Extracting #7: cost 252 inf + 186163
0.386 * * [simplify]: Extracting #8: cost 47 inf + 586692
0.440 * * [simplify]: Extracting #9: cost 0 inf + 696950
0.485 * * [simplify]: Extracting #10: cost 0 inf + 694590
0.528 * [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.528 * [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.547 * * [progress]: iteration 1 / 4
0.547 * * * [progress]: picking best candidate
0.566 * * * * [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.566 * * * [progress]: localizing error
0.842 * * * [progress]: generating rewritten candidates
0.842 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
0.848 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.854 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1 2)
0.856 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.859 * * * [progress]: generating series expansions
0.860 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
0.860 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.860 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1 2)
0.860 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.860 * * * [progress]: simplifying candidates
0.860 * * * * [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.860 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.860 * * [simplify]: iters left: 4 (9 enodes)
0.865 * * [simplify]: iters left: 3 (13 enodes)
0.870 * * [simplify]: Extracting #0: cost 1 inf + 0
0.870 * * [simplify]: Extracting #1: cost 3 inf + 0
0.870 * * [simplify]: Extracting #2: cost 5 inf + 0
0.870 * * [simplify]: Extracting #3: cost 6 inf + 1
0.870 * * [simplify]: Extracting #4: cost 7 inf + 2
0.870 * * [simplify]: Extracting #5: cost 0 inf + 1813
0.871 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.871 * [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.871 * * * * [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.871 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
0.871 * * [simplify]: iters left: 4 (9 enodes)
0.876 * * [simplify]: iters left: 3 (13 enodes)
0.881 * * [simplify]: Extracting #0: cost 1 inf + 0
0.881 * * [simplify]: Extracting #1: cost 3 inf + 0
0.881 * * [simplify]: Extracting #2: cost 5 inf + 0
0.881 * * [simplify]: Extracting #3: cost 5 inf + 2
0.881 * * [simplify]: Extracting #4: cost 7 inf + 2
0.881 * * [simplify]: Extracting #5: cost 4 inf + 5
0.882 * * [simplify]: Extracting #6: cost 0 inf + 1813
0.882 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
0.882 * [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.882 * * * * [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.882 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.883 * * [simplify]: iters left: 3 (7 enodes)
0.886 * * [simplify]: iters left: 2 (12 enodes)
0.899 * * [simplify]: Extracting #0: cost 1 inf + 0
0.899 * * [simplify]: Extracting #1: cost 3 inf + 0
0.899 * * [simplify]: Extracting #2: cost 4 inf + 1
0.899 * * [simplify]: Extracting #3: cost 6 inf + 1
0.899 * * [simplify]: Extracting #4: cost 0 inf + 930
0.899 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.899 * [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.900 * * * * [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.900 * * * * [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.900 * [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.900 * * [simplify]: iters left: 6 (17 enodes)
0.907 * * [simplify]: iters left: 5 (41 enodes)
0.921 * * [simplify]: iters left: 4 (95 enodes)
0.956 * * [simplify]: iters left: 3 (269 enodes)
1.068 * * [simplify]: Extracting #0: cost 1 inf + 0
1.068 * * [simplify]: Extracting #1: cost 46 inf + 0
1.069 * * [simplify]: Extracting #2: cost 206 inf + 1
1.070 * * [simplify]: Extracting #3: cost 258 inf + 648
1.072 * * [simplify]: Extracting #4: cost 307 inf + 7710
1.076 * * [simplify]: Extracting #5: cost 293 inf + 16045
1.078 * * [simplify]: Extracting #6: cost 277 inf + 25875
1.084 * * [simplify]: Extracting #7: cost 149 inf + 188177
1.106 * * [simplify]: Extracting #8: cost 7 inf + 469313
1.132 * * [simplify]: Extracting #9: cost 0 inf + 490709
1.158 * [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.158 * [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.158 * * * * [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.158 * [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.158 * * [simplify]: iters left: 6 (17 enodes)
1.164 * * [simplify]: iters left: 5 (41 enodes)
1.172 * * [simplify]: iters left: 4 (101 enodes)
1.206 * * [simplify]: iters left: 3 (291 enodes)
1.326 * * [simplify]: Extracting #0: cost 1 inf + 0
1.326 * * [simplify]: Extracting #1: cost 48 inf + 0
1.327 * * [simplify]: Extracting #2: cost 208 inf + 1
1.328 * * [simplify]: Extracting #3: cost 275 inf + 1610
1.330 * * [simplify]: Extracting #4: cost 319 inf + 9953
1.337 * * [simplify]: Extracting #5: cost 302 inf + 20857
1.340 * * [simplify]: Extracting #6: cost 279 inf + 36752
1.352 * * [simplify]: Extracting #7: cost 152 inf + 206471
1.382 * * [simplify]: Extracting #8: cost 9 inf + 486275
1.408 * * [simplify]: Extracting #9: cost 0 inf + 499918
1.435 * [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.435 * [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.435 * * * * [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.436 * [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.436 * * [simplify]: iters left: 6 (21 enodes)
1.442 * * [simplify]: iters left: 5 (59 enodes)
1.455 * * [simplify]: iters left: 4 (176 enodes)
1.534 * * [simplify]: Extracting #0: cost 1 inf + 0
1.535 * * [simplify]: Extracting #1: cost 40 inf + 0
1.535 * * [simplify]: Extracting #2: cost 160 inf + 0
1.536 * * [simplify]: Extracting #3: cost 260 inf + 1607
1.538 * * [simplify]: Extracting #4: cost 294 inf + 4494
1.540 * * [simplify]: Extracting #5: cost 292 inf + 16036
1.544 * * [simplify]: Extracting #6: cost 224 inf + 77978
1.565 * * [simplify]: Extracting #7: cost 53 inf + 358389
1.598 * * [simplify]: Extracting #8: cost 4 inf + 462823
1.633 * * [simplify]: Extracting #9: cost 0 inf + 474767
1.666 * [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.666 * [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.667 * * * * [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.667 * * * * [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.667 * * * * [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.667 * * * * [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.667 * * * * [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.667 * * * * [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.668 * [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.668 * * [simplify]: iters left: 6 (18 enodes)
1.673 * * [simplify]: iters left: 5 (47 enodes)
1.685 * * [simplify]: iters left: 4 (121 enodes)
1.724 * * [simplify]: iters left: 3 (337 enodes)
1.858 * * [simplify]: Extracting #0: cost 1 inf + 0
1.858 * * [simplify]: Extracting #1: cost 34 inf + 0
1.922 * * [simplify]: Extracting #2: cost 204 inf + 0
1.924 * * [simplify]: Extracting #3: cost 326 inf + 1286
1.926 * * [simplify]: Extracting #4: cost 362 inf + 6740
1.929 * * [simplify]: Extracting #5: cost 377 inf + 18286
1.933 * * [simplify]: Extracting #6: cost 358 inf + 29885
1.944 * * [simplify]: Extracting #7: cost 252 inf + 186163
1.990 * * [simplify]: Extracting #8: cost 47 inf + 586692
2.047 * * [simplify]: Extracting #9: cost 0 inf + 696950
2.102 * * [simplify]: Extracting #10: cost 0 inf + 694590
2.150 * [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.150 * [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.150 * * * * [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))))>
2.151 * [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.151 * * [simplify]: iters left: 6 (18 enodes)
2.155 * * [simplify]: iters left: 5 (47 enodes)
2.165 * * [simplify]: iters left: 4 (121 enodes)
2.201 * * [simplify]: iters left: 3 (337 enodes)
2.332 * * [simplify]: Extracting #0: cost 1 inf + 0
2.332 * * [simplify]: Extracting #1: cost 34 inf + 0
2.333 * * [simplify]: Extracting #2: cost 204 inf + 0
2.334 * * [simplify]: Extracting #3: cost 326 inf + 1286
2.335 * * [simplify]: Extracting #4: cost 362 inf + 6740
2.337 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.339 * * [simplify]: Extracting #6: cost 358 inf + 29885
2.349 * * [simplify]: Extracting #7: cost 252 inf + 186163
2.381 * * [simplify]: Extracting #8: cost 47 inf + 586692
2.433 * * [simplify]: Extracting #9: cost 0 inf + 696950
2.481 * * [simplify]: Extracting #10: cost 0 inf + 694590
2.532 * [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.533 * [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.533 * * * * [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.533 * [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.533 * * [simplify]: iters left: 6 (18 enodes)
2.540 * * [simplify]: iters left: 5 (47 enodes)
2.554 * * [simplify]: iters left: 4 (121 enodes)
2.595 * * [simplify]: iters left: 3 (337 enodes)
2.735 * * [simplify]: Extracting #0: cost 1 inf + 0
2.736 * * [simplify]: Extracting #1: cost 34 inf + 0
2.736 * * [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.746 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.748 * * [simplify]: Extracting #6: cost 358 inf + 29885
2.758 * * [simplify]: Extracting #7: cost 252 inf + 186163
2.791 * * [simplify]: Extracting #8: cost 47 inf + 586692
2.827 * * [simplify]: Extracting #9: cost 0 inf + 696950
2.877 * * [simplify]: Extracting #10: cost 0 inf + 694590
2.920 * [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.920 * [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.921 * * * * [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.921 * [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.921 * * [simplify]: iters left: 6 (18 enodes)
2.928 * * [simplify]: iters left: 5 (47 enodes)
2.942 * * [simplify]: iters left: 4 (121 enodes)
2.984 * * [simplify]: iters left: 3 (337 enodes)
3.126 * * [simplify]: Extracting #0: cost 1 inf + 0
3.126 * * [simplify]: Extracting #1: cost 34 inf + 0
3.127 * * [simplify]: Extracting #2: cost 204 inf + 0
3.130 * * [simplify]: Extracting #3: cost 326 inf + 1286
3.132 * * [simplify]: Extracting #4: cost 362 inf + 6740
3.135 * * [simplify]: Extracting #5: cost 377 inf + 18286
3.139 * * [simplify]: Extracting #6: cost 358 inf + 29885
3.151 * * [simplify]: Extracting #7: cost 252 inf + 186163
3.189 * * [simplify]: Extracting #8: cost 47 inf + 586692
3.239 * * [simplify]: Extracting #9: cost 0 inf + 696950
3.293 * * [simplify]: Extracting #10: cost 0 inf + 694590
3.348 * [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))))))
3.349 * [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)))))))
3.349 * * * [progress]: adding candidates to table
4.015 * * [progress]: iteration 2 / 4
4.015 * * * [progress]: picking best candidate
4.137 * * * * [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))))>
4.137 * * * [progress]: localizing error
4.484 * * * [progress]: generating rewritten candidates
4.484 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1 1 2 2)
4.488 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1)
4.495 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1 1 2)
4.498 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 1 1)
4.502 * * * [progress]: generating series expansions
4.502 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1 1 2 2)
4.502 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1)
4.502 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1 1 2)
4.502 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 1 1)
4.502 * * * [progress]: simplifying candidates
4.502 * * * * [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.502 * [simplify]: Simplifying (real->posit16 3.0)
4.502 * * [simplify]: iters left: 1 (2 enodes)
4.503 * * [simplify]: Extracting #0: cost 1 inf + 0
4.503 * * [simplify]: Extracting #1: cost 2 inf + 0
4.503 * * [simplify]: Extracting #2: cost 1 inf + 1
4.503 * * [simplify]: Extracting #3: cost 0 inf + 2
4.503 * [simplify]: Simplified to (real->posit16 3.0)
4.503 * [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.504 * * * * [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.504 * [simplify]: Simplifying (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.504 * * [simplify]: iters left: 3 (6 enodes)
4.505 * * [simplify]: iters left: 2 (11 enodes)
4.508 * * [simplify]: iters left: 1 (19 enodes)
4.512 * * [simplify]: Extracting #0: cost 1 inf + 0
4.512 * * [simplify]: Extracting #1: cost 3 inf + 0
4.512 * * [simplify]: Extracting #2: cost 8 inf + 0
4.512 * * [simplify]: Extracting #3: cost 6 inf + 2
4.512 * * [simplify]: Extracting #4: cost 4 inf + 4
4.512 * * [simplify]: Extracting #5: cost 0 inf + 1530
4.512 * [simplify]: Simplified to (/.p16 (real->posit16 1.0) (real->posit16 3.0))
4.512 * [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.512 * * * * [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.513 * * * * [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.513 * [simplify]: Simplifying (real->posit16 9)
4.513 * * [simplify]: iters left: 1 (2 enodes)
4.514 * * [simplify]: Extracting #0: cost 1 inf + 0
4.514 * * [simplify]: Extracting #1: cost 2 inf + 0
4.514 * * [simplify]: Extracting #2: cost 1 inf + 1
4.514 * * [simplify]: Extracting #3: cost 0 inf + 2
4.514 * [simplify]: Simplified to (real->posit16 9)
4.514 * [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.514 * * * * [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.514 * [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.515 * * [simplify]: iters left: 6 (14 enodes)
4.527 * * [simplify]: iters left: 5 (42 enodes)
4.542 * * [simplify]: iters left: 4 (124 enodes)
4.602 * * [simplify]: iters left: 3 (486 enodes)
5.163 * * [simplify]: Extracting #0: cost 1 inf + 0
5.163 * * [simplify]: Extracting #1: cost 81 inf + 0
5.164 * * [simplify]: Extracting #2: cost 389 inf + 0
5.166 * * [simplify]: Extracting #3: cost 599 inf + 6735
5.170 * * [simplify]: Extracting #4: cost 668 inf + 46772
5.182 * * [simplify]: Extracting #5: cost 583 inf + 119279
5.204 * * [simplify]: Extracting #6: cost 407 inf + 395443
5.270 * * [simplify]: Extracting #7: cost 67 inf + 1197512
5.344 * * [simplify]: Extracting #8: cost 1 inf + 1361954
5.418 * * [simplify]: Extracting #9: cost 0 inf + 1362437
5.496 * [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.496 * [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.497 * * * * [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.497 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.497 * * [simplify]: iters left: 3 (7 enodes)
5.499 * * [simplify]: iters left: 2 (12 enodes)
5.501 * * [simplify]: Extracting #0: cost 1 inf + 0
5.501 * * [simplify]: Extracting #1: cost 3 inf + 0
5.501 * * [simplify]: Extracting #2: cost 4 inf + 1
5.501 * * [simplify]: Extracting #3: cost 6 inf + 1
5.501 * * [simplify]: Extracting #4: cost 0 inf + 930
5.501 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.502 * [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.502 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.502 * * [simplify]: iters left: 3 (7 enodes)
5.504 * * [simplify]: iters left: 2 (18 enodes)
5.507 * * [simplify]: iters left: 1 (32 enodes)
5.513 * * [simplify]: Extracting #0: cost 1 inf + 0
5.513 * * [simplify]: Extracting #1: cost 9 inf + 0
5.513 * * [simplify]: Extracting #2: cost 25 inf + 1
5.514 * * [simplify]: Extracting #3: cost 34 inf + 322
5.514 * * [simplify]: Extracting #4: cost 27 inf + 3209
5.514 * * [simplify]: Extracting #5: cost 22 inf + 4898
5.514 * * [simplify]: Extracting #6: cost 11 inf + 15047
5.516 * * [simplify]: Extracting #7: cost 0 inf + 29315
5.517 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.517 * [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.517 * * * * [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.517 * * * * [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.517 * * * * [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.517 * [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.517 * * [simplify]: iters left: 5 (10 enodes)
5.521 * * [simplify]: iters left: 4 (18 enodes)
5.526 * * [simplify]: iters left: 3 (24 enodes)
5.534 * * [simplify]: iters left: 2 (59 enodes)
5.554 * * [simplify]: iters left: 1 (159 enodes)
5.673 * * [simplify]: Extracting #0: cost 1 inf + 0
5.674 * * [simplify]: Extracting #1: cost 3 inf + 0
5.674 * * [simplify]: Extracting #2: cost 5 inf + 0
5.674 * * [simplify]: Extracting #3: cost 24 inf + 1
5.674 * * [simplify]: Extracting #4: cost 87 inf + 2
5.674 * * [simplify]: Extracting #5: cost 77 inf + 2053
5.676 * * [simplify]: Extracting #6: cost 26 inf + 29454
5.678 * * [simplify]: Extracting #7: cost 0 inf + 49266
5.681 * [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.681 * [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.681 * * * * [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.681 * [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.682 * * [simplify]: iters left: 5 (10 enodes)
5.685 * * [simplify]: iters left: 4 (18 enodes)
5.690 * * [simplify]: iters left: 3 (24 enodes)
5.697 * * [simplify]: iters left: 2 (60 enodes)
5.716 * * [simplify]: iters left: 1 (149 enodes)
5.830 * * [simplify]: Extracting #0: cost 1 inf + 0
5.830 * * [simplify]: Extracting #1: cost 3 inf + 0
5.830 * * [simplify]: Extracting #2: cost 5 inf + 0
5.830 * * [simplify]: Extracting #3: cost 9 inf + 2
5.830 * * [simplify]: Extracting #4: cost 62 inf + 2
5.830 * * [simplify]: Extracting #5: cost 55 inf + 969
5.831 * * [simplify]: Extracting #6: cost 20 inf + 15011
5.833 * * [simplify]: Extracting #7: cost 0 inf + 30251
5.835 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0)))) (real->posit16 9))
5.835 * [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.835 * * * * [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.835 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.835 * * [simplify]: iters left: 3 (7 enodes)
5.838 * * [simplify]: iters left: 2 (18 enodes)
5.842 * * [simplify]: iters left: 1 (32 enodes)
5.851 * * [simplify]: Extracting #0: cost 1 inf + 0
5.851 * * [simplify]: Extracting #1: cost 9 inf + 0
5.851 * * [simplify]: Extracting #2: cost 25 inf + 1
5.852 * * [simplify]: Extracting #3: cost 34 inf + 322
5.852 * * [simplify]: Extracting #4: cost 27 inf + 3209
5.852 * * [simplify]: Extracting #5: cost 22 inf + 4898
5.853 * * [simplify]: Extracting #6: cost 11 inf + 15047
5.854 * * [simplify]: Extracting #7: cost 0 inf + 29315
5.856 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.856 * [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.856 * * * * [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.857 * [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.857 * * [simplify]: iters left: 4 (9 enodes)
5.860 * * [simplify]: iters left: 3 (18 enodes)
5.863 * * [simplify]: iters left: 2 (24 enodes)
5.868 * * [simplify]: iters left: 1 (59 enodes)
5.886 * * [simplify]: Extracting #0: cost 1 inf + 0
5.886 * * [simplify]: Extracting #1: cost 3 inf + 0
5.886 * * [simplify]: Extracting #2: cost 30 inf + 0
5.887 * * [simplify]: Extracting #3: cost 68 inf + 322
5.887 * * [simplify]: Extracting #4: cost 34 inf + 13807
5.889 * * [simplify]: Extracting #5: cost 0 inf + 34348
5.890 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0))) (*.p16 a a))
5.891 * [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.891 * * * * [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.891 * * * * [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.891 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.891 * * [simplify]: iters left: 3 (7 enodes)
5.894 * * [simplify]: iters left: 2 (12 enodes)
5.896 * * [simplify]: Extracting #0: cost 1 inf + 0
5.896 * * [simplify]: Extracting #1: cost 3 inf + 0
5.896 * * [simplify]: Extracting #2: cost 4 inf + 1
5.896 * * [simplify]: Extracting #3: cost 6 inf + 1
5.896 * * [simplify]: Extracting #4: cost 0 inf + 930
5.897 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.897 * [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.897 * * * * [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.897 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.897 * * [simplify]: iters left: 3 (7 enodes)
5.899 * * [simplify]: iters left: 2 (12 enodes)
5.901 * * [simplify]: Extracting #0: cost 1 inf + 0
5.901 * * [simplify]: Extracting #1: cost 3 inf + 0
5.901 * * [simplify]: Extracting #2: cost 4 inf + 1
5.901 * * [simplify]: Extracting #3: cost 6 inf + 1
5.901 * * [simplify]: Extracting #4: cost 0 inf + 930
5.901 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.901 * [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.901 * * * * [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.902 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.902 * * [simplify]: iters left: 3 (7 enodes)
5.903 * * [simplify]: iters left: 2 (12 enodes)
5.905 * * [simplify]: Extracting #0: cost 1 inf + 0
5.905 * * [simplify]: Extracting #1: cost 3 inf + 0
5.905 * * [simplify]: Extracting #2: cost 4 inf + 1
5.905 * * [simplify]: Extracting #3: cost 6 inf + 1
5.905 * * [simplify]: Extracting #4: cost 0 inf + 930
5.906 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.906 * [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.906 * * * * [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.906 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.906 * * [simplify]: iters left: 3 (7 enodes)
5.908 * * [simplify]: iters left: 2 (12 enodes)
5.909 * * [simplify]: Extracting #0: cost 1 inf + 0
5.910 * * [simplify]: Extracting #1: cost 3 inf + 0
5.910 * * [simplify]: Extracting #2: cost 4 inf + 1
5.910 * * [simplify]: Extracting #3: cost 6 inf + 1
5.910 * * [simplify]: Extracting #4: cost 0 inf + 930
5.910 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.910 * [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.910 * * * [progress]: adding candidates to table
6.656 * * [progress]: iteration 3 / 4
6.656 * * * [progress]: picking best candidate
6.803 * * * * [pick]: Picked  #<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))))>
6.803 * * * [progress]: localizing error
7.094 * * * [progress]: generating rewritten candidates
7.094 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
7.102 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1)
7.106 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1 2)
7.108 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
7.111 * * * [progress]: generating series expansions
7.111 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
7.111 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1)
7.111 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1 2)
7.111 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
7.111 * * * [progress]: simplifying candidates
7.111 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))>
7.111 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
7.111 * [simplify]: Simplifying (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
7.111 * * [simplify]: iters left: 5 (11 enodes)
7.116 * * [simplify]: iters left: 4 (24 enodes)
7.120 * * [simplify]: iters left: 3 (48 enodes)
7.135 * * [simplify]: iters left: 2 (112 enodes)
7.178 * * [simplify]: iters left: 1 (474 enodes)
7.634 * * [simplify]: Extracting #0: cost 1 inf + 0
7.635 * * [simplify]: Extracting #1: cost 2 inf + 0
7.635 * * [simplify]: Extracting #2: cost 88 inf + 0
7.636 * * [simplify]: Extracting #3: cost 422 inf + 0
7.638 * * [simplify]: Extracting #4: cost 742 inf + 4182
7.641 * * [simplify]: Extracting #5: cost 799 inf + 13811
7.645 * * [simplify]: Extracting #6: cost 788 inf + 38477
7.651 * * [simplify]: Extracting #7: cost 747 inf + 68230
7.675 * * [simplify]: Extracting #8: cost 473 inf + 439158
7.751 * * [simplify]: Extracting #9: cost 76 inf + 1146891
7.844 * * [simplify]: Extracting #10: cost 0 inf + 1272172
7.937 * * [simplify]: Extracting #11: cost 0 inf + 1271812
8.034 * [simplify]: Simplified to (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))
8.034 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
8.035 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.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 (/.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))))))>
8.035 * [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 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))
8.035 * * [simplify]: iters left: 6 (20 enodes)
8.044 * * [simplify]: iters left: 5 (53 enodes)
8.060 * * [simplify]: iters left: 4 (144 enodes)
8.121 * * [simplify]: Extracting #0: cost 1 inf + 0
8.121 * * [simplify]: Extracting #1: cost 41 inf + 0
8.121 * * [simplify]: Extracting #2: cost 161 inf + 1
8.122 * * [simplify]: Extracting #3: cost 213 inf + 1606
8.123 * * [simplify]: Extracting #4: cost 252 inf + 4494
8.125 * * [simplify]: Extracting #5: cost 237 inf + 13473
8.129 * * [simplify]: Extracting #6: cost 175 inf + 73971
8.142 * * [simplify]: Extracting #7: cost 58 inf + 238009
8.165 * * [simplify]: Extracting #8: cost 4 inf + 348069
8.187 * * [simplify]: Extracting #9: cost 0 inf + 356524
8.207 * [simplify]: Simplified to (*.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 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
8.207 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (*.p16 (-.p16 a (/.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))))))
8.207 * * * * [progress]: [ 4 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
8.207 * * * * [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 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
8.207 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
8.208 * * [simplify]: iters left: 4 (9 enodes)
8.211 * * [simplify]: iters left: 3 (13 enodes)
8.214 * * [simplify]: Extracting #0: cost 1 inf + 0
8.214 * * [simplify]: Extracting #1: cost 3 inf + 0
8.214 * * [simplify]: Extracting #2: cost 5 inf + 0
8.214 * * [simplify]: Extracting #3: cost 6 inf + 1
8.214 * * [simplify]: Extracting #4: cost 7 inf + 2
8.214 * * [simplify]: Extracting #5: cost 0 inf + 1813
8.215 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
8.215 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (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 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
8.215 * * * * [progress]: [ 6 / 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 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
8.215 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
8.215 * * [simplify]: iters left: 4 (9 enodes)
8.220 * * [simplify]: iters left: 3 (13 enodes)
8.223 * * [simplify]: Extracting #0: cost 1 inf + 0
8.224 * * [simplify]: Extracting #1: cost 3 inf + 0
8.224 * * [simplify]: Extracting #2: cost 5 inf + 0
8.224 * * [simplify]: Extracting #3: cost 5 inf + 2
8.224 * * [simplify]: Extracting #4: cost 7 inf + 2
8.224 * * [simplify]: Extracting #5: cost 4 inf + 5
8.224 * * [simplify]: Extracting #6: cost 0 inf + 1813
8.224 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
8.224 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (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 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))
8.224 * * * * [progress]: [ 7 / 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 (*.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))))>
8.225 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
8.225 * * [simplify]: iters left: 3 (7 enodes)
8.227 * * [simplify]: iters left: 2 (12 enodes)
8.230 * * [simplify]: Extracting #0: cost 1 inf + 0
8.230 * * [simplify]: Extracting #1: cost 3 inf + 0
8.230 * * [simplify]: Extracting #2: cost 4 inf + 1
8.230 * * [simplify]: Extracting #3: cost 6 inf + 1
8.230 * * [simplify]: Extracting #4: cost 0 inf + 930
8.230 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
8.230 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (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 (*.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))))
8.230 * * * * [progress]: [ 8 / 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 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand))))>
8.230 * * * * [progress]: [ 9 / 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 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
8.230 * * * * [progress]: [ 10 / 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 (-.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))))>
8.230 * * * * [progress]: [ 11 / 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 (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))))>
8.230 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.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 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
8.231 * * * * [progress]: [ 13 / 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))))>
8.231 * [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))
8.231 * * [simplify]: iters left: 6 (17 enodes)
8.236 * * [simplify]: iters left: 5 (41 enodes)
8.247 * * [simplify]: iters left: 4 (95 enodes)
8.275 * * [simplify]: iters left: 3 (269 enodes)
8.389 * * [simplify]: Extracting #0: cost 1 inf + 0
8.390 * * [simplify]: Extracting #1: cost 46 inf + 0
8.390 * * [simplify]: Extracting #2: cost 206 inf + 1
8.395 * * [simplify]: Extracting #3: cost 258 inf + 648
8.397 * * [simplify]: Extracting #4: cost 307 inf + 7710
8.400 * * [simplify]: Extracting #5: cost 293 inf + 16045
8.402 * * [simplify]: Extracting #6: cost 277 inf + 25875
8.412 * * [simplify]: Extracting #7: cost 149 inf + 188177
8.445 * * [simplify]: Extracting #8: cost 7 inf + 469313
8.479 * * [simplify]: Extracting #9: cost 0 inf + 490709
8.506 * [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))))
8.506 * [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))))))
8.506 * * * * [progress]: [ 14 / 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))))>
8.506 * [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))
8.506 * * [simplify]: iters left: 6 (17 enodes)
8.511 * * [simplify]: iters left: 5 (41 enodes)
8.521 * * [simplify]: iters left: 4 (95 enodes)
8.544 * * [simplify]: iters left: 3 (269 enodes)
8.640 * * [simplify]: Extracting #0: cost 1 inf + 0
8.640 * * [simplify]: Extracting #1: cost 46 inf + 0
8.640 * * [simplify]: Extracting #2: cost 206 inf + 1
8.641 * * [simplify]: Extracting #3: cost 258 inf + 648
8.643 * * [simplify]: Extracting #4: cost 307 inf + 7710
8.647 * * [simplify]: Extracting #5: cost 293 inf + 16045
8.649 * * [simplify]: Extracting #6: cost 277 inf + 25875
8.657 * * [simplify]: Extracting #7: cost 149 inf + 188177
8.684 * * [simplify]: Extracting #8: cost 7 inf + 469313
8.714 * * [simplify]: Extracting #9: cost 0 inf + 490709
8.752 * [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))))
8.752 * [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))))))
8.752 * * * * [progress]: [ 15 / 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))))>
8.752 * [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))
8.753 * * [simplify]: iters left: 6 (17 enodes)
8.760 * * [simplify]: iters left: 5 (41 enodes)
8.771 * * [simplify]: iters left: 4 (95 enodes)
8.795 * * [simplify]: iters left: 3 (269 enodes)
8.903 * * [simplify]: Extracting #0: cost 1 inf + 0
8.903 * * [simplify]: Extracting #1: cost 46 inf + 0
8.903 * * [simplify]: Extracting #2: cost 206 inf + 1
8.904 * * [simplify]: Extracting #3: cost 258 inf + 648
8.906 * * [simplify]: Extracting #4: cost 307 inf + 7710
8.907 * * [simplify]: Extracting #5: cost 293 inf + 16045
8.909 * * [simplify]: Extracting #6: cost 277 inf + 25875
8.920 * * [simplify]: Extracting #7: cost 149 inf + 188177
8.944 * * [simplify]: Extracting #8: cost 7 inf + 469313
8.980 * * [simplify]: Extracting #9: cost 0 inf + 490709
9.016 * [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))))
9.016 * [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))))))
9.016 * * * * [progress]: [ 16 / 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))))>
9.017 * [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))
9.017 * * [simplify]: iters left: 6 (17 enodes)
9.024 * * [simplify]: iters left: 5 (41 enodes)
9.038 * * [simplify]: iters left: 4 (95 enodes)
9.065 * * [simplify]: iters left: 3 (269 enodes)
9.162 * * [simplify]: Extracting #0: cost 1 inf + 0
9.162 * * [simplify]: Extracting #1: cost 46 inf + 0
9.163 * * [simplify]: Extracting #2: cost 206 inf + 1
9.164 * * [simplify]: Extracting #3: cost 258 inf + 648
9.165 * * [simplify]: Extracting #4: cost 307 inf + 7710
9.168 * * [simplify]: Extracting #5: cost 293 inf + 16045
9.170 * * [simplify]: Extracting #6: cost 277 inf + 25875
9.182 * * [simplify]: Extracting #7: cost 149 inf + 188177
9.212 * * [simplify]: Extracting #8: cost 7 inf + 469313
9.247 * * [simplify]: Extracting #9: cost 0 inf + 490709
9.281 * [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))))
9.282 * [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))))))
9.282 * * * [progress]: adding candidates to table
10.012 * * [progress]: iteration 4 / 4
10.012 * * * [progress]: picking best candidate
10.226 * * * * [pick]: Picked  #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
10.226 * * * [progress]: localizing error
10.461 * * * [progress]: generating rewritten candidates
10.461 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
10.467 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
10.473 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
10.483 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2)
10.485 * * * [progress]: generating series expansions
10.485 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
10.485 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
10.485 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
10.485 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2)
10.485 * * * [progress]: simplifying candidates
10.485 * * * * [progress]: [ 1 / 15 ] 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 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) rand)))))>
10.485 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.485 * * [simplify]: iters left: 3 (7 enodes)
10.488 * * [simplify]: iters left: 2 (18 enodes)
10.491 * * [simplify]: iters left: 1 (32 enodes)
10.498 * * [simplify]: Extracting #0: cost 1 inf + 0
10.498 * * [simplify]: Extracting #1: cost 9 inf + 0
10.498 * * [simplify]: Extracting #2: cost 25 inf + 1
10.498 * * [simplify]: Extracting #3: cost 34 inf + 322
10.498 * * [simplify]: Extracting #4: cost 27 inf + 3209
10.498 * * [simplify]: Extracting #5: cost 22 inf + 4898
10.499 * * [simplify]: Extracting #6: cost 11 inf + 15047
10.500 * * [simplify]: Extracting #7: cost 0 inf + 29315
10.501 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.501 * [simplify]: Simplified (2 2 1) to (λ (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 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) rand)))))
10.501 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.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) rand)) (*.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
10.502 * [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) rand))
10.502 * * [simplify]: iters left: 5 (14 enodes)
10.505 * * [simplify]: iters left: 4 (41 enodes)
10.514 * * [simplify]: iters left: 3 (102 enodes)
10.549 * * [simplify]: iters left: 2 (404 enodes)
10.930 * * [simplify]: Extracting #0: cost 1 inf + 0
10.931 * * [simplify]: Extracting #1: cost 73 inf + 0
10.932 * * [simplify]: Extracting #2: cost 418 inf + 1
10.934 * * [simplify]: Extracting #3: cost 558 inf + 8669
10.937 * * [simplify]: Extracting #4: cost 588 inf + 30805
10.941 * * [simplify]: Extracting #5: cost 566 inf + 54827
10.948 * * [simplify]: Extracting #6: cost 480 inf + 118384
10.962 * * [simplify]: Extracting #7: cost 286 inf + 408719
10.997 * * [simplify]: Extracting #8: cost 54 inf + 844350
11.047 * * [simplify]: Extracting #9: cost 0 inf + 973905
11.097 * * [simplify]: Extracting #10: cost 0 inf + 969945
11.146 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 1) rand) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
11.146 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
11.146 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
11.146 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.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)))) (*.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))))))))>
11.146 * [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) rand))
11.146 * * [simplify]: iters left: 5 (14 enodes)
11.150 * * [simplify]: iters left: 4 (41 enodes)
11.159 * * [simplify]: iters left: 3 (102 enodes)
11.196 * * [simplify]: iters left: 2 (404 enodes)
11.570 * * [simplify]: Extracting #0: cost 1 inf + 0
11.570 * * [simplify]: Extracting #1: cost 73 inf + 0
11.571 * * [simplify]: Extracting #2: cost 418 inf + 1
11.573 * * [simplify]: Extracting #3: cost 558 inf + 8669
11.576 * * [simplify]: Extracting #4: cost 588 inf + 30805
11.582 * * [simplify]: Extracting #5: cost 566 inf + 54827
11.587 * * [simplify]: Extracting #6: cost 480 inf + 118384
11.606 * * [simplify]: Extracting #7: cost 286 inf + 408719
11.658 * * [simplify]: Extracting #8: cost 54 inf + 844350
11.724 * * [simplify]: Extracting #9: cost 0 inf + 973905
11.777 * * [simplify]: Extracting #10: cost 0 inf + 969945
11.837 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 1) rand) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
11.837 * [simplify]: Simplified (2 2 1 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (*.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)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
11.837 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
11.837 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))>
11.837 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
11.837 * * [simplify]: iters left: 4 (9 enodes)
11.842 * * [simplify]: iters left: 3 (13 enodes)
11.846 * * [simplify]: Extracting #0: cost 1 inf + 0
11.846 * * [simplify]: Extracting #1: cost 3 inf + 0
11.846 * * [simplify]: Extracting #2: cost 5 inf + 0
11.846 * * [simplify]: Extracting #3: cost 6 inf + 1
11.846 * * [simplify]: Extracting #4: cost 7 inf + 2
11.846 * * [simplify]: Extracting #5: cost 0 inf + 1813
11.846 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
11.846 * [simplify]: Simplified (2 2 2 1 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))
11.846 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))>
11.847 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
11.847 * * [simplify]: iters left: 4 (9 enodes)
11.851 * * [simplify]: iters left: 3 (13 enodes)
11.854 * * [simplify]: Extracting #0: cost 1 inf + 0
11.854 * * [simplify]: Extracting #1: cost 3 inf + 0
11.854 * * [simplify]: Extracting #2: cost 5 inf + 0
11.855 * * [simplify]: Extracting #3: cost 5 inf + 2
11.855 * * [simplify]: Extracting #4: cost 7 inf + 2
11.855 * * [simplify]: Extracting #5: cost 4 inf + 5
11.855 * * [simplify]: Extracting #6: cost 0 inf + 1813
11.855 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
11.855 * [simplify]: Simplified (2 2 2 1 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
11.855 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (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))))))))>
11.855 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
11.855 * * [simplify]: iters left: 3 (7 enodes)
11.857 * * [simplify]: iters left: 2 (12 enodes)
11.859 * * [simplify]: Extracting #0: cost 1 inf + 0
11.859 * * [simplify]: Extracting #1: cost 3 inf + 0
11.859 * * [simplify]: Extracting #2: cost 4 inf + 1
11.859 * * [simplify]: Extracting #3: cost 6 inf + 1
11.860 * * [simplify]: Extracting #4: cost 0 inf + 930
11.860 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
11.860 * [simplify]: Simplified (2 2 2 1 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (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))))))))
11.860 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))>
11.860 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))>
11.860 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (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)))))))))>
11.860 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
11.860 * [simplify]: Simplifying (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
11.860 * * [simplify]: iters left: 5 (11 enodes)
11.863 * * [simplify]: iters left: 4 (24 enodes)
11.869 * * [simplify]: iters left: 3 (48 enodes)
11.887 * * [simplify]: iters left: 2 (112 enodes)
11.938 * * [simplify]: iters left: 1 (474 enodes)
12.707 * * [simplify]: Extracting #0: cost 1 inf + 0
12.707 * * [simplify]: Extracting #1: cost 2 inf + 0
12.707 * * [simplify]: Extracting #2: cost 88 inf + 0
12.708 * * [simplify]: Extracting #3: cost 422 inf + 0
12.711 * * [simplify]: Extracting #4: cost 742 inf + 4182
12.715 * * [simplify]: Extracting #5: cost 799 inf + 13811
12.719 * * [simplify]: Extracting #6: cost 788 inf + 38477
12.724 * * [simplify]: Extracting #7: cost 747 inf + 68230
12.743 * * [simplify]: Extracting #8: cost 473 inf + 439158
12.817 * * [simplify]: Extracting #9: cost 76 inf + 1146891
12.915 * * [simplify]: Extracting #10: cost 0 inf + 1272172
13.012 * * [simplify]: Extracting #11: cost 0 inf + 1271812
13.082 * [simplify]: Simplified to (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))
13.082 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
13.082 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
13.082 * [simplify]: Simplifying (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
13.082 * * [simplify]: iters left: 5 (11 enodes)
13.085 * * [simplify]: iters left: 4 (24 enodes)
13.090 * * [simplify]: iters left: 3 (48 enodes)
13.099 * * [simplify]: iters left: 2 (112 enodes)
13.131 * * [simplify]: iters left: 1 (474 enodes)
13.560 * * [simplify]: Extracting #0: cost 1 inf + 0
13.561 * * [simplify]: Extracting #1: cost 2 inf + 0
13.561 * * [simplify]: Extracting #2: cost 88 inf + 0
13.562 * * [simplify]: Extracting #3: cost 422 inf + 0
13.564 * * [simplify]: Extracting #4: cost 742 inf + 4182
13.568 * * [simplify]: Extracting #5: cost 799 inf + 13811
13.572 * * [simplify]: Extracting #6: cost 788 inf + 38477
13.577 * * [simplify]: Extracting #7: cost 747 inf + 68230
13.595 * * [simplify]: Extracting #8: cost 473 inf + 439158
13.671 * * [simplify]: Extracting #9: cost 76 inf + 1146891
13.788 * * [simplify]: Extracting #10: cost 0 inf + 1272172
13.893 * * [simplify]: Extracting #11: cost 0 inf + 1271812
13.982 * [simplify]: Simplified to (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))
13.982 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
13.982 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
13.982 * [simplify]: Simplifying (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
13.983 * * [simplify]: iters left: 5 (11 enodes)
13.987 * * [simplify]: iters left: 4 (24 enodes)
13.995 * * [simplify]: iters left: 3 (48 enodes)
14.011 * * [simplify]: iters left: 2 (112 enodes)
14.066 * * [simplify]: iters left: 1 (474 enodes)
14.529 * * [simplify]: Extracting #0: cost 1 inf + 0
14.529 * * [simplify]: Extracting #1: cost 2 inf + 0
14.529 * * [simplify]: Extracting #2: cost 88 inf + 0
14.532 * * [simplify]: Extracting #3: cost 422 inf + 0
14.536 * * [simplify]: Extracting #4: cost 742 inf + 4182
14.542 * * [simplify]: Extracting #5: cost 799 inf + 13811
14.549 * * [simplify]: Extracting #6: cost 788 inf + 38477
14.564 * * [simplify]: Extracting #7: cost 747 inf + 68230
14.592 * * [simplify]: Extracting #8: cost 473 inf + 439158
14.666 * * [simplify]: Extracting #9: cost 76 inf + 1146891
14.763 * * [simplify]: Extracting #10: cost 0 inf + 1272172
14.858 * * [simplify]: Extracting #11: cost 0 inf + 1271812
14.959 * [simplify]: Simplified to (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))
14.959 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
14.959 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
14.959 * [simplify]: Simplifying (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
14.960 * * [simplify]: iters left: 5 (11 enodes)
14.963 * * [simplify]: iters left: 4 (24 enodes)
14.968 * * [simplify]: iters left: 3 (48 enodes)
14.979 * * [simplify]: iters left: 2 (112 enodes)
15.010 * * [simplify]: iters left: 1 (474 enodes)
15.448 * * [simplify]: Extracting #0: cost 1 inf + 0
15.448 * * [simplify]: Extracting #1: cost 2 inf + 0
15.449 * * [simplify]: Extracting #2: cost 88 inf + 0
15.456 * * [simplify]: Extracting #3: cost 422 inf + 0
15.460 * * [simplify]: Extracting #4: cost 742 inf + 4182
15.466 * * [simplify]: Extracting #5: cost 799 inf + 13811
15.473 * * [simplify]: Extracting #6: cost 788 inf + 38477
15.479 * * [simplify]: Extracting #7: cost 747 inf + 68230
15.497 * * [simplify]: Extracting #8: cost 473 inf + 439158
15.553 * * [simplify]: Extracting #9: cost 76 inf + 1146891
15.624 * * [simplify]: Extracting #10: cost 0 inf + 1272172
15.699 * * [simplify]: Extracting #11: cost 0 inf + 1271812
15.787 * [simplify]: Simplified to (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))
15.787 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
15.787 * * * [progress]: adding candidates to table
16.588 * [progress]: [Phase 3 of 3] Extracting.
16.588 * * [regime]: Finding splitpoints for: (#<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (*.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)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.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 (/.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 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 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 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 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) 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 (-.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))))>)
16.592 * * * [regime-changes]: Trying 2 branch expressions: (rand a)
16.593 * * * * [regimes]: Trying to branch on rand from (#<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (*.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)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.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 (/.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 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 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 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 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) 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 (-.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))))>)
16.887 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (*.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)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.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 (/.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 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 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 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 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) 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 (-.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))))>)
17.216 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
17.216 * [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)))
17.217 * * [simplify]: iters left: 6 (23 enodes)
17.229 * * [simplify]: iters left: 5 (25 enodes)
17.232 * * [simplify]: Extracting #0: cost 1 inf + 0
17.232 * * [simplify]: Extracting #1: cost 3 inf + 0
17.232 * * [simplify]: Extracting #2: cost 7 inf + 0
17.232 * * [simplify]: Extracting #3: cost 11 inf + 1
17.233 * * [simplify]: Extracting #4: cost 11 inf + 4
17.233 * * [simplify]: Extracting #5: cost 10 inf + 6
17.233 * * [simplify]: Extracting #6: cost 9 inf + 450
17.233 * * [simplify]: Extracting #7: cost 9 inf + 1456
17.233 * * [simplify]: Extracting #8: cost 12 inf + 1456
17.233 * * [simplify]: Extracting #9: cost 8 inf + 3703
17.234 * * [simplify]: Extracting #10: cost 5 inf + 7152
17.235 * * [simplify]: Extracting #11: cost 2 inf + 14367
17.236 * * [simplify]: Extracting #12: cost 0 inf + 20379
17.237 * [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)))
17.237 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
17.278 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
17.288 * * * * [points]: Setting MPFR precision to 64
17.289 * * * * [points]: Setting MPFR precision to 320
17.291 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
17.296 * * * * [points]: Setting MPFR precision to 64
17.298 * * * * [points]: Setting MPFR precision to 320
17.299 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
17.307 * * * * [points]: Setting MPFR precision to 64
17.313 * * * * [points]: Setting MPFR precision to 320
17.319 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
17.329 * * * * [points]: Setting MPFR precision to 64
17.341 * * * * [points]: Setting MPFR precision to 320
17.353 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
17.363 * * * * [points]: Setting MPFR precision to 64
17.387 * * * * [points]: Setting MPFR precision to 320
17.438 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
17.449 * * * * [points]: Setting MPFR precision to 64
17.496 * * * * [points]: Setting MPFR precision to 320
17.541 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
17.550 * * * * [points]: Setting MPFR precision to 64
17.642 * * * * [points]: Setting MPFR precision to 320
17.710 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
17.717 * * * * [points]: Setting MPFR precision to 64
17.888 * * * * [points]: Setting MPFR precision to 320
18.066 * * * * [points]: Computing exacts for 8000 points
18.076 * * * * [points]: Setting MPFR precision to 64
18.804 * * * * [points]: Setting MPFR precision to 320
19.788 * * * * [points]: Filtering points with unrepresentable outputs
19.807 * * * * [points]: Sampled 8000 points with exact outputs
29.588 * [regime-testing]: Baseline error score: 64.0
29.605 * [regime-testing]: Oracle error score: 64.0
29.619 * [regime-testing]: End program error score: 0.2255692110408143