0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.002 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.005 * * * * [points]: Setting MPFR precision to 64
0.006 * * * * [points]: Setting MPFR precision to 320
0.007 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.014 * * * * [points]: Setting MPFR precision to 320
0.015 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.020 * * * * [points]: Setting MPFR precision to 64
0.023 * * * * [points]: Setting MPFR precision to 320
0.027 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.040 * * * * [points]: Setting MPFR precision to 64
0.047 * * * * [points]: Setting MPFR precision to 320
0.053 * * * * [points]: Computing exacts for 256 points
0.059 * * * * [points]: Setting MPFR precision to 64
0.079 * * * * [points]: Setting MPFR precision to 320
0.100 * * * * [points]: Filtering points with unrepresentable outputs
0.101 * * * * [points]: Sampled 256 points with exact outputs
0.101 * * * [progress]: [2/2] Setting up program.
0.125 * [progress]: [Phase 2 of 3] Improving.
0.125 * * * * [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.125 * [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.125 * * [simplify]: iters left: 6 (18 enodes)
0.132 * * [simplify]: iters left: 5 (47 enodes)
0.146 * * [simplify]: iters left: 4 (121 enodes)
0.184 * * [simplify]: iters left: 3 (337 enodes)
0.301 * * [simplify]: Extracting #0: cost 1 inf + 0
0.301 * * [simplify]: Extracting #1: cost 34 inf + 0
0.301 * * [simplify]: Extracting #2: cost 204 inf + 0
0.302 * * [simplify]: Extracting #3: cost 326 inf + 1286
0.304 * * [simplify]: Extracting #4: cost 362 inf + 6740
0.307 * * [simplify]: Extracting #5: cost 377 inf + 18286
0.310 * * [simplify]: Extracting #6: cost 358 inf + 29885
0.322 * * [simplify]: Extracting #7: cost 252 inf + 186163
0.362 * * [simplify]: Extracting #8: cost 47 inf + 586692
0.410 * * [simplify]: Extracting #9: cost 0 inf + 696950
0.459 * * [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.540 * * [progress]: iteration 1 / 4
0.540 * * * [progress]: picking best candidate
0.566 * * * * [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.567 * * * [progress]: localizing error
0.832 * * * [progress]: generating rewritten candidates
0.832 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
0.835 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1 2)
0.837 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.839 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2)
0.840 * * * [progress]: generating series expansions
0.840 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
0.840 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1 2)
0.840 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.840 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2)
0.840 * * * [progress]: simplifying candidates
0.840 * * * * [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.840 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.840 * * [simplify]: iters left: 4 (9 enodes)
0.844 * * [simplify]: iters left: 3 (13 enodes)
0.846 * * [simplify]: Extracting #0: cost 1 inf + 0
0.846 * * [simplify]: Extracting #1: cost 3 inf + 0
0.846 * * [simplify]: Extracting #2: cost 5 inf + 0
0.846 * * [simplify]: Extracting #3: cost 6 inf + 1
0.846 * * [simplify]: Extracting #4: cost 7 inf + 2
0.846 * * [simplify]: Extracting #5: cost 0 inf + 1813
0.846 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.846 * [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.847 * * * * [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.847 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
0.847 * * [simplify]: iters left: 4 (9 enodes)
0.849 * * [simplify]: iters left: 3 (13 enodes)
0.851 * * [simplify]: Extracting #0: cost 1 inf + 0
0.851 * * [simplify]: Extracting #1: cost 3 inf + 0
0.851 * * [simplify]: Extracting #2: cost 5 inf + 0
0.851 * * [simplify]: Extracting #3: cost 5 inf + 2
0.851 * * [simplify]: Extracting #4: cost 7 inf + 2
0.851 * * [simplify]: Extracting #5: cost 4 inf + 5
0.852 * * [simplify]: Extracting #6: cost 0 inf + 1813
0.852 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
0.852 * [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.852 * * * * [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.852 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.852 * * [simplify]: iters left: 3 (7 enodes)
0.854 * * [simplify]: iters left: 2 (12 enodes)
0.856 * * [simplify]: Extracting #0: cost 1 inf + 0
0.856 * * [simplify]: Extracting #1: cost 3 inf + 0
0.856 * * [simplify]: Extracting #2: cost 4 inf + 1
0.856 * * [simplify]: Extracting #3: cost 6 inf + 1
0.856 * * [simplify]: Extracting #4: cost 0 inf + 930
0.856 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.856 * [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.856 * * * * [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.856 * * * * [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.856 * * * * [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.856 * * * * [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.856 * * * * [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.856 * * * * [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.856 * [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.856 * * [simplify]: iters left: 6 (18 enodes)
0.868 * * [simplify]: iters left: 5 (47 enodes)
0.880 * * [simplify]: iters left: 4 (121 enodes)
0.914 * * [simplify]: iters left: 3 (337 enodes)
1.062 * * [simplify]: Extracting #0: cost 1 inf + 0
1.063 * * [simplify]: Extracting #1: cost 34 inf + 0
1.063 * * [simplify]: Extracting #2: cost 204 inf + 0
1.065 * * [simplify]: Extracting #3: cost 326 inf + 1286
1.067 * * [simplify]: Extracting #4: cost 362 inf + 6740
1.070 * * [simplify]: Extracting #5: cost 377 inf + 18286
1.074 * * [simplify]: Extracting #6: cost 358 inf + 29885
1.085 * * [simplify]: Extracting #7: cost 252 inf + 186163
1.130 * * [simplify]: Extracting #8: cost 47 inf + 586692
1.174 * * [simplify]: Extracting #9: cost 0 inf + 696950
1.219 * * [simplify]: Extracting #10: cost 0 inf + 694590
1.267 * [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.267 * [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.267 * * * * [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.268 * [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.268 * * [simplify]: iters left: 6 (18 enodes)
1.275 * * [simplify]: iters left: 5 (47 enodes)
1.284 * * [simplify]: iters left: 4 (121 enodes)
1.310 * * [simplify]: iters left: 3 (337 enodes)
1.420 * * [simplify]: Extracting #0: cost 1 inf + 0
1.420 * * [simplify]: Extracting #1: cost 34 inf + 0
1.421 * * [simplify]: Extracting #2: cost 204 inf + 0
1.422 * * [simplify]: Extracting #3: cost 326 inf + 1286
1.423 * * [simplify]: Extracting #4: cost 362 inf + 6740
1.425 * * [simplify]: Extracting #5: cost 377 inf + 18286
1.427 * * [simplify]: Extracting #6: cost 358 inf + 29885
1.435 * * [simplify]: Extracting #7: cost 252 inf + 186163
1.466 * * [simplify]: Extracting #8: cost 47 inf + 586692
1.518 * * [simplify]: Extracting #9: cost 0 inf + 696950
1.561 * * [simplify]: Extracting #10: cost 0 inf + 694590
1.598 * [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.598 * [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.598 * * * * [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.598 * [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.598 * * [simplify]: iters left: 6 (18 enodes)
1.603 * * [simplify]: iters left: 5 (47 enodes)
1.612 * * [simplify]: iters left: 4 (121 enodes)
1.640 * * [simplify]: iters left: 3 (337 enodes)
1.753 * * [simplify]: Extracting #0: cost 1 inf + 0
1.753 * * [simplify]: Extracting #1: cost 34 inf + 0
1.754 * * [simplify]: Extracting #2: cost 204 inf + 0
1.755 * * [simplify]: Extracting #3: cost 326 inf + 1286
1.756 * * [simplify]: Extracting #4: cost 362 inf + 6740
1.758 * * [simplify]: Extracting #5: cost 377 inf + 18286
1.760 * * [simplify]: Extracting #6: cost 358 inf + 29885
1.768 * * [simplify]: Extracting #7: cost 252 inf + 186163
1.800 * * [simplify]: Extracting #8: cost 47 inf + 586692
1.849 * * [simplify]: Extracting #9: cost 0 inf + 696950
1.899 * * [simplify]: Extracting #10: cost 0 inf + 694590
1.956 * [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.956 * [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.956 * * * * [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))))>
1.956 * [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.956 * * [simplify]: iters left: 6 (18 enodes)
1.961 * * [simplify]: iters left: 5 (47 enodes)
1.974 * * [simplify]: iters left: 4 (121 enodes)
2.001 * * [simplify]: iters left: 3 (337 enodes)
2.117 * * [simplify]: Extracting #0: cost 1 inf + 0
2.117 * * [simplify]: Extracting #1: cost 34 inf + 0
2.118 * * [simplify]: Extracting #2: cost 204 inf + 0
2.119 * * [simplify]: Extracting #3: cost 326 inf + 1286
2.122 * * [simplify]: Extracting #4: cost 362 inf + 6740
2.124 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.128 * * [simplify]: Extracting #6: cost 358 inf + 29885
2.142 * * [simplify]: Extracting #7: cost 252 inf + 186163
2.180 * * [simplify]: Extracting #8: cost 47 inf + 586692
2.234 * * [simplify]: Extracting #9: cost 0 inf + 696950
2.282 * * [simplify]: Extracting #10: cost 0 inf + 694590
2.330 * [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.330 * [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.330 * * * [progress]: adding candidates to table
2.910 * * [progress]: iteration 2 / 4
2.910 * * * [progress]: picking best candidate
2.994 * * * * [pick]: Picked  #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
2.995 * * * [progress]: localizing error
3.375 * * * [progress]: generating rewritten candidates
3.375 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1 1 2 2)
3.378 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1)
3.383 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1 1)
3.386 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 1 1 2)
3.389 * * * [progress]: generating series expansions
3.389 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1 1 2 2)
3.389 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1)
3.389 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1 1)
3.389 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 1 1 2)
3.389 * * * [progress]: simplifying candidates
3.389 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (/.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 1.0)) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
3.389 * [simplify]: Simplifying (real->posit16 3.0)
3.389 * * [simplify]: iters left: 1 (2 enodes)
3.390 * * [simplify]: Extracting #0: cost 1 inf + 0
3.390 * * [simplify]: Extracting #1: cost 2 inf + 0
3.390 * * [simplify]: Extracting #2: cost 1 inf + 1
3.390 * * [simplify]: Extracting #3: cost 0 inf + 2
3.390 * [simplify]: Simplified to (real->posit16 3.0)
3.390 * [simplify]: Simplified (2 2 2 1 2 1 1 2 2 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (/.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 1.0)) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
3.390 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (/.p16 (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
3.390 * [simplify]: Simplifying (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
3.391 * * [simplify]: iters left: 3 (6 enodes)
3.392 * * [simplify]: iters left: 2 (11 enodes)
3.402 * * [simplify]: iters left: 1 (19 enodes)
3.407 * * [simplify]: Extracting #0: cost 1 inf + 0
3.407 * * [simplify]: Extracting #1: cost 3 inf + 0
3.407 * * [simplify]: Extracting #2: cost 8 inf + 0
3.407 * * [simplify]: Extracting #3: cost 6 inf + 2
3.407 * * [simplify]: Extracting #4: cost 4 inf + 4
3.407 * * [simplify]: Extracting #5: cost 0 inf + 1530
3.407 * [simplify]: Simplified to (/.p16 (real->posit16 1.0) (real->posit16 3.0))
3.408 * [simplify]: Simplified (2 2 2 1 2 1 1 2 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
3.408 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
3.408 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (real->posit16 9) (/.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand))))>
3.408 * [simplify]: Simplifying (real->posit16 9)
3.408 * * [simplify]: iters left: 1 (2 enodes)
3.409 * * [simplify]: Extracting #0: cost 1 inf + 0
3.409 * * [simplify]: Extracting #1: cost 2 inf + 0
3.409 * * [simplify]: Extracting #2: cost 1 inf + 1
3.409 * * [simplify]: Extracting #3: cost 0 inf + 2
3.409 * [simplify]: Simplified to (real->posit16 9)
3.409 * [simplify]: Simplified (2 2 2 1 2 1 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (real->posit16 9) (/.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand))))
3.409 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand))))>
3.410 * [simplify]: Simplifying (*.p16 (real->posit16 9) (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
3.410 * * [simplify]: iters left: 6 (14 enodes)
3.415 * * [simplify]: iters left: 5 (42 enodes)
3.429 * * [simplify]: iters left: 4 (124 enodes)
3.485 * * [simplify]: iters left: 3 (486 enodes)
4.056 * * [simplify]: Extracting #0: cost 1 inf + 0
4.056 * * [simplify]: Extracting #1: cost 81 inf + 0
4.058 * * [simplify]: Extracting #2: cost 389 inf + 0
4.066 * * [simplify]: Extracting #3: cost 599 inf + 6735
4.072 * * [simplify]: Extracting #4: cost 668 inf + 46772
4.081 * * [simplify]: Extracting #5: cost 583 inf + 119279
4.103 * * [simplify]: Extracting #6: cost 407 inf + 395443
4.166 * * [simplify]: Extracting #7: cost 67 inf + 1197512
4.252 * * [simplify]: Extracting #8: cost 1 inf + 1361954
4.339 * * [simplify]: Extracting #9: cost 0 inf + 1362437
4.409 * [simplify]: Simplified to (*.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (/.p16 (real->posit16 1.0) (*.p16 (*.p16 (real->posit16 3.0) (real->posit16 3.0)) (*.p16 (real->posit16 3.0) (real->posit16 3.0))))) (real->posit16 9))
4.409 * [simplify]: Simplified (2 2 2 1 2 1 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (/.p16 (real->posit16 1.0) (*.p16 (*.p16 (real->posit16 3.0) (real->posit16 3.0)) (*.p16 (real->posit16 3.0) (real->posit16 3.0))))) (real->posit16 9)) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand))))
4.409 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (+.p16 (*.p16 (real->posit16 9) (*.p16 a a)) (*.p16 (real->posit16 9) (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
4.409 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
4.409 * * [simplify]: iters left: 5 (10 enodes)
4.412 * * [simplify]: iters left: 4 (18 enodes)
4.415 * * [simplify]: iters left: 3 (24 enodes)
4.421 * * [simplify]: iters left: 2 (59 enodes)
4.434 * * [simplify]: iters left: 1 (159 enodes)
4.530 * * [simplify]: Extracting #0: cost 1 inf + 0
4.530 * * [simplify]: Extracting #1: cost 3 inf + 0
4.530 * * [simplify]: Extracting #2: cost 5 inf + 0
4.530 * * [simplify]: Extracting #3: cost 24 inf + 1
4.531 * * [simplify]: Extracting #4: cost 87 inf + 2
4.531 * * [simplify]: Extracting #5: cost 77 inf + 2053
4.532 * * [simplify]: Extracting #6: cost 26 inf + 29454
4.534 * * [simplify]: Extracting #7: cost 0 inf + 49266
4.536 * [simplify]: Simplified to (*.p16 (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9))
4.536 * [simplify]: Simplified (2 2 2 1 2 1 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (+.p16 (*.p16 (real->posit16 9) (*.p16 a a)) (*.p16 (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
4.536 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (+.p16 (*.p16 (*.p16 a a) (real->posit16 9)) (*.p16 (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
4.536 * [simplify]: Simplifying (*.p16 (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9))
4.536 * * [simplify]: iters left: 5 (10 enodes)
4.540 * * [simplify]: iters left: 4 (18 enodes)
4.544 * * [simplify]: iters left: 3 (24 enodes)
4.549 * * [simplify]: iters left: 2 (60 enodes)
4.562 * * [simplify]: iters left: 1 (149 enodes)
4.661 * * [simplify]: Extracting #0: cost 1 inf + 0
4.661 * * [simplify]: Extracting #1: cost 3 inf + 0
4.661 * * [simplify]: Extracting #2: cost 5 inf + 0
4.661 * * [simplify]: Extracting #3: cost 9 inf + 2
4.661 * * [simplify]: Extracting #4: cost 62 inf + 2
4.661 * * [simplify]: Extracting #5: cost 55 inf + 969
4.662 * * [simplify]: Extracting #6: cost 20 inf + 15011
4.663 * * [simplify]: Extracting #7: cost 0 inf + 30251
4.665 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0)))) (real->posit16 9))
4.665 * [simplify]: Simplified (2 2 2 1 2 1 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (+.p16 (*.p16 (*.p16 a a) (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0)))) (real->posit16 9))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
4.665 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (*.p16 (real->posit16 9) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
4.665 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.665 * * [simplify]: iters left: 3 (7 enodes)
4.667 * * [simplify]: iters left: 2 (18 enodes)
4.671 * * [simplify]: iters left: 1 (32 enodes)
4.679 * * [simplify]: Extracting #0: cost 1 inf + 0
4.679 * * [simplify]: Extracting #1: cost 9 inf + 0
4.679 * * [simplify]: Extracting #2: cost 25 inf + 1
4.679 * * [simplify]: Extracting #3: cost 34 inf + 322
4.679 * * [simplify]: Extracting #4: cost 27 inf + 3209
4.680 * * [simplify]: Extracting #5: cost 22 inf + 4898
4.680 * * [simplify]: Extracting #6: cost 11 inf + 15047
4.682 * * [simplify]: Extracting #7: cost 0 inf + 29315
4.683 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.683 * [simplify]: Simplified (2 2 2 1 2 1 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (*.p16 (real->posit16 9) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
4.684 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
4.684 * [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))))
4.684 * * [simplify]: iters left: 4 (9 enodes)
4.687 * * [simplify]: iters left: 3 (18 enodes)
4.690 * * [simplify]: iters left: 2 (24 enodes)
4.695 * * [simplify]: iters left: 1 (59 enodes)
4.714 * * [simplify]: Extracting #0: cost 1 inf + 0
4.714 * * [simplify]: Extracting #1: cost 3 inf + 0
4.714 * * [simplify]: Extracting #2: cost 30 inf + 0
4.714 * * [simplify]: Extracting #3: cost 68 inf + 322
4.715 * * [simplify]: Extracting #4: cost 34 inf + 13807
4.716 * * [simplify]: Extracting #5: cost 0 inf + 34348
4.718 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0))) (*.p16 a a))
4.718 * [simplify]: Simplified (2 2 2 1 2 1 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0))) (*.p16 a a))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
4.718 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9)) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
4.718 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
4.718 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.718 * * [simplify]: iters left: 3 (7 enodes)
4.720 * * [simplify]: iters left: 2 (12 enodes)
4.722 * * [simplify]: Extracting #0: cost 1 inf + 0
4.722 * * [simplify]: Extracting #1: cost 3 inf + 0
4.722 * * [simplify]: Extracting #2: cost 4 inf + 1
4.722 * * [simplify]: Extracting #3: cost 6 inf + 1
4.722 * * [simplify]: Extracting #4: cost 0 inf + 930
4.722 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.722 * [simplify]: Simplified (2 2 2 1 2 1 1 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
4.722 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.723 * * [simplify]: iters left: 3 (7 enodes)
4.726 * * [simplify]: iters left: 2 (18 enodes)
4.729 * * [simplify]: iters left: 1 (32 enodes)
4.735 * * [simplify]: Extracting #0: cost 1 inf + 0
4.735 * * [simplify]: Extracting #1: cost 9 inf + 0
4.735 * * [simplify]: Extracting #2: cost 25 inf + 1
4.735 * * [simplify]: Extracting #3: cost 34 inf + 322
4.735 * * [simplify]: Extracting #4: cost 27 inf + 3209
4.736 * * [simplify]: Extracting #5: cost 22 inf + 4898
4.736 * * [simplify]: Extracting #6: cost 11 inf + 15047
4.737 * * [simplify]: Extracting #7: cost 0 inf + 29315
4.739 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.739 * [simplify]: Simplified (2 2 2 1 2 1 1 2 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
4.739 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (+.p16 (*.p16 a a) (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
4.739 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
4.739 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
4.739 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.739 * * [simplify]: iters left: 3 (7 enodes)
4.741 * * [simplify]: iters left: 2 (12 enodes)
4.743 * * [simplify]: Extracting #0: cost 1 inf + 0
4.743 * * [simplify]: Extracting #1: cost 3 inf + 0
4.743 * * [simplify]: Extracting #2: cost 4 inf + 1
4.743 * * [simplify]: Extracting #3: cost 6 inf + 1
4.743 * * [simplify]: Extracting #4: cost 0 inf + 930
4.743 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.743 * [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))))
4.743 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
4.743 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.743 * * [simplify]: iters left: 3 (7 enodes)
4.745 * * [simplify]: iters left: 2 (12 enodes)
4.747 * * [simplify]: Extracting #0: cost 1 inf + 0
4.747 * * [simplify]: Extracting #1: cost 3 inf + 0
4.747 * * [simplify]: Extracting #2: cost 4 inf + 1
4.747 * * [simplify]: Extracting #3: cost 6 inf + 1
4.747 * * [simplify]: Extracting #4: cost 0 inf + 930
4.747 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.747 * [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))))
4.747 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
4.748 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.748 * * [simplify]: iters left: 3 (7 enodes)
4.749 * * [simplify]: iters left: 2 (12 enodes)
4.751 * * [simplify]: Extracting #0: cost 1 inf + 0
4.751 * * [simplify]: Extracting #1: cost 3 inf + 0
4.751 * * [simplify]: Extracting #2: cost 4 inf + 1
4.751 * * [simplify]: Extracting #3: cost 6 inf + 1
4.751 * * [simplify]: Extracting #4: cost 0 inf + 930
4.751 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.752 * [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))))
4.752 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
4.752 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.752 * * [simplify]: iters left: 3 (7 enodes)
4.754 * * [simplify]: iters left: 2 (12 enodes)
4.756 * * [simplify]: Extracting #0: cost 1 inf + 0
4.756 * * [simplify]: Extracting #1: cost 3 inf + 0
4.756 * * [simplify]: Extracting #2: cost 4 inf + 1
4.756 * * [simplify]: Extracting #3: cost 6 inf + 1
4.756 * * [simplify]: Extracting #4: cost 0 inf + 930
4.756 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.756 * [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))))
4.756 * * * [progress]: adding candidates to table
5.469 * * [progress]: iteration 3 / 4
5.469 * * * [progress]: picking best candidate
5.541 * * * * [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))))>
5.541 * * * [progress]: localizing error
5.873 * * * [progress]: generating rewritten candidates
5.873 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
5.878 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
5.880 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2)
5.881 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
5.885 * * * [progress]: generating series expansions
5.886 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
5.886 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
5.886 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2)
5.886 * * * * [progress]: [ 4 / 4 ] generating series at (2)
5.886 * * * [progress]: simplifying candidates
5.886 * * * * [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))))>
5.886 * [simplify]: Simplifying (real->posit16 9)
5.886 * * [simplify]: iters left: 1 (2 enodes)
5.887 * * [simplify]: Extracting #0: cost 1 inf + 0
5.887 * * [simplify]: Extracting #1: cost 2 inf + 0
5.887 * * [simplify]: Extracting #2: cost 1 inf + 1
5.887 * * [simplify]: Extracting #3: cost 0 inf + 2
5.887 * [simplify]: Simplified to (real->posit16 9)
5.887 * [simplify]: Simplified (2 2 2 1 2 1 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
5.888 * [simplify]: Simplifying (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
5.888 * * [simplify]: iters left: 4 (8 enodes)
5.890 * * [simplify]: iters left: 3 (14 enodes)
5.893 * * [simplify]: iters left: 2 (19 enodes)
5.897 * * [simplify]: iters left: 1 (32 enodes)
5.906 * * [simplify]: Extracting #0: cost 1 inf + 0
5.906 * * [simplify]: Extracting #1: cost 9 inf + 0
5.906 * * [simplify]: Extracting #2: cost 25 inf + 1
5.906 * * [simplify]: Extracting #3: cost 33 inf + 963
5.906 * * [simplify]: Extracting #4: cost 27 inf + 3209
5.907 * * [simplify]: Extracting #5: cost 12 inf + 14484
5.909 * * [simplify]: Extracting #6: cost 1 inf + 26872
5.910 * * [simplify]: Extracting #7: cost 0 inf + 29315
5.918 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.918 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
5.918 * * * * [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))))>
5.918 * [simplify]: Simplifying (real->posit16 9)
5.918 * * [simplify]: iters left: 1 (2 enodes)
5.920 * * [simplify]: Extracting #0: cost 1 inf + 0
5.920 * * [simplify]: Extracting #1: cost 2 inf + 0
5.920 * * [simplify]: Extracting #2: cost 1 inf + 1
5.920 * * [simplify]: Extracting #3: cost 0 inf + 2
5.920 * [simplify]: Simplified to (real->posit16 9)
5.920 * [simplify]: Simplified (2 2 2 1 2 1 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
5.920 * [simplify]: Simplifying (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
5.920 * * [simplify]: iters left: 4 (8 enodes)
5.923 * * [simplify]: iters left: 3 (14 enodes)
5.926 * * [simplify]: iters left: 2 (19 enodes)
5.930 * * [simplify]: iters left: 1 (32 enodes)
5.939 * * [simplify]: Extracting #0: cost 1 inf + 0
5.939 * * [simplify]: Extracting #1: cost 9 inf + 0
5.939 * * [simplify]: Extracting #2: cost 25 inf + 1
5.939 * * [simplify]: Extracting #3: cost 33 inf + 963
5.939 * * [simplify]: Extracting #4: cost 27 inf + 3209
5.940 * * [simplify]: Extracting #5: cost 12 inf + 14484
5.942 * * [simplify]: Extracting #6: cost 1 inf + 26872
5.943 * * [simplify]: Extracting #7: cost 0 inf + 29315
5.945 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.945 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
5.945 * * * * [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))))>
5.945 * * * * [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))))>
5.945 * * * * [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))))>
5.945 * * * * [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))))>
5.946 * [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))
5.946 * * [simplify]: iters left: 6 (20 enodes)
5.952 * * [simplify]: iters left: 5 (46 enodes)
5.963 * * [simplify]: iters left: 4 (94 enodes)
5.990 * * [simplify]: iters left: 3 (263 enodes)
6.101 * * [simplify]: Extracting #0: cost 1 inf + 0
6.101 * * [simplify]: Extracting #1: cost 46 inf + 0
6.102 * * [simplify]: Extracting #2: cost 206 inf + 1
6.103 * * [simplify]: Extracting #3: cost 254 inf + 3214
6.105 * * [simplify]: Extracting #4: cost 298 inf + 8671
6.109 * * [simplify]: Extracting #5: cost 248 inf + 52836
6.127 * * [simplify]: Extracting #6: cost 96 inf + 303962
6.158 * * [simplify]: Extracting #7: cost 7 inf + 462199
6.190 * * [simplify]: Extracting #8: cost 0 inf + 478514
6.225 * * [simplify]: Extracting #9: cost 0 inf + 477674
6.256 * [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))))
6.256 * [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))))))
6.256 * * * * [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))))))>
6.257 * [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))))
6.257 * * [simplify]: iters left: 6 (20 enodes)
6.262 * * [simplify]: iters left: 5 (46 enodes)
6.272 * * [simplify]: iters left: 4 (100 enodes)
6.304 * * [simplify]: iters left: 3 (285 enodes)
6.414 * * [simplify]: Extracting #0: cost 1 inf + 0
6.414 * * [simplify]: Extracting #1: cost 45 inf + 0
6.415 * * [simplify]: Extracting #2: cost 204 inf + 1
6.416 * * [simplify]: Extracting #3: cost 272 inf + 4
6.418 * * [simplify]: Extracting #4: cost 305 inf + 10917
6.420 * * [simplify]: Extracting #5: cost 287 inf + 21819
6.424 * * [simplify]: Extracting #6: cost 261 inf + 44364
6.432 * * [simplify]: Extracting #7: cost 135 inf + 217025
6.456 * * [simplify]: Extracting #8: cost 9 inf + 459064
6.485 * * [simplify]: Extracting #9: cost 0 inf + 475343
6.519 * [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))
6.519 * [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))))
6.519 * * * * [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)))))>
6.519 * [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)))
6.519 * * [simplify]: iters left: 6 (23 enodes)
6.527 * * [simplify]: iters left: 5 (63 enodes)
6.546 * * [simplify]: iters left: 4 (160 enodes)
6.597 * * [simplify]: Extracting #0: cost 1 inf + 0
6.597 * * [simplify]: Extracting #1: cost 31 inf + 0
6.598 * * [simplify]: Extracting #2: cost 126 inf + 0
6.598 * * [simplify]: Extracting #3: cost 192 inf + 965
6.599 * * [simplify]: Extracting #4: cost 220 inf + 4817
6.601 * * [simplify]: Extracting #5: cost 206 inf + 16039
6.602 * * [simplify]: Extracting #6: cost 177 inf + 33734
6.606 * * [simplify]: Extracting #7: cost 103 inf + 117409
6.617 * * [simplify]: Extracting #8: cost 35 inf + 268230
6.636 * * [simplify]: Extracting #9: cost 0 inf + 358340
6.660 * * [simplify]: Extracting #10: cost 0 inf + 348740
6.686 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
6.686 * [simplify]: Simplified (2 1) to (λ (a rand) (/.p16 (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
6.686 * * * * [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)))))>
6.686 * * * * [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))))>
6.687 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.687 * * [simplify]: iters left: 4 (9 enodes)
6.690 * * [simplify]: iters left: 3 (13 enodes)
6.693 * * [simplify]: Extracting #0: cost 1 inf + 0
6.693 * * [simplify]: Extracting #1: cost 3 inf + 0
6.694 * * [simplify]: Extracting #2: cost 5 inf + 0
6.694 * * [simplify]: Extracting #3: cost 6 inf + 1
6.694 * * [simplify]: Extracting #4: cost 7 inf + 2
6.694 * * [simplify]: Extracting #5: cost 0 inf + 1813
6.694 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.694 * [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))))
6.694 * * * * [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))))>
6.694 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.694 * * [simplify]: iters left: 4 (9 enodes)
6.697 * * [simplify]: iters left: 3 (13 enodes)
6.700 * * [simplify]: Extracting #0: cost 1 inf + 0
6.701 * * [simplify]: Extracting #1: cost 3 inf + 0
6.701 * * [simplify]: Extracting #2: cost 5 inf + 0
6.701 * * [simplify]: Extracting #3: cost 6 inf + 1
6.701 * * [simplify]: Extracting #4: cost 7 inf + 2
6.701 * * [simplify]: Extracting #5: cost 0 inf + 1813
6.701 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.701 * [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))))
6.701 * * * * [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))))>
6.701 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.701 * * [simplify]: iters left: 4 (9 enodes)
6.704 * * [simplify]: iters left: 3 (13 enodes)
6.708 * * [simplify]: Extracting #0: cost 1 inf + 0
6.708 * * [simplify]: Extracting #1: cost 3 inf + 0
6.708 * * [simplify]: Extracting #2: cost 5 inf + 0
6.708 * * [simplify]: Extracting #3: cost 6 inf + 1
6.708 * * [simplify]: Extracting #4: cost 7 inf + 2
6.708 * * [simplify]: Extracting #5: cost 0 inf + 1813
6.708 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.708 * [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))))
6.708 * * * * [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))))>
6.708 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.708 * * [simplify]: iters left: 4 (9 enodes)
6.711 * * [simplify]: iters left: 3 (13 enodes)
6.714 * * [simplify]: Extracting #0: cost 1 inf + 0
6.715 * * [simplify]: Extracting #1: cost 3 inf + 0
6.715 * * [simplify]: Extracting #2: cost 5 inf + 0
6.715 * * [simplify]: Extracting #3: cost 6 inf + 1
6.715 * * [simplify]: Extracting #4: cost 7 inf + 2
6.715 * * [simplify]: Extracting #5: cost 0 inf + 1813
6.715 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.715 * [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))))
6.715 * * * [progress]: adding candidates to table
7.238 * * [progress]: iteration 4 / 4
7.238 * * * [progress]: picking best candidate
7.292 * * * * [pick]: Picked  #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))))>
7.292 * * * [progress]: localizing error
7.553 * * * [progress]: generating rewritten candidates
7.553 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1)
7.556 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
7.558 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
7.563 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
7.564 * * * [progress]: generating series expansions
7.564 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1)
7.564 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
7.565 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
7.565 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
7.565 * * * [progress]: simplifying candidates
7.565 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (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))))))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))))>
7.565 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
7.565 * * [simplify]: iters left: 4 (9 enodes)
7.567 * * [simplify]: iters left: 3 (13 enodes)
7.570 * * [simplify]: Extracting #0: cost 1 inf + 0
7.570 * * [simplify]: Extracting #1: cost 3 inf + 0
7.570 * * [simplify]: Extracting #2: cost 5 inf + 0
7.570 * * [simplify]: Extracting #3: cost 6 inf + 1
7.570 * * [simplify]: Extracting #4: cost 7 inf + 2
7.570 * * [simplify]: Extracting #5: cost 0 inf + 1813
7.570 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
7.570 * [simplify]: Simplified (2 2 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (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))))))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))))
7.570 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))))>
7.570 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
7.570 * * [simplify]: iters left: 4 (9 enodes)
7.580 * * [simplify]: iters left: 3 (13 enodes)
7.582 * * [simplify]: Extracting #0: cost 1 inf + 0
7.582 * * [simplify]: Extracting #1: cost 3 inf + 0
7.582 * * [simplify]: Extracting #2: cost 5 inf + 0
7.582 * * [simplify]: Extracting #3: cost 5 inf + 2
7.582 * * [simplify]: Extracting #4: cost 7 inf + 2
7.582 * * [simplify]: Extracting #5: cost 4 inf + 5
7.582 * * [simplify]: Extracting #6: cost 0 inf + 1813
7.582 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
7.582 * [simplify]: Simplified (2 2 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))))
7.582 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (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)))))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))))>
7.583 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
7.583 * * [simplify]: iters left: 3 (7 enodes)
7.585 * * [simplify]: iters left: 2 (12 enodes)
7.587 * * [simplify]: Extracting #0: cost 1 inf + 0
7.587 * * [simplify]: Extracting #1: cost 3 inf + 0
7.588 * * [simplify]: Extracting #2: cost 4 inf + 1
7.588 * * [simplify]: Extracting #3: cost 6 inf + 1
7.588 * * [simplify]: Extracting #4: cost 0 inf + 930
7.588 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
7.588 * [simplify]: Simplified (2 2 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (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)))))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))))
7.588 * * * * [progress]: [ 4 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (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))))>
7.588 * * * * [progress]: [ 5 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (/.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)))) rand) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
7.588 * [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)))) rand)
7.588 * * [simplify]: iters left: 5 (11 enodes)
7.592 * * [simplify]: iters left: 4 (32 enodes)
7.601 * * [simplify]: iters left: 3 (81 enodes)
7.630 * * [simplify]: iters left: 2 (285 enodes)
7.796 * * [simplify]: Extracting #0: cost 1 inf + 0
7.796 * * [simplify]: Extracting #1: cost 57 inf + 0
7.797 * * [simplify]: Extracting #2: cost 272 inf + 1
7.798 * * [simplify]: Extracting #3: cost 360 inf + 2250
7.800 * * [simplify]: Extracting #4: cost 402 inf + 13151
7.802 * * [simplify]: Extracting #5: cost 362 inf + 48496
7.809 * * [simplify]: Extracting #6: cost 266 inf + 183281
7.833 * * [simplify]: Extracting #7: cost 82 inf + 505847
7.874 * * [simplify]: Extracting #8: cost 0 inf + 625437
7.911 * * [simplify]: Extracting #9: cost 0 inf + 623557
7.951 * [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)))) rand)
7.951 * [simplify]: Simplified (2 2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (/.p16 (*.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
7.952 * * * * [progress]: [ 6 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 rand (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))>
7.952 * * * * [progress]: [ 7 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand)))>
7.952 * * * * [progress]: [ 8 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand)) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
7.952 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
7.952 * * [simplify]: iters left: 3 (7 enodes)
7.955 * * [simplify]: iters left: 2 (12 enodes)
7.957 * * [simplify]: Extracting #0: cost 1 inf + 0
7.957 * * [simplify]: Extracting #1: cost 3 inf + 0
7.957 * * [simplify]: Extracting #2: cost 4 inf + 1
7.958 * * [simplify]: Extracting #3: cost 6 inf + 1
7.958 * * [simplify]: Extracting #4: cost 0 inf + 930
7.958 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
7.958 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand)) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
7.958 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (real->posit16 1) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
7.958 * [simplify]: Simplifying (*.p16 (real->posit16 1) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))
7.958 * * [simplify]: iters left: 5 (12 enodes)
7.962 * * [simplify]: iters left: 4 (32 enodes)
7.970 * * [simplify]: iters left: 3 (72 enodes)
7.992 * * [simplify]: iters left: 2 (203 enodes)
8.059 * * [simplify]: Extracting #0: cost 1 inf + 0
8.059 * * [simplify]: Extracting #1: cost 38 inf + 0
8.060 * * [simplify]: Extracting #2: cost 159 inf + 1
8.061 * * [simplify]: Extracting #3: cost 225 inf + 1612
8.062 * * [simplify]: Extracting #4: cost 239 inf + 13484
8.064 * * [simplify]: Extracting #5: cost 245 inf + 23744
8.069 * * [simplify]: Extracting #6: cost 157 inf + 103374
8.083 * * [simplify]: Extracting #7: cost 41 inf + 272424
8.104 * * [simplify]: Extracting #8: cost 1 inf + 342335
8.127 * * [simplify]: Extracting #9: cost 0 inf + 344819
8.148 * [simplify]: Simplified to (*.p16 (real->posit16 1) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))
8.148 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (real->posit16 1) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
8.149 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))>
8.149 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand))))>
8.149 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.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)))) rand))))>
8.149 * * * * [progress]: [ 13 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (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))))>
8.149 * [simplify]: Simplifying (+.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)))
8.149 * * [simplify]: iters left: 6 (19 enodes)
8.156 * * [simplify]: iters left: 5 (45 enodes)
8.166 * * [simplify]: iters left: 4 (113 enodes)
8.192 * * [simplify]: iters left: 3 (353 enodes)
8.624 * * [simplify]: Extracting #0: cost 1 inf + 0
8.624 * * [simplify]: Extracting #1: cost 28 inf + 0
8.624 * * [simplify]: Extracting #2: cost 109 inf + 0
8.626 * * [simplify]: Extracting #3: cost 307 inf + 324
8.628 * * [simplify]: Extracting #4: cost 358 inf + 6748
8.630 * * [simplify]: Extracting #5: cost 401 inf + 13486
8.635 * * [simplify]: Extracting #6: cost 366 inf + 43798
8.657 * * [simplify]: Extracting #7: cost 199 inf + 297008
8.689 * * [simplify]: Extracting #8: cost 9 inf + 638872
8.726 * * [simplify]: Extracting #9: cost 0 inf + 654033
8.764 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand) (real->posit16 1)))
8.764 * [simplify]: Simplified (2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand) (real->posit16 1))))
8.764 * * * * [progress]: [ 14 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (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))))>
8.764 * [simplify]: Simplifying (+.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)))
8.764 * * [simplify]: iters left: 6 (19 enodes)
8.769 * * [simplify]: iters left: 5 (45 enodes)
8.777 * * [simplify]: iters left: 4 (113 enodes)
8.815 * * [simplify]: iters left: 3 (353 enodes)
8.941 * * [simplify]: Extracting #0: cost 1 inf + 0
8.941 * * [simplify]: Extracting #1: cost 28 inf + 0
8.942 * * [simplify]: Extracting #2: cost 109 inf + 0
8.942 * * [simplify]: Extracting #3: cost 307 inf + 324
8.944 * * [simplify]: Extracting #4: cost 358 inf + 6748
8.945 * * [simplify]: Extracting #5: cost 401 inf + 13486
8.948 * * [simplify]: Extracting #6: cost 366 inf + 43798
8.962 * * [simplify]: Extracting #7: cost 199 inf + 297008
9.002 * * [simplify]: Extracting #8: cost 9 inf + 638872
9.038 * * [simplify]: Extracting #9: cost 0 inf + 654033
9.071 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand) (real->posit16 1)))
9.071 * [simplify]: Simplified (2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand) (real->posit16 1))))
9.071 * * * * [progress]: [ 15 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (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))))>
9.071 * [simplify]: Simplifying (+.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)))
9.072 * * [simplify]: iters left: 6 (19 enodes)
9.076 * * [simplify]: iters left: 5 (45 enodes)
9.085 * * [simplify]: iters left: 4 (113 enodes)
9.112 * * [simplify]: iters left: 3 (353 enodes)
9.255 * * [simplify]: Extracting #0: cost 1 inf + 0
9.255 * * [simplify]: Extracting #1: cost 28 inf + 0
9.256 * * [simplify]: Extracting #2: cost 109 inf + 0
9.257 * * [simplify]: Extracting #3: cost 307 inf + 324
9.259 * * [simplify]: Extracting #4: cost 358 inf + 6748
9.261 * * [simplify]: Extracting #5: cost 401 inf + 13486
9.265 * * [simplify]: Extracting #6: cost 366 inf + 43798
9.281 * * [simplify]: Extracting #7: cost 199 inf + 297008
9.323 * * [simplify]: Extracting #8: cost 9 inf + 638872
9.369 * * [simplify]: Extracting #9: cost 0 inf + 654033
9.416 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand) (real->posit16 1)))
9.416 * [simplify]: Simplified (2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand) (real->posit16 1))))
9.416 * * * * [progress]: [ 16 / 16 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (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))))>
9.417 * [simplify]: Simplifying (+.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)))
9.417 * * [simplify]: iters left: 6 (19 enodes)
9.424 * * [simplify]: iters left: 5 (45 enodes)
9.436 * * [simplify]: iters left: 4 (113 enodes)
9.476 * * [simplify]: iters left: 3 (353 enodes)
9.608 * * [simplify]: Extracting #0: cost 1 inf + 0
9.608 * * [simplify]: Extracting #1: cost 28 inf + 0
9.608 * * [simplify]: Extracting #2: cost 109 inf + 0
9.610 * * [simplify]: Extracting #3: cost 307 inf + 324
9.615 * * [simplify]: Extracting #4: cost 358 inf + 6748
9.617 * * [simplify]: Extracting #5: cost 401 inf + 13486
9.621 * * [simplify]: Extracting #6: cost 366 inf + 43798
9.637 * * [simplify]: Extracting #7: cost 199 inf + 297008
9.676 * * [simplify]: Extracting #8: cost 9 inf + 638872
9.721 * * [simplify]: Extracting #9: cost 0 inf + 654033
9.765 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand) (real->posit16 1)))
9.765 * [simplify]: Simplified (2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand) (real->posit16 1))))
9.765 * * * [progress]: adding candidates to table
10.517 * [progress]: [Phase 3 of 3] Extracting.
10.517 * * [regime]: Finding splitpoints for: (#<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (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 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (/.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))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand)) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>)
10.525 * * * [regime-changes]: Trying 2 branch expressions: (rand a)
10.525 * * * * [regimes]: Trying to branch on rand from (#<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (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 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (/.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))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand)) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>)
10.704 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (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 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (/.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))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) rand)) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>)
10.929 * * * [regime]: Found split indices: #<option (#s(si 2 256))>
10.929 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
10.930 * * [simplify]: iters left: 6 (23 enodes)
10.932 * * [simplify]: iters left: 5 (25 enodes)
10.934 * * [simplify]: Extracting #0: cost 1 inf + 0
10.934 * * [simplify]: Extracting #1: cost 3 inf + 0
10.934 * * [simplify]: Extracting #2: cost 7 inf + 0
10.934 * * [simplify]: Extracting #3: cost 11 inf + 1
10.934 * * [simplify]: Extracting #4: cost 11 inf + 4
10.934 * * [simplify]: Extracting #5: cost 10 inf + 6
10.935 * * [simplify]: Extracting #6: cost 9 inf + 450
10.935 * * [simplify]: Extracting #7: cost 9 inf + 1456
10.935 * * [simplify]: Extracting #8: cost 12 inf + 1456
10.935 * * [simplify]: Extracting #9: cost 8 inf + 3703
10.935 * * [simplify]: Extracting #10: cost 5 inf + 7152
10.936 * * [simplify]: Extracting #11: cost 2 inf + 14367
10.937 * * [simplify]: Extracting #12: cost 0 inf + 20379
10.938 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
10.938 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
10.966 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
10.971 * * * * [points]: Setting MPFR precision to 64
10.972 * * * * [points]: Setting MPFR precision to 320
10.972 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
10.977 * * * * [points]: Setting MPFR precision to 64
10.987 * * * * [points]: Setting MPFR precision to 320
10.989 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
10.996 * * * * [points]: Setting MPFR precision to 64
11.001 * * * * [points]: Setting MPFR precision to 320
11.004 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
11.009 * * * * [points]: Setting MPFR precision to 64
11.016 * * * * [points]: Setting MPFR precision to 320
11.022 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
11.027 * * * * [points]: Setting MPFR precision to 64
11.040 * * * * [points]: Setting MPFR precision to 320
11.054 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
11.059 * * * * [points]: Setting MPFR precision to 64
11.104 * * * * [points]: Setting MPFR precision to 320
11.133 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
11.138 * * * * [points]: Setting MPFR precision to 64
11.192 * * * * [points]: Setting MPFR precision to 320
11.272 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
11.277 * * * * [points]: Setting MPFR precision to 64
11.413 * * * * [points]: Setting MPFR precision to 320
11.552 * * * * [points]: Computing exacts for 8000 points
11.557 * * * * [points]: Setting MPFR precision to 64
12.227 * * * * [points]: Setting MPFR precision to 320
12.932 * * * * [points]: Filtering points with unrepresentable outputs
12.949 * * * * [points]: Sampled 8000 points with exact outputs
19.446 * [regime-testing]: Baseline error score: 64.0
19.450 * [regime-testing]: Oracle error score: 64.0
19.457 * [regime-testing]: End program error score: 0.22504673274059678