0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.002 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.006 * * * * [points]: Setting MPFR precision to 64
0.007 * * * * [points]: Setting MPFR precision to 320
0.008 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.012 * * * * [points]: Setting MPFR precision to 64
0.014 * * * * [points]: Setting MPFR precision to 320
0.016 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.021 * * * * [points]: Setting MPFR precision to 64
0.024 * * * * [points]: Setting MPFR precision to 320
0.032 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.037 * * * * [points]: Setting MPFR precision to 64
0.042 * * * * [points]: Setting MPFR precision to 320
0.046 * * * * [points]: Computing exacts for 256 points
0.051 * * * * [points]: Setting MPFR precision to 64
0.065 * * * * [points]: Setting MPFR precision to 320
0.079 * * * * [points]: Filtering points with unrepresentable outputs
0.079 * * * * [points]: Sampled 256 points with exact outputs
0.079 * * * [progress]: [2/2] Setting up program.
0.094 * [progress]: [Phase 2 of 3] Improving.
0.095 * * * * [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.095 * [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.095 * * [simplify]: iters left: 6 (18 enodes)
0.100 * * [simplify]: iters left: 5 (47 enodes)
0.109 * * [simplify]: iters left: 4 (121 enodes)
0.179 * * [simplify]: iters left: 3 (337 enodes)
0.379 * * [simplify]: Extracting #0: cost 1 inf + 0
0.379 * * [simplify]: Extracting #1: cost 34 inf + 0
0.380 * * [simplify]: Extracting #2: cost 204 inf + 0
0.382 * * [simplify]: Extracting #3: cost 326 inf + 1286
0.385 * * [simplify]: Extracting #4: cost 362 inf + 6740
0.389 * * [simplify]: Extracting #5: cost 377 inf + 18286
0.393 * * [simplify]: Extracting #6: cost 358 inf + 29885
0.406 * * [simplify]: Extracting #7: cost 252 inf + 186163
0.434 * * [simplify]: Extracting #8: cost 47 inf + 586692
0.480 * * [simplify]: Extracting #9: cost 0 inf + 696950
0.525 * * [simplify]: Extracting #10: cost 0 inf + 694590
0.566 * [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.566 * [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.582 * * [progress]: iteration 1 / 4
0.582 * * * [progress]: picking best candidate
0.602 * * * * [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.602 * * * [progress]: localizing error
0.854 * * * [progress]: generating rewritten candidates
0.854 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
0.857 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1 2)
0.859 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.860 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2)
0.860 * * * [progress]: generating series expansions
0.860 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
0.861 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1 2)
0.861 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.861 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2)
0.861 * * * [progress]: simplifying candidates
0.861 * * * * [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.861 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.861 * * [simplify]: iters left: 4 (9 enodes)
0.864 * * [simplify]: iters left: 3 (13 enodes)
0.866 * * [simplify]: Extracting #0: cost 1 inf + 0
0.866 * * [simplify]: Extracting #1: cost 3 inf + 0
0.866 * * [simplify]: Extracting #2: cost 5 inf + 0
0.866 * * [simplify]: Extracting #3: cost 6 inf + 1
0.866 * * [simplify]: Extracting #4: cost 7 inf + 2
0.866 * * [simplify]: Extracting #5: cost 0 inf + 1813
0.866 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.866 * [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.866 * * * * [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.867 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
0.867 * * [simplify]: iters left: 4 (9 enodes)
0.869 * * [simplify]: iters left: 3 (13 enodes)
0.871 * * [simplify]: Extracting #0: cost 1 inf + 0
0.871 * * [simplify]: Extracting #1: cost 3 inf + 0
0.871 * * [simplify]: Extracting #2: cost 5 inf + 0
0.871 * * [simplify]: Extracting #3: cost 5 inf + 2
0.871 * * [simplify]: Extracting #4: cost 7 inf + 2
0.871 * * [simplify]: Extracting #5: cost 4 inf + 5
0.871 * * [simplify]: Extracting #6: cost 0 inf + 1813
0.872 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
0.872 * [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.872 * * * * [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.872 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.872 * * [simplify]: iters left: 3 (7 enodes)
0.881 * * [simplify]: iters left: 2 (12 enodes)
0.883 * * [simplify]: Extracting #0: cost 1 inf + 0
0.883 * * [simplify]: Extracting #1: cost 3 inf + 0
0.883 * * [simplify]: Extracting #2: cost 4 inf + 1
0.883 * * [simplify]: Extracting #3: cost 6 inf + 1
0.883 * * [simplify]: Extracting #4: cost 0 inf + 930
0.884 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.884 * [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.884 * * * * [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.884 * * * * [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.884 * * * * [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.884 * * * * [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.884 * * * * [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.884 * * * * [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.884 * [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.884 * * [simplify]: iters left: 6 (18 enodes)
0.890 * * [simplify]: iters left: 5 (47 enodes)
0.900 * * [simplify]: iters left: 4 (121 enodes)
0.934 * * [simplify]: iters left: 3 (337 enodes)
1.089 * * [simplify]: Extracting #0: cost 1 inf + 0
1.089 * * [simplify]: Extracting #1: cost 34 inf + 0
1.089 * * [simplify]: Extracting #2: cost 204 inf + 0
1.090 * * [simplify]: Extracting #3: cost 326 inf + 1286
1.092 * * [simplify]: Extracting #4: cost 362 inf + 6740
1.094 * * [simplify]: Extracting #5: cost 377 inf + 18286
1.096 * * [simplify]: Extracting #6: cost 358 inf + 29885
1.103 * * [simplify]: Extracting #7: cost 252 inf + 186163
1.151 * * [simplify]: Extracting #8: cost 47 inf + 586692
1.187 * * [simplify]: Extracting #9: cost 0 inf + 696950
1.244 * * [simplify]: Extracting #10: cost 0 inf + 694590
1.302 * [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.302 * [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.302 * * * * [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.302 * [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.302 * * [simplify]: iters left: 6 (18 enodes)
1.307 * * [simplify]: iters left: 5 (47 enodes)
1.320 * * [simplify]: iters left: 4 (121 enodes)
1.356 * * [simplify]: iters left: 3 (337 enodes)
1.496 * * [simplify]: Extracting #0: cost 1 inf + 0
1.497 * * [simplify]: Extracting #1: cost 34 inf + 0
1.497 * * [simplify]: Extracting #2: cost 204 inf + 0
1.499 * * [simplify]: Extracting #3: cost 326 inf + 1286
1.502 * * [simplify]: Extracting #4: cost 362 inf + 6740
1.505 * * [simplify]: Extracting #5: cost 377 inf + 18286
1.510 * * [simplify]: Extracting #6: cost 358 inf + 29885
1.522 * * [simplify]: Extracting #7: cost 252 inf + 186163
1.553 * * [simplify]: Extracting #8: cost 47 inf + 586692
1.601 * * [simplify]: Extracting #9: cost 0 inf + 696950
1.660 * * [simplify]: Extracting #10: cost 0 inf + 694590
1.706 * [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.707 * [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.708 * * * * [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.708 * [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.708 * * [simplify]: iters left: 6 (18 enodes)
1.714 * * [simplify]: iters left: 5 (47 enodes)
1.729 * * [simplify]: iters left: 4 (121 enodes)
1.773 * * [simplify]: iters left: 3 (337 enodes)
1.955 * * [simplify]: Extracting #0: cost 1 inf + 0
1.955 * * [simplify]: Extracting #1: cost 34 inf + 0
1.956 * * [simplify]: Extracting #2: cost 204 inf + 0
1.958 * * [simplify]: Extracting #3: cost 326 inf + 1286
1.960 * * [simplify]: Extracting #4: cost 362 inf + 6740
1.963 * * [simplify]: Extracting #5: cost 377 inf + 18286
1.966 * * [simplify]: Extracting #6: cost 358 inf + 29885
1.980 * * [simplify]: Extracting #7: cost 252 inf + 186163
2.017 * * [simplify]: Extracting #8: cost 47 inf + 586692
2.073 * * [simplify]: Extracting #9: cost 0 inf + 696950
2.130 * * [simplify]: Extracting #10: cost 0 inf + 694590
2.167 * [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.167 * [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.167 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
2.167 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
2.167 * * [simplify]: iters left: 6 (18 enodes)
2.172 * * [simplify]: iters left: 5 (47 enodes)
2.181 * * [simplify]: iters left: 4 (121 enodes)
2.213 * * [simplify]: iters left: 3 (337 enodes)
2.365 * * [simplify]: Extracting #0: cost 1 inf + 0
2.365 * * [simplify]: Extracting #1: cost 34 inf + 0
2.366 * * [simplify]: Extracting #2: cost 204 inf + 0
2.367 * * [simplify]: Extracting #3: cost 326 inf + 1286
2.368 * * [simplify]: Extracting #4: cost 362 inf + 6740
2.370 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.376 * * [simplify]: Extracting #6: cost 358 inf + 29885
2.386 * * [simplify]: Extracting #7: cost 252 inf + 186163
2.427 * * [simplify]: Extracting #8: cost 47 inf + 586692
2.482 * * [simplify]: Extracting #9: cost 0 inf + 696950
2.539 * * [simplify]: Extracting #10: cost 0 inf + 694590
2.585 * [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.585 * [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.585 * * * [progress]: adding candidates to table
3.086 * * [progress]: iteration 2 / 4
3.087 * * * [progress]: picking best candidate
3.182 * * * * [pick]: Picked  #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
3.182 * * * [progress]: localizing error
3.464 * * * [progress]: generating rewritten candidates
3.464 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
3.469 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.471 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2)
3.472 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
3.484 * * * [progress]: generating series expansions
3.484 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
3.484 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.484 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2)
3.484 * * * * [progress]: [ 4 / 4 ] generating series at (2)
3.485 * * * [progress]: simplifying candidates
3.485 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
3.485 * [simplify]: Simplifying (real->posit16 9)
3.485 * * [simplify]: iters left: 1 (2 enodes)
3.487 * * [simplify]: Extracting #0: cost 1 inf + 0
3.487 * * [simplify]: Extracting #1: cost 2 inf + 0
3.487 * * [simplify]: Extracting #2: cost 1 inf + 1
3.487 * * [simplify]: Extracting #3: cost 0 inf + 2
3.487 * [simplify]: Simplified to (real->posit16 9)
3.487 * [simplify]: Simplified (2 2 2 1 2 1 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
3.487 * [simplify]: Simplifying (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
3.487 * * [simplify]: iters left: 4 (8 enodes)
3.490 * * [simplify]: iters left: 3 (14 enodes)
3.493 * * [simplify]: iters left: 2 (19 enodes)
3.498 * * [simplify]: iters left: 1 (32 enodes)
3.508 * * [simplify]: Extracting #0: cost 1 inf + 0
3.508 * * [simplify]: Extracting #1: cost 9 inf + 0
3.508 * * [simplify]: Extracting #2: cost 25 inf + 1
3.508 * * [simplify]: Extracting #3: cost 33 inf + 963
3.508 * * [simplify]: Extracting #4: cost 27 inf + 3209
3.509 * * [simplify]: Extracting #5: cost 12 inf + 14484
3.510 * * [simplify]: Extracting #6: cost 1 inf + 26872
3.512 * * [simplify]: Extracting #7: cost 0 inf + 29315
3.514 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
3.514 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
3.514 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
3.515 * [simplify]: Simplifying (real->posit16 9)
3.515 * * [simplify]: iters left: 1 (2 enodes)
3.516 * * [simplify]: Extracting #0: cost 1 inf + 0
3.516 * * [simplify]: Extracting #1: cost 2 inf + 0
3.516 * * [simplify]: Extracting #2: cost 1 inf + 1
3.516 * * [simplify]: Extracting #3: cost 0 inf + 2
3.516 * [simplify]: Simplified to (real->posit16 9)
3.516 * [simplify]: Simplified (2 2 2 1 2 1 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
3.516 * [simplify]: Simplifying (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
3.516 * * [simplify]: iters left: 4 (8 enodes)
3.519 * * [simplify]: iters left: 3 (14 enodes)
3.522 * * [simplify]: iters left: 2 (19 enodes)
3.528 * * [simplify]: iters left: 1 (32 enodes)
3.537 * * [simplify]: Extracting #0: cost 1 inf + 0
3.537 * * [simplify]: Extracting #1: cost 9 inf + 0
3.537 * * [simplify]: Extracting #2: cost 25 inf + 1
3.538 * * [simplify]: Extracting #3: cost 33 inf + 963
3.538 * * [simplify]: Extracting #4: cost 27 inf + 3209
3.538 * * [simplify]: Extracting #5: cost 12 inf + 14484
3.540 * * [simplify]: Extracting #6: cost 1 inf + 26872
3.542 * * [simplify]: Extracting #7: cost 0 inf + 29315
3.544 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
3.544 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
3.544 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 9) a)))) rand))))>
3.544 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
3.544 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
3.544 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
3.544 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))
3.545 * * [simplify]: iters left: 6 (20 enodes)
3.553 * * [simplify]: iters left: 5 (46 enodes)
3.565 * * [simplify]: iters left: 4 (94 enodes)
3.592 * * [simplify]: iters left: 3 (263 enodes)
3.707 * * [simplify]: Extracting #0: cost 1 inf + 0
3.707 * * [simplify]: Extracting #1: cost 46 inf + 0
3.708 * * [simplify]: Extracting #2: cost 206 inf + 1
3.709 * * [simplify]: Extracting #3: cost 254 inf + 3214
3.711 * * [simplify]: Extracting #4: cost 298 inf + 8671
3.714 * * [simplify]: Extracting #5: cost 248 inf + 52836
3.730 * * [simplify]: Extracting #6: cost 96 inf + 303962
3.763 * * [simplify]: Extracting #7: cost 7 inf + 462199
3.799 * * [simplify]: Extracting #8: cost 0 inf + 478514
3.840 * * [simplify]: Extracting #9: cost 0 inf + 477674
3.879 * [simplify]: Simplified to (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))
3.879 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
3.880 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))>
3.880 * [simplify]: Simplifying (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
3.880 * * [simplify]: iters left: 6 (20 enodes)
3.887 * * [simplify]: iters left: 5 (46 enodes)
3.896 * * [simplify]: iters left: 4 (100 enodes)
3.919 * * [simplify]: iters left: 3 (285 enodes)
4.040 * * [simplify]: Extracting #0: cost 1 inf + 0
4.040 * * [simplify]: Extracting #1: cost 45 inf + 0
4.041 * * [simplify]: Extracting #2: cost 204 inf + 1
4.042 * * [simplify]: Extracting #3: cost 272 inf + 4
4.043 * * [simplify]: Extracting #4: cost 305 inf + 10917
4.045 * * [simplify]: Extracting #5: cost 287 inf + 21819
4.047 * * [simplify]: Extracting #6: cost 261 inf + 44364
4.055 * * [simplify]: Extracting #7: cost 135 inf + 217025
4.082 * * [simplify]: Extracting #8: cost 9 inf + 459064
4.118 * * [simplify]: Extracting #9: cost 0 inf + 475343
4.155 * [simplify]: Simplified to (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))
4.155 * [simplify]: Simplified (2 2) to (λ (a rand) (+.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))))
4.155 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (a rand) (/.p16 (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))>
4.156 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))
4.156 * * [simplify]: iters left: 6 (23 enodes)
4.164 * * [simplify]: iters left: 5 (63 enodes)
4.184 * * [simplify]: iters left: 4 (160 enodes)
4.238 * * [simplify]: Extracting #0: cost 1 inf + 0
4.238 * * [simplify]: Extracting #1: cost 31 inf + 0
4.238 * * [simplify]: Extracting #2: cost 126 inf + 0
4.239 * * [simplify]: Extracting #3: cost 192 inf + 965
4.240 * * [simplify]: Extracting #4: cost 220 inf + 4817
4.241 * * [simplify]: Extracting #5: cost 206 inf + 16039
4.242 * * [simplify]: Extracting #6: cost 177 inf + 33734
4.247 * * [simplify]: Extracting #7: cost 103 inf + 117409
4.266 * * [simplify]: Extracting #8: cost 35 inf + 268230
4.299 * * [simplify]: Extracting #9: cost 0 inf + 358340
4.317 * * [simplify]: Extracting #10: cost 0 inf + 348740
4.337 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
4.337 * [simplify]: Simplified (2 1) to (λ (a rand) (/.p16 (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
4.338 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))>
4.338 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
4.338 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.338 * * [simplify]: iters left: 4 (9 enodes)
4.342 * * [simplify]: iters left: 3 (13 enodes)
4.345 * * [simplify]: Extracting #0: cost 1 inf + 0
4.345 * * [simplify]: Extracting #1: cost 3 inf + 0
4.345 * * [simplify]: Extracting #2: cost 5 inf + 0
4.345 * * [simplify]: Extracting #3: cost 6 inf + 1
4.345 * * [simplify]: Extracting #4: cost 7 inf + 2
4.345 * * [simplify]: Extracting #5: cost 0 inf + 1813
4.345 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.345 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
4.346 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
4.346 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.346 * * [simplify]: iters left: 4 (9 enodes)
4.349 * * [simplify]: iters left: 3 (13 enodes)
4.352 * * [simplify]: Extracting #0: cost 1 inf + 0
4.352 * * [simplify]: Extracting #1: cost 3 inf + 0
4.352 * * [simplify]: Extracting #2: cost 5 inf + 0
4.353 * * [simplify]: Extracting #3: cost 6 inf + 1
4.353 * * [simplify]: Extracting #4: cost 7 inf + 2
4.353 * * [simplify]: Extracting #5: cost 0 inf + 1813
4.353 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.353 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
4.353 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
4.353 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.353 * * [simplify]: iters left: 4 (9 enodes)
4.357 * * [simplify]: iters left: 3 (13 enodes)
4.360 * * [simplify]: Extracting #0: cost 1 inf + 0
4.360 * * [simplify]: Extracting #1: cost 3 inf + 0
4.360 * * [simplify]: Extracting #2: cost 5 inf + 0
4.360 * * [simplify]: Extracting #3: cost 6 inf + 1
4.360 * * [simplify]: Extracting #4: cost 7 inf + 2
4.360 * * [simplify]: Extracting #5: cost 0 inf + 1813
4.360 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.360 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
4.360 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
4.361 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.361 * * [simplify]: iters left: 4 (9 enodes)
4.364 * * [simplify]: iters left: 3 (13 enodes)
4.367 * * [simplify]: Extracting #0: cost 1 inf + 0
4.367 * * [simplify]: Extracting #1: cost 3 inf + 0
4.367 * * [simplify]: Extracting #2: cost 5 inf + 0
4.367 * * [simplify]: Extracting #3: cost 6 inf + 1
4.367 * * [simplify]: Extracting #4: cost 7 inf + 2
4.368 * * [simplify]: Extracting #5: cost 0 inf + 1813
4.368 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
4.368 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
4.368 * * * [progress]: adding candidates to table
4.916 * * [progress]: iteration 3 / 4
4.916 * * * [progress]: picking best candidate
5.027 * * * * [pick]: Picked  #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
5.027 * * * [progress]: localizing error
5.360 * * * [progress]: generating rewritten candidates
5.360 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1 2 1 2)
5.371 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1 2)
5.375 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1 2 1)
5.378 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 1)
5.382 * * * [progress]: generating series expansions
5.382 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1 2 1 2)
5.382 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1 2)
5.382 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1 2 1)
5.382 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 1)
5.382 * * * [progress]: simplifying candidates
5.382 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (/.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 1.0)) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
5.383 * [simplify]: Simplifying (real->posit16 3.0)
5.383 * * [simplify]: iters left: 1 (2 enodes)
5.385 * * [simplify]: Extracting #0: cost 1 inf + 0
5.385 * * [simplify]: Extracting #1: cost 2 inf + 0
5.385 * * [simplify]: Extracting #2: cost 1 inf + 1
5.385 * * [simplify]: Extracting #3: cost 0 inf + 2
5.385 * [simplify]: Simplified to (real->posit16 3.0)
5.385 * [simplify]: Simplified (2 2 2 1 2 1 2 1 2 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (/.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 1.0)) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
5.385 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (/.p16 (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
5.385 * [simplify]: Simplifying (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.385 * * [simplify]: iters left: 3 (6 enodes)
5.388 * * [simplify]: iters left: 2 (11 enodes)
5.391 * * [simplify]: iters left: 1 (19 enodes)
5.394 * * [simplify]: Extracting #0: cost 1 inf + 0
5.394 * * [simplify]: Extracting #1: cost 3 inf + 0
5.394 * * [simplify]: Extracting #2: cost 8 inf + 0
5.394 * * [simplify]: Extracting #3: cost 6 inf + 2
5.394 * * [simplify]: Extracting #4: cost 4 inf + 4
5.394 * * [simplify]: Extracting #5: cost 0 inf + 1530
5.394 * [simplify]: Simplified to (/.p16 (real->posit16 1.0) (real->posit16 3.0))
5.394 * [simplify]: Simplified (2 2 2 1 2 1 2 1 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
5.394 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
5.394 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand))))>
5.395 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.395 * * [simplify]: iters left: 3 (7 enodes)
5.397 * * [simplify]: iters left: 2 (12 enodes)
5.399 * * [simplify]: Extracting #0: cost 1 inf + 0
5.399 * * [simplify]: Extracting #1: cost 3 inf + 0
5.399 * * [simplify]: Extracting #2: cost 4 inf + 1
5.399 * * [simplify]: Extracting #3: cost 6 inf + 1
5.400 * * [simplify]: Extracting #4: cost 0 inf + 930
5.400 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.400 * [simplify]: Simplified (2 2 2 1 2 1 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand))))
5.400 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) rand))))>
5.400 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
5.400 * * [simplify]: iters left: 5 (11 enodes)
5.404 * * [simplify]: iters left: 4 (37 enodes)
5.417 * * [simplify]: iters left: 3 (103 enodes)
5.454 * * [simplify]: iters left: 2 (380 enodes)
5.797 * * [simplify]: Extracting #0: cost 1 inf + 0
5.797 * * [simplify]: Extracting #1: cost 57 inf + 0
5.802 * * [simplify]: Extracting #2: cost 301 inf + 0
5.804 * * [simplify]: Extracting #3: cost 460 inf + 1606
5.809 * * [simplify]: Extracting #4: cost 534 inf + 50604
5.826 * * [simplify]: Extracting #5: cost 252 inf + 491549
5.870 * * [simplify]: Extracting #6: cost 44 inf + 989724
5.923 * * [simplify]: Extracting #7: cost 1 inf + 1069838
5.974 * * [simplify]: Extracting #8: cost 0 inf + 1050721
6.042 * * [simplify]: Extracting #9: cost 0 inf + 1048881
6.106 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0))) (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0)))))
6.106 * [simplify]: Simplified (2 2 2 1 2 1 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0))) (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0))))) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) rand))))
6.106 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
6.106 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.107 * * [simplify]: iters left: 3 (7 enodes)
6.109 * * [simplify]: iters left: 2 (12 enodes)
6.112 * * [simplify]: Extracting #0: cost 1 inf + 0
6.112 * * [simplify]: Extracting #1: cost 3 inf + 0
6.112 * * [simplify]: Extracting #2: cost 4 inf + 1
6.112 * * [simplify]: Extracting #3: cost 6 inf + 1
6.112 * * [simplify]: Extracting #4: cost 0 inf + 930
6.113 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.113 * [simplify]: Simplified (2 2 2 1 2 1 2 1 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
6.113 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.113 * * [simplify]: iters left: 3 (7 enodes)
6.115 * * [simplify]: iters left: 2 (18 enodes)
6.120 * * [simplify]: iters left: 1 (32 enodes)
6.130 * * [simplify]: Extracting #0: cost 1 inf + 0
6.130 * * [simplify]: Extracting #1: cost 9 inf + 0
6.130 * * [simplify]: Extracting #2: cost 25 inf + 1
6.130 * * [simplify]: Extracting #3: cost 34 inf + 322
6.130 * * [simplify]: Extracting #4: cost 27 inf + 3209
6.130 * * [simplify]: Extracting #5: cost 22 inf + 4898
6.131 * * [simplify]: Extracting #6: cost 11 inf + 15047
6.133 * * [simplify]: Extracting #7: cost 0 inf + 29315
6.135 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.135 * [simplify]: Simplified (2 2 2 1 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
6.135 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (+.p16 (*.p16 a a) (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
6.135 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
6.135 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
6.135 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.135 * * [simplify]: iters left: 3 (7 enodes)
6.138 * * [simplify]: iters left: 2 (12 enodes)
6.141 * * [simplify]: Extracting #0: cost 1 inf + 0
6.141 * * [simplify]: Extracting #1: cost 3 inf + 0
6.141 * * [simplify]: Extracting #2: cost 4 inf + 1
6.141 * * [simplify]: Extracting #3: cost 6 inf + 1
6.141 * * [simplify]: Extracting #4: cost 0 inf + 930
6.141 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.141 * [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))))
6.141 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9)))) rand))))>
6.141 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
6.141 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
6.141 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
6.142 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
6.142 * * * [progress]: adding candidates to table
6.783 * * [progress]: iteration 4 / 4
6.783 * * * [progress]: picking best candidate
6.922 * * * * [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))))>
6.922 * * * [progress]: localizing error
7.351 * * * [progress]: generating rewritten candidates
7.351 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1 1 2 2)
7.353 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1)
7.358 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1 1)
7.362 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 1 1 2)
7.364 * * * [progress]: generating series expansions
7.364 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1 1 2 2)
7.364 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1)
7.364 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1 1)
7.364 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 1 1 2)
7.364 * * * [progress]: simplifying candidates
7.364 * * * * [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))))>
7.365 * [simplify]: Simplifying (real->posit16 3.0)
7.365 * * [simplify]: iters left: 1 (2 enodes)
7.366 * * [simplify]: Extracting #0: cost 1 inf + 0
7.366 * * [simplify]: Extracting #1: cost 2 inf + 0
7.366 * * [simplify]: Extracting #2: cost 1 inf + 1
7.366 * * [simplify]: Extracting #3: cost 0 inf + 2
7.366 * [simplify]: Simplified to (real->posit16 3.0)
7.366 * [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))))
7.366 * * * * [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))))>
7.366 * [simplify]: Simplifying (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
7.366 * * [simplify]: iters left: 3 (6 enodes)
7.368 * * [simplify]: iters left: 2 (11 enodes)
7.370 * * [simplify]: iters left: 1 (19 enodes)
7.373 * * [simplify]: Extracting #0: cost 1 inf + 0
7.373 * * [simplify]: Extracting #1: cost 3 inf + 0
7.373 * * [simplify]: Extracting #2: cost 8 inf + 0
7.373 * * [simplify]: Extracting #3: cost 6 inf + 2
7.373 * * [simplify]: Extracting #4: cost 4 inf + 4
7.373 * * [simplify]: Extracting #5: cost 0 inf + 1530
7.374 * [simplify]: Simplified to (/.p16 (real->posit16 1.0) (real->posit16 3.0))
7.374 * [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))))
7.374 * * * * [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))))>
7.374 * * * * [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))))>
7.374 * [simplify]: Simplifying (real->posit16 9)
7.374 * * [simplify]: iters left: 1 (2 enodes)
7.375 * * [simplify]: Extracting #0: cost 1 inf + 0
7.375 * * [simplify]: Extracting #1: cost 2 inf + 0
7.375 * * [simplify]: Extracting #2: cost 1 inf + 1
7.375 * * [simplify]: Extracting #3: cost 0 inf + 2
7.375 * [simplify]: Simplified to (real->posit16 9)
7.375 * [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))))
7.375 * * * * [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))))>
7.375 * [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))))))
7.375 * * [simplify]: iters left: 6 (14 enodes)
7.379 * * [simplify]: iters left: 5 (42 enodes)
7.388 * * [simplify]: iters left: 4 (124 enodes)
7.463 * * [simplify]: iters left: 3 (486 enodes)
8.494 * * [simplify]: Extracting #0: cost 1 inf + 0
8.494 * * [simplify]: Extracting #1: cost 81 inf + 0
8.495 * * [simplify]: Extracting #2: cost 389 inf + 0
8.499 * * [simplify]: Extracting #3: cost 599 inf + 6735
8.505 * * [simplify]: Extracting #4: cost 668 inf + 46772
8.516 * * [simplify]: Extracting #5: cost 583 inf + 119279
8.540 * * [simplify]: Extracting #6: cost 407 inf + 395443
8.618 * * [simplify]: Extracting #7: cost 67 inf + 1197512
8.724 * * [simplify]: Extracting #8: cost 1 inf + 1361954
8.821 * * [simplify]: Extracting #9: cost 0 inf + 1362437
8.921 * [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))
8.921 * [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))))
8.921 * * * * [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))))>
8.922 * [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)))))
8.922 * * [simplify]: iters left: 5 (10 enodes)
8.926 * * [simplify]: iters left: 4 (18 enodes)
8.931 * * [simplify]: iters left: 3 (24 enodes)
8.939 * * [simplify]: iters left: 2 (59 enodes)
8.961 * * [simplify]: iters left: 1 (159 enodes)
9.109 * * [simplify]: Extracting #0: cost 1 inf + 0
9.109 * * [simplify]: Extracting #1: cost 3 inf + 0
9.109 * * [simplify]: Extracting #2: cost 5 inf + 0
9.109 * * [simplify]: Extracting #3: cost 24 inf + 1
9.109 * * [simplify]: Extracting #4: cost 87 inf + 2
9.110 * * [simplify]: Extracting #5: cost 77 inf + 2053
9.111 * * [simplify]: Extracting #6: cost 26 inf + 29454
9.114 * * [simplify]: Extracting #7: cost 0 inf + 49266
9.117 * [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))
9.117 * [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))))
9.117 * * * * [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))))>
9.117 * [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))
9.117 * * [simplify]: iters left: 5 (10 enodes)
9.121 * * [simplify]: iters left: 4 (18 enodes)
9.126 * * [simplify]: iters left: 3 (24 enodes)
9.134 * * [simplify]: iters left: 2 (60 enodes)
9.156 * * [simplify]: iters left: 1 (149 enodes)
9.297 * * [simplify]: Extracting #0: cost 1 inf + 0
9.297 * * [simplify]: Extracting #1: cost 3 inf + 0
9.297 * * [simplify]: Extracting #2: cost 5 inf + 0
9.297 * * [simplify]: Extracting #3: cost 9 inf + 2
9.297 * * [simplify]: Extracting #4: cost 62 inf + 2
9.297 * * [simplify]: Extracting #5: cost 55 inf + 969
9.298 * * [simplify]: Extracting #6: cost 20 inf + 15011
9.300 * * [simplify]: Extracting #7: cost 0 inf + 30251
9.302 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0)))) (real->posit16 9))
9.302 * [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))))
9.302 * * * * [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))))>
9.303 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
9.303 * * [simplify]: iters left: 3 (7 enodes)
9.305 * * [simplify]: iters left: 2 (18 enodes)
9.310 * * [simplify]: iters left: 1 (32 enodes)
9.319 * * [simplify]: Extracting #0: cost 1 inf + 0
9.319 * * [simplify]: Extracting #1: cost 9 inf + 0
9.319 * * [simplify]: Extracting #2: cost 25 inf + 1
9.319 * * [simplify]: Extracting #3: cost 34 inf + 322
9.320 * * [simplify]: Extracting #4: cost 27 inf + 3209
9.320 * * [simplify]: Extracting #5: cost 22 inf + 4898
9.321 * * [simplify]: Extracting #6: cost 11 inf + 15047
9.323 * * [simplify]: Extracting #7: cost 0 inf + 29315
9.325 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
9.325 * [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))))
9.325 * * * * [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))))>
9.327 * [simplify]: Simplifying (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
9.327 * * [simplify]: iters left: 4 (9 enodes)
9.331 * * [simplify]: iters left: 3 (18 enodes)
9.335 * * [simplify]: iters left: 2 (24 enodes)
9.343 * * [simplify]: iters left: 1 (59 enodes)
9.369 * * [simplify]: Extracting #0: cost 1 inf + 0
9.369 * * [simplify]: Extracting #1: cost 3 inf + 0
9.369 * * [simplify]: Extracting #2: cost 30 inf + 0
9.369 * * [simplify]: Extracting #3: cost 68 inf + 322
9.370 * * [simplify]: Extracting #4: cost 34 inf + 13807
9.372 * * [simplify]: Extracting #5: cost 0 inf + 34348
9.374 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0))) (*.p16 a a))
9.374 * [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))))
9.375 * * * * [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))))>
9.375 * * * * [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))))>
9.375 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
9.375 * * [simplify]: iters left: 3 (7 enodes)
9.378 * * [simplify]: iters left: 2 (12 enodes)
9.381 * * [simplify]: Extracting #0: cost 1 inf + 0
9.381 * * [simplify]: Extracting #1: cost 3 inf + 0
9.381 * * [simplify]: Extracting #2: cost 4 inf + 1
9.381 * * [simplify]: Extracting #3: cost 6 inf + 1
9.381 * * [simplify]: Extracting #4: cost 0 inf + 930
9.381 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
9.381 * [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))))
9.381 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
9.381 * * [simplify]: iters left: 3 (7 enodes)
9.384 * * [simplify]: iters left: 2 (18 enodes)
9.389 * * [simplify]: iters left: 1 (32 enodes)
9.398 * * [simplify]: Extracting #0: cost 1 inf + 0
9.398 * * [simplify]: Extracting #1: cost 9 inf + 0
9.398 * * [simplify]: Extracting #2: cost 25 inf + 1
9.398 * * [simplify]: Extracting #3: cost 34 inf + 322
9.399 * * [simplify]: Extracting #4: cost 27 inf + 3209
9.399 * * [simplify]: Extracting #5: cost 22 inf + 4898
9.400 * * [simplify]: Extracting #6: cost 11 inf + 15047
9.402 * * [simplify]: Extracting #7: cost 0 inf + 29315
9.403 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
9.403 * [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))))
9.404 * * * * [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))))>
9.404 * * * * [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))))>
9.404 * * * * [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))))>
9.404 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
9.404 * * [simplify]: iters left: 3 (7 enodes)
9.407 * * [simplify]: iters left: 2 (12 enodes)
9.410 * * [simplify]: Extracting #0: cost 1 inf + 0
9.410 * * [simplify]: Extracting #1: cost 3 inf + 0
9.410 * * [simplify]: Extracting #2: cost 4 inf + 1
9.410 * * [simplify]: Extracting #3: cost 6 inf + 1
9.410 * * [simplify]: Extracting #4: cost 0 inf + 930
9.410 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
9.410 * [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))))
9.410 * * * * [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))))>
9.410 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
9.410 * * [simplify]: iters left: 3 (7 enodes)
9.413 * * [simplify]: iters left: 2 (12 enodes)
9.416 * * [simplify]: Extracting #0: cost 1 inf + 0
9.416 * * [simplify]: Extracting #1: cost 3 inf + 0
9.416 * * [simplify]: Extracting #2: cost 4 inf + 1
9.416 * * [simplify]: Extracting #3: cost 6 inf + 1
9.416 * * [simplify]: Extracting #4: cost 0 inf + 930
9.416 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
9.416 * [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))))
9.416 * * * * [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))))>
9.416 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
9.416 * * [simplify]: iters left: 3 (7 enodes)
9.418 * * [simplify]: iters left: 2 (12 enodes)
9.420 * * [simplify]: Extracting #0: cost 1 inf + 0
9.420 * * [simplify]: Extracting #1: cost 3 inf + 0
9.420 * * [simplify]: Extracting #2: cost 4 inf + 1
9.420 * * [simplify]: Extracting #3: cost 6 inf + 1
9.420 * * [simplify]: Extracting #4: cost 0 inf + 930
9.420 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
9.420 * [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))))
9.420 * * * * [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))))>
9.421 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
9.421 * * [simplify]: iters left: 3 (7 enodes)
9.422 * * [simplify]: iters left: 2 (12 enodes)
9.424 * * [simplify]: Extracting #0: cost 1 inf + 0
9.424 * * [simplify]: Extracting #1: cost 3 inf + 0
9.424 * * [simplify]: Extracting #2: cost 4 inf + 1
9.424 * * [simplify]: Extracting #3: cost 6 inf + 1
9.424 * * [simplify]: Extracting #4: cost 0 inf + 930
9.424 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
9.424 * [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))))
9.425 * * * [progress]: adding candidates to table
10.114 * [progress]: [Phase 3 of 3] Extracting.
10.114 * * [regime]: Finding splitpoints for: (#<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) rand))))> #<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 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))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))> #<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))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (-.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)))))>)
10.116 * * * [regime-changes]: Trying 2 branch expressions: (rand a)
10.116 * * * * [regimes]: Trying to branch on rand from (#<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) rand))))> #<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 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))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))> #<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))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (-.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)))))>)
10.303 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) rand))))> #<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 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))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))> #<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))))> #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (/.p16 (*.p16 (*.p16 (-.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)))))>)
10.473 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
10.473 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))
10.473 * * [simplify]: iters left: 6 (21 enodes)
10.475 * * [simplify]: iters left: 5 (23 enodes)
10.477 * * [simplify]: Extracting #0: cost 1 inf + 0
10.477 * * [simplify]: Extracting #1: cost 3 inf + 0
10.477 * * [simplify]: Extracting #2: cost 7 inf + 0
10.477 * * [simplify]: Extracting #3: cost 11 inf + 1
10.477 * * [simplify]: Extracting #4: cost 12 inf + 3
10.477 * * [simplify]: Extracting #5: cost 10 inf + 6
10.477 * * [simplify]: Extracting #6: cost 9 inf + 450
10.477 * * [simplify]: Extracting #7: cost 10 inf + 973
10.477 * * [simplify]: Extracting #8: cost 10 inf + 1495
10.477 * * [simplify]: Extracting #9: cost 9 inf + 1496
10.477 * * [simplify]: Extracting #10: cost 6 inf + 2662
10.478 * * [simplify]: Extracting #11: cost 4 inf + 5110
10.478 * * [simplify]: Extracting #12: cost 2 inf + 8801
10.478 * * [simplify]: Extracting #13: cost 0 inf + 13293
10.479 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))
10.479 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
10.501 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
10.506 * * * * [points]: Setting MPFR precision to 64
10.507 * * * * [points]: Setting MPFR precision to 320
10.508 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
10.514 * * * * [points]: Setting MPFR precision to 64
10.516 * * * * [points]: Setting MPFR precision to 320
10.517 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
10.522 * * * * [points]: Setting MPFR precision to 64
10.526 * * * * [points]: Setting MPFR precision to 320
10.529 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
10.534 * * * * [points]: Setting MPFR precision to 64
10.550 * * * * [points]: Setting MPFR precision to 320
10.557 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
10.562 * * * * [points]: Setting MPFR precision to 64
10.575 * * * * [points]: Setting MPFR precision to 320
10.589 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
10.594 * * * * [points]: Setting MPFR precision to 64
10.621 * * * * [points]: Setting MPFR precision to 320
10.670 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
10.675 * * * * [points]: Setting MPFR precision to 64
10.748 * * * * [points]: Setting MPFR precision to 320
10.857 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
10.863 * * * * [points]: Setting MPFR precision to 64
11.026 * * * * [points]: Setting MPFR precision to 320
11.213 * * * * [points]: Computing exacts for 8000 points
11.220 * * * * [points]: Setting MPFR precision to 64
11.965 * * * * [points]: Setting MPFR precision to 320
12.710 * * * * [points]: Filtering points with unrepresentable outputs
12.732 * * * * [points]: Sampled 8000 points with exact outputs
19.090 * [regime-testing]: Baseline error score: 64.0
19.093 * [regime-testing]: Oracle error score: 64.0
19.100 * [regime-testing]: End program error score: 0.20317384833057306