0.003 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.013 * * * * [points]: Setting MPFR precision to 320
0.014 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.024 * * * * [points]: Setting MPFR precision to 64
0.027 * * * * [points]: Setting MPFR precision to 320
0.030 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.040 * * * * [points]: Setting MPFR precision to 64
0.045 * * * * [points]: Setting MPFR precision to 320
0.050 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.061 * * * * [points]: Setting MPFR precision to 64
0.069 * * * * [points]: Setting MPFR precision to 320
0.077 * * * * [points]: Computing exacts for 256 points
0.082 * * * * [points]: Setting MPFR precision to 64
0.096 * * * * [points]: Setting MPFR precision to 320
0.143 * * * * [points]: Filtering points with unrepresentable outputs
0.144 * * * * [points]: Sampled 256 points with exact outputs
0.144 * * * [progress]: [2/2] Setting up program.
0.171 * [progress]: [Phase 2 of 3] Improving.
0.171 * * * * [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.171 * [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.171 * * [simplify]: iters left: 6 (18 enodes)
0.182 * * [simplify]: iters left: 5 (47 enodes)
0.198 * * [simplify]: iters left: 4 (121 enodes)
0.226 * * [simplify]: iters left: 3 (337 enodes)
0.856 * * [simplify]: Extracting #0: cost 1 inf + 0
0.856 * * [simplify]: Extracting #1: cost 34 inf + 0
0.857 * * [simplify]: Extracting #2: cost 204 inf + 0
0.859 * * [simplify]: Extracting #3: cost 327 inf + 1286
0.862 * * [simplify]: Extracting #4: cost 361 inf + 7383
0.866 * * [simplify]: Extracting #5: cost 377 inf + 18286
0.872 * * [simplify]: Extracting #6: cost 342 inf + 48410
0.903 * * [simplify]: Extracting #7: cost 194 inf + 298954
0.966 * * [simplify]: Extracting #8: cost 16 inf + 653619
1.037 * * [simplify]: Extracting #9: cost 0 inf + 689310
1.109 * [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.109 * [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.142 * * [progress]: iteration 1 / 4
1.142 * * * [progress]: picking best candidate
1.174 * * * * [pick]: Picked  #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1.174 * * * [progress]: localizing error
1.471 * * * [progress]: generating rewritten candidates
1.471 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
1.491 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1 2)
1.494 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.497 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2)
1.498 * * * [progress]: generating series expansions
1.498 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
1.498 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1 2)
1.498 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.498 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2)
1.498 * * * [progress]: simplifying candidates
1.498 * * * * [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))))>
1.498 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1.498 * * [simplify]: iters left: 4 (9 enodes)
1.504 * * [simplify]: iters left: 3 (13 enodes)
1.509 * * [simplify]: Extracting #0: cost 1 inf + 0
1.509 * * [simplify]: Extracting #1: cost 3 inf + 0
1.510 * * [simplify]: Extracting #2: cost 5 inf + 0
1.510 * * [simplify]: Extracting #3: cost 6 inf + 1
1.510 * * [simplify]: Extracting #4: cost 7 inf + 2
1.510 * * [simplify]: Extracting #5: cost 0 inf + 1813
1.510 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1.510 * [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))))
1.510 * * * * [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))))>
1.511 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1.511 * * [simplify]: iters left: 4 (9 enodes)
1.515 * * [simplify]: iters left: 3 (13 enodes)
1.520 * * [simplify]: Extracting #0: cost 1 inf + 0
1.520 * * [simplify]: Extracting #1: cost 3 inf + 0
1.520 * * [simplify]: Extracting #2: cost 5 inf + 0
1.520 * * [simplify]: Extracting #3: cost 5 inf + 2
1.520 * * [simplify]: Extracting #4: cost 7 inf + 2
1.520 * * [simplify]: Extracting #5: cost 4 inf + 5
1.520 * * [simplify]: Extracting #6: cost 0 inf + 1813
1.520 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
1.520 * [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))))
1.521 * * * * [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))))>
1.521 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1.521 * * [simplify]: iters left: 3 (7 enodes)
1.524 * * [simplify]: iters left: 2 (12 enodes)
1.528 * * [simplify]: Extracting #0: cost 1 inf + 0
1.528 * * [simplify]: Extracting #1: cost 3 inf + 0
1.528 * * [simplify]: Extracting #2: cost 4 inf + 1
1.528 * * [simplify]: Extracting #3: cost 6 inf + 1
1.529 * * [simplify]: Extracting #4: cost 0 inf + 930
1.529 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1.529 * [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))))
1.529 * * * * [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))))>
1.529 * * * * [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))))>
1.529 * * * * [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))))>
1.529 * * * * [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))))>
1.529 * * * * [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))))>
1.529 * * * * [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))))>
1.530 * [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.530 * * [simplify]: iters left: 6 (18 enodes)
1.538 * * [simplify]: iters left: 5 (47 enodes)
1.553 * * [simplify]: iters left: 4 (121 enodes)
1.580 * * [simplify]: iters left: 3 (337 enodes)
1.773 * * [simplify]: Extracting #0: cost 1 inf + 0
1.773 * * [simplify]: Extracting #1: cost 34 inf + 0
1.773 * * [simplify]: Extracting #2: cost 204 inf + 0
1.774 * * [simplify]: Extracting #3: cost 327 inf + 1286
1.777 * * [simplify]: Extracting #4: cost 361 inf + 7383
1.781 * * [simplify]: Extracting #5: cost 377 inf + 18286
1.786 * * [simplify]: Extracting #6: cost 342 inf + 48410
1.816 * * [simplify]: Extracting #7: cost 194 inf + 298954
1.851 * * [simplify]: Extracting #8: cost 16 inf + 653619
1.889 * * [simplify]: Extracting #9: cost 0 inf + 689310
1.956 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
1.956 * [simplify]: Simplified (2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
1.956 * * * * [progress]: [ 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.956 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
1.956 * * [simplify]: iters left: 6 (18 enodes)
1.961 * * [simplify]: iters left: 5 (47 enodes)
1.971 * * [simplify]: iters left: 4 (121 enodes)
2.002 * * [simplify]: iters left: 3 (337 enodes)
2.163 * * [simplify]: Extracting #0: cost 1 inf + 0
2.163 * * [simplify]: Extracting #1: cost 34 inf + 0
2.163 * * [simplify]: Extracting #2: cost 204 inf + 0
2.164 * * [simplify]: Extracting #3: cost 327 inf + 1286
2.166 * * [simplify]: Extracting #4: cost 361 inf + 7383
2.168 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.171 * * [simplify]: Extracting #6: cost 342 inf + 48410
2.183 * * [simplify]: Extracting #7: cost 194 inf + 298954
2.231 * * [simplify]: Extracting #8: cost 16 inf + 653619
2.294 * * [simplify]: Extracting #9: cost 0 inf + 689310
2.358 * [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.358 * [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.359 * * * * [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))))>
2.359 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
2.359 * * [simplify]: iters left: 6 (18 enodes)
2.365 * * [simplify]: iters left: 5 (47 enodes)
2.375 * * [simplify]: iters left: 4 (121 enodes)
2.410 * * [simplify]: iters left: 3 (337 enodes)
2.586 * * [simplify]: Extracting #0: cost 1 inf + 0
2.586 * * [simplify]: Extracting #1: cost 34 inf + 0
2.587 * * [simplify]: Extracting #2: cost 204 inf + 0
2.589 * * [simplify]: Extracting #3: cost 327 inf + 1286
2.592 * * [simplify]: Extracting #4: cost 361 inf + 7383
2.596 * * [simplify]: Extracting #5: cost 377 inf + 18286
2.602 * * [simplify]: Extracting #6: cost 342 inf + 48410
2.628 * * [simplify]: Extracting #7: cost 194 inf + 298954
2.676 * * [simplify]: Extracting #8: cost 16 inf + 653619
2.727 * * [simplify]: Extracting #9: cost 0 inf + 689310
2.777 * [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.777 * [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.778 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
2.778 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
2.778 * * [simplify]: iters left: 6 (18 enodes)
2.783 * * [simplify]: iters left: 5 (47 enodes)
2.792 * * [simplify]: iters left: 4 (121 enodes)
2.820 * * [simplify]: iters left: 3 (337 enodes)
2.990 * * [simplify]: Extracting #0: cost 1 inf + 0
2.990 * * [simplify]: Extracting #1: cost 34 inf + 0
2.991 * * [simplify]: Extracting #2: cost 204 inf + 0
2.993 * * [simplify]: Extracting #3: cost 327 inf + 1286
2.996 * * [simplify]: Extracting #4: cost 361 inf + 7383
3.000 * * [simplify]: Extracting #5: cost 377 inf + 18286
3.005 * * [simplify]: Extracting #6: cost 342 inf + 48410
3.029 * * [simplify]: Extracting #7: cost 194 inf + 298954
3.064 * * [simplify]: Extracting #8: cost 16 inf + 653619
3.122 * * [simplify]: Extracting #9: cost 0 inf + 689310
3.180 * [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))))))
3.181 * [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)))))))
3.181 * * * [progress]: adding candidates to table
3.805 * * [progress]: iteration 2 / 4
3.805 * * * [progress]: picking best candidate
3.878 * * * * [pick]: Picked  #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
3.878 * * * [progress]: localizing error
4.283 * * * [progress]: generating rewritten candidates
4.283 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1 2 1 2)
4.286 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1 2)
4.291 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1 2 1)
4.293 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 1)
4.299 * * * [progress]: generating series expansions
4.299 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1 2 1 2)
4.299 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1 2)
4.299 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1 2 1)
4.299 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 1)
4.299 * * * [progress]: simplifying candidates
4.299 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (/.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 1.0)) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
4.299 * [simplify]: Simplifying (real->posit16 3.0)
4.299 * * [simplify]: iters left: 1 (2 enodes)
4.301 * * [simplify]: Extracting #0: cost 1 inf + 0
4.301 * * [simplify]: Extracting #1: cost 2 inf + 0
4.301 * * [simplify]: Extracting #2: cost 1 inf + 1
4.301 * * [simplify]: Extracting #3: cost 0 inf + 2
4.301 * [simplify]: Simplified to (real->posit16 3.0)
4.301 * [simplify]: Simplified (2 2 2 1 2 1 2 1 2 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (/.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 1.0)) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
4.302 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (/.p16 (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
4.302 * [simplify]: Simplifying (*.p16 (real->posit16 1.0) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.302 * * [simplify]: iters left: 3 (6 enodes)
4.306 * * [simplify]: iters left: 2 (11 enodes)
4.310 * * [simplify]: iters left: 1 (19 enodes)
4.317 * * [simplify]: Extracting #0: cost 1 inf + 0
4.317 * * [simplify]: Extracting #1: cost 3 inf + 0
4.317 * * [simplify]: Extracting #2: cost 8 inf + 0
4.317 * * [simplify]: Extracting #3: cost 6 inf + 2
4.317 * * [simplify]: Extracting #4: cost 4 inf + 4
4.317 * * [simplify]: Extracting #5: cost 0 inf + 1530
4.317 * [simplify]: Simplified to (/.p16 (real->posit16 1.0) (real->posit16 3.0))
4.318 * [simplify]: Simplified (2 2 2 1 2 1 2 1 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
4.318 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
4.318 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand))))>
4.318 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.318 * * [simplify]: iters left: 3 (7 enodes)
4.322 * * [simplify]: iters left: 2 (12 enodes)
4.326 * * [simplify]: Extracting #0: cost 1 inf + 0
4.326 * * [simplify]: Extracting #1: cost 3 inf + 0
4.326 * * [simplify]: Extracting #2: cost 4 inf + 1
4.326 * * [simplify]: Extracting #3: cost 6 inf + 1
4.326 * * [simplify]: Extracting #4: cost 0 inf + 930
4.326 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
4.326 * [simplify]: Simplified (2 2 2 1 2 1 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand))))
4.327 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) rand))))>
4.327 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
4.327 * * [simplify]: iters left: 5 (11 enodes)
4.330 * * [simplify]: iters left: 4 (37 enodes)
4.339 * * [simplify]: iters left: 3 (103 enodes)
4.400 * * [simplify]: iters left: 2 (388 enodes)
4.805 * * [simplify]: Extracting #0: cost 1 inf + 0
4.805 * * [simplify]: Extracting #1: cost 52 inf + 0
4.806 * * [simplify]: Extracting #2: cost 271 inf + 0
4.810 * * [simplify]: Extracting #3: cost 388 inf + 2569
4.814 * * [simplify]: Extracting #4: cost 382 inf + 58132
4.827 * * [simplify]: Extracting #5: cost 205 inf + 338235
4.880 * * [simplify]: Extracting #6: cost 37 inf + 715994
4.952 * * [simplify]: Extracting #7: cost 3 inf + 809886
5.032 * * [simplify]: Extracting #8: cost 0 inf + 820335
5.102 * [simplify]: Simplified to (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
5.102 * [simplify]: Simplified (2 2 2 1 2 1 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) rand))))
5.103 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
5.103 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.103 * * [simplify]: iters left: 3 (7 enodes)
5.105 * * [simplify]: iters left: 2 (12 enodes)
5.107 * * [simplify]: Extracting #0: cost 1 inf + 0
5.107 * * [simplify]: Extracting #1: cost 3 inf + 0
5.107 * * [simplify]: Extracting #2: cost 4 inf + 1
5.107 * * [simplify]: Extracting #3: cost 6 inf + 1
5.107 * * [simplify]: Extracting #4: cost 0 inf + 930
5.107 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.107 * [simplify]: Simplified (2 2 2 1 2 1 2 1 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
5.107 * [simplify]: Simplifying (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.107 * * [simplify]: iters left: 3 (7 enodes)
5.109 * * [simplify]: iters left: 2 (18 enodes)
5.112 * * [simplify]: iters left: 1 (32 enodes)
5.119 * * [simplify]: Extracting #0: cost 1 inf + 0
5.119 * * [simplify]: Extracting #1: cost 9 inf + 0
5.119 * * [simplify]: Extracting #2: cost 25 inf + 1
5.119 * * [simplify]: Extracting #3: cost 34 inf + 322
5.119 * * [simplify]: Extracting #4: cost 27 inf + 3209
5.119 * * [simplify]: Extracting #5: cost 22 inf + 4898
5.120 * * [simplify]: Extracting #6: cost 11 inf + 15047
5.121 * * [simplify]: Extracting #7: cost 0 inf + 29315
5.122 * [simplify]: Simplified to (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.122 * [simplify]: Simplified (2 2 2 1 2 1 2 1 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
5.123 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (+.p16 (*.p16 a a) (neg.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
5.123 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
5.123 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
5.123 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.123 * * [simplify]: iters left: 3 (7 enodes)
5.125 * * [simplify]: iters left: 2 (12 enodes)
5.127 * * [simplify]: Extracting #0: cost 1 inf + 0
5.127 * * [simplify]: Extracting #1: cost 3 inf + 0
5.127 * * [simplify]: Extracting #2: cost 4 inf + 1
5.127 * * [simplify]: Extracting #3: cost 6 inf + 1
5.127 * * [simplify]: Extracting #4: cost 0 inf + 930
5.127 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
5.127 * [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))))
5.127 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9)))) rand))))>
5.127 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
5.127 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
5.127 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
5.127 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
5.127 * * * [progress]: adding candidates to table
5.747 * * [progress]: iteration 3 / 4
5.747 * * * [progress]: picking best candidate
5.861 * * * * [pick]: Picked  #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
5.861 * * * [progress]: localizing error
6.229 * * * [progress]: generating rewritten candidates
6.229 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1 2)
6.236 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1 2 1)
6.239 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1)
6.244 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
6.245 * * * [progress]: generating series expansions
6.245 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1 2)
6.245 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1 2 1)
6.245 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1)
6.245 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
6.245 * * * [progress]: simplifying candidates
6.245 * * * * [progress]: [ 1 / 11 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0)) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0)))) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 a a) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0)))))))) rand))))>
6.246 * [simplify]: Simplifying (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0)) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0))))
6.246 * * [simplify]: iters left: 5 (11 enodes)
6.249 * * [simplify]: iters left: 4 (35 enodes)
6.256 * * [simplify]: iters left: 3 (89 enodes)
6.285 * * [simplify]: iters left: 2 (294 enodes)
6.539 * * [simplify]: Extracting #0: cost 1 inf + 0
6.539 * * [simplify]: Extracting #1: cost 45 inf + 0
6.540 * * [simplify]: Extracting #2: cost 258 inf + 0
6.542 * * [simplify]: Extracting #3: cost 400 inf + 1606
6.545 * * [simplify]: Extracting #4: cost 566 inf + 11589
6.560 * * [simplify]: Extracting #5: cost 322 inf + 321802
6.590 * * [simplify]: Extracting #6: cost 123 inf + 757450
6.652 * * [simplify]: Extracting #7: cost 25 inf + 1014471
6.704 * * [simplify]: Extracting #8: cost 0 inf + 1041184
6.796 * * [simplify]: Extracting #9: cost 0 inf + 1000944
6.864 * * [simplify]: Extracting #10: cost 0 inf + 999064
6.939 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 a a) (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0)))) (-.p16 (*.p16 a a) (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0)))))
6.939 * [simplify]: Simplified (2 2 2 1 2 1 2 1) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (*.p16 (+.p16 (*.p16 a a) (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0)))) (-.p16 (*.p16 a a) (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0))))) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 a a) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0)))))))) rand))))
6.940 * * * * [progress]: [ 2 / 11 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (+.p16 (*.p16 a a) (neg.p16 (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
6.940 * * * * [progress]: [ 3 / 11 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0)) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0)))) (+.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))))>
6.940 * * * * [progress]: [ 4 / 11 ] 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)) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
6.940 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.940 * * [simplify]: iters left: 3 (7 enodes)
6.942 * * [simplify]: iters left: 2 (12 enodes)
6.946 * * [simplify]: Extracting #0: cost 1 inf + 0
6.946 * * [simplify]: Extracting #1: cost 3 inf + 0
6.946 * * [simplify]: Extracting #2: cost 4 inf + 1
6.946 * * [simplify]: Extracting #3: cost 6 inf + 1
6.946 * * [simplify]: Extracting #4: cost 0 inf + 930
6.946 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.946 * [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)) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
6.946 * * * * [progress]: [ 5 / 11 ] 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)) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (real->posit16 9)))) rand))))>
6.947 * * * * [progress]: [ 6 / 11 ] 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 (-.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))))>
6.947 * * * * [progress]: [ 7 / 11 ] 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 (-.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))))>
6.947 * * * * [progress]: [ 8 / 11 ] 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)) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
6.947 * [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 (-.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)))
6.947 * * [simplify]: iters left: 6 (23 enodes)
6.956 * * [simplify]: iters left: 5 (62 enodes)
6.976 * * [simplify]: iters left: 4 (160 enodes)
7.034 * * [simplify]: iters left: 3 (476 enodes)
7.298 * * [simplify]: Extracting #0: cost 1 inf + 0
7.298 * * [simplify]: Extracting #1: cost 50 inf + 0
7.299 * * [simplify]: Extracting #2: cost 354 inf + 0
7.303 * * [simplify]: Extracting #3: cost 602 inf + 964
7.307 * * [simplify]: Extracting #4: cost 702 inf + 8657
7.313 * * [simplify]: Extracting #5: cost 732 inf + 33653
7.326 * * [simplify]: Extracting #6: cost 688 inf + 72025
7.340 * * [simplify]: Extracting #7: cost 486 inf + 370551
7.418 * * [simplify]: Extracting #8: cost 150 inf + 1146909
7.493 * * [simplify]: Extracting #9: cost 6 inf + 1531219
7.572 * * [simplify]: Extracting #10: cost 0 inf + 1539409
7.648 * [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)))
7.648 * [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))))
7.649 * * * * [progress]: [ 9 / 11 ] 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)) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
7.649 * [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 (-.p16 (*.p16 a a) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))
7.649 * * [simplify]: iters left: 6 (23 enodes)
7.656 * * [simplify]: iters left: 5 (62 enodes)
7.668 * * [simplify]: iters left: 4 (160 enodes)
7.707 * * [simplify]: iters left: 3 (476 enodes)
7.920 * * [simplify]: Extracting #0: cost 1 inf + 0
7.921 * * [simplify]: Extracting #1: cost 50 inf + 0
7.922 * * [simplify]: Extracting #2: cost 354 inf + 0
7.924 * * [simplify]: Extracting #3: cost 602 inf + 964
7.927 * * [simplify]: Extracting #4: cost 702 inf + 8657
7.931 * * [simplify]: Extracting #5: cost 732 inf + 33653
7.936 * * [simplify]: Extracting #6: cost 688 inf + 72025
7.952 * * [simplify]: Extracting #7: cost 486 inf + 370551
8.007 * * [simplify]: Extracting #8: cost 150 inf + 1146909
8.088 * * [simplify]: Extracting #9: cost 6 inf + 1531219
8.175 * * [simplify]: Extracting #10: cost 0 inf + 1539409
8.290 * [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.290 * [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.290 * * * * [progress]: [ 10 / 11 ] 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)) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
8.290 * [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 (-.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)))
8.290 * * [simplify]: iters left: 6 (23 enodes)
8.299 * * [simplify]: iters left: 5 (62 enodes)
8.319 * * [simplify]: iters left: 4 (160 enodes)
8.382 * * [simplify]: iters left: 3 (476 enodes)
8.621 * * [simplify]: Extracting #0: cost 1 inf + 0
8.621 * * [simplify]: Extracting #1: cost 50 inf + 0
8.623 * * [simplify]: Extracting #2: cost 354 inf + 0
8.626 * * [simplify]: Extracting #3: cost 602 inf + 964
8.631 * * [simplify]: Extracting #4: cost 702 inf + 8657
8.638 * * [simplify]: Extracting #5: cost 732 inf + 33653
8.646 * * [simplify]: Extracting #6: cost 688 inf + 72025
8.670 * * [simplify]: Extracting #7: cost 486 inf + 370551
8.749 * * [simplify]: Extracting #8: cost 150 inf + 1146909
8.842 * * [simplify]: Extracting #9: cost 6 inf + 1531219
8.942 * * [simplify]: Extracting #10: cost 0 inf + 1539409
9.032 * [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.032 * [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.032 * * * * [progress]: [ 11 / 11 ] 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)) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
9.032 * [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 (-.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)))
9.032 * * [simplify]: iters left: 6 (23 enodes)
9.038 * * [simplify]: iters left: 5 (62 enodes)
9.055 * * [simplify]: iters left: 4 (160 enodes)
9.116 * * [simplify]: iters left: 3 (476 enodes)
9.349 * * [simplify]: Extracting #0: cost 1 inf + 0
9.349 * * [simplify]: Extracting #1: cost 50 inf + 0
9.350 * * [simplify]: Extracting #2: cost 354 inf + 0
9.352 * * [simplify]: Extracting #3: cost 602 inf + 964
9.355 * * [simplify]: Extracting #4: cost 702 inf + 8657
9.359 * * [simplify]: Extracting #5: cost 732 inf + 33653
9.366 * * [simplify]: Extracting #6: cost 688 inf + 72025
9.384 * * [simplify]: Extracting #7: cost 486 inf + 370551
9.436 * * [simplify]: Extracting #8: cost 150 inf + 1146909
9.527 * * [simplify]: Extracting #9: cost 6 inf + 1531219
9.636 * * [simplify]: Extracting #10: cost 0 inf + 1539409
9.743 * [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.743 * [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.743 * * * [progress]: adding candidates to table
10.282 * * [progress]: iteration 4 / 4
10.282 * * * [progress]: picking best candidate
10.370 * * * * [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)) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
10.370 * * * [progress]: localizing error
10.737 * * * [progress]: generating rewritten candidates
10.737 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
10.742 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1 1)
10.747 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 1 1 2)
10.751 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
10.752 * * * [progress]: generating series expansions
10.752 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
10.752 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1 1)
10.752 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 1 1 2)
10.752 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
10.752 * * * [progress]: simplifying candidates
10.753 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (real->posit16 9) (/.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 (*.p16 a a) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0))))))) rand))))>
10.753 * [simplify]: Simplifying (real->posit16 9)
10.753 * * [simplify]: iters left: 1 (2 enodes)
10.754 * * [simplify]: Extracting #0: cost 1 inf + 0
10.754 * * [simplify]: Extracting #1: cost 2 inf + 0
10.754 * * [simplify]: Extracting #2: cost 1 inf + 1
10.754 * * [simplify]: Extracting #3: cost 0 inf + 2
10.754 * [simplify]: Simplified to (real->posit16 9)
10.754 * [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)) (real->posit16 3.0))))))) rand))))
10.754 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0)) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0))))) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 a a) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0))))))) rand))))>
10.754 * [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)) (real->posit16 3.0)) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0)))))
10.754 * * [simplify]: iters left: 6 (14 enodes)
10.765 * * [simplify]: iters left: 5 (40 enodes)
10.779 * * [simplify]: iters left: 4 (104 enodes)
10.831 * * [simplify]: iters left: 3 (366 enodes)
11.179 * * [simplify]: Extracting #0: cost 1 inf + 0
11.179 * * [simplify]: Extracting #1: cost 59 inf + 0
11.181 * * [simplify]: Extracting #2: cost 308 inf + 0
11.184 * * [simplify]: Extracting #3: cost 541 inf + 3533
11.191 * * [simplify]: Extracting #4: cost 819 inf + 22759
11.201 * * [simplify]: Extracting #5: cost 803 inf + 34621
11.214 * * [simplify]: Extracting #6: cost 646 inf + 239057
11.255 * * [simplify]: Extracting #7: cost 152 inf + 1070090
11.322 * * [simplify]: Extracting #8: cost 5 inf + 1437674
11.395 * * [simplify]: Extracting #9: cost 0 inf + 1445851
11.465 * [simplify]: Simplified to (*.p16 (+.p16 (*.p16 a a) (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0)))) (*.p16 (-.p16 (*.p16 a a) (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0)))) (real->posit16 9)))
11.465 * [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 a a) (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0)))) (*.p16 (-.p16 (*.p16 a a) (/.p16 (real->posit16 1.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)) (real->posit16 3.0))))))) rand))))
11.465 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (+.p16 (*.p16 (real->posit16 9) (*.p16 a a)) (*.p16 (real->posit16 9) (neg.p16 (/.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))))>
11.466 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0))))
11.466 * * [simplify]: iters left: 5 (10 enodes)
11.469 * * [simplify]: iters left: 4 (16 enodes)
11.471 * * [simplify]: Extracting #0: cost 1 inf + 0
11.471 * * [simplify]: Extracting #1: cost 3 inf + 0
11.471 * * [simplify]: Extracting #2: cost 5 inf + 0
11.471 * * [simplify]: Extracting #3: cost 8 inf + 1
11.471 * * [simplify]: Extracting #4: cost 9 inf + 2
11.472 * * [simplify]: Extracting #5: cost 0 inf + 3896
11.472 * * [simplify]: Extracting #6: cost 0 inf + 3536
11.472 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0)))) (real->posit16 9))
11.472 * [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 (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))))
11.472 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (+.p16 (*.p16 (*.p16 a a) (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0))) (real->posit16 9))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
11.472 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0))) (real->posit16 9))
11.472 * * [simplify]: iters left: 5 (10 enodes)
11.475 * * [simplify]: iters left: 4 (16 enodes)
11.478 * * [simplify]: Extracting #0: cost 1 inf + 0
11.478 * * [simplify]: Extracting #1: cost 3 inf + 0
11.478 * * [simplify]: Extracting #2: cost 5 inf + 0
11.478 * * [simplify]: Extracting #3: cost 7 inf + 2
11.478 * * [simplify]: Extracting #4: cost 9 inf + 2
11.478 * * [simplify]: Extracting #5: cost 5 inf + 326
11.478 * * [simplify]: Extracting #6: cost 0 inf + 3536
11.478 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0)))) (real->posit16 9))
11.478 * [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))))
11.478 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0)) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0))))) (+.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))))>
11.478 * [simplify]: Simplifying (+.p16 (*.p16 a a) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0)))
11.478 * * [simplify]: iters left: 4 (9 enodes)
11.481 * * [simplify]: iters left: 3 (16 enodes)
11.483 * * [simplify]: Extracting #0: cost 1 inf + 0
11.483 * * [simplify]: Extracting #1: cost 3 inf + 0
11.483 * * [simplify]: Extracting #2: cost 8 inf + 0
11.483 * * [simplify]: Extracting #3: cost 9 inf + 1
11.484 * * [simplify]: Extracting #4: cost 0 inf + 3214
11.484 * * [simplify]: Extracting #5: cost 0 inf + 2974
11.484 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1.0) (*.p16 (real->posit16 3.0) (real->posit16 3.0))) (*.p16 a a))
11.484 * [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)) (real->posit16 3.0)) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.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))))
11.484 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (-.p16 (*.p16 a a) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0))) (real->posit16 9)) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
11.484 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (+.p16 (*.p16 a a) (neg.p16 (/.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))))>
11.485 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0)) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0)))) (+.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))))>
11.485 * * * * [progress]: [ 9 / 14 ] 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) (-.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))))>
11.485 * * * * [progress]: [ 10 / 14 ] 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) (-.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))))>
11.485 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.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))))>
11.485 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
11.485 * * [simplify]: iters left: 3 (7 enodes)
11.488 * * [simplify]: iters left: 2 (12 enodes)
11.491 * * [simplify]: Extracting #0: cost 1 inf + 0
11.491 * * [simplify]: Extracting #1: cost 3 inf + 0
11.491 * * [simplify]: Extracting #2: cost 4 inf + 1
11.491 * * [simplify]: Extracting #3: cost 6 inf + 1
11.491 * * [simplify]: Extracting #4: cost 0 inf + 930
11.491 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
11.491 * [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)) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
11.492 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.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))))>
11.492 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
11.492 * * [simplify]: iters left: 3 (7 enodes)
11.495 * * [simplify]: iters left: 2 (12 enodes)
11.498 * * [simplify]: Extracting #0: cost 1 inf + 0
11.498 * * [simplify]: Extracting #1: cost 3 inf + 0
11.498 * * [simplify]: Extracting #2: cost 4 inf + 1
11.498 * * [simplify]: Extracting #3: cost 6 inf + 1
11.498 * * [simplify]: Extracting #4: cost 0 inf + 930
11.499 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
11.499 * [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)) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
11.499 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.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))))>
11.499 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
11.499 * * [simplify]: iters left: 3 (7 enodes)
11.501 * * [simplify]: iters left: 2 (12 enodes)
11.503 * * [simplify]: Extracting #0: cost 1 inf + 0
11.503 * * [simplify]: Extracting #1: cost 3 inf + 0
11.503 * * [simplify]: Extracting #2: cost 4 inf + 1
11.503 * * [simplify]: Extracting #3: cost 6 inf + 1
11.503 * * [simplify]: Extracting #4: cost 0 inf + 930
11.503 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
11.503 * [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)) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
11.503 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.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))))>
11.503 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
11.504 * * [simplify]: iters left: 3 (7 enodes)
11.505 * * [simplify]: iters left: 2 (12 enodes)
11.507 * * [simplify]: Extracting #0: cost 1 inf + 0
11.507 * * [simplify]: Extracting #1: cost 3 inf + 0
11.507 * * [simplify]: Extracting #2: cost 4 inf + 1
11.507 * * [simplify]: Extracting #3: cost 6 inf + 1
11.507 * * [simplify]: Extracting #4: cost 0 inf + 930
11.507 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
11.507 * [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)) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
11.508 * * * [progress]: adding candidates to table
12.030 * [progress]: [Phase 3 of 3] Extracting.
12.030 * * [regime]: Finding splitpoints for: (#<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) rand))))> #<alt (λ (a rand) (*.p16 (/.p16 (-.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 (-.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))))> #<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))))> #<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)) (real->posit16 3.0)) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0))))) (+.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))))> #<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)) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>)
12.094 * * * [regime-changes]: Trying 2 branch expressions: (rand a)
12.094 * * * * [regimes]: Trying to branch on rand from (#<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) rand))))> #<alt (λ (a rand) (*.p16 (/.p16 (-.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 (-.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))))> #<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))))> #<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)) (real->posit16 3.0)) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0))))) (+.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))))> #<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)) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>)
12.264 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (/.p16 (-.p16 (*.p16 (*.p16 a a) (*.p16 a a)) (*.p16 (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))) rand))))> #<alt (λ (a rand) (*.p16 (/.p16 (-.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 (-.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))))> #<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))))> #<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)) (real->posit16 3.0)) (/.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (real->posit16 3.0))))) (+.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))))> #<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)) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>)
12.433 * * * [regime]: Found split indices: #<option (#s(si 2 256))>
12.433 * [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)))
12.433 * * [simplify]: iters left: 6 (18 enodes)
12.436 * * [simplify]: iters left: 5 (20 enodes)
12.438 * * [simplify]: Extracting #0: cost 1 inf + 0
12.438 * * [simplify]: Extracting #1: cost 3 inf + 0
12.438 * * [simplify]: Extracting #2: cost 7 inf + 0
12.438 * * [simplify]: Extracting #3: cost 11 inf + 1
12.438 * * [simplify]: Extracting #4: cost 11 inf + 4
12.438 * * [simplify]: Extracting #5: cost 10 inf + 6
12.438 * * [simplify]: Extracting #6: cost 8 inf + 450
12.438 * * [simplify]: Extracting #7: cost 8 inf + 973
12.438 * * [simplify]: Extracting #8: cost 7 inf + 974
12.438 * * [simplify]: Extracting #9: cost 5 inf + 1819
12.438 * * [simplify]: Extracting #10: cost 2 inf + 5674
12.439 * * [simplify]: Extracting #11: cost 1 inf + 7360
12.439 * * [simplify]: Extracting #12: cost 0 inf + 9366
12.439 * [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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
12.439 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
12.461 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
12.467 * * * * [points]: Setting MPFR precision to 64
12.468 * * * * [points]: Setting MPFR precision to 320
12.468 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
12.474 * * * * [points]: Setting MPFR precision to 64
12.476 * * * * [points]: Setting MPFR precision to 320
12.477 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
12.482 * * * * [points]: Setting MPFR precision to 64
12.486 * * * * [points]: Setting MPFR precision to 320
12.490 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
12.495 * * * * [points]: Setting MPFR precision to 64
12.502 * * * * [points]: Setting MPFR precision to 320
12.509 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
12.517 * * * * [points]: Setting MPFR precision to 64
12.550 * * * * [points]: Setting MPFR precision to 320
12.564 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
12.570 * * * * [points]: Setting MPFR precision to 64
12.597 * * * * [points]: Setting MPFR precision to 320
12.628 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
12.633 * * * * [points]: Setting MPFR precision to 64
12.725 * * * * [points]: Setting MPFR precision to 320
12.821 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
12.831 * * * * [points]: Setting MPFR precision to 64
12.976 * * * * [points]: Setting MPFR precision to 320
13.165 * * * * [points]: Computing exacts for 8000 points
13.174 * * * * [points]: Setting MPFR precision to 64
14.148 * * * * [points]: Setting MPFR precision to 320
14.903 * * * * [points]: Filtering points with unrepresentable outputs
14.925 * * * * [points]: Sampled 8000 points with exact outputs
19.501 * [regime-testing]: Baseline error score: 64.0
19.505 * [regime-testing]: Oracle error score: 64.0
19.512 * [regime-testing]: End program error score: 0.1893803924657966