0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.013 * * * * [points]: Setting MPFR precision to 320
0.015 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.026 * * * * [points]: Setting MPFR precision to 64
0.030 * * * * [points]: Setting MPFR precision to 320
0.033 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.043 * * * * [points]: Setting MPFR precision to 64
0.048 * * * * [points]: Setting MPFR precision to 320
0.053 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.070 * * * * [points]: Setting MPFR precision to 64
0.075 * * * * [points]: Setting MPFR precision to 320
0.081 * * * * [points]: Computing exacts for 256 points
0.086 * * * * [points]: Setting MPFR precision to 64
0.100 * * * * [points]: Setting MPFR precision to 320
0.115 * * * * [points]: Filtering points with unrepresentable outputs
0.115 * * * * [points]: Sampled 256 points with exact outputs
0.115 * * * [progress]: [2/2] Setting up program.
0.133 * [progress]: [Phase 2 of 3] Improving.
0.133 * * * * [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.133 * [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.133 * * [simplify]: iters left: 6 (18 enodes)
0.138 * * [simplify]: iters left: 5 (47 enodes)
0.147 * * [simplify]: iters left: 4 (121 enodes)
0.191 * * [simplify]: iters left: 3 (337 enodes)
0.329 * * [simplify]: Extracting #0: cost 1 inf + 0
0.334 * * [simplify]: Extracting #1: cost 33 inf + 0
0.335 * * [simplify]: Extracting #2: cost 201 inf + 0
0.337 * * [simplify]: Extracting #3: cost 327 inf + 1286
0.340 * * [simplify]: Extracting #4: cost 369 inf + 7383
0.343 * * [simplify]: Extracting #5: cost 386 inf + 17965
0.349 * * [simplify]: Extracting #6: cost 361 inf + 37104
0.371 * * [simplify]: Extracting #7: cost 205 inf + 277425
0.406 * * [simplify]: Extracting #8: cost 17 inf + 654463
0.443 * * [simplify]: Extracting #9: cost 0 inf + 692514
0.478 * [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.478 * [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.496 * * [progress]: iteration 1 / 4
0.496 * * * [progress]: picking best candidate
0.512 * * * * [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.512 * * * [progress]: localizing error
0.700 * * * [progress]: generating rewritten candidates
0.700 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
0.703 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 1 2)
0.705 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.706 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.709 * * * [progress]: generating series expansions
0.709 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
0.709 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 1 2)
0.709 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.710 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.710 * * * [progress]: simplifying candidates
0.710 * * * * [progress]: [ 1 / 16 ] 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.710 * [simplify]: Simplifying (*.p16 (real->posit16 9) a)
0.710 * * [simplify]: iters left: 2 (4 enodes)
0.711 * * [simplify]: iters left: 1 (8 enodes)
0.712 * * [simplify]: Extracting #0: cost 1 inf + 0
0.712 * * [simplify]: Extracting #1: cost 3 inf + 0
0.712 * * [simplify]: Extracting #2: cost 3 inf + 1
0.712 * * [simplify]: Extracting #3: cost 2 inf + 2
0.712 * * [simplify]: Extracting #4: cost 0 inf + 325
0.713 * [simplify]: Simplified to (*.p16 a (real->posit16 9))
0.713 * [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 a (real->posit16 9)) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
0.713 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.713 * * [simplify]: iters left: 4 (9 enodes)
0.715 * * [simplify]: iters left: 3 (13 enodes)
0.717 * * [simplify]: Extracting #0: cost 1 inf + 0
0.717 * * [simplify]: Extracting #1: cost 3 inf + 0
0.717 * * [simplify]: Extracting #2: cost 5 inf + 0
0.718 * * [simplify]: Extracting #3: cost 6 inf + 1
0.718 * * [simplify]: Extracting #4: cost 7 inf + 2
0.718 * * [simplify]: Extracting #5: cost 0 inf + 1813
0.718 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
0.718 * [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.718 * * * * [progress]: [ 2 / 16 ] 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.718 * [simplify]: Simplifying (*.p16 a (real->posit16 9))
0.718 * * [simplify]: iters left: 2 (4 enodes)
0.719 * * [simplify]: iters left: 1 (8 enodes)
0.721 * * [simplify]: Extracting #0: cost 1 inf + 0
0.721 * * [simplify]: Extracting #1: cost 3 inf + 0
0.721 * * [simplify]: Extracting #2: cost 3 inf + 1
0.721 * * [simplify]: Extracting #3: cost 0 inf + 325
0.721 * [simplify]: Simplified to (*.p16 a (real->posit16 9))
0.721 * [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 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))
0.721 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
0.721 * * [simplify]: iters left: 4 (9 enodes)
0.723 * * [simplify]: iters left: 3 (13 enodes)
0.726 * * [simplify]: Extracting #0: cost 1 inf + 0
0.726 * * [simplify]: Extracting #1: cost 3 inf + 0
0.726 * * [simplify]: Extracting #2: cost 5 inf + 0
0.726 * * [simplify]: Extracting #3: cost 5 inf + 2
0.726 * * [simplify]: Extracting #4: cost 7 inf + 2
0.726 * * [simplify]: Extracting #5: cost 4 inf + 5
0.726 * * [simplify]: Extracting #6: cost 0 inf + 1813
0.726 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
0.726 * [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.726 * * * * [progress]: [ 3 / 16 ] 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.726 * [simplify]: Simplifying (*.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)))))
0.726 * * [simplify]: iters left: 5 (12 enodes)
0.730 * * [simplify]: iters left: 4 (32 enodes)
0.737 * * [simplify]: iters left: 3 (83 enodes)
0.765 * * [simplify]: iters left: 2 (333 enodes)
0.966 * * [simplify]: Extracting #0: cost 1 inf + 0
0.966 * * [simplify]: Extracting #1: cost 59 inf + 0
0.967 * * [simplify]: Extracting #2: cost 288 inf + 0
0.969 * * [simplify]: Extracting #3: cost 381 inf + 325
0.973 * * [simplify]: Extracting #4: cost 404 inf + 7388
0.979 * * [simplify]: Extracting #5: cost 359 inf + 46303
0.996 * * [simplify]: Extracting #6: cost 210 inf + 236467
1.018 * * [simplify]: Extracting #7: cost 66 inf + 493733
1.081 * * [simplify]: Extracting #8: cost 4 inf + 647286
1.131 * * [simplify]: Extracting #9: cost 0 inf + 660340
1.192 * [simplify]: Simplified to (*.p16 (real->posit16 9) (*.p16 (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
1.192 * [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 (real->posit16 9) (*.p16 (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
1.193 * * * * [progress]: [ 4 / 16 ] 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.193 * * * * [progress]: [ 5 / 16 ] 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.193 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1.193 * * [simplify]: iters left: 3 (6 enodes)
1.197 * * [simplify]: iters left: 2 (8 enodes)
1.200 * * [simplify]: Extracting #0: cost 1 inf + 0
1.200 * * [simplify]: Extracting #1: cost 2 inf + 0
1.200 * * [simplify]: Extracting #2: cost 4 inf + 0
1.200 * * [simplify]: Extracting #3: cost 6 inf + 0
1.201 * * [simplify]: Extracting #4: cost 3 inf + 3
1.201 * * [simplify]: Extracting #5: cost 0 inf + 968
1.201 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1.201 * [simplify]: Simplified (2 2 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 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
1.201 * * * * [progress]: [ 6 / 16 ] 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.201 * [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))))
1.201 * * [simplify]: iters left: 4 (9 enodes)
1.208 * * [simplify]: iters left: 3 (27 enodes)
1.219 * * [simplify]: iters left: 2 (64 enodes)
1.252 * * [simplify]: iters left: 1 (273 enodes)
1.477 * * [simplify]: Extracting #0: cost 1 inf + 0
1.478 * * [simplify]: Extracting #1: cost 34 inf + 0
1.478 * * [simplify]: Extracting #2: cost 196 inf + 0
1.479 * * [simplify]: Extracting #3: cost 257 inf + 2249
1.480 * * [simplify]: Extracting #4: cost 267 inf + 14751
1.482 * * [simplify]: Extracting #5: cost 226 inf + 48531
1.487 * * [simplify]: Extracting #6: cost 150 inf + 132598
1.502 * * [simplify]: Extracting #7: cost 30 inf + 337903
1.523 * * [simplify]: Extracting #8: cost 1 inf + 403508
1.559 * * [simplify]: Extracting #9: cost 0 inf + 407231
1.579 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1.579 * [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 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))))
1.580 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1.580 * * [simplify]: iters left: 3 (7 enodes)
1.582 * * [simplify]: iters left: 2 (12 enodes)
1.584 * * [simplify]: Extracting #0: cost 1 inf + 0
1.584 * * [simplify]: Extracting #1: cost 3 inf + 0
1.584 * * [simplify]: Extracting #2: cost 4 inf + 1
1.584 * * [simplify]: Extracting #3: cost 6 inf + 1
1.584 * * [simplify]: Extracting #4: cost 0 inf + 930
1.584 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1.584 * [simplify]: Simplified (2 2 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 (/.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))))
1.584 * * * * [progress]: [ 7 / 16 ] 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.584 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1.584 * * [simplify]: iters left: 3 (6 enodes)
1.586 * * [simplify]: iters left: 2 (8 enodes)
1.588 * * [simplify]: Extracting #0: cost 1 inf + 0
1.588 * * [simplify]: Extracting #1: cost 2 inf + 0
1.588 * * [simplify]: Extracting #2: cost 4 inf + 0
1.588 * * [simplify]: Extracting #3: cost 6 inf + 0
1.588 * * [simplify]: Extracting #4: cost 3 inf + 3
1.588 * * [simplify]: Extracting #5: cost 0 inf + 968
1.588 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1.588 * [simplify]: Simplified (2 1 2) to (λ (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.588 * * * * [progress]: [ 8 / 16 ] 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.589 * [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))))
1.589 * * [simplify]: iters left: 4 (9 enodes)
1.593 * * [simplify]: iters left: 3 (27 enodes)
1.604 * * [simplify]: iters left: 2 (64 enodes)
1.621 * * [simplify]: iters left: 1 (273 enodes)
1.868 * * [simplify]: Extracting #0: cost 1 inf + 0
1.868 * * [simplify]: Extracting #1: cost 34 inf + 0
1.868 * * [simplify]: Extracting #2: cost 196 inf + 0
1.869 * * [simplify]: Extracting #3: cost 257 inf + 2249
1.871 * * [simplify]: Extracting #4: cost 267 inf + 14751
1.873 * * [simplify]: Extracting #5: cost 226 inf + 48531
1.878 * * [simplify]: Extracting #6: cost 150 inf + 132598
1.903 * * [simplify]: Extracting #7: cost 30 inf + 337903
1.923 * * [simplify]: Extracting #8: cost 1 inf + 403508
1.952 * * [simplify]: Extracting #9: cost 0 inf + 407231
1.974 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
1.975 * [simplify]: Simplified (2 1 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 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.975 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1.975 * * [simplify]: iters left: 3 (7 enodes)
1.979 * * [simplify]: iters left: 2 (12 enodes)
1.983 * * [simplify]: Extracting #0: cost 1 inf + 0
1.983 * * [simplify]: Extracting #1: cost 3 inf + 0
1.983 * * [simplify]: Extracting #2: cost 4 inf + 1
1.983 * * [simplify]: Extracting #3: cost 6 inf + 1
1.983 * * [simplify]: Extracting #4: cost 0 inf + 930
1.983 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
1.983 * [simplify]: Simplified (2 1 2) 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 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.983 * * * * [progress]: [ 9 / 16 ] 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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
1.984 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
1.984 * * [simplify]: iters left: 4 (10 enodes)
1.989 * * [simplify]: iters left: 3 (25 enodes)
1.999 * * [simplify]: iters left: 2 (51 enodes)
2.019 * * [simplify]: iters left: 1 (117 enodes)
2.081 * * [simplify]: Extracting #0: cost 1 inf + 0
2.082 * * [simplify]: Extracting #1: cost 19 inf + 0
2.082 * * [simplify]: Extracting #2: cost 109 inf + 0
2.083 * * [simplify]: Extracting #3: cost 136 inf + 3
2.084 * * [simplify]: Extracting #4: cost 157 inf + 2570
2.085 * * [simplify]: Extracting #5: cost 143 inf + 12826
2.087 * * [simplify]: Extracting #6: cost 125 inf + 26147
2.096 * * [simplify]: Extracting #7: cost 38 inf + 131635
2.114 * * [simplify]: Extracting #8: cost 0 inf + 199161
2.132 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
2.132 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
2.132 * [simplify]: Simplifying (*.p16 (-.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)))))) rand))
2.132 * * [simplify]: iters left: 6 (17 enodes)
2.141 * * [simplify]: iters left: 5 (41 enodes)
2.157 * * [simplify]: iters left: 4 (95 enodes)
2.190 * * [simplify]: iters left: 3 (269 enodes)
2.319 * * [simplify]: Extracting #0: cost 1 inf + 0
2.320 * * [simplify]: Extracting #1: cost 46 inf + 0
2.321 * * [simplify]: Extracting #2: cost 206 inf + 1
2.322 * * [simplify]: Extracting #3: cost 256 inf + 1932
2.325 * * [simplify]: Extracting #4: cost 306 inf + 7710
2.328 * * [simplify]: Extracting #5: cost 291 inf + 16687
2.332 * * [simplify]: Extracting #6: cost 277 inf + 25114
2.345 * * [simplify]: Extracting #7: cost 153 inf + 181000
2.393 * * [simplify]: Extracting #8: cost 12 inf + 469778
2.421 * * [simplify]: Extracting #9: cost 1 inf + 486224
2.447 * * [simplify]: Extracting #10: cost 0 inf + 489307
2.472 * [simplify]: Simplified to (*.p16 (/.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) rand))
2.472 * [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))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) rand))))
2.472 * * * * [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 (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))))))>
2.473 * [simplify]: Simplifying (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
2.473 * * [simplify]: iters left: 4 (10 enodes)
2.476 * * [simplify]: iters left: 3 (25 enodes)
2.483 * * [simplify]: iters left: 2 (51 enodes)
2.503 * * [simplify]: iters left: 1 (117 enodes)
2.541 * * [simplify]: Extracting #0: cost 1 inf + 0
2.541 * * [simplify]: Extracting #1: cost 19 inf + 0
2.542 * * [simplify]: Extracting #2: cost 109 inf + 0
2.542 * * [simplify]: Extracting #3: cost 136 inf + 3
2.543 * * [simplify]: Extracting #4: cost 158 inf + 1929
2.543 * * [simplify]: Extracting #5: cost 148 inf + 9621
2.544 * * [simplify]: Extracting #6: cost 131 inf + 20212
2.547 * * [simplify]: Extracting #7: cost 66 inf + 82276
2.553 * * [simplify]: Extracting #8: cost 16 inf + 167070
2.569 * * [simplify]: Extracting #9: cost 0 inf + 200441
2.588 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
2.588 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (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))))))
2.588 * [simplify]: Simplifying (*.p16 (*.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))))
2.588 * * [simplify]: iters left: 6 (17 enodes)
2.597 * * [simplify]: iters left: 5 (41 enodes)
2.611 * * [simplify]: iters left: 4 (101 enodes)
2.653 * * [simplify]: iters left: 3 (291 enodes)
2.785 * * [simplify]: Extracting #0: cost 1 inf + 0
2.785 * * [simplify]: Extracting #1: cost 48 inf + 0
2.786 * * [simplify]: Extracting #2: cost 208 inf + 1
2.788 * * [simplify]: Extracting #3: cost 278 inf + 1610
2.791 * * [simplify]: Extracting #4: cost 320 inf + 9953
2.799 * * [simplify]: Extracting #5: cost 304 inf + 20215
2.803 * * [simplify]: Extracting #6: cost 283 inf + 34861
2.823 * * [simplify]: Extracting #7: cost 131 inf + 246375
2.871 * * [simplify]: Extracting #8: cost 2 inf + 482191
2.906 * * [simplify]: Extracting #9: cost 0 inf + 482240
2.945 * * [simplify]: Extracting #10: cost 0 inf + 481920
2.978 * [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))
2.978 * [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))))
2.978 * * * * [progress]: [ 11 / 16 ] 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 (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)))))>
2.979 * [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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
2.979 * * [simplify]: iters left: 6 (21 enodes)
2.984 * * [simplify]: iters left: 5 (59 enodes)
3.007 * * [simplify]: iters left: 4 (176 enodes)
3.090 * * [simplify]: Extracting #0: cost 1 inf + 0
3.090 * * [simplify]: Extracting #1: cost 40 inf + 0
3.090 * * [simplify]: Extracting #2: cost 160 inf + 0
3.091 * * [simplify]: Extracting #3: cost 258 inf + 1607
3.093 * * [simplify]: Extracting #4: cost 291 inf + 5778
3.094 * * [simplify]: Extracting #5: cost 289 inf + 16358
3.097 * * [simplify]: Extracting #6: cost 233 inf + 71412
3.107 * * [simplify]: Extracting #7: cost 100 inf + 263155
3.146 * * [simplify]: Extracting #8: cost 21 inf + 442319
3.181 * * [simplify]: Extracting #9: cost 3 inf + 490947
3.219 * * [simplify]: Extracting #10: cost 0 inf + 499925
3.251 * [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 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1)))
3.251 * [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 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
3.251 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (+.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)))))>
3.251 * * * * [progress]: [ 13 / 16 ] 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))))>
3.251 * [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)))
3.251 * * [simplify]: iters left: 6 (18 enodes)
3.256 * * [simplify]: iters left: 5 (47 enodes)
3.266 * * [simplify]: iters left: 4 (121 enodes)
3.307 * * [simplify]: iters left: 3 (337 enodes)
3.436 * * [simplify]: Extracting #0: cost 1 inf + 0
3.436 * * [simplify]: Extracting #1: cost 33 inf + 0
3.437 * * [simplify]: Extracting #2: cost 201 inf + 0
3.438 * * [simplify]: Extracting #3: cost 327 inf + 1286
3.439 * * [simplify]: Extracting #4: cost 369 inf + 7383
3.441 * * [simplify]: Extracting #5: cost 386 inf + 17965
3.443 * * [simplify]: Extracting #6: cost 361 inf + 37104
3.454 * * [simplify]: Extracting #7: cost 205 inf + 277425
3.498 * * [simplify]: Extracting #8: cost 17 inf + 654463
3.547 * * [simplify]: Extracting #9: cost 0 inf + 692514
3.585 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))
3.585 * [simplify]: Simplified (2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
3.585 * * * * [progress]: [ 14 / 16 ] 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))))>
3.585 * [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)))
3.585 * * [simplify]: iters left: 6 (18 enodes)
3.590 * * [simplify]: iters left: 5 (47 enodes)
3.599 * * [simplify]: iters left: 4 (121 enodes)
3.634 * * [simplify]: iters left: 3 (337 enodes)
3.801 * * [simplify]: Extracting #0: cost 1 inf + 0
3.801 * * [simplify]: Extracting #1: cost 33 inf + 0
3.802 * * [simplify]: Extracting #2: cost 201 inf + 0
3.804 * * [simplify]: Extracting #3: cost 327 inf + 1286
3.807 * * [simplify]: Extracting #4: cost 369 inf + 7383
3.811 * * [simplify]: Extracting #5: cost 386 inf + 17965
3.820 * * [simplify]: Extracting #6: cost 361 inf + 37104
3.841 * * [simplify]: Extracting #7: cost 205 inf + 277425
3.899 * * [simplify]: Extracting #8: cost 17 inf + 654463
3.946 * * [simplify]: Extracting #9: cost 0 inf + 692514
4.014 * [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))))))
4.014 * [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)))))))
4.014 * * * * [progress]: [ 15 / 16 ] 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))))>
4.015 * [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)))
4.015 * * [simplify]: iters left: 6 (18 enodes)
4.025 * * [simplify]: iters left: 5 (47 enodes)
4.044 * * [simplify]: iters left: 4 (121 enodes)
4.097 * * [simplify]: iters left: 3 (337 enodes)
4.235 * * [simplify]: Extracting #0: cost 1 inf + 0
4.235 * * [simplify]: Extracting #1: cost 33 inf + 0
4.235 * * [simplify]: Extracting #2: cost 201 inf + 0
4.236 * * [simplify]: Extracting #3: cost 327 inf + 1286
4.238 * * [simplify]: Extracting #4: cost 369 inf + 7383
4.240 * * [simplify]: Extracting #5: cost 386 inf + 17965
4.242 * * [simplify]: Extracting #6: cost 361 inf + 37104
4.253 * * [simplify]: Extracting #7: cost 205 inf + 277425
4.290 * * [simplify]: Extracting #8: cost 17 inf + 654463
4.326 * * [simplify]: Extracting #9: cost 0 inf + 692514
4.363 * [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))))))
4.363 * [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)))))))
4.363 * * * * [progress]: [ 16 / 16 ] 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))))>
4.363 * [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)))
4.363 * * [simplify]: iters left: 6 (18 enodes)
4.368 * * [simplify]: iters left: 5 (47 enodes)
4.377 * * [simplify]: iters left: 4 (121 enodes)
4.404 * * [simplify]: iters left: 3 (337 enodes)
4.521 * * [simplify]: Extracting #0: cost 1 inf + 0
4.521 * * [simplify]: Extracting #1: cost 33 inf + 0
4.521 * * [simplify]: Extracting #2: cost 201 inf + 0
4.522 * * [simplify]: Extracting #3: cost 327 inf + 1286
4.524 * * [simplify]: Extracting #4: cost 369 inf + 7383
4.526 * * [simplify]: Extracting #5: cost 386 inf + 17965
4.528 * * [simplify]: Extracting #6: cost 361 inf + 37104
4.539 * * [simplify]: Extracting #7: cost 205 inf + 277425
4.573 * * [simplify]: Extracting #8: cost 17 inf + 654463
4.609 * * [simplify]: Extracting #9: cost 0 inf + 692514
4.645 * [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))))))
4.646 * [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)))))))
4.646 * * * [progress]: adding candidates to table
5.410 * * [progress]: iteration 2 / 4
5.411 * * * [progress]: picking best candidate
5.501 * * * * [pick]: Picked  #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
5.502 * * * [progress]: localizing error
5.714 * * * [progress]: generating rewritten candidates
5.714 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 1)
5.717 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
5.721 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
5.726 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 1 2)
5.727 * * * [progress]: generating series expansions
5.727 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 1)
5.728 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
5.728 * * * * [progress]: [ 3 / 4 ] generating series at (2)
5.728 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 1 2)
5.728 * * * [progress]: simplifying candidates
5.728 * * * * [progress]: [ 1 / 17 ] 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.728 * [simplify]: Simplifying (*.p16 (real->posit16 9) a)
5.728 * * [simplify]: iters left: 2 (4 enodes)
5.729 * * [simplify]: iters left: 1 (8 enodes)
5.730 * * [simplify]: Extracting #0: cost 1 inf + 0
5.730 * * [simplify]: Extracting #1: cost 3 inf + 0
5.731 * * [simplify]: Extracting #2: cost 3 inf + 1
5.731 * * [simplify]: Extracting #3: cost 2 inf + 2
5.731 * * [simplify]: Extracting #4: cost 0 inf + 325
5.731 * [simplify]: Simplified to (*.p16 a (real->posit16 9))
5.731 * [simplify]: Simplified (2 2 2 1 2 1 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
5.737 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
5.737 * * [simplify]: iters left: 4 (9 enodes)
5.740 * * [simplify]: iters left: 3 (13 enodes)
5.742 * * [simplify]: Extracting #0: cost 1 inf + 0
5.742 * * [simplify]: Extracting #1: cost 3 inf + 0
5.742 * * [simplify]: Extracting #2: cost 5 inf + 0
5.742 * * [simplify]: Extracting #3: cost 6 inf + 1
5.742 * * [simplify]: Extracting #4: cost 7 inf + 2
5.742 * * [simplify]: Extracting #5: cost 0 inf + 1813
5.743 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
5.743 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.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.743 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand))))>
5.743 * [simplify]: Simplifying (*.p16 a (real->posit16 9))
5.743 * * [simplify]: iters left: 2 (4 enodes)
5.744 * * [simplify]: iters left: 1 (8 enodes)
5.745 * * [simplify]: Extracting #0: cost 1 inf + 0
5.745 * * [simplify]: Extracting #1: cost 3 inf + 0
5.745 * * [simplify]: Extracting #2: cost 3 inf + 1
5.745 * * [simplify]: Extracting #3: cost 0 inf + 325
5.745 * [simplify]: Simplified to (*.p16 a (real->posit16 9))
5.745 * [simplify]: Simplified (2 2 2 1 2 1 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.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))))
5.746 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
5.746 * * [simplify]: iters left: 4 (9 enodes)
5.748 * * [simplify]: iters left: 3 (13 enodes)
5.750 * * [simplify]: Extracting #0: cost 1 inf + 0
5.750 * * [simplify]: Extracting #1: cost 3 inf + 0
5.751 * * [simplify]: Extracting #2: cost 5 inf + 0
5.751 * * [simplify]: Extracting #3: cost 5 inf + 2
5.751 * * [simplify]: Extracting #4: cost 7 inf + 2
5.751 * * [simplify]: Extracting #5: cost 4 inf + 5
5.751 * * [simplify]: Extracting #6: cost 0 inf + 1813
5.751 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
5.751 * [simplify]: Simplified (2 2 2 1 2 1 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.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))))
5.751 * * * * [progress]: [ 3 / 17 ] 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) (-.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.751 * [simplify]: Simplifying (*.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)))))
5.751 * * [simplify]: iters left: 5 (12 enodes)
5.755 * * [simplify]: iters left: 4 (32 enodes)
5.761 * * [simplify]: iters left: 3 (83 enodes)
5.784 * * [simplify]: iters left: 2 (333 enodes)
6.043 * * [simplify]: Extracting #0: cost 1 inf + 0
6.043 * * [simplify]: Extracting #1: cost 59 inf + 0
6.044 * * [simplify]: Extracting #2: cost 288 inf + 0
6.045 * * [simplify]: Extracting #3: cost 381 inf + 325
6.050 * * [simplify]: Extracting #4: cost 404 inf + 7388
6.053 * * [simplify]: Extracting #5: cost 359 inf + 46303
6.062 * * [simplify]: Extracting #6: cost 210 inf + 236467
6.083 * * [simplify]: Extracting #7: cost 66 inf + 493733
6.113 * * [simplify]: Extracting #8: cost 4 inf + 647286
6.151 * * [simplify]: Extracting #9: cost 0 inf + 660340
6.185 * [simplify]: Simplified to (*.p16 (real->posit16 9) (*.p16 (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
6.185 * [simplify]: Simplified (2 2 2 1 2 1 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (*.p16 (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
6.185 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) rand))))>
6.185 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))>
6.185 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
6.185 * * [simplify]: iters left: 6 (15 enodes)
6.189 * * [simplify]: iters left: 5 (34 enodes)
6.196 * * [simplify]: iters left: 4 (76 enodes)
6.210 * * [simplify]: iters left: 3 (182 enodes)
6.271 * * [simplify]: Extracting #0: cost 1 inf + 0
6.271 * * [simplify]: Extracting #1: cost 35 inf + 0
6.271 * * [simplify]: Extracting #2: cost 149 inf + 0
6.272 * * [simplify]: Extracting #3: cost 204 inf + 324
6.274 * * [simplify]: Extracting #4: cost 262 inf + 2571
6.275 * * [simplify]: Extracting #5: cost 266 inf + 9304
6.277 * * [simplify]: Extracting #6: cost 256 inf + 15077
6.282 * * [simplify]: Extracting #7: cost 181 inf + 88814
6.301 * * [simplify]: Extracting #8: cost 43 inf + 309433
6.333 * * [simplify]: Extracting #9: cost 1 inf + 395405
6.364 * * [simplify]: Extracting #10: cost 0 inf + 397530
6.393 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))
6.393 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)))
6.393 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
6.393 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand))
6.394 * * [simplify]: iters left: 4 (12 enodes)
6.398 * * [simplify]: iters left: 3 (32 enodes)
6.407 * * [simplify]: iters left: 2 (66 enodes)
6.421 * * [simplify]: iters left: 1 (173 enodes)
6.501 * * [simplify]: Extracting #0: cost 1 inf + 0
6.501 * * [simplify]: Extracting #1: cost 25 inf + 0
6.501 * * [simplify]: Extracting #2: cost 139 inf + 1
6.502 * * [simplify]: Extracting #3: cost 191 inf + 325
6.504 * * [simplify]: Extracting #4: cost 211 inf + 8991
6.506 * * [simplify]: Extracting #5: cost 198 inf + 18286
6.509 * * [simplify]: Extracting #6: cost 168 inf + 43162
6.522 * * [simplify]: Extracting #7: cost 39 inf + 216780
6.548 * * [simplify]: Extracting #8: cost 0 inf + 286763
6.570 * * [simplify]: Extracting #9: cost 0 inf + 286203
6.592 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (real->posit16 1))
6.592 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
6.592 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (/.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.592 * [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 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))
6.593 * * [simplify]: iters left: 6 (20 enodes)
6.600 * * [simplify]: iters left: 5 (53 enodes)
6.618 * * [simplify]: iters left: 4 (144 enodes)
6.692 * * [simplify]: Extracting #0: cost 1 inf + 0
6.692 * * [simplify]: Extracting #1: cost 41 inf + 0
6.693 * * [simplify]: Extracting #2: cost 161 inf + 1
6.694 * * [simplify]: Extracting #3: cost 212 inf + 964
6.695 * * [simplify]: Extracting #4: cost 251 inf + 4494
6.697 * * [simplify]: Extracting #5: cost 236 inf + 13473
6.702 * * [simplify]: Extracting #6: cost 153 inf + 107402
6.721 * * [simplify]: Extracting #7: cost 24 inf + 305296
6.739 * * [simplify]: Extracting #8: cost 0 inf + 353762
6.757 * [simplify]: Simplified to (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
6.757 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))
6.757 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (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.757 * * * * [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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
6.757 * [simplify]: Simplifying (+.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.757 * * [simplify]: iters left: 6 (17 enodes)
6.761 * * [simplify]: iters left: 5 (39 enodes)
6.771 * * [simplify]: iters left: 4 (69 enodes)
6.783 * * [simplify]: iters left: 3 (135 enodes)
6.817 * * [simplify]: Extracting #0: cost 1 inf + 0
6.817 * * [simplify]: Extracting #1: cost 3 inf + 0
6.817 * * [simplify]: Extracting #2: cost 9 inf + 0
6.817 * * [simplify]: Extracting #3: cost 8 inf + 2
6.817 * * [simplify]: Extracting #4: cost 24 inf + 325
6.817 * * [simplify]: Extracting #5: cost 114 inf + 325
6.818 * * [simplify]: Extracting #6: cost 147 inf + 1290
6.818 * * [simplify]: Extracting #7: cost 178 inf + 5780
6.819 * * [simplify]: Extracting #8: cost 169 inf + 11549
6.820 * * [simplify]: Extracting #9: cost 161 inf + 15641
6.824 * * [simplify]: Extracting #10: cost 54 inf + 138215
6.833 * * [simplify]: Extracting #11: cost 2 inf + 226343
6.845 * * [simplify]: Extracting #12: cost 0 inf + 225911
6.855 * [simplify]: Simplified to (+.p16 (real->posit16 1) (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
6.855 * [simplify]: Simplified (2 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))))
6.855 * * * * [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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
6.855 * [simplify]: Simplifying (+.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.855 * * [simplify]: iters left: 6 (17 enodes)
6.859 * * [simplify]: iters left: 5 (39 enodes)
6.866 * * [simplify]: iters left: 4 (69 enodes)
6.879 * * [simplify]: iters left: 3 (135 enodes)
6.914 * * [simplify]: Extracting #0: cost 1 inf + 0
6.915 * * [simplify]: Extracting #1: cost 3 inf + 0
6.915 * * [simplify]: Extracting #2: cost 9 inf + 0
6.915 * * [simplify]: Extracting #3: cost 8 inf + 2
6.915 * * [simplify]: Extracting #4: cost 24 inf + 325
6.915 * * [simplify]: Extracting #5: cost 114 inf + 325
6.915 * * [simplify]: Extracting #6: cost 147 inf + 1290
6.916 * * [simplify]: Extracting #7: cost 178 inf + 5780
6.917 * * [simplify]: Extracting #8: cost 169 inf + 11549
6.918 * * [simplify]: Extracting #9: cost 161 inf + 15641
6.922 * * [simplify]: Extracting #10: cost 54 inf + 138215
6.931 * * [simplify]: Extracting #11: cost 2 inf + 226343
6.941 * * [simplify]: Extracting #12: cost 0 inf + 225911
6.950 * [simplify]: Simplified to (+.p16 (real->posit16 1) (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
6.950 * [simplify]: Simplified (2 2) to (λ (a rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 (real->posit16 1) (*.p16 rand (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))))
6.951 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.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)))))) rand)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))>
6.951 * * * * [progress]: [ 12 / 17 ] 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 (real->posit16 9) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
6.951 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.951 * * [simplify]: iters left: 3 (6 enodes)
6.953 * * [simplify]: iters left: 2 (8 enodes)
6.954 * * [simplify]: Extracting #0: cost 1 inf + 0
6.954 * * [simplify]: Extracting #1: cost 2 inf + 0
6.954 * * [simplify]: Extracting #2: cost 4 inf + 0
6.954 * * [simplify]: Extracting #3: cost 6 inf + 0
6.954 * * [simplify]: Extracting #4: cost 3 inf + 3
6.954 * * [simplify]: Extracting #5: cost 0 inf + 968
6.954 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
6.954 * [simplify]: Simplified (2 2 2 1 2 1 2 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))
6.954 * * * * [progress]: [ 13 / 17 ] 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 (real->posit16 9) (/.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))))>
6.955 * [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))))
6.955 * * [simplify]: iters left: 4 (9 enodes)
6.957 * * [simplify]: iters left: 3 (27 enodes)
6.963 * * [simplify]: iters left: 2 (64 enodes)
6.981 * * [simplify]: iters left: 1 (273 enodes)
7.152 * * [simplify]: Extracting #0: cost 1 inf + 0
7.152 * * [simplify]: Extracting #1: cost 34 inf + 0
7.152 * * [simplify]: Extracting #2: cost 196 inf + 0
7.153 * * [simplify]: Extracting #3: cost 257 inf + 2249
7.154 * * [simplify]: Extracting #4: cost 267 inf + 14751
7.159 * * [simplify]: Extracting #5: cost 226 inf + 48531
7.164 * * [simplify]: Extracting #6: cost 150 inf + 132598
7.179 * * [simplify]: Extracting #7: cost 30 inf + 337903
7.199 * * [simplify]: Extracting #8: cost 1 inf + 403508
7.219 * * [simplify]: Extracting #9: cost 0 inf + 407231
7.239 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
7.239 * [simplify]: Simplified (2 2 2 1 2 1 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.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))))
7.240 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
7.240 * * [simplify]: iters left: 3 (7 enodes)
7.242 * * [simplify]: iters left: 2 (12 enodes)
7.244 * * [simplify]: Extracting #0: cost 1 inf + 0
7.244 * * [simplify]: Extracting #1: cost 3 inf + 0
7.244 * * [simplify]: Extracting #2: cost 4 inf + 1
7.244 * * [simplify]: Extracting #3: cost 6 inf + 1
7.244 * * [simplify]: Extracting #4: cost 0 inf + 930
7.244 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
7.244 * [simplify]: Simplified (2 2 2 1 2 1 2 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.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))))
7.244 * * * * [progress]: [ 14 / 17 ] 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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
7.244 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
7.244 * * [simplify]: iters left: 4 (10 enodes)
7.247 * * [simplify]: iters left: 3 (25 enodes)
7.252 * * [simplify]: iters left: 2 (51 enodes)
7.263 * * [simplify]: iters left: 1 (117 enodes)
7.308 * * [simplify]: Extracting #0: cost 1 inf + 0
7.308 * * [simplify]: Extracting #1: cost 19 inf + 0
7.308 * * [simplify]: Extracting #2: cost 109 inf + 0
7.308 * * [simplify]: Extracting #3: cost 136 inf + 3
7.309 * * [simplify]: Extracting #4: cost 157 inf + 2570
7.309 * * [simplify]: Extracting #5: cost 143 inf + 12826
7.310 * * [simplify]: Extracting #6: cost 125 inf + 26147
7.317 * * [simplify]: Extracting #7: cost 38 inf + 131635
7.326 * * [simplify]: Extracting #8: cost 0 inf + 199161
7.335 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
7.335 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
7.335 * [simplify]: Simplifying (*.p16 (-.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)))))) rand))
7.335 * * [simplify]: iters left: 6 (17 enodes)
7.339 * * [simplify]: iters left: 5 (41 enodes)
7.349 * * [simplify]: iters left: 4 (95 enodes)
7.368 * * [simplify]: iters left: 3 (269 enodes)
7.455 * * [simplify]: Extracting #0: cost 1 inf + 0
7.455 * * [simplify]: Extracting #1: cost 46 inf + 0
7.456 * * [simplify]: Extracting #2: cost 206 inf + 1
7.457 * * [simplify]: Extracting #3: cost 256 inf + 1932
7.458 * * [simplify]: Extracting #4: cost 306 inf + 7710
7.459 * * [simplify]: Extracting #5: cost 291 inf + 16687
7.461 * * [simplify]: Extracting #6: cost 277 inf + 25114
7.468 * * [simplify]: Extracting #7: cost 153 inf + 181000
7.494 * * [simplify]: Extracting #8: cost 12 inf + 469778
7.522 * * [simplify]: Extracting #9: cost 1 inf + 486224
7.555 * * [simplify]: Extracting #10: cost 0 inf + 489307
7.587 * [simplify]: Simplified to (*.p16 (/.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) rand))
7.587 * [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))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) rand))))
7.587 * * * * [progress]: [ 15 / 17 ] 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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
7.588 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
7.588 * * [simplify]: iters left: 4 (10 enodes)
7.591 * * [simplify]: iters left: 3 (25 enodes)
7.597 * * [simplify]: iters left: 2 (51 enodes)
7.609 * * [simplify]: iters left: 1 (117 enodes)
7.649 * * [simplify]: Extracting #0: cost 1 inf + 0
7.649 * * [simplify]: Extracting #1: cost 19 inf + 0
7.649 * * [simplify]: Extracting #2: cost 109 inf + 0
7.650 * * [simplify]: Extracting #3: cost 136 inf + 3
7.651 * * [simplify]: Extracting #4: cost 157 inf + 2570
7.652 * * [simplify]: Extracting #5: cost 143 inf + 12826
7.653 * * [simplify]: Extracting #6: cost 125 inf + 26147
7.661 * * [simplify]: Extracting #7: cost 38 inf + 131635
7.674 * * [simplify]: Extracting #8: cost 0 inf + 199161
7.686 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
7.686 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
7.686 * [simplify]: Simplifying (*.p16 (-.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)))))) rand))
7.686 * * [simplify]: iters left: 6 (17 enodes)
7.691 * * [simplify]: iters left: 5 (41 enodes)
7.698 * * [simplify]: iters left: 4 (95 enodes)
7.718 * * [simplify]: iters left: 3 (269 enodes)
7.824 * * [simplify]: Extracting #0: cost 1 inf + 0
7.824 * * [simplify]: Extracting #1: cost 46 inf + 0
7.825 * * [simplify]: Extracting #2: cost 206 inf + 1
7.827 * * [simplify]: Extracting #3: cost 256 inf + 1932
7.829 * * [simplify]: Extracting #4: cost 306 inf + 7710
7.835 * * [simplify]: Extracting #5: cost 291 inf + 16687
7.838 * * [simplify]: Extracting #6: cost 277 inf + 25114
7.849 * * [simplify]: Extracting #7: cost 153 inf + 181000
7.873 * * [simplify]: Extracting #8: cost 12 inf + 469778
7.899 * * [simplify]: Extracting #9: cost 1 inf + 486224
7.930 * * [simplify]: Extracting #10: cost 0 inf + 489307
7.957 * [simplify]: Simplified to (*.p16 (/.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) rand))
7.957 * [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))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) rand))))
7.957 * * * * [progress]: [ 16 / 17 ] 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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
7.957 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
7.957 * * [simplify]: iters left: 4 (10 enodes)
7.961 * * [simplify]: iters left: 3 (25 enodes)
7.970 * * [simplify]: iters left: 2 (51 enodes)
7.987 * * [simplify]: iters left: 1 (117 enodes)
8.035 * * [simplify]: Extracting #0: cost 1 inf + 0
8.035 * * [simplify]: Extracting #1: cost 19 inf + 0
8.035 * * [simplify]: Extracting #2: cost 109 inf + 0
8.036 * * [simplify]: Extracting #3: cost 136 inf + 3
8.037 * * [simplify]: Extracting #4: cost 157 inf + 2570
8.041 * * [simplify]: Extracting #5: cost 143 inf + 12826
8.043 * * [simplify]: Extracting #6: cost 125 inf + 26147
8.052 * * [simplify]: Extracting #7: cost 38 inf + 131635
8.068 * * [simplify]: Extracting #8: cost 0 inf + 199161
8.078 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
8.079 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
8.079 * [simplify]: Simplifying (*.p16 (-.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)))))) rand))
8.079 * * [simplify]: iters left: 6 (17 enodes)
8.083 * * [simplify]: iters left: 5 (41 enodes)
8.091 * * [simplify]: iters left: 4 (95 enodes)
8.111 * * [simplify]: iters left: 3 (269 enodes)
8.216 * * [simplify]: Extracting #0: cost 1 inf + 0
8.216 * * [simplify]: Extracting #1: cost 46 inf + 0
8.217 * * [simplify]: Extracting #2: cost 206 inf + 1
8.218 * * [simplify]: Extracting #3: cost 256 inf + 1932
8.219 * * [simplify]: Extracting #4: cost 306 inf + 7710
8.220 * * [simplify]: Extracting #5: cost 291 inf + 16687
8.222 * * [simplify]: Extracting #6: cost 277 inf + 25114
8.229 * * [simplify]: Extracting #7: cost 153 inf + 181000
8.261 * * [simplify]: Extracting #8: cost 12 inf + 469778
8.303 * * [simplify]: Extracting #9: cost 1 inf + 486224
8.344 * * [simplify]: Extracting #10: cost 0 inf + 489307
8.369 * [simplify]: Simplified to (*.p16 (/.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) rand))
8.370 * [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))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) rand))))
8.370 * * * * [progress]: [ 17 / 17 ] 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 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))>
8.370 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
8.370 * * [simplify]: iters left: 4 (10 enodes)
8.373 * * [simplify]: iters left: 3 (25 enodes)
8.378 * * [simplify]: iters left: 2 (51 enodes)
8.387 * * [simplify]: iters left: 1 (117 enodes)
8.430 * * [simplify]: Extracting #0: cost 1 inf + 0
8.431 * * [simplify]: Extracting #1: cost 19 inf + 0
8.431 * * [simplify]: Extracting #2: cost 109 inf + 0
8.432 * * [simplify]: Extracting #3: cost 136 inf + 3
8.432 * * [simplify]: Extracting #4: cost 157 inf + 2570
8.433 * * [simplify]: Extracting #5: cost 143 inf + 12826
8.435 * * [simplify]: Extracting #6: cost 125 inf + 26147
8.442 * * [simplify]: Extracting #7: cost 38 inf + 131635
8.456 * * [simplify]: Extracting #8: cost 0 inf + 199161
8.468 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
8.469 * [simplify]: Simplified (2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))
8.469 * [simplify]: Simplifying (*.p16 (-.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)))))) rand))
8.469 * * [simplify]: iters left: 6 (17 enodes)
8.475 * * [simplify]: iters left: 5 (41 enodes)
8.488 * * [simplify]: iters left: 4 (95 enodes)
8.520 * * [simplify]: iters left: 3 (269 enodes)
8.656 * * [simplify]: Extracting #0: cost 1 inf + 0
8.657 * * [simplify]: Extracting #1: cost 46 inf + 0
8.658 * * [simplify]: Extracting #2: cost 206 inf + 1
8.659 * * [simplify]: Extracting #3: cost 256 inf + 1932
8.662 * * [simplify]: Extracting #4: cost 306 inf + 7710
8.664 * * [simplify]: Extracting #5: cost 291 inf + 16687
8.667 * * [simplify]: Extracting #6: cost 277 inf + 25114
8.678 * * [simplify]: Extracting #7: cost 153 inf + 181000
8.711 * * [simplify]: Extracting #8: cost 12 inf + 469778
8.739 * * [simplify]: Extracting #9: cost 1 inf + 486224
8.764 * * [simplify]: Extracting #10: cost 0 inf + 489307
8.796 * [simplify]: Simplified to (*.p16 (/.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) rand))
8.796 * [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))) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))) (*.p16 (real->posit16 1) rand))))
8.796 * * * [progress]: adding candidates to table
9.515 * * [progress]: iteration 3 / 4
9.515 * * * [progress]: picking best candidate
9.587 * * * * [pick]: Picked  #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))>
9.587 * * * [progress]: localizing error
9.887 * * * [progress]: generating rewritten candidates
9.887 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2 1)
9.901 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
9.906 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
9.912 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2 1 2)
9.915 * * * [progress]: generating series expansions
9.915 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2 1)
9.916 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
9.916 * * * * [progress]: [ 3 / 4 ] generating series at (2)
9.916 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2 1 2)
9.916 * * * [progress]: simplifying candidates
9.916 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand)))>
9.916 * [simplify]: Simplifying (*.p16 (real->posit16 9) a)
9.916 * * [simplify]: iters left: 2 (4 enodes)
9.919 * * [simplify]: iters left: 1 (8 enodes)
9.921 * * [simplify]: Extracting #0: cost 1 inf + 0
9.921 * * [simplify]: Extracting #1: cost 3 inf + 0
9.921 * * [simplify]: Extracting #2: cost 3 inf + 1
9.921 * * [simplify]: Extracting #3: cost 2 inf + 2
9.922 * * [simplify]: Extracting #4: cost 0 inf + 325
9.922 * [simplify]: Simplified to (*.p16 a (real->posit16 9))
9.922 * [simplify]: Simplified (2 2 1 2 2 1 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand)))
9.922 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
9.922 * * [simplify]: iters left: 4 (9 enodes)
9.927 * * [simplify]: iters left: 3 (13 enodes)
9.931 * * [simplify]: Extracting #0: cost 1 inf + 0
9.931 * * [simplify]: Extracting #1: cost 3 inf + 0
9.931 * * [simplify]: Extracting #2: cost 5 inf + 0
9.931 * * [simplify]: Extracting #3: cost 6 inf + 1
9.931 * * [simplify]: Extracting #4: cost 7 inf + 2
9.931 * * [simplify]: Extracting #5: cost 0 inf + 1813
9.932 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
9.932 * [simplify]: Simplified (2 2 1 2 2 1 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) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand)))
9.932 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))) rand)))>
9.932 * [simplify]: Simplifying (*.p16 a (real->posit16 9))
9.932 * * [simplify]: iters left: 2 (4 enodes)
9.934 * * [simplify]: iters left: 1 (8 enodes)
9.936 * * [simplify]: Extracting #0: cost 1 inf + 0
9.936 * * [simplify]: Extracting #1: cost 3 inf + 0
9.936 * * [simplify]: Extracting #2: cost 3 inf + 1
9.936 * * [simplify]: Extracting #3: cost 0 inf + 325
9.936 * [simplify]: Simplified to (*.p16 a (real->posit16 9))
9.936 * [simplify]: Simplified (2 2 1 2 2 1 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))) rand)))
9.937 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
9.937 * * [simplify]: iters left: 4 (9 enodes)
9.941 * * [simplify]: iters left: 3 (13 enodes)
9.944 * * [simplify]: Extracting #0: cost 1 inf + 0
9.944 * * [simplify]: Extracting #1: cost 3 inf + 0
9.944 * * [simplify]: Extracting #2: cost 5 inf + 0
9.945 * * [simplify]: Extracting #3: cost 5 inf + 2
9.945 * * [simplify]: Extracting #4: cost 7 inf + 2
9.945 * * [simplify]: Extracting #5: cost 4 inf + 5
9.945 * * [simplify]: Extracting #6: cost 0 inf + 1813
9.945 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
9.945 * [simplify]: Simplified (2 2 1 2 2 1 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) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))) rand)))
9.945 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))>
9.946 * [simplify]: Simplifying (*.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)))))
9.946 * * [simplify]: iters left: 5 (12 enodes)
9.951 * * [simplify]: iters left: 4 (32 enodes)
9.961 * * [simplify]: iters left: 3 (83 enodes)
9.998 * * [simplify]: iters left: 2 (333 enodes)
10.286 * * [simplify]: Extracting #0: cost 1 inf + 0
10.286 * * [simplify]: Extracting #1: cost 59 inf + 0
10.287 * * [simplify]: Extracting #2: cost 288 inf + 0
10.289 * * [simplify]: Extracting #3: cost 381 inf + 325
10.292 * * [simplify]: Extracting #4: cost 404 inf + 7388
10.297 * * [simplify]: Extracting #5: cost 359 inf + 46303
10.311 * * [simplify]: Extracting #6: cost 210 inf + 236467
10.345 * * [simplify]: Extracting #7: cost 66 inf + 493733
10.392 * * [simplify]: Extracting #8: cost 4 inf + 647286
10.447 * * [simplify]: Extracting #9: cost 0 inf + 660340
10.498 * [simplify]: Simplified to (*.p16 (real->posit16 9) (*.p16 (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
10.498 * [simplify]: Simplified (2 2 1 2 2 1 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (*.p16 (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))
10.499 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)))>
10.499 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))>
10.499 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
10.499 * * [simplify]: iters left: 4 (10 enodes)
10.503 * * [simplify]: iters left: 3 (25 enodes)
10.511 * * [simplify]: iters left: 2 (51 enodes)
10.527 * * [simplify]: iters left: 1 (117 enodes)
10.564 * * [simplify]: Extracting #0: cost 1 inf + 0
10.564 * * [simplify]: Extracting #1: cost 19 inf + 0
10.565 * * [simplify]: Extracting #2: cost 109 inf + 0
10.565 * * [simplify]: Extracting #3: cost 136 inf + 3
10.565 * * [simplify]: Extracting #4: cost 157 inf + 2570
10.566 * * [simplify]: Extracting #5: cost 143 inf + 12826
10.567 * * [simplify]: Extracting #6: cost 125 inf + 26147
10.571 * * [simplify]: Extracting #7: cost 38 inf + 131635
10.580 * * [simplify]: Extracting #8: cost 0 inf + 199161
10.588 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
10.588 * [simplify]: Simplified (2 2 1 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand)))
10.589 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (/.p16 (real->posit16 1) (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)))>
10.589 * [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) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
10.589 * * [simplify]: iters left: 6 (18 enodes)
10.593 * * [simplify]: iters left: 5 (46 enodes)
10.603 * * [simplify]: iters left: 4 (127 enodes)
10.641 * * [simplify]: Extracting #0: cost 1 inf + 0
10.641 * * [simplify]: Extracting #1: cost 37 inf + 0
10.641 * * [simplify]: Extracting #2: cost 121 inf + 0
10.642 * * [simplify]: Extracting #3: cost 161 inf + 964
10.642 * * [simplify]: Extracting #4: cost 208 inf + 3851
10.643 * * [simplify]: Extracting #5: cost 192 inf + 12828
10.646 * * [simplify]: Extracting #6: cost 121 inf + 79986
10.654 * * [simplify]: Extracting #7: cost 32 inf + 202396
10.671 * * [simplify]: Extracting #8: cost 3 inf + 263225
10.687 * * [simplify]: Extracting #9: cost 0 inf + 273038
10.709 * [simplify]: Simplified to (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
10.709 * [simplify]: Simplified (2 2 1 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (/.p16 (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (*.p16 (real->posit16 1) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (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)))
10.709 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (/.p16 (real->posit16 1) (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)))>
10.709 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))>
10.709 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand)))>
10.710 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.710 * * [simplify]: iters left: 3 (6 enodes)
10.715 * * [simplify]: iters left: 2 (8 enodes)
10.717 * * [simplify]: Extracting #0: cost 1 inf + 0
10.717 * * [simplify]: Extracting #1: cost 2 inf + 0
10.717 * * [simplify]: Extracting #2: cost 4 inf + 0
10.717 * * [simplify]: Extracting #3: cost 6 inf + 0
10.718 * * [simplify]: Extracting #4: cost 3 inf + 3
10.718 * * [simplify]: Extracting #5: cost 0 inf + 968
10.718 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
10.718 * [simplify]: Simplified (2 2 1 2 2 1 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) (sqrt.p16 (*.p16 (real->posit16 9) (+.p16 a (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))) rand)))
10.718 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (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)))>
10.718 * [simplify]: Simplifying (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
10.718 * * [simplify]: iters left: 4 (9 enodes)
10.722 * * [simplify]: iters left: 3 (27 enodes)
10.728 * * [simplify]: iters left: 2 (64 enodes)
10.745 * * [simplify]: iters left: 1 (273 enodes)
10.961 * * [simplify]: Extracting #0: cost 1 inf + 0
10.962 * * [simplify]: Extracting #1: cost 34 inf + 0
10.962 * * [simplify]: Extracting #2: cost 196 inf + 0
10.964 * * [simplify]: Extracting #3: cost 257 inf + 2249
10.966 * * [simplify]: Extracting #4: cost 267 inf + 14751
10.969 * * [simplify]: Extracting #5: cost 226 inf + 48531
10.978 * * [simplify]: Extracting #6: cost 150 inf + 132598
11.001 * * [simplify]: Extracting #7: cost 30 inf + 337903
11.024 * * [simplify]: Extracting #8: cost 1 inf + 403508
11.052 * * [simplify]: Extracting #9: cost 0 inf + 407231
11.072 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
11.072 * [simplify]: Simplified (2 2 1 2 2 1 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (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)))
11.072 * [simplify]: Simplifying (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
11.072 * * [simplify]: iters left: 3 (7 enodes)
11.074 * * [simplify]: iters left: 2 (12 enodes)
11.076 * * [simplify]: Extracting #0: cost 1 inf + 0
11.076 * * [simplify]: Extracting #1: cost 3 inf + 0
11.076 * * [simplify]: Extracting #2: cost 4 inf + 1
11.076 * * [simplify]: Extracting #3: cost 6 inf + 1
11.076 * * [simplify]: Extracting #4: cost 0 inf + 930
11.076 * [simplify]: Simplified to (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))
11.076 * [simplify]: Simplified (2 2 1 2 2 1 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) (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)))
11.077 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))>
11.077 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
11.077 * * [simplify]: iters left: 6 (15 enodes)
11.080 * * [simplify]: iters left: 5 (34 enodes)
11.087 * * [simplify]: iters left: 4 (76 enodes)
11.102 * * [simplify]: iters left: 3 (182 enodes)
11.164 * * [simplify]: Extracting #0: cost 1 inf + 0
11.165 * * [simplify]: Extracting #1: cost 35 inf + 0
11.165 * * [simplify]: Extracting #2: cost 149 inf + 0
11.166 * * [simplify]: Extracting #3: cost 204 inf + 324
11.167 * * [simplify]: Extracting #4: cost 262 inf + 2571
11.169 * * [simplify]: Extracting #5: cost 266 inf + 9304
11.171 * * [simplify]: Extracting #6: cost 256 inf + 15077
11.176 * * [simplify]: Extracting #7: cost 181 inf + 88814
11.194 * * [simplify]: Extracting #8: cost 43 inf + 309433
11.223 * * [simplify]: Extracting #9: cost 1 inf + 395405
11.242 * * [simplify]: Extracting #10: cost 0 inf + 397530
11.260 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))
11.260 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)))
11.261 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))>
11.261 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
11.261 * * [simplify]: iters left: 6 (15 enodes)
11.265 * * [simplify]: iters left: 5 (34 enodes)
11.271 * * [simplify]: iters left: 4 (76 enodes)
11.286 * * [simplify]: iters left: 3 (182 enodes)
11.339 * * [simplify]: Extracting #0: cost 1 inf + 0
11.339 * * [simplify]: Extracting #1: cost 35 inf + 0
11.339 * * [simplify]: Extracting #2: cost 149 inf + 0
11.340 * * [simplify]: Extracting #3: cost 204 inf + 324
11.341 * * [simplify]: Extracting #4: cost 262 inf + 2571
11.342 * * [simplify]: Extracting #5: cost 266 inf + 9304
11.343 * * [simplify]: Extracting #6: cost 256 inf + 15077
11.346 * * [simplify]: Extracting #7: cost 181 inf + 88814
11.357 * * [simplify]: Extracting #8: cost 43 inf + 309433
11.381 * * [simplify]: Extracting #9: cost 1 inf + 395405
11.415 * * [simplify]: Extracting #10: cost 0 inf + 397530
11.449 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))
11.449 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)))
11.449 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))>
11.450 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
11.450 * * [simplify]: iters left: 6 (15 enodes)
11.457 * * [simplify]: iters left: 5 (34 enodes)
11.469 * * [simplify]: iters left: 4 (76 enodes)
11.497 * * [simplify]: iters left: 3 (182 enodes)
11.579 * * [simplify]: Extracting #0: cost 1 inf + 0
11.579 * * [simplify]: Extracting #1: cost 35 inf + 0
11.580 * * [simplify]: Extracting #2: cost 149 inf + 0
11.581 * * [simplify]: Extracting #3: cost 204 inf + 324
11.583 * * [simplify]: Extracting #4: cost 262 inf + 2571
11.585 * * [simplify]: Extracting #5: cost 266 inf + 9304
11.587 * * [simplify]: Extracting #6: cost 256 inf + 15077
11.593 * * [simplify]: Extracting #7: cost 181 inf + 88814
11.616 * * [simplify]: Extracting #8: cost 43 inf + 309433
11.639 * * [simplify]: Extracting #9: cost 1 inf + 395405
11.660 * * [simplify]: Extracting #10: cost 0 inf + 397530
11.690 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))
11.690 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)))
11.690 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand)))>
11.690 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
11.690 * * [simplify]: iters left: 6 (15 enodes)
11.694 * * [simplify]: iters left: 5 (34 enodes)
11.702 * * [simplify]: iters left: 4 (76 enodes)
11.717 * * [simplify]: iters left: 3 (182 enodes)
11.787 * * [simplify]: Extracting #0: cost 1 inf + 0
11.787 * * [simplify]: Extracting #1: cost 35 inf + 0
11.788 * * [simplify]: Extracting #2: cost 149 inf + 0
11.788 * * [simplify]: Extracting #3: cost 204 inf + 324
11.789 * * [simplify]: Extracting #4: cost 262 inf + 2571
11.790 * * [simplify]: Extracting #5: cost 266 inf + 9304
11.791 * * [simplify]: Extracting #6: cost 256 inf + 15077
11.794 * * [simplify]: Extracting #7: cost 181 inf + 88814
11.807 * * [simplify]: Extracting #8: cost 43 inf + 309433
11.836 * * [simplify]: Extracting #9: cost 1 inf + 395405
11.866 * * [simplify]: Extracting #10: cost 0 inf + 397530
11.891 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))
11.891 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))) rand)))
11.891 * * * [progress]: adding candidates to table
12.675 * * [progress]: iteration 4 / 4
12.675 * * * [progress]: picking best candidate
12.747 * * * * [pick]: Picked  #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
12.747 * * * [progress]: localizing error
12.993 * * * [progress]: generating rewritten candidates
12.994 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
12.998 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
13.001 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
13.005 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
13.010 * * * [progress]: generating series expansions
13.010 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
13.010 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
13.011 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
13.011 * * * * [progress]: [ 4 / 4 ] generating series at (2)
13.011 * * * [progress]: simplifying candidates
13.011 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
13.011 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
13.011 * * [simplify]: iters left: 4 (10 enodes)
13.014 * * [simplify]: iters left: 3 (25 enodes)
13.018 * * [simplify]: iters left: 2 (51 enodes)
13.028 * * [simplify]: iters left: 1 (117 enodes)
13.061 * * [simplify]: Extracting #0: cost 1 inf + 0
13.061 * * [simplify]: Extracting #1: cost 19 inf + 0
13.061 * * [simplify]: Extracting #2: cost 109 inf + 0
13.061 * * [simplify]: Extracting #3: cost 136 inf + 3
13.062 * * [simplify]: Extracting #4: cost 157 inf + 2570
13.063 * * [simplify]: Extracting #5: cost 143 inf + 12826
13.064 * * [simplify]: Extracting #6: cost 125 inf + 26147
13.068 * * [simplify]: Extracting #7: cost 38 inf + 131635
13.076 * * [simplify]: Extracting #8: cost 0 inf + 199161
13.085 * [simplify]: Simplified to (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))
13.085 * [simplify]: Simplified (2 2 1 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
13.085 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (/.p16 (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) rand)) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
13.085 * [simplify]: Simplifying (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) rand))
13.085 * * [simplify]: iters left: 5 (14 enodes)
13.089 * * [simplify]: iters left: 4 (41 enodes)
13.097 * * [simplify]: iters left: 3 (102 enodes)
13.124 * * [simplify]: iters left: 2 (411 enodes)
13.452 * * [simplify]: Extracting #0: cost 1 inf + 0
13.452 * * [simplify]: Extracting #1: cost 75 inf + 0
13.453 * * [simplify]: Extracting #2: cost 427 inf + 1
13.455 * * [simplify]: Extracting #3: cost 548 inf + 8990
13.459 * * [simplify]: Extracting #4: cost 563 inf + 27595
13.464 * * [simplify]: Extracting #5: cost 539 inf + 52700
13.469 * * [simplify]: Extracting #6: cost 488 inf + 89932
13.486 * * [simplify]: Extracting #7: cost 283 inf + 413602
13.526 * * [simplify]: Extracting #8: cost 19 inf + 916920
13.573 * * [simplify]: Extracting #9: cost 0 inf + 946349
13.621 * [simplify]: Simplified to (*.p16 (*.p16 (real->posit16 1) rand) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
13.621 * [simplify]: Simplified (2 2 1 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
13.621 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
13.621 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (+.p16 (*.p16 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))>
13.621 * [simplify]: Simplifying (*.p16 (real->posit16 9) a)
13.621 * * [simplify]: iters left: 2 (4 enodes)
13.623 * * [simplify]: iters left: 1 (8 enodes)
13.625 * * [simplify]: Extracting #0: cost 1 inf + 0
13.625 * * [simplify]: Extracting #1: cost 3 inf + 0
13.625 * * [simplify]: Extracting #2: cost 3 inf + 1
13.625 * * [simplify]: Extracting #3: cost 2 inf + 2
13.625 * * [simplify]: Extracting #4: cost 0 inf + 325
13.625 * [simplify]: Simplified to (*.p16 a (real->posit16 9))
13.625 * [simplify]: Simplified (2 2 2 1 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))
13.625 * [simplify]: Simplifying (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
13.625 * * [simplify]: iters left: 4 (9 enodes)
13.629 * * [simplify]: iters left: 3 (13 enodes)
13.631 * * [simplify]: Extracting #0: cost 1 inf + 0
13.631 * * [simplify]: Extracting #1: cost 3 inf + 0
13.631 * * [simplify]: Extracting #2: cost 5 inf + 0
13.631 * * [simplify]: Extracting #3: cost 6 inf + 1
13.631 * * [simplify]: Extracting #4: cost 7 inf + 2
13.631 * * [simplify]: Extracting #5: cost 0 inf + 1813
13.631 * [simplify]: Simplified to (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
13.631 * [simplify]: Simplified (2 2 2 1 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 (real->posit16 9) a) (*.p16 (real->posit16 9) (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))))
13.631 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))>
13.632 * [simplify]: Simplifying (*.p16 a (real->posit16 9))
13.632 * * [simplify]: iters left: 2 (4 enodes)
13.633 * * [simplify]: iters left: 1 (8 enodes)
13.634 * * [simplify]: Extracting #0: cost 1 inf + 0
13.634 * * [simplify]: Extracting #1: cost 3 inf + 0
13.634 * * [simplify]: Extracting #2: cost 3 inf + 1
13.634 * * [simplify]: Extracting #3: cost 0 inf + 325
13.634 * [simplify]: Simplified to (*.p16 a (real->posit16 9))
13.634 * [simplify]: Simplified (2 2 2 1 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (+.p16 (*.p16 a (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
13.634 * [simplify]: Simplifying (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
13.634 * * [simplify]: iters left: 4 (9 enodes)
13.636 * * [simplify]: iters left: 3 (13 enodes)
13.639 * * [simplify]: Extracting #0: cost 1 inf + 0
13.639 * * [simplify]: Extracting #1: cost 3 inf + 0
13.639 * * [simplify]: Extracting #2: cost 5 inf + 0
13.639 * * [simplify]: Extracting #3: cost 5 inf + 2
13.639 * * [simplify]: Extracting #4: cost 7 inf + 2
13.639 * * [simplify]: Extracting #5: cost 4 inf + 5
13.639 * * [simplify]: Extracting #6: cost 0 inf + 1813
13.639 * [simplify]: Simplified to (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))
13.639 * [simplify]: Simplified (2 2 2 1 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 (real->posit16 9)) (*.p16 (neg.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9)))))))
13.639 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (/.p16 (*.p16 (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))))))))>
13.640 * [simplify]: Simplifying (*.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)))))
13.640 * * [simplify]: iters left: 5 (12 enodes)
13.643 * * [simplify]: iters left: 4 (32 enodes)
13.651 * * [simplify]: iters left: 3 (83 enodes)
13.684 * * [simplify]: iters left: 2 (333 enodes)
13.994 * * [simplify]: Extracting #0: cost 1 inf + 0
13.994 * * [simplify]: Extracting #1: cost 59 inf + 0
13.995 * * [simplify]: Extracting #2: cost 288 inf + 0
13.997 * * [simplify]: Extracting #3: cost 381 inf + 325
14.000 * * [simplify]: Extracting #4: cost 404 inf + 7388
14.005 * * [simplify]: Extracting #5: cost 359 inf + 46303
14.019 * * [simplify]: Extracting #6: cost 210 inf + 236467
14.054 * * [simplify]: Extracting #7: cost 66 inf + 493733
14.108 * * [simplify]: Extracting #8: cost 4 inf + 647286
14.145 * * [simplify]: Extracting #9: cost 0 inf + 660340
14.178 * [simplify]: Simplified to (*.p16 (real->posit16 9) (*.p16 (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))
14.178 * [simplify]: Simplified (2 2 2 1 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (/.p16 (*.p16 (real->posit16 9) (*.p16 (+.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
14.178 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))))))>
14.178 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) rand)))))>
14.178 * [simplify]: Simplifying (/.p16 (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (*.p16 (real->posit16 1) rand))
14.178 * * [simplify]: iters left: 6 (16 enodes)
14.183 * * [simplify]: iters left: 5 (37 enodes)
14.190 * * [simplify]: iters left: 4 (63 enodes)
14.203 * * [simplify]: iters left: 3 (129 enodes)
14.257 * * [simplify]: Extracting #0: cost 1 inf + 0
14.257 * * [simplify]: Extracting #1: cost 5 inf + 0
14.257 * * [simplify]: Extracting #2: cost 6 inf + 1
14.257 * * [simplify]: Extracting #3: cost 25 inf + 1
14.258 * * [simplify]: Extracting #4: cost 113 inf + 3
14.258 * * [simplify]: Extracting #5: cost 145 inf + 649
14.260 * * [simplify]: Extracting #6: cost 174 inf + 4818
14.261 * * [simplify]: Extracting #7: cost 164 inf + 12509
14.263 * * [simplify]: Extracting #8: cost 142 inf + 27554
14.273 * * [simplify]: Extracting #9: cost 31 inf + 166877
14.291 * * [simplify]: Extracting #10: cost 1 inf + 212570
14.301 * * [simplify]: Extracting #11: cost 0 inf + 214653
14.310 * [simplify]: Simplified to (/.p16 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand))
14.310 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (*.p16 (real->posit16 1) rand)))))
14.310 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) rand)) (*.p16 (sqrt.p16 (*.p16 (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)))))))>
14.310 * [simplify]: Simplifying (*.p16 (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))))
14.311 * * [simplify]: iters left: 6 (13 enodes)
14.314 * * [simplify]: iters left: 5 (33 enodes)
14.320 * * [simplify]: iters left: 4 (62 enodes)
14.333 * * [simplify]: iters left: 3 (135 enodes)
14.372 * * [simplify]: Extracting #0: cost 1 inf + 0
14.372 * * [simplify]: Extracting #1: cost 20 inf + 0
14.372 * * [simplify]: Extracting #2: cost 29 inf + 0
14.373 * * [simplify]: Extracting #3: cost 46 inf + 325
14.373 * * [simplify]: Extracting #4: cost 130 inf + 1290
14.374 * * [simplify]: Extracting #5: cost 155 inf + 4588
14.376 * * [simplify]: Extracting #6: cost 112 inf + 79414
14.385 * * [simplify]: Extracting #7: cost 13 inf + 209361
14.396 * * [simplify]: Extracting #8: cost 0 inf + 234046
14.407 * [simplify]: Simplified to (*.p16 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))
14.407 * [simplify]: Simplified (2 2 2) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 (*.p16 a a) (*.p16 (/.p16 (real->posit16 1.0) (real->posit16 3.0)) (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (*.p16 (real->posit16 1) rand)) (*.p16 (sqrt.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 9))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))))
14.407 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1))))>
14.407 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
14.407 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand))
14.407 * * [simplify]: iters left: 4 (12 enodes)
14.410 * * [simplify]: iters left: 3 (32 enodes)
14.416 * * [simplify]: iters left: 2 (66 enodes)
14.430 * * [simplify]: iters left: 1 (173 enodes)
14.486 * * [simplify]: Extracting #0: cost 1 inf + 0
14.486 * * [simplify]: Extracting #1: cost 25 inf + 0
14.486 * * [simplify]: Extracting #2: cost 139 inf + 1
14.487 * * [simplify]: Extracting #3: cost 191 inf + 325
14.488 * * [simplify]: Extracting #4: cost 211 inf + 8991
14.489 * * [simplify]: Extracting #5: cost 198 inf + 18286
14.491 * * [simplify]: Extracting #6: cost 168 inf + 43162
14.499 * * [simplify]: Extracting #7: cost 39 inf + 216780
14.519 * * [simplify]: Extracting #8: cost 0 inf + 286763
14.539 * * [simplify]: Extracting #9: cost 0 inf + 286203
14.553 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (real->posit16 1))
14.553 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
14.553 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
14.553 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand))
14.553 * * [simplify]: iters left: 4 (12 enodes)
14.557 * * [simplify]: iters left: 3 (32 enodes)
14.564 * * [simplify]: iters left: 2 (66 enodes)
14.578 * * [simplify]: iters left: 1 (173 enodes)
14.662 * * [simplify]: Extracting #0: cost 1 inf + 0
14.663 * * [simplify]: Extracting #1: cost 25 inf + 0
14.663 * * [simplify]: Extracting #2: cost 139 inf + 1
14.665 * * [simplify]: Extracting #3: cost 191 inf + 325
14.667 * * [simplify]: Extracting #4: cost 211 inf + 8991
14.669 * * [simplify]: Extracting #5: cost 198 inf + 18286
14.673 * * [simplify]: Extracting #6: cost 168 inf + 43162
14.684 * * [simplify]: Extracting #7: cost 39 inf + 216780
14.698 * * [simplify]: Extracting #8: cost 0 inf + 286763
14.720 * * [simplify]: Extracting #9: cost 0 inf + 286203
14.733 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (real->posit16 1))
14.733 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
14.733 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
14.734 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand))
14.734 * * [simplify]: iters left: 4 (12 enodes)
14.737 * * [simplify]: iters left: 3 (32 enodes)
14.743 * * [simplify]: iters left: 2 (66 enodes)
14.761 * * [simplify]: iters left: 1 (173 enodes)
14.851 * * [simplify]: Extracting #0: cost 1 inf + 0
14.851 * * [simplify]: Extracting #1: cost 25 inf + 0
14.852 * * [simplify]: Extracting #2: cost 139 inf + 1
14.853 * * [simplify]: Extracting #3: cost 191 inf + 325
14.855 * * [simplify]: Extracting #4: cost 211 inf + 8991
14.857 * * [simplify]: Extracting #5: cost 198 inf + 18286
14.860 * * [simplify]: Extracting #6: cost 168 inf + 43162
14.873 * * [simplify]: Extracting #7: cost 39 inf + 216780
14.894 * * [simplify]: Extracting #8: cost 0 inf + 286763
14.916 * * [simplify]: Extracting #9: cost 0 inf + 286203
14.946 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (real->posit16 1))
14.946 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
14.946 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))>
14.946 * [simplify]: Simplifying (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand))
14.947 * * [simplify]: iters left: 4 (12 enodes)
14.952 * * [simplify]: iters left: 3 (32 enodes)
14.961 * * [simplify]: iters left: 2 (66 enodes)
14.983 * * [simplify]: iters left: 1 (173 enodes)
15.064 * * [simplify]: Extracting #0: cost 1 inf + 0
15.064 * * [simplify]: Extracting #1: cost 25 inf + 0
15.064 * * [simplify]: Extracting #2: cost 139 inf + 1
15.065 * * [simplify]: Extracting #3: cost 191 inf + 325
15.066 * * [simplify]: Extracting #4: cost 211 inf + 8991
15.067 * * [simplify]: Extracting #5: cost 198 inf + 18286
15.069 * * [simplify]: Extracting #6: cost 168 inf + 43162
15.077 * * [simplify]: Extracting #7: cost 39 inf + 216780
15.090 * * [simplify]: Extracting #8: cost 0 inf + 286763
15.104 * * [simplify]: Extracting #9: cost 0 inf + 286203
15.117 * [simplify]: Simplified to (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (real->posit16 1))
15.117 * [simplify]: Simplified (2 2 1) to (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) rand) (real->posit16 1)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))
15.117 * * * [progress]: adding candidates to table
15.668 * [progress]: [Phase 3 of 3] Extracting.
15.668 * * [regime]: Finding splitpoints for: (#<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #<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 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.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 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))>)
15.670 * * * [regime-changes]: Trying 2 branch expressions: (rand a)
15.670 * * * * [regimes]: Trying to branch on rand from (#<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #<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 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.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 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))>)
15.795 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (/.p16 (*.p16 (*.p16 (real->posit16 1) rand) (*.p16 (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (/.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (*.p16 (real->posit16 1) rand)) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))))> #<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 (real->posit16 1.0) (real->posit16 3.0)) a) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) rand))))> #<alt (λ (a rand) (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.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 (/.p16 (*.p16 (real->posit16 1) rand) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))) (real->posit16 1))) (+.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0)))))>)
15.935 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
15.935 * [simplify]: Simplifying (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))
15.935 * * [simplify]: iters left: 6 (19 enodes)
15.938 * * [simplify]: iters left: 5 (21 enodes)
15.940 * * [simplify]: Extracting #0: cost 1 inf + 0
15.940 * * [simplify]: Extracting #1: cost 3 inf + 0
15.940 * * [simplify]: Extracting #2: cost 7 inf + 0
15.940 * * [simplify]: Extracting #3: cost 10 inf + 1
15.940 * * [simplify]: Extracting #4: cost 10 inf + 4
15.940 * * [simplify]: Extracting #5: cost 13 inf + 4
15.940 * * [simplify]: Extracting #6: cost 12 inf + 6
15.940 * * [simplify]: Extracting #7: cost 10 inf + 450
15.941 * * [simplify]: Extracting #8: cost 6 inf + 1819
15.941 * * [simplify]: Extracting #9: cost 4 inf + 3547
15.941 * * [simplify]: Extracting #10: cost 2 inf + 6517
15.942 * * [simplify]: Extracting #11: cost 0 inf + 10809
15.942 * [simplify]: Simplified to (+.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (real->posit16 1)) (*.p16 (*.p16 (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))) (/.p16 (real->posit16 1) (sqrt.p16 (*.p16 (real->posit16 9) (-.p16 a (/.p16 (real->posit16 1.0) (real->posit16 3.0))))))) rand))
15.942 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
15.982 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
15.987 * * * * [points]: Setting MPFR precision to 64
15.989 * * * * [points]: Setting MPFR precision to 320
15.990 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
15.995 * * * * [points]: Setting MPFR precision to 64
15.997 * * * * [points]: Setting MPFR precision to 320
15.999 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
16.004 * * * * [points]: Setting MPFR precision to 64
16.008 * * * * [points]: Setting MPFR precision to 320
16.012 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
16.017 * * * * [points]: Setting MPFR precision to 64
16.025 * * * * [points]: Setting MPFR precision to 320
16.032 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
16.037 * * * * [points]: Setting MPFR precision to 64
16.051 * * * * [points]: Setting MPFR precision to 320
16.064 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
16.087 * * * * [points]: Setting MPFR precision to 64
16.118 * * * * [points]: Setting MPFR precision to 320
16.150 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
16.155 * * * * [points]: Setting MPFR precision to 64
16.266 * * * * [points]: Setting MPFR precision to 320
16.322 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
16.327 * * * * [points]: Setting MPFR precision to 64
16.506 * * * * [points]: Setting MPFR precision to 320
16.695 * * * * [points]: Computing exacts for 8000 points
16.704 * * * * [points]: Setting MPFR precision to 64
17.377 * * * * [points]: Setting MPFR precision to 320
18.348 * * * * [points]: Filtering points with unrepresentable outputs
18.388 * * * * [points]: Sampled 8000 points with exact outputs
22.656 * [regime-testing]: Baseline error score: 64.0
22.662 * [regime-testing]: Oracle error score: 64.0
22.675 * [regime-testing]: End program error score: 0.18994057176771595