0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.008 * * * * [points]: Setting MPFR precision to 64
0.009 * * * * [points]: Setting MPFR precision to 320
0.011 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.019 * * * * [points]: Setting MPFR precision to 64
0.021 * * * * [points]: Setting MPFR precision to 320
0.022 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.027 * * * * [points]: Setting MPFR precision to 64
0.030 * * * * [points]: Setting MPFR precision to 320
0.033 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.037 * * * * [points]: Setting MPFR precision to 64
0.041 * * * * [points]: Setting MPFR precision to 320
0.048 * * * * [points]: Computing exacts for 256 points
0.056 * * * * [points]: Setting MPFR precision to 64
0.077 * * * * [points]: Setting MPFR precision to 320
0.099 * * * * [points]: Filtering points with unrepresentable outputs
0.100 * * * * [points]: Sampled 256 points with exact outputs
0.100 * * * [progress]: [2/2] Setting up program.
0.120 * [progress]: [Phase 2 of 3] Improving.
0.121 * * * * [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.121 * [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.121 * * [simplify]: iters left: 6 (18 enodes)
0.126 * * [simplify]: iters left: 5 (47 enodes)
0.156 * * [simplify]: iters left: 4 (121 enodes)
0.196 * * [simplify]: iters left: 3 (337 enodes)
0.339 * * [simplify]: Extracting #0: cost 1 inf + 0
0.339 * * [simplify]: Extracting #1: cost 34 inf + 0
0.340 * * [simplify]: Extracting #2: cost 204 inf + 0
0.341 * * [simplify]: Extracting #3: cost 326 inf + 1286
0.342 * * [simplify]: Extracting #4: cost 362 inf + 6740
0.344 * * [simplify]: Extracting #5: cost 377 inf + 18286
0.346 * * [simplify]: Extracting #6: cost 358 inf + 29885
0.353 * * [simplify]: Extracting #7: cost 252 inf + 186163
0.380 * * [simplify]: Extracting #8: cost 47 inf + 586692
0.418 * * [simplify]: Extracting #9: cost 0 inf + 696950
0.470 * * [simplify]: Extracting #10: cost 0 inf + 694590
0.521 * [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.522 * [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.543 * * [progress]: iteration 1 / 4
0.543 * * * [progress]: picking best candidate
0.557 * * * * [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.558 * * * [progress]: localizing error
0.755 * * * [progress]: generating rewritten candidates
0.755 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
0.760 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1 2)
0.762 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.764 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.777 * * * [progress]: generating series expansions
0.777 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
0.777 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1 2)
0.777 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.777 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.777 * * * [progress]: simplifying candidates
0.777 * * * * [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.778 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.778 * * [simplify]: iters left: 4 (9 enodes)
0.782 * * [simplify]: iters left: 3 (13 enodes)
0.785 * * [simplify]: Extracting #0: cost 1 inf + 0
0.785 * * [simplify]: Extracting #1: cost 3 inf + 0
0.785 * * [simplify]: Extracting #2: cost 5 inf + 0
0.785 * * [simplify]: Extracting #3: cost 6 inf + 1
0.785 * * [simplify]: Extracting #4: cost 7 inf + 2
0.786 * * [simplify]: Extracting #5: cost 0 inf + 1813
0.786 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.786 * [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.786 * * * * [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.786 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
0.786 * * [simplify]: iters left: 4 (9 enodes)
0.789 * * [simplify]: iters left: 3 (13 enodes)
0.793 * * [simplify]: Extracting #0: cost 1 inf + 0
0.793 * * [simplify]: Extracting #1: cost 3 inf + 0
0.793 * * [simplify]: Extracting #2: cost 5 inf + 0
0.793 * * [simplify]: Extracting #3: cost 5 inf + 2
0.793 * * [simplify]: Extracting #4: cost 7 inf + 2
0.793 * * [simplify]: Extracting #5: cost 4 inf + 5
0.794 * * [simplify]: Extracting #6: cost 0 inf + 1813
0.794 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
0.794 * [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.794 * * * * [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.794 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.794 * * [simplify]: iters left: 3 (7 enodes)
0.796 * * [simplify]: iters left: 2 (12 enodes)
0.798 * * [simplify]: Extracting #0: cost 1 inf + 0
0.798 * * [simplify]: Extracting #1: cost 3 inf + 0
0.798 * * [simplify]: Extracting #2: cost 4 inf + 1
0.798 * * [simplify]: Extracting #3: cost 6 inf + 1
0.798 * * [simplify]: Extracting #4: cost 0 inf + 930
0.798 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.798 * [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.799 * * * * [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.799 * * * * [progress]: [ 5 / 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))))>
0.799 * * * * [progress]: [ 6 / 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))))>
0.799 * * * * [progress]: [ 7 / 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))))>
0.799 * * * * [progress]: [ 8 / 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))))>
0.799 * * * * [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 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
0.799 * [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.799 * * [simplify]: iters left: 6 (17 enodes)
0.803 * * [simplify]: iters left: 5 (41 enodes)
0.812 * * [simplify]: iters left: 4 (95 enodes)
0.833 * * [simplify]: iters left: 3 (269 enodes)
0.933 * * [simplify]: Extracting #0: cost 1 inf + 0
0.933 * * [simplify]: Extracting #1: cost 46 inf + 0
0.935 * * [simplify]: Extracting #2: cost 206 inf + 1
0.936 * * [simplify]: Extracting #3: cost 258 inf + 648
0.938 * * [simplify]: Extracting #4: cost 307 inf + 7710
0.941 * * [simplify]: Extracting #5: cost 293 inf + 16045
0.943 * * [simplify]: Extracting #6: cost 277 inf + 25875
0.954 * * [simplify]: Extracting #7: cost 149 inf + 188177
0.982 * * [simplify]: Extracting #8: cost 7 inf + 469313
1.022 * * [simplify]: Extracting #9: cost 0 inf + 490709
1.059 * [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.059 * [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.059 * * * * [progress]: [ 10 / 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.059 * [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.059 * * [simplify]: iters left: 6 (17 enodes)
1.066 * * [simplify]: iters left: 5 (41 enodes)
1.077 * * [simplify]: iters left: 4 (101 enodes)
1.112 * * [simplify]: iters left: 3 (291 enodes)
1.229 * * [simplify]: Extracting #0: cost 1 inf + 0
1.229 * * [simplify]: Extracting #1: cost 48 inf + 0
1.230 * * [simplify]: Extracting #2: cost 208 inf + 1
1.231 * * [simplify]: Extracting #3: cost 275 inf + 1610
1.233 * * [simplify]: Extracting #4: cost 319 inf + 9953
1.236 * * [simplify]: Extracting #5: cost 302 inf + 20857
1.239 * * [simplify]: Extracting #6: cost 279 inf + 36752
1.251 * * [simplify]: Extracting #7: cost 152 inf + 206471
1.280 * * [simplify]: Extracting #8: cost 9 inf + 486275
1.305 * * [simplify]: Extracting #9: cost 0 inf + 499918
1.332 * [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.332 * [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.332 * * * * [progress]: [ 11 / 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.332 * [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.333 * * [simplify]: iters left: 6 (21 enodes)
1.338 * * [simplify]: iters left: 5 (59 enodes)
1.351 * * [simplify]: iters left: 4 (176 enodes)
1.408 * * [simplify]: Extracting #0: cost 1 inf + 0
1.408 * * [simplify]: Extracting #1: cost 40 inf + 0
1.409 * * [simplify]: Extracting #2: cost 160 inf + 0
1.409 * * [simplify]: Extracting #3: cost 260 inf + 1607
1.410 * * [simplify]: Extracting #4: cost 294 inf + 4494
1.412 * * [simplify]: Extracting #5: cost 292 inf + 16036
1.415 * * [simplify]: Extracting #6: cost 224 inf + 77978
1.429 * * [simplify]: Extracting #7: cost 53 inf + 358389
1.453 * * [simplify]: Extracting #8: cost 4 inf + 462823
1.480 * * [simplify]: Extracting #9: cost 0 inf + 474767
1.504 * [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.504 * [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.504 * * * * [progress]: [ 12 / 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.504 * * * * [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.504 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
1.504 * * [simplify]: iters left: 6 (18 enodes)
1.509 * * [simplify]: iters left: 5 (47 enodes)
1.520 * * [simplify]: iters left: 4 (121 enodes)
1.563 * * [simplify]: iters left: 3 (337 enodes)
1.722 * * [simplify]: Extracting #0: cost 1 inf + 0
1.722 * * [simplify]: Extracting #1: cost 34 inf + 0
1.723 * * [simplify]: Extracting #2: cost 204 inf + 0
1.724 * * [simplify]: Extracting #3: cost 326 inf + 1286
1.726 * * [simplify]: Extracting #4: cost 362 inf + 6740
1.729 * * [simplify]: Extracting #5: cost 377 inf + 18286
1.733 * * [simplify]: Extracting #6: cost 358 inf + 29885
1.747 * * [simplify]: Extracting #7: cost 252 inf + 186163
1.784 * * [simplify]: Extracting #8: cost 47 inf + 586692
1.823 * * [simplify]: Extracting #9: cost 0 inf + 696950
1.885 * * [simplify]: Extracting #10: cost 0 inf + 694590
1.950 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
1.950 * [simplify]: Simplified (2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
1.950 * * * * [progress]: [ 14 / 16 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1.950 * [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.950 * * [simplify]: iters left: 6 (18 enodes)
1.957 * * [simplify]: iters left: 5 (47 enodes)
1.971 * * [simplify]: iters left: 4 (121 enodes)
2.014 * * [simplify]: iters left: 3 (337 enodes)
2.160 * * [simplify]: Extracting #0: cost 1 inf + 0
2.160 * * [simplify]: Extracting #1: cost 34 inf + 0
2.161 * * [simplify]: Extracting #2: cost 204 inf + 0
2.162 * * [simplify]: Extracting #3: cost 326 inf + 1286
2.164 * * [simplify]: Extracting #4: cost 362 inf + 6740
2.171 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.174 * * [simplify]: Extracting #6: cost 358 inf + 29885
2.184 * * [simplify]: Extracting #7: cost 252 inf + 186163
2.223 * * [simplify]: Extracting #8: cost 47 inf + 586692
2.274 * * [simplify]: Extracting #9: cost 0 inf + 696950
2.327 * * [simplify]: Extracting #10: cost 0 inf + 694590
2.379 * [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.379 * [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.379 * * * * [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.379 * [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.379 * * [simplify]: iters left: 6 (18 enodes)
2.386 * * [simplify]: iters left: 5 (47 enodes)
2.400 * * [simplify]: iters left: 4 (121 enodes)
2.442 * * [simplify]: iters left: 3 (337 enodes)
2.583 * * [simplify]: Extracting #0: cost 1 inf + 0
2.583 * * [simplify]: Extracting #1: cost 34 inf + 0
2.584 * * [simplify]: Extracting #2: cost 204 inf + 0
2.586 * * [simplify]: Extracting #3: cost 326 inf + 1286
2.588 * * [simplify]: Extracting #4: cost 362 inf + 6740
2.591 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.595 * * [simplify]: Extracting #6: cost 358 inf + 29885
2.606 * * [simplify]: Extracting #7: cost 252 inf + 186163
2.639 * * [simplify]: Extracting #8: cost 47 inf + 586692
2.688 * * [simplify]: Extracting #9: cost 0 inf + 696950
2.746 * * [simplify]: Extracting #10: cost 0 inf + 694590
2.789 * [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.789 * [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.790 * * * * [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.790 * [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.790 * * [simplify]: iters left: 6 (18 enodes)
2.798 * * [simplify]: iters left: 5 (47 enodes)
2.813 * * [simplify]: iters left: 4 (121 enodes)
2.858 * * [simplify]: iters left: 3 (337 enodes)
2.982 * * [simplify]: Extracting #0: cost 1 inf + 0
2.982 * * [simplify]: Extracting #1: cost 34 inf + 0
2.983 * * [simplify]: Extracting #2: cost 204 inf + 0
2.984 * * [simplify]: Extracting #3: cost 326 inf + 1286
2.985 * * [simplify]: Extracting #4: cost 362 inf + 6740
2.987 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.989 * * [simplify]: Extracting #6: cost 358 inf + 29885
2.996 * * [simplify]: Extracting #7: cost 252 inf + 186163
3.032 * * [simplify]: Extracting #8: cost 47 inf + 586692
3.070 * * [simplify]: Extracting #9: cost 0 inf + 696950
3.131 * * [simplify]: Extracting #10: cost 0 inf + 694590
3.182 * [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.182 * [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.182 * * * [progress]: adding candidates to table
3.782 * * [progress]: iteration 2 / 4
3.782 * * * [progress]: picking best candidate
3.879 * * * * [pick]: Picked  #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
3.879 * * * [progress]: localizing error
4.094 * * * [progress]: generating rewritten candidates
4.094 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2 1)
4.097 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
4.102 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
4.104 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 2 1 2)
4.106 * * * [progress]: generating series expansions
4.106 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2 1)
4.107 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
4.107 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
4.107 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 2 1 2)
4.107 * * * [progress]: simplifying candidates
4.107 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
4.107 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.107 * * [simplify]: iters left: 4 (9 enodes)
4.111 * * [simplify]: iters left: 3 (13 enodes)
4.114 * * [simplify]: Extracting #0: cost 1 inf + 0
4.114 * * [simplify]: Extracting #1: cost 3 inf + 0
4.114 * * [simplify]: Extracting #2: cost 5 inf + 0
4.114 * * [simplify]: Extracting #3: cost 6 inf + 1
4.114 * * [simplify]: Extracting #4: cost 7 inf + 2
4.115 * * [simplify]: Extracting #5: cost 0 inf + 1813
4.115 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.115 * [simplify]: Simplified (2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
4.115 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
4.115 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
4.115 * * [simplify]: iters left: 4 (9 enodes)
4.119 * * [simplify]: iters left: 3 (13 enodes)
4.122 * * [simplify]: Extracting #0: cost 1 inf + 0
4.122 * * [simplify]: Extracting #1: cost 3 inf + 0
4.122 * * [simplify]: Extracting #2: cost 5 inf + 0
4.122 * * [simplify]: Extracting #3: cost 5 inf + 2
4.122 * * [simplify]: Extracting #4: cost 7 inf + 2
4.122 * * [simplify]: Extracting #5: cost 4 inf + 5
4.122 * * [simplify]: Extracting #6: cost 0 inf + 1813
4.123 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
4.123 * [simplify]: Simplified (2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
4.123 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
4.123 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.123 * * [simplify]: iters left: 3 (7 enodes)
4.126 * * [simplify]: iters left: 2 (12 enodes)
4.129 * * [simplify]: Extracting #0: cost 1 inf + 0
4.129 * * [simplify]: Extracting #1: cost 3 inf + 0
4.129 * * [simplify]: Extracting #2: cost 4 inf + 1
4.129 * * [simplify]: Extracting #3: cost 6 inf + 1
4.129 * * [simplify]: Extracting #4: cost 0 inf + 930
4.129 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.129 * [simplify]: Simplified (2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
4.129 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
4.129 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
4.130 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.130 * * [simplify]: iters left: 6 (18 enodes)
4.136 * * [simplify]: iters left: 5 (41 enodes)
4.146 * * [simplify]: iters left: 4 (83 enodes)
4.161 * * [simplify]: iters left: 3 (164 enodes)
4.200 * * [simplify]: iters left: 2 (496 enodes)
4.505 * * [simplify]: Extracting #0: cost 1 inf + 0
4.506 * * [simplify]: Extracting #1: cost 21 inf + 0
4.506 * * [simplify]: Extracting #2: cost 23 inf + 1
4.506 * * [simplify]: Extracting #3: cost 121 inf + 3
4.508 * * [simplify]: Extracting #4: cost 477 inf + 325
4.512 * * [simplify]: Extracting #5: cost 788 inf + 4871
4.526 * * [simplify]: Extracting #6: cost 663 inf + 189244
4.576 * * [simplify]: Extracting #7: cost 195 inf + 927268
4.674 * * [simplify]: Extracting #8: cost 10 inf + 1303684
4.777 * * [simplify]: Extracting #9: cost 0 inf + 1332318
4.879 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
4.879 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) a) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
4.880 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))))>
4.880 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))
4.880 * * [simplify]: iters left: 6 (18 enodes)
4.887 * * [simplify]: iters left: 5 (41 enodes)
4.899 * * [simplify]: iters left: 4 (83 enodes)
4.921 * * [simplify]: iters left: 3 (164 enodes)
4.972 * * [simplify]: Extracting #0: cost 1 inf + 0
4.972 * * [simplify]: Extracting #1: cost 16 inf + 0
4.972 * * [simplify]: Extracting #2: cost 18 inf + 1
4.972 * * [simplify]: Extracting #3: cost 41 inf + 1
4.973 * * [simplify]: Extracting #4: cost 129 inf + 3
4.973 * * [simplify]: Extracting #5: cost 159 inf + 651
4.974 * * [simplify]: Extracting #6: cost 163 inf + 16579
4.978 * * [simplify]: Extracting #7: cost 66 inf + 116878
4.989 * * [simplify]: Extracting #8: cost 4 inf + 214206
5.000 * * [simplify]: Extracting #9: cost 0 inf + 221579
5.015 * [simplify]: Simplified to (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))
5.015 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
5.015 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
5.015 * [simplify]: Simplifying (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
5.015 * * [simplify]: iters left: 6 (14 enodes)
5.019 * * [simplify]: iters left: 5 (30 enodes)
5.027 * * [simplify]: iters left: 4 (56 enodes)
5.041 * * [simplify]: iters left: 3 (122 enodes)
5.079 * * [simplify]: iters left: 2 (499 enodes)
5.596 * * [simplify]: Extracting #0: cost 1 inf + 0
5.596 * * [simplify]: Extracting #1: cost 3 inf + 0
5.596 * * [simplify]: Extracting #2: cost 5 inf + 0
5.597 * * [simplify]: Extracting #3: cost 93 inf + 1
5.598 * * [simplify]: Extracting #4: cost 451 inf + 2
5.602 * * [simplify]: Extracting #5: cost 850 inf + 2252
5.615 * * [simplify]: Extracting #6: cost 904 inf + 7387
5.623 * * [simplify]: Extracting #7: cost 835 inf + 65272
5.642 * * [simplify]: Extracting #8: cost 579 inf + 361623
5.686 * * [simplify]: Extracting #9: cost 181 inf + 1076854
5.760 * * [simplify]: Extracting #10: cost 6 inf + 1471563
5.833 * * [simplify]: Extracting #11: cost 0 inf + 1485305
5.905 * * [simplify]: Extracting #12: cost 0 inf + 1484905
6.012 * [simplify]: Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
6.012 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
6.013 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
6.013 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.013 * * [simplify]: iters left: 3 (7 enodes)
6.016 * * [simplify]: iters left: 2 (12 enodes)
6.018 * * [simplify]: Extracting #0: cost 1 inf + 0
6.018 * * [simplify]: Extracting #1: cost 3 inf + 0
6.018 * * [simplify]: Extracting #2: cost 4 inf + 1
6.018 * * [simplify]: Extracting #3: cost 6 inf + 1
6.018 * * [simplify]: Extracting #4: cost 0 inf + 930
6.018 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.018 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
6.018 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) 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))))))))>
6.018 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.018 * * [simplify]: iters left: 4 (12 enodes)
6.022 * * [simplify]: iters left: 3 (32 enodes)
6.029 * * [simplify]: iters left: 2 (72 enodes)
6.057 * * [simplify]: iters left: 1 (187 enodes)
6.150 * * [simplify]: Extracting #0: cost 1 inf + 0
6.150 * * [simplify]: Extracting #1: cost 23 inf + 0
6.150 * * [simplify]: Extracting #2: cost 127 inf + 1
6.151 * * [simplify]: Extracting #3: cost 199 inf + 1612
6.152 * * [simplify]: Extracting #4: cost 224 inf + 11556
6.153 * * [simplify]: Extracting #5: cost 214 inf + 19246
6.155 * * [simplify]: Extracting #6: cost 205 inf + 24740
6.159 * * [simplify]: Extracting #7: cost 101 inf + 143111
6.171 * * [simplify]: Extracting #8: cost 13 inf + 275987
6.187 * * [simplify]: Extracting #9: cost 0 inf + 294918
6.201 * [simplify]: Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.201 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
6.201 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (-.p16 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.201 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
6.201 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
6.201 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
6.201 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
6.201 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
6.202 * [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))))
6.202 * * [simplify]: iters left: 6 (17 enodes)
6.206 * * [simplify]: iters left: 5 (41 enodes)
6.214 * * [simplify]: iters left: 4 (101 enodes)
6.241 * * [simplify]: iters left: 3 (291 enodes)
6.334 * * [simplify]: Extracting #0: cost 1 inf + 0
6.334 * * [simplify]: Extracting #1: cost 48 inf + 0
6.335 * * [simplify]: Extracting #2: cost 208 inf + 1
6.336 * * [simplify]: Extracting #3: cost 275 inf + 1610
6.338 * * [simplify]: Extracting #4: cost 319 inf + 9953
6.341 * * [simplify]: Extracting #5: cost 302 inf + 20857
6.345 * * [simplify]: Extracting #6: cost 279 inf + 36752
6.357 * * [simplify]: Extracting #7: cost 152 inf + 206471
6.396 * * [simplify]: Extracting #8: cost 9 inf + 486275
6.434 * * [simplify]: Extracting #9: cost 0 inf + 499918
6.471 * [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))))
6.471 * [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))))))
6.472 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
6.472 * [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))))
6.472 * * [simplify]: iters left: 6 (17 enodes)
6.479 * * [simplify]: iters left: 5 (41 enodes)
6.491 * * [simplify]: iters left: 4 (101 enodes)
6.528 * * [simplify]: iters left: 3 (291 enodes)
6.661 * * [simplify]: Extracting #0: cost 1 inf + 0
6.661 * * [simplify]: Extracting #1: cost 48 inf + 0
6.662 * * [simplify]: Extracting #2: cost 208 inf + 1
6.663 * * [simplify]: Extracting #3: cost 275 inf + 1610
6.666 * * [simplify]: Extracting #4: cost 319 inf + 9953
6.668 * * [simplify]: Extracting #5: cost 302 inf + 20857
6.671 * * [simplify]: Extracting #6: cost 279 inf + 36752
6.684 * * [simplify]: Extracting #7: cost 152 inf + 206471
6.721 * * [simplify]: Extracting #8: cost 9 inf + 486275
6.759 * * [simplify]: Extracting #9: cost 0 inf + 499918
6.796 * [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))))
6.796 * [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))))))
6.797 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
6.797 * [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))))
6.797 * * [simplify]: iters left: 6 (17 enodes)
6.803 * * [simplify]: iters left: 5 (41 enodes)
6.815 * * [simplify]: iters left: 4 (101 enodes)
6.850 * * [simplify]: iters left: 3 (291 enodes)
6.983 * * [simplify]: Extracting #0: cost 1 inf + 0
6.983 * * [simplify]: Extracting #1: cost 48 inf + 0
6.984 * * [simplify]: Extracting #2: cost 208 inf + 1
6.985 * * [simplify]: Extracting #3: cost 275 inf + 1610
6.988 * * [simplify]: Extracting #4: cost 319 inf + 9953
6.990 * * [simplify]: Extracting #5: cost 302 inf + 20857
6.993 * * [simplify]: Extracting #6: cost 279 inf + 36752
7.004 * * [simplify]: Extracting #7: cost 152 inf + 206471
7.041 * * [simplify]: Extracting #8: cost 9 inf + 486275
7.073 * * [simplify]: Extracting #9: cost 0 inf + 499918
7.106 * [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))))
7.106 * [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))))))
7.107 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
7.107 * [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))))
7.107 * * [simplify]: iters left: 6 (17 enodes)
7.113 * * [simplify]: iters left: 5 (41 enodes)
7.125 * * [simplify]: iters left: 4 (101 enodes)
7.160 * * [simplify]: iters left: 3 (291 enodes)
7.278 * * [simplify]: Extracting #0: cost 1 inf + 0
7.278 * * [simplify]: Extracting #1: cost 48 inf + 0
7.279 * * [simplify]: Extracting #2: cost 208 inf + 1
7.280 * * [simplify]: Extracting #3: cost 275 inf + 1610
7.282 * * [simplify]: Extracting #4: cost 319 inf + 9953
7.285 * * [simplify]: Extracting #5: cost 302 inf + 20857
7.288 * * [simplify]: Extracting #6: cost 279 inf + 36752
7.303 * * [simplify]: Extracting #7: cost 152 inf + 206471
7.331 * * [simplify]: Extracting #8: cost 9 inf + 486275
7.368 * * [simplify]: Extracting #9: cost 0 inf + 499918
7.404 * [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))))
7.404 * [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))))))
7.404 * * * [progress]: adding candidates to table
8.363 * * [progress]: iteration 3 / 4
8.363 * * * [progress]: picking best candidate
8.481 * * * * [pick]: Picked  #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
8.481 * * * [progress]: localizing error
8.817 * * * [progress]: generating rewritten candidates
8.817 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2 1)
8.821 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
8.827 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
8.830 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
8.832 * * * [progress]: generating series expansions
8.832 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2 1)
8.832 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
8.832 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
8.832 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
8.832 * * * [progress]: simplifying candidates
8.832 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
8.833 * [simplify]: Simplifying (real->posit16 9)
8.833 * * [simplify]: iters left: 1 (2 enodes)
8.834 * * [simplify]: Extracting #0: cost 1 inf + 0
8.834 * * [simplify]: Extracting #1: cost 2 inf + 0
8.834 * * [simplify]: Extracting #2: cost 1 inf + 1
8.834 * * [simplify]: Extracting #3: cost 0 inf + 2
8.834 * [simplify]: Simplified to (real->posit16 9)
8.834 * [simplify]: Simplified (2 2 1 1 2 1 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
8.834 * [simplify]: Simplifying (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
8.835 * * [simplify]: iters left: 4 (8 enodes)
8.837 * * [simplify]: iters left: 3 (14 enodes)
8.841 * * [simplify]: iters left: 2 (19 enodes)
8.845 * * [simplify]: iters left: 1 (32 enodes)
8.855 * * [simplify]: Extracting #0: cost 1 inf + 0
8.855 * * [simplify]: Extracting #1: cost 9 inf + 0
8.855 * * [simplify]: Extracting #2: cost 25 inf + 1
8.855 * * [simplify]: Extracting #3: cost 33 inf + 963
8.855 * * [simplify]: Extracting #4: cost 27 inf + 3209
8.856 * * [simplify]: Extracting #5: cost 12 inf + 14484
8.858 * * [simplify]: Extracting #6: cost 1 inf + 26872
8.859 * * [simplify]: Extracting #7: cost 0 inf + 29315
8.861 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
8.861 * [simplify]: Simplified (2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (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.861 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)) (*.p16 a (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
8.861 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.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) a) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
8.862 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
8.862 * * [simplify]: iters left: 6 (19 enodes)
8.874 * * [simplify]: iters left: 5 (40 enodes)
8.885 * * [simplify]: iters left: 4 (62 enodes)
8.900 * * [simplify]: iters left: 3 (84 enodes)
8.917 * * [simplify]: iters left: 2 (112 enodes)
8.940 * * [simplify]: iters left: 1 (186 enodes)
8.986 * * [simplify]: Extracting #0: cost 1 inf + 0
8.986 * * [simplify]: Extracting #1: cost 24 inf + 0
8.986 * * [simplify]: Extracting #2: cost 26 inf + 1
8.986 * * [simplify]: Extracting #3: cost 46 inf + 3
8.986 * * [simplify]: Extracting #4: cost 135 inf + 325
8.987 * * [simplify]: Extracting #5: cost 166 inf + 653
8.988 * * [simplify]: Extracting #6: cost 187 inf + 7310
8.991 * * [simplify]: Extracting #7: cost 95 inf + 105470
9.000 * * [simplify]: Extracting #8: cost 11 inf + 229024
9.011 * * [simplify]: Extracting #9: cost 0 inf + 250504
9.022 * * [simplify]: Extracting #10: cost 0 inf + 250224
9.034 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))
9.034 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) a) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand)))))
9.034 * * * * [progress]: [ 4 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)) (*.p16 (neg.p16 (/.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)))))>
9.034 * [simplify]: Simplifying (*.p16 (neg.p16 (/.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))
9.034 * * [simplify]: iters left: 6 (19 enodes)
9.039 * * [simplify]: iters left: 5 (40 enodes)
9.049 * * [simplify]: iters left: 4 (62 enodes)
9.059 * * [simplify]: iters left: 3 (84 enodes)
9.070 * * [simplify]: iters left: 2 (107 enodes)
9.090 * * [simplify]: iters left: 1 (187 enodes)
9.150 * * [simplify]: Extracting #0: cost 1 inf + 0
9.150 * * [simplify]: Extracting #1: cost 24 inf + 0
9.150 * * [simplify]: Extracting #2: cost 26 inf + 1
9.150 * * [simplify]: Extracting #3: cost 46 inf + 325
9.150 * * [simplify]: Extracting #4: cost 136 inf + 325
9.151 * * [simplify]: Extracting #5: cost 166 inf + 330
9.152 * * [simplify]: Extracting #6: cost 184 inf + 5464
9.154 * * [simplify]: Extracting #7: cost 119 inf + 68121
9.161 * * [simplify]: Extracting #8: cost 39 inf + 173090
9.171 * * [simplify]: Extracting #9: cost 2 inf + 238687
9.182 * * [simplify]: Extracting #10: cost 0 inf + 244253
9.193 * [simplify]: Simplified to (*.p16 (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))
9.193 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (*.p16 a (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)) (*.p16 (*.p16 rand (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))))
9.193 * * * * [progress]: [ 5 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
9.193 * [simplify]: Simplifying (/.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)))))
9.194 * * [simplify]: iters left: 6 (16 enodes)
9.198 * * [simplify]: iters left: 5 (29 enodes)
9.203 * * [simplify]: iters left: 4 (35 enodes)
9.209 * * [simplify]: iters left: 3 (40 enodes)
9.219 * * [simplify]: iters left: 2 (57 enodes)
9.230 * * [simplify]: iters left: 1 (119 enodes)
9.275 * * [simplify]: Extracting #0: cost 1 inf + 0
9.275 * * [simplify]: Extracting #1: cost 3 inf + 0
9.275 * * [simplify]: Extracting #2: cost 5 inf + 0
9.275 * * [simplify]: Extracting #3: cost 22 inf + 1
9.276 * * [simplify]: Extracting #4: cost 111 inf + 2
9.276 * * [simplify]: Extracting #5: cost 149 inf + 327
9.277 * * [simplify]: Extracting #6: cost 179 inf + 1931
9.278 * * [simplify]: Extracting #7: cost 173 inf + 5777
9.280 * * [simplify]: Extracting #8: cost 145 inf + 25511
9.285 * * [simplify]: Extracting #9: cost 73 inf + 91423
9.298 * * [simplify]: Extracting #10: cost 11 inf + 185656
9.314 * * [simplify]: Extracting #11: cost 0 inf + 207649
9.328 * [simplify]: Simplified to (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))
9.329 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
9.329 * * * * [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 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
9.329 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
9.329 * * [simplify]: iters left: 3 (7 enodes)
9.332 * * [simplify]: iters left: 2 (12 enodes)
9.334 * * [simplify]: Extracting #0: cost 1 inf + 0
9.334 * * [simplify]: Extracting #1: cost 3 inf + 0
9.334 * * [simplify]: Extracting #2: cost 4 inf + 1
9.334 * * [simplify]: Extracting #3: cost 6 inf + 1
9.334 * * [simplify]: Extracting #4: cost 0 inf + 930
9.335 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
9.335 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
9.335 * * * * [progress]: [ 7 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))>
9.335 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
9.335 * * [simplify]: iters left: 4 (12 enodes)
9.338 * * [simplify]: iters left: 3 (32 enodes)
9.346 * * [simplify]: iters left: 2 (72 enodes)
9.364 * * [simplify]: iters left: 1 (187 enodes)
9.423 * * [simplify]: Extracting #0: cost 1 inf + 0
9.423 * * [simplify]: Extracting #1: cost 23 inf + 0
9.424 * * [simplify]: Extracting #2: cost 127 inf + 1
9.424 * * [simplify]: Extracting #3: cost 199 inf + 1612
9.425 * * [simplify]: Extracting #4: cost 224 inf + 11556
9.426 * * [simplify]: Extracting #5: cost 214 inf + 19246
9.428 * * [simplify]: Extracting #6: cost 205 inf + 24740
9.432 * * [simplify]: Extracting #7: cost 101 inf + 143111
9.444 * * [simplify]: Extracting #8: cost 13 inf + 275987
9.458 * * [simplify]: Extracting #9: cost 0 inf + 294918
9.475 * [simplify]: Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
9.475 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
9.475 * * * * [progress]: [ 8 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
9.475 * * * * [progress]: [ 9 / 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 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
9.475 * * * * [progress]: [ 10 / 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 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
9.475 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
9.475 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (/.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 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
9.475 * * * * [progress]: [ 13 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
9.476 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
9.476 * * [simplify]: iters left: 4 (9 enodes)
9.478 * * [simplify]: iters left: 3 (13 enodes)
9.481 * * [simplify]: Extracting #0: cost 1 inf + 0
9.481 * * [simplify]: Extracting #1: cost 3 inf + 0
9.481 * * [simplify]: Extracting #2: cost 5 inf + 0
9.481 * * [simplify]: Extracting #3: cost 5 inf + 2
9.481 * * [simplify]: Extracting #4: cost 7 inf + 2
9.481 * * [simplify]: Extracting #5: cost 4 inf + 5
9.481 * * [simplify]: Extracting #6: cost 0 inf + 1813
9.482 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
9.482 * [simplify]: Simplified (2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
9.482 * * * * [progress]: [ 14 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
9.482 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
9.482 * * [simplify]: iters left: 4 (9 enodes)
9.485 * * [simplify]: iters left: 3 (13 enodes)
9.487 * * [simplify]: Extracting #0: cost 1 inf + 0
9.487 * * [simplify]: Extracting #1: cost 3 inf + 0
9.487 * * [simplify]: Extracting #2: cost 5 inf + 0
9.488 * * [simplify]: Extracting #3: cost 5 inf + 2
9.488 * * [simplify]: Extracting #4: cost 7 inf + 2
9.488 * * [simplify]: Extracting #5: cost 4 inf + 5
9.488 * * [simplify]: Extracting #6: cost 0 inf + 1813
9.488 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
9.488 * [simplify]: Simplified (2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
9.488 * * * * [progress]: [ 15 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
9.488 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
9.489 * * [simplify]: iters left: 4 (9 enodes)
9.491 * * [simplify]: iters left: 3 (13 enodes)
9.494 * * [simplify]: Extracting #0: cost 1 inf + 0
9.494 * * [simplify]: Extracting #1: cost 3 inf + 0
9.494 * * [simplify]: Extracting #2: cost 5 inf + 0
9.494 * * [simplify]: Extracting #3: cost 5 inf + 2
9.494 * * [simplify]: Extracting #4: cost 7 inf + 2
9.494 * * [simplify]: Extracting #5: cost 4 inf + 5
9.494 * * [simplify]: Extracting #6: cost 0 inf + 1813
9.494 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
9.494 * [simplify]: Simplified (2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
9.494 * * * * [progress]: [ 16 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
9.494 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
9.494 * * [simplify]: iters left: 4 (9 enodes)
9.497 * * [simplify]: iters left: 3 (13 enodes)
9.499 * * [simplify]: Extracting #0: cost 1 inf + 0
9.499 * * [simplify]: Extracting #1: cost 3 inf + 0
9.499 * * [simplify]: Extracting #2: cost 5 inf + 0
9.499 * * [simplify]: Extracting #3: cost 5 inf + 2
9.499 * * [simplify]: Extracting #4: cost 7 inf + 2
9.499 * * [simplify]: Extracting #5: cost 4 inf + 5
9.499 * * [simplify]: Extracting #6: cost 0 inf + 1813
9.500 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
9.500 * [simplify]: Simplified (2 2 1 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
9.500 * * * [progress]: adding candidates to table
10.200 * * [progress]: iteration 4 / 4
10.200 * * * [progress]: picking best candidate
10.303 * * * * [pick]: Picked  #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) 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))))))))>
10.303 * * * [progress]: localizing error
10.549 * * * [progress]: generating rewritten candidates
10.549 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
10.555 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
10.560 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
10.566 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2)
10.568 * * * [progress]: generating series expansions
10.569 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
10.569 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
10.569 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
10.569 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2)
10.569 * * * [progress]: simplifying candidates
10.569 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (+.p16 (*.p16 (*.p16 (real->posit16 1) rand) a) (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.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))))))))>
10.569 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
10.569 * * [simplify]: iters left: 4 (11 enodes)
10.574 * * [simplify]: iters left: 3 (22 enodes)
10.579 * * [simplify]: iters left: 2 (30 enodes)
10.586 * * [simplify]: iters left: 1 (32 enodes)
10.593 * * [simplify]: Extracting #0: cost 1 inf + 0
10.593 * * [simplify]: Extracting #1: cost 7 inf + 0
10.593 * * [simplify]: Extracting #2: cost 8 inf + 1
10.593 * * [simplify]: Extracting #3: cost 9 inf + 2
10.594 * * [simplify]: Extracting #4: cost 9 inf + 325
10.594 * * [simplify]: Extracting #5: cost 5 inf + 329
10.594 * * [simplify]: Extracting #6: cost 2 inf + 2136
10.594 * * [simplify]: Extracting #7: cost 0 inf + 4143
10.595 * [simplify]: Simplified to (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (real->posit16 1))
10.595 * [simplify]: Simplified (2 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (+.p16 (*.p16 (*.p16 (real->posit16 1) rand) a) (*.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (real->posit16 1))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
10.595 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (+.p16 (*.p16 a (*.p16 (real->posit16 1) rand)) (*.p16 (neg.p16 (/.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.595 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand))
10.595 * * [simplify]: iters left: 4 (11 enodes)
10.600 * * [simplify]: iters left: 3 (22 enodes)
10.605 * * [simplify]: iters left: 2 (30 enodes)
10.612 * * [simplify]: iters left: 1 (32 enodes)
10.623 * * [simplify]: Extracting #0: cost 1 inf + 0
10.623 * * [simplify]: Extracting #1: cost 7 inf + 0
10.623 * * [simplify]: Extracting #2: cost 8 inf + 1
10.623 * * [simplify]: Extracting #3: cost 9 inf + 2
10.623 * * [simplify]: Extracting #4: cost 9 inf + 325
10.623 * * [simplify]: Extracting #5: cost 6 inf + 328
10.623 * * [simplify]: Extracting #6: cost 5 inf + 329
10.623 * * [simplify]: Extracting #7: cost 1 inf + 2979
10.624 * * [simplify]: Extracting #8: cost 0 inf + 4143
10.624 * [simplify]: Simplified to (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)))
10.624 * [simplify]: Simplified (2 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (+.p16 (*.p16 a (*.p16 (real->posit16 1) rand)) (*.p16 rand (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
10.624 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (real->posit16 1) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
10.625 * [simplify]: Simplifying (real->posit16 1)
10.625 * * [simplify]: iters left: 1 (2 enodes)
10.626 * * [simplify]: Extracting #0: cost 1 inf + 0
10.626 * * [simplify]: Extracting #1: cost 2 inf + 0
10.626 * * [simplify]: Extracting #2: cost 1 inf + 1
10.626 * * [simplify]: Extracting #3: cost 0 inf + 2
10.626 * [simplify]: Simplified to (real->posit16 1)
10.626 * [simplify]: Simplified (2 2 1 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (real->posit16 1) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
10.626 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
10.626 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.626 * * [simplify]: iters left: 3 (7 enodes)
10.629 * * [simplify]: iters left: 2 (12 enodes)
10.632 * * [simplify]: Extracting #0: cost 1 inf + 0
10.632 * * [simplify]: Extracting #1: cost 3 inf + 0
10.632 * * [simplify]: Extracting #2: cost 4 inf + 1
10.632 * * [simplify]: Extracting #3: cost 6 inf + 1
10.632 * * [simplify]: Extracting #4: cost 0 inf + 930
10.632 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.632 * [simplify]: Simplified (2 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 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))))))))
10.632 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (-.p16 a (/.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.633 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))>
10.633 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
10.633 * * [simplify]: iters left: 4 (9 enodes)
10.636 * * [simplify]: iters left: 3 (13 enodes)
10.640 * * [simplify]: Extracting #0: cost 1 inf + 0
10.640 * * [simplify]: Extracting #1: cost 3 inf + 0
10.640 * * [simplify]: Extracting #2: cost 5 inf + 0
10.640 * * [simplify]: Extracting #3: cost 6 inf + 1
10.640 * * [simplify]: Extracting #4: cost 7 inf + 2
10.640 * * [simplify]: Extracting #5: cost 0 inf + 1813
10.640 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
10.640 * [simplify]: Simplified (2 2 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))
10.640 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))>
10.641 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
10.641 * * [simplify]: iters left: 4 (9 enodes)
10.644 * * [simplify]: iters left: 3 (13 enodes)
10.648 * * [simplify]: Extracting #0: cost 1 inf + 0
10.648 * * [simplify]: Extracting #1: cost 3 inf + 0
10.648 * * [simplify]: Extracting #2: cost 5 inf + 0
10.648 * * [simplify]: Extracting #3: cost 5 inf + 2
10.648 * * [simplify]: Extracting #4: cost 7 inf + 2
10.648 * * [simplify]: Extracting #5: cost 4 inf + 5
10.648 * * [simplify]: Extracting #6: cost 0 inf + 1813
10.648 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
10.648 * [simplify]: Simplified (2 2 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
10.649 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (/.p16 (*.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))))))))>
10.649 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.649 * * [simplify]: iters left: 3 (7 enodes)
10.652 * * [simplify]: iters left: 2 (12 enodes)
10.655 * * [simplify]: Extracting #0: cost 1 inf + 0
10.655 * * [simplify]: Extracting #1: cost 3 inf + 0
10.655 * * [simplify]: Extracting #2: cost 4 inf + 1
10.655 * * [simplify]: Extracting #3: cost 6 inf + 1
10.655 * * [simplify]: Extracting #4: cost 0 inf + 930
10.655 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.655 * [simplify]: Simplified (2 2 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (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))))))))
10.656 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))>
10.656 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (real->posit16 1) 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.656 * [simplify]: Simplifying (*.p16 (real->posit16 1) rand)
10.656 * * [simplify]: iters left: 2 (4 enodes)
10.658 * * [simplify]: iters left: 1 (10 enodes)
10.660 * * [simplify]: Extracting #0: cost 1 inf + 0
10.660 * * [simplify]: Extracting #1: cost 3 inf + 0
10.660 * * [simplify]: Extracting #2: cost 3 inf + 1
10.660 * * [simplify]: Extracting #3: cost 2 inf + 2
10.660 * * [simplify]: Extracting #4: cost 0 inf + 325
10.660 * [simplify]: Simplified to (*.p16 rand (real->posit16 1))
10.660 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 rand (real->posit16 1)) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
10.660 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
10.661 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
10.661 * * [simplify]: iters left: 5 (14 enodes)
10.666 * * [simplify]: iters left: 4 (41 enodes)
10.679 * * [simplify]: iters left: 3 (108 enodes)
10.724 * * [simplify]: iters left: 2 (438 enodes)
11.108 * * [simplify]: Extracting #0: cost 1 inf + 0
11.108 * * [simplify]: Extracting #1: cost 83 inf + 0
11.110 * * [simplify]: Extracting #2: cost 471 inf + 1
11.114 * * [simplify]: Extracting #3: cost 651 inf + 9953
11.118 * * [simplify]: Extracting #4: cost 699 inf + 32726
11.123 * * [simplify]: Extracting #5: cost 662 inf + 64573
11.144 * * [simplify]: Extracting #6: cost 367 inf + 464714
11.218 * * [simplify]: Extracting #7: cost 20 inf + 1124190
11.284 * * [simplify]: Extracting #8: cost 0 inf + 1154503
11.339 * * [simplify]: Extracting #9: cost 0 inf + 1153663
11.403 * [simplify]: Simplified to (*.p16 (*.p16 (*.p16 rand (real->posit16 1)) (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
11.403 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (*.p16 rand (real->posit16 1)) (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
11.403 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))>
11.403 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.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.403 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
11.403 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
11.404 * * [simplify]: iters left: 4 (12 enodes)
11.409 * * [simplify]: iters left: 3 (32 enodes)
11.418 * * [simplify]: iters left: 2 (72 enodes)
11.442 * * [simplify]: iters left: 1 (187 enodes)
11.516 * * [simplify]: Extracting #0: cost 1 inf + 0
11.516 * * [simplify]: Extracting #1: cost 23 inf + 0
11.516 * * [simplify]: Extracting #2: cost 127 inf + 1
11.517 * * [simplify]: Extracting #3: cost 199 inf + 1612
11.519 * * [simplify]: Extracting #4: cost 224 inf + 11556
11.520 * * [simplify]: Extracting #5: cost 214 inf + 19246
11.522 * * [simplify]: Extracting #6: cost 205 inf + 24740
11.529 * * [simplify]: Extracting #7: cost 101 inf + 143111
11.546 * * [simplify]: Extracting #8: cost 13 inf + 275987
11.567 * * [simplify]: Extracting #9: cost 0 inf + 294918
11.587 * [simplify]: Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
11.587 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
11.587 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
11.588 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
11.588 * * [simplify]: iters left: 4 (12 enodes)
11.592 * * [simplify]: iters left: 3 (32 enodes)
11.603 * * [simplify]: iters left: 2 (72 enodes)
11.627 * * [simplify]: iters left: 1 (187 enodes)
11.709 * * [simplify]: Extracting #0: cost 1 inf + 0
11.709 * * [simplify]: Extracting #1: cost 23 inf + 0
11.709 * * [simplify]: Extracting #2: cost 127 inf + 1
11.710 * * [simplify]: Extracting #3: cost 199 inf + 1612
11.712 * * [simplify]: Extracting #4: cost 224 inf + 11556
11.713 * * [simplify]: Extracting #5: cost 214 inf + 19246
11.715 * * [simplify]: Extracting #6: cost 205 inf + 24740
11.723 * * [simplify]: Extracting #7: cost 101 inf + 143111
11.740 * * [simplify]: Extracting #8: cost 13 inf + 275987
11.755 * * [simplify]: Extracting #9: cost 0 inf + 294918
11.769 * [simplify]: Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
11.769 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
11.770 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
11.770 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
11.770 * * [simplify]: iters left: 4 (12 enodes)
11.773 * * [simplify]: iters left: 3 (32 enodes)
11.779 * * [simplify]: iters left: 2 (72 enodes)
11.796 * * [simplify]: iters left: 1 (187 enodes)
11.848 * * [simplify]: Extracting #0: cost 1 inf + 0
11.848 * * [simplify]: Extracting #1: cost 23 inf + 0
11.848 * * [simplify]: Extracting #2: cost 127 inf + 1
11.849 * * [simplify]: Extracting #3: cost 199 inf + 1612
11.850 * * [simplify]: Extracting #4: cost 224 inf + 11556
11.851 * * [simplify]: Extracting #5: cost 214 inf + 19246
11.854 * * [simplify]: Extracting #6: cost 205 inf + 24740
11.859 * * [simplify]: Extracting #7: cost 101 inf + 143111
11.871 * * [simplify]: Extracting #8: cost 13 inf + 275987
11.884 * * [simplify]: Extracting #9: cost 0 inf + 294918
11.898 * [simplify]: Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
11.898 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
11.898 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
11.898 * [simplify]: Simplifying (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
11.898 * * [simplify]: iters left: 4 (12 enodes)
11.902 * * [simplify]: iters left: 3 (32 enodes)
11.910 * * [simplify]: iters left: 2 (72 enodes)
11.929 * * [simplify]: iters left: 1 (187 enodes)
11.985 * * [simplify]: Extracting #0: cost 1 inf + 0
11.985 * * [simplify]: Extracting #1: cost 23 inf + 0
11.985 * * [simplify]: Extracting #2: cost 127 inf + 1
11.986 * * [simplify]: Extracting #3: cost 199 inf + 1612
11.987 * * [simplify]: Extracting #4: cost 224 inf + 11556
11.988 * * [simplify]: Extracting #5: cost 214 inf + 19246
11.990 * * [simplify]: Extracting #6: cost 205 inf + 24740
11.996 * * [simplify]: Extracting #7: cost 101 inf + 143111
12.010 * * [simplify]: Extracting #8: cost 13 inf + 275987
12.023 * * [simplify]: Extracting #9: cost 0 inf + 294918
12.037 * [simplify]: Simplified to (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
12.037 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 rand (real->posit16 1)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
12.037 * * * [progress]: adding candidates to table
12.815 * [progress]: [Phase 3 of 3] Extracting.
12.815 * * [regime]: Finding splitpoints for: (#<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (real->posit16 1) rand) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #<alt (λ (a rand) (*.p16 (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (*.p16 (-.p16 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 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (+.p16 (*.p16 (*.p16 (real->posit16 1) rand) a) (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.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 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (*.p16 rand (real->posit16 1)) (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>)
12.817 * * * [regime-changes]: Trying 2 branch expressions: (rand a)
12.817 * * * * [regimes]: Trying to branch on rand from (#<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (real->posit16 1) rand) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #<alt (λ (a rand) (*.p16 (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (*.p16 (-.p16 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 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (+.p16 (*.p16 (*.p16 (real->posit16 1) rand) a) (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.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 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (*.p16 rand (real->posit16 1)) (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>)
13.037 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (real->posit16 1) rand) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))> #<alt (λ (a rand) (*.p16 (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (*.p16 (-.p16 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 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (+.p16 (*.p16 (*.p16 (real->posit16 1) rand) a) (*.p16 (*.p16 (real->posit16 1) rand) (neg.p16 (/.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 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (*.p16 (*.p16 rand (real->posit16 1)) (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>)
13.283 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
13.283 * [simplify]: Simplifying (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
13.283 * * [simplify]: iters left: 6 (22 enodes)
13.285 * * [simplify]: iters left: 5 (24 enodes)
13.287 * * [simplify]: Extracting #0: cost 1 inf + 0
13.287 * * [simplify]: Extracting #1: cost 3 inf + 0
13.287 * * [simplify]: Extracting #2: cost 6 inf + 0
13.287 * * [simplify]: Extracting #3: cost 11 inf + 0
13.287 * * [simplify]: Extracting #4: cost 11 inf + 3
13.287 * * [simplify]: Extracting #5: cost 13 inf + 4
13.287 * * [simplify]: Extracting #6: cost 13 inf + 6
13.287 * * [simplify]: Extracting #7: cost 12 inf + 450
13.287 * * [simplify]: Extracting #8: cost 10 inf + 2339
13.287 * * [simplify]: Extracting #9: cost 8 inf + 2341
13.288 * * [simplify]: Extracting #10: cost 5 inf + 4710
13.288 * * [simplify]: Extracting #11: cost 4 inf + 5954
13.288 * * [simplify]: Extracting #12: cost 1 inf + 12051
13.289 * * [simplify]: Extracting #13: cost 0 inf + 14817
13.289 * [simplify]: Simplified to (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
13.289 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
13.318 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
13.323 * * * * [points]: Setting MPFR precision to 64
13.324 * * * * [points]: Setting MPFR precision to 320
13.325 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
13.329 * * * * [points]: Setting MPFR precision to 64
13.331 * * * * [points]: Setting MPFR precision to 320
13.333 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
13.338 * * * * [points]: Setting MPFR precision to 64
13.341 * * * * [points]: Setting MPFR precision to 320
13.345 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
13.349 * * * * [points]: Setting MPFR precision to 64
13.356 * * * * [points]: Setting MPFR precision to 320
13.374 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
13.380 * * * * [points]: Setting MPFR precision to 64
13.394 * * * * [points]: Setting MPFR precision to 320
13.408 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
13.412 * * * * [points]: Setting MPFR precision to 64
13.441 * * * * [points]: Setting MPFR precision to 320
13.471 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
13.499 * * * * [points]: Setting MPFR precision to 64
13.557 * * * * [points]: Setting MPFR precision to 320
13.628 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
14.017 * * * * [points]: Setting MPFR precision to 64
14.194 * * * * [points]: Setting MPFR precision to 320
14.339 * * * * [points]: Computing exacts for 8000 points
14.344 * * * * [points]: Setting MPFR precision to 64
15.011 * * * * [points]: Setting MPFR precision to 320
15.792 * * * * [points]: Filtering points with unrepresentable outputs
15.820 * * * * [points]: Sampled 8000 points with exact outputs
22.618 * [regime-testing]: Baseline error score: 64.0
22.624 * [regime-testing]: Oracle error score: 64.0
22.637 * [regime-testing]: End program error score: 0.20870250383704342