0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.002 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.006 * * * * [points]: Setting MPFR precision to 64
0.007 * * * * [points]: Setting MPFR precision to 320
0.008 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.017 * * * * [points]: Setting MPFR precision to 64
0.020 * * * * [points]: Setting MPFR precision to 320
0.023 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.033 * * * * [points]: Setting MPFR precision to 64
0.039 * * * * [points]: Setting MPFR precision to 320
0.045 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.052 * * * * [points]: Setting MPFR precision to 64
0.057 * * * * [points]: Setting MPFR precision to 320
0.062 * * * * [points]: Computing exacts for 256 points
0.067 * * * * [points]: Setting MPFR precision to 64
0.082 * * * * [points]: Setting MPFR precision to 320
0.096 * * * * [points]: Filtering points with unrepresentable outputs
0.096 * * * * [points]: Sampled 256 points with exact outputs
0.096 * * * [progress]: [2/2] Setting up program.
0.112 * [progress]: [Phase 2 of 3] Improving.
0.112 * * * * [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.112 * [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.134 * * [simplify]: iters left: 6 (18 enodes)
0.143 * * [simplify]: iters left: 5 (47 enodes)
0.165 * * [simplify]: iters left: 4 (121 enodes)
0.215 * * [simplify]: iters left: 3 (337 enodes)
0.415 * * [simplify]: Extracting #0: cost 1 inf + 0
0.416 * * [simplify]: Extracting #1: cost 34 inf + 0
0.417 * * [simplify]: Extracting #2: cost 204 inf + 0
0.419 * * [simplify]: Extracting #3: cost 326 inf + 1286
0.422 * * [simplify]: Extracting #4: cost 362 inf + 6740
0.426 * * [simplify]: Extracting #5: cost 377 inf + 18286
0.430 * * [simplify]: Extracting #6: cost 358 inf + 29885
0.445 * * [simplify]: Extracting #7: cost 252 inf + 186163
0.507 * * [simplify]: Extracting #8: cost 47 inf + 586692
0.577 * * [simplify]: Extracting #9: cost 0 inf + 696950
0.638 * * [simplify]: Extracting #10: cost 0 inf + 694590
0.697 * [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.697 * [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.728 * * [progress]: iteration 1 / 4
0.729 * * * [progress]: picking best candidate
0.758 * * * * [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.758 * * * [progress]: localizing error
1.028 * * * [progress]: generating rewritten candidates
1.028 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
1.031 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1 2)
1.033 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.034 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.038 * * * [progress]: generating series expansions
1.038 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
1.038 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1 2)
1.038 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.038 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.038 * * * [progress]: simplifying candidates
1.038 * * * * [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))))>
1.038 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1.038 * * [simplify]: iters left: 4 (9 enodes)
1.043 * * [simplify]: iters left: 3 (13 enodes)
1.048 * * [simplify]: Extracting #0: cost 1 inf + 0
1.048 * * [simplify]: Extracting #1: cost 3 inf + 0
1.048 * * [simplify]: Extracting #2: cost 5 inf + 0
1.048 * * [simplify]: Extracting #3: cost 6 inf + 1
1.048 * * [simplify]: Extracting #4: cost 7 inf + 2
1.048 * * [simplify]: Extracting #5: cost 0 inf + 1813
1.048 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1.048 * [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))))
1.049 * * * * [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))))>
1.049 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1.049 * * [simplify]: iters left: 4 (9 enodes)
1.053 * * [simplify]: iters left: 3 (13 enodes)
1.058 * * [simplify]: Extracting #0: cost 1 inf + 0
1.058 * * [simplify]: Extracting #1: cost 3 inf + 0
1.058 * * [simplify]: Extracting #2: cost 5 inf + 0
1.058 * * [simplify]: Extracting #3: cost 5 inf + 2
1.058 * * [simplify]: Extracting #4: cost 7 inf + 2
1.058 * * [simplify]: Extracting #5: cost 4 inf + 5
1.058 * * [simplify]: Extracting #6: cost 0 inf + 1813
1.058 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1.058 * [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))))
1.058 * * * * [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))))>
1.059 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1.059 * * [simplify]: iters left: 3 (7 enodes)
1.060 * * [simplify]: iters left: 2 (12 enodes)
1.062 * * [simplify]: Extracting #0: cost 1 inf + 0
1.062 * * [simplify]: Extracting #1: cost 3 inf + 0
1.062 * * [simplify]: Extracting #2: cost 4 inf + 1
1.062 * * [simplify]: Extracting #3: cost 6 inf + 1
1.063 * * [simplify]: Extracting #4: cost 0 inf + 930
1.063 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1.063 * [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))))
1.063 * * * * [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))))>
1.063 * * * * [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))))>
1.063 * * * * [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))))>
1.063 * * * * [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))))>
1.063 * * * * [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))))>
1.063 * * * * [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))))>
1.063 * [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))
1.063 * * [simplify]: iters left: 6 (17 enodes)
1.067 * * [simplify]: iters left: 5 (41 enodes)
1.075 * * [simplify]: iters left: 4 (95 enodes)
1.099 * * [simplify]: iters left: 3 (269 enodes)
1.260 * * [simplify]: Extracting #0: cost 1 inf + 0
1.260 * * [simplify]: Extracting #1: cost 46 inf + 0
1.260 * * [simplify]: Extracting #2: cost 206 inf + 1
1.261 * * [simplify]: Extracting #3: cost 258 inf + 648
1.263 * * [simplify]: Extracting #4: cost 307 inf + 7710
1.264 * * [simplify]: Extracting #5: cost 293 inf + 16045
1.266 * * [simplify]: Extracting #6: cost 277 inf + 25875
1.273 * * [simplify]: Extracting #7: cost 149 inf + 188177
1.309 * * [simplify]: Extracting #8: cost 7 inf + 469313
1.354 * * [simplify]: Extracting #9: cost 0 inf + 490709
1.391 * [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.391 * [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.391 * * * * [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.391 * [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.392 * * [simplify]: iters left: 6 (17 enodes)
1.400 * * [simplify]: iters left: 5 (41 enodes)
1.415 * * [simplify]: iters left: 4 (101 enodes)
1.459 * * [simplify]: iters left: 3 (291 enodes)
1.597 * * [simplify]: Extracting #0: cost 1 inf + 0
1.597 * * [simplify]: Extracting #1: cost 48 inf + 0
1.598 * * [simplify]: Extracting #2: cost 208 inf + 1
1.600 * * [simplify]: Extracting #3: cost 275 inf + 1610
1.603 * * [simplify]: Extracting #4: cost 319 inf + 9953
1.606 * * [simplify]: Extracting #5: cost 302 inf + 20857
1.611 * * [simplify]: Extracting #6: cost 279 inf + 36752
1.628 * * [simplify]: Extracting #7: cost 152 inf + 206471
1.656 * * [simplify]: Extracting #8: cost 9 inf + 486275
1.692 * * [simplify]: Extracting #9: cost 0 inf + 499918
1.717 * [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.717 * [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.718 * * * * [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.718 * [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.718 * * [simplify]: iters left: 6 (21 enodes)
1.723 * * [simplify]: iters left: 5 (59 enodes)
1.736 * * [simplify]: iters left: 4 (176 enodes)
1.829 * * [simplify]: Extracting #0: cost 1 inf + 0
1.830 * * [simplify]: Extracting #1: cost 40 inf + 0
1.830 * * [simplify]: Extracting #2: cost 160 inf + 0
1.831 * * [simplify]: Extracting #3: cost 260 inf + 1607
1.832 * * [simplify]: Extracting #4: cost 294 inf + 4494
1.834 * * [simplify]: Extracting #5: cost 292 inf + 16036
1.837 * * [simplify]: Extracting #6: cost 224 inf + 77978
1.854 * * [simplify]: Extracting #7: cost 53 inf + 358389
1.897 * * [simplify]: Extracting #8: cost 4 inf + 462823
1.945 * * [simplify]: Extracting #9: cost 0 inf + 474767
1.993 * [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.993 * [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.993 * * * * [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.994 * * * * [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.994 * [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.994 * * [simplify]: iters left: 6 (18 enodes)
2.003 * * [simplify]: iters left: 5 (47 enodes)
2.022 * * [simplify]: iters left: 4 (121 enodes)
2.060 * * [simplify]: iters left: 3 (337 enodes)
2.215 * * [simplify]: Extracting #0: cost 1 inf + 0
2.215 * * [simplify]: Extracting #1: cost 34 inf + 0
2.216 * * [simplify]: Extracting #2: cost 204 inf + 0
2.217 * * [simplify]: Extracting #3: cost 326 inf + 1286
2.218 * * [simplify]: Extracting #4: cost 362 inf + 6740
2.220 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.222 * * [simplify]: Extracting #6: cost 358 inf + 29885
2.230 * * [simplify]: Extracting #7: cost 252 inf + 186163
2.280 * * [simplify]: Extracting #8: cost 47 inf + 586692
2.330 * * [simplify]: Extracting #9: cost 0 inf + 696950
2.377 * * [simplify]: Extracting #10: cost 0 inf + 694590
2.425 * [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.425 * [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.425 * * * * [progress]: [ 14 / 16 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
2.425 * [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.426 * * [simplify]: iters left: 6 (18 enodes)
2.430 * * [simplify]: iters left: 5 (47 enodes)
2.439 * * [simplify]: iters left: 4 (121 enodes)
2.478 * * [simplify]: iters left: 3 (337 enodes)
2.642 * * [simplify]: Extracting #0: cost 1 inf + 0
2.642 * * [simplify]: Extracting #1: cost 34 inf + 0
2.643 * * [simplify]: Extracting #2: cost 204 inf + 0
2.644 * * [simplify]: Extracting #3: cost 326 inf + 1286
2.645 * * [simplify]: Extracting #4: cost 362 inf + 6740
2.647 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.650 * * [simplify]: Extracting #6: cost 358 inf + 29885
2.657 * * [simplify]: Extracting #7: cost 252 inf + 186163
2.700 * * [simplify]: Extracting #8: cost 47 inf + 586692
2.752 * * [simplify]: Extracting #9: cost 0 inf + 696950
2.823 * * [simplify]: Extracting #10: cost 0 inf + 694590
2.896 * [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.896 * [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.896 * * * * [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.897 * [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.897 * * [simplify]: iters left: 6 (18 enodes)
2.906 * * [simplify]: iters left: 5 (47 enodes)
2.926 * * [simplify]: iters left: 4 (121 enodes)
2.975 * * [simplify]: iters left: 3 (337 enodes)
3.123 * * [simplify]: Extracting #0: cost 1 inf + 0
3.124 * * [simplify]: Extracting #1: cost 34 inf + 0
3.124 * * [simplify]: Extracting #2: cost 204 inf + 0
3.125 * * [simplify]: Extracting #3: cost 326 inf + 1286
3.127 * * [simplify]: Extracting #4: cost 362 inf + 6740
3.128 * * [simplify]: Extracting #5: cost 377 inf + 18286
3.132 * * [simplify]: Extracting #6: cost 358 inf + 29885
3.146 * * [simplify]: Extracting #7: cost 252 inf + 186163
3.194 * * [simplify]: Extracting #8: cost 47 inf + 586692
3.254 * * [simplify]: Extracting #9: cost 0 inf + 696950
3.326 * * [simplify]: Extracting #10: cost 0 inf + 694590
3.382 * [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.382 * [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.383 * * * * [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))))>
3.383 * [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)))
3.383 * * [simplify]: iters left: 6 (18 enodes)
3.388 * * [simplify]: iters left: 5 (47 enodes)
3.397 * * [simplify]: iters left: 4 (121 enodes)
3.435 * * [simplify]: iters left: 3 (337 enodes)
3.557 * * [simplify]: Extracting #0: cost 1 inf + 0
3.557 * * [simplify]: Extracting #1: cost 34 inf + 0
3.558 * * [simplify]: Extracting #2: cost 204 inf + 0
3.560 * * [simplify]: Extracting #3: cost 326 inf + 1286
3.563 * * [simplify]: Extracting #4: cost 362 inf + 6740
3.566 * * [simplify]: Extracting #5: cost 377 inf + 18286
3.570 * * [simplify]: Extracting #6: cost 358 inf + 29885
3.584 * * [simplify]: Extracting #7: cost 252 inf + 186163
3.627 * * [simplify]: Extracting #8: cost 47 inf + 586692
3.664 * * [simplify]: Extracting #9: cost 0 inf + 696950
3.701 * * [simplify]: Extracting #10: cost 0 inf + 694590
3.753 * [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.753 * [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.754 * * * [progress]: adding candidates to table
4.546 * * [progress]: iteration 2 / 4
4.546 * * * [progress]: picking best candidate
4.687 * * * * [pick]: Picked  #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
4.687 * * * [progress]: localizing error
5.074 * * * [progress]: generating rewritten candidates
5.074 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
5.077 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
5.078 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
5.082 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
5.084 * * * [progress]: generating series expansions
5.084 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
5.084 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
5.084 * * * * [progress]: [ 3 / 4 ] generating series at (2)
5.084 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
5.084 * * * [progress]: simplifying candidates
5.084 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
5.084 * [simplify]: Simplifying (real->posit16 9)
5.084 * * [simplify]: iters left: 1 (2 enodes)
5.086 * * [simplify]: Extracting #0: cost 1 inf + 0
5.086 * * [simplify]: Extracting #1: cost 2 inf + 0
5.086 * * [simplify]: Extracting #2: cost 1 inf + 1
5.086 * * [simplify]: Extracting #3: cost 0 inf + 2
5.086 * [simplify]: Simplified to (real->posit16 9)
5.086 * [simplify]: Simplified (2 2 2 1 2 1 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
5.086 * [simplify]: Simplifying (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
5.086 * * [simplify]: iters left: 4 (8 enodes)
5.089 * * [simplify]: iters left: 3 (14 enodes)
5.093 * * [simplify]: iters left: 2 (19 enodes)
5.097 * * [simplify]: iters left: 1 (32 enodes)
5.110 * * [simplify]: Extracting #0: cost 1 inf + 0
5.110 * * [simplify]: Extracting #1: cost 9 inf + 0
5.110 * * [simplify]: Extracting #2: cost 25 inf + 1
5.110 * * [simplify]: Extracting #3: cost 33 inf + 963
5.111 * * [simplify]: Extracting #4: cost 27 inf + 3209
5.111 * * [simplify]: Extracting #5: cost 12 inf + 14484
5.112 * * [simplify]: Extracting #6: cost 1 inf + 26872
5.114 * * [simplify]: Extracting #7: cost 0 inf + 29315
5.115 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.115 * [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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
5.115 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)) (*.p16 a (real->posit16 9))))) rand))))>
5.115 * * * * [progress]: [ 3 / 12 ] 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 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
5.115 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 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))))>
5.115 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
5.115 * [simplify]: Simplifying (*.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))
5.116 * * [simplify]: iters left: 6 (20 enodes)
5.120 * * [simplify]: iters left: 5 (46 enodes)
5.128 * * [simplify]: iters left: 4 (93 enodes)
5.147 * * [simplify]: iters left: 3 (261 enodes)
5.253 * * [simplify]: Extracting #0: cost 1 inf + 0
5.254 * * [simplify]: Extracting #1: cost 46 inf + 0
5.254 * * [simplify]: Extracting #2: cost 206 inf + 1
5.260 * * [simplify]: Extracting #3: cost 260 inf + 648
5.262 * * [simplify]: Extracting #4: cost 305 inf + 6747
5.266 * * [simplify]: Extracting #5: cost 257 inf + 43289
5.280 * * [simplify]: Extracting #6: cost 141 inf + 200788
5.318 * * [simplify]: Extracting #7: cost 16 inf + 437644
5.360 * * [simplify]: Extracting #8: cost 0 inf + 460444
5.402 * * [simplify]: Extracting #9: cost 0 inf + 457044
5.440 * [simplify]: Simplified to (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))
5.440 * [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 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
5.440 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.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))))))>
5.440 * [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) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
5.441 * * [simplify]: iters left: 6 (20 enodes)
5.446 * * [simplify]: iters left: 5 (46 enodes)
5.454 * * [simplify]: iters left: 4 (99 enodes)
5.476 * * [simplify]: iters left: 3 (283 enodes)
5.567 * * [simplify]: Extracting #0: cost 1 inf + 0
5.567 * * [simplify]: Extracting #1: cost 45 inf + 0
5.568 * * [simplify]: Extracting #2: cost 204 inf + 1
5.569 * * [simplify]: Extracting #3: cost 274 inf + 4
5.571 * * [simplify]: Extracting #4: cost 308 inf + 10273
5.574 * * [simplify]: Extracting #5: cost 292 inf + 21496
5.577 * * [simplify]: Extracting #6: cost 269 inf + 38708
5.589 * * [simplify]: Extracting #7: cost 145 inf + 207862
5.613 * * [simplify]: Extracting #8: cost 9 inf + 475349
5.638 * * [simplify]: Extracting #9: cost 0 inf + 483107
5.669 * * [simplify]: Extracting #10: cost 0 inf + 482187
5.694 * [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 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))
5.694 * [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 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))))
5.694 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (a rand) (/.p16 (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.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)))))>
5.694 * [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 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)))
5.694 * * [simplify]: iters left: 6 (23 enodes)
5.703 * * [simplify]: iters left: 5 (63 enodes)
5.724 * * [simplify]: iters left: 4 (160 enodes)
5.779 * * [simplify]: Extracting #0: cost 1 inf + 0
5.779 * * [simplify]: Extracting #1: cost 31 inf + 0
5.779 * * [simplify]: Extracting #2: cost 126 inf + 0
5.780 * * [simplify]: Extracting #3: cost 192 inf + 965
5.781 * * [simplify]: Extracting #4: cost 220 inf + 4817
5.783 * * [simplify]: Extracting #5: cost 206 inf + 16039
5.785 * * [simplify]: Extracting #6: cost 177 inf + 33734
5.792 * * [simplify]: Extracting #7: cost 103 inf + 117409
5.810 * * [simplify]: Extracting #8: cost 35 inf + 268230
5.828 * * [simplify]: Extracting #9: cost 0 inf + 358340
6.164 * * [simplify]: Extracting #10: cost 0 inf + 348740
6.196 * [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 (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)))
6.196 * [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 (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)))))
6.196 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (+.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)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))>
6.196 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
6.197 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
6.197 * * [simplify]: iters left: 4 (9 enodes)
6.201 * * [simplify]: iters left: 3 (13 enodes)
6.206 * * [simplify]: Extracting #0: cost 1 inf + 0
6.206 * * [simplify]: Extracting #1: cost 3 inf + 0
6.206 * * [simplify]: Extracting #2: cost 5 inf + 0
6.206 * * [simplify]: Extracting #3: cost 5 inf + 2
6.206 * * [simplify]: Extracting #4: cost 7 inf + 2
6.206 * * [simplify]: Extracting #5: cost 4 inf + 5
6.206 * * [simplify]: Extracting #6: cost 0 inf + 1813
6.206 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
6.207 * [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))))
6.207 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
6.207 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
6.207 * * [simplify]: iters left: 4 (9 enodes)
6.211 * * [simplify]: iters left: 3 (13 enodes)
6.216 * * [simplify]: Extracting #0: cost 1 inf + 0
6.216 * * [simplify]: Extracting #1: cost 3 inf + 0
6.216 * * [simplify]: Extracting #2: cost 5 inf + 0
6.216 * * [simplify]: Extracting #3: cost 5 inf + 2
6.216 * * [simplify]: Extracting #4: cost 7 inf + 2
6.216 * * [simplify]: Extracting #5: cost 4 inf + 5
6.216 * * [simplify]: Extracting #6: cost 0 inf + 1813
6.216 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
6.217 * [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))))
6.217 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
6.217 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
6.217 * * [simplify]: iters left: 4 (9 enodes)
6.221 * * [simplify]: iters left: 3 (13 enodes)
6.226 * * [simplify]: Extracting #0: cost 1 inf + 0
6.226 * * [simplify]: Extracting #1: cost 3 inf + 0
6.226 * * [simplify]: Extracting #2: cost 5 inf + 0
6.226 * * [simplify]: Extracting #3: cost 5 inf + 2
6.226 * * [simplify]: Extracting #4: cost 7 inf + 2
6.226 * * [simplify]: Extracting #5: cost 4 inf + 5
6.226 * * [simplify]: Extracting #6: cost 0 inf + 1813
6.226 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
6.226 * [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))))
6.227 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
6.227 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
6.227 * * [simplify]: iters left: 4 (9 enodes)
6.232 * * [simplify]: iters left: 3 (13 enodes)
6.237 * * [simplify]: Extracting #0: cost 1 inf + 0
6.237 * * [simplify]: Extracting #1: cost 3 inf + 0
6.237 * * [simplify]: Extracting #2: cost 5 inf + 0
6.237 * * [simplify]: Extracting #3: cost 5 inf + 2
6.237 * * [simplify]: Extracting #4: cost 7 inf + 2
6.237 * * [simplify]: Extracting #5: cost 4 inf + 5
6.237 * * [simplify]: Extracting #6: cost 0 inf + 1813
6.237 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
6.237 * [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))))
6.238 * * * [progress]: adding candidates to table
6.738 * * [progress]: iteration 3 / 4
6.738 * * * [progress]: picking best candidate
6.845 * * * * [pick]: Picked  #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))>
6.845 * * * [progress]: localizing error
7.134 * * * [progress]: generating rewritten candidates
7.135 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
7.142 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
7.146 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1)
7.149 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
7.151 * * * [progress]: generating series expansions
7.152 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
7.152 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
7.152 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1)
7.152 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
7.152 * * * [progress]: simplifying candidates
7.152 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))>
7.152 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (/.p16 (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) rand)) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))>
7.152 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) rand))
7.152 * * [simplify]: iters left: 5 (14 enodes)
7.158 * * [simplify]: iters left: 4 (41 enodes)
7.179 * * [simplify]: iters left: 3 (102 enodes)
7.223 * * [simplify]: iters left: 2 (404 enodes)
7.602 * * [simplify]: Extracting #0: cost 1 inf + 0
7.603 * * [simplify]: Extracting #1: cost 73 inf + 0
7.604 * * [simplify]: Extracting #2: cost 418 inf + 1
7.606 * * [simplify]: Extracting #3: cost 558 inf + 8669
7.609 * * [simplify]: Extracting #4: cost 588 inf + 30805
7.613 * * [simplify]: Extracting #5: cost 566 inf + 54827
7.620 * * [simplify]: Extracting #6: cost 480 inf + 118384
7.650 * * [simplify]: Extracting #7: cost 286 inf + 408719
7.704 * * [simplify]: Extracting #8: cost 54 inf + 844350
7.782 * * [simplify]: Extracting #9: cost 0 inf + 973905
7.857 * * [simplify]: Extracting #10: cost 0 inf + 969945
7.931 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 1) rand) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
7.931 * [simplify]: Simplified (2 2 1 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
7.932 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))>
7.932 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (/.p16 (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9)) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
7.932 * [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)))) (real->posit16 9))
7.932 * * [simplify]: iters left: 5 (12 enodes)
7.935 * * [simplify]: iters left: 4 (32 enodes)
7.942 * * [simplify]: iters left: 3 (83 enodes)
7.967 * * [simplify]: iters left: 2 (328 enodes)
8.354 * * [simplify]: Extracting #0: cost 1 inf + 0
8.354 * * [simplify]: Extracting #1: cost 57 inf + 0
8.355 * * [simplify]: Extracting #2: cost 276 inf + 0
8.357 * * [simplify]: Extracting #3: cost 393 inf + 965
8.361 * * [simplify]: Extracting #4: cost 412 inf + 14118
8.370 * * [simplify]: Extracting #5: cost 371 inf + 47390
8.379 * * [simplify]: Extracting #6: cost 306 inf + 117500
8.408 * * [simplify]: Extracting #7: cost 113 inf + 438019
8.456 * * [simplify]: Extracting #8: cost 8 inf + 635803
8.504 * * [simplify]: Extracting #9: cost 0 inf + 657189
8.559 * * [simplify]: Extracting #10: cost 0 inf + 656909
8.612 * [simplify]: Simplified to (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
8.612 * [simplify]: Simplified (2 2 2 1 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.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))))))))
8.613 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
8.613 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9))))))>
8.613 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (/.p16 (-.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)))) (real->posit16 9))))))>
8.613 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))>
8.613 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))>
8.613 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))>
8.614 * [simplify]: Simplifying (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))
8.614 * * [simplify]: iters left: 6 (19 enodes)
8.618 * * [simplify]: iters left: 5 (44 enodes)
8.630 * * [simplify]: iters left: 4 (104 enodes)
8.668 * * [simplify]: iters left: 3 (291 enodes)
8.777 * * [simplify]: Extracting #0: cost 1 inf + 0
8.777 * * [simplify]: Extracting #1: cost 12 inf + 0
8.778 * * [simplify]: Extracting #2: cost 71 inf + 0
8.778 * * [simplify]: Extracting #3: cost 259 inf + 4
8.779 * * [simplify]: Extracting #4: cost 319 inf + 4822
8.781 * * [simplify]: Extracting #5: cost 382 inf + 11556
8.784 * * [simplify]: Extracting #6: cost 365 inf + 21175
8.791 * * [simplify]: Extracting #7: cost 273 inf + 110314
8.815 * * [simplify]: Extracting #8: cost 105 inf + 344592
8.854 * * [simplify]: Extracting #9: cost 39 inf + 455587
8.889 * * [simplify]: Extracting #10: cost 0 inf + 530991
8.933 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
8.933 * [simplify]: Simplified (2) to (λ (a rand) (*.p16 (real->posit16 1) (+.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
8.933 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))>
8.934 * [simplify]: Simplifying (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))
8.934 * * [simplify]: iters left: 6 (19 enodes)
8.941 * * [simplify]: iters left: 5 (44 enodes)
8.953 * * [simplify]: iters left: 4 (104 enodes)
8.981 * * [simplify]: iters left: 3 (291 enodes)
9.116 * * [simplify]: Extracting #0: cost 1 inf + 0
9.116 * * [simplify]: Extracting #1: cost 12 inf + 0
9.116 * * [simplify]: Extracting #2: cost 71 inf + 0
9.117 * * [simplify]: Extracting #3: cost 259 inf + 4
9.118 * * [simplify]: Extracting #4: cost 319 inf + 4822
9.120 * * [simplify]: Extracting #5: cost 382 inf + 11556
9.122 * * [simplify]: Extracting #6: cost 365 inf + 21175
9.126 * * [simplify]: Extracting #7: cost 273 inf + 110314
9.149 * * [simplify]: Extracting #8: cost 105 inf + 344592
9.172 * * [simplify]: Extracting #9: cost 39 inf + 455587
9.204 * * [simplify]: Extracting #10: cost 0 inf + 530991
9.236 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
9.236 * [simplify]: Simplified (2) to (λ (a rand) (*.p16 (real->posit16 1) (+.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
9.236 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))>
9.237 * [simplify]: Simplifying (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))
9.238 * * [simplify]: iters left: 6 (19 enodes)
9.246 * * [simplify]: iters left: 5 (44 enodes)
9.259 * * [simplify]: iters left: 4 (104 enodes)
9.285 * * [simplify]: iters left: 3 (291 enodes)
9.408 * * [simplify]: Extracting #0: cost 1 inf + 0
9.408 * * [simplify]: Extracting #1: cost 12 inf + 0
9.408 * * [simplify]: Extracting #2: cost 71 inf + 0
9.413 * * [simplify]: Extracting #3: cost 259 inf + 4
9.415 * * [simplify]: Extracting #4: cost 319 inf + 4822
9.418 * * [simplify]: Extracting #5: cost 382 inf + 11556
9.422 * * [simplify]: Extracting #6: cost 365 inf + 21175
9.429 * * [simplify]: Extracting #7: cost 273 inf + 110314
9.453 * * [simplify]: Extracting #8: cost 105 inf + 344592
9.478 * * [simplify]: Extracting #9: cost 39 inf + 455587
9.506 * * [simplify]: Extracting #10: cost 0 inf + 530991
9.537 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
9.537 * [simplify]: Simplified (2) to (λ (a rand) (*.p16 (real->posit16 1) (+.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
9.537 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))>
9.537 * [simplify]: Simplifying (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))
9.537 * * [simplify]: iters left: 6 (19 enodes)
9.542 * * [simplify]: iters left: 5 (44 enodes)
9.550 * * [simplify]: iters left: 4 (104 enodes)
9.576 * * [simplify]: iters left: 3 (291 enodes)
9.718 * * [simplify]: Extracting #0: cost 1 inf + 0
9.718 * * [simplify]: Extracting #1: cost 12 inf + 0
9.718 * * [simplify]: Extracting #2: cost 71 inf + 0
9.719 * * [simplify]: Extracting #3: cost 259 inf + 4
9.722 * * [simplify]: Extracting #4: cost 319 inf + 4822
9.725 * * [simplify]: Extracting #5: cost 382 inf + 11556
9.730 * * [simplify]: Extracting #6: cost 365 inf + 21175
9.739 * * [simplify]: Extracting #7: cost 273 inf + 110314
9.756 * * [simplify]: Extracting #8: cost 105 inf + 344592
9.787 * * [simplify]: Extracting #9: cost 39 inf + 455587
9.825 * * [simplify]: Extracting #10: cost 0 inf + 530991
9.864 * [simplify]: Simplified to (*.p16 (real->posit16 1) (+.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
9.864 * [simplify]: Simplified (2) to (λ (a rand) (*.p16 (real->posit16 1) (+.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
9.864 * * * [progress]: adding candidates to table
10.459 * * [progress]: iteration 4 / 4
10.459 * * * [progress]: picking best candidate
10.595 * * * * [pick]: Picked  #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
10.595 * * * [progress]: localizing error
10.992 * * * [progress]: generating rewritten candidates
10.992 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1 1 2 2)
10.994 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1)
10.999 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1 1 2)
11.002 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 1 1)
11.005 * * * [progress]: generating series expansions
11.005 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1 1 2 2)
11.005 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1)
11.005 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1 1 2)
11.005 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 1 1)
11.005 * * * [progress]: simplifying candidates
11.005 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (/.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 1.0)) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
11.006 * [simplify]: Simplifying (real->posit16 3.0)
11.006 * * [simplify]: iters left: 1 (2 enodes)
11.007 * * [simplify]: Extracting #0: cost 1 inf + 0
11.007 * * [simplify]: Extracting #1: cost 2 inf + 0
11.007 * * [simplify]: Extracting #2: cost 1 inf + 1
11.007 * * [simplify]: Extracting #3: cost 0 inf + 2
11.007 * [simplify]: Simplified to (real->posit16 3.0)
11.007 * [simplify]: Simplified (2 2 2 1 2 1 1 2 2 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (/.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 1.0)) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
11.007 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (/.p16 (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
11.007 * [simplify]: Simplifying (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
11.007 * * [simplify]: iters left: 3 (6 enodes)
11.009 * * [simplify]: iters left: 2 (11 enodes)
11.011 * * [simplify]: iters left: 1 (19 enodes)
11.014 * * [simplify]: Extracting #0: cost 1 inf + 0
11.014 * * [simplify]: Extracting #1: cost 3 inf + 0
11.014 * * [simplify]: Extracting #2: cost 8 inf + 0
11.014 * * [simplify]: Extracting #3: cost 6 inf + 2
11.014 * * [simplify]: Extracting #4: cost 4 inf + 4
11.014 * * [simplify]: Extracting #5: cost 0 inf + 1530
11.014 * [simplify]: Simplified to (/.p16 (real->posit16 1.0) (real->posit16 3.0))
11.015 * [simplify]: Simplified (2 2 2 1 2 1 1 2 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
11.015 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
11.015 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (real->posit16 9) (/.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand))))>
11.015 * [simplify]: Simplifying (real->posit16 9)
11.015 * * [simplify]: iters left: 1 (2 enodes)
11.016 * * [simplify]: Extracting #0: cost 1 inf + 0
11.016 * * [simplify]: Extracting #1: cost 2 inf + 0
11.016 * * [simplify]: Extracting #2: cost 1 inf + 1
11.016 * * [simplify]: Extracting #3: cost 0 inf + 2
11.016 * [simplify]: Simplified to (real->posit16 9)
11.016 * [simplify]: Simplified (2 2 2 1 2 1 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (real->posit16 9) (/.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand))))
11.016 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand))))>
11.016 * [simplify]: Simplifying (*.p16 (real->posit16 9) (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
11.016 * * [simplify]: iters left: 6 (14 enodes)
11.020 * * [simplify]: iters left: 5 (42 enodes)
11.029 * * [simplify]: iters left: 4 (124 enodes)
11.071 * * [simplify]: iters left: 3 (486 enodes)
11.724 * * [simplify]: Extracting #0: cost 1 inf + 0
11.724 * * [simplify]: Extracting #1: cost 81 inf + 0
11.726 * * [simplify]: Extracting #2: cost 389 inf + 0
11.729 * * [simplify]: Extracting #3: cost 599 inf + 6735
11.735 * * [simplify]: Extracting #4: cost 668 inf + 46772
11.746 * * [simplify]: Extracting #5: cost 583 inf + 119279
11.770 * * [simplify]: Extracting #6: cost 407 inf + 395443
11.846 * * [simplify]: Extracting #7: cost 67 inf + 1197512
11.913 * * [simplify]: Extracting #8: cost 1 inf + 1361954
11.983 * * [simplify]: Extracting #9: cost 0 inf + 1362437
12.068 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (/.p16 (real->posit16 1.0) (*.p16 (*.p16 (real->posit16 3.0) (real->posit16 3.0)) (*.p16 (real->posit16 3.0) (real->posit16 3.0))))) (real->posit16 9))
12.068 * [simplify]: Simplified (2 2 2 1 2 1 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (/.p16 (real->posit16 1.0) (*.p16 (*.p16 (real->posit16 3.0) (real->posit16 3.0)) (*.p16 (real->posit16 3.0) (real->posit16 3.0))))) (real->posit16 9)) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand))))
12.069 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
12.069 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
12.069 * * [simplify]: iters left: 3 (7 enodes)
12.072 * * [simplify]: iters left: 2 (12 enodes)
12.074 * * [simplify]: Extracting #0: cost 1 inf + 0
12.074 * * [simplify]: Extracting #1: cost 3 inf + 0
12.074 * * [simplify]: Extracting #2: cost 4 inf + 1
12.074 * * [simplify]: Extracting #3: cost 6 inf + 1
12.074 * * [simplify]: Extracting #4: cost 0 inf + 930
12.074 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
12.074 * [simplify]: Simplified (2 2 2 1 2 1 1 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
12.074 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
12.074 * * [simplify]: iters left: 3 (7 enodes)
12.076 * * [simplify]: iters left: 2 (18 enodes)
12.079 * * [simplify]: iters left: 1 (32 enodes)
12.086 * * [simplify]: Extracting #0: cost 1 inf + 0
12.086 * * [simplify]: Extracting #1: cost 9 inf + 0
12.086 * * [simplify]: Extracting #2: cost 25 inf + 1
12.086 * * [simplify]: Extracting #3: cost 34 inf + 322
12.086 * * [simplify]: Extracting #4: cost 27 inf + 3209
12.086 * * [simplify]: Extracting #5: cost 22 inf + 4898
12.087 * * [simplify]: Extracting #6: cost 11 inf + 15047
12.089 * * [simplify]: Extracting #7: cost 0 inf + 29315
12.091 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
12.091 * [simplify]: Simplified (2 2 2 1 2 1 1 2 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
12.091 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (+.p16 (*.p16 a a) (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
12.091 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
12.091 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (+.p16 (*.p16 (real->posit16 9) (*.p16 a a)) (*.p16 (real->posit16 9) (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
12.092 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
12.092 * * [simplify]: iters left: 5 (10 enodes)
12.094 * * [simplify]: iters left: 4 (18 enodes)
12.098 * * [simplify]: iters left: 3 (24 enodes)
12.103 * * [simplify]: iters left: 2 (59 enodes)
12.119 * * [simplify]: iters left: 1 (159 enodes)
12.246 * * [simplify]: Extracting #0: cost 1 inf + 0
12.246 * * [simplify]: Extracting #1: cost 3 inf + 0
12.246 * * [simplify]: Extracting #2: cost 5 inf + 0
12.246 * * [simplify]: Extracting #3: cost 24 inf + 1
12.246 * * [simplify]: Extracting #4: cost 87 inf + 2
12.247 * * [simplify]: Extracting #5: cost 77 inf + 2053
12.248 * * [simplify]: Extracting #6: cost 26 inf + 29454
12.251 * * [simplify]: Extracting #7: cost 0 inf + 49266
12.254 * [simplify]: Simplified to (*.p16 (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9))
12.254 * [simplify]: Simplified (2 2 2 1 2 1 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (+.p16 (*.p16 (real->posit16 9) (*.p16 a a)) (*.p16 (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
12.254 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (+.p16 (*.p16 (*.p16 a a) (real->posit16 9)) (*.p16 (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
12.254 * [simplify]: Simplifying (*.p16 (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9))
12.255 * * [simplify]: iters left: 5 (10 enodes)
12.259 * * [simplify]: iters left: 4 (18 enodes)
12.264 * * [simplify]: iters left: 3 (24 enodes)
12.272 * * [simplify]: iters left: 2 (60 enodes)
12.291 * * [simplify]: iters left: 1 (149 enodes)
12.420 * * [simplify]: Extracting #0: cost 1 inf + 0
12.420 * * [simplify]: Extracting #1: cost 3 inf + 0
12.420 * * [simplify]: Extracting #2: cost 5 inf + 0
12.420 * * [simplify]: Extracting #3: cost 9 inf + 2
12.421 * * [simplify]: Extracting #4: cost 62 inf + 2
12.421 * * [simplify]: Extracting #5: cost 55 inf + 969
12.422 * * [simplify]: Extracting #6: cost 20 inf + 15011
12.423 * * [simplify]: Extracting #7: cost 0 inf + 30251
12.425 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0)))) (real->posit16 9))
12.425 * [simplify]: Simplified (2 2 2 1 2 1 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (+.p16 (*.p16 (*.p16 a a) (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0)))) (real->posit16 9))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
12.425 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (*.p16 (real->posit16 9) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
12.426 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
12.426 * * [simplify]: iters left: 3 (7 enodes)
12.429 * * [simplify]: iters left: 2 (18 enodes)
12.434 * * [simplify]: iters left: 1 (32 enodes)
12.443 * * [simplify]: Extracting #0: cost 1 inf + 0
12.444 * * [simplify]: Extracting #1: cost 9 inf + 0
12.444 * * [simplify]: Extracting #2: cost 25 inf + 1
12.444 * * [simplify]: Extracting #3: cost 34 inf + 322
12.444 * * [simplify]: Extracting #4: cost 27 inf + 3209
12.444 * * [simplify]: Extracting #5: cost 22 inf + 4898
12.445 * * [simplify]: Extracting #6: cost 11 inf + 15047
12.447 * * [simplify]: Extracting #7: cost 0 inf + 29315
12.449 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
12.449 * [simplify]: Simplified (2 2 2 1 2 1 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (*.p16 (real->posit16 9) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
12.449 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
12.449 * [simplify]: Simplifying (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
12.449 * * [simplify]: iters left: 4 (9 enodes)
12.453 * * [simplify]: iters left: 3 (18 enodes)
12.457 * * [simplify]: iters left: 2 (24 enodes)
12.465 * * [simplify]: iters left: 1 (59 enodes)
12.491 * * [simplify]: Extracting #0: cost 1 inf + 0
12.491 * * [simplify]: Extracting #1: cost 3 inf + 0
12.491 * * [simplify]: Extracting #2: cost 30 inf + 0
12.492 * * [simplify]: Extracting #3: cost 68 inf + 322
12.493 * * [simplify]: Extracting #4: cost 34 inf + 13807
12.495 * * [simplify]: Extracting #5: cost 0 inf + 34348
12.497 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0))) (*.p16 a a))
12.497 * [simplify]: Simplified (2 2 2 1 2 1 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0))) (*.p16 a a))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
12.497 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9)) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
12.497 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
12.497 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
12.498 * * [simplify]: iters left: 3 (7 enodes)
12.500 * * [simplify]: iters left: 2 (12 enodes)
12.503 * * [simplify]: Extracting #0: cost 1 inf + 0
12.503 * * [simplify]: Extracting #1: cost 3 inf + 0
12.503 * * [simplify]: Extracting #2: cost 4 inf + 1
12.503 * * [simplify]: Extracting #3: cost 6 inf + 1
12.503 * * [simplify]: Extracting #4: cost 0 inf + 930
12.503 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
12.503 * [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))))
12.503 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
12.504 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
12.504 * * [simplify]: iters left: 3 (7 enodes)
12.506 * * [simplify]: iters left: 2 (12 enodes)
12.509 * * [simplify]: Extracting #0: cost 1 inf + 0
12.509 * * [simplify]: Extracting #1: cost 3 inf + 0
12.509 * * [simplify]: Extracting #2: cost 4 inf + 1
12.509 * * [simplify]: Extracting #3: cost 6 inf + 1
12.509 * * [simplify]: Extracting #4: cost 0 inf + 930
12.510 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
12.510 * [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))))
12.510 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
12.510 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
12.510 * * [simplify]: iters left: 3 (7 enodes)
12.513 * * [simplify]: iters left: 2 (12 enodes)
12.515 * * [simplify]: Extracting #0: cost 1 inf + 0
12.515 * * [simplify]: Extracting #1: cost 3 inf + 0
12.515 * * [simplify]: Extracting #2: cost 4 inf + 1
12.515 * * [simplify]: Extracting #3: cost 6 inf + 1
12.515 * * [simplify]: Extracting #4: cost 0 inf + 930
12.515 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
12.515 * [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))))
12.516 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
12.516 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
12.516 * * [simplify]: iters left: 3 (7 enodes)
12.517 * * [simplify]: iters left: 2 (12 enodes)
12.520 * * [simplify]: Extracting #0: cost 1 inf + 0
12.520 * * [simplify]: Extracting #1: cost 3 inf + 0
12.520 * * [simplify]: Extracting #2: cost 4 inf + 1
12.520 * * [simplify]: Extracting #3: cost 6 inf + 1
12.520 * * [simplify]: Extracting #4: cost 0 inf + 930
12.520 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
12.520 * [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))))
12.520 * * * [progress]: adding candidates to table
13.183 * [progress]: [Phase 3 of 3] Extracting.
13.183 * * [regime]: Finding splitpoints for: (#<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (/.p16 (-.p16 (*.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) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #<alt (λ (a rand) (*.p16 (/.p16 (-.p16 (*.p16 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 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>)
13.185 * * * [regime-changes]: Trying 2 branch expressions: (rand a)
13.185 * * * * [regimes]: Trying to branch on rand from (#<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (/.p16 (-.p16 (*.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) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #<alt (λ (a rand) (*.p16 (/.p16 (-.p16 (*.p16 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 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>)
13.375 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (/.p16 (-.p16 (*.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) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #<alt (λ (a rand) (*.p16 (/.p16 (-.p16 (*.p16 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 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>)
13.575 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
13.575 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)))
13.575 * * [simplify]: iters left: 6 (21 enodes)
13.578 * * [simplify]: iters left: 5 (23 enodes)
13.580 * * [simplify]: Extracting #0: cost 1 inf + 0
13.580 * * [simplify]: Extracting #1: cost 3 inf + 0
13.580 * * [simplify]: Extracting #2: cost 7 inf + 0
13.580 * * [simplify]: Extracting #3: cost 11 inf + 1
13.580 * * [simplify]: Extracting #4: cost 12 inf + 3
13.580 * * [simplify]: Extracting #5: cost 10 inf + 6
13.580 * * [simplify]: Extracting #6: cost 9 inf + 450
13.581 * * [simplify]: Extracting #7: cost 10 inf + 973
13.581 * * [simplify]: Extracting #8: cost 10 inf + 1495
13.581 * * [simplify]: Extracting #9: cost 9 inf + 1496
13.581 * * [simplify]: Extracting #10: cost 6 inf + 2662
13.581 * * [simplify]: Extracting #11: cost 4 inf + 5110
13.582 * * [simplify]: Extracting #12: cost 2 inf + 8801
13.583 * * [simplify]: Extracting #13: cost 0 inf + 13293
13.583 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)))
13.583 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
13.616 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
13.621 * * * * [points]: Setting MPFR precision to 64
13.623 * * * * [points]: Setting MPFR precision to 320
13.624 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
13.628 * * * * [points]: Setting MPFR precision to 64
13.630 * * * * [points]: Setting MPFR precision to 320
13.632 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
13.636 * * * * [points]: Setting MPFR precision to 64
13.640 * * * * [points]: Setting MPFR precision to 320
13.643 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
13.648 * * * * [points]: Setting MPFR precision to 64
13.655 * * * * [points]: Setting MPFR precision to 320
13.666 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
13.674 * * * * [points]: Setting MPFR precision to 64
13.696 * * * * [points]: Setting MPFR precision to 320
13.713 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
13.744 * * * * [points]: Setting MPFR precision to 64
13.789 * * * * [points]: Setting MPFR precision to 320
13.830 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
13.838 * * * * [points]: Setting MPFR precision to 64
13.945 * * * * [points]: Setting MPFR precision to 320
14.024 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
14.031 * * * * [points]: Setting MPFR precision to 64
14.230 * * * * [points]: Setting MPFR precision to 320
14.386 * * * * [points]: Computing exacts for 8000 points
14.393 * * * * [points]: Setting MPFR precision to 64
15.090 * * * * [points]: Setting MPFR precision to 320
16.053 * * * * [points]: Filtering points with unrepresentable outputs
16.104 * * * * [points]: Sampled 8000 points with exact outputs
21.219 * [regime-testing]: Baseline error score: 64.0
21.222 * [regime-testing]: Oracle error score: 64.0
21.229 * [regime-testing]: End program error score: 0.20681246899422834