0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.007 * * * * [points]: Setting MPFR precision to 64
0.009 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.015 * * * * [points]: Setting MPFR precision to 64
0.016 * * * * [points]: Setting MPFR precision to 320
0.018 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.023 * * * * [points]: Setting MPFR precision to 64
0.025 * * * * [points]: Setting MPFR precision to 320
0.028 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.033 * * * * [points]: Setting MPFR precision to 64
0.037 * * * * [points]: Setting MPFR precision to 320
0.041 * * * * [points]: Computing exacts for 256 points
0.054 * * * * [points]: Setting MPFR precision to 64
0.068 * * * * [points]: Setting MPFR precision to 320
0.087 * * * * [points]: Filtering points with unrepresentable outputs
0.088 * * * * [points]: Sampled 256 points with exact outputs
0.088 * * * [progress]: [2/2] Setting up program.
0.103 * [progress]: [Phase 2 of 3] Improving.
0.103 * * * * [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.103 * [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.103 * * [simplify]: iters left: 6 (18 enodes)
0.109 * * [simplify]: iters left: 5 (47 enodes)
0.122 * * [simplify]: iters left: 4 (121 enodes)
0.470 * * [simplify]: iters left: 3 (337 enodes)
0.628 * * [simplify]: Extracting #0: cost 1 inf + 0
0.628 * * [simplify]: Extracting #1: cost 34 inf + 0
0.629 * * [simplify]: Extracting #2: cost 204 inf + 0
0.634 * * [simplify]: Extracting #3: cost 326 inf + 1286
0.636 * * [simplify]: Extracting #4: cost 362 inf + 6740
0.637 * * [simplify]: Extracting #5: cost 377 inf + 18286
0.640 * * [simplify]: Extracting #6: cost 358 inf + 29885
0.647 * * [simplify]: Extracting #7: cost 252 inf + 186163
0.679 * * [simplify]: Extracting #8: cost 47 inf + 586692
0.729 * * [simplify]: Extracting #9: cost 0 inf + 696950
0.780 * * [simplify]: Extracting #10: cost 0 inf + 694590
0.832 * [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.832 * [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.850 * * [progress]: iteration 1 / 4
0.850 * * * [progress]: picking best candidate
0.864 * * * * [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.864 * * * [progress]: localizing error
1.135 * * * [progress]: generating rewritten candidates
1.135 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
1.140 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1 2)
1.143 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.145 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.151 * * * [progress]: generating series expansions
1.151 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
1.151 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1 2)
1.151 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.151 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.151 * * * [progress]: simplifying candidates
1.151 * * * * [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.151 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1.152 * * [simplify]: iters left: 4 (9 enodes)
1.155 * * [simplify]: iters left: 3 (13 enodes)
1.159 * * [simplify]: Extracting #0: cost 1 inf + 0
1.159 * * [simplify]: Extracting #1: cost 3 inf + 0
1.159 * * [simplify]: Extracting #2: cost 5 inf + 0
1.159 * * [simplify]: Extracting #3: cost 6 inf + 1
1.159 * * [simplify]: Extracting #4: cost 7 inf + 2
1.159 * * [simplify]: Extracting #5: cost 0 inf + 1813
1.160 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1.160 * [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.160 * * * * [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.160 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1.160 * * [simplify]: iters left: 4 (9 enodes)
1.164 * * [simplify]: iters left: 3 (13 enodes)
1.167 * * [simplify]: Extracting #0: cost 1 inf + 0
1.167 * * [simplify]: Extracting #1: cost 3 inf + 0
1.167 * * [simplify]: Extracting #2: cost 5 inf + 0
1.167 * * [simplify]: Extracting #3: cost 5 inf + 2
1.167 * * [simplify]: Extracting #4: cost 7 inf + 2
1.167 * * [simplify]: Extracting #5: cost 4 inf + 5
1.167 * * [simplify]: Extracting #6: cost 0 inf + 1813
1.168 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1.168 * [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.168 * * * * [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.168 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1.168 * * [simplify]: iters left: 3 (7 enodes)
1.171 * * [simplify]: iters left: 2 (12 enodes)
1.174 * * [simplify]: Extracting #0: cost 1 inf + 0
1.174 * * [simplify]: Extracting #1: cost 3 inf + 0
1.174 * * [simplify]: Extracting #2: cost 4 inf + 1
1.174 * * [simplify]: Extracting #3: cost 6 inf + 1
1.174 * * [simplify]: Extracting #4: cost 0 inf + 930
1.174 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1.174 * [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.175 * * * * [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.175 * * * * [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.175 * * * * [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.175 * * * * [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.175 * * * * [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.175 * * * * [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.175 * [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.175 * * [simplify]: iters left: 6 (17 enodes)
1.182 * * [simplify]: iters left: 5 (41 enodes)
1.201 * * [simplify]: iters left: 4 (95 enodes)
1.230 * * [simplify]: iters left: 3 (269 enodes)
1.351 * * [simplify]: Extracting #0: cost 1 inf + 0
1.351 * * [simplify]: Extracting #1: cost 46 inf + 0
1.352 * * [simplify]: Extracting #2: cost 206 inf + 1
1.354 * * [simplify]: Extracting #3: cost 258 inf + 648
1.356 * * [simplify]: Extracting #4: cost 307 inf + 7710
1.358 * * [simplify]: Extracting #5: cost 293 inf + 16045
1.360 * * [simplify]: Extracting #6: cost 277 inf + 25875
1.373 * * [simplify]: Extracting #7: cost 149 inf + 188177
1.406 * * [simplify]: Extracting #8: cost 7 inf + 469313
1.440 * * [simplify]: Extracting #9: cost 0 inf + 490709
1.488 * [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.488 * [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.488 * * * * [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.488 * [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.489 * * [simplify]: iters left: 6 (17 enodes)
1.494 * * [simplify]: iters left: 5 (41 enodes)
1.505 * * [simplify]: iters left: 4 (101 enodes)
1.538 * * [simplify]: iters left: 3 (291 enodes)
1.661 * * [simplify]: Extracting #0: cost 1 inf + 0
1.661 * * [simplify]: Extracting #1: cost 48 inf + 0
1.663 * * [simplify]: Extracting #2: cost 208 inf + 1
1.664 * * [simplify]: Extracting #3: cost 275 inf + 1610
1.666 * * [simplify]: Extracting #4: cost 319 inf + 9953
1.669 * * [simplify]: Extracting #5: cost 302 inf + 20857
1.672 * * [simplify]: Extracting #6: cost 279 inf + 36752
1.687 * * [simplify]: Extracting #7: cost 152 inf + 206471
1.719 * * [simplify]: Extracting #8: cost 9 inf + 486275
1.754 * * [simplify]: Extracting #9: cost 0 inf + 499918
1.789 * [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.790 * [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.790 * * * * [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.790 * [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.790 * * [simplify]: iters left: 6 (21 enodes)
1.798 * * [simplify]: iters left: 5 (59 enodes)
1.817 * * [simplify]: iters left: 4 (176 enodes)
1.898 * * [simplify]: Extracting #0: cost 1 inf + 0
1.898 * * [simplify]: Extracting #1: cost 40 inf + 0
1.898 * * [simplify]: Extracting #2: cost 160 inf + 0
1.899 * * [simplify]: Extracting #3: cost 260 inf + 1607
1.901 * * [simplify]: Extracting #4: cost 294 inf + 4494
1.903 * * [simplify]: Extracting #5: cost 292 inf + 16036
1.907 * * [simplify]: Extracting #6: cost 224 inf + 77978
1.927 * * [simplify]: Extracting #7: cost 53 inf + 358389
1.959 * * [simplify]: Extracting #8: cost 4 inf + 462823
1.992 * * [simplify]: Extracting #9: cost 0 inf + 474767
2.017 * [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)))
2.017 * [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)))))
2.017 * * * * [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)))))>
2.017 * * * * [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))))>
2.017 * [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.018 * * [simplify]: iters left: 6 (18 enodes)
2.022 * * [simplify]: iters left: 5 (47 enodes)
2.032 * * [simplify]: iters left: 4 (121 enodes)
2.058 * * [simplify]: iters left: 3 (337 enodes)
2.167 * * [simplify]: Extracting #0: cost 1 inf + 0
2.167 * * [simplify]: Extracting #1: cost 34 inf + 0
2.167 * * [simplify]: Extracting #2: cost 204 inf + 0
2.168 * * [simplify]: Extracting #3: cost 326 inf + 1286
2.170 * * [simplify]: Extracting #4: cost 362 inf + 6740
2.172 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.174 * * [simplify]: Extracting #6: cost 358 inf + 29885
2.181 * * [simplify]: Extracting #7: cost 252 inf + 186163
2.212 * * [simplify]: Extracting #8: cost 47 inf + 586692
2.248 * * [simplify]: Extracting #9: cost 0 inf + 696950
2.284 * * [simplify]: Extracting #10: cost 0 inf + 694590
2.321 * [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.322 * [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.322 * * * * [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.322 * [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.322 * * [simplify]: iters left: 6 (18 enodes)
2.327 * * [simplify]: iters left: 5 (47 enodes)
2.336 * * [simplify]: iters left: 4 (121 enodes)
2.367 * * [simplify]: iters left: 3 (337 enodes)
2.518 * * [simplify]: Extracting #0: cost 1 inf + 0
2.518 * * [simplify]: Extracting #1: cost 34 inf + 0
2.518 * * [simplify]: Extracting #2: cost 204 inf + 0
2.520 * * [simplify]: Extracting #3: cost 326 inf + 1286
2.522 * * [simplify]: Extracting #4: cost 362 inf + 6740
2.524 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.527 * * [simplify]: Extracting #6: cost 358 inf + 29885
2.538 * * [simplify]: Extracting #7: cost 252 inf + 186163
2.575 * * [simplify]: Extracting #8: cost 47 inf + 586692
2.616 * * [simplify]: Extracting #9: cost 0 inf + 696950
2.666 * * [simplify]: Extracting #10: cost 0 inf + 694590
2.718 * [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.718 * [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.718 * * * * [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.718 * [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.718 * * [simplify]: iters left: 6 (18 enodes)
2.725 * * [simplify]: iters left: 5 (47 enodes)
2.738 * * [simplify]: iters left: 4 (121 enodes)
2.774 * * [simplify]: iters left: 3 (337 enodes)
2.927 * * [simplify]: Extracting #0: cost 1 inf + 0
2.927 * * [simplify]: Extracting #1: cost 34 inf + 0
2.927 * * [simplify]: Extracting #2: cost 204 inf + 0
2.928 * * [simplify]: Extracting #3: cost 326 inf + 1286
2.930 * * [simplify]: Extracting #4: cost 362 inf + 6740
2.933 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.936 * * [simplify]: Extracting #6: cost 358 inf + 29885
2.950 * * [simplify]: Extracting #7: cost 252 inf + 186163
2.987 * * [simplify]: Extracting #8: cost 47 inf + 586692
3.028 * * [simplify]: Extracting #9: cost 0 inf + 696950
3.065 * * [simplify]: Extracting #10: cost 0 inf + 694590
3.102 * [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.102 * [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.102 * * * * [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.103 * [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.103 * * [simplify]: iters left: 6 (18 enodes)
3.108 * * [simplify]: iters left: 5 (47 enodes)
3.117 * * [simplify]: iters left: 4 (121 enodes)
3.150 * * [simplify]: iters left: 3 (337 enodes)
3.280 * * [simplify]: Extracting #0: cost 1 inf + 0
3.280 * * [simplify]: Extracting #1: cost 34 inf + 0
3.280 * * [simplify]: Extracting #2: cost 204 inf + 0
3.282 * * [simplify]: Extracting #3: cost 326 inf + 1286
3.288 * * [simplify]: Extracting #4: cost 362 inf + 6740
3.290 * * [simplify]: Extracting #5: cost 377 inf + 18286
3.293 * * [simplify]: Extracting #6: cost 358 inf + 29885
3.300 * * [simplify]: Extracting #7: cost 252 inf + 186163
3.336 * * [simplify]: Extracting #8: cost 47 inf + 586692
3.385 * * [simplify]: Extracting #9: cost 0 inf + 696950
3.425 * * [simplify]: Extracting #10: cost 0 inf + 694590
3.475 * [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.475 * [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.475 * * * [progress]: adding candidates to table
4.192 * * [progress]: iteration 2 / 4
4.192 * * * [progress]: picking best candidate
4.312 * * * * [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) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
4.312 * * * [progress]: localizing error
4.584 * * * [progress]: generating rewritten candidates
4.584 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
4.587 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
4.589 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
4.593 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2)
4.593 * * * [progress]: generating series expansions
4.593 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
4.593 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
4.593 * * * * [progress]: [ 3 / 4 ] generating series at (2)
4.593 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2)
4.593 * * * [progress]: simplifying candidates
4.593 * * * * [progress]: [ 1 / 13 ] 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))))>
4.593 * [simplify]: Simplifying (real->posit16 9)
4.593 * * [simplify]: iters left: 1 (2 enodes)
4.594 * * [simplify]: Extracting #0: cost 1 inf + 0
4.594 * * [simplify]: Extracting #1: cost 2 inf + 0
4.594 * * [simplify]: Extracting #2: cost 1 inf + 1
4.594 * * [simplify]: Extracting #3: cost 0 inf + 2
4.594 * [simplify]: Simplified to (real->posit16 9)
4.594 * [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))))
4.595 * [simplify]: Simplifying (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.595 * * [simplify]: iters left: 4 (8 enodes)
4.597 * * [simplify]: iters left: 3 (14 enodes)
4.599 * * [simplify]: iters left: 2 (19 enodes)
4.602 * * [simplify]: iters left: 1 (32 enodes)
4.609 * * [simplify]: Extracting #0: cost 1 inf + 0
4.609 * * [simplify]: Extracting #1: cost 9 inf + 0
4.609 * * [simplify]: Extracting #2: cost 25 inf + 1
4.609 * * [simplify]: Extracting #3: cost 33 inf + 963
4.609 * * [simplify]: Extracting #4: cost 27 inf + 3209
4.610 * * [simplify]: Extracting #5: cost 12 inf + 14484
4.611 * * [simplify]: Extracting #6: cost 1 inf + 26872
4.612 * * [simplify]: Extracting #7: cost 0 inf + 29315
4.613 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.613 * [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))))
4.613 * * * * [progress]: [ 2 / 13 ] 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))))>
4.614 * [simplify]: Simplifying (real->posit16 9)
4.614 * * [simplify]: iters left: 1 (2 enodes)
4.614 * * [simplify]: Extracting #0: cost 1 inf + 0
4.614 * * [simplify]: Extracting #1: cost 2 inf + 0
4.614 * * [simplify]: Extracting #2: cost 1 inf + 1
4.614 * * [simplify]: Extracting #3: cost 0 inf + 2
4.614 * [simplify]: Simplified to (real->posit16 9)
4.615 * [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))))
4.615 * [simplify]: Simplifying (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.615 * * [simplify]: iters left: 4 (8 enodes)
4.617 * * [simplify]: iters left: 3 (14 enodes)
4.619 * * [simplify]: iters left: 2 (19 enodes)
4.622 * * [simplify]: iters left: 1 (32 enodes)
4.629 * * [simplify]: Extracting #0: cost 1 inf + 0
4.629 * * [simplify]: Extracting #1: cost 9 inf + 0
4.629 * * [simplify]: Extracting #2: cost 25 inf + 1
4.629 * * [simplify]: Extracting #3: cost 33 inf + 963
4.629 * * [simplify]: Extracting #4: cost 27 inf + 3209
4.630 * * [simplify]: Extracting #5: cost 12 inf + 14484
4.631 * * [simplify]: Extracting #6: cost 1 inf + 26872
4.632 * * [simplify]: Extracting #7: cost 0 inf + 29315
4.633 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.633 * [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))))
4.634 * * * * [progress]: [ 3 / 13 ] 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) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 9) a)))) rand))))>
4.634 * * * * [progress]: [ 4 / 13 ] 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 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
4.634 * * * * [progress]: [ 5 / 13 ] 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 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
4.634 * * * * [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 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
4.634 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))
4.634 * * [simplify]: iters left: 6 (20 enodes)
4.639 * * [simplify]: iters left: 5 (46 enodes)
4.651 * * [simplify]: iters left: 4 (94 enodes)
4.671 * * [simplify]: iters left: 3 (263 enodes)
4.757 * * [simplify]: Extracting #0: cost 1 inf + 0
4.757 * * [simplify]: Extracting #1: cost 46 inf + 0
4.758 * * [simplify]: Extracting #2: cost 206 inf + 1
4.759 * * [simplify]: Extracting #3: cost 254 inf + 3214
4.760 * * [simplify]: Extracting #4: cost 298 inf + 8671
4.763 * * [simplify]: Extracting #5: cost 248 inf + 52836
4.778 * * [simplify]: Extracting #6: cost 96 inf + 303962
4.806 * * [simplify]: Extracting #7: cost 7 inf + 462199
4.833 * * [simplify]: Extracting #8: cost 0 inf + 478514
4.868 * * [simplify]: Extracting #9: cost 0 inf + 477674
4.904 * [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))))
4.904 * [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))))))
4.904 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
4.904 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.905 * * [simplify]: iters left: 6 (20 enodes)
4.912 * * [simplify]: iters left: 5 (46 enodes)
4.925 * * [simplify]: iters left: 4 (100 enodes)
4.958 * * [simplify]: iters left: 3 (285 enodes)
5.085 * * [simplify]: Extracting #0: cost 1 inf + 0
5.085 * * [simplify]: Extracting #1: cost 45 inf + 0
5.086 * * [simplify]: Extracting #2: cost 204 inf + 1
5.087 * * [simplify]: Extracting #3: cost 272 inf + 4
5.093 * * [simplify]: Extracting #4: cost 305 inf + 10917
5.096 * * [simplify]: Extracting #5: cost 287 inf + 21819
5.099 * * [simplify]: Extracting #6: cost 261 inf + 44364
5.109 * * [simplify]: Extracting #7: cost 135 inf + 217025
5.131 * * [simplify]: Extracting #8: cost 9 inf + 459064
5.155 * * [simplify]: Extracting #9: cost 0 inf + 475343
5.180 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))
5.180 * [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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))))
5.180 * * * * [progress]: [ 8 / 13 ] 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 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))>
5.180 * [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 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))
5.180 * * [simplify]: iters left: 6 (23 enodes)
5.187 * * [simplify]: iters left: 5 (63 enodes)
5.201 * * [simplify]: iters left: 4 (160 enodes)
5.250 * * [simplify]: Extracting #0: cost 1 inf + 0
5.250 * * [simplify]: Extracting #1: cost 31 inf + 0
5.251 * * [simplify]: Extracting #2: cost 126 inf + 0
5.251 * * [simplify]: Extracting #3: cost 192 inf + 965
5.253 * * [simplify]: Extracting #4: cost 220 inf + 4817
5.254 * * [simplify]: Extracting #5: cost 206 inf + 16039
5.259 * * [simplify]: Extracting #6: cost 177 inf + 33734
5.265 * * [simplify]: Extracting #7: cost 103 inf + 117409
5.282 * * [simplify]: Extracting #8: cost 35 inf + 268230
5.311 * * [simplify]: Extracting #9: cost 0 inf + 358340
5.342 * * [simplify]: Extracting #10: cost 0 inf + 348740
5.365 * [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)))
5.365 * [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)))))
5.365 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (+.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)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))>
5.365 * * * * [progress]: [ 10 / 13 ] 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))))>
5.365 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
5.365 * * [simplify]: iters left: 4 (9 enodes)
5.368 * * [simplify]: iters left: 3 (13 enodes)
5.370 * * [simplify]: Extracting #0: cost 1 inf + 0
5.370 * * [simplify]: Extracting #1: cost 3 inf + 0
5.370 * * [simplify]: Extracting #2: cost 5 inf + 0
5.370 * * [simplify]: Extracting #3: cost 6 inf + 1
5.371 * * [simplify]: Extracting #4: cost 7 inf + 2
5.371 * * [simplify]: Extracting #5: cost 0 inf + 1813
5.371 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
5.371 * [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))))
5.371 * * * * [progress]: [ 11 / 13 ] 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))))>
5.371 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
5.371 * * [simplify]: iters left: 4 (9 enodes)
5.373 * * [simplify]: iters left: 3 (13 enodes)
5.376 * * [simplify]: Extracting #0: cost 1 inf + 0
5.376 * * [simplify]: Extracting #1: cost 3 inf + 0
5.376 * * [simplify]: Extracting #2: cost 5 inf + 0
5.376 * * [simplify]: Extracting #3: cost 6 inf + 1
5.376 * * [simplify]: Extracting #4: cost 7 inf + 2
5.376 * * [simplify]: Extracting #5: cost 0 inf + 1813
5.376 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
5.377 * [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))))
5.377 * * * * [progress]: [ 12 / 13 ] 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))))>
5.377 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
5.377 * * [simplify]: iters left: 4 (9 enodes)
5.379 * * [simplify]: iters left: 3 (13 enodes)
5.382 * * [simplify]: Extracting #0: cost 1 inf + 0
5.382 * * [simplify]: Extracting #1: cost 3 inf + 0
5.382 * * [simplify]: Extracting #2: cost 5 inf + 0
5.382 * * [simplify]: Extracting #3: cost 6 inf + 1
5.382 * * [simplify]: Extracting #4: cost 7 inf + 2
5.382 * * [simplify]: Extracting #5: cost 0 inf + 1813
5.382 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
5.382 * [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))))
5.382 * * * * [progress]: [ 13 / 13 ] 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))))>
5.382 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
5.382 * * [simplify]: iters left: 4 (9 enodes)
5.385 * * [simplify]: iters left: 3 (13 enodes)
5.387 * * [simplify]: Extracting #0: cost 1 inf + 0
5.387 * * [simplify]: Extracting #1: cost 3 inf + 0
5.387 * * [simplify]: Extracting #2: cost 5 inf + 0
5.387 * * [simplify]: Extracting #3: cost 6 inf + 1
5.387 * * [simplify]: Extracting #4: cost 7 inf + 2
5.387 * * [simplify]: Extracting #5: cost 0 inf + 1813
5.387 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
5.387 * [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))))
5.388 * * * [progress]: adding candidates to table
5.888 * * [progress]: iteration 3 / 4
5.888 * * * [progress]: picking best candidate
5.950 * * * * [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 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
5.950 * * * [progress]: localizing error
6.248 * * * [progress]: generating rewritten candidates
6.248 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1 2 1 2)
6.251 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1 2)
6.256 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1 2 1)
6.258 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 1)
6.262 * * * [progress]: generating series expansions
6.262 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1 2 1 2)
6.262 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1 2)
6.262 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1 2 1)
6.263 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 1)
6.263 * * * [progress]: simplifying candidates
6.263 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.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))))>
6.263 * [simplify]: Simplifying (real->posit16 3.0)
6.263 * * [simplify]: iters left: 1 (2 enodes)
6.264 * * [simplify]: Extracting #0: cost 1 inf + 0
6.264 * * [simplify]: Extracting #1: cost 2 inf + 0
6.264 * * [simplify]: Extracting #2: cost 1 inf + 1
6.264 * * [simplify]: Extracting #3: cost 0 inf + 2
6.264 * [simplify]: Simplified to (real->posit16 3.0)
6.264 * [simplify]: Simplified (2 2 2 1 2 1 2 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 (real->posit16 9) (/.p16 (-.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))))
6.264 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.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))))>
6.264 * [simplify]: Simplifying (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.264 * * [simplify]: iters left: 3 (6 enodes)
6.266 * * [simplify]: iters left: 2 (11 enodes)
6.268 * * [simplify]: iters left: 1 (19 enodes)
6.272 * * [simplify]: Extracting #0: cost 1 inf + 0
6.272 * * [simplify]: Extracting #1: cost 3 inf + 0
6.272 * * [simplify]: Extracting #2: cost 8 inf + 0
6.272 * * [simplify]: Extracting #3: cost 6 inf + 2
6.272 * * [simplify]: Extracting #4: cost 4 inf + 4
6.272 * * [simplify]: Extracting #5: cost 0 inf + 1530
6.272 * [simplify]: Simplified to (/.p16 (real->posit16 1.0) (real->posit16 3.0))
6.272 * [simplify]: Simplified (2 2 2 1 2 1 2 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 (real->posit16 9) (/.p16 (-.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))))
6.272 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.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))))>
6.272 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand))))>
6.272 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.272 * * [simplify]: iters left: 3 (7 enodes)
6.274 * * [simplify]: iters left: 2 (12 enodes)
6.276 * * [simplify]: Extracting #0: cost 1 inf + 0
6.276 * * [simplify]: Extracting #1: cost 3 inf + 0
6.276 * * [simplify]: Extracting #2: cost 4 inf + 1
6.276 * * [simplify]: Extracting #3: cost 6 inf + 1
6.276 * * [simplify]: Extracting #4: cost 0 inf + 930
6.276 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.276 * [simplify]: Simplified (2 2 2 1 2 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 (real->posit16 9) (/.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand))))
6.277 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.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))))>
6.277 * [simplify]: Simplifying (-.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)))))
6.277 * * [simplify]: iters left: 5 (11 enodes)
6.280 * * [simplify]: iters left: 4 (37 enodes)
6.288 * * [simplify]: iters left: 3 (103 enodes)
6.321 * * [simplify]: iters left: 2 (380 enodes)
6.634 * * [simplify]: Extracting #0: cost 1 inf + 0
6.634 * * [simplify]: Extracting #1: cost 57 inf + 0
6.634 * * [simplify]: Extracting #2: cost 301 inf + 0
6.636 * * [simplify]: Extracting #3: cost 460 inf + 1606
6.639 * * [simplify]: Extracting #4: cost 534 inf + 50604
6.655 * * [simplify]: Extracting #5: cost 252 inf + 491549
6.720 * * [simplify]: Extracting #6: cost 44 inf + 989724
6.786 * * [simplify]: Extracting #7: cost 1 inf + 1069838
6.847 * * [simplify]: Extracting #8: cost 0 inf + 1050721
6.917 * * [simplify]: Extracting #9: cost 0 inf + 1048881
6.980 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0))) (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0)))))
6.980 * [simplify]: Simplified (2 2 2 1 2 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 (real->posit16 9) (/.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0))) (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.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))))
6.981 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (*.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))))>
6.981 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.981 * * [simplify]: iters left: 3 (7 enodes)
6.984 * * [simplify]: iters left: 2 (12 enodes)
6.988 * * [simplify]: Extracting #0: cost 1 inf + 0
6.988 * * [simplify]: Extracting #1: cost 3 inf + 0
6.988 * * [simplify]: Extracting #2: cost 4 inf + 1
6.988 * * [simplify]: Extracting #3: cost 6 inf + 1
6.988 * * [simplify]: Extracting #4: cost 0 inf + 930
6.988 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.988 * [simplify]: Simplified (2 2 2 1 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 (+.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))))
6.989 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.989 * * [simplify]: iters left: 3 (7 enodes)
6.992 * * [simplify]: iters left: 2 (18 enodes)
6.998 * * [simplify]: iters left: 1 (32 enodes)
7.009 * * [simplify]: Extracting #0: cost 1 inf + 0
7.009 * * [simplify]: Extracting #1: cost 9 inf + 0
7.009 * * [simplify]: Extracting #2: cost 25 inf + 1
7.010 * * [simplify]: Extracting #3: cost 34 inf + 322
7.010 * * [simplify]: Extracting #4: cost 27 inf + 3209
7.010 * * [simplify]: Extracting #5: cost 22 inf + 4898
7.011 * * [simplify]: Extracting #6: cost 11 inf + 15047
7.013 * * [simplify]: Extracting #7: cost 0 inf + 29315
7.015 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
7.015 * [simplify]: Simplified (2 2 2 1 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 (*.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))))
7.015 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (+.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))))>
7.016 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (/.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))))>
7.016 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
7.016 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
7.016 * * [simplify]: iters left: 3 (7 enodes)
7.020 * * [simplify]: iters left: 2 (12 enodes)
7.024 * * [simplify]: Extracting #0: cost 1 inf + 0
7.024 * * [simplify]: Extracting #1: cost 3 inf + 0
7.024 * * [simplify]: Extracting #2: cost 4 inf + 1
7.024 * * [simplify]: Extracting #3: cost 6 inf + 1
7.024 * * [simplify]: Extracting #4: cost 0 inf + 930
7.024 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
7.024 * [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))))
7.024 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (/.p16 (-.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)))) rand))))>
7.024 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.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))))>
7.025 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.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))))>
7.025 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.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))))>
7.025 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.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))))>
7.025 * * * [progress]: adding candidates to table
7.595 * * [progress]: iteration 4 / 4
7.595 * * * [progress]: picking best candidate
7.678 * * * * [pick]: Picked  #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
7.678 * * * [progress]: localizing error
7.952 * * * [progress]: generating rewritten candidates
7.953 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
7.959 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
7.967 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1 2)
7.970 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
7.973 * * * [progress]: generating series expansions
7.973 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
7.973 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
7.973 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1 2)
7.973 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
7.973 * * * [progress]: simplifying candidates
7.973 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
7.974 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
7.974 * * [simplify]: iters left: 4 (9 enodes)
7.979 * * [simplify]: iters left: 3 (13 enodes)
7.984 * * [simplify]: Extracting #0: cost 1 inf + 0
7.984 * * [simplify]: Extracting #1: cost 3 inf + 0
7.984 * * [simplify]: Extracting #2: cost 5 inf + 0
7.984 * * [simplify]: Extracting #3: cost 6 inf + 1
7.984 * * [simplify]: Extracting #4: cost 7 inf + 2
7.984 * * [simplify]: Extracting #5: cost 0 inf + 1813
7.984 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
7.984 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
7.984 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 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))))>
7.985 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
7.985 * * [simplify]: iters left: 4 (9 enodes)
7.990 * * [simplify]: iters left: 3 (13 enodes)
7.994 * * [simplify]: Extracting #0: cost 1 inf + 0
7.994 * * [simplify]: Extracting #1: cost 3 inf + 0
7.994 * * [simplify]: Extracting #2: cost 5 inf + 0
7.994 * * [simplify]: Extracting #3: cost 5 inf + 2
7.995 * * [simplify]: Extracting #4: cost 7 inf + 2
7.995 * * [simplify]: Extracting #5: cost 4 inf + 5
7.995 * * [simplify]: Extracting #6: cost 0 inf + 1813
7.995 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
7.995 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))
7.995 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
7.996 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
7.996 * * [simplify]: iters left: 3 (7 enodes)
7.999 * * [simplify]: iters left: 2 (12 enodes)
8.004 * * [simplify]: Extracting #0: cost 1 inf + 0
8.004 * * [simplify]: Extracting #1: cost 3 inf + 0
8.004 * * [simplify]: Extracting #2: cost 4 inf + 1
8.004 * * [simplify]: Extracting #3: cost 6 inf + 1
8.004 * * [simplify]: Extracting #4: cost 0 inf + 930
8.004 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
8.004 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
8.005 * * * * [progress]: [ 4 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand))))>
8.005 * * * * [progress]: [ 5 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))>
8.005 * * * * [progress]: [ 6 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.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.005 * [simplify]: Simplifying (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
8.005 * * [simplify]: iters left: 5 (11 enodes)
8.010 * * [simplify]: iters left: 4 (24 enodes)
8.019 * * [simplify]: iters left: 3 (48 enodes)
8.029 * * [simplify]: iters left: 2 (112 enodes)
8.067 * * [simplify]: iters left: 1 (474 enodes)
8.435 * * [simplify]: Extracting #0: cost 1 inf + 0
8.436 * * [simplify]: Extracting #1: cost 2 inf + 0
8.436 * * [simplify]: Extracting #2: cost 88 inf + 0
8.437 * * [simplify]: Extracting #3: cost 422 inf + 0
8.439 * * [simplify]: Extracting #4: cost 742 inf + 4182
8.449 * * [simplify]: Extracting #5: cost 799 inf + 13811
8.456 * * [simplify]: Extracting #6: cost 788 inf + 38477
8.465 * * [simplify]: Extracting #7: cost 747 inf + 68230
8.486 * * [simplify]: Extracting #8: cost 473 inf + 439158
8.543 * * [simplify]: Extracting #9: cost 76 inf + 1146891
8.616 * * [simplify]: Extracting #10: cost 0 inf + 1272172
8.701 * * [simplify]: Extracting #11: cost 0 inf + 1271812
8.796 * [simplify]: Simplified to (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))
8.796 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
8.796 * * * * [progress]: [ 7 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
8.796 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))
8.796 * * [simplify]: iters left: 6 (20 enodes)
8.801 * * [simplify]: iters left: 5 (53 enodes)
8.813 * * [simplify]: iters left: 4 (144 enodes)
8.856 * * [simplify]: Extracting #0: cost 1 inf + 0
8.857 * * [simplify]: Extracting #1: cost 41 inf + 0
8.857 * * [simplify]: Extracting #2: cost 161 inf + 1
8.858 * * [simplify]: Extracting #3: cost 213 inf + 1606
8.861 * * [simplify]: Extracting #4: cost 252 inf + 4494
8.862 * * [simplify]: Extracting #5: cost 237 inf + 13473
8.865 * * [simplify]: Extracting #6: cost 175 inf + 73971
8.879 * * [simplify]: Extracting #7: cost 58 inf + 238009
8.896 * * [simplify]: Extracting #8: cost 4 inf + 348069
8.915 * * [simplify]: Extracting #9: cost 0 inf + 356524
8.938 * [simplify]: Simplified to (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
8.938 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
8.938 * * * * [progress]: [ 8 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
8.938 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
8.938 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
8.938 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
8.938 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
8.938 * * * * [progress]: [ 13 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
8.938 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))
8.938 * * [simplify]: iters left: 6 (17 enodes)
8.943 * * [simplify]: iters left: 5 (41 enodes)
8.953 * * [simplify]: iters left: 4 (95 enodes)
8.988 * * [simplify]: iters left: 3 (269 enodes)
9.124 * * [simplify]: Extracting #0: cost 1 inf + 0
9.124 * * [simplify]: Extracting #1: cost 46 inf + 0
9.125 * * [simplify]: Extracting #2: cost 206 inf + 1
9.126 * * [simplify]: Extracting #3: cost 258 inf + 648
9.128 * * [simplify]: Extracting #4: cost 307 inf + 7710
9.130 * * [simplify]: Extracting #5: cost 293 inf + 16045
9.134 * * [simplify]: Extracting #6: cost 277 inf + 25875
9.145 * * [simplify]: Extracting #7: cost 149 inf + 188177
9.170 * * [simplify]: Extracting #8: cost 7 inf + 469313
9.200 * * [simplify]: Extracting #9: cost 0 inf + 490709
9.228 * [simplify]: Simplified to (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
9.228 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
9.228 * * * * [progress]: [ 14 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
9.229 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))
9.229 * * [simplify]: iters left: 6 (17 enodes)
9.236 * * [simplify]: iters left: 5 (41 enodes)
9.249 * * [simplify]: iters left: 4 (95 enodes)
9.285 * * [simplify]: iters left: 3 (269 enodes)
9.418 * * [simplify]: Extracting #0: cost 1 inf + 0
9.418 * * [simplify]: Extracting #1: cost 46 inf + 0
9.419 * * [simplify]: Extracting #2: cost 206 inf + 1
9.421 * * [simplify]: Extracting #3: cost 258 inf + 648
9.423 * * [simplify]: Extracting #4: cost 307 inf + 7710
9.425 * * [simplify]: Extracting #5: cost 293 inf + 16045
9.427 * * [simplify]: Extracting #6: cost 277 inf + 25875
9.434 * * [simplify]: Extracting #7: cost 149 inf + 188177
9.459 * * [simplify]: Extracting #8: cost 7 inf + 469313
9.485 * * [simplify]: Extracting #9: cost 0 inf + 490709
9.512 * [simplify]: Simplified to (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
9.513 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
9.513 * * * * [progress]: [ 15 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
9.513 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))
9.513 * * [simplify]: iters left: 6 (17 enodes)
9.519 * * [simplify]: iters left: 5 (41 enodes)
9.532 * * [simplify]: iters left: 4 (95 enodes)
9.566 * * [simplify]: iters left: 3 (269 enodes)
9.700 * * [simplify]: Extracting #0: cost 1 inf + 0
9.701 * * [simplify]: Extracting #1: cost 46 inf + 0
9.701 * * [simplify]: Extracting #2: cost 206 inf + 1
9.703 * * [simplify]: Extracting #3: cost 258 inf + 648
9.705 * * [simplify]: Extracting #4: cost 307 inf + 7710
9.708 * * [simplify]: Extracting #5: cost 293 inf + 16045
9.710 * * [simplify]: Extracting #6: cost 277 inf + 25875
9.721 * * [simplify]: Extracting #7: cost 149 inf + 188177
9.754 * * [simplify]: Extracting #8: cost 7 inf + 469313
9.798 * * [simplify]: Extracting #9: cost 0 inf + 490709
9.841 * [simplify]: Simplified to (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
9.841 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
9.841 * * * * [progress]: [ 16 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
9.841 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))
9.841 * * [simplify]: iters left: 6 (17 enodes)
9.849 * * [simplify]: iters left: 5 (41 enodes)
9.864 * * [simplify]: iters left: 4 (95 enodes)
9.904 * * [simplify]: iters left: 3 (269 enodes)
10.033 * * [simplify]: Extracting #0: cost 1 inf + 0
10.033 * * [simplify]: Extracting #1: cost 46 inf + 0
10.034 * * [simplify]: Extracting #2: cost 206 inf + 1
10.035 * * [simplify]: Extracting #3: cost 258 inf + 648
10.036 * * [simplify]: Extracting #4: cost 307 inf + 7710
10.038 * * [simplify]: Extracting #5: cost 293 inf + 16045
10.039 * * [simplify]: Extracting #6: cost 277 inf + 25875
10.047 * * [simplify]: Extracting #7: cost 149 inf + 188177
10.082 * * [simplify]: Extracting #8: cost 7 inf + 469313
10.136 * * [simplify]: Extracting #9: cost 0 inf + 490709
10.188 * [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))))
10.188 * [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))))))
10.188 * * * [progress]: adding candidates to table
11.038 * [progress]: [Phase 3 of 3] Extracting.
11.038 * * [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 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #<alt (λ (a rand) (*.p16 (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (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 (/.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.041 * * * [regime-changes]: Trying 2 branch expressions: (rand a)
11.041 * * * * [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 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #<alt (λ (a rand) (*.p16 (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (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 (/.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.264 * * * * [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 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))> #<alt (λ (a rand) (*.p16 (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (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 (/.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.452 * * * [regime]: Found split indices: #<option (#s(si 2 256))>
11.452 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))
11.452 * * [simplify]: iters left: 6 (21 enodes)
11.454 * * [simplify]: iters left: 5 (23 enodes)
11.456 * * [simplify]: Extracting #0: cost 1 inf + 0
11.456 * * [simplify]: Extracting #1: cost 3 inf + 0
11.456 * * [simplify]: Extracting #2: cost 7 inf + 0
11.456 * * [simplify]: Extracting #3: cost 11 inf + 1
11.456 * * [simplify]: Extracting #4: cost 12 inf + 3
11.456 * * [simplify]: Extracting #5: cost 10 inf + 6
11.456 * * [simplify]: Extracting #6: cost 9 inf + 450
11.456 * * [simplify]: Extracting #7: cost 10 inf + 973
11.456 * * [simplify]: Extracting #8: cost 10 inf + 1495
11.456 * * [simplify]: Extracting #9: cost 9 inf + 1496
11.456 * * [simplify]: Extracting #10: cost 6 inf + 2662
11.457 * * [simplify]: Extracting #11: cost 4 inf + 5110
11.457 * * [simplify]: Extracting #12: cost 2 inf + 8801
11.457 * * [simplify]: Extracting #13: cost 0 inf + 13293
11.458 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))
11.458 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
11.484 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
11.492 * * * * [points]: Setting MPFR precision to 64
11.494 * * * * [points]: Setting MPFR precision to 320
11.495 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
11.503 * * * * [points]: Setting MPFR precision to 64
11.506 * * * * [points]: Setting MPFR precision to 320
11.509 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
11.528 * * * * [points]: Setting MPFR precision to 64
11.536 * * * * [points]: Setting MPFR precision to 320
11.541 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
11.546 * * * * [points]: Setting MPFR precision to 64
11.553 * * * * [points]: Setting MPFR precision to 320
11.560 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
11.565 * * * * [points]: Setting MPFR precision to 64
11.578 * * * * [points]: Setting MPFR precision to 320
11.596 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
11.605 * * * * [points]: Setting MPFR precision to 64
11.675 * * * * [points]: Setting MPFR precision to 320
11.717 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
11.722 * * * * [points]: Setting MPFR precision to 64
11.779 * * * * [points]: Setting MPFR precision to 320
11.872 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
11.880 * * * * [points]: Setting MPFR precision to 64
12.085 * * * * [points]: Setting MPFR precision to 320
12.287 * * * * [points]: Computing exacts for 8000 points
12.296 * * * * [points]: Setting MPFR precision to 64
13.430 * * * * [points]: Setting MPFR precision to 320
14.228 * * * * [points]: Filtering points with unrepresentable outputs
14.285 * * * * [points]: Sampled 8000 points with exact outputs
20.240 * [regime-testing]: Baseline error score: 64.0
20.244 * [regime-testing]: Oracle error score: 64.0
20.250 * [regime-testing]: End program error score: 0.19537985031776084