0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.008 * * * * [points]: Setting MPFR precision to 64
0.010 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.015 * * * * [points]: Setting MPFR precision to 64
0.016 * * * * [points]: Setting MPFR precision to 320
0.018 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.022 * * * * [points]: Setting MPFR precision to 64
0.025 * * * * [points]: Setting MPFR precision to 320
0.028 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.041 * * * * [points]: Setting MPFR precision to 64
0.048 * * * * [points]: Setting MPFR precision to 320
0.055 * * * * [points]: Computing exacts for 256 points
0.062 * * * * [points]: Setting MPFR precision to 64
0.082 * * * * [points]: Setting MPFR precision to 320
0.101 * * * * [points]: Filtering points with unrepresentable outputs
0.102 * * * * [points]: Sampled 256 points with exact outputs
0.102 * * * [progress]: [2/2] Setting up program.
0.125 * [progress]: [Phase 2 of 3] Improving.
0.126 * * * * [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.126 * [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.126 * * [simplify]: iters left: 6 (18 enodes)
0.132 * * [simplify]: iters left: 5 (47 enodes)
0.147 * * [simplify]: iters left: 4 (121 enodes)
0.203 * * [simplify]: iters left: 3 (337 enodes)
0.334 * * [simplify]: Extracting #0: cost 1 inf + 0
0.334 * * [simplify]: Extracting #1: cost 34 inf + 0
0.335 * * [simplify]: Extracting #2: cost 204 inf + 0
0.336 * * [simplify]: Extracting #3: cost 326 inf + 1286
0.337 * * [simplify]: Extracting #4: cost 362 inf + 6740
0.339 * * [simplify]: Extracting #5: cost 377 inf + 18286
0.342 * * [simplify]: Extracting #6: cost 358 inf + 29885
0.349 * * [simplify]: Extracting #7: cost 252 inf + 186163
0.378 * * [simplify]: Extracting #8: cost 47 inf + 586692
0.432 * * [simplify]: Extracting #9: cost 0 inf + 696950
0.478 * * [simplify]: Extracting #10: cost 0 inf + 694590
0.532 * [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.532 * [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.556 * * [progress]: iteration 1 / 4
0.556 * * * [progress]: picking best candidate
0.582 * * * * [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.582 * * * [progress]: localizing error
0.817 * * * [progress]: generating rewritten candidates
0.817 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
0.822 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1 2)
0.825 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.827 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2)
0.828 * * * [progress]: generating series expansions
0.828 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
0.828 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1 2)
0.828 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.828 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2)
0.828 * * * [progress]: simplifying candidates
0.828 * * * * [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.828 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.829 * * [simplify]: iters left: 4 (9 enodes)
0.832 * * [simplify]: iters left: 3 (13 enodes)
0.836 * * [simplify]: Extracting #0: cost 1 inf + 0
0.836 * * [simplify]: Extracting #1: cost 3 inf + 0
0.836 * * [simplify]: Extracting #2: cost 5 inf + 0
0.836 * * [simplify]: Extracting #3: cost 6 inf + 1
0.836 * * [simplify]: Extracting #4: cost 7 inf + 2
0.836 * * [simplify]: Extracting #5: cost 0 inf + 1813
0.836 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.836 * [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.836 * * * * [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.837 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
0.837 * * [simplify]: iters left: 4 (9 enodes)
0.840 * * [simplify]: iters left: 3 (13 enodes)
0.843 * * [simplify]: Extracting #0: cost 1 inf + 0
0.843 * * [simplify]: Extracting #1: cost 3 inf + 0
0.843 * * [simplify]: Extracting #2: cost 5 inf + 0
0.844 * * [simplify]: Extracting #3: cost 5 inf + 2
0.844 * * [simplify]: Extracting #4: cost 7 inf + 2
0.844 * * [simplify]: Extracting #5: cost 4 inf + 5
0.844 * * [simplify]: Extracting #6: cost 0 inf + 1813
0.844 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
0.844 * [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.844 * * * * [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.844 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.845 * * [simplify]: iters left: 3 (7 enodes)
0.847 * * [simplify]: iters left: 2 (12 enodes)
0.850 * * [simplify]: Extracting #0: cost 1 inf + 0
0.850 * * [simplify]: Extracting #1: cost 3 inf + 0
0.850 * * [simplify]: Extracting #2: cost 4 inf + 1
0.850 * * [simplify]: Extracting #3: cost 6 inf + 1
0.850 * * [simplify]: Extracting #4: cost 0 inf + 930
0.850 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
0.850 * [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.851 * * * * [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.851 * * * * [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.851 * * * * [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.851 * * * * [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.851 * * * * [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.851 * * * * [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.851 * [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.851 * * [simplify]: iters left: 6 (18 enodes)
0.858 * * [simplify]: iters left: 5 (47 enodes)
0.879 * * [simplify]: iters left: 4 (121 enodes)
0.915 * * [simplify]: iters left: 3 (337 enodes)
1.032 * * [simplify]: Extracting #0: cost 1 inf + 0
1.032 * * [simplify]: Extracting #1: cost 34 inf + 0
1.033 * * [simplify]: Extracting #2: cost 204 inf + 0
1.034 * * [simplify]: Extracting #3: cost 326 inf + 1286
1.035 * * [simplify]: Extracting #4: cost 362 inf + 6740
1.037 * * [simplify]: Extracting #5: cost 377 inf + 18286
1.039 * * [simplify]: Extracting #6: cost 358 inf + 29885
1.046 * * [simplify]: Extracting #7: cost 252 inf + 186163
1.075 * * [simplify]: Extracting #8: cost 47 inf + 586692
1.114 * * [simplify]: Extracting #9: cost 0 inf + 696950
1.152 * * [simplify]: Extracting #10: cost 0 inf + 694590
1.188 * [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.189 * [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.189 * * * * [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.189 * [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.189 * * [simplify]: iters left: 6 (18 enodes)
1.196 * * [simplify]: iters left: 5 (47 enodes)
1.205 * * [simplify]: iters left: 4 (121 enodes)
1.231 * * [simplify]: iters left: 3 (337 enodes)
1.341 * * [simplify]: Extracting #0: cost 1 inf + 0
1.341 * * [simplify]: Extracting #1: cost 34 inf + 0
1.342 * * [simplify]: Extracting #2: cost 204 inf + 0
1.343 * * [simplify]: Extracting #3: cost 326 inf + 1286
1.344 * * [simplify]: Extracting #4: cost 362 inf + 6740
1.346 * * [simplify]: Extracting #5: cost 377 inf + 18286
1.348 * * [simplify]: Extracting #6: cost 358 inf + 29885
1.355 * * [simplify]: Extracting #7: cost 252 inf + 186163
1.385 * * [simplify]: Extracting #8: cost 47 inf + 586692
1.420 * * [simplify]: Extracting #9: cost 0 inf + 696950
1.456 * * [simplify]: Extracting #10: cost 0 inf + 694590
1.492 * [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.492 * [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.492 * * * * [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.493 * [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.493 * * [simplify]: iters left: 6 (18 enodes)
1.497 * * [simplify]: iters left: 5 (47 enodes)
1.506 * * [simplify]: iters left: 4 (121 enodes)
1.535 * * [simplify]: iters left: 3 (337 enodes)
1.649 * * [simplify]: Extracting #0: cost 1 inf + 0
1.649 * * [simplify]: Extracting #1: cost 34 inf + 0
1.649 * * [simplify]: Extracting #2: cost 204 inf + 0
1.650 * * [simplify]: Extracting #3: cost 326 inf + 1286
1.652 * * [simplify]: Extracting #4: cost 362 inf + 6740
1.653 * * [simplify]: Extracting #5: cost 377 inf + 18286
1.655 * * [simplify]: Extracting #6: cost 358 inf + 29885
1.664 * * [simplify]: Extracting #7: cost 252 inf + 186163
1.696 * * [simplify]: Extracting #8: cost 47 inf + 586692
1.745 * * [simplify]: Extracting #9: cost 0 inf + 696950
1.781 * * [simplify]: Extracting #10: cost 0 inf + 694590
1.818 * [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.818 * [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.818 * * * * [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.818 * [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.818 * * [simplify]: iters left: 6 (18 enodes)
1.823 * * [simplify]: iters left: 5 (47 enodes)
1.831 * * [simplify]: iters left: 4 (121 enodes)
1.859 * * [simplify]: iters left: 3 (337 enodes)
1.969 * * [simplify]: Extracting #0: cost 1 inf + 0
1.969 * * [simplify]: Extracting #1: cost 34 inf + 0
1.969 * * [simplify]: Extracting #2: cost 204 inf + 0
1.970 * * [simplify]: Extracting #3: cost 326 inf + 1286
1.972 * * [simplify]: Extracting #4: cost 362 inf + 6740
1.974 * * [simplify]: Extracting #5: cost 377 inf + 18286
1.976 * * [simplify]: Extracting #6: cost 358 inf + 29885
1.983 * * [simplify]: Extracting #7: cost 252 inf + 186163
2.012 * * [simplify]: Extracting #8: cost 47 inf + 586692
2.063 * * [simplify]: Extracting #9: cost 0 inf + 696950
2.101 * * [simplify]: Extracting #10: cost 0 inf + 694590
2.147 * [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.147 * [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.147 * * * [progress]: adding candidates to table
2.717 * * [progress]: iteration 2 / 4
2.717 * * * [progress]: picking best candidate
2.775 * * * * [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.775 * * * [progress]: localizing error
3.085 * * * [progress]: generating rewritten candidates
3.085 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1 1 2 2)
3.087 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1)
3.092 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1 1)
3.095 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 1 1 2)
3.099 * * * [progress]: generating series expansions
3.099 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1 1 2 2)
3.099 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1)
3.099 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1 1)
3.099 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 1 1 2)
3.099 * * * [progress]: simplifying candidates
3.099 * * * * [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.099 * [simplify]: Simplifying (real->posit16 3.0)
3.099 * * [simplify]: iters left: 1 (2 enodes)
3.101 * * [simplify]: Extracting #0: cost 1 inf + 0
3.101 * * [simplify]: Extracting #1: cost 2 inf + 0
3.101 * * [simplify]: Extracting #2: cost 1 inf + 1
3.101 * * [simplify]: Extracting #3: cost 0 inf + 2
3.101 * [simplify]: Simplified to (real->posit16 3.0)
3.101 * [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.101 * * * * [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.101 * [simplify]: Simplifying (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
3.101 * * [simplify]: iters left: 3 (6 enodes)
3.104 * * [simplify]: iters left: 2 (11 enodes)
3.107 * * [simplify]: iters left: 1 (19 enodes)
3.112 * * [simplify]: Extracting #0: cost 1 inf + 0
3.112 * * [simplify]: Extracting #1: cost 3 inf + 0
3.112 * * [simplify]: Extracting #2: cost 8 inf + 0
3.112 * * [simplify]: Extracting #3: cost 6 inf + 2
3.112 * * [simplify]: Extracting #4: cost 4 inf + 4
3.112 * * [simplify]: Extracting #5: cost 0 inf + 1530
3.113 * [simplify]: Simplified to (/.p16 (real->posit16 1.0) (real->posit16 3.0))
3.113 * [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.113 * * * * [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.113 * * * * [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.113 * [simplify]: Simplifying (real->posit16 9)
3.113 * * [simplify]: iters left: 1 (2 enodes)
3.114 * * [simplify]: Extracting #0: cost 1 inf + 0
3.114 * * [simplify]: Extracting #1: cost 2 inf + 0
3.114 * * [simplify]: Extracting #2: cost 1 inf + 1
3.114 * * [simplify]: Extracting #3: cost 0 inf + 2
3.114 * [simplify]: Simplified to (real->posit16 9)
3.114 * [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.114 * * * * [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.115 * [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.115 * * [simplify]: iters left: 6 (14 enodes)
3.126 * * [simplify]: iters left: 5 (42 enodes)
3.140 * * [simplify]: iters left: 4 (124 enodes)
3.196 * * [simplify]: iters left: 3 (486 enodes)
3.836 * * [simplify]: Extracting #0: cost 1 inf + 0
3.837 * * [simplify]: Extracting #1: cost 81 inf + 0
3.838 * * [simplify]: Extracting #2: cost 389 inf + 0
3.841 * * [simplify]: Extracting #3: cost 599 inf + 6735
3.847 * * [simplify]: Extracting #4: cost 668 inf + 46772
3.862 * * [simplify]: Extracting #5: cost 583 inf + 119279
3.884 * * [simplify]: Extracting #6: cost 407 inf + 395443
3.948 * * [simplify]: Extracting #7: cost 67 inf + 1197512
4.031 * * [simplify]: Extracting #8: cost 1 inf + 1361954
4.109 * * [simplify]: Extracting #9: cost 0 inf + 1362437
4.193 * [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.193 * [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.194 * * * * [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.194 * [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.194 * * [simplify]: iters left: 5 (10 enodes)
4.198 * * [simplify]: iters left: 4 (18 enodes)
4.202 * * [simplify]: iters left: 3 (24 enodes)
4.209 * * [simplify]: iters left: 2 (59 enodes)
4.228 * * [simplify]: iters left: 1 (159 enodes)
4.356 * * [simplify]: Extracting #0: cost 1 inf + 0
4.356 * * [simplify]: Extracting #1: cost 3 inf + 0
4.356 * * [simplify]: Extracting #2: cost 5 inf + 0
4.357 * * [simplify]: Extracting #3: cost 24 inf + 1
4.357 * * [simplify]: Extracting #4: cost 87 inf + 2
4.357 * * [simplify]: Extracting #5: cost 77 inf + 2053
4.358 * * [simplify]: Extracting #6: cost 26 inf + 29454
4.361 * * [simplify]: Extracting #7: cost 0 inf + 49266
4.363 * [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.364 * [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.364 * * * * [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.364 * [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.364 * * [simplify]: iters left: 5 (10 enodes)
4.368 * * [simplify]: iters left: 4 (18 enodes)
4.372 * * [simplify]: iters left: 3 (24 enodes)
4.379 * * [simplify]: iters left: 2 (60 enodes)
4.400 * * [simplify]: iters left: 1 (149 enodes)
4.519 * * [simplify]: Extracting #0: cost 1 inf + 0
4.519 * * [simplify]: Extracting #1: cost 3 inf + 0
4.519 * * [simplify]: Extracting #2: cost 5 inf + 0
4.519 * * [simplify]: Extracting #3: cost 9 inf + 2
4.520 * * [simplify]: Extracting #4: cost 62 inf + 2
4.520 * * [simplify]: Extracting #5: cost 55 inf + 969
4.520 * * [simplify]: Extracting #6: cost 20 inf + 15011
4.521 * * [simplify]: Extracting #7: cost 0 inf + 30251
4.523 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0)))) (real->posit16 9))
4.523 * [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.523 * * * * [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.523 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.523 * * [simplify]: iters left: 3 (7 enodes)
4.525 * * [simplify]: iters left: 2 (18 enodes)
4.528 * * [simplify]: iters left: 1 (32 enodes)
4.534 * * [simplify]: Extracting #0: cost 1 inf + 0
4.534 * * [simplify]: Extracting #1: cost 9 inf + 0
4.534 * * [simplify]: Extracting #2: cost 25 inf + 1
4.534 * * [simplify]: Extracting #3: cost 34 inf + 322
4.534 * * [simplify]: Extracting #4: cost 27 inf + 3209
4.535 * * [simplify]: Extracting #5: cost 22 inf + 4898
4.535 * * [simplify]: Extracting #6: cost 11 inf + 15047
4.536 * * [simplify]: Extracting #7: cost 0 inf + 29315
4.537 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.537 * [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.537 * * * * [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.538 * [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.538 * * [simplify]: iters left: 4 (9 enodes)
4.540 * * [simplify]: iters left: 3 (18 enodes)
4.543 * * [simplify]: iters left: 2 (24 enodes)
4.548 * * [simplify]: iters left: 1 (59 enodes)
4.564 * * [simplify]: Extracting #0: cost 1 inf + 0
4.564 * * [simplify]: Extracting #1: cost 3 inf + 0
4.564 * * [simplify]: Extracting #2: cost 30 inf + 0
4.564 * * [simplify]: Extracting #3: cost 68 inf + 322
4.565 * * [simplify]: Extracting #4: cost 34 inf + 13807
4.566 * * [simplify]: Extracting #5: cost 0 inf + 34348
4.568 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0))) (*.p16 a a))
4.568 * [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.568 * * * * [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.568 * * * * [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.568 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.568 * * [simplify]: iters left: 3 (7 enodes)
4.570 * * [simplify]: iters left: 2 (12 enodes)
4.572 * * [simplify]: Extracting #0: cost 1 inf + 0
4.572 * * [simplify]: Extracting #1: cost 3 inf + 0
4.572 * * [simplify]: Extracting #2: cost 4 inf + 1
4.572 * * [simplify]: Extracting #3: cost 6 inf + 1
4.572 * * [simplify]: Extracting #4: cost 0 inf + 930
4.572 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.572 * [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.572 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.572 * * [simplify]: iters left: 3 (7 enodes)
4.575 * * [simplify]: iters left: 2 (18 enodes)
4.579 * * [simplify]: iters left: 1 (32 enodes)
4.587 * * [simplify]: Extracting #0: cost 1 inf + 0
4.587 * * [simplify]: Extracting #1: cost 9 inf + 0
4.587 * * [simplify]: Extracting #2: cost 25 inf + 1
4.587 * * [simplify]: Extracting #3: cost 34 inf + 322
4.588 * * [simplify]: Extracting #4: cost 27 inf + 3209
4.588 * * [simplify]: Extracting #5: cost 22 inf + 4898
4.589 * * [simplify]: Extracting #6: cost 11 inf + 15047
4.590 * * [simplify]: Extracting #7: cost 0 inf + 29315
4.593 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.593 * [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.593 * * * * [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.593 * * * * [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.594 * * * * [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.594 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.594 * * [simplify]: iters left: 3 (7 enodes)
4.596 * * [simplify]: iters left: 2 (12 enodes)
4.599 * * [simplify]: Extracting #0: cost 1 inf + 0
4.599 * * [simplify]: Extracting #1: cost 3 inf + 0
4.599 * * [simplify]: Extracting #2: cost 4 inf + 1
4.599 * * [simplify]: Extracting #3: cost 6 inf + 1
4.599 * * [simplify]: Extracting #4: cost 0 inf + 930
4.599 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.599 * [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.599 * * * * [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.600 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.600 * * [simplify]: iters left: 3 (7 enodes)
4.602 * * [simplify]: iters left: 2 (12 enodes)
4.604 * * [simplify]: Extracting #0: cost 1 inf + 0
4.604 * * [simplify]: Extracting #1: cost 3 inf + 0
4.604 * * [simplify]: Extracting #2: cost 4 inf + 1
4.604 * * [simplify]: Extracting #3: cost 6 inf + 1
4.605 * * [simplify]: Extracting #4: cost 0 inf + 930
4.605 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.605 * [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.605 * * * * [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.605 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.605 * * [simplify]: iters left: 3 (7 enodes)
4.607 * * [simplify]: iters left: 2 (12 enodes)
4.610 * * [simplify]: Extracting #0: cost 1 inf + 0
4.610 * * [simplify]: Extracting #1: cost 3 inf + 0
4.610 * * [simplify]: Extracting #2: cost 4 inf + 1
4.610 * * [simplify]: Extracting #3: cost 6 inf + 1
4.610 * * [simplify]: Extracting #4: cost 0 inf + 930
4.610 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.610 * [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.610 * * * * [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.611 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.611 * * [simplify]: iters left: 3 (7 enodes)
4.613 * * [simplify]: iters left: 2 (12 enodes)
4.615 * * [simplify]: Extracting #0: cost 1 inf + 0
4.616 * * [simplify]: Extracting #1: cost 3 inf + 0
4.616 * * [simplify]: Extracting #2: cost 4 inf + 1
4.616 * * [simplify]: Extracting #3: cost 6 inf + 1
4.616 * * [simplify]: Extracting #4: cost 0 inf + 930
4.616 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.616 * [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.616 * * * [progress]: adding candidates to table
5.315 * * [progress]: iteration 3 / 4
5.315 * * * [progress]: picking best candidate
5.381 * * * * [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.381 * * * [progress]: localizing error
5.625 * * * [progress]: generating rewritten candidates
5.625 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
5.629 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
5.631 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2)
5.631 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
5.634 * * * [progress]: generating series expansions
5.634 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
5.634 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
5.634 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2)
5.634 * * * * [progress]: [ 4 / 4 ] generating series at (2)
5.634 * * * [progress]: simplifying candidates
5.634 * * * * [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.635 * [simplify]: Simplifying (real->posit16 9)
5.635 * * [simplify]: iters left: 1 (2 enodes)
5.636 * * [simplify]: Extracting #0: cost 1 inf + 0
5.636 * * [simplify]: Extracting #1: cost 2 inf + 0
5.636 * * [simplify]: Extracting #2: cost 1 inf + 1
5.636 * * [simplify]: Extracting #3: cost 0 inf + 2
5.636 * [simplify]: Simplified to (real->posit16 9)
5.636 * [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.636 * [simplify]: Simplifying (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
5.636 * * [simplify]: iters left: 4 (8 enodes)
5.638 * * [simplify]: iters left: 3 (14 enodes)
5.640 * * [simplify]: iters left: 2 (19 enodes)
5.643 * * [simplify]: iters left: 1 (32 enodes)
5.650 * * [simplify]: Extracting #0: cost 1 inf + 0
5.650 * * [simplify]: Extracting #1: cost 9 inf + 0
5.650 * * [simplify]: Extracting #2: cost 25 inf + 1
5.650 * * [simplify]: Extracting #3: cost 33 inf + 963
5.650 * * [simplify]: Extracting #4: cost 27 inf + 3209
5.650 * * [simplify]: Extracting #5: cost 12 inf + 14484
5.652 * * [simplify]: Extracting #6: cost 1 inf + 26872
5.653 * * [simplify]: Extracting #7: cost 0 inf + 29315
5.654 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.654 * [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.654 * * * * [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.654 * [simplify]: Simplifying (real->posit16 9)
5.654 * * [simplify]: iters left: 1 (2 enodes)
5.655 * * [simplify]: Extracting #0: cost 1 inf + 0
5.655 * * [simplify]: Extracting #1: cost 2 inf + 0
5.655 * * [simplify]: Extracting #2: cost 1 inf + 1
5.655 * * [simplify]: Extracting #3: cost 0 inf + 2
5.655 * [simplify]: Simplified to (real->posit16 9)
5.655 * [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.655 * [simplify]: Simplifying (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
5.656 * * [simplify]: iters left: 4 (8 enodes)
5.657 * * [simplify]: iters left: 3 (14 enodes)
5.660 * * [simplify]: iters left: 2 (19 enodes)
5.663 * * [simplify]: iters left: 1 (32 enodes)
5.673 * * [simplify]: Extracting #0: cost 1 inf + 0
5.673 * * [simplify]: Extracting #1: cost 9 inf + 0
5.673 * * [simplify]: Extracting #2: cost 25 inf + 1
5.673 * * [simplify]: Extracting #3: cost 33 inf + 963
5.673 * * [simplify]: Extracting #4: cost 27 inf + 3209
5.674 * * [simplify]: Extracting #5: cost 12 inf + 14484
5.675 * * [simplify]: Extracting #6: cost 1 inf + 26872
5.676 * * [simplify]: Extracting #7: cost 0 inf + 29315
5.677 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.677 * [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.677 * * * * [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.678 * * * * [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.678 * * * * [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.678 * * * * [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.678 * [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.678 * * [simplify]: iters left: 6 (20 enodes)
5.682 * * [simplify]: iters left: 5 (46 enodes)
5.691 * * [simplify]: iters left: 4 (94 enodes)
5.710 * * [simplify]: iters left: 3 (263 enodes)
5.790 * * [simplify]: Extracting #0: cost 1 inf + 0
5.790 * * [simplify]: Extracting #1: cost 46 inf + 0
5.790 * * [simplify]: Extracting #2: cost 206 inf + 1
5.791 * * [simplify]: Extracting #3: cost 254 inf + 3214
5.793 * * [simplify]: Extracting #4: cost 298 inf + 8671
5.798 * * [simplify]: Extracting #5: cost 248 inf + 52836
5.811 * * [simplify]: Extracting #6: cost 96 inf + 303962
5.837 * * [simplify]: Extracting #7: cost 7 inf + 462199
5.863 * * [simplify]: Extracting #8: cost 0 inf + 478514
5.893 * * [simplify]: Extracting #9: cost 0 inf + 477674
5.930 * [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))))
5.930 * [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))))))
5.931 * * * * [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))))))>
5.931 * [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))))
5.931 * * [simplify]: iters left: 6 (20 enodes)
5.938 * * [simplify]: iters left: 5 (46 enodes)
5.950 * * [simplify]: iters left: 4 (100 enodes)
5.981 * * [simplify]: iters left: 3 (285 enodes)
6.103 * * [simplify]: Extracting #0: cost 1 inf + 0
6.103 * * [simplify]: Extracting #1: cost 45 inf + 0
6.104 * * [simplify]: Extracting #2: cost 204 inf + 1
6.105 * * [simplify]: Extracting #3: cost 272 inf + 4
6.106 * * [simplify]: Extracting #4: cost 305 inf + 10917
6.108 * * [simplify]: Extracting #5: cost 287 inf + 21819
6.110 * * [simplify]: Extracting #6: cost 261 inf + 44364
6.118 * * [simplify]: Extracting #7: cost 135 inf + 217025
6.140 * * [simplify]: Extracting #8: cost 9 inf + 459064
6.170 * * [simplify]: Extracting #9: cost 0 inf + 475343
6.206 * [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.206 * [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.207 * * * * [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.207 * [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.207 * * [simplify]: iters left: 6 (23 enodes)
6.212 * * [simplify]: iters left: 5 (63 enodes)
6.230 * * [simplify]: iters left: 4 (160 enodes)
6.299 * * [simplify]: Extracting #0: cost 1 inf + 0
6.299 * * [simplify]: Extracting #1: cost 31 inf + 0
6.299 * * [simplify]: Extracting #2: cost 126 inf + 0
6.300 * * [simplify]: Extracting #3: cost 192 inf + 965
6.300 * * [simplify]: Extracting #4: cost 220 inf + 4817
6.301 * * [simplify]: Extracting #5: cost 206 inf + 16039
6.303 * * [simplify]: Extracting #6: cost 177 inf + 33734
6.307 * * [simplify]: Extracting #7: cost 103 inf + 117409
6.318 * * [simplify]: Extracting #8: cost 35 inf + 268230
6.335 * * [simplify]: Extracting #9: cost 0 inf + 358340
6.354 * * [simplify]: Extracting #10: cost 0 inf + 348740
6.371 * [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.371 * [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.371 * * * * [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.371 * * * * [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.372 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.372 * * [simplify]: iters left: 4 (9 enodes)
6.374 * * [simplify]: iters left: 3 (13 enodes)
6.377 * * [simplify]: Extracting #0: cost 1 inf + 0
6.377 * * [simplify]: Extracting #1: cost 3 inf + 0
6.377 * * [simplify]: Extracting #2: cost 5 inf + 0
6.377 * * [simplify]: Extracting #3: cost 6 inf + 1
6.377 * * [simplify]: Extracting #4: cost 7 inf + 2
6.377 * * [simplify]: Extracting #5: cost 0 inf + 1813
6.377 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.377 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
6.377 * * * * [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.377 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.377 * * [simplify]: iters left: 4 (9 enodes)
6.381 * * [simplify]: iters left: 3 (13 enodes)
6.383 * * [simplify]: Extracting #0: cost 1 inf + 0
6.383 * * [simplify]: Extracting #1: cost 3 inf + 0
6.383 * * [simplify]: Extracting #2: cost 5 inf + 0
6.383 * * [simplify]: Extracting #3: cost 6 inf + 1
6.384 * * [simplify]: Extracting #4: cost 7 inf + 2
6.384 * * [simplify]: Extracting #5: cost 0 inf + 1813
6.384 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.384 * [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.384 * * * * [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.384 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.384 * * [simplify]: iters left: 4 (9 enodes)
6.386 * * [simplify]: iters left: 3 (13 enodes)
6.389 * * [simplify]: Extracting #0: cost 1 inf + 0
6.389 * * [simplify]: Extracting #1: cost 3 inf + 0
6.389 * * [simplify]: Extracting #2: cost 5 inf + 0
6.389 * * [simplify]: Extracting #3: cost 6 inf + 1
6.389 * * [simplify]: Extracting #4: cost 7 inf + 2
6.389 * * [simplify]: Extracting #5: cost 0 inf + 1813
6.389 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.389 * [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.389 * * * * [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.389 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.389 * * [simplify]: iters left: 4 (9 enodes)
6.392 * * [simplify]: iters left: 3 (13 enodes)
6.394 * * [simplify]: Extracting #0: cost 1 inf + 0
6.394 * * [simplify]: Extracting #1: cost 3 inf + 0
6.394 * * [simplify]: Extracting #2: cost 5 inf + 0
6.394 * * [simplify]: Extracting #3: cost 6 inf + 1
6.394 * * [simplify]: Extracting #4: cost 7 inf + 2
6.394 * * [simplify]: Extracting #5: cost 0 inf + 1813
6.395 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
6.395 * [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.395 * * * [progress]: adding candidates to table
6.952 * * [progress]: iteration 4 / 4
6.952 * * * [progress]: picking best candidate
7.008 * * * * [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.008 * * * [progress]: localizing error
7.240 * * * [progress]: generating rewritten candidates
7.240 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1)
7.246 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
7.250 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
7.256 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
7.257 * * * [progress]: generating series expansions
7.257 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1)
7.257 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
7.258 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
7.258 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
7.258 * * * [progress]: simplifying candidates
7.258 * * * * [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.258 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
7.258 * * [simplify]: iters left: 4 (9 enodes)
7.261 * * [simplify]: iters left: 3 (13 enodes)
7.264 * * [simplify]: Extracting #0: cost 1 inf + 0
7.264 * * [simplify]: Extracting #1: cost 3 inf + 0
7.264 * * [simplify]: Extracting #2: cost 5 inf + 0
7.264 * * [simplify]: Extracting #3: cost 6 inf + 1
7.264 * * [simplify]: Extracting #4: cost 7 inf + 2
7.265 * * [simplify]: Extracting #5: cost 0 inf + 1813
7.265 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
7.265 * [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.265 * * * * [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.265 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
7.265 * * [simplify]: iters left: 4 (9 enodes)
7.268 * * [simplify]: iters left: 3 (13 enodes)
7.272 * * [simplify]: Extracting #0: cost 1 inf + 0
7.272 * * [simplify]: Extracting #1: cost 3 inf + 0
7.272 * * [simplify]: Extracting #2: cost 5 inf + 0
7.272 * * [simplify]: Extracting #3: cost 5 inf + 2
7.272 * * [simplify]: Extracting #4: cost 7 inf + 2
7.272 * * [simplify]: Extracting #5: cost 4 inf + 5
7.272 * * [simplify]: Extracting #6: cost 0 inf + 1813
7.272 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
7.272 * [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.272 * * * * [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.273 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
7.273 * * [simplify]: iters left: 3 (7 enodes)
7.275 * * [simplify]: iters left: 2 (12 enodes)
7.278 * * [simplify]: Extracting #0: cost 1 inf + 0
7.278 * * [simplify]: Extracting #1: cost 3 inf + 0
7.278 * * [simplify]: Extracting #2: cost 4 inf + 1
7.278 * * [simplify]: Extracting #3: cost 6 inf + 1
7.278 * * [simplify]: Extracting #4: cost 0 inf + 930
7.278 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
7.278 * [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.278 * * * * [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.279 * * * * [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.279 * [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.279 * * [simplify]: iters left: 5 (11 enodes)
7.283 * * [simplify]: iters left: 4 (32 enodes)
7.293 * * [simplify]: iters left: 3 (81 enodes)
7.320 * * [simplify]: iters left: 2 (285 enodes)
7.496 * * [simplify]: Extracting #0: cost 1 inf + 0
7.496 * * [simplify]: Extracting #1: cost 57 inf + 0
7.497 * * [simplify]: Extracting #2: cost 272 inf + 1
7.498 * * [simplify]: Extracting #3: cost 360 inf + 2250
7.501 * * [simplify]: Extracting #4: cost 402 inf + 13151
7.505 * * [simplify]: Extracting #5: cost 362 inf + 48496
7.515 * * [simplify]: Extracting #6: cost 266 inf + 183281
7.546 * * [simplify]: Extracting #7: cost 82 inf + 505847
7.585 * * [simplify]: Extracting #8: cost 0 inf + 625437
7.617 * * [simplify]: Extracting #9: cost 0 inf + 623557
7.650 * [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.650 * [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.651 * * * * [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.651 * * * * [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.651 * * * * [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.651 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
7.651 * * [simplify]: iters left: 3 (7 enodes)
7.653 * * [simplify]: iters left: 2 (12 enodes)
7.655 * * [simplify]: Extracting #0: cost 1 inf + 0
7.655 * * [simplify]: Extracting #1: cost 3 inf + 0
7.655 * * [simplify]: Extracting #2: cost 4 inf + 1
7.655 * * [simplify]: Extracting #3: cost 6 inf + 1
7.655 * * [simplify]: Extracting #4: cost 0 inf + 930
7.655 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
7.655 * [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.655 * * * * [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.655 * [simplify]: Simplifying (*.p16 (real->posit16 1) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))
7.655 * * [simplify]: iters left: 5 (12 enodes)
7.658 * * [simplify]: iters left: 4 (32 enodes)
7.665 * * [simplify]: iters left: 3 (72 enodes)
7.683 * * [simplify]: iters left: 2 (203 enodes)
7.748 * * [simplify]: Extracting #0: cost 1 inf + 0
7.748 * * [simplify]: Extracting #1: cost 38 inf + 0
7.749 * * [simplify]: Extracting #2: cost 159 inf + 1
7.749 * * [simplify]: Extracting #3: cost 225 inf + 1612
7.751 * * [simplify]: Extracting #4: cost 239 inf + 13484
7.752 * * [simplify]: Extracting #5: cost 245 inf + 23744
7.755 * * [simplify]: Extracting #6: cost 157 inf + 103374
7.766 * * [simplify]: Extracting #7: cost 41 inf + 272424
7.780 * * [simplify]: Extracting #8: cost 1 inf + 342335
7.795 * * [simplify]: Extracting #9: cost 0 inf + 344819
7.812 * [simplify]: Simplified to (*.p16 (real->posit16 1) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand))
7.813 * [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))))))))
7.813 * * * * [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)))))))))>
7.813 * * * * [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))))>
7.813 * * * * [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))))>
7.813 * * * * [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))))>
7.813 * [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)))
7.813 * * [simplify]: iters left: 6 (19 enodes)
7.818 * * [simplify]: iters left: 5 (45 enodes)
7.826 * * [simplify]: iters left: 4 (113 enodes)
7.852 * * [simplify]: iters left: 3 (353 enodes)
7.961 * * [simplify]: Extracting #0: cost 1 inf + 0
7.961 * * [simplify]: Extracting #1: cost 28 inf + 0
7.961 * * [simplify]: Extracting #2: cost 109 inf + 0
7.962 * * [simplify]: Extracting #3: cost 307 inf + 324
7.964 * * [simplify]: Extracting #4: cost 358 inf + 6748
7.965 * * [simplify]: Extracting #5: cost 401 inf + 13486
7.968 * * [simplify]: Extracting #6: cost 366 inf + 43798
7.981 * * [simplify]: Extracting #7: cost 199 inf + 297008
8.318 * * [simplify]: Extracting #8: cost 9 inf + 638872
8.368 * * [simplify]: Extracting #9: cost 0 inf + 654033
8.409 * [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.409 * [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.409 * * * * [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.409 * [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.409 * * [simplify]: iters left: 6 (19 enodes)
8.414 * * [simplify]: iters left: 5 (45 enodes)
8.423 * * [simplify]: iters left: 4 (113 enodes)
8.457 * * [simplify]: iters left: 3 (353 enodes)
8.575 * * [simplify]: Extracting #0: cost 1 inf + 0
8.575 * * [simplify]: Extracting #1: cost 28 inf + 0
8.575 * * [simplify]: Extracting #2: cost 109 inf + 0
8.577 * * [simplify]: Extracting #3: cost 307 inf + 324
8.579 * * [simplify]: Extracting #4: cost 358 inf + 6748
8.581 * * [simplify]: Extracting #5: cost 401 inf + 13486
8.585 * * [simplify]: Extracting #6: cost 366 inf + 43798
8.602 * * [simplify]: Extracting #7: cost 199 inf + 297008
8.632 * * [simplify]: Extracting #8: cost 9 inf + 638872
8.666 * * [simplify]: Extracting #9: cost 0 inf + 654033
8.708 * [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.708 * [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.708 * * * * [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))))>
8.708 * [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.708 * * [simplify]: iters left: 6 (19 enodes)
8.715 * * [simplify]: iters left: 5 (45 enodes)
8.727 * * [simplify]: iters left: 4 (113 enodes)
8.768 * * [simplify]: iters left: 3 (353 enodes)
8.887 * * [simplify]: Extracting #0: cost 1 inf + 0
8.887 * * [simplify]: Extracting #1: cost 28 inf + 0
8.888 * * [simplify]: Extracting #2: cost 109 inf + 0
8.889 * * [simplify]: Extracting #3: cost 307 inf + 324
8.891 * * [simplify]: Extracting #4: cost 358 inf + 6748
8.894 * * [simplify]: Extracting #5: cost 401 inf + 13486
8.901 * * [simplify]: Extracting #6: cost 366 inf + 43798
8.918 * * [simplify]: Extracting #7: cost 199 inf + 297008
8.961 * * [simplify]: Extracting #8: cost 9 inf + 638872
8.999 * * [simplify]: Extracting #9: cost 0 inf + 654033
9.038 * [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.038 * [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.038 * * * * [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.038 * [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.038 * * [simplify]: iters left: 6 (19 enodes)
9.043 * * [simplify]: iters left: 5 (45 enodes)
9.052 * * [simplify]: iters left: 4 (113 enodes)
9.084 * * [simplify]: iters left: 3 (353 enodes)
9.196 * * [simplify]: Extracting #0: cost 1 inf + 0
9.196 * * [simplify]: Extracting #1: cost 28 inf + 0
9.196 * * [simplify]: Extracting #2: cost 109 inf + 0
9.197 * * [simplify]: Extracting #3: cost 307 inf + 324
9.199 * * [simplify]: Extracting #4: cost 358 inf + 6748
9.202 * * [simplify]: Extracting #5: cost 401 inf + 13486
9.205 * * [simplify]: Extracting #6: cost 366 inf + 43798
9.221 * * [simplify]: Extracting #7: cost 199 inf + 297008
9.261 * * [simplify]: Extracting #8: cost 9 inf + 638872
9.305 * * [simplify]: Extracting #9: cost 0 inf + 654033
9.337 * [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.337 * [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.338 * * * [progress]: adding candidates to table
10.057 * [progress]: [Phase 3 of 3] Extracting.
10.057 * * [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 (*.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)))))> #<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 (/.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))))))> #<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 (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))))>)
10.060 * * * [regime-changes]: Trying 2 branch expressions: (rand a)
10.060 * * * * [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 (*.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)))))> #<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 (/.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))))))> #<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 (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))))>)
10.332 * * * * [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 (*.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)))))> #<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 (/.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))))))> #<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 (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))))>)
10.571 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
10.571 * [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.572 * * [simplify]: iters left: 6 (23 enodes)
10.575 * * [simplify]: iters left: 5 (25 enodes)
10.577 * * [simplify]: Extracting #0: cost 1 inf + 0
10.577 * * [simplify]: Extracting #1: cost 3 inf + 0
10.577 * * [simplify]: Extracting #2: cost 7 inf + 0
10.577 * * [simplify]: Extracting #3: cost 11 inf + 1
10.577 * * [simplify]: Extracting #4: cost 11 inf + 4
10.577 * * [simplify]: Extracting #5: cost 10 inf + 6
10.577 * * [simplify]: Extracting #6: cost 9 inf + 450
10.578 * * [simplify]: Extracting #7: cost 9 inf + 1456
10.578 * * [simplify]: Extracting #8: cost 12 inf + 1456
10.578 * * [simplify]: Extracting #9: cost 8 inf + 3703
10.579 * * [simplify]: Extracting #10: cost 5 inf + 7152
10.579 * * [simplify]: Extracting #11: cost 2 inf + 14367
10.580 * * [simplify]: Extracting #12: cost 0 inf + 20379
10.581 * [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.581 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
10.613 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
10.620 * * * * [points]: Setting MPFR precision to 64
10.622 * * * * [points]: Setting MPFR precision to 320
10.623 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
10.631 * * * * [points]: Setting MPFR precision to 64
10.634 * * * * [points]: Setting MPFR precision to 320
10.637 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
10.644 * * * * [points]: Setting MPFR precision to 64
10.649 * * * * [points]: Setting MPFR precision to 320
10.655 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
10.662 * * * * [points]: Setting MPFR precision to 64
10.673 * * * * [points]: Setting MPFR precision to 320
10.684 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
10.706 * * * * [points]: Setting MPFR precision to 64
10.729 * * * * [points]: Setting MPFR precision to 320
10.750 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
10.757 * * * * [points]: Setting MPFR precision to 64
10.798 * * * * [points]: Setting MPFR precision to 320
10.840 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
10.847 * * * * [points]: Setting MPFR precision to 64
10.943 * * * * [points]: Setting MPFR precision to 320
11.023 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
11.029 * * * * [points]: Setting MPFR precision to 64
11.193 * * * * [points]: Setting MPFR precision to 320
11.396 * * * * [points]: Computing exacts for 8000 points
11.440 * * * * [points]: Setting MPFR precision to 64
12.091 * * * * [points]: Setting MPFR precision to 320
13.240 * * * * [points]: Filtering points with unrepresentable outputs
13.264 * * * * [points]: Sampled 8000 points with exact outputs
19.896 * [regime-testing]: Baseline error score: 64.0
19.903 * [regime-testing]: Oracle error score: 64.0
19.927 * [regime-testing]: End program error score: 0.22504673274059678