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.010 * * * * [points]: Setting MPFR precision to 64
0.012 * * * * [points]: Setting MPFR precision to 320
0.014 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.023 * * * * [points]: Setting MPFR precision to 64
0.026 * * * * [points]: Setting MPFR precision to 320
0.029 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.039 * * * * [points]: Setting MPFR precision to 64
0.045 * * * * [points]: Setting MPFR precision to 320
0.050 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.060 * * * * [points]: Setting MPFR precision to 64
0.069 * * * * [points]: Setting MPFR precision to 320
0.078 * * * * [points]: Computing exacts for 256 points
0.089 * * * * [points]: Setting MPFR precision to 64
0.132 * * * * [points]: Setting MPFR precision to 320
0.159 * * * * [points]: Filtering points with unrepresentable outputs
0.160 * * * * [points]: Sampled 256 points with exact outputs
0.160 * * * [progress]: [2/2] Setting up program.
0.190 * [progress]: [Phase 2 of 3] Improving.
0.190 * * * * [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.190 * [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.191 * * [simplify]: iters left: 6 (18 enodes)
0.195 * * [simplify]: iters left: 5 (47 enodes)
0.205 * * [simplify]: iters left: 4 (121 enodes)
0.242 * * [simplify]: iters left: 3 (337 enodes)
0.425 * * [simplify]: Extracting #0: cost 1 inf + 0
0.425 * * [simplify]: Extracting #1: cost 34 inf + 0
0.426 * * [simplify]: Extracting #2: cost 204 inf + 0
0.428 * * [simplify]: Extracting #3: cost 326 inf + 1286
0.431 * * [simplify]: Extracting #4: cost 362 inf + 6740
0.435 * * [simplify]: Extracting #5: cost 377 inf + 18286
0.440 * * [simplify]: Extracting #6: cost 358 inf + 29885
0.459 * * [simplify]: Extracting #7: cost 252 inf + 186163
0.492 * * [simplify]: Extracting #8: cost 47 inf + 586692
0.530 * * [simplify]: Extracting #9: cost 0 inf + 696950
0.568 * * [simplify]: Extracting #10: cost 0 inf + 694590
0.609 * [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.610 * [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.641 * * [progress]: iteration 1 / 4
0.641 * * * [progress]: picking best candidate
0.661 * * * * [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.661 * * * [progress]: localizing error
0.855 * * * [progress]: generating rewritten candidates
0.855 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
0.858 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1 2)
0.860 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.861 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2)
0.862 * * * [progress]: generating series expansions
0.862 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
0.862 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1 2)
0.862 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.862 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2)
0.862 * * * [progress]: simplifying candidates
0.862 * * * * [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.862 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.862 * * [simplify]: iters left: 4 (9 enodes)
0.865 * * [simplify]: iters left: 3 (13 enodes)
0.868 * * [simplify]: Extracting #0: cost 1 inf + 0
0.868 * * [simplify]: Extracting #1: cost 3 inf + 0
0.868 * * [simplify]: Extracting #2: cost 5 inf + 0
0.868 * * [simplify]: Extracting #3: cost 6 inf + 1
0.868 * * [simplify]: Extracting #4: cost 7 inf + 2
0.868 * * [simplify]: Extracting #5: cost 0 inf + 1813
0.868 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.869 * [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.869 * * * * [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.869 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
0.869 * * [simplify]: iters left: 4 (9 enodes)
0.872 * * [simplify]: iters left: 3 (13 enodes)
0.874 * * [simplify]: Extracting #0: cost 1 inf + 0
0.874 * * [simplify]: Extracting #1: cost 3 inf + 0
0.874 * * [simplify]: Extracting #2: cost 5 inf + 0
0.874 * * [simplify]: Extracting #3: cost 5 inf + 2
0.874 * * [simplify]: Extracting #4: cost 7 inf + 2
0.874 * * [simplify]: Extracting #5: cost 4 inf + 5
0.874 * * [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.875 * * * * [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.875 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.875 * * [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.879 * * [simplify]: Extracting #2: cost 4 inf + 1
0.879 * * [simplify]: Extracting #3: cost 6 inf + 1
0.879 * * [simplify]: Extracting #4: cost 0 inf + 930
0.879 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.879 * [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.879 * * * * [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.879 * * * * [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.879 * * * * [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.879 * * * * [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.879 * * * * [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.879 * * * * [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.884 * * [simplify]: iters left: 5 (47 enodes)
0.893 * * [simplify]: iters left: 4 (121 enodes)
0.924 * * [simplify]: iters left: 3 (337 enodes)
1.081 * * [simplify]: Extracting #0: cost 1 inf + 0
1.081 * * [simplify]: Extracting #1: cost 34 inf + 0
1.082 * * [simplify]: Extracting #2: cost 204 inf + 0
1.084 * * [simplify]: Extracting #3: cost 326 inf + 1286
1.087 * * [simplify]: Extracting #4: cost 362 inf + 6740
1.091 * * [simplify]: Extracting #5: cost 377 inf + 18286
1.095 * * [simplify]: Extracting #6: cost 358 inf + 29885
1.109 * * [simplify]: Extracting #7: cost 252 inf + 186163
1.163 * * [simplify]: Extracting #8: cost 47 inf + 586692
1.236 * * [simplify]: Extracting #9: cost 0 inf + 696950
1.272 * * [simplify]: Extracting #10: cost 0 inf + 694590
1.342 * [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.342 * [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.342 * * * * [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.342 * [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.343 * * [simplify]: iters left: 6 (18 enodes)
1.352 * * [simplify]: iters left: 5 (47 enodes)
1.373 * * [simplify]: iters left: 4 (121 enodes)
1.418 * * [simplify]: iters left: 3 (337 enodes)
1.546 * * [simplify]: Extracting #0: cost 1 inf + 0
1.546 * * [simplify]: Extracting #1: cost 34 inf + 0
1.547 * * [simplify]: Extracting #2: cost 204 inf + 0
1.548 * * [simplify]: Extracting #3: cost 326 inf + 1286
1.549 * * [simplify]: Extracting #4: cost 362 inf + 6740
1.553 * * [simplify]: Extracting #5: cost 377 inf + 18286
1.557 * * [simplify]: Extracting #6: cost 358 inf + 29885
1.569 * * [simplify]: Extracting #7: cost 252 inf + 186163
1.599 * * [simplify]: Extracting #8: cost 47 inf + 586692
1.661 * * [simplify]: Extracting #9: cost 0 inf + 696950
1.722 * * [simplify]: Extracting #10: cost 0 inf + 694590
1.782 * [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.782 * [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.782 * * * * [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.783 * [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.783 * * [simplify]: iters left: 6 (18 enodes)
1.791 * * [simplify]: iters left: 5 (47 enodes)
1.807 * * [simplify]: iters left: 4 (121 enodes)
1.842 * * [simplify]: iters left: 3 (337 enodes)
2.015 * * [simplify]: Extracting #0: cost 1 inf + 0
2.015 * * [simplify]: Extracting #1: cost 34 inf + 0
2.015 * * [simplify]: Extracting #2: cost 204 inf + 0
2.016 * * [simplify]: Extracting #3: cost 326 inf + 1286
2.018 * * [simplify]: Extracting #4: cost 362 inf + 6740
2.022 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.026 * * [simplify]: Extracting #6: cost 358 inf + 29885
2.037 * * [simplify]: Extracting #7: cost 252 inf + 186163
2.064 * * [simplify]: Extracting #8: cost 47 inf + 586692
2.133 * * [simplify]: Extracting #9: cost 0 inf + 696950
2.185 * * [simplify]: Extracting #10: cost 0 inf + 694590
2.222 * [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.222 * [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.222 * * * * [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.223 * [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.223 * * [simplify]: iters left: 6 (18 enodes)
2.227 * * [simplify]: iters left: 5 (47 enodes)
2.241 * * [simplify]: iters left: 4 (121 enodes)
2.267 * * [simplify]: iters left: 3 (337 enodes)
2.390 * * [simplify]: Extracting #0: cost 1 inf + 0
2.390 * * [simplify]: Extracting #1: cost 34 inf + 0
2.391 * * [simplify]: Extracting #2: cost 204 inf + 0
2.392 * * [simplify]: Extracting #3: cost 326 inf + 1286
2.393 * * [simplify]: Extracting #4: cost 362 inf + 6740
2.396 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.400 * * [simplify]: Extracting #6: cost 358 inf + 29885
2.408 * * [simplify]: Extracting #7: cost 252 inf + 186163
2.449 * * [simplify]: Extracting #8: cost 47 inf + 586692
2.499 * * [simplify]: Extracting #9: cost 0 inf + 696950
2.535 * * [simplify]: Extracting #10: cost 0 inf + 694590
2.572 * [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.572 * [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.572 * * * [progress]: adding candidates to table
3.074 * * [progress]: iteration 2 / 4
3.074 * * * [progress]: picking best candidate
3.174 * * * * [pick]: Picked  #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
3.174 * * * [progress]: localizing error
3.533 * * * [progress]: generating rewritten candidates
3.533 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
3.536 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.538 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2)
3.538 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.541 * * * [progress]: generating series expansions
3.541 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
3.541 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.541 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2)
3.541 * * * * [progress]: [ 4 / 4 ] generating series at (2)
3.541 * * * [progress]: simplifying candidates
3.541 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
3.541 * [simplify]: Simplifying (real->posit16 9)
3.542 * * [simplify]: iters left: 1 (2 enodes)
3.543 * * [simplify]: Extracting #0: cost 1 inf + 0
3.543 * * [simplify]: Extracting #1: cost 2 inf + 0
3.543 * * [simplify]: Extracting #2: cost 1 inf + 1
3.543 * * [simplify]: Extracting #3: cost 0 inf + 2
3.543 * [simplify]: Simplified to (real->posit16 9)
3.543 * [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.543 * [simplify]: Simplifying (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
3.544 * * [simplify]: iters left: 4 (8 enodes)
3.547 * * [simplify]: iters left: 3 (14 enodes)
3.551 * * [simplify]: iters left: 2 (19 enodes)
3.556 * * [simplify]: iters left: 1 (32 enodes)
3.568 * * [simplify]: Extracting #0: cost 1 inf + 0
3.568 * * [simplify]: Extracting #1: cost 9 inf + 0
3.568 * * [simplify]: Extracting #2: cost 25 inf + 1
3.568 * * [simplify]: Extracting #3: cost 33 inf + 963
3.568 * * [simplify]: Extracting #4: cost 27 inf + 3209
3.569 * * [simplify]: Extracting #5: cost 12 inf + 14484
3.571 * * [simplify]: Extracting #6: cost 1 inf + 26872
3.573 * * [simplify]: Extracting #7: cost 0 inf + 29315
3.575 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
3.576 * [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.576 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)) (*.p16 a (real->posit16 9))))) rand))))>
3.576 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
3.576 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
3.576 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
3.576 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))
3.576 * * [simplify]: iters left: 6 (20 enodes)
3.586 * * [simplify]: iters left: 5 (46 enodes)
3.600 * * [simplify]: iters left: 4 (93 enodes)
3.639 * * [simplify]: iters left: 3 (261 enodes)
3.735 * * [simplify]: Extracting #0: cost 1 inf + 0
3.735 * * [simplify]: Extracting #1: cost 46 inf + 0
3.736 * * [simplify]: Extracting #2: cost 206 inf + 1
3.737 * * [simplify]: Extracting #3: cost 260 inf + 648
3.738 * * [simplify]: Extracting #4: cost 305 inf + 6747
3.741 * * [simplify]: Extracting #5: cost 257 inf + 43289
3.749 * * [simplify]: Extracting #6: cost 141 inf + 200788
3.775 * * [simplify]: Extracting #7: cost 16 inf + 437644
3.825 * * [simplify]: Extracting #8: cost 0 inf + 460444
3.872 * * [simplify]: Extracting #9: cost 0 inf + 457044
3.923 * [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.923 * [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.923 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
3.924 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
3.924 * * [simplify]: iters left: 6 (20 enodes)
3.933 * * [simplify]: iters left: 5 (46 enodes)
3.947 * * [simplify]: iters left: 4 (99 enodes)
3.989 * * [simplify]: iters left: 3 (283 enodes)
4.137 * * [simplify]: Extracting #0: cost 1 inf + 0
4.137 * * [simplify]: Extracting #1: cost 45 inf + 0
4.138 * * [simplify]: Extracting #2: cost 204 inf + 1
4.139 * * [simplify]: Extracting #3: cost 274 inf + 4
4.140 * * [simplify]: Extracting #4: cost 308 inf + 10273
4.142 * * [simplify]: Extracting #5: cost 292 inf + 21496
4.144 * * [simplify]: Extracting #6: cost 269 inf + 38708
4.152 * * [simplify]: Extracting #7: cost 145 inf + 207862
4.177 * * [simplify]: Extracting #8: cost 9 inf + 475349
4.210 * * [simplify]: Extracting #9: cost 0 inf + 483107
4.235 * * [simplify]: Extracting #10: cost 0 inf + 482187
4.265 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))
4.265 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))))
4.266 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (a rand) (/.p16 (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))>
4.266 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)))
4.266 * * [simplify]: iters left: 6 (23 enodes)
4.273 * * [simplify]: iters left: 5 (63 enodes)
4.287 * * [simplify]: iters left: 4 (160 enodes)
4.351 * * [simplify]: Extracting #0: cost 1 inf + 0
4.351 * * [simplify]: Extracting #1: cost 31 inf + 0
4.351 * * [simplify]: Extracting #2: cost 126 inf + 0
4.352 * * [simplify]: Extracting #3: cost 192 inf + 965
4.352 * * [simplify]: Extracting #4: cost 220 inf + 4817
4.354 * * [simplify]: Extracting #5: cost 206 inf + 16039
4.358 * * [simplify]: Extracting #6: cost 177 inf + 33734
4.363 * * [simplify]: Extracting #7: cost 103 inf + 117409
4.374 * * [simplify]: Extracting #8: cost 35 inf + 268230
4.391 * * [simplify]: Extracting #9: cost 0 inf + 358340
4.415 * * [simplify]: Extracting #10: cost 0 inf + 348740
4.431 * [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.431 * [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.432 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))>
4.432 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
4.432 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
4.432 * * [simplify]: iters left: 4 (9 enodes)
4.434 * * [simplify]: iters left: 3 (13 enodes)
4.437 * * [simplify]: Extracting #0: cost 1 inf + 0
4.437 * * [simplify]: Extracting #1: cost 3 inf + 0
4.437 * * [simplify]: Extracting #2: cost 5 inf + 0
4.437 * * [simplify]: Extracting #3: cost 5 inf + 2
4.437 * * [simplify]: Extracting #4: cost 7 inf + 2
4.437 * * [simplify]: Extracting #5: cost 4 inf + 5
4.437 * * [simplify]: Extracting #6: cost 0 inf + 1813
4.437 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
4.437 * [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))))
4.437 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
4.437 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
4.438 * * [simplify]: iters left: 4 (9 enodes)
4.440 * * [simplify]: iters left: 3 (13 enodes)
4.442 * * [simplify]: Extracting #0: cost 1 inf + 0
4.442 * * [simplify]: Extracting #1: cost 3 inf + 0
4.442 * * [simplify]: Extracting #2: cost 5 inf + 0
4.442 * * [simplify]: Extracting #3: cost 5 inf + 2
4.442 * * [simplify]: Extracting #4: cost 7 inf + 2
4.442 * * [simplify]: Extracting #5: cost 4 inf + 5
4.442 * * [simplify]: Extracting #6: cost 0 inf + 1813
4.443 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
4.443 * [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))))
4.443 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
4.443 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
4.443 * * [simplify]: iters left: 4 (9 enodes)
4.445 * * [simplify]: iters left: 3 (13 enodes)
4.447 * * [simplify]: Extracting #0: cost 1 inf + 0
4.448 * * [simplify]: Extracting #1: cost 3 inf + 0
4.448 * * [simplify]: Extracting #2: cost 5 inf + 0
4.448 * * [simplify]: Extracting #3: cost 5 inf + 2
4.448 * * [simplify]: Extracting #4: cost 7 inf + 2
4.448 * * [simplify]: Extracting #5: cost 4 inf + 5
4.448 * * [simplify]: Extracting #6: cost 0 inf + 1813
4.448 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
4.448 * [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))))
4.448 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
4.449 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
4.449 * * [simplify]: iters left: 4 (9 enodes)
4.453 * * [simplify]: iters left: 3 (13 enodes)
4.457 * * [simplify]: Extracting #0: cost 1 inf + 0
4.457 * * [simplify]: Extracting #1: cost 3 inf + 0
4.457 * * [simplify]: Extracting #2: cost 5 inf + 0
4.457 * * [simplify]: Extracting #3: cost 5 inf + 2
4.457 * * [simplify]: Extracting #4: cost 7 inf + 2
4.457 * * [simplify]: Extracting #5: cost 4 inf + 5
4.457 * * [simplify]: Extracting #6: cost 0 inf + 1813
4.457 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
4.457 * [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))))
4.458 * * * [progress]: adding candidates to table
5.351 * * [progress]: iteration 3 / 4
5.351 * * * [progress]: picking best candidate
5.444 * * * * [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))))))>
5.444 * * * [progress]: localizing error
5.748 * * * [progress]: generating rewritten candidates
5.748 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
5.754 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
5.762 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
5.766 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1)
5.769 * * * [progress]: generating series expansions
5.769 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
5.769 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
5.769 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
5.769 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1)
5.769 * * * [progress]: simplifying candidates
5.769 * * * * [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.769 * * * * [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.770 * [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.770 * * [simplify]: iters left: 5 (14 enodes)
5.776 * * [simplify]: iters left: 4 (41 enodes)
5.784 * * [simplify]: iters left: 3 (102 enodes)
5.813 * * [simplify]: iters left: 2 (404 enodes)
6.222 * * [simplify]: Extracting #0: cost 1 inf + 0
6.223 * * [simplify]: Extracting #1: cost 73 inf + 0
6.224 * * [simplify]: Extracting #2: cost 418 inf + 1
6.228 * * [simplify]: Extracting #3: cost 558 inf + 8669
6.234 * * [simplify]: Extracting #4: cost 588 inf + 30805
6.241 * * [simplify]: Extracting #5: cost 566 inf + 54827
6.251 * * [simplify]: Extracting #6: cost 480 inf + 118384
6.272 * * [simplify]: Extracting #7: cost 286 inf + 408719
6.328 * * [simplify]: Extracting #8: cost 54 inf + 844350
6.391 * * [simplify]: Extracting #9: cost 0 inf + 973905
6.437 * * [simplify]: Extracting #10: cost 0 inf + 969945
6.483 * [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.483 * [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))))))
6.483 * * * * [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))))))>
6.483 * * * * [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)))))>
6.484 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.484 * * [simplify]: iters left: 3 (7 enodes)
6.486 * * [simplify]: iters left: 2 (18 enodes)
6.489 * * [simplify]: iters left: 1 (32 enodes)
6.495 * * [simplify]: Extracting #0: cost 1 inf + 0
6.495 * * [simplify]: Extracting #1: cost 9 inf + 0
6.495 * * [simplify]: Extracting #2: cost 25 inf + 1
6.495 * * [simplify]: Extracting #3: cost 34 inf + 322
6.495 * * [simplify]: Extracting #4: cost 27 inf + 3209
6.495 * * [simplify]: Extracting #5: cost 22 inf + 4898
6.496 * * [simplify]: Extracting #6: cost 11 inf + 15047
6.497 * * [simplify]: Extracting #7: cost 0 inf + 29315
6.498 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.498 * [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)))))
6.498 * * * * [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)))))))>
6.498 * [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))
6.499 * * [simplify]: iters left: 5 (14 enodes)
6.502 * * [simplify]: iters left: 4 (41 enodes)
6.510 * * [simplify]: iters left: 3 (102 enodes)
6.544 * * [simplify]: iters left: 2 (404 enodes)
6.864 * * [simplify]: Extracting #0: cost 1 inf + 0
6.864 * * [simplify]: Extracting #1: cost 73 inf + 0
6.865 * * [simplify]: Extracting #2: cost 418 inf + 1
6.867 * * [simplify]: Extracting #3: cost 558 inf + 8669
6.871 * * [simplify]: Extracting #4: cost 588 inf + 30805
6.874 * * [simplify]: Extracting #5: cost 566 inf + 54827
6.882 * * [simplify]: Extracting #6: cost 480 inf + 118384
6.915 * * [simplify]: Extracting #7: cost 286 inf + 408719
6.978 * * [simplify]: Extracting #8: cost 54 inf + 844350
7.048 * * [simplify]: Extracting #9: cost 0 inf + 973905
7.130 * * [simplify]: Extracting #10: cost 0 inf + 969945
7.195 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 1) rand) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
7.195 * [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)))))))
7.195 * * * * [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))))))))>
7.195 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9))
7.195 * * [simplify]: iters left: 5 (12 enodes)
7.200 * * [simplify]: iters left: 4 (32 enodes)
7.213 * * [simplify]: iters left: 3 (83 enodes)
7.254 * * [simplify]: iters left: 2 (328 enodes)
7.518 * * [simplify]: Extracting #0: cost 1 inf + 0
7.518 * * [simplify]: Extracting #1: cost 57 inf + 0
7.518 * * [simplify]: Extracting #2: cost 276 inf + 0
7.520 * * [simplify]: Extracting #3: cost 393 inf + 965
7.522 * * [simplify]: Extracting #4: cost 412 inf + 14118
7.524 * * [simplify]: Extracting #5: cost 371 inf + 47390
7.533 * * [simplify]: Extracting #6: cost 306 inf + 117500
7.549 * * [simplify]: Extracting #7: cost 113 inf + 438019
7.581 * * [simplify]: Extracting #8: cost 8 inf + 635803
7.621 * * [simplify]: Extracting #9: cost 0 inf + 657189
7.660 * * [simplify]: Extracting #10: cost 0 inf + 656909
7.713 * [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.713 * [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.713 * * * * [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.713 * * * * [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.713 * * * * [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.714 * * * * [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.714 * [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.714 * * [simplify]: iters left: 6 (19 enodes)
7.719 * * [simplify]: iters left: 5 (44 enodes)
7.730 * * [simplify]: iters left: 4 (104 enodes)
7.752 * * [simplify]: iters left: 3 (291 enodes)
7.848 * * [simplify]: Extracting #0: cost 1 inf + 0
7.848 * * [simplify]: Extracting #1: cost 12 inf + 0
7.848 * * [simplify]: Extracting #2: cost 71 inf + 0
7.849 * * [simplify]: Extracting #3: cost 259 inf + 4
7.851 * * [simplify]: Extracting #4: cost 319 inf + 4822
7.854 * * [simplify]: Extracting #5: cost 382 inf + 11556
7.857 * * [simplify]: Extracting #6: cost 365 inf + 21175
7.864 * * [simplify]: Extracting #7: cost 273 inf + 110314
7.889 * * [simplify]: Extracting #8: cost 105 inf + 344592
7.916 * * [simplify]: Extracting #9: cost 39 inf + 455587
7.943 * * [simplify]: Extracting #10: cost 0 inf + 530991
7.979 * [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.979 * [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.979 * * * * [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.979 * [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.980 * * [simplify]: iters left: 6 (19 enodes)
7.987 * * [simplify]: iters left: 5 (44 enodes)
8.000 * * [simplify]: iters left: 4 (104 enodes)
8.036 * * [simplify]: iters left: 3 (291 enodes)
8.159 * * [simplify]: Extracting #0: cost 1 inf + 0
8.159 * * [simplify]: Extracting #1: cost 12 inf + 0
8.159 * * [simplify]: Extracting #2: cost 71 inf + 0
8.160 * * [simplify]: Extracting #3: cost 259 inf + 4
8.161 * * [simplify]: Extracting #4: cost 319 inf + 4822
8.163 * * [simplify]: Extracting #5: cost 382 inf + 11556
8.164 * * [simplify]: Extracting #6: cost 365 inf + 21175
8.170 * * [simplify]: Extracting #7: cost 273 inf + 110314
8.191 * * [simplify]: Extracting #8: cost 105 inf + 344592
8.216 * * [simplify]: Extracting #9: cost 39 inf + 455587
8.247 * * [simplify]: Extracting #10: cost 0 inf + 530991
8.284 * [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.284 * [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.284 * * * * [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))))))>
8.285 * [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.285 * * [simplify]: iters left: 6 (19 enodes)
8.292 * * [simplify]: iters left: 5 (44 enodes)
8.305 * * [simplify]: iters left: 4 (104 enodes)
8.342 * * [simplify]: iters left: 3 (291 enodes)
8.460 * * [simplify]: Extracting #0: cost 1 inf + 0
8.460 * * [simplify]: Extracting #1: cost 12 inf + 0
8.460 * * [simplify]: Extracting #2: cost 71 inf + 0
8.461 * * [simplify]: Extracting #3: cost 259 inf + 4
8.462 * * [simplify]: Extracting #4: cost 319 inf + 4822
8.464 * * [simplify]: Extracting #5: cost 382 inf + 11556
8.465 * * [simplify]: Extracting #6: cost 365 inf + 21175
8.473 * * [simplify]: Extracting #7: cost 273 inf + 110314
8.488 * * [simplify]: Extracting #8: cost 105 inf + 344592
8.510 * * [simplify]: Extracting #9: cost 39 inf + 455587
8.539 * * [simplify]: Extracting #10: cost 0 inf + 530991
8.581 * [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.581 * [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.582 * * * * [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.582 * [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.582 * * [simplify]: iters left: 6 (19 enodes)
8.586 * * [simplify]: iters left: 5 (44 enodes)
8.594 * * [simplify]: iters left: 4 (104 enodes)
8.624 * * [simplify]: iters left: 3 (291 enodes)
8.731 * * [simplify]: Extracting #0: cost 1 inf + 0
8.731 * * [simplify]: Extracting #1: cost 12 inf + 0
8.731 * * [simplify]: Extracting #2: cost 71 inf + 0
8.732 * * [simplify]: Extracting #3: cost 259 inf + 4
8.733 * * [simplify]: Extracting #4: cost 319 inf + 4822
8.735 * * [simplify]: Extracting #5: cost 382 inf + 11556
8.738 * * [simplify]: Extracting #6: cost 365 inf + 21175
8.745 * * [simplify]: Extracting #7: cost 273 inf + 110314
8.767 * * [simplify]: Extracting #8: cost 105 inf + 344592
8.794 * * [simplify]: Extracting #9: cost 39 inf + 455587
8.824 * * [simplify]: Extracting #10: cost 0 inf + 530991
8.858 * [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.859 * [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.859 * * * [progress]: adding candidates to table
9.428 * * [progress]: iteration 4 / 4
9.428 * * * [progress]: picking best candidate
9.565 * * * * [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.565 * * * [progress]: localizing error
9.834 * * * [progress]: generating rewritten candidates
9.834 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
9.838 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
9.842 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 1)
9.845 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
9.848 * * * [progress]: generating series expansions
9.848 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
9.848 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
9.848 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 1)
9.848 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
9.848 * * * [progress]: simplifying candidates
9.848 * * * * [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.848 * [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.848 * * [simplify]: iters left: 5 (12 enodes)
9.853 * * [simplify]: iters left: 4 (32 enodes)
9.862 * * [simplify]: iters left: 3 (83 enodes)
9.896 * * [simplify]: iters left: 2 (328 enodes)
10.254 * * [simplify]: Extracting #0: cost 1 inf + 0
10.254 * * [simplify]: Extracting #1: cost 57 inf + 0
10.255 * * [simplify]: Extracting #2: cost 276 inf + 0
10.257 * * [simplify]: Extracting #3: cost 393 inf + 965
10.260 * * [simplify]: Extracting #4: cost 412 inf + 14118
10.265 * * [simplify]: Extracting #5: cost 371 inf + 47390
10.275 * * [simplify]: Extracting #6: cost 306 inf + 117500
10.306 * * [simplify]: Extracting #7: cost 113 inf + 438019
10.344 * * [simplify]: Extracting #8: cost 8 inf + 635803
10.379 * * [simplify]: Extracting #9: cost 0 inf + 657189
10.412 * * [simplify]: Extracting #10: cost 0 inf + 656909
10.458 * [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)))))
10.458 * [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)))))
10.458 * * * * [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)))))>
10.458 * * * * [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))))>
10.458 * [simplify]: Simplifying (*.p16 (real->posit16 1) rand)
10.458 * * [simplify]: iters left: 2 (4 enodes)
10.460 * * [simplify]: iters left: 1 (10 enodes)
10.462 * * [simplify]: Extracting #0: cost 1 inf + 0
10.462 * * [simplify]: Extracting #1: cost 3 inf + 0
10.462 * * [simplify]: Extracting #2: cost 3 inf + 1
10.462 * * [simplify]: Extracting #3: cost 2 inf + 2
10.462 * * [simplify]: Extracting #4: cost 0 inf + 325
10.462 * [simplify]: Simplified to (*.p16 rand (real->posit16 1))
10.462 * [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)))))
10.463 * * * * [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)))))))>
10.463 * [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))))
10.463 * * [simplify]: iters left: 4 (9 enodes)
10.466 * * [simplify]: iters left: 3 (27 enodes)
10.475 * * [simplify]: iters left: 2 (64 enodes)
10.494 * * [simplify]: iters left: 1 (270 enodes)
10.790 * * [simplify]: Extracting #0: cost 1 inf + 0
10.790 * * [simplify]: Extracting #1: cost 36 inf + 0
10.791 * * [simplify]: Extracting #2: cost 222 inf + 0
10.792 * * [simplify]: Extracting #3: cost 296 inf + 2889
10.794 * * [simplify]: Extracting #4: cost 317 inf + 15075
10.798 * * [simplify]: Extracting #5: cost 254 inf + 64293
10.811 * * [simplify]: Extracting #6: cost 152 inf + 181774
10.836 * * [simplify]: Extracting #7: cost 18 inf + 454751
10.867 * * [simplify]: Extracting #8: cost 0 inf + 501004
10.899 * [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.899 * [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.900 * * * * [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.900 * * * * [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.900 * * * * [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.900 * * * * [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.900 * * * * [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.900 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.900 * * [simplify]: iters left: 3 (7 enodes)
10.903 * * [simplify]: iters left: 2 (18 enodes)
10.906 * * [simplify]: iters left: 1 (32 enodes)
10.912 * * [simplify]: Extracting #0: cost 1 inf + 0
10.912 * * [simplify]: Extracting #1: cost 9 inf + 0
10.912 * * [simplify]: Extracting #2: cost 25 inf + 1
10.912 * * [simplify]: Extracting #3: cost 34 inf + 322
10.913 * * [simplify]: Extracting #4: cost 27 inf + 3209
10.913 * * [simplify]: Extracting #5: cost 22 inf + 4898
10.913 * * [simplify]: Extracting #6: cost 11 inf + 15047
10.914 * * [simplify]: Extracting #7: cost 0 inf + 29315
10.916 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.916 * [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.916 * * * * [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.916 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.916 * * [simplify]: iters left: 3 (7 enodes)
10.918 * * [simplify]: iters left: 2 (18 enodes)
10.921 * * [simplify]: iters left: 1 (32 enodes)
10.930 * * [simplify]: Extracting #0: cost 1 inf + 0
10.930 * * [simplify]: Extracting #1: cost 9 inf + 0
10.930 * * [simplify]: Extracting #2: cost 25 inf + 1
10.930 * * [simplify]: Extracting #3: cost 34 inf + 322
10.930 * * [simplify]: Extracting #4: cost 27 inf + 3209
10.931 * * [simplify]: Extracting #5: cost 22 inf + 4898
10.931 * * [simplify]: Extracting #6: cost 11 inf + 15047
10.932 * * [simplify]: Extracting #7: cost 0 inf + 29315
10.934 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.934 * [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.934 * * * * [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.935 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.935 * * [simplify]: iters left: 3 (7 enodes)
10.937 * * [simplify]: iters left: 2 (18 enodes)
10.940 * * [simplify]: iters left: 1 (32 enodes)
10.946 * * [simplify]: Extracting #0: cost 1 inf + 0
10.946 * * [simplify]: Extracting #1: cost 9 inf + 0
10.946 * * [simplify]: Extracting #2: cost 25 inf + 1
10.946 * * [simplify]: Extracting #3: cost 34 inf + 322
10.947 * * [simplify]: Extracting #4: cost 27 inf + 3209
10.947 * * [simplify]: Extracting #5: cost 22 inf + 4898
10.947 * * [simplify]: Extracting #6: cost 11 inf + 15047
10.948 * * [simplify]: Extracting #7: cost 0 inf + 29315
10.950 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.950 * [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.950 * * * * [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.950 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.950 * * [simplify]: iters left: 3 (7 enodes)
10.952 * * [simplify]: iters left: 2 (18 enodes)
10.955 * * [simplify]: iters left: 1 (32 enodes)
10.961 * * [simplify]: Extracting #0: cost 1 inf + 0
10.961 * * [simplify]: Extracting #1: cost 9 inf + 0
10.961 * * [simplify]: Extracting #2: cost 25 inf + 1
10.961 * * [simplify]: Extracting #3: cost 34 inf + 322
10.961 * * [simplify]: Extracting #4: cost 27 inf + 3209
10.961 * * [simplify]: Extracting #5: cost 22 inf + 4898
10.962 * * [simplify]: Extracting #6: cost 11 inf + 15047
10.963 * * [simplify]: Extracting #7: cost 0 inf + 29315
10.964 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.964 * [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.964 * * * [progress]: adding candidates to table
11.432 * [progress]: [Phase 3 of 3] Extracting.
11.432 * * [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 (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 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 (*.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 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 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (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 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)))))>)
11.435 * * * [regime-changes]: Trying 2 branch expressions: (rand a)
11.435 * * * * [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 (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 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 (*.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 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 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (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 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)))))>)
11.709 * * * * [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 (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 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 (*.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 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 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (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 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)))))>)
11.962 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
11.962 * [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.962 * * [simplify]: iters left: 6 (19 enodes)
11.965 * * [simplify]: iters left: 5 (21 enodes)
11.967 * * [simplify]: Extracting #0: cost 1 inf + 0
11.967 * * [simplify]: Extracting #1: cost 3 inf + 0
11.967 * * [simplify]: Extracting #2: cost 7 inf + 0
11.967 * * [simplify]: Extracting #3: cost 12 inf + 0
11.967 * * [simplify]: Extracting #4: cost 10 inf + 326
11.967 * * [simplify]: Extracting #5: cost 13 inf + 326
11.967 * * [simplify]: Extracting #6: cost 12 inf + 328
11.967 * * [simplify]: Extracting #7: cost 7 inf + 774
11.968 * * [simplify]: Extracting #8: cost 3 inf + 3869
11.968 * * [simplify]: Extracting #9: cost 2 inf + 5193
11.968 * * [simplify]: Extracting #10: cost 0 inf + 9485
11.969 * [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.969 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
12.000 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
12.008 * * * * [points]: Setting MPFR precision to 64
12.009 * * * * [points]: Setting MPFR precision to 320
12.010 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
12.018 * * * * [points]: Setting MPFR precision to 64
12.021 * * * * [points]: Setting MPFR precision to 320
12.023 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
12.031 * * * * [points]: Setting MPFR precision to 64
12.036 * * * * [points]: Setting MPFR precision to 320
12.041 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
12.049 * * * * [points]: Setting MPFR precision to 64
12.059 * * * * [points]: Setting MPFR precision to 320
12.065 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
12.072 * * * * [points]: Setting MPFR precision to 64
12.101 * * * * [points]: Setting MPFR precision to 320
12.115 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
12.121 * * * * [points]: Setting MPFR precision to 64
12.149 * * * * [points]: Setting MPFR precision to 320
12.179 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
12.184 * * * * [points]: Setting MPFR precision to 64
12.276 * * * * [points]: Setting MPFR precision to 320
12.344 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
12.349 * * * * [points]: Setting MPFR precision to 64
12.531 * * * * [points]: Setting MPFR precision to 320
12.681 * * * * [points]: Computing exacts for 8000 points
12.686 * * * * [points]: Setting MPFR precision to 64
13.385 * * * * [points]: Setting MPFR precision to 320
14.519 * * * * [points]: Filtering points with unrepresentable outputs
14.542 * * * * [points]: Sampled 8000 points with exact outputs
20.493 * [regime-testing]: Baseline error score: 64.0
20.498 * [regime-testing]: Oracle error score: 64.0
20.505 * [regime-testing]: End program error score: 0.18111450664361936