0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.009 * * * * [points]: Setting MPFR precision to 64
0.011 * * * * [points]: Setting MPFR precision to 320
0.012 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.019 * * * * [points]: Setting MPFR precision to 64
0.021 * * * * [points]: Setting MPFR precision to 320
0.023 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.029 * * * * [points]: Setting MPFR precision to 64
0.034 * * * * [points]: Setting MPFR precision to 320
0.038 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.045 * * * * [points]: Setting MPFR precision to 64
0.053 * * * * [points]: Setting MPFR precision to 320
0.060 * * * * [points]: Computing exacts for 256 points
0.067 * * * * [points]: Setting MPFR precision to 64
0.103 * * * * [points]: Setting MPFR precision to 320
0.124 * * * * [points]: Filtering points with unrepresentable outputs
0.124 * * * * [points]: Sampled 256 points with exact outputs
0.124 * * * [progress]: [2/2] Setting up program.
0.139 * [progress]: [Phase 2 of 3] Improving.
0.140 * * * * [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.140 * [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.140 * * [simplify]: iters left: 6 (18 enodes)
0.145 * * [simplify]: iters left: 5 (47 enodes)
0.154 * * [simplify]: iters left: 4 (121 enodes)
0.181 * * [simplify]: iters left: 3 (337 enodes)
0.300 * * [simplify]: Extracting #0: cost 1 inf + 0
0.300 * * [simplify]: Extracting #1: cost 34 inf + 0
0.300 * * [simplify]: Extracting #2: cost 204 inf + 0
0.302 * * [simplify]: Extracting #3: cost 326 inf + 1286
0.303 * * [simplify]: Extracting #4: cost 362 inf + 6740
0.305 * * [simplify]: Extracting #5: cost 377 inf + 18286
0.307 * * [simplify]: Extracting #6: cost 358 inf + 29885
0.318 * * [simplify]: Extracting #7: cost 252 inf + 186163
0.357 * * [simplify]: Extracting #8: cost 47 inf + 586692
0.407 * * [simplify]: Extracting #9: cost 0 inf + 696950
0.467 * * [simplify]: Extracting #10: cost 0 inf + 694590
0.515 * [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.515 * [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.535 * * [progress]: iteration 1 / 4
0.535 * * * [progress]: picking best candidate
0.562 * * * * [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.562 * * * [progress]: localizing error
0.843 * * * [progress]: generating rewritten candidates
0.843 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
0.848 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1 2)
0.851 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.854 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2)
0.854 * * * [progress]: generating series expansions
0.854 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
0.854 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1 2)
0.854 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.855 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2)
0.855 * * * [progress]: simplifying candidates
0.855 * * * * [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 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
0.855 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.855 * * [simplify]: iters left: 4 (9 enodes)
0.859 * * [simplify]: iters left: 3 (13 enodes)
0.863 * * [simplify]: Extracting #0: cost 1 inf + 0
0.864 * * [simplify]: Extracting #1: cost 3 inf + 0
0.864 * * [simplify]: Extracting #2: cost 5 inf + 0
0.864 * * [simplify]: Extracting #3: cost 6 inf + 1
0.864 * * [simplify]: Extracting #4: cost 7 inf + 2
0.864 * * [simplify]: Extracting #5: cost 0 inf + 1813
0.864 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.864 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
0.864 * * * * [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 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
0.865 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
0.865 * * [simplify]: iters left: 4 (9 enodes)
0.869 * * [simplify]: iters left: 3 (13 enodes)
0.873 * * [simplify]: Extracting #0: cost 1 inf + 0
0.873 * * [simplify]: Extracting #1: cost 3 inf + 0
0.873 * * [simplify]: Extracting #2: cost 5 inf + 0
0.873 * * [simplify]: Extracting #3: cost 5 inf + 2
0.873 * * [simplify]: Extracting #4: cost 7 inf + 2
0.873 * * [simplify]: Extracting #5: cost 4 inf + 5
0.873 * * [simplify]: Extracting #6: cost 0 inf + 1813
0.874 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
0.874 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))
0.874 * * * * [progress]: [ 3 / 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 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
0.874 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.874 * * [simplify]: iters left: 3 (7 enodes)
0.877 * * [simplify]: iters left: 2 (12 enodes)
0.879 * * [simplify]: Extracting #0: cost 1 inf + 0
0.879 * * [simplify]: Extracting #1: cost 3 inf + 0
0.880 * * [simplify]: Extracting #2: cost 4 inf + 1
0.880 * * [simplify]: Extracting #3: cost 6 inf + 1
0.880 * * [simplify]: Extracting #4: cost 0 inf + 930
0.880 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.880 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
0.880 * * * * [progress]: [ 4 / 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 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand))))>
0.880 * * * * [progress]: [ 5 / 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))))>
0.880 * * * * [progress]: [ 6 / 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 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
0.880 * * * * [progress]: [ 7 / 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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
0.880 * * * * [progress]: [ 8 / 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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
0.880 * * * * [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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
0.880 * [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.880 * * [simplify]: iters left: 6 (18 enodes)
0.885 * * [simplify]: iters left: 5 (47 enodes)
0.894 * * [simplify]: iters left: 4 (121 enodes)
0.926 * * [simplify]: iters left: 3 (337 enodes)
1.100 * * [simplify]: Extracting #0: cost 1 inf + 0
1.100 * * [simplify]: Extracting #1: cost 34 inf + 0
1.101 * * [simplify]: Extracting #2: cost 204 inf + 0
1.103 * * [simplify]: Extracting #3: cost 326 inf + 1286
1.106 * * [simplify]: Extracting #4: cost 362 inf + 6740
1.110 * * [simplify]: Extracting #5: cost 377 inf + 18286
1.114 * * [simplify]: Extracting #6: cost 358 inf + 29885
1.122 * * [simplify]: Extracting #7: cost 252 inf + 186163
1.149 * * [simplify]: Extracting #8: cost 47 inf + 586692
1.202 * * [simplify]: Extracting #9: cost 0 inf + 696950
1.269 * * [simplify]: Extracting #10: cost 0 inf + 694590
1.325 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
1.325 * [simplify]: Simplified (2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
1.325 * * * * [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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1.326 * [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.326 * * [simplify]: iters left: 6 (18 enodes)
1.335 * * [simplify]: iters left: 5 (47 enodes)
1.355 * * [simplify]: iters left: 4 (121 enodes)
1.399 * * [simplify]: iters left: 3 (337 enodes)
1.559 * * [simplify]: Extracting #0: cost 1 inf + 0
1.559 * * [simplify]: Extracting #1: cost 34 inf + 0
1.560 * * [simplify]: Extracting #2: cost 204 inf + 0
1.562 * * [simplify]: Extracting #3: cost 326 inf + 1286
1.565 * * [simplify]: Extracting #4: cost 362 inf + 6740
1.568 * * [simplify]: Extracting #5: cost 377 inf + 18286
1.573 * * [simplify]: Extracting #6: cost 358 inf + 29885
1.586 * * [simplify]: Extracting #7: cost 252 inf + 186163
1.641 * * [simplify]: Extracting #8: cost 47 inf + 586692
1.703 * * [simplify]: Extracting #9: cost 0 inf + 696950
1.750 * * [simplify]: Extracting #10: cost 0 inf + 694590
1.811 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
1.811 * [simplify]: Simplified (2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
1.811 * * * * [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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1.811 * [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.811 * * [simplify]: iters left: 6 (18 enodes)
1.816 * * [simplify]: iters left: 5 (47 enodes)
1.832 * * [simplify]: iters left: 4 (121 enodes)
1.876 * * [simplify]: iters left: 3 (337 enodes)
2.016 * * [simplify]: Extracting #0: cost 1 inf + 0
2.016 * * [simplify]: Extracting #1: cost 34 inf + 0
2.017 * * [simplify]: Extracting #2: cost 204 inf + 0
2.019 * * [simplify]: Extracting #3: cost 326 inf + 1286
2.021 * * [simplify]: Extracting #4: cost 362 inf + 6740
2.023 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.025 * * [simplify]: Extracting #6: cost 358 inf + 29885
2.032 * * [simplify]: Extracting #7: cost 252 inf + 186163
2.059 * * [simplify]: Extracting #8: cost 47 inf + 586692
2.098 * * [simplify]: Extracting #9: cost 0 inf + 696950
2.141 * * [simplify]: Extracting #10: cost 0 inf + 694590
2.179 * [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.179 * [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.179 * * * * [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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
2.180 * [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.180 * * [simplify]: iters left: 6 (18 enodes)
2.185 * * [simplify]: iters left: 5 (47 enodes)
2.195 * * [simplify]: iters left: 4 (121 enodes)
2.223 * * [simplify]: iters left: 3 (337 enodes)
2.333 * * [simplify]: Extracting #0: cost 1 inf + 0
2.333 * * [simplify]: Extracting #1: cost 34 inf + 0
2.334 * * [simplify]: Extracting #2: cost 204 inf + 0
2.335 * * [simplify]: Extracting #3: cost 326 inf + 1286
2.336 * * [simplify]: Extracting #4: cost 362 inf + 6740
2.340 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.343 * * [simplify]: Extracting #6: cost 358 inf + 29885
2.352 * * [simplify]: Extracting #7: cost 252 inf + 186163
2.382 * * [simplify]: Extracting #8: cost 47 inf + 586692
2.420 * * [simplify]: Extracting #9: cost 0 inf + 696950
2.472 * * [simplify]: Extracting #10: cost 0 inf + 694590
2.511 * [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.511 * [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.511 * * * [progress]: adding candidates to table
3.011 * * [progress]: iteration 2 / 4
3.012 * * * [progress]: picking best candidate
3.096 * * * * [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))))>
3.096 * * * [progress]: localizing error
3.439 * * * [progress]: generating rewritten candidates
3.439 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
3.442 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.444 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2)
3.444 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.447 * * * [progress]: generating series expansions
3.447 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
3.447 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.447 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2)
3.447 * * * * [progress]: [ 4 / 4 ] generating series at (2)
3.447 * * * [progress]: simplifying candidates
3.447 * * * * [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))))>
3.447 * [simplify]: Simplifying (real->posit16 9)
3.448 * * [simplify]: iters left: 1 (2 enodes)
3.449 * * [simplify]: Extracting #0: cost 1 inf + 0
3.449 * * [simplify]: Extracting #1: cost 2 inf + 0
3.449 * * [simplify]: Extracting #2: cost 1 inf + 1
3.449 * * [simplify]: Extracting #3: cost 0 inf + 2
3.449 * [simplify]: Simplified to (real->posit16 9)
3.449 * [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))))
3.449 * [simplify]: Simplifying (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
3.449 * * [simplify]: iters left: 4 (8 enodes)
3.451 * * [simplify]: iters left: 3 (14 enodes)
3.454 * * [simplify]: iters left: 2 (19 enodes)
3.457 * * [simplify]: iters left: 1 (32 enodes)
3.468 * * [simplify]: Extracting #0: cost 1 inf + 0
3.468 * * [simplify]: Extracting #1: cost 9 inf + 0
3.468 * * [simplify]: Extracting #2: cost 25 inf + 1
3.468 * * [simplify]: Extracting #3: cost 33 inf + 963
3.468 * * [simplify]: Extracting #4: cost 27 inf + 3209
3.468 * * [simplify]: Extracting #5: cost 12 inf + 14484
3.470 * * [simplify]: Extracting #6: cost 1 inf + 26872
3.471 * * [simplify]: Extracting #7: cost 0 inf + 29315
3.472 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
3.472 * [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))))
3.472 * * * * [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))))>
3.472 * [simplify]: Simplifying (real->posit16 9)
3.472 * * [simplify]: iters left: 1 (2 enodes)
3.473 * * [simplify]: Extracting #0: cost 1 inf + 0
3.473 * * [simplify]: Extracting #1: cost 2 inf + 0
3.473 * * [simplify]: Extracting #2: cost 1 inf + 1
3.473 * * [simplify]: Extracting #3: cost 0 inf + 2
3.473 * [simplify]: Simplified to (real->posit16 9)
3.473 * [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))))
3.474 * [simplify]: Simplifying (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
3.474 * * [simplify]: iters left: 4 (8 enodes)
3.476 * * [simplify]: iters left: 3 (14 enodes)
3.478 * * [simplify]: iters left: 2 (19 enodes)
3.481 * * [simplify]: iters left: 1 (32 enodes)
3.487 * * [simplify]: Extracting #0: cost 1 inf + 0
3.487 * * [simplify]: Extracting #1: cost 9 inf + 0
3.487 * * [simplify]: Extracting #2: cost 25 inf + 1
3.488 * * [simplify]: Extracting #3: cost 33 inf + 963
3.488 * * [simplify]: Extracting #4: cost 27 inf + 3209
3.488 * * [simplify]: Extracting #5: cost 12 inf + 14484
3.489 * * [simplify]: Extracting #6: cost 1 inf + 26872
3.491 * * [simplify]: Extracting #7: cost 0 inf + 29315
3.492 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
3.492 * [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))))
3.492 * * * * [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))))>
3.492 * * * * [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))))>
3.492 * * * * [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))))>
3.492 * * * * [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))))>
3.492 * [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))
3.493 * * [simplify]: iters left: 6 (20 enodes)
3.502 * * [simplify]: iters left: 5 (46 enodes)
3.510 * * [simplify]: iters left: 4 (94 enodes)
3.534 * * [simplify]: iters left: 3 (263 enodes)
3.649 * * [simplify]: Extracting #0: cost 1 inf + 0
3.649 * * [simplify]: Extracting #1: cost 46 inf + 0
3.649 * * [simplify]: Extracting #2: cost 206 inf + 1
3.650 * * [simplify]: Extracting #3: cost 254 inf + 3214
3.652 * * [simplify]: Extracting #4: cost 298 inf + 8671
3.654 * * [simplify]: Extracting #5: cost 248 inf + 52836
3.677 * * [simplify]: Extracting #6: cost 96 inf + 303962
3.705 * * [simplify]: Extracting #7: cost 7 inf + 462199
3.730 * * [simplify]: Extracting #8: cost 0 inf + 478514
3.755 * * [simplify]: Extracting #9: cost 0 inf + 477674
3.781 * [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))))
3.781 * [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))))))
3.781 * * * * [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))))))>
3.781 * [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))))
3.781 * * [simplify]: iters left: 6 (20 enodes)
3.787 * * [simplify]: iters left: 5 (46 enodes)
3.795 * * [simplify]: iters left: 4 (100 enodes)
3.817 * * [simplify]: iters left: 3 (285 enodes)
3.933 * * [simplify]: Extracting #0: cost 1 inf + 0
3.933 * * [simplify]: Extracting #1: cost 45 inf + 0
3.934 * * [simplify]: Extracting #2: cost 204 inf + 1
3.936 * * [simplify]: Extracting #3: cost 272 inf + 4
3.938 * * [simplify]: Extracting #4: cost 305 inf + 10917
3.941 * * [simplify]: Extracting #5: cost 287 inf + 21819
3.945 * * [simplify]: Extracting #6: cost 261 inf + 44364
3.957 * * [simplify]: Extracting #7: cost 135 inf + 217025
3.990 * * [simplify]: Extracting #8: cost 9 inf + 459064
4.030 * * [simplify]: Extracting #9: cost 0 inf + 475343
4.071 * [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))
4.071 * [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))))
4.071 * * * * [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)))))>
4.072 * [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)))
4.072 * * [simplify]: iters left: 6 (23 enodes)
4.081 * * [simplify]: iters left: 5 (63 enodes)
4.096 * * [simplify]: iters left: 4 (160 enodes)
4.141 * * [simplify]: Extracting #0: cost 1 inf + 0
4.141 * * [simplify]: Extracting #1: cost 31 inf + 0
4.141 * * [simplify]: Extracting #2: cost 126 inf + 0
4.142 * * [simplify]: Extracting #3: cost 192 inf + 965
4.143 * * [simplify]: Extracting #4: cost 220 inf + 4817
4.144 * * [simplify]: Extracting #5: cost 206 inf + 16039
4.145 * * [simplify]: Extracting #6: cost 177 inf + 33734
4.149 * * [simplify]: Extracting #7: cost 103 inf + 117409
4.160 * * [simplify]: Extracting #8: cost 35 inf + 268230
4.177 * * [simplify]: Extracting #9: cost 0 inf + 358340
4.195 * * [simplify]: Extracting #10: cost 0 inf + 348740
4.211 * [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)))
4.211 * [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)))))
4.212 * * * * [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)))))>
4.212 * * * * [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))))>
4.212 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.212 * * [simplify]: iters left: 4 (9 enodes)
4.214 * * [simplify]: iters left: 3 (13 enodes)
4.217 * * [simplify]: Extracting #0: cost 1 inf + 0
4.217 * * [simplify]: Extracting #1: cost 3 inf + 0
4.217 * * [simplify]: Extracting #2: cost 5 inf + 0
4.217 * * [simplify]: Extracting #3: cost 6 inf + 1
4.217 * * [simplify]: Extracting #4: cost 7 inf + 2
4.217 * * [simplify]: Extracting #5: cost 0 inf + 1813
4.217 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.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 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
4.217 * * * * [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))))>
4.218 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.218 * * [simplify]: iters left: 4 (9 enodes)
4.220 * * [simplify]: iters left: 3 (13 enodes)
4.222 * * [simplify]: Extracting #0: cost 1 inf + 0
4.222 * * [simplify]: Extracting #1: cost 3 inf + 0
4.222 * * [simplify]: Extracting #2: cost 5 inf + 0
4.222 * * [simplify]: Extracting #3: cost 6 inf + 1
4.222 * * [simplify]: Extracting #4: cost 7 inf + 2
4.222 * * [simplify]: Extracting #5: cost 0 inf + 1813
4.222 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.223 * [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))))
4.223 * * * * [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))))>
4.223 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.223 * * [simplify]: iters left: 4 (9 enodes)
4.227 * * [simplify]: iters left: 3 (13 enodes)
4.229 * * [simplify]: Extracting #0: cost 1 inf + 0
4.229 * * [simplify]: Extracting #1: cost 3 inf + 0
4.229 * * [simplify]: Extracting #2: cost 5 inf + 0
4.229 * * [simplify]: Extracting #3: cost 6 inf + 1
4.229 * * [simplify]: Extracting #4: cost 7 inf + 2
4.229 * * [simplify]: Extracting #5: cost 0 inf + 1813
4.229 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.229 * [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))))
4.229 * * * * [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))))>
4.230 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.230 * * [simplify]: iters left: 4 (9 enodes)
4.232 * * [simplify]: iters left: 3 (13 enodes)
4.234 * * [simplify]: Extracting #0: cost 1 inf + 0
4.234 * * [simplify]: Extracting #1: cost 3 inf + 0
4.234 * * [simplify]: Extracting #2: cost 5 inf + 0
4.234 * * [simplify]: Extracting #3: cost 6 inf + 1
4.234 * * [simplify]: Extracting #4: cost 7 inf + 2
4.234 * * [simplify]: Extracting #5: cost 0 inf + 1813
4.234 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.234 * [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))))
4.235 * * * [progress]: adding candidates to table
4.740 * * [progress]: iteration 3 / 4
4.740 * * * [progress]: picking best candidate
4.833 * * * * [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))))))>
4.833 * * * [progress]: localizing error
5.070 * * * [progress]: generating rewritten candidates
5.070 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
5.074 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
5.079 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
5.081 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1)
5.083 * * * [progress]: generating series expansions
5.083 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
5.083 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
5.083 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
5.083 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1)
5.083 * * * [progress]: simplifying candidates
5.083 * * * * [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))))))>
5.083 * * * * [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))))))>
5.083 * [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))
5.083 * * [simplify]: iters left: 5 (14 enodes)
5.087 * * [simplify]: iters left: 4 (41 enodes)
5.102 * * [simplify]: iters left: 3 (102 enodes)
5.132 * * [simplify]: iters left: 2 (404 enodes)
5.465 * * [simplify]: Extracting #0: cost 1 inf + 0
5.465 * * [simplify]: Extracting #1: cost 73 inf + 0
5.466 * * [simplify]: Extracting #2: cost 418 inf + 1
5.468 * * [simplify]: Extracting #3: cost 558 inf + 8669
5.473 * * [simplify]: Extracting #4: cost 588 inf + 30805
5.477 * * [simplify]: Extracting #5: cost 566 inf + 54827
5.486 * * [simplify]: Extracting #6: cost 480 inf + 118384
5.509 * * [simplify]: Extracting #7: cost 286 inf + 408719
5.558 * * [simplify]: Extracting #8: cost 54 inf + 844350
5.619 * * [simplify]: Extracting #9: cost 0 inf + 973905
5.665 * * [simplify]: Extracting #10: cost 0 inf + 969945
5.722 * [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)))))
5.722 * [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))))))
5.722 * * * * [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))))))>
5.722 * * * * [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 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))>
5.723 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.723 * * [simplify]: iters left: 3 (7 enodes)
5.726 * * [simplify]: iters left: 2 (18 enodes)
5.729 * * [simplify]: iters left: 1 (32 enodes)
5.737 * * [simplify]: Extracting #0: cost 1 inf + 0
5.737 * * [simplify]: Extracting #1: cost 9 inf + 0
5.737 * * [simplify]: Extracting #2: cost 25 inf + 1
5.738 * * [simplify]: Extracting #3: cost 34 inf + 322
5.738 * * [simplify]: Extracting #4: cost 27 inf + 3209
5.738 * * [simplify]: Extracting #5: cost 22 inf + 4898
5.739 * * [simplify]: Extracting #6: cost 11 inf + 15047
5.741 * * [simplify]: Extracting #7: cost 0 inf + 29315
5.744 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.744 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))
5.744 * * * * [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 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) rand)) (*.p16 (sqrt.p16 (*.p16 (-.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)))))))>
5.744 * [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))
5.744 * * [simplify]: iters left: 5 (14 enodes)
5.751 * * [simplify]: iters left: 4 (41 enodes)
5.760 * * [simplify]: iters left: 3 (102 enodes)
5.792 * * [simplify]: iters left: 2 (404 enodes)
6.198 * * [simplify]: Extracting #0: cost 1 inf + 0
6.198 * * [simplify]: Extracting #1: cost 73 inf + 0
6.199 * * [simplify]: Extracting #2: cost 418 inf + 1
6.201 * * [simplify]: Extracting #3: cost 558 inf + 8669
6.204 * * [simplify]: Extracting #4: cost 588 inf + 30805
6.208 * * [simplify]: Extracting #5: cost 566 inf + 54827
6.213 * * [simplify]: Extracting #6: cost 480 inf + 118384
6.228 * * [simplify]: Extracting #7: cost 286 inf + 408719
6.265 * * [simplify]: Extracting #8: cost 54 inf + 844350
6.319 * * [simplify]: Extracting #9: cost 0 inf + 973905
6.366 * * [simplify]: Extracting #10: cost 0 inf + 969945
6.434 * [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)))))
6.435 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (sqrt.p16 (*.p16 (-.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)))))))
6.435 * * * * [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 (-.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))))))))>
6.435 * [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))
6.435 * * [simplify]: iters left: 5 (12 enodes)
6.441 * * [simplify]: iters left: 4 (32 enodes)
6.452 * * [simplify]: iters left: 3 (83 enodes)
6.487 * * [simplify]: iters left: 2 (328 enodes)
6.806 * * [simplify]: Extracting #0: cost 1 inf + 0
6.806 * * [simplify]: Extracting #1: cost 57 inf + 0
6.807 * * [simplify]: Extracting #2: cost 276 inf + 0
6.810 * * [simplify]: Extracting #3: cost 393 inf + 965
6.813 * * [simplify]: Extracting #4: cost 412 inf + 14118
6.818 * * [simplify]: Extracting #5: cost 371 inf + 47390
6.827 * * [simplify]: Extracting #6: cost 306 inf + 117500
6.853 * * [simplify]: Extracting #7: cost 113 inf + 438019
6.886 * * [simplify]: Extracting #8: cost 8 inf + 635803
6.931 * * [simplify]: Extracting #9: cost 0 inf + 657189
6.971 * * [simplify]: Extracting #10: cost 0 inf + 656909
7.007 * [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)))))
7.007 * [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))))))))
7.007 * * * * [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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
7.007 * * * * [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 (/.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))))))>
7.007 * * * * [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 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))))))>
7.007 * * * * [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))))))>
7.008 * [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)))))
7.008 * * [simplify]: iters left: 6 (19 enodes)
7.016 * * [simplify]: iters left: 5 (44 enodes)
7.030 * * [simplify]: iters left: 4 (104 enodes)
7.058 * * [simplify]: iters left: 3 (291 enodes)
7.184 * * [simplify]: Extracting #0: cost 1 inf + 0
7.184 * * [simplify]: Extracting #1: cost 12 inf + 0
7.184 * * [simplify]: Extracting #2: cost 71 inf + 0
7.481 * * [simplify]: Extracting #3: cost 259 inf + 4
7.483 * * [simplify]: Extracting #4: cost 319 inf + 4822
7.486 * * [simplify]: Extracting #5: cost 382 inf + 11556
7.490 * * [simplify]: Extracting #6: cost 365 inf + 21175
7.496 * * [simplify]: Extracting #7: cost 273 inf + 110314
7.520 * * [simplify]: Extracting #8: cost 105 inf + 344592
7.549 * * [simplify]: Extracting #9: cost 39 inf + 455587
7.584 * * [simplify]: Extracting #10: cost 0 inf + 530991
7.615 * [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)))))
7.615 * [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))))))
7.615 * * * * [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))))))>
7.615 * [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)))))
7.615 * * [simplify]: iters left: 6 (19 enodes)
7.620 * * [simplify]: iters left: 5 (44 enodes)
7.629 * * [simplify]: iters left: 4 (104 enodes)
7.652 * * [simplify]: iters left: 3 (291 enodes)
7.744 * * [simplify]: Extracting #0: cost 1 inf + 0
7.744 * * [simplify]: Extracting #1: cost 12 inf + 0
7.745 * * [simplify]: Extracting #2: cost 71 inf + 0
7.745 * * [simplify]: Extracting #3: cost 259 inf + 4
7.746 * * [simplify]: Extracting #4: cost 319 inf + 4822
7.748 * * [simplify]: Extracting #5: cost 382 inf + 11556
7.750 * * [simplify]: Extracting #6: cost 365 inf + 21175
7.755 * * [simplify]: Extracting #7: cost 273 inf + 110314
7.770 * * [simplify]: Extracting #8: cost 105 inf + 344592
7.795 * * [simplify]: Extracting #9: cost 39 inf + 455587
7.841 * * [simplify]: Extracting #10: cost 0 inf + 530991
7.884 * [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)))))
7.884 * [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))))))
7.884 * * * * [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))))))>
7.884 * [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)))))
7.884 * * [simplify]: iters left: 6 (19 enodes)
7.892 * * [simplify]: iters left: 5 (44 enodes)
7.905 * * [simplify]: iters left: 4 (104 enodes)
7.941 * * [simplify]: iters left: 3 (291 enodes)
8.063 * * [simplify]: Extracting #0: cost 1 inf + 0
8.063 * * [simplify]: Extracting #1: cost 12 inf + 0
8.063 * * [simplify]: Extracting #2: cost 71 inf + 0
8.064 * * [simplify]: Extracting #3: cost 259 inf + 4
8.066 * * [simplify]: Extracting #4: cost 319 inf + 4822
8.068 * * [simplify]: Extracting #5: cost 382 inf + 11556
8.070 * * [simplify]: Extracting #6: cost 365 inf + 21175
8.074 * * [simplify]: Extracting #7: cost 273 inf + 110314
8.089 * * [simplify]: Extracting #8: cost 105 inf + 344592
8.114 * * [simplify]: Extracting #9: cost 39 inf + 455587
8.144 * * [simplify]: Extracting #10: cost 0 inf + 530991
8.172 * [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.172 * [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.172 * * * * [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))))))>
8.172 * [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.172 * * [simplify]: iters left: 6 (19 enodes)
8.177 * * [simplify]: iters left: 5 (44 enodes)
8.186 * * [simplify]: iters left: 4 (104 enodes)
8.211 * * [simplify]: iters left: 3 (291 enodes)
8.315 * * [simplify]: Extracting #0: cost 1 inf + 0
8.316 * * [simplify]: Extracting #1: cost 12 inf + 0
8.316 * * [simplify]: Extracting #2: cost 71 inf + 0
8.316 * * [simplify]: Extracting #3: cost 259 inf + 4
8.318 * * [simplify]: Extracting #4: cost 319 inf + 4822
8.319 * * [simplify]: Extracting #5: cost 382 inf + 11556
8.321 * * [simplify]: Extracting #6: cost 365 inf + 21175
8.327 * * [simplify]: Extracting #7: cost 273 inf + 110314
8.354 * * [simplify]: Extracting #8: cost 105 inf + 344592
8.394 * * [simplify]: Extracting #9: cost 39 inf + 455587
8.445 * * [simplify]: Extracting #10: cost 0 inf + 530991
8.480 * [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.480 * [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.480 * * * [progress]: adding candidates to table
9.068 * * [progress]: iteration 4 / 4
9.068 * * * [progress]: picking best candidate
9.166 * * * * [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 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))>
9.166 * * * [progress]: localizing error
9.377 * * * [progress]: generating rewritten candidates
9.377 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
9.380 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
9.383 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 1)
9.385 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
9.386 * * * [progress]: generating series expansions
9.386 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
9.386 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
9.386 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 1)
9.386 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
9.386 * * * [progress]: simplifying candidates
9.386 * * * * [progress]: [ 1 / 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 (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))))) (*.p16 (real->posit16 1) rand)))))>
9.387 * [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))
9.387 * * [simplify]: iters left: 5 (12 enodes)
9.390 * * [simplify]: iters left: 4 (32 enodes)
9.397 * * [simplify]: iters left: 3 (83 enodes)
9.418 * * [simplify]: iters left: 2 (328 enodes)
9.729 * * [simplify]: Extracting #0: cost 1 inf + 0
9.730 * * [simplify]: Extracting #1: cost 57 inf + 0
9.731 * * [simplify]: Extracting #2: cost 276 inf + 0
9.736 * * [simplify]: Extracting #3: cost 393 inf + 965
9.738 * * [simplify]: Extracting #4: cost 412 inf + 14118
9.740 * * [simplify]: Extracting #5: cost 371 inf + 47390
9.746 * * [simplify]: Extracting #6: cost 306 inf + 117500
9.765 * * [simplify]: Extracting #7: cost 113 inf + 438019
9.795 * * [simplify]: Extracting #8: cost 8 inf + 635803
9.832 * * [simplify]: Extracting #9: cost 0 inf + 657189
9.875 * * [simplify]: Extracting #10: cost 0 inf + 656909
9.913 * [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)))))
9.913 * [simplify]: Simplified (2 2 2 1 1 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (sqrt.p16 (/.p16 (*.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))))) (*.p16 (real->posit16 1) rand)))))
9.914 * * * * [progress]: [ 2 / 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 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) rand)))))>
9.914 * * * * [progress]: [ 3 / 12 ] 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))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) rand))))>
9.914 * [simplify]: Simplifying (*.p16 (real->posit16 1) rand)
9.914 * * [simplify]: iters left: 2 (4 enodes)
9.916 * * [simplify]: iters left: 1 (10 enodes)
9.919 * * [simplify]: Extracting #0: cost 1 inf + 0
9.919 * * [simplify]: Extracting #1: cost 3 inf + 0
9.919 * * [simplify]: Extracting #2: cost 3 inf + 1
9.919 * * [simplify]: Extracting #3: cost 2 inf + 2
9.919 * * [simplify]: Extracting #4: cost 0 inf + 325
9.919 * [simplify]: Simplified to (*.p16 rand (real->posit16 1))
9.919 * [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))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 rand (real->posit16 1)))))
9.919 * * * * [progress]: [ 4 / 12 ] 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 a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
9.919 * [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))))
9.920 * * [simplify]: iters left: 4 (9 enodes)
9.923 * * [simplify]: iters left: 3 (27 enodes)
9.930 * * [simplify]: iters left: 2 (64 enodes)
9.959 * * [simplify]: iters left: 1 (270 enodes)
10.244 * * [simplify]: Extracting #0: cost 1 inf + 0
10.244 * * [simplify]: Extracting #1: cost 36 inf + 0
10.245 * * [simplify]: Extracting #2: cost 222 inf + 0
10.246 * * [simplify]: Extracting #3: cost 296 inf + 2889
10.247 * * [simplify]: Extracting #4: cost 317 inf + 15075
10.250 * * [simplify]: Extracting #5: cost 254 inf + 64293
10.256 * * [simplify]: Extracting #6: cost 152 inf + 181774
10.285 * * [simplify]: Extracting #7: cost 18 inf + 454751
10.323 * * [simplify]: Extracting #8: cost 0 inf + 501004
10.366 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
10.366 * [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 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
10.366 * * * * [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 (sqrt.p16 (*.p16 (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))>
10.366 * * * * [progress]: [ 6 / 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 (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))) (*.p16 (real->posit16 1) rand)))))>
10.366 * * * * [progress]: [ 7 / 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 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))>
10.366 * * * * [progress]: [ 8 / 12 ] 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 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))>
10.367 * * * * [progress]: [ 9 / 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 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))>
10.367 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.367 * * [simplify]: iters left: 3 (7 enodes)
10.371 * * [simplify]: iters left: 2 (18 enodes)
10.377 * * [simplify]: iters left: 1 (32 enodes)
10.388 * * [simplify]: Extracting #0: cost 1 inf + 0
10.388 * * [simplify]: Extracting #1: cost 9 inf + 0
10.388 * * [simplify]: Extracting #2: cost 25 inf + 1
10.389 * * [simplify]: Extracting #3: cost 34 inf + 322
10.389 * * [simplify]: Extracting #4: cost 27 inf + 3209
10.389 * * [simplify]: Extracting #5: cost 22 inf + 4898
10.390 * * [simplify]: Extracting #6: cost 11 inf + 15047
10.392 * * [simplify]: Extracting #7: cost 0 inf + 29315
10.394 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.394 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))
10.395 * * * * [progress]: [ 10 / 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 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))>
10.395 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.395 * * [simplify]: iters left: 3 (7 enodes)
10.398 * * [simplify]: iters left: 2 (18 enodes)
10.405 * * [simplify]: iters left: 1 (32 enodes)
10.416 * * [simplify]: Extracting #0: cost 1 inf + 0
10.416 * * [simplify]: Extracting #1: cost 9 inf + 0
10.417 * * [simplify]: Extracting #2: cost 25 inf + 1
10.417 * * [simplify]: Extracting #3: cost 34 inf + 322
10.417 * * [simplify]: Extracting #4: cost 27 inf + 3209
10.417 * * [simplify]: Extracting #5: cost 22 inf + 4898
10.418 * * [simplify]: Extracting #6: cost 11 inf + 15047
10.420 * * [simplify]: Extracting #7: cost 0 inf + 29315
10.423 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.423 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))
10.423 * * * * [progress]: [ 11 / 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 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))>
10.423 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.423 * * [simplify]: iters left: 3 (7 enodes)
10.427 * * [simplify]: iters left: 2 (18 enodes)
10.433 * * [simplify]: iters left: 1 (32 enodes)
10.446 * * [simplify]: Extracting #0: cost 1 inf + 0
10.446 * * [simplify]: Extracting #1: cost 9 inf + 0
10.446 * * [simplify]: Extracting #2: cost 25 inf + 1
10.446 * * [simplify]: Extracting #3: cost 34 inf + 322
10.447 * * [simplify]: Extracting #4: cost 27 inf + 3209
10.447 * * [simplify]: Extracting #5: cost 22 inf + 4898
10.448 * * [simplify]: Extracting #6: cost 11 inf + 15047
10.450 * * [simplify]: Extracting #7: cost 0 inf + 29315
10.452 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.452 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))
10.452 * * * * [progress]: [ 12 / 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 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))>
10.453 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.453 * * [simplify]: iters left: 3 (7 enodes)
10.456 * * [simplify]: iters left: 2 (18 enodes)
10.463 * * [simplify]: iters left: 1 (32 enodes)
10.475 * * [simplify]: Extracting #0: cost 1 inf + 0
10.475 * * [simplify]: Extracting #1: cost 9 inf + 0
10.475 * * [simplify]: Extracting #2: cost 25 inf + 1
10.475 * * [simplify]: Extracting #3: cost 34 inf + 322
10.476 * * [simplify]: Extracting #4: cost 27 inf + 3209
10.476 * * [simplify]: Extracting #5: cost 22 inf + 4898
10.477 * * [simplify]: Extracting #6: cost 11 inf + 15047
10.479 * * [simplify]: Extracting #7: cost 0 inf + 29315
10.481 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.481 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))
10.481 * * * [progress]: adding candidates to table
10.983 * [progress]: [Phase 3 of 3] Extracting.
10.983 * * [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 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))> #<alt (λ (a rand) (*.p16 (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<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))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) 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 (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)))))> #<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 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))))))))> #<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 (-.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 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>)
10.985 * * * [regime-changes]: Trying 2 branch expressions: (rand a)
10.985 * * * * [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 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))> #<alt (λ (a rand) (*.p16 (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<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))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) 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 (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)))))> #<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 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))))))))> #<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 (-.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 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>)
11.191 * * * * [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 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))> #<alt (λ (a rand) (*.p16 (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<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))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) 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 (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)))))> #<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 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))))))))> #<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 (-.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 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>)
11.449 * * * [regime]: Found split indices: #<option (#s(si 2 256))>
11.449 * [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))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) rand)))
11.450 * * [simplify]: iters left: 6 (19 enodes)
11.452 * * [simplify]: iters left: 5 (21 enodes)
11.454 * * [simplify]: Extracting #0: cost 1 inf + 0
11.454 * * [simplify]: Extracting #1: cost 3 inf + 0
11.454 * * [simplify]: Extracting #2: cost 7 inf + 0
11.454 * * [simplify]: Extracting #3: cost 12 inf + 0
11.454 * * [simplify]: Extracting #4: cost 10 inf + 326
11.455 * * [simplify]: Extracting #5: cost 13 inf + 326
11.455 * * [simplify]: Extracting #6: cost 12 inf + 328
11.455 * * [simplify]: Extracting #7: cost 7 inf + 774
11.455 * * [simplify]: Extracting #8: cost 3 inf + 3869
11.455 * * [simplify]: Extracting #9: cost 2 inf + 5193
11.456 * * [simplify]: Extracting #10: cost 0 inf + 9485
11.456 * [simplify]: Simplified to (+.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))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) rand)))
11.456 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
11.487 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
11.494 * * * * [points]: Setting MPFR precision to 64
11.495 * * * * [points]: Setting MPFR precision to 320
11.497 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
11.503 * * * * [points]: Setting MPFR precision to 64
11.505 * * * * [points]: Setting MPFR precision to 320
11.519 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
11.526 * * * * [points]: Setting MPFR precision to 64
11.532 * * * * [points]: Setting MPFR precision to 320
11.537 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
11.543 * * * * [points]: Setting MPFR precision to 64
11.553 * * * * [points]: Setting MPFR precision to 320
11.563 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
11.570 * * * * [points]: Setting MPFR precision to 64
11.588 * * * * [points]: Setting MPFR precision to 320
11.608 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
11.615 * * * * [points]: Setting MPFR precision to 64
11.646 * * * * [points]: Setting MPFR precision to 320
11.706 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
11.711 * * * * [points]: Setting MPFR precision to 64
11.785 * * * * [points]: Setting MPFR precision to 320
11.889 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
11.896 * * * * [points]: Setting MPFR precision to 64
12.079 * * * * [points]: Setting MPFR precision to 320
12.269 * * * * [points]: Computing exacts for 8000 points
12.276 * * * * [points]: Setting MPFR precision to 64
13.042 * * * * [points]: Setting MPFR precision to 320
14.104 * * * * [points]: Filtering points with unrepresentable outputs
14.128 * * * * [points]: Sampled 8000 points with exact outputs
20.638 * [regime-testing]: Baseline error score: 64.0
20.642 * [regime-testing]: Oracle error score: 64.0
20.648 * [regime-testing]: End program error score: 0.18111450664361936